What Logics Mean: From Proof Theory to Model-Theoretic Semantics
Autor James W. Garsonen Limba Engleză Paperback – 13 noi 2013
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 323.05 lei 6-8 săpt. | |
Cambridge University Press – 13 noi 2013 | 323.05 lei 6-8 săpt. | |
Hardback (1) | 567.03 lei 6-8 săpt. | |
Cambridge University Press – 13 noi 2013 | 567.03 lei 6-8 săpt. |
Preț: 323.05 lei
Nou
Puncte Express: 485
Preț estimativ în valută:
61.84€ • 63.64$ • 52.13£
61.84€ • 63.64$ • 52.13£
Carte tipărită la comandă
Livrare economică 01-15 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781107611962
ISBN-10: 1107611962
Pagini: 260
Dimensiuni: 175 x 246 x 16 mm
Greutate: 0.54 kg
Ediția:New.
Editura: Cambridge University Press
Colecția Cambridge University Press
Locul publicării:New York, United States
ISBN-10: 1107611962
Pagini: 260
Dimensiuni: 175 x 246 x 16 mm
Greutate: 0.54 kg
Ediția:New.
Editura: Cambridge University Press
Colecția Cambridge University Press
Locul publicării:New York, United States
Cuprins
Preface; 1. Introduction to model-theoretic inferentialism; 2. Deductive expression; 3. Local expression; 4. Global expression; 5. Intuitionistic semantics; 6. Conditionals; 7. Disjunction; 8. Negation; 9. Supervaluations and natural semantics; 10. Natural semantics for an open future; 11. The expressive power of sequent calculi; 12. Soundness and completeness for natural semantics; 13. Connections with proof-theoretic semantics; 14. Quantifiers; 15. Natural semantics and vagueness; 16. Modal logic; Summary.
Notă biografică
Descriere
This book explains how the meanings of the symbols of logic are determined by the rules that govern them.