Philosophie Lexikon der ArgumenteHome | |||
| |||
Eselssätze, Eselsssatz, Philosophie: auf Buridan zurückgehende Bezeichnung für logische Probleme, die vorzugsweise, aber nicht wesentlich von Eseln handeln. Ein moderner Eselssatz ist "Geachs Esel" "Wer einen Esel hat, der schlägt ihn." Die formale Logik ist hier zu unflexibel, um die möglichen Grenzfälle abzubilden, die für die Alltagssprache unproblematisch sind. Siehe auch Existenzquantifikation, Allquantifikation, Reichweite, Quantifikation, Quantoren, Klammerung, verzweigte Quantoren. _____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente. | |||
Autor | Begriff | Zusammenfassung/Zitate | Quellen |
---|---|---|---|
M.J. Cresswell über Eselssätze – Lexikon der Argumente
I 171 Geachs Esel/Cresswell: These: Der Satz zeigt eine gebundene Individuenvariable an, statt einer Kennzeichnung "Der Esel, den er besitzt". Allquantor: Wenn wir nun ∀ in der einfachen Kategorie von <0, <0,1>, <0,1>> belassen, brauchen wir zwei ∀s: (22) ‹∀, ‹ein Esel›, ‹λx, ‹∀, ‹Mann, ‹der, ‹λy, ‹y, hat, x››› ‹λ, y, ‹y schlägt, ‹ihn, x›››››››. Alltagssprachliche Übersetzung: jeder Esel ist ein x so dass jeder Mann, der x hat x schlägt. >Allquantifikation, >Bedeutungskategorien/Cresswell. Problem: Schwieriger als bei Existenzquantifikation: hier gibt es Antezedens und Konsequenz (Reihenfolge nicht mehr egal) - dann verallgemeinerter Allquantor: Der verallgemeinerte ∀ müsste für (22) in die Kategorie <0, <0,1>, <0,1>, <0,1>> und (21) (Geachs Esel) würde zu (23) ‹∀, ‹‹λxy ‹ein Mann, ‹der, ‹λz ‹hat zy››› , x›, ‹λxy ‹ein Esel y››, ‹λxy, ‹schlägt x ‹ihn y››››››. Problem: wie man mit ihm umgeht. Allquantor: die Semantik für ∀ ist: ‹w,t› ε V(∀)(ω1,ω2,ω3) gdw. für jedes a sodass ‹w,t› ε ω1(a) und ‹w,t› ε ω2(a) wir ‹w,t› ε ω3(a) haben. >Geachs Esel, >Lambda-Abstraktion._____________ Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der ArgumenteDer Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente. |
Cr I M. J. Cresswell Semantical Essays (Possible worlds and their rivals) Dordrecht Boston 1988 Cr II M. J. Cresswell Structured Meanings Cambridge Mass. 1984 |