Melvin Fitting (Book order)

Melvin Fitting Book order

Melvin Fitting is a logician whose work delves into philosophical logic and tableau proof systems. He explores how reasoning principles shift depending on context and subject matter, viewing logic as a valuable tool for embodying and demonstrating the coherence of philosophical positions. His extensive academic career involved teaching and research, shaping both students and the field. Fitting's approach highlights logic's capacity to formalize thought and reveal its underlying structures.

First-Order Modal Logic

480 pages
17 hours of reading

4.4(26)Add rating

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.