Open Access. Powered by Scholars. Published by Universities.®

Philosophy of Science Commons

Open Access. Powered by Scholars. Published by Universities.®

Logic and Foundations of Mathematics

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 1 - 30 of 127

Full-Text Articles in Philosophy of Science

Japanese-English Translation: Miki Kiyoshi —Thinking With Master Nishida (First Published In Fujin Kōron, August 1941) Complete Draft; Translated, Edited, And Revised By Christopher Southward, October 2022-September 2023 「西田先生のことども」、三木清著(初発 婦人公論、昭和十六年八月), Christopher Southward Sep 2023

Japanese-English Translation: Miki Kiyoshi —Thinking With Master Nishida (First Published In Fujin Kōron, August 1941) Complete Draft; Translated, Edited, And Revised By Christopher Southward, October 2022-September 2023 「西田先生のことども」、三木清著(初発 婦人公論、昭和十六年八月), Christopher Southward

Comparative Literature Faculty Scholarship

Japanese-English Translation: Miki Kiyoshi —Thinking with Master Nishida (First Published in Fujin Kōron, August 1941) Complete Draft; Translated, Edited, and Revised by Christopher Southward, October 2022-September 2023「西田先生のことども」、三木清著(初発 婦人公論、昭和十六年八月)

Source text transcribed and published by Aozora Bunko–a compendium of public-domain Japanese literature, philosophy, and criticism

General website: https://www.aozora.gr.jp

Current text: https://www.aozora.gr.jp/cards/000218/files/50538_37481.html


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

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 …


Unknowable Truths: The Incompleteness Theorems And The Rise Of Modernism, Caroline Tvardy Apr 2022

Unknowable Truths: The Incompleteness Theorems And The Rise Of Modernism, Caroline Tvardy

Honors Scholars Collaborative Projects

This thesis evaluates the function of the current history of mathematics methodologies and explores ways in which historiographical methodologies could be successfully implemented in the field. Traditional approaches to the history of mathematics often lack either an accurate portrayal of the social and cultural influences of the time, or they lack an effective usage of mathematics discussed. This paper applies a holistic methodology in a case study of Kurt Gödel’s influential work in logic during the Interwar period and the parallel rise of intellectual modernism. In doing so, the proofs for Gödel’s Completeness and Incompleteness theorems will be discussed as …


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

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.


Russian Logics And The Culture Of Impossible: Part Ii: Reinterpreting Algorithmic Rationality, Ksenia Tatarchenko, Anya Yermakova, Liesbeth De Mol Jan 2022

Russian Logics And The Culture Of Impossible: Part Ii: Reinterpreting Algorithmic Rationality, Ksenia Tatarchenko, Anya Yermakova, Liesbeth De Mol

Research Collection School of Social Sciences

This article reinterprets algorithmic rationality by looking at the interaction between mathematical logic, mechanized reasoning, and, later, computing in the Russian Imperial and Soviet contexts to offer a history of the algorithm as a mathematical object bridging the inner and outer worlds, a humanistic vision that we, following logician Vladimir Uspensky, call the “culture of the impossible.” We unfold the deep roots of this vision as embodied in scientific intelligentsia. In Part I, we examine continuities between the turn-of-the-twentieth-century discussions of poznaniye—an epistemic orientation towards the process of knowledge acquisition—and the postwar rise of the Soviet school of mathematical logic. …


Patrick Aidan Heelan’S The Observable: Heisenberg’S Philosophy Of Quantum Mechanics, Paul Downes Mar 2021

Patrick Aidan Heelan’S The Observable: Heisenberg’S Philosophy Of Quantum Mechanics, Paul Downes

Research Resources

The publication of Patrick Aidan Heelan’s The Observable, with forewords from Michel Bitbol, editor Babette Babich and the author himself, offers a timely invitation to reconsider the relation between quantum physics and continental philosophy.

Patrick Heelan does so, as a contemporary of and interlocutor with Werner Heisenberg on these issues, as a physicist himself who trained with leading figures of quantum mechanics (QM), Erwin Schrödinger and Eugene Wigner. Moreover, Heelan highlights Heisenberg’s interest in phenomenology as ‘a friend and frequent visitor of Martin Heidegger’ (55). Written originally in 1970 and unpublished then for reasons Babich explicates in her foreword, …


Dimentia: Footnotes Of Time, Zachary Hait Jan 2021

Dimentia: Footnotes Of Time, Zachary Hait

Senior Projects Spring 2021

Time from the physicist's perspective is not inclusive of our lived experience of time; time from the philosopher's perspective is not mathematically engaged, in fact Henri Bergson asserted explicitly that time could not be mathematically engaged whatsoever. What follows is a mathematical engagement of time that is inclusive of our lived experiences, requiring the tools of storytelling.


Pluralistic Perspectives On Logic: An Introduction, Colin R. Caret, Teresa Kouri Kissel Jan 2020

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 …


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

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.


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

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.


Frege's Constraint And The Nature Of Frege's Foundational Program, Marco Panza, Andrea Sereni Dec 2018

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 …


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

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 …


Radical Social Ecology As Deep Pragmatism: A Call To The Abolition Of Systemic Dissonance And The Minimization Of Entropic Chaos, Arielle Brender May 2018

Radical Social Ecology As Deep Pragmatism: A Call To The Abolition Of Systemic Dissonance And The Minimization Of Entropic Chaos, Arielle Brender

Student Theses 2015-Present

This paper aims to shed light on the dissonance caused by the superimposition of Dominant Human Systems on Natural Systems. I highlight the synthetic nature of Dominant Human Systems as egoic and linguistic phenomenon manufactured by a mere portion of the human population, which renders them inherently oppressive unto peoples and landscapes whose wisdom were barred from the design process. In pursuing a radical pragmatic approach to mending the simultaneous oppression and destruction of the human being and the earth, I highlight the necessity of minimizing entropic chaos caused by excess energy expenditure, an essential feature of systems that aim …


Non-Naturalism And Naturalism In Mathematics, Morality, And Epistemology, Nicholas Distefano May 2018

Non-Naturalism And Naturalism In Mathematics, Morality, And Epistemology, Nicholas Distefano

Honors Projects

No abstract provided.


In Memoriam: Richard Lane Tieszen (1951-2017) Jul 2017

In Memoriam: Richard Lane Tieszen (1951-2017)

Comparative Philosophy

No abstract provided.


Vol 8 No 2 Editor's Words, Bo Mou Jul 2017

Vol 8 No 2 Editor's Words, Bo Mou

Comparative Philosophy

No abstract provided.


Vol 8 No 2 Contents Page Jul 2017

Vol 8 No 2 Contents Page

Comparative Philosophy

No abstract provided.


Vol 8 No 2 Information Page Jul 2017

Vol 8 No 2 Information Page

Comparative Philosophy

No abstract provided.


Vol 8 No 2 Cover Page Jul 2017

Vol 8 No 2 Cover Page

Comparative Philosophy

No abstract provided.


Revolution In Ideology: Crafting A Holistic Scientific Dialectic, Nathan Neill May 2017

Revolution In Ideology: Crafting A Holistic Scientific Dialectic, Nathan Neill

Dialogue & Nexus

Ideology drives scientific research far more than is acknowledged. Since science itself is conducted by individuals, each scientist has a biased conception of themselves and their surroundings relative to the rest of the universe, even if it is never explicated. This sense of relation to the greater universe is what defines the ideology of the individual. It is this sense of relation and self that creates the individual, who goes on to investigate the natural world by the scientific method. In this paper I will examine extant scientific ideology, particularly in Western science, and propose changes that could be helpful.


Editor's Words, Bo Mou Jan 2017

Editor's Words, Bo Mou

Comparative Philosophy

No abstract provided.


Vol 8 No 1 Contents Page Jan 2017

Vol 8 No 1 Contents Page

Comparative Philosophy

No abstract provided.


Vol 8 No 1 Information Page Jan 2017

Vol 8 No 1 Information Page

Comparative Philosophy

No abstract provided.


Vol 8 No 1 Cover Page Jan 2017

Vol 8 No 1 Cover Page

Comparative Philosophy

No abstract provided.


Vol 7 No 2 Contents Page Jul 2016

Vol 7 No 2 Contents Page

Comparative Philosophy

No abstract provided.


Vol 7 No 2 Information Page Jul 2016

Vol 7 No 2 Information Page

Comparative Philosophy

No abstract provided.


Vol 7 No 2 Cover Page Jul 2016

Vol 7 No 2 Cover Page

Comparative Philosophy

No abstract provided.


Explanatory Proofs And Beautiful Proofs, Marc Lange Jan 2016

Explanatory Proofs And Beautiful Proofs, Marc Lange

Journal of Humanistic Mathematics

This paper concerns the relation between a proof’s beauty and its explanatory power – that is, its capacity to go beyond proving a given theorem to explaining why that theorem holds. Explanatory power and beauty are among the many virtues that mathematicians value and seek in various proofs, and it is important to come to a better understanding of the relations among these virtues. Mathematical practice has long recognized that certain proofs but not others have explanatory power, and this paper offers an account of what makes a proof explanatory. This account is motivated by a wide range of examples …


Vol 7 No 1 Contents Page Dec 2015

Vol 7 No 1 Contents Page

Comparative Philosophy

No abstract provided.


Vol 7 No 1 Information Page Dec 2015

Vol 7 No 1 Information Page

Comparative Philosophy

No abstract provided.