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)