2 869 855 libros electrónicos en 110 idiomas
¿No le conviene? No hay problema. Puedes devolver los artículos hasta 30 días
No se equivocará con un vale de regalo. El destinatario puede elegir cualquier producto de nuestra oferta.
Hasta 30 días para devoluciones
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.
¡Hola! Soy Libroamiko, tu asesor de libros.
¿Cómo puedo ayudarte?