Das Buch ist derzeit nicht auf Lager
Mehr zum Buch
The book provides an in-depth exploration of first-order modal logic, integrating new insights and revisions since its original 1998 publication. It employs a threefold approach using possible world models, tableau proof systems, and philosophical discourse. Key topics include quantification, the distinction between actualist and possibilist quantifiers, and the treatment of existence, non-rigid constants, and predicate abstraction. The authors also address significant philosophical issues, drawing on Fregean and Russellian theories to clarify complex concepts like nonexistence and definite descriptions.
Buchkauf
First-Order Modal Logic, Melvin Fitting, Richard L. Mendelsohn
- Sprache
- Erscheinungsdatum
- 2023
- product-detail.submit-box.info.binding
- (Hardcover)
Wir benachrichtigen dich per E-Mail.
Hier könnte deine Bewertung stehen.
- Titel
- First-Order Modal Logic
- Sprache
- Englisch
- Autor*innen
- Melvin Fitting, Richard L. Mendelsohn
- Erscheinungsdatum
- 2023
- Einband
- Hardcover
- Seitenzahl
- 480
- ISBN13
- 9783031407130
- Reihe
- Schlagwörter
- Philosophisches Thema, Logik
- Bewertung
- 4,4 von 5 Sternen
- Beschreibung
- The book provides an in-depth exploration of first-order modal logic, integrating new insights and revisions since its original 1998 publication. It employs a threefold approach using possible world models, tableau proof systems, and philosophical discourse. Key topics include quantification, the distinction between actualist and possibilist quantifiers, and the treatment of existence, non-rigid constants, and predicate abstraction. The authors also address significant philosophical issues, drawing on Fregean and Russellian theories to clarify complex concepts like nonexistence and definite descriptions.