Philosophie Lexikon der ArgumenteHome | |||
| |||
Bereich: Modelltheorie Menge von definierten Gegenständen, für die ein Modell erfüllbar ist. In der Logik eine Menge von Objekten, über die Aussagen aufgestellt werden können._____________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 Bereiche – Lexikon der Argumente
I 190 Quantor/Quantifikation/Cresswell: Die Idee, dass Quantoren mit impliziten Beschränkungen auftreten, ist nicht neu. Bsp Jeder ist angekommen - das heißt natürlich nicht, dass jeder aus dem Universum angekommen ist. >Quantoren, >Quantifikation, >Allquantifikation, >Existenzquantifikation. - - - Hughes I 153 Henkin-Beweis: Der Henkin-Beweis setzt den Apparat maximal widerspruchsfreier Mengen ein, um zu zeigen, dass für jede widerspruchsfreie (wsf) Formel ein verifizierendes Modell konstruiert werden kann. >Widerspruchsfreiheit, >Widersprüche._____________ 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 Hughes I G.E. Hughes Maxwell J. Cresswell Einführung in die Modallogik Berlin New York 1978 |