Description

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

Universal Logic

Product form

£34.53

Includes FREE delivery

Order before 4pm tomorrow for delivery by Mon 2 Feb 2026.

A Paperback / softback by Ross Brady

Out of stock


    View other formats and editions of Universal Logic by Ross Brady

    Publisher: Centre for the Study of Language & Information
    Publication Date: 01/03/2006
    ISBN13: 9781575862569, 978-1575862569
    ISBN10: 1575862565
    Also in:
    Mathematical logic

    Description

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

    Recently viewed products

    © 2026 Book Curl

      • American Express
      • Apple Pay
      • Diners Club
      • Discover
      • Google Pay
      • Maestro
      • Mastercard
      • PayPal
      • Shop Pay
      • Union Pay
      • Visa

      Login

      Forgot your password?

      Don't have an account yet?
      Create account