Logical and semantic purity

ProtoSociology 25:36-48 (2008)
  Copy   BIBTEX

Abstract

Many mathematicians have sought ‘pure’ proofs of theorems. There are different takes on what a ‘pure’ proof is, though, and it’s important to be clear on their differences, because they can easily be conflated. In this paper I want to distinguish between two of them.

Categories

Keywords

Reprint years

ISBN(s)

14344319

DOI

10.5840/protosociology2008253

Other Versions

reprint Arana, Andrew (2008) "Logical and Semantic Puritiy". In Preyer, Gerhard, Philosophy of Mathematics: Set Theory, Measuring Theories, and Nominalism, pp. 40-52: Ontos (2008)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,297

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On the alleged simplicity of impure proof.Andrew Arana - 2017 - In Roman Kossak & Philip Ording (eds.), Simplicity: Ideals of Practice in Mathematics and the Arts. Springer. pp. 207-226.
Ontological Purity for Formal Proofs.Robin Martinot - 2024 - Review of Symbolic Logic 17 (2):395-434.
Purity in Arithmetic: some Formal and Informal Issues.Andrew Arana - 2014 - In Godehard Link (ed.), Formalism and Beyond: On the Nature of Mathematical Discourse. Boston: De Gruyter. pp. 315-336.
On the difficulty of discovering mathematical proofs.Andrew Arana & Will Stafford - 2023 - Synthese 202 (2):1-29.
Intentionality and the Myth of Pure Syntax.Dale Jacquette - 1994 - ProtoSociology 6:79-95.
Generalizing proofs in monadic languages.Matthias Baaz & Piotr Wojtylak - 2008 - Annals of Pure and Applied Logic 154 (2):71-138.
The Compulsion to Believe.Jody Azzouni - 2008 - ProtoSociology 25:69-88.
The Values of Mathematical Proofs.Rebecca Lea Morris - 2024 - In Bharath Sriraman (ed.), Handbook of the History and Philosophy of Mathematical Practice. Cham: Springer. pp. 2081-2112.
Motivated proofs: What they are, why they matter and how to write them.Rebecca Lea Morris - 2020 - Review of Symbolic Logic 13 (1):23-46.
グラウンドの論理とグラウンド理論的同値性[Logic of Ground and Ground-theoretic Equivalence].Shogo Tsuboi - 2023 - Contemporary and Applied Philosophy 14:20-58.

Analytics

Added to PP
2009-01-28

Downloads
98 (#216,392)

6 months
9 (#502,853)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrew Arana
Université de Lorraine

Citations of this work

On the relationship between plane and solid geometry.Andrew Arana & Paolo Mancosu - 2012 - Review of Symbolic Logic 5 (2):294-353.
Modularity in mathematics.Jeremy Avigad - 2020 - Review of Symbolic Logic 13 (1):47-79.
Impurity in Contemporary Mathematics.Ellen Lehet - 2021 - Notre Dame Journal of Formal Logic 62 (1):67-82.

View all 11 citations / Add more citations

References found in this work

No references found.

Add more references