10 libri per 10 euro qui
Bookbot

Melvin Fitting Libri

    Melvin Fitting è un logico il cui lavoro si addentra nella logica filosofica e nei sistemi di prova a tableau. Esplora come i principi del ragionamento cambino a seconda del contesto e della materia, considerando la logica come uno strumento prezioso per incarnare e dimostrare la coerenza delle posizioni filosofiche. La sua vasta carriera accademica ha comportato insegnamento e ricerca, plasmando sia gli studenti che il campo. L'approccio di Fitting evidenzia la capacità della logica di formalizzare il pensiero e rivelarne le strutture sottostanti.

    First-Order Modal Logic

    • First-Order Modal Logic

      • 480pagine
      • 17 ore di lettura
      4,4(26)Aggiungi una valutazione

      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