Universal logic
Editorial CSLI PUBLICATIONS
España peninsular
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 ...
Leer más...- Editorial CSLI PUBLICATIONS
- ISBN13 9781575862569
- ISBN10 1575862565
- Tipo LIBRO
- Páginas 346
- Año de Edición 2006
- Encuadernación Rústica
Universal logic
Editorial CSLI PUBLICATIONS
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 ...
España peninsular
Detalles del libro
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 naïve 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.