Logic and Foundations of Mathematics Commons^™

Three Essays In Intuitionistic Epistemology, Tudor Protopopescu

Dissertations, Theses, and Capstone Projects

We present three papers studying knowledge and its logic from an intuitionistic viewpoint.

An Arithmetic Interpretation of Intuitionistic Verification

Intuitionistic epistemic logic introduces an epistemic operator to intuitionistic logic which reflects the intended BHK semantics of intuitionism. The fundamental assumption concerning intuitionistic knowledge and belief is that it is the product of verification. The BHK interpretation of intuitionistic logic has a precise formulation in the Logic of Proofs and its arithmetical semantics. We show here that this interpretation can be extended to the notion of verification upon which intuitionistic knowledge is based. This provides the systems of intuitionistic epistemic logic …

The Rhetoric Of Tyranny: Callicles The Rhetor And Nietzsche's Zarathustra, Greg Whitlock

Sophia and Philosophia

Here I will work through the rhetoric of tyranny as practiced by Callicles and as reflected in Nietzsche’s Zarathustra, in particular. In Part 2 it will be shown that Nietzsche’s account of Plato as the complex figure with a Socratic exterior but a latent alternative ego of the tyrant, arrived at an image consistent with E.R. Dodds’ later thesis. Callicles the rhetor, featured as a student of Gorgias, embodies this alter-ego. In Part 3 we find Callicles and Zarathustra shared very similar beliefs once they overcame shame and gained honesty. Indeed, Callicles expounded a number of propositions foundational to …

"Part Of That Force That Always Wills The Evil And Always Produces The Good" On A Devilish Incoherence, Peter Baumann

Sophia and Philosophia

When Mephisto was asked by Faust, "Well now, who are you then?" (“Nun gut, wer bist Du denn?”), he gave the well-known answer, "Part of that force that always wills the evil and always produces the good" (“Ein Teil von jener Kraft, die stets das Böse will und stets das Gute schafft”: Goethe, Faust, 1334-1336). This answer raises some important questions which in turn lead to interesting answers. Let us start by looking at the content of Mephisto's utterance.

The Problem Of Obviousness, Benjamin Goldberg

Sophia and Philosophia

1. The Problem of Obviousness
There’s no such thing as obviousness.

This isn’t, of course, itself obvious; nor is it clear why it should be a problem. So let me start elsewhere, with the anti-vaccine movement. A friend of mine laid out the ‘obvious’ position: there are facts and rationality on one side, unenlightened ignorance and bigotry on the other. Scientists versus fools, and the fools don’t even know what game is being played.

Poetic Justice: Apology Overdue, Stephen Faison

Sophia and Philosophia

Jurors of our republic, I do not know whether you were persuaded by the case made against me, but I certainly hope that you were not. Some of what the prosecutor told you is accurate, though much of it is untrue. To put it another way, some of his facts are correct, yet the conclusions he presented were usually misleading distortions and in some cases simply incorrect. If the indictment is clarified to its essentials, I am accused of corrupting the young and not believing in the gods in whom the city believes. I intend to show that these charges …

‘To Warm Our Hands’, Emmanuel O. Angulo

Sophia and Philosophia

Lovers often die shortly one after the other. Romeo and Juliet. June Carter and Johnny Cash. My grandfather and my grandmother. Leonard Cohen and Marianne Ihlen.

Marianne was the inspiration, most famously, of Cohen’s song “So long, Marianne”, but also of “Bird on the wire” and poems from the collection Flowers for Hitler. Cohen’s last words for her reached her just two days before her death—and a few months before his own. They said: ‘you know that I’ve always loved you for your beauty and your wisdom, but I don't need to say anything more about that because you know …

Cindy, Ken Clatterbaugh

Sophia and Philosophia

Cindy Norton sang loud in slightly accented Spanish. The song was “Perfidia” (“Wicked Woman”). She remembered the melody, and the Spanish language radio reminded her of the lyrics, although she could hardly hear the radio or herself above the grinding, popping, and rattling of her Volkswagen Rabbit. Her radio picked up only one station.

The Descent Of Winter: William Carlos Williams Under The Influence Of Paris, Phillip Barron

Sophia and Philosophia

The Descent of Winter, published in Ezra Pound’s magazine The Exile in 1928, is an uneven experiment in unclassifiable writing. Williams began writing the diaristic entries aboard the SS Pennland “in the fall of 1927. He was returning from Europe, where he had left Florence Williams with their two sons, who were to attend school in Geneva.” (Imaginations, 231) The slim book alternates between spare, image driven poems composed of short lines and diaristic prose. Most entries are titled only with the dates of their composition. In aesthetics, Williams always concerned himself with form. The variety of …

Keats, Truth, And Empathy, Peter Shum

Sophia and Philosophia

At one level, Keats’s sonnet entitled On Peace (1814) is full of philosophical certainties. The speaker believes, for example, that a nation’s people have a right to live in freedom under the rule of law, and that the rule of law should be applicable to everybody. Political and philosophical commitments of this kind do not seem to be called into question in this poem, or made the subject of an enquiry. On the contrary, it is as though we are confronted with somebody who, in certain central thematic respects at least, appears to know his own mind.

Vol 7 No 2 Contents Page

Comparative Philosophy

No abstract provided.

Vol 7 No 2 Information Page

Comparative Philosophy

No abstract provided.

Vol 7 No 2 Cover Page

Comparative Philosophy

No abstract provided.

Clearing Up Calculus With Adaptive Learning Habits, Jennifer Patterson

Honors Theses

No abstract provided.

The C3 Conditional: A Variably Strict Ordinary-Language Conditional, Monique L. Whitaker

Dissertations, Theses, and Capstone Projects

In this dissertation I provide a novel logic of the ordinary-language conditional. First, however, I endeavor to make clearer and more precise just what the objects of the study of the conditional are, as a lack of clarity as to what counts as an instance of a given category of conditional has resulted in deep and significant confusions in subsequent analysis. I motivate for a factual/counterfactual distinction, though not at the level of particular instances of the conditional. Instead, I argue that each individual instance of the conditional may be interpreted either factually or counterfactually, rather than these instances dividing …

Primality Proving Based On Eisenstein Integers, Miaoqing Jia

Honors Theses

According to the Berrizbeitia theorem, a highly efficient method for certifying the primality of an integer N ≡ 1 (mod 3) can be created based on pseudocubes in the ordinary integers Z. In 2010, Williams and Wooding moved this method into the Eisenstein integers Z[ω] and defined a new term, Eisenstein pseudocubes. By using a precomputed table of Eisenstein pseudocubes, they created a new algorithm in this context to prove primality of integers N ≡ 1 (mod 3) in a shorter period of time. We will look at the Eisenstein pseudocubes and analyze how this new algorithm works with the …

Reading Between The Lines: Verifying Mathematical Language, Tristan Johnson

Honors Theses

A great deal of work has been done on automatically generating automated proofs of formal statements. However, these systems tend to focus on logic-oriented statements and tactics as well as generating proofs in formal language. This project examines proofs written in natural language under a more general scope of mathematics. Furthermore, rather than attempting to generate natural language proofs for the purpose of solving problems, we automatically verify human-written proofs in natural language. To accomplish this, elements of discourse parsing, semantic interpretation, and application of an automated theorem prover are implemented.

Cantor's Infinity, Michael Warrener

Honors Theses

At the heart of mathematics is the quest to find patterns and order in some set of similar structures, whether these be shapes, functions, or even numbers themselves. In the late 1800’s, there was a strong focus in the mathematical community on the study of real numbers and sequences of real numbers. Mathematicians quickly realized, however, that in order to do any meaningful investigation into the properties of sequences of real numbers, they needed a better definition of real numbers than the loose intuitions that had been sucient for the generations prior. This led Georg Cantor (March 3, 1845 - …

The Polysemy Of ‘Fallacy’—Or ‘Bias’, For That Matter, Frank Zenker

OSSA Conference Archive

Starting with a brief overview of current usages (Sect. 2), this paper offers some constituents of a use-based analysis of ‘fallacy’, listing 16 conditions that have, for the most part implicitly, been discussed in the literature (Sect. 3). Our thesis is that at least three related conceptions of ‘fallacy’ can be identified. The 16 conditions thus serve to “carve out” a semantic core and to distinguish three core-specifications. As our discussion suggests, these specifications can be related to three normative positions in the philosophy of human reasoning: the meliorist, the apologist, and the panglossian (Sect. 4). Seeking to make these …

Compassion, Authority And Baby Talk: Prosody And Objectivity, Leo Groarke, Gabrijela Kišiček

OSSA Conference Archive

Recent work on multimodal argumentation has explored facets of argumentation which have no obvious analogue in the written arguments which were emphasized in traditional accounts of argument. One of these facets is prosody: the structure and quality of the sound of spoken language. Prosodic features include pitch, temporal structure, pronunciation, loudness and voice quality, rhythm, emphasis and accent. In this paper, we explore the ways that prosodic features may be invoked in arguing.

Pascal And Fermat: Religion, Probability, And Other Mathematical Discoveries, Adrienne E. Lazes

MALS Final Projects, 1995-2019

This final project primarily discusses how Blaise Pascal and Pierre de Fermat, two French seventeenth century mathematicians, founded the field of mathematical Probability and how this area continued to evolve after their contributions. Also included in this project is an analysis of how Pascal and Fermat were affected, or not, in their mathematical work by the widespread impact that the Catholic Church had on life in France during this time period. I further discuss two other central discoveries by these theorists: Pascal’s Triangle and Fermat’s Last Theorem. Lastly, the project analyzes how all of these aspects: the influence of the …