Universal Logic

Ross Brady

346 pages, parution le 28/02/2006

Ajouter à une liste

Indisponible

Résumé

Throughout the twentieth century, the classical logic of Frege and Russell dominated the field of formal logic. But, as Ross Brady argues here, persistent logical paradoxes may be better solved by a new type of weak relevant logic. Brady's universal logic, intended to analyze naive set/class theories, is modeled on the properties of set-theoretic containment and driven by an inference connective understood as "meaning containment".

Universal Logic begins with an overview of classical and strong relevant logic and discusses the limitations of both in analyzing many historically significant paradoxes, including Russell's Paradox and the Heterologicality Paradox. By formulating a weak quantified relevant logic, this is the first text to demonstrate how such set-theoretic and semantic paradoxes can be solved in a systematic way that is conceptualized independently of the paradoxes themselves. An important part of this system is the two-sorted treatment of classicality, where the Law of Excluded Middle and Disjunctive Syllogism apply to classical sentences.

L'auteur - Ross Brady

Ross Brady is a Reader and Associate Professor in Philosophy at La Trobe University.

Sommaire

Preface
Philosophical Support for the Logic DJ^dQ
Semantics for the Logic DJ^dQ
Proof Theory for the Logic DJ^dQ
Properties of the Logic DJ^dQ
Philosophical Support for the Theories of Classes and Sets
Simple Consistency of the Class Theory
Simple Consistency of the Class Theory Combined with the Set Theory and Other Theories
Simple Consistency of the Higher-Order Predicate Logic
Formal Development of the Axiomatic Theories
Conclusion
References
Index

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	CSLI
Auteur(s)	Ross Brady
Parution	28/02/2006
Nb. de pages	346
Format	15 x 23
Couverture	Broché
Poids	484g
Intérieur	Noir et Blanc
EAN13	9781575862569
ISBN13	978-1-57586-256-9