Melvin Fitting (Poradie kníh)

Melvin Fitting Poradie kníh

Melvin Fitting sa zaoberá logikou so zvláštnym zameraním na filozofickú logiku a tabuľkové dôkazové systémy. Jeho práca skúma, ako sa princípy uvažovania menia v závislosti od kontextu a predmetu. Fitting vníma logiku ako nástroj, ktorý umožňuje stelesniť filozofické pozície a ukázať ich koherenciu, nie ako absolútnu pravdu. Dlhodobo sa venoval výučbe a výskumu na City University of New York, kde formoval študentov aj odbor.

First-Order Modal Logic

480 stránok
17 hodin čítania

4,4(26)Ohodnotiť

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.