Nominuj začínající autory na Knihobot literární grant!
Knihobot

Melvin Fitting Pořadí knih

    Melvin Fitting se zabývá logikou se zvláštním zaměřením na filozofickou logiku a tabulkové důkazové systémy. Jeho práce zkoumá, jak se principy uvažování mění v závislosti na kontextu a předmětu. Fitting vnímá logiku jako nástroj, který umožňuje ztělesnit filozofické pozice a ukázat jejich koherenci, nikoli jako absolutní pravdu. Dlouhodobě se věnoval výuce a výzkumu na City University of New York, kde formoval studenty i obor.

    First-Order Modal Logic
    • 2023

      First-Order Modal Logic

      • 480 stránek
      • 17 hodin čtení
      4,4(26)Ohodnotit

      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