Logic and Foundations of Mathematics Commons^™

The Limits Of Universal Logic: A Cross-Cultural Archaeology Of Logical Critique, Murat Kelikli

Comparative Philosophy

This study examines critiques of logic articulated across diverse historical and cultural traditions within a comparative framework. The critiques developed in Islamic, Buddhist, Chinese, Indian, Zen, and modern Western philosophy do not, in the main, reject logic or reasoning as such; rather, they target the conceptualization of logic as a universal, context-independent, and singular normative standard. The analysis shows that objections raised at ontological, epistemic, linguistic, methodological, and political levels converge on a set of shared concerns rooted in the structural features of logic itself, most notably categorical determinacy, universalist assumptions, and claims of context-independence. At the same time, these …

A Cross-System Analysis Of Structural Commensurability Between Axiomatic Foundations Of Set Theory (Zfc) And The Principles Of Transcendent Wisdom, Mohammadjavad Maarefvand

Comparative Philosophy

Building on observed similarities in uniqueness proofs for the empty set and the Necessary Existent (Wājib al-Wujūd), this study engages the meta-methodological issue of cross-system commensurability. It identifies four instances of structural commensurability between Zermelo-Fraenkel set theory with Choice (ZFC) and Mulla Sadra's Transcendent Wisdom (Ḥikmat al-Muta'āliyah). First, identity principles: the Axiom of Extensionality provides a formal operational criterion analogous to the philosophical principle of identity through absence of distinguishing features. Second, multiplicity mechanisms: ZFC's constructor axioms (bottom-up construction) and emanation principles (top-down explanation) address analogous problems with inverse orientations. Third, transcending limitation: the Axiom of Infinity ensuring quantitative extensional …

Modeling Deductive Inference: A Historico-Philosophical Introduction To First-Order Logic, David J. Buller

Faculty Books & Book Chapters

This book is a companion text for lectures on first-order logic and its elementary metatheory (used in Intermediate Logic at Northern Illinois University). It covers the basic concepts of set theory necessary for a mathematical development of first-order logic; develops a formal language of first-order logic; presents a classical Tarskian semantics for the language and the “semantic” conception of logical consequence; presents a Gentzenian proof system and the “syntactic” conception of logical consequence; develops a partial decision procedure for logical consequence in the language; demonstrates applications of the formal system to modeling deductive inference expressed in natural language; and extends …

Tarski And Bachmann In Regina: A Magical Connection, James T. Smith

Journal of Humanistic Mathematics

This is a personal account of an intersection of the schools of research in foundations of geometry founded by Alfred Tarski and Friedrich Bachmann. Their academic lineages and the origins of the schools are also described, as well as the mathematics that resulted from this intersection.

Logical Pluralism And Vicious Regresses, Daniel Boyd

Dissertations, Theses, and Capstone Projects

This material in this dissertation will be divided into two parts. The first part is a preliminary discussion of vicious regress arguments in the philosophy of logic in the 20th century. The second part will focus on three different versions of logical pluralism, i.e., the view that there are many correct logics. In each case an argument will be developed to show that these versions of logical pluralism result in a vicious regress.

The material in part one will be divided into three chapters, and there are a few reasons for having a preliminary discussion of vicious regress arguments in …

Recapture, Transparency, Negation And A Logic For The Catuṣkoṭi, Adrian Kreutz

Comparative Philosophy

The recent literature on Nāgārjuna’s catuṣkoṭi centres around Jay Garfield’s (2009) and Graham Priest’s (2010) interpretation. It is an open discussion to what extent their interpretation is an adequate model of the logic for the catuskoti, and the Mūla-madhyamaka-kārikā. Priest and Garfield try to make sense of the contradictions within the catuskoti by appeal to a series of lattices – orderings of truth-values, supposed to model the path to enlightenment. They use Anderson & Belnaps's (1975) framework of First Degree Entailment. Cotnoir (2015) has argued that the lattices of Priest and Garfield …