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 …

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.

Magicicada And Mathematics: What The Parochiality Of Our Explanations Means For The Indispensability Argument, Jadyn Malone

Philosophy Senior Theses

This thesis examines whether the indispensability argument justifies belief in the existence of mathematical entities. I adopt ontological naturalism, arguing that we should believe in entities that feature in our best scientific theories, which are determined through inference to the best explanation. The indispensability argument contends that because mathematical entities are explanatorily indispensable to our best scientific theories – as demonstrated by examples like the prime number explanation of cicada life cycles – we should believe they exist just as we believe in electrons and stars.

However, I identify a challenge: our scientific explanations are inherently parochial, shaped by human …

On The Challenges Posed By Non-Machian Solutions To Relationalism In General Relativity, Zachary Matthew Zito

Undergraduate Honors Capstone Projects

The relationship between Mach’s Principle and solutions to Einstein’s field equations is examined, with special attention to Friedmann-Lematre-Robertson-Walker (FLRW) cosmology. Mach’s Principle is outlined, and the extent to which general relativity fulfills Machs vision is assessed. It is argued that several important solutions to Einsteins equations, particularly the FLRW cosmological models, embody key Machian features. In order to elucidate the FLRW cosmological model, the associated energy-momentum tensor for a perfect fluid under the assumptions of large-scale homogeneity and isotropy is derived and used to obtain the Friedmann equations that govern cosmic expansion. It is shown that FLRW cosmology can be …

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

Polynomial Invariants For Classical Invariant Groups, John Diller

UNF Graduate Theses and Dissertations

The classical invariant theory of matrix groups plays a fundamental role in modern algebra and geometry, with origins in Hilbert’s Fourteenth Problem concerning the finite generation of rings of invariants. In this thesis, we study polynomial functions on spaces of matrices and investigate their invariants under natural actions of classical groups. After recalling the geometric and algebraic motivations behind Hilbert’s question, we focus on invariants for several complex Lie groups, including the general linear group GL(V), the symplectic group Sp(V), the orthogonal group O(V), and the special orthogonal group SO(V). Building on foundational work of Hermann Weyl and a modern …

Intuitionism, Justification Logic, And Doxastic Reasoning, Vincent A. Peluce

Dissertations, Theses, and Capstone Projects

In this Dissertation, we examine a handful of related themes in the philosophy of logic and mathematics. We take as a starting point the deeply philosophical, and—as we argue, deeply Kantian—views of L.E.J. Brouwer, the founder of intuitionism. We examine his famous first act of intuitionism. Therein, he put forth both a critical and a constructive idea. This critical idea involved digging a philosophical rift between what he thought of himself as doing and what he thought of his contemporaries, specifically Hilbert, as doing. He sought to completely separate mathematics from mathematical language, and thereby logic. In chapter 3, we …

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 …

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 …

Alternative Ontology For Ante Rem Structuralism Based On Huayan Buddhist Metaphysics, Chul Soon Hwang

CMC Senior Theses

Ante rem structuralism is a version of mathematical structuralism presented by Shapiro (1997) that asserts the existence of mathematical objects. It stands out amongst other structuralist views in that it secures a face value semantics for mathematical statements. In this paper, I propose an alternative ontology where structures are fully explained by relations. I argue that this alternative ontology avoids arguments against ante rem structuralism’s endorsement of indiscernible entities while retaining the convenience of a face value semantics for mathematical expressions.

This ontology is based on mereological nihilism and the Huayan Buddhist argument that an object can be fully described …

Networking For Mid-Level Administrators In Higher Education: Increase Job Performance And Reduce Burnout, Laura Glasbrenner

All-Inclusive List of Electronic Theses and Dissertations

Mid-level administrators occupy a complex position within higher education institutions, a role defined by “middleness” (Gleeson & Shain, 1999, p. 488), which characterizes their place in institutional hierarchies between superiors and subordinates. Mid-level administrators often feel isolated since they cannot be seen as having close personal relationships with those above or below them in the rankings. Consequently, mid-level administrators are subject to burnout, a psychological condition resulting from isolation compounded by working long hours reconciling the competing and conflicting needs of supervisors and subordinates, which leaves them emotionally exhausted, physically depleted, and feeling like they have reached a professional dead-end. …

Adolescent Well-Being And Exclusionary Discipline: A Resiliency Model, Rachel Ballard

All-Inclusive List of Electronic Theses and Dissertations

Adolescents, especially those with a mental illness, often behave in ways judged to be impulsive, overly emotional, and irresponsible (Gogtay et al., 2004; Lawrence et al., 2015; Tamnes et al., 2010). Many teen behaviors which concern adults can be related to underdeveloped skills or competencies, rate of brain development, or expressions of mental disorders (Casey et al., 2011; Serbin et al., 2011; Spear, 2000). Behaviors commonly associated with adolescence, such as impulsivity, risk-taking, and efforts to fit in with peers, are often seen as a serious threat to school harmony, learning, and student safety, necessitating a disciplinary response from school …

The Hidden Quality Cost Resulting From Food And Drug Administration Inspection Failures In Mid To Large Companies, Jonathan Walston

All-Inclusive List of Electronic Theses and Dissertations

An approach to identify and validate hidden quality costs associated with regulatory non-compliance from inspections by the Food and Drug Administration (FDA) has not been previously researched. This dissertation presents a robust quantitative methodology to analyze the daily cumulative abnormal returns (CAR) on populations of publicly traded mid-to-large cap companies around FDA inspection events having negative outcomes. Three hypotheses have been tested focusing only on inspection events from companies falling under the biologics product type category. Hypothesis 1 states that there is no statistically significant correlation between the sum of CAR around inspection windows for such companies when a negative …

The Relationship Between Principal Perceptions On Leadership And Inclusive Education With Growth Model Outcomes For Students With Disabilities, Jason Bletzinger

All-Inclusive List of Electronic Theses and Dissertations

Now more than ever, school principals play a critical role in effective implementation of inclusive education programs in their schools, as inclusive practices are becoming tightly embedded in a school’s culture (Sailor, 2016; Shogren et al., 2015). The success of inclusive education programs has been primarily supported by school principals’ positive attitudes toward inclusion (Romanuck Murphy, 2018; Urton et al., 2014). With increasing pressure to provide legally compliant and quality inclusive special education services in schools, it has become more critical than ever that school principals not only recognize the roles and responsibilities they play in leading inclusive education programs …

Moretheless, Abdelghani Alnahawi

Masters Theses

material investigations becoming questions with interjections

Three Essays On Substructural Approaches To Semantic Paradoxes, Brian C. Porter

Dissertations, Theses, and Capstone Projects

This thesis consists of three papers on substructural approaches to semantic paradoxes. The first paper introduces a formal system, based on a nontransitive substructural logic, which has exactly the valid and antivalid inferences of classical logic at every level of (meta)inference, but which I argue is still not classical logic. In the second essay, I introduce infinite-premise versions of several semantic paradoxes, and show that noncontractive substructural approaches do not solve these paradoxes. In the third essay, I introduce an infinite metainferential hierarchy of validity curry paradoxes, and argue that providing a uniform solution to the paradoxes in this hierarchy …

On Probabilistic Reasoning Of Actual Causation, Jingzhi Fang

Lingnan Theses (MPhil & PhD)

Probabilistic actual causation is a theory about actual causal relations in probabilistic scenarios. Compared with general (or type) causal connections, actual (or token, singular) causation involves specific and actual events occurring in a particular time and space. Halpern and Pearl proposed three mathematical definitions on actual causation via structural equation models (or causal models). Fenton-Glynn extended one of their definitions into a probabilistic version by following the probability-raising principle in the tradition of theorizing about probabilistic causation. The basic idea of this principle is that a cause shall raise the probability of its effect. He adopted interventional probabilities to analyse …

Necessity, Essence And Analyticity: Toward An Analytic Essentialist Account Of Necessity, Dongwoo Kim

Dissertations, Theses, and Capstone Projects

Some truths could not have failed to hold. Such are called metaphysically necessary truths. As Michael Dummett once aptly formulated, the philosophical problem about necessity is twofold: what makes necessary truths necessarily true and how do we recognize them as such? This dissertation aims to address these questions by developing and defending a novel account of necessity, which has the following three main theses: (1) the necessity of a statement about an entity is established as a consequence of a general principle implying that if the entity is a certain way then it is necessarily that way and the fact …

Narrative Inquiry Of Opt Workers In Manufacturing Engineering Fields, Marietta Joleen Watson

All-Inclusive List of Electronic Theses and Dissertations

Optional Practical Training (OPT) is a highly valued and highly underutilized program designed to offer international students an opportunity to work in the U.S. and train in their field of study. This qualitative study collected and analyzed the narratives of three alumni of a Midwest university who completed OPT in the manufacturing engineering field. Four themes were identified in the narratives. These themes were inextricable to the premise that OPT is a deeply appreciated opportunity for F-1 students. The first theme is viewing the OPT experience as a system which includes the university, USCIS, and the employer and moreover a …

Why Are They Called Real Numbers If They Aren’T Real, And Other Such Questions?, Rahmat Rashid

Honors Program Theses

This thesis studies the position of mathematical realism (the position that mathematical objects have ontological status) through history, starting with Pythagoras up until W.V.O Quine, and examining how these positions originate from each other. I hope to see how the position has changed and why, and provide an argument against the strongest of the realist positions, drawing on this extensive background. Finally, I advance my own argument against the strongest arguments for mathematical realism, and propose alternatives to a view of mathematical realism.

Organizational Culture: An Examination Of The Role Of Leadership In Neutralizing The Negative Effects Of Technostress During Operational Shifts, David P. Kirkland

All-Inclusive List of Electronic Theses and Dissertations

COVID-19 created a support problem for public universities across the United States and required that IT departments and professionals alter how they performed in 2020, and perhaps beyond. IT professionals tasked with safeguarding large amounts of data were required to shift to a teleworking posture to continue offering a similar level of service as previously expected. In addition to the technological shift that organizations experienced because of COVID-19, leadership challenges also impacted IT departments across the United States. The rapid shift of operational duties has the propensity to increase technology-related stress, due to employee perception of being successful in their …

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 …

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 …

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 …

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 …

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 …