- We will send in 10–14 business days.
/images/books/14014688/9783031407130.jpg)
- Author: Melvin Fitting
- Publisher: Springer
- ISBN-10: 303140713X
- ISBN-13: 9783031407130
- Format: 15.6 x 23.4 x 2.7 cm, kieti viršeliai
- Language: English
- SAVE -10% with code: EXTRA
Reviews
Description
Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a threefold approach. Semantically, they use possible world models; the formal proof machinery is tableaus; and full philosophical discussions are provided of the way that technical developments bear on well-known philosophical problems.
The book covers quantification itself, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege's morning star/evening star puzzle; the notion of existence and the logical problems surrounding it; non-rigid constants and function symbols; predicate abstraction, which abstracts a predicate from a formula, in effect providing a scoping function for constants and function symbols, leading to a clarification of ambiguous readings at the heart of several philosophical problems; the distinction between nonexistence and nondesignation; and definite descriptions, borrowing from both Fregean and Russellian paradigms.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 21d.21:16:25
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Author: Melvin Fitting
- Publisher: Springer
- ISBN-10: 303140713X
- ISBN-13: 9783031407130
- Format: 15.6 x 23.4 x 2.7 cm, kieti viršeliai
- Language: English English
Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a threefold approach. Semantically, they use possible world models; the formal proof machinery is tableaus; and full philosophical discussions are provided of the way that technical developments bear on well-known philosophical problems.
The book covers quantification itself, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege's morning star/evening star puzzle; the notion of existence and the logical problems surrounding it; non-rigid constants and function symbols; predicate abstraction, which abstracts a predicate from a formula, in effect providing a scoping function for constants and function symbols, leading to a clarification of ambiguous readings at the heart of several philosophical problems; the distinction between nonexistence and nondesignation; and definite descriptions, borrowing from both Fregean and Russellian paradigms.
Reviews