Zum Hauptinhalt springen
Dekorationsartikel gehören nicht zum Leistungsumfang.
Modal Logic
An Introduction to Its Syntax and Semantics
Taschenbuch von Nino B. Cocchiarella (u. a.)
Sprache: Englisch

73,20 €*

inkl. MwSt.

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.
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
Artikel-ID: 120658810
Ü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.
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
Artikel-ID: 120658810
Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte