Melvin Fitting (Libros)

Melvin Fitting Libros

Melvin Fitting es un lógico cuyo trabajo profundiza en la lógica filosófica y los sistemas de prueba de tableau. Explora cómo los principios de razonamiento cambian según el contexto y la materia, considerando la lógica como una herramienta valiosa para encarnar y demostrar la coherencia de las posiciones filosóficas. Su extensa carrera académica implicó la enseñanza y la investigación, dando forma tanto a estudiantes como al campo. El enfoque de Fitting resalta la capacidad de la lógica para formalizar el pensamiento y revelar sus estructuras subyacentes.

First-Order Modal Logic

480 páginas
17 horas de lectura

4,4(26)Añadir reseña

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.