Universal Logic

by Ross Brady

Book Overview

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...

• Format: Paperback
• Language: English
• ISBN: 1575862565
• ISBN13: 9781575862569
• Release Date: March 2006
• Publisher: Center for the Study of Language and Informat
• Length: 440 Pages
• Weight: 1.20 lbs.
• Dimensions: 0.8" x 6.8" x 9.0"