Philosophie Lexikon der Argumente

Suche  
 
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.
 
Autor/Titel Begriff Exzerpt Metadaten
Cresswell, M.J.
 
Bücher bei Amazon
Bereiche I 190
Quantor/Quantifikation/Cresswell: die Idee, dass Quantoren mit impliziten Beschränkungen auftreten, ist nicht neu. Bsp Jeder ist angekommen - heißt natürlich nicht, dass jeder aus dem Universum angekommen ist.
- - -
HC I 153
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.

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

> Gegenargumente gegen Cresswell



> Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 23.04.2017