Stock image for illustration purposes only - book cover, edition or condition may vary.
First-Order Modal Logic (Synthese Library)
Fitting, M., Mendelsohn, Richard L.
€ 266.31
FREE Delivery in Ireland
Description for First-Order Modal Logic (Synthese Library)
Paperback. Presents a treatment of first-order modal logic, together with propositional background. This book covers quantification, 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; and more. Series: Synthese Library. Num Pages: 292 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 158 x 16. Weight in Grams: 446.
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, ... Read more
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, ... Read more
Product Details
Format
Paperback
Publication date
1999
Publisher
Springer
Condition
New
Series
Synthese Library
Number of Pages
292
Place of Publication
Dordrecht, Netherlands
ISBN
9780792353355
SKU
V9780792353355
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for First-Order Modal Logic (Synthese Library)
"This Text is an excellent and most useful volume. It is pitched correctly: the exercises are just right... It sets a high standard for anything following. It is to be highly recommended." (Bulletin of Symbolic Logic, 8:3)