Logic and Foundations of Mathematics Commons^™

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.

Unlocking The Power Of Logic: Thinking Smarter Every Day A Beginner's Guide To Logical Thinking, Jesus Diaz

A with Honors Projects

Power Point presented to an 11th and 12th grade high school audience, introducing them to the concept of logic.

The Grim Reaper Argument Is An Argument For No One, Daniel Linford, Alex Malpass

Philosophy Faculty Publications

According to a prominent philosophical argument for the beginning of time – the Grim Reaper Argument (GRA) – had it been possible for the past to be infinite, then a provably impossible scenario could have been constructed. Such a scenario is not possible, so, the GRA concludes, the past cannot be infinite. Here, we show that the GRA includes one premise acceptable only for Humeans and another premise acceptable only for anti-Humeans. Since, plausibly, everyone is either a Humean or an anti-Humean, the GRA is an argument for no one. Additionally, we argue that there may not be a way …

Avoiding Pragmatic Oddity: A Bottom-Up Defeasible Deontic Logic, Guido Governatori, Silvano Colombo Tosatto, Antonio Rotolo

Centre for Computational Law (2022-2025)

This paper presents an extension of Defeasible Deontic Logic to deal with the Pragmatic Oddity problem. The logic applies three general principles: (i) the Pragmatic Oddity problem must be solved within a general logical treatment of contrary-to-duty (CTD) reasoning; (ii) non-monotonic methods must be adopted to handle CTD reasoning; (iii) logical models of CTD reasoning must be computationally feasible and, if possible, efficient. The proposed extension of Defeasible Deontic Logic elaborates a preliminary version of the model proposed by Governatori and Rotolo [15]. The previous solution was based on particular characteristics of the (constructive, top-down) proof theory of the logic. …

Canonical Extensions Of Quantale Enriched Categories, Alexander Kurz

MPP Research Seminar

No abstract provided.

“What Line Can’T Be Measured With A Ruler?” Riddles And Concept-Formation In Mathematics And Aesthetics, William H. Brenner, Samuel J. Wheeler

Philosophy Faculty Publications

We analyze two problems in mathematics – the first (stated in our title) is extracted from Wittgenstein’s “Philosophy for Mathematicians”; the second (“What set of numbers is non-denumerable?”) is taken from Cantor. We then consider, by way of comparison, a problem in musical aesthetics concerning a Brahms variation on a theme by Haydn. Our aim is twofold: first, to bring out and elucidate the essentially riddle-like character of these problems; second, to show that the comparison with riddles does not reduce their solution to an exercise in bare subjectivity

Deontic Meta-Rules, Francesco Olivieri, Guido Governatori, Matteo Cristani, Antonino Rotolo, Abdul Sattar

Centre for Computational Law (2022-2025)

The use of meta-rules in logic, i.e., rules whose content includes other rules, has recently gained attention in the setting of non-monotonic reasoning: a first logical formalisation and efficient algorithms to compute the (meta)-extensions of such theories were proposed in Olivieri et al. (2021, Computing defeasible meta-logic. In JELIA 2021, LNCS, vol. 12678, pp. 69-84. Springer.). This work extends such a logical framework by considering the deontic aspect. The resulting logic will not just be able to model policies but also tackle well-known aspects that occur in numerous legal systems. The use of Defeasible Logic to model meta-rules in the …

Spatial Relations Between Conscious And Unconscious Thought, John Shannon Hendrix

Architecture, Art, and Historic Preservation Faculty Publications

No abstract provided.

Reflections On Williamson On Logic And Validity, Graham Priest

Publications and Research

Over many years now, Tim Williamson and I have engaged in debates over fundamental issues concerning logic. On some things, we have disagreed strongly; on others, we have agreed.

Deontics And Time In Contracts: An Executable Semantics For The L4 Dsl, Seng Joe Watt, Oliver Goodenough, Meng Weng (Huang Mingrong) Wong

Research Collection Yong Pung How School Of Law

Existing approaches to modelling contracts often rely on deontic logic to reason about norms, and only treat time qualitatively. Using L4, a textual domain specific language (DSL) for the law, we offer a more operational interpretation of norms, based on states and transitions, that also accounts for the granular timing of events. In this paper, we present a higher-level rendering of the loan agreement from Flood & Goodenough in L4, and an accompanying operational semantics amenable to execution and static analysis. We also implement this semantics in Maude and show how this lets us visualize the execution of the loan …

Japanese-English Translation: Miki Kiyoshi —Thinking With Master Nishida (First Published In Fujin Kōron, August 1941) Complete Draft; Translated, Edited, And Revised By Christopher Southward, October 2022-September 2023 「西田先生のことども」、三木清著（初発 婦人公論、昭和十六年八月）, Christopher Southward

Comparative Literature Faculty and Student Scholarship

Japanese-English Translation: Miki Kiyoshi —Thinking with Master Nishida (First Published in Fujin Kōron, August 1941) Complete Draft; Translated, Edited, and Revised by Christopher Southward, October 2022-September 2023「西田先生のことども」、三木清著（初発 婦人公論、昭和十六年八月）

Source text transcribed and published by Aozora Bunko–a compendium of public-domain Japanese literature, philosophy, and criticism

General website: https://www.aozora.gr.jp

Current text: https://www.aozora.gr.jp/cards/000218/files/50538_37481.html

Platonism, De Re, And (Philosophy Of) Mathematical Practice, Marco Panza

MPP Published Research

The chapter advances a reformulation of the classical problem of the nature of mathematical objects (if any), here called “Plato’s problem,” in line with the program of a philosophy of mathematical practice. It then provides a sketch of a platonist solution, following the same perspective. This solution disregards as nonsensical the question of the existence of abstract, and specifically mathematical, objects, by rather focusing on the modalities of our access to them: objects (in general, both concrete and abstract) are regarded as individual contents that we have (or can have) a de re epistemic access to. The question of the …

Toys As Tools For Good Science, Joshua Luczak

Research Collection College of Integrative Studies

The primary aim of this paper is to elevate the status of toy models, toy model based reasoning, and to encourage more focused discussions of them. This paper attempts to satisfy this aim by achieving two, secondary goals. First, it attempts elevate the status of toy models by making clear and elaborating on the distinction between them and representational models, and by discussing the connection between user intentionality and scientific representation (i.e. when a model represents something). And second, this paper attempts to elevate the status of toy models by highlighting, through some important historical examples, how they have been …

Logic As Applied Mathematics — With Particular Application To The Notion Of Logical Form, Graham Priest

Publications and Research

The word ‘logic’ has many senses. Here we will understand it as meaning an account of what follows from what and why. With contemporary methodology, logic in this sense – though it may not always have been thought of in this way – is a branch of applied mathematics. This has various implications for how one understands a number of issues concerning validity. In this paper I will explain this perspective of logic, and explore some of its consequences with respect to the notion of logical form.

A Question Of Fundamental Methodology: Reply To Mikhail Katz And His Coauthors, Tom Archibald, Richard T. W. Arthur, Giovanni Ferraro, Jeremy Gray, Douglas Jesseph, Jesper Lützen, Marco Panza, David Rabouin, Gert Schubring

Philosophy Faculty Articles and Research

This paper is a response by several historians of mathematics to a series of papers published from 2012 onwards by Mikhail Katz and various co-authors, the latest of which was recently published in the Mathematical Intelligencer, “Two-Track Depictions of Leibniz’s Fictions” (Katz, Kuhlemann, Sherry, Ugaglia, and van Atten, 2021). At issue is a question of fundamental methodology. These authors take for granted that non-standard analysis provides the correct framework for historical interpretation of the calculus, and castigate rival interpretations as having had a deleterious effect on the philosophy, practice, and applications of mathematics. Rather than make this case by reasoned …

Unknowable Truths: The Incompleteness Theorems And The Rise Of Modernism, Caroline Tvardy

Honors Scholars Collaborative Projects

This thesis evaluates the function of the current history of mathematics methodologies and explores ways in which historiographical methodologies could be successfully implemented in the field. Traditional approaches to the history of mathematics often lack either an accurate portrayal of the social and cultural influences of the time, or they lack an effective usage of mathematics discussed. This paper applies a holistic methodology in a case study of Kurt Gödel’s influential work in logic during the Interwar period and the parallel rise of intellectual modernism. In doing so, the proofs for Gödel’s Completeness and Incompleteness theorems will be discussed as …

Semantic Completeness Of Intuitionistic Predicate Logic In A Fully Constructive Meta-Theory, Ian Ray

Masters Theses & Specialist Projects

A constructive proof of the semantic completeness of intuitionistic predicate logic is explored using set-generated complete Heyting Algebra. We work in a constructive set theory that avoids impredicative axioms; for this reason the result is not only intuitionistic but fully constructive. We provide background that makes the thesis accessible to the uninitiated.

Russian Logics And The Culture Of Impossible: Part Ii: Reinterpreting Algorithmic Rationality, Ksenia Tatarchenko, Anya Yermakova, Liesbeth De Mol

Research Collection School of Social Sciences

This article reinterprets algorithmic rationality by looking at the interaction between mathematical logic, mechanized reasoning, and, later, computing in the Russian Imperial and Soviet contexts to offer a history of the algorithm as a mathematical object bridging the inner and outer worlds, a humanistic vision that we, following logician Vladimir Uspensky, call the “culture of the impossible.” We unfold the deep roots of this vision as embodied in scientific intelligentsia. In Part I, we examine continuities between the turn-of-the-twentieth-century discussions of poznaniye—an epistemic orientation towards the process of knowledge acquisition—and the postwar rise of the Soviet school of mathematical logic. …

The Agnostic Structure Of Data Science Methods, Domenico Napoletani, Marco Panza, Daniele Struppa

MPP Published Research

In this paper we argue that data science is a coherent and novel approach to empirical problems that, in its most general form, does not build understanding about phenomena. Within the new type of mathematization at work in data science, mathematical methods are not selected because of any relevance for a problem at hand; mathematical methods are applied to a specific problem only by `forcing’, i.e. on the basis of their ability to reorganize the data for further analysis and the intrinsic richness of their mathematical structure. In particular, we argue that deep learning neural networks are best understood within …

Patrick Aidan Heelan’S The Observable: Heisenberg’S Philosophy Of Quantum Mechanics, Paul Downes

Research Resources

The publication of Patrick Aidan Heelan’s The Observable, with forewords from Michel Bitbol, editor Babette Babich and the author himself, offers a timely invitation to reconsider the relation between quantum physics and continental philosophy.

Patrick Heelan does so, as a contemporary of and interlocutor with Werner Heisenberg on these issues, as a physicist himself who trained with leading figures of quantum mechanics (QM), Erwin Schrödinger and Eugene Wigner. Moreover, Heelan highlights Heisenberg’s interest in phenomenology as ‘a friend and frequent visitor of Martin Heidegger’ (55). Written originally in 1970 and unpublished then for reasons Babich explicates in her foreword, …

Diagrams In Intra-Configurational Analysis, Marco Panza, Gianluca Longa

MPP Published Research

In this paper we would like to attempt to shed some light on the way in which diagrams enter into the practice of ancient Greek geometrical analysis. To this end, we will first distinguish two main forms of this practice, i.e., trans-configurational and intra-configurational. We will then argue that, while in the former diagrams enter in the proof essentially in the same way (mutatis mutandis) they enter in canonical synthetic demonstrations, in the latter, they take part in the analytic argument in a specific way, which has no correlation in other aspects of classical geometry. In intra-configurational analysis, diagrams represent …

Analysis, Constructions And Diagrams In Classical Geometry, Marco Panza

MPP Published Research

Greek ancient and early modern geometry necessarily uses diagrams. Among other things, these enter geometrical analysis. The paper distinguishes two sorts of geometrical analysis and shows that in one of them, dubbed “intra-confgurational” analysis, some diagrams necessarily enter as outcomes of a purely material gesture, namely not as result of a codifed constructive procedure, but as result of a free-hand drawing.

Real Possibility: Modality And Responsibility, Julia Gaul

Honors Scholar Theses

Imagine: someone is backing out of a parking space and does not look in their rear view mirror. They subsequently hit a car that was passing by. One could argue that they simply could have avoided the accident had they looked in their mirror. This non-actual possibility, that they could have looked in the mirror, seems legally and morally relevant. One could also argue that they could have avoided the accident had they stuck their feet out of their window and sung La Marseillaise.

My leading questions is: how do we distinguish possibilities that are legally and morally relevant from …

Pluralistic Perspectives On Logic: An Introduction, Colin R. Caret, Teresa Kouri Kissel

Philosophy Faculty Publications

(First paragraph) Logical pluralism is the view that there are distinct, but equally good logics. Recent years have witnessed a sharp upswing of interest in this view, resulting in an impressive literature. We only expect this trend to continue in the future. More than one commentator has, however, expressed exasperation at the view: what can it mean to be a pluralist about logic of all things? [see, e.g., Eklund (2017); Goddu (2002); Keefe (2014)]. In this introduction, we aim to set out the basic pluralist position, identify some issues over which pluralists disagree amongst themselves, and highlight the topics at …

Susan Stebbing, Teresa Kouri Kissel

Philosophy Faculty Publications

Susan Stebbing (1885-1943) was a founder of Analysis and had a large influence on philosophy during the early 20th century. Recently, the work of Michael Beaney (2000), Siobhan Chapman (2013) and Frederique Janssen- Lauret (2017), amongst others, has begun a resurgence of interest in Stebbing. This paper serves as a brief introduction to some of the major features of her philosophical work.

Logical Instrumentalism And Concatenation, Teresa Kouri Kissel

Philosophy Faculty Publications

Logical pluralism is the theory that there is more than one right logic. Logical instrumentalism is the view that a logic is a correct logic if it can be used to fruitfully pursue some deductive inquiry. Logical instrumentalism is a version of logical pluralism, since more than one logic can be used fruitfully. In this paper, I will show that a logical instrumentalist must accept linear logic as a correct logic, since linear logic is useful for studying natural language syntax. I further show that this means that the logical instrumentalist must accept a wide range of connectives, in particular …

Frege's Constraint And The Nature Of Frege's Foundational Program, Marco Panza, Andrea Sereni

Philosophy Faculty Articles and Research

Recent discussions on Fregean and neo-Fregean foundations for arithmetic and real analysis pay much attention to what is called either ‘Application Constraint’ ( ) or ‘Frege Constraint’ ( ), the requirement that a mathematical theory be so outlined that it immediately allows explaining for its applicability. We distinguish between two constraints, which we, respectively, denote by the latter of these two names, by showing how generalizes Frege’s views while comes closer to his original conceptions. Different authors diverge on the interpretation of and on whether it applies to definitions of both natural and real numbers. Our aim is to trace …

Asymptotic Quasi-Completeness And Zfc, Mirna Džamonja, Marco Panza

MPP Published Research

The axioms ZFC of first order set theory are one of the best and most widely accepted, if not perfect, foundations used in mathematics. Just as the axioms of first order Peano Arithmetic, ZFC axioms form a recursively enumerable list of axioms, and are, then, subject to Gödel’s Incompleteness Theorems. Hence, if they are assumed to be consistent, they are necessarily incomplete. This can be witnessed by various concrete statements, including the celebrated Continuum Hypothesis CH. The independence results about the infinite cardinals are so abundant that it often appears that ZFC can basically prove very little about such cardinals. …