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.
General
Imprint: |
Centre for the Study of Language & Information
|
Country of origin: |
United States |
Series: |
Center for the Study of Language and Information Publication Lecture Notes, 109 |
Release date: |
March 2006 |
First published: |
March 2006 |
Authors: |
Ross Brady
|
Dimensions: |
228 x 152 x 21mm (L x W x T) |
Format: |
Paperback - Trade
|
Pages: |
440 |
Edition: |
New Ed |
ISBN-13: |
978-1-57586-256-9 |
Categories: |
Books >
Science & Mathematics >
Mathematics >
Mathematical foundations >
Mathematical logic
|
LSN: |
1-57586-256-5 |
Barcode: |
9781575862569 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!