Logic and Foundations Commons^™

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 …

What Is A Number?, Nicholas Radley

HON499 projects

This essay is, in essence, an attempt to make a case for mathematical platonism. That is to say, that we argue for the existence of mathematical objects independent of our perception of them. The essay includes a somewhat informal construction of number systems ranging from the natural numbers to the complex numbers.

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 …

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 …

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 …

Philosophy Of Mathematics: Theories And Defense, Amy E. Maffit

Williams Honors College, Honors Research Projects

In this paper I discuss six philosophical theories of mathematics including logicism, intuitionism, formalism, platonism, structuralism, and moderate realism. I also discuss problems that arise within these theories and attempts to solve them. Finally, I attempt to harmonize the best features of moderate realism and structuralism, presenting a theory that I take to best describe current mathematical practice.

Math, Minds, Machines, Christopher V. Carlile

Chancellor’s Honors Program Projects

No abstract provided.

Dancing With Heretics: Essays On Orthodoxy, Questioning And Faith, Darren M. Edwards

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

While much has been written about the conflicts, supposed or actual, between logic and faith, science and religion, few accounts of the personal turmoil these conflicts can cause exist. Likewise, many of these nonfiction accounts are written from a distinctly polarized place leaning either to science or faith.

In this thesis, I mix research and history with memoir and a sense of poetry to explore my personal experience with this conflict. At its outset, I hoped for this project to capture my struggle as an orthodox member of The Church of Jesus Christ of Latter-day Saints (LDS) in dealing with …

Mathematical Philosophy, Janie Ferguson

Honors Theses

The purpose of Mathematical Philosophy by Cassius J. Keyser is to delve into some of the more essential and significant relations between mathematics and philosophy. To see this relation, one must gain insight into the nature of mathematics as a distinctive type of thought. The standard of excellence in the quality of thinking to which mathematicians are accustomed is called "logical rigor;" clarity and precision are essentials. The demands of logic, however, cannot be fully satisfied even in mathematics, but it meets the requirements much more nearly than any other discipline. Thus, the amount of mathematical training essential to education …