Philosophie Lexikon der ArgumenteHome
| |||
|
| |||
| Modallogik: Erweiterung der klassischen Logik zu Systemen, in denen auch Möglichkeit und Notwendigkeit ausgedrückt werden können. Verschiedene Ansätze gebrauchen dafür Operatoren zum Ausdruck von „notwendig“ und „möglich“, die je nach Platzierung innerhalb von Formeln Behauptungen von unterschiedliche Stärke gewinnen lassen. Bsp Es gibt einen Gegenstand, der notwendig die Eigenschaft F hat/ Es ist notwendig, dass es einen Gegenstand mit der Eigenschaft F gibt. Die Einführung möglicher Welten macht Quantifikation zum Ausdrücken von Möglichkeit (Es gibt mindestens eine Welt, in der…) und Notwendigkeit (Für alle Welten gilt…) möglich. Siehe auch Operatoren, Quantoren, Vollständigkeit, Reichweite, Mögliche Welten._____________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 |
|---|---|---|---|
|
Peter Geach über Modallogik – Lexikon der Argumente
I 174f Notwendig/Modallogik/Geach: Es ist sogar notwendig notwendig, dass niemand, der ein Bruder ist, nicht männlich ist. Weil wenn es nur kontingenterweise notwendig wäre, wäre ein nichtmännlicher Bruder immer noch eine mögliche Möglichkeit, wenn auch keine tatsächliche Möglichkeit! (((s)> Axiome NNa,MMa, "Es ist notwendig notwendig dass", "es ist möglicherweise möglich dass" Iteration von Modalitäten, >Systeme S4, S5). Wenn Descartes gesagt hätte, dass Gott nicht notwendigerweise die Notwendigkeit hätte schaffen müssen, dass ein Bruder männlich ist, hätte er großen Unsinn geredet. >Notwendigkeit, >Notwendigkeit de re, >de re, >de dicto._____________ 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. |
Gea I P.T. Geach Logic Matters Oxford 1972 |
||
> Gegenargumente gegen Geach
> Gegenargumente zu Modallogik ...
