Philosophie Lexikon der ArgumenteHome | |||
| |||
Existenzprädikat, Philosophie, Logik: im Gegensatz zu Eigenschaften, die durch Prädikate zugeschrieben werden, ist Existenz keine solche Eigenschaft. Es ist daher nur in bestimmten Systemen und unter bestimmten Voraussetzungen möglich, ein Existenzprädikat zu bilden. Bsp (∃x)(Fx) - "Es gibt mindestens einen Gegenstand mit der Eigenschaft F" hier ist das "∃" kein Existenzprädikat, sondern Existenzquantor. Siehe auch Existenz, Prädikate, Prädikation, Eigenschaften, Quantifikation, Existenzsätze, Existenzquantifikation, Semantischer Aufstieg, Substitutionale Quantifikation._____________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 |
---|---|---|---|
Robert Stalnaker über Existenzprädikat – Lexikon der Argumente
I 150f Barcan-Formel/BF/Stalnaker: Die Barcan-Formel involviert die Wechselwirkung des Allquantors mit dem Notwendigkeitsoperator: (BF) "x^NF > N"x^F Ã" (CBF) N"x^F > "x^NF (Konverse) Kripke (1963)(1): Kripkes Semantik zeigte, welche semantischen Annahmen zusätzlich gebraucht werden. Er zeigte einen Fehlschluss in den Beweisen, die sie angeblich herleiteten, in denen diese Annahmen fehlten - sie ist gültig wenn wRu, Du < Dw. D.h. wenn der Gegenstandsbereich der zugänglichen möglichen Welt eine Teilmenge des Bereichs der Ausgangswelt ist. Bei der Konverse ist dies umgekehrt. >Bereiche, >Konverse. Qualifizierte Konverse der Barcan-Formel/Stalnaker: Eine qualifizierte Konverse der Barcan-Formel erfolgt mit Existenzannahme: (QCBF) N"x^F > "x^N Ex > F) Existenzprädikat E: Ey^(x = y). >Existenzprädikat, >Barcan-Formel. 1. S. A. Kripke, 1963. Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi. Mathematical Logic Quarterly Volume 9, Issue 5‐6_____________ 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. |
Stalnaker I R. Stalnaker Ways a World may be Oxford New York 2003 |