Δεν σας αρέσει; Δεν πειράζει! Μπορείτε να επιστρέψετε προϊόντα έως 30 ημέρες
Δεν θα κάνετε ποτέ λάθος με μια δωροεπιταγή. Χαρίστε στους αγαπημένους σας την επιλογή να διαλέξουν οι ίδιοι οτιδήποτε από τη συλλογή μας.
Έως 30 ημέρες για επιστροφή
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.
Γεια σας! Είμαι ο Libroamiko, ο σύμβουλος βιβλίων σας.
Πώς μπορώ να σας βοηθήσω;