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

Logic and Foundations of Mathematics Commons

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

586 Full-Text Articles 215 Authors 55201 Downloads 39 Institutions

All Articles in Logic and Foundations of Mathematics

Faceted Search

586 full-text articles. Page 1 of 17.

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.


The Moral Significance Of Indetectable Effects, Sven Ove Hansson 2016 University of New Hampshire

The Moral Significance Of Indetectable Effects, Sven Ove Hansson

RISK: Health, Safety & Environment

A reassessment of Parfit's fifth "mistake in moral mathematics."


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 ...


Rampant Non-Factualism: A Metaphysical Framework And Its Treatment Of Vagueness, Alexander Jackson 2016 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 ...


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

Vol 7 No 2 Contents Page

Comparative Philosophy

No abstract provided.


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

Vol 7 No 2 Information Page

Comparative Philosophy

No abstract provided.


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

Vol 7 No 2 Cover Page

Comparative Philosophy

No abstract provided.


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 Publications

We clarify the respective roles fixed points, diagonalization, and self- reference play in proofs of Gödel’s first incompleteness theorem.


The C3 Conditional: A Variably Strict Ordinary-Language Conditional, Monique L. Whitaker 2016 Graduate Center, City University of New York

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

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


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

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 2016 Trent University

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 2016 Skidmore College

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

Master of Arts in Liberal Studies (MALS) Student Scholarship

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 ...


Toward A Kripkean Concept Of Number, Oliver R. Marshall 2016 Graduate Center, City University of New York

Toward A Kripkean Concept Of Number, Oliver R. Marshall

All Graduate Works by Year: Dissertations, Theses, and Capstone Projects

Saul Kripke once remarked to me that natural numbers cannot be posits inferred from their indispensability to science, since we’ve always had them. This left me wondering whether numbers are objects of Russellian acquaintance, or accessible by analysis, being implied by known general principles about how to reason correctly, or both. To answer this question, I discuss some recent (and not so recent) work on our concepts of number and of particular numbers, by leading psychologists and philosophers. Special attention is paid to Kripke’s theory that numbers possess structural features of the numerical systems that stand for them ...


Digital Commons powered by bepress