Melvin Fitting Reihenfolge der Bücher

Melvin Fitting ist ein Logiker, dessen Werk sich mit philosophischer Logik und Tableau-Beweissystemen beschäftigt. Er untersucht, wie sich Denkprinzipien je nach Kontext und Thema verschieben, und betrachtet Logik als ein wertvolles Werkzeug, um die Kohärenz philosophischer Positionen zu verkörpern und zu demonstrieren. Seine umfangreiche akademische Laufbahn umfasste Lehre und Forschung, wodurch er sowohl Studenten als auch das Fachgebiet prägte. Fittings Ansatz hebt die Fähigkeit der Logik hervor, Gedanken zu formalisieren und ihre zugrunde liegenden Strukturen aufzudecken.

2023
First-Order Modal Logic
480 Seiten
17 Lesestunden
4,4(26)Abgeben
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.

First-Order Modal Logic