Logic and Foundations 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 …

A Dualistic Interpretation Of Mathematical Creation Through Art And Argumentation, Sofia Almpani, Petros Stefaneas, Mihir Chakraborty

Journal of Humanistic Mathematics

Creativity, informal reasoning and dynamic exchange of ideas form the pulsating heart of mathematical creation. In this approach, the concept of a mathematical object surpasses conventional boundaries of formal presentation, as they also encompass the intention to prove, significant creative stages within the proving, and the overall experience of prover's journey, which may involve arguments, debates, discovery insights, aesthetic visualizations, and narrative elements. In this paper we present two conceptual frameworks, namely Argumentation-based Proof-Events Calculus (APEC) and Mathematical RUPAs, in order to provide distinct yet interconnected perspectives on informal thinking, knowledge creation, and proving in mathematics. Following the two perspectives, …

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 …

Mathematics And Determinism: Chaos, Quantum Mechanics, And The Limits Of Predictive Structure, Jackson T. Salumbides

CMC Senior Theses

This thesis examines the relationship between mathematics and determinism by analyzing how chaos theory, quantum mechanics, and formal mathematical limits challenge traditional conceptions of predictability and causal structure. Chaos theory shows that deterministic systems can exhibit practical unpredictability due to sensitivity to initial conditions. Quantum mechanics introduces probabilistic outcomes that complicate deterministic interpretation, though alternative frameworks such as Bohmian mechanics and superdeterminism attempt to restore determinism at conceptual cost. Additionally, results from mathematical logic, including Gödel’s incompleteness theorems and Turing’s undecidability, demonstrate intrinsic limitations on what can be deduced or computed, even in fully deterministic systems. By synthesizing these areas, …

A Thesis, Or Digressions On Sculptural Practice: In Which, Concepts & Influences Thereof Are Explained, Set Forth, Catalogued, Or Divulged By Way Of Commentaries To A Poem, First Conceived By The Artist, Fed Through Chatg.P.T., And Re-Edited By The Artist, To Which Are Added, Annotated References, Impressions And Ruminations Thereof, Also Including Private Thoughts & Personal Accounts Of The Artist, Jaimie An

Masters Theses

This thesis is an exercise in, perhaps a futile, attempt to trace just some of the ideas, stories, and musings I might meander through in my process. It’s not quite a map, nor is it a neat catalogue; it is a haphazard collection of tickets and receipts from a travel abroad, carelessly tossed in a carry-on, only to be stashed upon returning home. These ideas are derived from much greater thinkers and authors than myself; I am a mere collector or a translator, if that, and not a very good one, for much is lost. I do not claim comprehensive …

Canonical Extensions Of Quantale Enriched Categories, Alexander Kurz

MPP Research Seminar

No abstract provided.

Towards Erasing The Distinction Between The Computational And Syntactic Accounts Of Scientific Theories, Timothy Luft

Theses

One of the main goals of philosophy of science is to give a proper account of scientific theories and their structure. One way that accounts of the structure of scientific theories can be distinguished is by the mathematical or logical structures that they involve. For instance, syntactic accounts of scientific theories hold that theories are axioms in a logical framework, whereas semantic accounts are more liberal in the range of mathematical and logical structures they take as pertinent to the structure of scientific theories. Paul Thagard (1988) offers a computational account of scientific theories, which holds that theories are complex …

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 …

Symbolic Logic, Tony Roy

Books

Textbook for symbolic logic, beginning at a level appropriate for beginning students, continuing through Godel's completeness and incompleteness theorems. The text naturally divides into two volumes, the first for reasoning in logic, the second for reasoning about it.

The first volume includes parts I and II of the text. Part I introduces the complete classical predicate calculus with equality, including both axiomatic and natural derivation systems. Part II transitions to methods for reasoning about logic, including direct reasoning from definitions and mathematical induction.

The second volume includes parts III and IV of the text. Part III develops basic results in …

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 …

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 …

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.

Structure, Neutrostructure, And Antistructure In Science, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In any science, a classical Theorem, defined on a given space, is a statement that is 100% true (i.e. true for all elements of the space). To prove that a classical theorem is false, it is sufficient to get a single counter-example where the statement is false. Therefore, the classical sciences do not leave room for partial truth of a theorem (or a statement). But, in our world and in our everyday life, we have many more examples of statements that are only partially true, than statements that are totally true. The NeutroTheorem and AntiTheorem are generalizations and alternatives of …

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. …

Was Frege A Logicist For Arithmetic?, Marco Panza

MPP Published Research

The paper argues that Frege’s primary foundational purpose concerning arithmetic was neither that of making natural numbers logical objects, nor that of making arithmetic a part of logic, but rather that of assigning to it an appropriate place in the architectonics of mathematics and knowledge, by immersing it in a theory of numbers of concepts and making truths about natural numbers, and/or knowledge of them transparent to reason without the medium of senses and intuition.

The Philosophical Foundations Of Plen: A Protocol-Theoretic Logic Of Epistemic Norms, Ralph E. Jenkins

Dissertations, Theses, and Capstone Projects

In this dissertation, I defend the protocol-theoretic account of epistemic norms. The protocol-theoretic account amounts to three theses: (i) There are norms of epistemic rationality that are procedural; epistemic rationality is at least partially defined by rules that restrict the possible ways in which epistemic actions and processes can be sequenced, combined, or chosen among under varying conditions. (ii) Epistemic rationality is ineliminably defined by procedural norms; procedural restrictions provide an irreducible unifying structure for even apparently non-procedural prescriptions and normative expressions, and they are practically indispensable in our cognitive lives. (iii) These procedural epistemic norms are best analyzed in …

Enthymemathical Proofs And Canonical Proofs In Euclid’S Plane Geometry, Abel Lassalle, Marco Panza

MPP Published Research

Since the application of Postulate I.2 in Euclid’s Elements is not uniform, one could wonder in what way should it be applied in Euclid’s plane geometry. Besides legitimizing questions like this from the perspective of a philosophy of mathematical practice, we sketch a general perspective of conceptual analysis of mathematical texts, which involves an extended notion of mathematical theory as system of authorizations, and an audience-dependent notion of proof.

Coincidence Of Bargaining Solutions And Rationalizability In Epistemic Games, Todd Stambaugh

Dissertations, Theses, and Capstone Projects

Chapter 1: In 1950, John Nash proposed the Bargaining Problem, for which a solution is a function that assigns to each space of possible utility assignments a single point in the space, in some sense representing the ’fair’ deal for the agents involved. Nash provided a solution of his own, and several others have been presented since then, including a notable solution by Ehud Kalai and Meir Smorodinsky. In chapter 1, a complete account is given for the conditions under which the two solutions will coincide for two player bargaining scenarios.

Chapter 2: In the same year, Nash …

Review Of G. Israel, Meccanicismo. Trionfi E Miserie Della Visione Meccanica Del Mondo, Marco Panza

MPP Published Research

"This is Giorgio's Israel last book, which appeared only a few weeks after his untimely death, in September 2015. For many reasons, it can be considered as his intellectual legacy, since it comes back, in a new and organic way, to many of the research topics to which he devoted his life and his many publications, which include several papers in Historia Mathematica. One of these papers, co-authored with M. Menghini, appeared in vol. 25/4, 1998 and was devoted to Poincaré's and Enriques's opposite views on qualitative analysis, which is a theme also dealt with in this book (pp. 117–122)."

On Benacerraf’S Dilemma, Again, Marco Panza

MPP Published Research

In spite of its enormous influence, Benacerraf’s dilemma admits no standard unanimously accepted formulation. This mainly depends on Benacerraf’s having originally presented it in a quite colloquial way, by avoiding any compact, somehow codified, but purportedly comprehensive formulation (Benacerraf 1973 cf. p. 29).

The Proscriptive Principle And Logics Of Analytic Implication, Thomas M. Ferguson

Dissertations, Theses, and Capstone Projects

The analogy between inference and mereological containment goes at least back to Aristotle, whose discussion in the Prior Analytics motivates the validity of the syllogism by way of talk of parts and wholes. On this picture, the application of syllogistic is merely the analysis of concepts, a term that presupposes—through the root ἀνά + λύω —a mereological background.

In the 1930s, such considerations led William T. Parry to attempt to codify this notion of logical containment in his system of analytic implication AI. Parry’s original system AI was later expanded to the system PAI. The hallmark of Parry’s systems—and of …

Platonismes, Marco Panza

MPP Published Research

Selon la vulgata philosophique, le platonisme concernant un certain domaine de recherche est la thèse affirmant que ce domaine concerne des objets qui lui sont propres, dont l’existence est indépendante de l’activité cognitive humaine. Souvent, dans la même vulgata on parle aussi de platonisme pour se référer à une thèse un peu différente, d’après laquelle ce qu’on dit concernant ce domaine est vrai ou faux indépendamment de toute justification ou réfutation que l’on puisse apporter. Naturellement, si parmi les énoncées ayant trait à ce demain, il y en a qu’on peut prendre comme particulièrement surs du fait d’en avoir une …

Abstraction And Epistemic Economy, Marco Panza

MPP Published Research

Most of the arguments usually appealed to in order to support the view that some abstraction principles are analytic depend on ascribing to them some sort of existential parsimony or ontological neutrality, whereas the opposite arguments, aiming to deny this view, contend this ascription. As a result, other virtues that these principles might have are often overlooked. Among them, there is an epistemic virtue which I take these principles to have, when regarded in the appropriate settings, and which I suggest to call ‘epistemic economy’. My purpose is to isolate and clarify this notion by appealing to some examples concerning …

The Varieties Of Indispensability Arguments, Marco Panza, Andrea Sereni

MPP Published Research

The indispensability argument (IA) comes in many different versions that all reduce to a general valid schema. Providing a sound IA amounts to providing a full interpretation of the schema according to which all its premises are true. Hence, arguing whether IA is sound results in wondering whether the schema admits such an interpretation. We discuss in full details all the parameters on which the specification of the general schema may depend. In doing this, we consider how different versions of IA can be obtained, also through different specifications of the notion of indispensability. We then distinguish between schematic and …

Introduction To Functions And Generality Of Logic. Reflections On Frege's And Dedekind's Logicisms, Hourya Benis Sinaceur, Marco Panza, Gabriel Sandu

MPP Published Research

This book examines three connected aspects of Frege’s logicism: the differences between Dedekind’s and Frege’s interpretation of the term ‘logic’ and related terms and reflects on Frege’s notion of function, comparing its understanding and the role it played in Frege’s and Lagrange’s foundational programs. It concludes with an examination of the notion of arbitrary function, taking into account Frege’s, Ramsey’s and Russell’s view on the subject. Composed of three chapters, this book sheds light on important aspects of Dedekind’s and Frege’s logicisms. The first chapter explains how, although he shares Frege’s aim at substituting logical standards of rigor to intuitive …

Newton On Indivisibles, Antoni Malet, Marco Panza

MPP Published Research

Though Wallis’s Arithmetica infinitorum was one of Newton’s major sources of inspiration during the first years of his mathematical education, indivisibles were not a central feature of his mathematical production.

Wallis On Indivisibles, Antoni Malet, Marco Panza

MPP Published Research

The present chapter is devoted, first, to discuss in detail the structure and results of Wallis’s major and most influential mathematical work, the Arithmetica Infinitorum (Wallis 1656). Next we will revise Wallis’s views on indivisibles as articulated in his answer to Hobbes’s criticism in the early 1670s. Finally, we will turn to his discussion of the proper way to understand the angle of contingence in the first half of the 1680s. As we shall see, there are marked differences in the status that indivisibles seem to enjoy in Wallis’s thought along his mathematical career. These differences correlate with the changing …

The Logical System Of Frege’S Grundgesetze : A Rational Reconstruction, Méven Cadet, Marco Panza

MPP Published Research

This paper aims at clarifying the nature of Frege's system of logic, as presented in the first volume of the Grundgesetze . We undertake a rational reconstruction of this system, by distinguishing its propositional and predicate fragments. This allows us to emphasise the differences and similarities between this system and a modern system of classical second-order logic.

Pruebas Entimemáticas Y Pruebas Canónicas En La Geometría Plana De Euclides, Marco Panza, Abel Lassalle Casanave

MPP Published Research

Dado que la aplicación del Postulado I.2 no es uniforme en Elementos, ¿de qué manera debería ser aplicado en la geometría plana de Euclides? Además de legitimar la pregunta misma desde la perspectiva de una filosofía de la práctica matemática, nos proponemos esbozar una perspectiva general de análisis conceptual de textos matemáticos que involucra una noción ampliada de la teoría matemática como sistema de autorizaciones o potestades y una noción de prueba que depende del auditorio.

Since the application of Postulate I.2 in the Elements is not uniform, one could wonder in what way should it be applied in Euclid’s …