Tisztelt FILOZOFIA!
Arrol beszelgetunk itt egy ideje, hogy a "logka szobajan kivul" meg mas szobak,
meg ilyesmi. Viszgaljuk meg, hogy mi is az, amirol beszelunk. Egy modell. Min
alapszik ez a modell? Logikan. Milyen logikan? Kozonseges keterteku matematikai
logikan. Ugyanis.
Ha valaki azt mondja, hogy A="X.Y.. a logika szobalyaban tartozkodik", akkor ig
az-e, hogy nem tartozkodhat-e azon kivul? Nyilvan ugy erti, hogy ez nem igaz. T
ehat igaz az ellentmondasmentesseg elve A es (nem A)= hamis
Igaz-e, hogy valaki vagy a logika szobajan belul, vagy kivul tartozkodik? Igen,
a modell akkor ertelmes, ha ez igaz, ha ez nem volna igaz, finomitani kellene
a modellt. Tehat igaz a harmadik kizarasanak elve: A vagy (nem A) = igaz.
A formalis logika ket fo axiomaja tehat igaz, es keterteku logikarol van szo.
Mit csinaltok tehat? Arrol beszeltek, hogy "a logika szobajan kivul" mikozben e
ljesen nevetseges ilyesmiket allitanotok, ugyanis a modellekben, amegertes teki
nteteben meg mindig a logika szobajan belul vagytok, meg mindig ugy erveltek, h
ogy az csak a logikat feltetelezve valik ertelmesse.
Ha kileptek a logika szobajabol, akkor onnan az allitasok megszunnek, nincs meg
ertes. Az, hogy logikan tuli megertesrol beszeltek hiu abrand, minden megertese
tek nektek is logikara epul. Vegyetek eszre vegre, hogy nevetseges a viselkedes
etek, oncafolo.
math
(webes bekuldes, a bekuldo gepe: portal2.mindmaker.hu)
|