|
|
|
Item Details
Title:
|
FIRST-ORDER MODAL LOGIC
|
By: |
Melvin Fitting, Richard L. Mendelsohn |
Format: |
Paperback |
List price:
|
£74.99 |
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
ISBN 10: |
0792353358 |
ISBN 13: |
9780792353355 |
Publisher: |
KLUWER ACADEMIC PUBLISHERS |
Pub. date: |
15 August, 1999 |
Edition: |
Softcover reprint of the original 1st ed. 1998 |
Series: |
Synthese Library v. 277 |
Pages: |
292 |
Description: |
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. |
Synopsis: |
This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms. |
Illustrations: |
biography |
Publication: |
US |
Imprint: |
Kluwer Academic Publishers |
Returns: |
Returnable |
|
|
|
|
Ramadan and Eid al-Fitr
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
|
|
|
|
|
|
|
|
|
|
|