Andere Kunden interessierten sich auch für
![Logic and Philosophy of Mathematics in the Early Husserl]( "Logic and Philosophy of Mathematics in the Early Husserl")
Logic and Philosophy of Mathematics in the Early Husserl74,99 €![Logic and Philosophy of Mathematics in the Early Husserl]( "Logic and Philosophy of Mathematics in the Early Husserl")
Logic and Philosophy of Mathematics in the Early Husserl74,99 €![Natural Deduction, Hybrid Systems and Modal Logics]( "Natural Deduction, Hybrid Systems and Modal Logics")
Natural Deduction, Hybrid Systems and Modal Logics168,99 €![Natural Deduction, Hybrid Systems and Modal Logics]( "Natural Deduction, Hybrid Systems and Modal Logics")
Natural Deduction, Hybrid Systems and Modal Logics168,99 €![Paraconsistency: Logic and Applications]( "Paraconsistency: Logic and Applications")
Paraconsistency: Logic and Applications77,99 €![Toward Predicate Approaches to Modality]( "Toward Predicate Approaches to Modality")
Toward Predicate Approaches to Modality63,99 €
Die Modelltheorie wird im Zusammenhang mit dem Bestreben gesehen, der Semantik formaler Sprachen eine exakte und unzweideutige Darstellung zu geben. Für drei Sprachtypen werden auf dem Hintergrund der Unterscheidung zwischen extensionalen und intensionalen Sprachen unterschiedliche Interpretationsmöglichkeiten untersucht. Die Hauptthese der Arbeit ist, dass entgegen der herrschenden Meinung prädikatenlogische Sprachen erster Stufe keine extensionalen Sprachen sind.