23,99 €
inkl. MwSt.

Versandfertig in 6-10 Tagen
  • Broschiertes Buch

Modal logic, temporal logic, provability logic, epistemic logic... There are quite a number of non-classical logical systems and then there is also the classical logic. Until today the link between them has been only structural: similar forms for formulae, similar axioms, similar rules. However, they have not been shown to be reducible to one another. This book aims precisely at that end to show that all those kinds of non-classical systems can be reduced to our old-good classical logic with existential and universal quantifiers. Thus, this book takes modal logic as an example and devotes most…mehr

Produktbeschreibung
Modal logic, temporal logic, provability logic, epistemic logic... There are quite a number of non-classical logical systems and then there is also the classical logic. Until today the link between them has been only structural: similar forms for formulae, similar axioms, similar rules. However, they have not been shown to be reducible to one another. This book aims precisely at that end to show that all those kinds of non-classical systems can be reduced to our old-good classical logic with existential and universal quantifiers. Thus, this book takes modal logic as an example and devotes most of it to the proof to show that modality can be deduced from a set of theorems and special propositions in classical logic. Nonetheless, this proof systems requires some other enterprises and therefore nature of meaning and reference, concept of definition and definability, and identity of objects and names are also points of consideration of this book. At the end, it offers a thorough analysis on modality and also the key concepts of philosophy of language which are essentially related to the analysis.
Autorenporträt
Born in 1997 in Istanbul, Gedizlioglu was educated in Inanc High School for gifted in Turkey. Awarded gold medal in the International Philosophy Olympiad 2016, he continues his studies at John Cabot University. With papers published in various conferences, Gedizlioglu works on philosophy of language, mind and logic.