Logic and Foundations of Mathematics Commons^™

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.

Recognizing Mathematics Students As Creative: Mathematical Creativity As Community-Based And Possibility-Expanding, Meghan Riling

Journal of Humanistic Mathematics

Although much creativity research has suggested that creativity is influenced by cultural and social factors, these have been minimally explored in the context of mathematics and mathematics learning. This problematically limits who is seen as mathematically creative and who can enter the discipline of mathematics. This paper proposes a framework of creativity that is based in what it means to know or do mathematics and accepts that creativity is something that can be nurtured in all students. Prominent mathematical epistemologies held since the beginning of the twentieth century in the Western mathematics tradition have different implications for promoting creativity in …

Don’T Be So Fast With The Knife: A Reply To Kapsner, Graham Priest

Comparative Philosophy

The is a brief reply to the central objection against the construction of my The Fifth Corner of Four by Andi Kapsner in his “Cutting Corners: A Critical Note on Priest’s Five-Valued Catuṣkoṭi. This concerns the desirability of adding a fifth corner (ineffability) to the four of the catuṣkoṭi.

Cutting Corners: A Critical Note On Priest’S Five-Valued Catuṣkoṭi, Andreas Kapsner

Comparative Philosophy

Graham Priest has offered a rational reconstruction of Buddhist thought that involves, first, modeling the Catuṣkoṭi by a four valued logic, and then later adding a fifth value, read as “ineffability”. This note examines that fifth value and raises some concerns about it that seem grave enough to reject it. It then sketches an alternative to Priest’s account that has no need for the fifth value.

A Russellian Analysis Of Buddhist Catuskoti, Nicholaos Jones

Comparative Philosophy

Names name, but there are no individuals who are named by names. This is the key to an elegant and ideologically parsimonious strategy for analyzing the Buddhist catuṣkoṭi. The strategy is ideologically parsimonious, because it appeals to no analytic resources beyond those of standard predicate logic. The strategy is elegant, because it is, in effect, an application of Bertrand Russell's theory of definite descriptions to Buddhist contexts. The strategy imposes some minor adjustments upon Russell's theory. Attention to familiar catuṣkoṭi from Vacchagotta and Nagarjuna as well as more obscure catuṣkoṭi from Khema, Zhi Yi, and Fa Zang motivates the …

Connecting Ancient Philosophers’ Math Theory To Modern Fractal Mathematics, Colin Mccormack

Parnassus: Classical Journal

No abstract provided.

Retaining Moroccan Millennials To The Workplace, Omaima Hajjami

All-Inclusive List of Electronic Theses and Dissertations

The focus of this present study is to understand the factors that influence Moroccan millennial employees to stay at or to leave their organizations. To reach this purpose, the study followed a qualitative phenomenological research design, using interviews as a data collection type. Interviews were conducted with ten Moroccan millennials who have worked or still work in a private organization based in Casablanca, the economic capital of Morocco. Findings of this study discovered five factors that influenced Moroccan millennials to stay, including links with co-workers, good leadership style, responsibilities and tasks, training opportunities, and career advancement. Additionally, five factors were …

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 …

A Study Of Quality Requirement Conveyance For Assignments In Technology And Engineering Master’S Degree Programs, Heather J. Mccain

All-Inclusive List of Electronic Theses and Dissertations

Quality requirements are not easy to define. In higher education, defining quality requirements and communicating those requirements to students may be accomplished through a variety of mechanisms. Students still may not know what it takes to get a good grade on an assignment and may have to wait for an instructor to clarify the assignment. This study was conducted because students and instructors may have different opinions as to which forms of feedforward and what technology are best to convey assignment requirements. The purpose of this study was to determine effective feedforward mechanisms as well as the technology used to …

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

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 …

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 …

Managing The Effects Of Wireless Sensors On Vehicle Ad Hoc Network (Vanet) Safety, Melvin Hayes

All-Inclusive List of Electronic Theses and Dissertations

This paper proposes to conduct research on the vehicular ad hoc networks (VANET) area of Intelligent Transportation Systems (ITS) with a focus on investigating safety methods that will significantly reduce passenger vehicle collisions which ultimately will help to save lives and reduce property losses. Key areas of this ITS research will include highway infrastructure or wireless sensor networks (WSN) to the cloud (web service) and the cloud (web service) to highway infrastructure or wireless sensor network (WSN). In turn, the cloud (web service) will communicate with passenger vehicles as components of a highway infrastructure (WSN) to vehicle (I2V) systems and …

Comparing Functions, Costs And Rewards Of Quality Engineers And Six Sigma Black Belts, C. Grant Short

All-Inclusive List of Electronic Theses and Dissertations

The respective Bodies of Knowledge (BoKs) as described by the American Society for Quality (ASQ) for Certified Quality Engineers (ASQ, 2015a) and Certified Six Sigma Black Belts (ASQ, 2015b) are quite similar, yet anecdotally, six sigma black belts are recognized and consequently rewarded more highly than are quality engineers. While Quality Engineering work is typically regarded as preventive in nature, work performed by six sigma black belts is in the realm of improvement, hence is reactive in nature. Consequently, a dichotomy exists in that preventive actions, which are less costly by their nature, are not rewarded as well as costlier …

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.

An Evaluation Of A Biometric Enabled Credit Card For Providing High Authenticity Identity Proofing During The Transaction Authentication Process, Laura F. Poe

All-Inclusive List of Electronic Theses and Dissertations

Credit card fraud has continued to grow despite efforts to protect financial data from data breaches of financial institutions. Data breaches of financial transactional records over the past decade have impacted millions of U.S. consumers, resulting in decreased consumer confidence in security. Banking institutions losing money due to fraud are forced to raise interest rates and increase fees to their cardholders. The costs of fraud are passed to the banking institution’s customers to offset the losses. The requisite to detect and eliminate fraud before it occurs is mutually beneficial to both the banking institution and cardholders. Credit card companies continue …

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 …

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.

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 …