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

Logic and Foundations of Mathematics Commons

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

378 Full-Text Articles 212 Authors 68461 Downloads 42 Institutions

All Articles in Logic and Foundations of Mathematics

Faceted Search

378 full-text articles. Page 1 of 9.

The Feferman-Vaught Theorem, Mostafa Mirabi 2017 Wesleyan University

The Feferman-Vaught Theorem, Mostafa Mirabi

Mostafa Mirabi

This paper aims to provide an exposition of the Feferman-Vaught theorem, closely following the presentation in Hodges [1] and Chang-Keisler [2].


In Memoriam: Richard Lane Tieszen (1951-2017), 2017 San Jose State University

In Memoriam: Richard Lane Tieszen (1951-2017)

Comparative Philosophy

No abstract provided.


Moving, Moved And Will Be Moving: Zeno And Nāgārjuna On Motion From Mahāmudrā, Koan And Mathematical Physics Perspectives, Robert Alan PAUL 2017 San Jose State University

Moving, Moved And Will Be Moving: Zeno And Nāgārjuna On Motion From Mahāmudrā, Koan And Mathematical Physics Perspectives, Robert Alan Paul

Comparative Philosophy

Zeno’s Arrow and Nāgārjuna’s Fundamental Wisdom of the Middle Way (Mūlamādhyamakakārikā, MMK) Chapter 2 (MMK/2) contain paradoxical, dialectic arguments thought to indicate that there is no valid explanation of motion, hence there is no physical or generic motion. There are, however, diverse interpretations of the latter text, and I argue they apply to Zeno’s Arrow as well. I also find that many of the interpretations are dependent on a mathematical analysis of material motion through space and time. However, with modern philosophy and physics we find that the link from no explanation to no phenomena is ...


Vol 8 No 2 Editor's Words, 2017 San Jose State University

Vol 8 No 2 Editor's Words

Comparative Philosophy

No abstract provided.


Vol 8 No 2 Contents Page, 2017 San Jose State University

Vol 8 No 2 Contents Page

Comparative Philosophy

No abstract provided.


Vol 8 No 2 Information Page, 2017 San Jose State University

Vol 8 No 2 Information Page

Comparative Philosophy

No abstract provided.


Vol 8 No 2 Cover Page, 2017 San Jose State University

Vol 8 No 2 Cover Page

Comparative Philosophy

No abstract provided.


Rampant Non-Factualism: A Metaphysical Framework And Its Treatment Of Vagueness, Alexander Jackson 2017 Boise State University

Rampant Non-Factualism: A Metaphysical Framework And Its Treatment Of Vagueness, Alexander Jackson

Alexander Jackson

Rampant non-factualism is the view that all non-fundamental matters are non-factual, in a sense inspired by Kit Fine (2001). The first half of this paper argues that if we take non-factualism seriously for any matters, such as morality, then we should take rampant non-factualism seriously. The second half of the paper argues that rampant non-factualism makes possible an attractive theory of vagueness. We can give non-factualist accounts of non-fundamental matters that nicely characterize the vagueness they manifest (if any). I suggest that such non-factualist theories dissolve philosophical puzzlement about vagueness. In particular, the approach implies that philosophers should not try ...


Revolution In Ideology: Crafting A Holistic Scientific Dialectic, Nathan Neill 2017 Abilene Christian University

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.


The Proscriptive Principle And Logics Of Analytic Implication, Thomas M. Ferguson 2017 The Graduate Center, City University of New York

The Proscriptive Principle And Logics Of Analytic Implication, Thomas M. Ferguson

All Graduate Works by Year: 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 ...


Editor's Words, 2017 San Jose State University

Editor's Words

Comparative Philosophy

No abstract provided.


Vol 8 No 1 Contents Page, 2017 San Jose State University

Vol 8 No 1 Contents Page

Comparative Philosophy

No abstract provided.


Vol 8 No 1 Information Page, 2017 San Jose State University

Vol 8 No 1 Information Page

Comparative Philosophy

No abstract provided.


Vol 8 No 1 Cover Page, 2017 San Jose State University

Vol 8 No 1 Cover Page

Comparative Philosophy

No abstract provided.


An Introduction To Logic: From Everyday Life To Formal Systems, Albert Mosley, Eulalio Baltazar 2017 Smith College

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.


Three Essays In Intuitionistic Epistemology, Tudor Protopopescu 2016 The Graduate Center, City University of New York

Three Essays In Intuitionistic Epistemology, Tudor Protopopescu

All Graduate Works by Year: 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 ...


Mathematical Practice And Human Cognition, Bernd Buldt 2016 Indiana University - Purdue University Fort Wayne

Mathematical Practice And Human Cognition, Bernd Buldt

Philosophy Faculty Presentations

Frank Quinn (of Jaffe-Quinn fame, see [1]) worked out the basics of his own account of mathematical practice, an account that is informed by an analysis of contemporary mathematics and its pedagogy (see [2]). Taking this account as our starting point, we can characterize the current mathematical practice to acquire and work with new concepts as a cognitive adaptation strategy that, first, emerged to meet the challenges posed by the growing abstractness of its objects and which, second, proceeds according to the following three-pronged approach:

  1. (i) sever as many ties to ordinary language as possible and limit ordinary language explanations ...


On Fixed Points, Diagonalization, And Self-Reference, Bernd Buldt 2016 Indiana University - Purdue University Fort Wayne

On Fixed Points, Diagonalization, And Self-Reference, Bernd Buldt

Philosophy Faculty Presentations

We clarify the respective role fixed points, diagonalization, and self- reference play in proofs of G ̈odel’s first incompleteness theorem. We first show that the usual fixed-point construction can be reduced to a double diagonalization; this is done to address widely held views such as that fixed-point are “paradoxical” (Priest), or work by “black magic” (Soare), or that their construction is “intuitively unclear” (Kotlarski). We then discuss three notions of self-reference; this can be seen an extension of a recent study by Halbach and Visser and is meant to show that we do not (yet?) have a robust theory ...


Mathematical Practice And Human Cognition, Bernd Buldt 2016 Indiana University - Purdue University Fort Wayne

Mathematical Practice And Human Cognition, Bernd Buldt

Philosophy Faculty Presentations

Frank Quinn (of Jaffe-Quinn fame, see [1]) worked out the basics of his own account of mathematical practice, an account that is informed by an analysis of contemporary mathematics and its pedagogy (see [2]). Taking this account as our starting point, we can characterize the current mathematical practice to acquire and work with new concepts as a cognitive adaptation strategy that, first, emerged to meet the challenges posed by the growing abstractness of its objects and which, second, proceeds according to the following three-pronged approach:

  1. (i) sever as many ties to ordinary language as possible and limit ordinary language explanations ...


Vol 7 No 2 Contents Page, 2016 San Jose State University

Vol 7 No 2 Contents Page

Comparative Philosophy

No abstract provided.


Digital Commons powered by bepress