Logic and Foundations of Mathematics Commons^™

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 …

An Evolutionary Approach To Crowdsourcing Mathematics Education, Spencer Ward

Honors College

By combining ideas from evolutionary biology, epistemology, and philosophy of mind, this thesis attempts to derive a new kind of crowdsourcing that could better leverage people’s collective creativity. Following a theory of knowledge presented by David Deutsch, it is argued that knowledge develops through evolutionary competition that organically emerges from a creative dialogue of trial and error. It is also argued that this model of knowledge satisfies the properties of Douglas Hofstadter’s strange loops, implying that self-reflection is a core feature of knowledge evolution. This mix of theories then is used to analyze several existing strategies of crowdsourcing and knowledge …

The Conceptions Of Self-Evidence In The Finnis Reconstruction Of Natural Law, Kevin P. Lee

St. Mary's Law Journal

Finnis claims that his theory proceeds from seven basic principles of practical reason that are self-evidently true. While much has been written about the claim of self-evidence, this article considers it in relation to the rigorous claims of logic and mathematics. It argues that when considered in this light, Finnis equivocates in his use of the concept of self-evidence between the realist Thomistic conception and a purely formal, modern symbolic conception. Given his respect for the modern positivist separation of fact and value, the realism of the Thomistic conception cannot be the foundation for the natural law as Finnis would …

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 …

Are Logic And Math Relevant To Social Debates?, Michael A. Lewis

Journal of Humanistic Mathematics

Social debates, as well as discussions about certain highly charged issues, such as racism, gender identity, and sexuality, usually turn on the uses or mentions of key words. That is, the conclusions we can draw from such discussions depend on how certain terms are used or mentioned in them. Yet participants in social debates may often fail to precisely define their terms or fail to make important distinctions in terms uttered by others. Both logic and mathematics pay attention to the importance of precise definitions when it comes to engaging in discussions, arguments, or proofs. Logic also makes an important …

Engaging The Paradoxical: Zeno's Paradoxes In Three Works Of Interactive Fiction, Michael Z. Spivey

Journal of Humanistic Mathematics

For over two millennia thinkers have wrestled with Zeno's paradoxes on space, time, motion, and the nature of infinity. In this article we compare and contrast representations of Zeno's paradoxes in three works of interactive fiction, Beyond Zork, The Chinese Room, and A Beauty Cold and Austere. Each of these works incorporates one of Zeno's paradoxes as part of a puzzle that the player must solve in order to advance and ultimately complete the story. As such, the reader must engage more deeply with the paradoxes than he or she would in a static work of fiction. …

Rules, Tricks And Emancipation, Jessie Allen

Book Chapters

Rules and tricks are generally seen as different things. Rules produce order and control; tricks produce chaos. Rules help us predict how things will work out. Tricks are deceptive and transgressive, built to surprise us and confound our expectations in ways that can be entertaining or devastating. But rules can be tricky. General prohibitions and prescriptions generate surprising results in particular contexts. In some situations, a rule produces results that seem far from what the rule makers expected and antagonistic to the interests the rule is understood to promote. This contradictory aspect of rules is usually framed as a downside …

Logic, Thought, And Language In Hegel, Marx, And Rosenzweig, Omar Moreno

Open Access Theses & Dissertations

The objective of this Thesis is to open a conversation regarding the role of grammar in two areas of philosophy: interpretation and normative philosophy. The task is divided into three chapters, each of which focuses on one major issue. The first is a demonstration of the use of grammar in understanding and interpreting works of philosophy, namely those of Hegel and Marx. The second chapter is an interpretation of Franz Rosenzweig's renovated grammar as seen in The Star of Redemption. The last uses an analysis of grammar to challenge the role of empirical knowledge in community building. The last chapter …

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 …

A Groundwork For A Logic Of Objects, David Winters

Electronic Thesis and Dissertation Repository

The history of philosophy is rich with theories about objects; theories of object kinds, their nature, the status of their existence, etc. In recent years philosophical logicians have attempted to formalize some of these theories, yielding many fruitful results. My thesis intends to add to this tradition in philosophical logic by developing a second-order logical system that may serve as a groundwork for a multitude of theories of objects (e.g. concrete and abstract objects, impossible objects, fictional objects, and others). Through the addition of what we may call sortal quantifiers (i.e. quantifiers that bind individual variables ranging over objects of …

Maths Living In Social Arenas, From Practice To Foundations, Nigel Vinckier

Journal of Humanistic Mathematics

Maths comes to life in human interaction. This has consequences for the mathematics itself. This paper discusses how this ``coming to life'' of mathematics in different social arenas influences the foundations of maths. We will argue that this influence is profound, to the extent that it is hard to upkeep the idea that there is or should be one foundation on which all mathematics can be built.

The Poetic Function Of Imagination: The Parallel Process Of Poiêsis, Angela Carlson

Expressive Therapies Capstone Theses

In the advent of Postmodernism, modern approaches to understanding the nature of things is being put into question. As the gap between objective and subjective realms of experiences is narrowing, there is an increased need for a more artful approach to science. This paper serves as my attempt to promote the field of Expressive Arts Therapy (ExATh) as a mode of poetic science for understanding the experience of ‘Being’ in the world. Through a critical review of the semantic development of the ancient Greek concepts poiêsis, noêsis, and aisthêsis, the imagination is identified as a function of alêthaic revealing, …

Fatal Attractions, Elective Affinities, And Deadly Epistemologies, Ibpp Editor

International Bulletin of Political Psychology

This article cites film, the novel, and news report to underline the deadly seriousness of the quest for knowledge.

The Systems Of Post And Post Algebras: A Demonstration Of An Obvious Fact, Daviel Leyva

USF Tampa Graduate Theses and Dissertations

In 1942, Paul C. Rosenbloom put out a definition of a Post algebra after Emil L. Post published a collection of systems of many–valued logic. Post algebras became easier to handle following George Epstein’s alternative definition. As conceived by Rosenbloom, Post algebras were meant to capture the algebraic properties of Post’s systems; this fact was not verified by Rosenbloom nor Epstein and has been assumed by others in the field. In this thesis, the long–awaited demonstration of this oft–asserted assertion is given.

After an elemental history of many–valued logic and a review of basic Classical Propositional Logic, the systems given …

Pagan Winter, Samm Willard

Sophia and Philosophia

Isn’t this a lovely place to pick apart your lover’s face
Some say the river bank’s a sacred place
Others think that’s such a silly thing to say
But I would never try to prove them wrong on such a blissful day
The colors of the leaves will soon have changed
The yellows and the greens will fade to gray
But I will lose a quiet hour to the darkest day
A pagan winter’s on its way
I will see the death of God before it’s Christmas day
A pagan winter’s on its way
Well isn’t this some lovely clay …

Haunted By A Memory I Never Lived, Carlos Hiraldo

Sophia and Philosophia

I am haunted by a memory I never lived. My mother and father are sitting in their house in Brooklyn with my baby sister watching the 1969 moon landing. Born in 1971, I wasn’t there. But I spent my toddler years in the waning residue of excitement about the landing and listening to adults talk about where they had watched it. As a child, I was baffled by how vivid this event that occurred without me was to people of my parents’ age. Except for some surviving pictures of the living room, I never knew the house in which they …

Frontiers Of Conditional Logic, Yale Weiss

Dissertations, Theses, and Capstone Projects

Conditional logics were originally developed for the purpose of modeling intuitively correct modes of reasoning involving conditional—especially counterfactual—expressions in natural language. While the debate over the logic of conditionals is as old as propositional logic, it was the development of worlds semantics for modal logic in the past century that catalyzed the rapid maturation of the field. Moreover, like modal logic, conditional logic has subsequently found a wide array of uses, from the traditional (e.g. counterfactuals) to the exotic (e.g. conditional obligation). Despite the close connections between conditional and modal logic, both the technical development and philosophical exploitation of the …

Symmetry And Measuring: Ways To Teach The Foundations Of Mathematics Inspired By Yupiaq Elders, Jerry Lipka, Barbara Adams, Monica Wong, David Koester, Karen Francois

Journal of Humanistic Mathematics

Evident in human prehistory and across immense cultural variation in human activities, symmetry has been perceived and utilized as an integrative and guiding principle. In our long-term collaborative work with Indigenous Knowledge holders, particularly Yupiaq Eskimos of Alaska and Carolinian Islanders in Micronesia, we were struck by the centrality of symmetry and measuring as a comparison-of-quantities, and the practical and conceptual role of qukaq [center] and ayagneq [a place to begin]. They applied fundamental mathematical principles associated with symmetry and measuring in their everyday activities and in making artifacts. Inspired by their example, this paper explores the question: Could symmetry …

From Solvability To Formal Decidability: Revisiting Hilbert’S “Non-Ignorabimus”, Andrea Reichenberger

Journal of Humanistic Mathematics

The topic of this article is Hilbert’s axiom of solvability, that is, his conviction of the solvability of every mathematical problem by means of a finite number of operations. The question of solvability is commonly identified with the decision problem. Given this identification, there is not the slightest doubt that Hilbert’s conviction was falsified by Gödel’s proof and by the negative results for the decision problem. On the other hand, Gödel’s theorems do offer a solution, albeit a negative one, in the form of an impossibility proof. In this sense, Hilbert’s optimism may still be justified. Here I argue that …

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 …

An Introduction To Logic: From Everyday Life To Formal Systems, Albert Mosley, Eulalio Baltazar

Open Educational Resources: Textbooks

An introduction to the discipline of logic covering subjects from the structures of arguments, classical and modern logic, categorical and inductive inferences, to informal fallacies.

• Over 30 years of development provides a sound empirical based pedagogy throughout the text.

• Examples in ordinary language using familiar examples avoids the suggestion of an alien cultural imposition.

• A focus on the basic representational techniques of classical and modern logic.

• Students introduced to basic concepts of set theory, using Venn diagrams to represent statements and evaluate arguments.

• Students introduced to basic concepts of propositional logic and the use of truth-tables.

• Students introduced to basic …

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 …

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.

Counterfactual Conditional Analysis Using The Centipede Game, Ahmed Bilal

CMC Senior Theses

The Backward Induction strategy for the Centipede Game leads us to a counterfactual reasoning paradox, The Centipede Game paradox. The counterfactual reasoning proving the backward induction strategy for the game appears to rely on the players in the game not choosing that very same backward induction strategy. The paradox is a general paradox that applies to backward induction reasoning in sequential, perfect information games. Therefore, the paradox is not only problematic for the Centipede Game, but it also affects counterfactual reasoning solutions in games similar to the Centipede Game. The Centipede Game is a prime illustration of this paradox in …

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

Call Thee Ishmael, Mark Backus

Sophia and Philosophia

“Moby-Dick is a strangely compelling book.”[1] Scholarship and commentary help the reader understand why Ishmael’s tale is so compelling, but not always why it is strangely so. The perennial search for a master key to unlock the strangeness of Moby-Dick beneath its infinite layers has added more mesmerizing layers, but if many of the proposed keys fit into the lock of Moby-Dick, why is there yet a sense that none have completely opened “the great flood-gates?” (Moby-Dick 22, hereafter “MD”). Is it because none of them are right, or that they are only partly right, or that …

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.

Computing, Modelling, And Scientific Practice: Foundational Analyses And Limitations, Filippos A. Papagiannopoulos

Electronic Thesis and Dissertation Repository

This dissertation examines aspects of the interplay between computing and scientific practice. The appropriate foundational framework for such an endeavour is rather real computability than the classical computability theory. This is so because physical sciences, engineering, and applied mathematics mostly employ functions defined in continuous domains. But, contrary to the case of computation over natural numbers, there is no universally accepted framework for real computation; rather, there are two incompatible approaches --computable analysis and BSS model--, both claiming to formalise algorithmic computation and to offer foundations for scientific computing.

The dissertation consists of three parts. In the first part, we …

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.