Universal Logic
Seiten
2006
Centre for the Study of Language & Information (Verlag)
978-1-57586-255-2 (ISBN)
Centre for the Study of Language & Information (Verlag)
978-1-57586-255-2 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
Universal Logic conceptualizes a new logic, where the main inference connective is understood as 'meaning containment'. Classical logic plays a restricted role, applying to 'classical sentences', while the new logic is studied in depth with chapters on semantics, proof theory, and properties. Based on this logic, simple consistency is proved for naive class theory, also in conjunction with 'classical theories' such as a Z-F-style set theory. This book shows how the main set-theoretic and semantic paradoxes can be solved in a systematic way, which is conceptualized independently of the paradoxes themselves.
Ross Brady is senior lecturer in philosophy at La Trobe University in Australia.
Erscheint lt. Verlag | 7.3.2008 |
---|---|
Reihe/Serie | Center for the Study of Language and Information Publication Lecture Notes ; 109 |
Verlagsort | Stanford |
Sprache | englisch |
Maße | 152 x 228 mm |
Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
ISBN-10 | 1-57586-255-7 / 1575862557 |
ISBN-13 | 978-1-57586-255-2 / 9781575862552 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2024)
World Scientific Publishing Co Pte Ltd (Verlag)
CHF 43,60
what we have that machines don't
Buch | Softcover (2024)
Profile Books Ltd (Verlag)
CHF 19,15
how simple questions lead us to mathematics’ deepest truths
Buch | Softcover (2024)
Profile Books Ltd (Verlag)
CHF 19,15