Articoli correlati a First-Order Modal Logic: 277
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Recensione:
"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)
Contenuti:
(Bulletin of Symbolic Logic, 8:3)
Preface. 1. Propositional Modal Logic. 2. Tableau Proof Systems. 3. Axiom Systems. 4. Quantified Modal Logic. 5. First-Order Tableaus. 6. First-Order Axiom Systems. 7. Equality. 8. Existence and Actualist Quantification. 9. Terms and Predicate Abstraction. 10. Abstraction Continued. 11. Designation. 12. Definite Descriptions. References. Index.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione1999
- ISBN 10 0792353358
- ISBN 13 9780792353355
- RilegaturaCopertina flessibile
- Numero di pagine308
- Valutazione libreria
Compra nuovo
Scopri di più su questo articolo
EUR 105,37
Spese di spedizione:
EUR 3,68
In U.S.A.
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
First-Order Modal Logic (Synthese Library, 277)
Da:
Valutazione libreria
Descrizione libro Paperback. Condizione: new. New. Fast Shipping and good customer service. Codice articolo Holz_New_0792353358
Compra nuovo
EUR 105,37
Convertire valuta
Foto dell'editore
First-Order Modal Logic (Synthese Library, 277)
Da:
Valutazione libreria
Descrizione libro Paperback. Condizione: new. New Copy. Customer Service Guaranteed. Codice articolo think0792353358
Compra nuovo
EUR 106,33
Convertire valuta
Foto dell'editore
FIRST-ORDER MODAL LOGIC (SYNTHES
Da:
Valutazione libreria
Descrizione libro Condizione: New. New. In shrink wrap. Looks like an interesting title! 1.16. Codice articolo Q-0792353358
Compra nuovo
EUR 106,27
Convertire valuta
Foto dell'editore
First-Order Modal Logic (Synthese Library, 277)
Da:
Valutazione libreria
Descrizione libro Condizione: New. Book is in NEW condition. 1.17. Codice articolo 0792353358-2-1
Compra nuovo
EUR 228,36
Convertire valuta
Immagini fornite dal venditore
First-Order Modal Logic (Synthese Library) by Fitting, M. [Paperback ]
Da:
Valutazione libreria
Descrizione libro Soft Cover. Condizione: new. Codice articolo 9780792353355
Compra nuovo
EUR 228,40
Convertire valuta
Foto dell'editore
First-Order Modal Logic (Synthese Library, 277)
Da:
Valutazione libreria
Descrizione libro Paperback. Condizione: new. Brand New Copy. Codice articolo BBB_new0792353358
Compra nuovo
EUR 243,15
Convertire valuta
Foto dell'editore
First-Order Modal Logic (Synthese Library, 277)
Da:
Valutazione libreria
Descrizione libro Condizione: New. Codice articolo ABLIING23Feb2416190183039
Compra nuovo
EUR 247,03
Convertire valuta
Immagini fornite dal venditore
First-Order Modal Logic
Editore:
Springer Netherlands
(1999)
ISBN 10: 0792353358
ISBN 13: 9780792353355
Nuovo
Brossura
Quantità: > 20
Da:
Valutazione libreria
Descrizione libro Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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, predi. Codice articolo 5968652
Compra nuovo
EUR 206,40
Convertire valuta
Foto dell'editore
First-Order Modal Logic
Print on Demand
Da:
Valutazione libreria
Descrizione libro Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Codice articolo ria9780792353355_lsuk
Compra nuovo
EUR 245,23
Convertire valuta
Immagini fornite dal venditore
First-Order Modal Logic
Editore:
Springer Netherlands Aug 1999
(1999)
ISBN 10: 0792353358
ISBN 13: 9780792353355
Nuovo
Taschenbuch
Quantità: 2
Da:
Valutazione libreria
Descrizione libro Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 308 pp. Englisch. Codice articolo 9780792353355
Compra nuovo
EUR 246,09
Convertire valuta