Logika
A Kosztolányi Dezső téren karácsonyi vásár van, és jókora tábla hirdeti (kb. az alábbi dizájnnal és pontosan az alábbi központozással):
AMI JÓ AZ EGÉSZSÉGES!
AMI EGÉSZSÉGES AZ A KECSKESAJT!
Tomival tegnap éjszaka, színházból hazafelé menet megpróbáltuk logikailag értelmezni a fenti feliratot. Leírom, mire jutottunk. Poén nincs, de agytornának jó.
[Beugró: a logika nem vizsgálja, hogy egy állítás igaz-e vagy sem, csak azt, hogy egy adott rendszeren belül igaz lehet-e.]
Nyilvánvalóan kategorikus szillogizmussal állunk szemben. Ha a nem túl szabatosra fogalmazott mondatokat formalizáljuk, akkor (mivel univerzális kvantorokat kell alkalmaznunk) a következő premisszákat kapjuk:
1.) Minden JÓ: EGÉSZSÉGES.
2.) Minden EGÉSZSÉGES: KECSKESAJT.
Ez egy tiszta Barbara forma. A konklúzió: Minden JÓ: KECSKESAJT. Mit is jelent mindez?
A JÓ dolgok halmaza (amely lehet akár üres halmaz is) vagy részét képezi az EGÉSZSÉGES dolgok halmazának, vagy ekvivalens azzal. Az EGÉSZSÉGES dolgok halmaza pedig (amely lehet akár üres halmaz is) vagy részét képezi a KECSKESAJTOK halmazának, vagy ekvivalens azzal. Ha a fenti képlet alapján osztályozni akarjuk a világ létezőit, az eredmény ez lesz:
- Létezhet olyan kecskesajt, amely egészséges is, jó is.
- Létezhet olyan kecskesajt, amely nem egészséges és nem is jó.
- Létezhet olyan kecskesajt, amely egészséges ugyan, de nem jó.
- Ha egy dolog egészséges, az vagy jó, vagy nem jó, de biztos, hogy semmimás nem lehet, csak kecskesajt.
- Végül: nem biztos, hogy a világon létezik egyáltalán jó dolog, de ha bármely létezőről mégis bebizonyosodik, hogy jó: akkor az csakis egészséges kecskesajt lehet!
[PS.: Mint köztudott rólam: nincs akváriumom. (Sapienti sat.)]Címkék: Agymenés