2.5 Predikátumlogika: Tárgyak, tulajdonságok és kvantorok – Prädikatenlogik: Gegenstände, Eigenschaften und Quantoren

1. Egy elképzelt könyvátadás alkalmával a szervezőnő azt mondja: „Minden résztvevő kapott egy könyvet.”

2. Mira részt vesz az eseményen, de még egy üres asztal előtt áll.

3. A szervezőnő kijelentése szerint kapott-e könyvet, vagy az üres helye máris arra utal, hogy valami nem stimmel?

4. A következtetés ellenőrzéséhez nem elegendő a két mondatot átláthatatlan blokkokként kezelni.

5. Fel kell ismerni, hogy mindkettő ugyanarról a személycsoportról szól.

6. Az első kijelentés a csoport minden tagjának egy könyv átvételét tulajdonítja.

7. A második Mira-t ebbe a csoportba sorolja.

8. Ha mindkét kijelentés igaz, akkor Mira azok közé tartozik, akiknek könyvet adtak át.

9. Az üres asztal még nem cáfolja ezt, hiszen Mira-nak a táskájában lehet a könyv.

10. A predikátumlogika pontosan az ilyen mondatok belső szerkezetét vizsgálja.

11. Egy tárgy itt az az egyedi, amiről valamit állítunk, tehát például Mira.

12. A „tárgy” szó ebben az összefüggésben magában foglalja a személyeket is, anélkül, hogy emiatt tárgyakká tenné őket.

13. A predikátum olyan kifejezés, amellyel egy tárgynak tulajdonságot vagy viszonyt tulajdonítunk.

14. A példában a „részt vesz” egy predikátum, amely Mirára vonatkozik.

15. „Könyvet kapott” egy másik, amelynek érvényessége éppen vita tárgyát képezi.

16. Az, hogy mindkét kifejezés ugyanarra a személyre vonatkoztatható, teszi a következtetést egyértelművé.

17. Ha csak két teljes állítást vennénk figyelembe, ez az összefüggés rejtve maradna.

18. Az „mindenki” szó határozza meg, milyen messzire terjed a tulajdonítás.

19. Ez egy kvantor, vagyis egy kifejezés, amely egy meghatározott területen lévő tárgyakra vonatkozó állítás hatókörét jelöli.

20. A könyvre vonatkozó állítás pontosabban így értelmezhető: minden személyre igaz, hogy ha részt vesz, akkor kapott egy könyvet.

21. A „ha részt vesz” rész korlátozza, kire vonatkozik a könyvre vonatkozó kijelentés.

22. Ebből nem következik semmi azokról az emberekről, akik csupán elmennek az épület mellett.

23. Ugyanígy nem következik ebből az sem, hogy egyáltalán részt vesz valaki.

24. Csak a Miráról szóló kiegészítő állítás ad az általános mondatnak egy konkrét alkalmazási esetet.

25. A következtetés Mirára vonatkozik, mert ő megfelel a megnevezett feltételnek, nem pedig azért, mert a szervező kimondta a nevét.

26. A hatálynak azonban illeszkednie kell a tényleges beszélgetéshez.

27. Lehet, hogy a szervező a „résztvevők” kifejezéssel csak a regisztrált személyeket érti, míg Mira regisztráció nélkül érkezett a terembe.

28. Lehet, hogy már a jelenlét is részvételnek számít, függetlenül a bejáratnál lévő listától.

29. Mindkét értelmezés a mindennapi életben kézenfekvő lehet, de eltérő ítéletekhez vezet Mira esetében.

30. Aki hallgatólagosan kiterjeszti a kifejezés hatályát a regisztráltaktól az összes jelenlévőre, az egy további lépést tett.

31. Az „összes ember”, „minden jelenlévő” ” és „minden bejelentkezett személy” is különböző köröket jelentenek, még akkor is, ha éppen ugyanazok a személyek állnak előttünk.

32. A logikai forma az általános mondatból az egyedi esetbe való átmenetet mutatja; hogy a mondat mely személyekre vonatkozik, azt a kijelentés értelmezésének kell tisztáznia.

33. Ezért egy helyes következtetés sem orvosolhatja a kiinduló mondat helytelen értelmezését.

34. Az „minden” mellett áll az „van” kvantor, amely legalább egy megfelelő esetet állít.

35. Az „Néhány résztvevő kapott egy könyvet” kifejezés az egyszerű logikai értelmezésben azt jelenti, hogy legalább egy résztvevő személy kapott egy könyvet.

36. Ebben az értelmezésben akár minden résztvevő kaphatott volna egyet.

37. A beszélgetés során viszont a „néhány” gyakran arra utal, hogy mások nem kaptak.

38. Ez az utalás fontos lehet a megértés szempontjából, de nem része annak a puszta állításnak, hogy legalább egy eset fennáll.

39. Aki a „néhány” szóból további információ nélkül a „nem mind” következtetést vonja le, az tehát egy beszélgetési elvárásra támaszkodik.

40. Ez az elvárás a konkrét esetben ésszerű lehet, de más ok, mint a „legalább egy”.

41. Csak a gyengébb jelentés alapján még nem lehet döntést hozni Mira könyvéről.

42. A tagadás elhelyezkedése is megváltoztatja az állítás tartalmát.

43. A „Nem minden résztvevő kapott könyvet” azt jelenti, hogy legalább egy résztvevő nem kapott könyvet.

44. A mondat nem határozza meg, hogy Mira-e ez a személy.

45. A „A résztvevők közül senki sem kapott könyvet” viszont azt állítja, hogy minden résztvevő könyv nélkül maradt.

46. Amennyiben Mira is közéjük tartozik, ebből az következne, hogy ő sem kapott könyvet.

47. A két állítás hasonlóan hangzik, de eltérő számú esetet enged meg.

48. Ha Mirának van könyve, Beának pedig nincs, akkor a „nem mindenki” igaz, a „senki” pedig hamis.

49. Aki az első mondatból a másodikat alkotja, észrevétlenül kiterjeszti a tagadás hatályát.

50. A predikátumok több személy közötti kapcsolatokat is kifejezhetnek.

51. Az „ismer” összeköti azt, aki ismer, azzal, akit ismernek.

52. Éppen ilyen kapcsolatok esetében a kvantorok sorrendje dönti el a jelentést.

53. A „Minden személy ismer egy személyt” azt jelentheti, hogy minden személy esetében található legalább valaki, akit ismer.

54. Az adott esetben ismert személy esetenként változhat.

55. „Egy személyt minden személy ismer” viszont azt követeli meg, hogy legyen egyetlen olyan személy, akit mindenki ismer.

56. Ehhez nem elég, ha minden személy ismer valakit.

57. Ha a második állítás igaz, akkor az első is igaz; fordítva ez nem érvényes.

58. A különbséget három kitalált személy segítségével lehet szemléltetni.

59. Ada ismeri Beát, Bea ismeri Cemet, Cem pedig ismeri Adát.

60. Így a három személy mindegyike ismer legalább egy személyt.

61. Ugyanakkor nincs közöttük olyan személy, akit mindhárman ismernének.

62. Aki először olvassa el az egyes személyekre vonatkozó állítást, Ada, Bea és Cem számára mindegyikükhöz más-más ismert személyt választhat.

63. Aki először meghatározza azt a személyt, akit mindhárman ismerniük kell, később már nem változtathatja meg ezt a választást.

64. Egy felcserélt kvantor tehát nem csupán szavakat cserél fel, hanem azt is megváltoztatja, hogy szükség van-e egy közös személyre.

65. A kis eset a következtetést vizsgálja anélkül, hogy állítást tenne a valódi ismeretségekről.

66. Egy további csapda a tagok nélküli csoportokra vonatkozó általános állításokban rejlik.

67. Vegyük például a „Minden egyszarvú fehér” mondatot.

68. A szokásos logikai értelmezés szerint ez azt állítja, hogy egyetlen egyszarvú sem szolgáltat ellenpéldát a fehér színre.

69. Ha nincsenek egyszarvúk, akkor valóban nem található ilyen ellenpélda.

70. Ebből azonban sem az következik, hogy létezik egyszarvú, sem az, hogy bármelyik is fehér lenne.

71. Egy létezésre vonatkozó állításnak saját előfeltételre van szüksége, például: „Létezik egyszarvú”.

72. A mindennapi életben azonban valaki az „Minden egyszarvú fehér” mondattal mégis utalhat arra, hogy egyszarvúk létezését feltételezi.

73. Hogy ez az utalás szándékos-e, azt nem lehet kizárólag az általános forma alapján eldönteni.

74. A logika itt elkülöníti a tulajdonítás hatókörére vonatkozó kérdést attól a kérdéstől, hogy egyáltalán létezik-e megfelelő tárgy.

75. A szokásos mondatok rögzített formákba való lefordítása ellen komoly kifogás szól.

76. Az emberek gyakran beszélnek olyan csoportokról, amelyek határai nem élesek, és feltételezik, hogy a kivételek közismertek.

77. Ha egy rendezvény szervezője azt mondja, hogy „mindenki”, akkor például azokat a személyeket is értheti alatta, akik már részt vettek a rendezvényen.

78. Egy olyan értelmezés, amely ezt vizsgálat nélkül kiterjeszti az összes jelenlévőre, a pontosságot a szándékolt tartalom rovására.

79. Ezzel szemben a homályos kontextusra való hivatkozás célja az is lehet, hogy utólag megmentse egy téves általános állítást.

80. Ezért a lehetséges értelmezéseket nyíltan meg kell nevezni, és a kijelentés alkalma alapján kell ellenőrizni.

81. A formális vizsgálat csak azzal kezdődik, hogy megalapozott döntést hozunk arról, melyik állítást ténylegesen fogalmazták meg.

82. Ezután pontosan megmutathatja, milyen következtetést von maga után ez az állítás, és milyen további feltételezésre lenne szükség.

83. Mira üres asztalánál ezért két kérdés áll egymás mellett.

84. Mira azok közé a személyek közé tartozik-e, akikről a szervező beszélt, és valóban kapott-e könyvet?

85. Ha mindkét kérdésre igennel válaszolunk, az ő esete illeszkedik az általános állításhoz, még akkor is, ha az asztalon nincs semmi.

86. Ha ő a szóban forgó csoport tagja, de nem kapott könyvet, a szervező állítása szervezőjének állítása hamis.

87. Ha nem tartozik közéjük, az ő esete nem dönt semmit ezen állításról.

88. A kvantorok láthatóvá teszik, hogy egy mondat milyen messzire terjed; nem döntik el, hogy milyen tények állnak fenn a teremben.

89. Ez a felismerés szerényebb, mint egy ítélet a könyvkiadásról, de pontosabb: már egyetlen „minden” hatóköre is meghatározza, mit bizonyíthat Mira esete.

1. Bei einer gedachten Buchausgabe sagt die Veranstalterin: „Alle Teilnehmenden haben ein Buch erhalten.“

2. Mira nimmt teil, steht aber noch vor einem leeren Tisch.

3. Hat sie nach der Aussage der Veranstalterin ein Buch erhalten, oder zeigt ihr leerer Platz bereits, dass etwas nicht stimmt?

4. Um den Schluss zu prüfen, genügt es nicht, die beiden Sätze als undurchsichtige Blöcke zu behandeln.

5. Man muss erkennen, dass beide von derselben Personengruppe handeln.

6. Die erste Aussage schreibt jedem Mitglied dieser Gruppe den Erhalt eines Buches zu.

7. Die zweite ordnet Mira dieser Gruppe zu.

8. Treffen beide Aussagen zu, gehört Mira zu denen, denen ein Buch ausgehändigt wurde.

9. Der leere Tisch widerlegt das nicht schon, denn Mira könnte das Buch in ihrer Tasche haben.

10. Die Prädikatenlogik untersucht genau solche inneren Strukturen von Aussagen.

11. Ein Gegenstand ist hier das Einzelne, über das etwas ausgesagt wird, also beispielsweise Mira.

12. Das Wort „Gegenstand“ umfasst in diesem Zusammenhang auch Personen, ohne sie deshalb zu Sachen zu machen.

13. Ein Prädikat ist ein Ausdruck, mit dem einem Gegenstand eine Eigenschaft oder eine Beziehung zugeschrieben wird.

14. „Nimmt teil“ ist im Beispiel ein Prädikat, das auf Mira zutrifft.

15. „Hat ein Buch erhalten“ ist ein anderes, dessen Zutreffen gerade zur Debatte steht.

16. Dass beide Ausdrücke auf dieselbe Person bezogen werden können, macht den Schluss erst durchsichtig.

17. Betrachtete man nur zwei ganze Aussagen, bliebe diese Verbindung unsichtbar.

18. Das Wort „alle“ legt fest, wie weit die Zuschreibung reicht.

19. Es ist ein Quantor, also ein Ausdruck für den Umfang einer Aussage über Gegenstände in einem festgelegten Bereich.

20. Die Buchbehauptung lässt sich genauer lesen: Für jede Person gilt, dass sie, falls sie teilnimmt, ein Buch erhalten hat.

21. Der Teil „falls sie teilnimmt“ grenzt ein, auf wen sich die Buchzuschreibung bezieht.

22. Daraus folgt nichts über Menschen, die lediglich am Gebäude vorbeigehen.

23. Ebenso wenig folgt daraus, dass überhaupt jemand teilnimmt.

24. Erst die zusätzliche Aussage über Mira gibt dem allgemeinen Satz einen bestimmten Anwendungsfall.

25. Der Schluss betrifft Mira, weil sie unter die genannte Bedingung fällt, nicht weil die Veranstalterin ihren Namen ausgesprochen hätte.

26. Der Bereich muss allerdings zum tatsächlichen Gespräch passen.

27. Vielleicht meint die Veranstalterin mit „Teilnehmenden“ nur die angemeldeten Personen, während Mira ohne Anmeldung in den Saal gekommen ist.

28. Vielleicht zählt schon die Anwesenheit als Teilnahme, unabhängig von der Liste am Eingang.

29. Beide Lesarten können im Alltag naheliegen, führen aber zu unterschiedlichen Urteilen über Mira.

30. Wer den Bereich stillschweigend von Angemeldeten auf alle Anwesenden ausweitet, hat einen zusätzlichen Schritt getan.

31. Auch „alle Menschen“, „alle Anwesenden“ und „alle Angemeldeten“ sind verschiedene Bereiche, selbst wenn im Moment dieselben Personen vor Augen stehen.

32. Die logische Form zeigt den Übergang vom allgemeinen Satz zum Einzelfall; welche Personen der Satz erfasst, muss die Auslegung der Äußerung klären.

33. Deshalb kann ein sauberer Schluss eine unpassende Deutung seines Ausgangssatzes nicht heilen.

34. Neben „alle“ steht der Quantor „es gibt“, der mindestens einen passenden Fall behauptet.

35. „Einige Teilnehmende haben ein Buch erhalten“ bedeutet in der einfachen logischen Lesart, dass wenigstens eine teilnehmende Person ein Buch bekommen hat.

36. Es könnte in dieser Lesart sogar jede teilnehmende Person eines bekommen haben.

37. Im Gespräch legt „einige“ dagegen häufig nahe, dass andere keines bekamen.

38. Diese Andeutung kann für das Verständnis wichtig sein, gehört aber nicht zur bloßen Aussage, dass mindestens ein Fall vorliegt.

39. Wer aus „einige“ ohne weitere Auskunft „nicht alle“ folgert, stützt sich also auf eine Gesprächserwartung.

40. Diese Erwartung mag im konkreten Fall vernünftig sein, doch sie ist ein anderer Grund als die logische Bedeutung von „mindestens eine“.

41. Mit der schwächeren Bedeutung allein lässt sich über Miras Buch noch nichts entscheiden.

42. Auch die Stellung einer Verneinung verändert den Anspruch.

43. „Nicht alle Teilnehmenden haben ein Buch erhalten“ sagt, dass mindestens eine teilnehmende Person ohne Buch blieb.

44. Der Satz lässt offen, ob Mira diese Person ist.

45. „Niemand von den Teilnehmenden hat ein Buch erhalten“ behauptet dagegen, dass jede teilnehmende Person ohne Buch blieb.

46. Sofern Mira dazugehört, würde daraus folgen, dass auch sie keines erhielt.

47. Die beiden Behauptungen klingen ähnlich, lassen aber verschieden viele Fälle zu.

48. Hat Mira ein Buch und Bea keines, ist „nicht alle“ wahr und „niemand“ falsch.

49. Wer aus dem ersten Satz den zweiten macht, vergrößert die Reichweite der Verneinung unbemerkt.

50. Prädikate können auch Beziehungen zwischen mehreren Personen ausdrücken.

51. „Kennt“ verbindet jemanden, der kennt, mit jemandem, der gekannt wird.

52. Gerade bei solchen Beziehungen entscheidet die Reihenfolge der Quantoren über den Sinn.

53. „Jede Person kennt eine Person“ kann heißen, dass für jede Person wenigstens irgendjemand gefunden wird, den sie kennt.

54. Die jeweils gekannte Person darf dabei von Fall zu Fall wechseln.

55. „Eine Person wird von jeder Person gekannt“ verlangt hingegen eine einzige Person, die allen bekannt ist.

56. Dafür reicht es nicht, wenn jede Person irgendjemanden kennt.

57. Ist die zweite Behauptung wahr, trifft auch die erste zu; umgekehrt gilt das nicht.

58. Man kann die Lücke mit drei erfundenen Personen sehen.

59. Ada kennt Bea, Bea kennt Cem, und Cem kennt Ada.

60. Damit kennt jede der drei Personen mindestens eine Person.

61. Zugleich gibt es unter ihnen niemanden, den alle drei kennen.

62. Wer die Aussage über jede Person zuerst liest, darf für Ada, Bea und Cem jeweils eine andere bekannte Person wählen.

63. Wer zuerst eine Person festlegt, die alle kennen sollen, darf diese Wahl später nicht mehr wechseln.

64. Ein vertauschter Quantor vertauscht also nicht bloß Wörter, sondern verändert, ob eine gemeinsame Person gefordert wird.

65. Der kleine Fall prüft die Folgerung, ohne eine Behauptung über wirkliche Bekanntschaften aufzustellen.

66. Eine weitere Falle liegt in allgemeinen Aussagen über Gruppen ohne Mitglieder.

67. Nehmen wir den Satz „Alle Einhörner sind weiß“.

68. In der üblichen logischen Lesart behauptet er, dass kein Einhorn ein Gegenbeispiel zur weißen Farbe liefert.

69. Wenn es keine Einhörner gibt, findet sich tatsächlich kein solcher Gegenfall.

70. Daraus folgt aber weder, dass ein Einhorn existiert, noch dass eines weiß ist.

71. Eine Existenzbehauptung benötigt eine eigene Voraussetzung, etwa „Es gibt ein Einhorn“.

72. Im Alltag kann jemand mit „Alle Einhörner sind weiß“ dennoch nahelegen, dass er Einhörner voraussetzt.

73. Ob diese Andeutung gemeint ist, lässt sich nicht allein an der Allgemeinform entscheiden.

74. Die Logik trennt hier die Frage nach der Reichweite einer Zuschreibung von der Frage, ob überhaupt ein passender Gegenstand vorhanden ist.

75. Gegen die Übersetzung gewöhnlicher Sätze in feste Formen spricht ein ernsthafter Einwand.

76. Menschen reden oft über Gruppen, deren Rand unscharf ist, und setzen Ausnahmen als gemeinsam bekannt voraus.

77. Wenn eine Veranstalterin „alle“ sagt, könnte sie etwa die Personen meinen, die ihre Ausgabe bereits durchlaufen haben.

78. Eine Darstellung, die daraus ohne Prüfung alle gegenwärtig Anwesenden macht, gewinnt Genauigkeit auf Kosten des gemeinten Inhalts.

79. Umgekehrt kann die Berufung auf einen vagen Kontext auch eine falsche allgemeine Behauptung nachträglich retten sollen.

80. Darum sind die möglichen Lesarten offen zu benennen und am Anlass der Äußerung zu prüfen.

81. Die formale Prüfung beginnt erst mit einer begründeten Entscheidung darüber, welcher Anspruch tatsächlich erhoben wird.

82. Sie kann dann präzise zeigen, welche Folgerung dieser Anspruch trägt und welche zusätzliche Annahme nötig wäre.

83. Beim leeren Tisch von Mira liegen deshalb zwei Fragen nebeneinander.

84. Gehört Mira zu den Personen, über die die Veranstalterin sprach, und hat sie tatsächlich ein Buch erhalten?

85. Wenn beides bejaht wird, passt ihr Fall zur allgemeinen Behauptung, auch wenn auf dem Tisch nichts liegt.

86. Gehört sie zur gemeinten Gruppe und hat kein Buch erhalten, ist die Behauptung der Veranstalterin falsch.

87. Gehört sie nicht dazu, entscheidet ihr Fall über diese Behauptung nichts.

88. Quantoren machen sichtbar, wie weit ein Satz reicht; sie entscheiden nicht, welche Tatsachen im Saal vorliegen.

89. Die Einsicht ist bescheidener als ein Urteil über die Buchausgabe, aber genauer: Schon die Reichweite eines einzigen „alle“ bestimmt, was Miras Fall beweisen kann.

1. Egy elképzelt könyvkiadás kapcsán a szervező azt mondja: „Minden résztvevő kapott egy könyvet.”

2. Mira részt vesz az eseményen, de még egy üres asztal előtt áll.

3. A szervező kijelentése szerint kapott-e könyvet, vagy az üres helye máris azt jelzi, hogy valami nem stimmel?

4. A következtetés ellenőrzéséhez nem elegendő a két mondatot átláthatatlan blokkokként kezelni.

5. Fel kell ismerni, hogy mindkettő ugyanarról a személycsoportról szól.

6. Az első kijelentés a csoport minden tagjának tulajdonítja a könyv átvételét.

7. A második Mirát sorolja ebbe a csoportba.

8. Ha mindkét kijelentés igaz, Mira azok közé tartozik, akiknek könyvet adtak át.

9. Az üres asztal még nem cáfolja ezt, mert Mira-nak lehet, hogy a könyv a táskájában van.

10. A predikátumlogika pontosan az ilyen állítások belső szerkezetét vizsgálja.

11. Egy tárgy itt az az egyedi, amiről valamit állítanak, tehát például Mira.

12. A „tárgy” szó ebben az összefüggésben magában foglalja a személyeket is, anélkül, hogy emiatt tárgyakká tenné őket.

13. A predikátum olyan kifejezés, amellyel egy tárgynak tulajdonságot vagy viszonyt tulajdonítunk.

14. A példában a „részt vesz” egy predikátum, amely Mirára vonatkozik.

15. A „kapott egy könyvet” egy másik, amelynek igazságtartalma éppen vita tárgyát képezi.

16. Az, hogy mindkét kifejezés ugyanarra a személyre vonatkozhat, teszi a következtetést egyértelművé.

17. Ha csak két teljes állítást vennénk figyelembe, ez az összefüggés láthatatlan maradna.

18. Az „összes” szó határozza meg, milyen messzire terjed a tulajdonítás.

19. Ez egy kvantor, vagyis egy kifejezés, amely egy meghatározott területen lévő tárgyakra vonatkozó állítás hatókörét jelöli.

20. A könyvre vonatkozó állítás pontosabban így értelmezhető: Minden személyre igaz, hogy ha részt vesz, akkor kapott egy könyvet.

21. A „ha részt vesz” rész korlátozza, kire vonatkozik a könyvre vonatkozó tulajdonítás.

22. Ebből nem következik semmi azokról az emberekről, akik csupán elhaladnak az épület mellett.

23. Ugyanígy nem következik ebből az sem, hogy egyáltalán valaki részt vesz.

24. Csak a Miráról szóló kiegészítő állítás ad az általános mondatnak egy konkrét alkalmazási esetet.

25. A következtetés Mirára vonatkozik, mert ő megfelel a megnevezett feltételnek, nem pedig azért, mert a szervező kimondta a nevét.

26. A kontextusnak azonban illeszkednie kell a tényleges beszélgetéshez.

27. Lehet, hogy a szervező a „résztvevők” kifejezéssel csak a regisztrált személyeket érti, míg Mira regisztráció nélkül érkezett a terembe.

28. Lehet, hogy már a jelenlét is részvételnek számít, függetlenül a bejáratnál lévő listától.

29. Mindkét értelmezés a mindennapi életben kézenfekvő lehet, de Mira esetében eltérő ítéletekhez vezet.

30. Aki hallgatólagosan kiterjeszti a hatályt a regisztráltakról az összes jelenlévőre, az egy további lépést tett.

31. Az „összes ember”, az „összes jelenlévő” és „minden regisztrált” különböző körök, még akkor is, ha éppen ugyanazok a személyek állnak előttünk.

32. A logikai forma az általános mondattól az egyedi esethez való átmenetet mutatja; hogy a mondat mely személyekre vonatkozik, azt a kijelentés értelmezésének kell tisztáznia.

33. Ezért egy helyes következtetés sem orvosolhatja a kiinduló mondat helytelen értelmezését.

34. Az „minden” mellett ott áll az „van” kvantor, amely legalább egy megfelelő esetet állít.

35. Az „Néhány résztvevő kapott egy könyvet” kifejezés az egyszerű logikai értelmezésben azt jelenti, hogy legalább egy résztvevő személy kapott egy könyvet.

36. Ebben az értelmezésben akár minden résztvevő személy is kaphatott egyet.

37. A beszélgetésben viszont a „néhány” gyakran arra utal, hogy mások nem kaptak.

38. Ez az utalás fontos lehet a megértés szempontjából, de nem tartozik a puszta állításhoz, miszerint legalább egy eset fennáll.

39. Aki a „néhány” szóból további információk nélkül azt a következtetést vonja le, hogy „nem mindegyik”, az tehát egy beszélgetési elvárásra támaszkodik.

40. Ez az elvárás a konkrét esetben ésszerű lehet, de más ok, mint a „legalább egy” logikai jelentése.

41. A gyengébb jelentés alapján önmagában még nem lehet döntést hozni Mira könyvéről.

42. A tagadás elhelyezkedése is megváltoztatja az állítás tartalmát.

43. „Nem minden résztvevő kapott könyvet” azt jelenti, hogy legalább egy résztvevő könyv nélkül maradt.

44. A mondat nem árulja el, hogy Mira az a személy-e.

45. „A résztvevők közül senki sem kapott könyvet” viszont azt állítja, hogy minden résztvevő könyv nélkül maradt.

46. Amennyiben Mira is közéjük tartozik, ebből az következne, hogy ő sem kapott könyvet.

47. A két állítás hasonlóan hangzik, de eltérő számú esetet enged meg.

48. Ha Mirának van könyve, Beának pedig nincs, akkor a „nem mind” igaz, a „senki” pedig hamis.

49. Aki az első mondatból a másodikat alkotja, észrevétlenül kiterjeszti a tagadás hatályát.

50. A predikátumok több személy közötti kapcsolatokat is kifejezhetnek.

51. Az „ismer” összeköti azt, aki ismer, azzal, akit ismernek.

52. Éppen ilyen kapcsolatok esetében a kvantorok sorrendje határozza meg a jelentést.

53. A „Minden személy ismer egy személyt” azt jelentheti, hogy minden személy esetében található legalább valaki, akit ismer.

54. Az adott esetben ismert személy esetenként változhat.

55. A „Minden személy ismer egy személyt” viszont egyetlen olyan személyt feltételez, akit mindenki ismer.

56. Ehhez nem elég, ha minden személy ismer valakit.

57. Ha a második állítás igaz, akkor az első is igaz; fordítva ez nem érvényes.

58. A hiányt három kitalált személy segítségével lehet szemléltetni.

59. Ada ismeri Beát, Bea ismeri Cemet, és Cem ismeri Adát.

60. Így mindhárom személy ismer legalább egy személyt.

61. Ugyanakkor nincs közöttük olyan személy, akit mindhárman ismernének.

62. Aki először olvassa el az egyes személyekre vonatkozó állítást, Ada, Bea és Cem esetében mindegyikükhöz más-más ismert személyt választhat.

63. Aki először kijelöl egy olyan személyt, akit mindhárman ismerniük kell, később már nem változtathatja meg ezt a választást.

64. Egy felcserélt kvantor tehát nem csupán szavakat cserél fel, hanem azt is megváltoztatja, hogy szükséges-e egy közös személy.

65. Ez az egyszerű eset ellenőrzi azt a következtetést, anélkül, hogy állítást fogalmaznánk meg valódi ismeretségekről.

66. Egy további csapda a tagok nélküli csoportokra vonatkozó általános állításokban rejlik.

67. Vegyük például a „Minden egyszarvú fehér” mondatot .

68. A szokásos logikai értelmezés szerint ez azt állítja, hogy egyetlen egyszarvú sem szolgáltat ellenpéldát a fehér színre.

69. Ha nincsenek egyszarvúk, akkor valóban nem található ilyen ellenpélda.

70. Ebből azonban sem az következik, hogy létezik egyszarvú, sem az, hogy az fehér lenne.

71. Egy létezésre vonatkozó állításnak saját előfeltételre van szüksége, például: „Létezik egyszarvú”.

72. A mindennapi életben azonban valaki az „Minden egyszarvú fehér” kijelentéssel mégis utalhat arra, hogy egyszarvúkat feltételez.

73. Hogy ez az utalás szándékos-e, azt nem lehet kizárólag az általános formából eldönteni.

74. A logika itt elválasztja a tulajdonítás hatókörének kérdését attól a kérdéstől, hogy egyáltalán létezik-e megfelelő tárgy.

75. Komoly ellenvetés szól a szokásos mondatok rögzített formákba történő fordítása ellen.

76. Az emberek gyakran beszélnek olyan csoportokról, amelyek határai elmosódottak, és feltételezik, hogy a kivételek közismertek.

77. Ha egy rendezvény szervezője azt mondja, hogy „mindenki”, akkor például azokat a személyeket azokat a személyeket, akik már átestek a rendezvényen.

78. Egy olyan értelmezés, amely ebből ellenőrzés nélkül minden jelenlévőt kiolvas, a tartalom pontosságának rovására nyer pontosságot.

79. Ezzel szemben egy homályos kontextusra való hivatkozás célja az is lehet, hogy utólag megmentse egy téves általános állítást.

80. Ezért a lehetséges értelmezéseket nyíltan meg kell nevezni, és a kijelentés alkalmával kell ellenőrizni.

81. A formális vizsgálat csak azzal kezdődik, hogy megalapozott döntést hozunk arról, melyik állítást ténylegesen hangoztatják.

82. Ezután pontosan megmutathatja, milyen következtetést hordoz ez az állítás, és milyen további feltételezésre lenne szükség.

83. Mira üres asztala esetében tehát két kérdés áll egymás mellett.

84. Mira azok közé a személyek közé tartozik-e, akikről a szervező beszélt, és valóban kapott-e könyvet?

85. Ha mindkét kérdésre igennel válaszolunk, az ő esete illeszkedik az általános állításhoz, még akkor is, ha az asztalon nincs semmi.

86. Ha ő is a szóban forgó csoport tagja, és nem kapott könyvet, akkor a szervező állítása hamis.

87. Ha nem tartozik közéjük, az ő esete nem dönt semmit ezen állításról.

88. A kvantorok láthatóvá teszik, hogy egy mondat milyen messzire terjed; nem döntik el, hogy milyen tények állnak fenn a teremben.

89. Ez a felismerés szerényebb, mint egy ítélet a könyvkiadásról, de pontosabb: már egyetlen „minden” hatálya is meghatározza, mit tud Mira esete bizonyítani.

1. Bei einer gedachten Buchausgabe sagt die Veranstalterin: „Alle Teilnehmenden haben ein Buch erhalten.“

2. Mira nimmt teil, steht aber noch vor einem leeren Tisch.

3. Hat sie nach der Aussage der Veranstalterin ein Buch erhalten, oder zeigt ihr leerer Platz bereits, dass etwas nicht stimmt?

4. Um den Schluss zu prüfen, genügt es nicht, die beiden Sätze als undurchsichtige Blöcke zu behandeln.

5. Man muss erkennen, dass beide von derselben Personengruppe handeln.

6. Die erste Aussage schreibt jedem Mitglied dieser Gruppe den Erhalt eines Buches zu.

7. Die zweite ordnet Mira dieser Gruppe zu.

8. Treffen beide Aussagen zu, gehört Mira zu denen, denen ein Buch ausgehändigt wurde.

9. Der leere Tisch widerlegt das nicht schon, denn Mira könnte das Buch in ihrer Tasche haben.

10. Die Prädikatenlogik untersucht genau solche inneren Strukturen von Aussagen.

11. Ein Gegenstand ist hier das Einzelne, über das etwas ausgesagt wird, also beispielsweise Mira.

12. Das Wort „Gegenstand“ umfasst in diesem Zusammenhang auch Personen, ohne sie deshalb zu Sachen zu machen.

13. Ein Prädikat ist ein Ausdruck, mit dem einem Gegenstand eine Eigenschaft oder eine Beziehung zugeschrieben wird.

14. „Nimmt teil“ ist im Beispiel ein Prädikat, das auf Mira zutrifft.

15. „Hat ein Buch erhalten“ ist ein anderes, dessen Zutreffen gerade zur Debatte steht.

16. Dass beide Ausdrücke auf dieselbe Person bezogen werden können, macht den Schluss erst durchsichtig.

17. Betrachtete man nur zwei ganze Aussagen, bliebe diese Verbindung unsichtbar.

18. Das Wort „alle“ legt fest, wie weit die Zuschreibung reicht.

19. Es ist ein Quantor, also ein Ausdruck für den Umfang einer Aussage über Gegenstände in einem festgelegten Bereich.

20. Die Buchbehauptung lässt sich genauer lesen: Für jede Person gilt, dass sie, falls sie teilnimmt, ein Buch erhalten hat.

21. Der Teil „falls sie teilnimmt“ grenzt ein, auf wen sich die Buchzuschreibung bezieht.

22. Daraus folgt nichts über Menschen, die lediglich am Gebäude vorbeigehen.

23. Ebenso wenig folgt daraus, dass überhaupt jemand teilnimmt.

24. Erst die zusätzliche Aussage über Mira gibt dem allgemeinen Satz einen bestimmten Anwendungsfall.

25. Der Schluss betrifft Mira, weil sie unter die genannte Bedingung fällt, nicht weil die Veranstalterin ihren Namen ausgesprochen hätte.

26. Der Bereich muss allerdings zum tatsächlichen Gespräch passen.

27. Vielleicht meint die Veranstalterin mit „Teilnehmenden“ nur die angemeldeten Personen, während Mira ohne Anmeldung in den Saal gekommen ist.

28. Vielleicht zählt schon die Anwesenheit als Teilnahme, unabhängig von der Liste am Eingang.

29. Beide Lesarten können im Alltag naheliegen, führen aber zu unterschiedlichen Urteilen über Mira.

30. Wer den Bereich stillschweigend von Angemeldeten auf alle Anwesenden ausweitet, hat einen zusätzlichen Schritt getan.

31. Auch „alle Menschen“, „alle Anwesenden“ und „alle Angemeldeten“ sind verschiedene Bereiche, selbst wenn im Moment dieselben Personen vor Augen stehen.

32. Die logische Form zeigt den Übergang vom allgemeinen Satz zum Einzelfall; welche Personen der Satz erfasst, muss die Auslegung der Äußerung klären.

33. Deshalb kann ein sauberer Schluss eine unpassende Deutung seines Ausgangssatzes nicht heilen.

34. Neben „alle“ steht der Quantor „es gibt“, der mindestens einen passenden Fall behauptet.

35. „Einige Teilnehmende haben ein Buch erhalten“ bedeutet in der einfachen logischen Lesart, dass wenigstens eine teilnehmende Person ein Buch bekommen hat.

36. Es könnte in dieser Lesart sogar jede teilnehmende Person eines bekommen haben.

37. Im Gespräch legt „einige“ dagegen häufig nahe, dass andere keines bekamen.

38. Diese Andeutung kann für das Verständnis wichtig sein, gehört aber nicht zur bloßen Aussage, dass mindestens ein Fall vorliegt.

39. Wer aus „einige“ ohne weitere Auskunft „nicht alle“ folgert, stützt sich also auf eine Gesprächserwartung.

40. Diese Erwartung mag im konkreten Fall vernünftig sein, doch sie ist ein anderer Grund als die logische Bedeutung von „mindestens eine“.

41. Mit der schwächeren Bedeutung allein lässt sich über Miras Buch noch nichts entscheiden.

42. Auch die Stellung einer Verneinung verändert den Anspruch.

43. „Nicht alle Teilnehmenden haben ein Buch erhalten“ sagt, dass mindestens eine teilnehmende Person ohne Buch blieb.

44. Der Satz lässt offen, ob Mira diese Person ist.

45. „Niemand von den Teilnehmenden hat ein Buch erhalten“ behauptet dagegen, dass jede teilnehmende Person ohne Buch blieb.

46. Sofern Mira dazugehört, würde daraus folgen, dass auch sie keines erhielt.

47. Die beiden Behauptungen klingen ähnlich, lassen aber verschieden viele Fälle zu.

48. Hat Mira ein Buch und Bea keines, ist „nicht alle“ wahr und „niemand“ falsch.

49. Wer aus dem ersten Satz den zweiten macht, vergrößert die Reichweite der Verneinung unbemerkt.

50. Prädikate können auch Beziehungen zwischen mehreren Personen ausdrücken.

51. „Kennt“ verbindet jemanden, der kennt, mit jemandem, der gekannt wird.

52. Gerade bei solchen Beziehungen entscheidet die Reihenfolge der Quantoren über den Sinn.

53. „Jede Person kennt eine Person“ kann heißen, dass für jede Person wenigstens irgendjemand gefunden wird, den sie kennt.

54. Die jeweils gekannte Person darf dabei von Fall zu Fall wechseln.

55. „Eine Person wird von jeder Person gekannt“ verlangt hingegen eine einzige Person, die allen bekannt ist.

56. Dafür reicht es nicht, wenn jede Person irgendjemanden kennt.

57. Ist die zweite Behauptung wahr, trifft auch die erste zu; umgekehrt gilt das nicht.

58. Man kann die Lücke mit drei erfundenen Personen sehen.

59. Ada kennt Bea, Bea kennt Cem, und Cem kennt Ada.

60. Damit kennt jede der drei Personen mindestens eine Person.

61. Zugleich gibt es unter ihnen niemanden, den alle drei kennen.

62. Wer die Aussage über jede Person zuerst liest, darf für Ada, Bea und Cem jeweils eine andere bekannte Person wählen.

63. Wer zuerst eine Person festlegt, die alle kennen sollen, darf diese Wahl später nicht mehr wechseln.

64. Ein vertauschter Quantor vertauscht also nicht bloß Wörter, sondern verändert, ob eine gemeinsame Person gefordert wird.

65. Der kleine Fall prüft die Folgerung, ohne eine Behauptung über wirkliche Bekanntschaften aufzustellen.

66. Eine weitere Falle liegt in allgemeinen Aussagen über Gruppen ohne Mitglieder.

67. Nehmen wir den Satz „Alle Einhörner sind weiß“.

68. In der üblichen logischen Lesart behauptet er, dass kein Einhorn ein Gegenbeispiel zur weißen Farbe liefert.

69. Wenn es keine Einhörner gibt, findet sich tatsächlich kein solcher Gegenfall.

70. Daraus folgt aber weder, dass ein Einhorn existiert, noch dass eines weiß ist.

71. Eine Existenzbehauptung benötigt eine eigene Voraussetzung, etwa „Es gibt ein Einhorn“.

72. Im Alltag kann jemand mit „Alle Einhörner sind weiß“ dennoch nahelegen, dass er Einhörner voraussetzt.

73. Ob diese Andeutung gemeint ist, lässt sich nicht allein an der Allgemeinform entscheiden.

74. Die Logik trennt hier die Frage nach der Reichweite einer Zuschreibung von der Frage, ob überhaupt ein passender Gegenstand vorhanden ist.

75. Gegen die Übersetzung gewöhnlicher Sätze in feste Formen spricht ein ernsthafter Einwand.

76. Menschen reden oft über Gruppen, deren Rand unscharf ist, und setzen Ausnahmen als gemeinsam bekannt voraus.

77. Wenn eine Veranstalterin „alle“ sagt, könnte sie etwa die Personen meinen, die ihre Ausgabe bereits durchlaufen haben.

78. Eine Darstellung, die daraus ohne Prüfung alle gegenwärtig Anwesenden macht, gewinnt Genauigkeit auf Kosten des gemeinten Inhalts.

79. Umgekehrt kann die Berufung auf einen vagen Kontext auch eine falsche allgemeine Behauptung nachträglich retten sollen.

80. Darum sind die möglichen Lesarten offen zu benennen und am Anlass der Äußerung zu prüfen.

81. Die formale Prüfung beginnt erst mit einer begründeten Entscheidung darüber, welcher Anspruch tatsächlich erhoben wird.

82. Sie kann dann präzise zeigen, welche Folgerung dieser Anspruch trägt und welche zusätzliche Annahme nötig wäre.

83. Beim leeren Tisch von Mira liegen deshalb zwei Fragen nebeneinander.

84. Gehört Mira zu den Personen, über die die Veranstalterin sprach, und hat sie tatsächlich ein Buch erhalten?

85. Wenn beides bejaht wird, passt ihr Fall zur allgemeinen Behauptung, auch wenn auf dem Tisch nichts liegt.

86. Gehört sie zur gemeinten Gruppe und hat kein Buch erhalten, ist die Behauptung der Veranstalterin falsch.

87. Gehört sie nicht dazu, entscheidet ihr Fall über diese Behauptung nichts.

88. Quantoren machen sichtbar, wie weit ein Satz reicht; sie entscheiden nicht, welche Tatsachen im Saal vorliegen.

89. Die Einsicht ist bescheidener als ein Urteil über die Buchausgabe, aber genauer: Schon die Reichweite eines einzigen „alle“ bestimmt, was Miras Fall beweisen kann.