Universal Logic - Brossura

Brady, Ross

Brossura

ISBN 10: 1575862565 ISBN 13: 9781575862569

Casa editrice: The Center for the Study of Language and Information Publications, 2006

Riassunto

Universal Logic conceptualizes a new logic, where the main inference connective is understood as 'meaning containment'. 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..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.

Su questo libro

Descrizione del libro

Universal Logic conceptualizes a new logic, where the main inference connective is understood as 'meaning containment'. 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.

Dettagli dell?edizione

• Editore: The Center for the Study of Language and Information Publications
• Data di pubblicazione: 2006
• Lingua: Inglese
• ISBN 10: 1575862565
• ISBN 13: 9781575862569
• Rilegatura: Copertina flessibile
• Numero di pagine: 440
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile