Philosophie Lexikon der Argumente

Home Screenshot Tabelle Begriffe

 
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 Argumente
Der 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

Send Link

Autoren A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Y   Z  


Begriffe A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z