Logic and Foundations of Mathematics Commons^™

Model-Theoretic Arguments In Philosophy, Peter Susanszky

Dissertations, Theses, and Capstone Projects

This dissertation is on model-theoretic arguments in philosophy, especially those of Quine, Davidson, and Putnam. In the first part, to ground the debate, I give a rigorous introduction to the salient parts of first-order model theory. I start the second part by giving an introduction to Quine's philosophy, and how the model-theoretic arguments fit into it. After considering how Donald Davidson adopted the Quinean lesson, I move on to Putnam's model-theoretic arguments. Putnam's spin on these model-theoretic considerations significantly departs from Quine and Davidson, while retaining many of the core ideas. Most importantly, I argue that the target of Putnam's …

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 …

The Modal Catuṣkoṭi: Formalizing Emptiness In Classical Modal Logic, Chance Chapman

Comparative Philosophy

Nāgārjuna’s arguments in the Mūlamadhyamakakārikā rely extensively on modus tollens, yet this inference is invalid in the paraconsistent frameworks typically used to formalize the catuṣkoṭi. We develop a modal extension of Belnap-Dunn semantics to address this, expressed as: ¬□(v(P) = t) ∧ ¬□(v(P) = f) ∧ ¬□(v(P) = b) ∧ ¬□(v(P) = n). This formula applies self-reflexively, resolves longstanding interpretive debates regarding verses within Nāgārjuna’s Mūlamadhyamakakārikā and Vigrahavyāvartanī such as his “no thesis” defense, and bridges interpretive gaps between traditionally designated Eastern and Western logical traditions, providing a Western analytical translation of Indian dialectic into symbolic modal logic that …

Somatic Prosthetics For Planetary Resonance, Disha Dharesh Kumar R

Masters Theses

This thesis investigates how industrial design can transcend extractive technological paradigms in favor of relational interfaces that foster planetary attunement. Framing the climate crisis as a 'crisis of imagination', the research challenges the Western bifurcation of nature and culture by drawing on Indic cosmologies- which recognize stones, plants, and ecosystems as conscious at different levels and participants in a shared cosmic field. By synthesizing research in Biosemiotics, Quantum Information Pansycishm, and Neuroscience, the project redefines intelligence as a distributed, more-than-human phenomenon.

The research materializes as a speculative design artifact: a device that functions as a somatic prosthetic for planetary resonance. …

A Modal Analysis Of Human Dignity, Alexander S. Eberspacher

Theses/Capstones/Creative Projects

This work examines the history of the human rights tradition and philosophically compares it to the natural law tradition as most pre-eminently developed in Catholicism. It then turns to examine how Catholicism offers a philosophically sound base for universal dignity through the light of Saul Kripke’s modal work, while the Universal Declaration of Human Rights cannot account for such.

Redefining Certainty: Non-Euclidean Geometry And Theology Transformation Throughout The Intellectual Unrest Of The Early 1800s, Luke Bensinger

Honors Theses

To bridge the gap between mathematics and theology, it is necessary to explore their intersection and challenge the notion that these fields are incompatible. This study focuses on the 19th century, a period when non-Euclidean geometries emerged and disrupted mathematical certainty, while Protestant theologians such as Barton W. Stone and Alexander Campbell grappled with Calvinism and shifting theological perspectives. By analyzing mathematicians studying geometry, such as Gauss, Lobachevsky, and Riemann, this research examines how both disciplines balance change with enduring truths.

Why Read The Classics (Of Mathematical Proofs)?, Cosimo Perini Brogi

Journal of Humanistic Mathematics

Inspired by Italo Calvino’s (almost) homonymous writing, this short essay suggests a formal perspective to complement the typical categorisation of classical results in mathematics on aesthetic bases. The traditional proof that √2 is not a rational number provides a simple example of proof mining. When studied through the tools of logic, that proof has also led to designing new systems for formal proving based on cyclic proofs. This example thus supports the central thesis of this essay that reading the classics of mathematical proofs enables us to acquire a taste for mathematical beauty and can open new directions in mathematics …

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 …

Challenging The Double-Negation Principle: An Analysis Of Strategic Theories Of Sun Zi, Carnot, And Clausewitz Through Intuitionist Logic, Antonino Drago

Comparative Philosophy

To study a subject similarly represented in Eastern and Western cultures, I examine some classical theories of war strategy according to a new analytical method. This method is based on the recognition that the most important strategic theories are organized as theories essentially not deduced from axioms according to classical logic. Such theories reason through doubly negated propositions (DNPs), whose meanings differ from those of their affirmative counterparts. This corresponds to the use of intuitionist logic instead of classical logic. An inspection of the works of the texts of Sun Zi, Lazare Carnot, and Clausewitz reveals many such propositions, and …

The Influence Of Scale In Modeling Social Vulnerability And Disaster Assistance, Sina Razzaghi Asl, Oronde Drakes, Eric Tate, Samuel Brody, Wesley Highfield, Kayode Atoba

Political Science & Geography Faculty Publications

Understanding how social vulnerability relates to disaster impacts is critical for addressing social equity, yet the role of spatial scale in this relationship is often overlooked. Most studies use aggregated data, risking ecological fallacy-misinterpreting individual outcomes from group-level data. This study examines how spatial scale influences the relationship between social vulnerability and federal disaster assistance after Hurricane Harvey. Using spatial econometric models at both household and census tract levels, we assessed the strength of key vulnerability indicators in explaining disaster assistance. Results show that disability, housing tenure, household size, and income predict assistance at the household level, but their influence …

The Principle Of Tolerance And Logical Pluralism, Teresa Kouri Kissel

Philosophy Faculty Publications

Logical pluralism is the view that there is more than one correct logic. This is in contrast with logical monism, which holds that only one is, and logical nihilism, which holds that none are. Monists are typically folks who defend a single logic, like Michael Dummett (2000) or Alan Ross Anderson and Nuel D. Belnap (1975), as correct for guiding deductive reasoning.

Auseinandersetzung: Heidegger's Black Notebooks And Intercultural Engagement, Steven Burik

Research Collection School of Social Sciences

Heidegger’s relation to Asian philosophy should be guided by the notion of Auseinandersetzung. Often translated as con-frontation, this term plays a pivotal role in understanding Heidegger’s engagements with Asian philosophy. Auseinandersetzung (and related terms) can help us realise the changed perspectives on our own thinking that we derive from engagements with culturally and/or historically other types of thinking. Heidegger warns us against facile endeavours of comparing and contrasting, which, as a form of comparative philosophy, he sees as a kind of dialectics unworthy of true thinking. Thinking through the term Auseinandersetzung allows us to reflect more meaningfully on comparative philosophy.