Dekorationsartikel gehören nicht zum Leistungsumfang.
Sprache:
Englisch
73,20 €*
Versandkostenfrei per Post / DHL
Lieferzeit 1-2 Wochen
Kategorien:
Beschreibung
In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight. All of the S1-S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or many-valued semantics, for sentential modal logic is formalized, and an important result that no finite matrix can characterize any of the standard modal logics is proven. Exercises, some of which show independence results, help to develop logical skills.
In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight. All of the S1-S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or many-valued semantics, for sentential modal logic is formalized, and an important result that no finite matrix can characterize any of the standard modal logics is proven. Exercises, some of which show independence results, help to develop logical skills.
Über den Autor
Nino B. Cocchiarella, Professor Emeritus of Logic and Philosophy at Indiana University has published many new results on the logic of time, modality, logical necessity, philosophical and mathematical logic, formal ontology, theories of predication, reference, and nominalization. He is the author of several books, most recently Formal Ontology and Conceptual Realism.
Max A. Freund is professor of logic and philosophy at the National University of Costa Rica, and has been a visiting professor at the most important universities in Latin America as well a visiting researcher at the University of Munich, Germany. He is the author of numerous articles on modal logic, sortal logic, epistemic logic, philosophy of language, philosophy of computability, second-order logic, judicial logic, and a forthcoming book entitled Judicial Logic.
Max A. Freund is professor of logic and philosophy at the National University of Costa Rica, and has been a visiting professor at the most important universities in Latin America as well a visiting researcher at the University of Munich, Germany. He is the author of numerous articles on modal logic, sortal logic, epistemic logic, philosophy of language, philosophy of computability, second-order logic, judicial logic, and a forthcoming book entitled Judicial Logic.
Inhaltsverzeichnis
- 1: Introduction
- 2: The Syntax of Modal Sentential Calculi, 2.1-2.3
- 3: Matrix Semantics, 3.1-3.3
- 4: Semantics for Logical Necessity,4.1-4.3
- 5: Semantics for S5, 5.1-5.3
- 6: Relational World Systems, 6.1-6.11
- 7: Quantified Modal Logic, 7.1-7.6
- 8: The Semantics of Quantified Modal Logic, 8.1-8.7
- 9: Second-Order Modal Logic, 9.1-9.6
- 10: Semantics of Second-Order Modal Logic, 10.1-10.5
- Afterward
- Bibliography
- Index
Details
Erscheinungsjahr: | 2008 |
---|---|
Fachbereich: | Allgemeines |
Genre: | Importe, Philosophie |
Jahrhundert: | Antike |
Rubrik: | Geisteswissenschaften |
Thema: | Lexika |
Medium: | Taschenbuch |
ISBN-13: | 9780195366570 |
ISBN-10: | 0195366573 |
Sprache: | Englisch |
Einband: | Kartoniert / Broschiert |
Autor: |
Cocchiarella, Nino B.
Freund, Max A. |
Hersteller: | Oxford University Press |
Verantwortliche Person für die EU: | Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de |
Maße: | 234 x 156 x 15 mm |
Von/Mit: | Nino B. Cocchiarella (u. a.) |
Erscheinungsdatum: | 01.07.2008 |
Gewicht: | 0,436 kg |
Über den Autor
Nino B. Cocchiarella, Professor Emeritus of Logic and Philosophy at Indiana University has published many new results on the logic of time, modality, logical necessity, philosophical and mathematical logic, formal ontology, theories of predication, reference, and nominalization. He is the author of several books, most recently Formal Ontology and Conceptual Realism.
Max A. Freund is professor of logic and philosophy at the National University of Costa Rica, and has been a visiting professor at the most important universities in Latin America as well a visiting researcher at the University of Munich, Germany. He is the author of numerous articles on modal logic, sortal logic, epistemic logic, philosophy of language, philosophy of computability, second-order logic, judicial logic, and a forthcoming book entitled Judicial Logic.
Max A. Freund is professor of logic and philosophy at the National University of Costa Rica, and has been a visiting professor at the most important universities in Latin America as well a visiting researcher at the University of Munich, Germany. He is the author of numerous articles on modal logic, sortal logic, epistemic logic, philosophy of language, philosophy of computability, second-order logic, judicial logic, and a forthcoming book entitled Judicial Logic.
Inhaltsverzeichnis
- 1: Introduction
- 2: The Syntax of Modal Sentential Calculi, 2.1-2.3
- 3: Matrix Semantics, 3.1-3.3
- 4: Semantics for Logical Necessity,4.1-4.3
- 5: Semantics for S5, 5.1-5.3
- 6: Relational World Systems, 6.1-6.11
- 7: Quantified Modal Logic, 7.1-7.6
- 8: The Semantics of Quantified Modal Logic, 8.1-8.7
- 9: Second-Order Modal Logic, 9.1-9.6
- 10: Semantics of Second-Order Modal Logic, 10.1-10.5
- Afterward
- Bibliography
- Index
Details
Erscheinungsjahr: | 2008 |
---|---|
Fachbereich: | Allgemeines |
Genre: | Importe, Philosophie |
Jahrhundert: | Antike |
Rubrik: | Geisteswissenschaften |
Thema: | Lexika |
Medium: | Taschenbuch |
ISBN-13: | 9780195366570 |
ISBN-10: | 0195366573 |
Sprache: | Englisch |
Einband: | Kartoniert / Broschiert |
Autor: |
Cocchiarella, Nino B.
Freund, Max A. |
Hersteller: | Oxford University Press |
Verantwortliche Person für die EU: | Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de |
Maße: | 234 x 156 x 15 mm |
Von/Mit: | Nino B. Cocchiarella (u. a.) |
Erscheinungsdatum: | 01.07.2008 |
Gewicht: | 0,436 kg |
Sicherheitshinweis