Alternative Logics and Applied Mathematics

Philosophical Issues 28 (1):399-424 (2018)
  Copy   BIBTEX

Abstract

Many advocates of non-classical logic for reasons external to mathematics claim that their proposed revisions are consistent with the use of classical logic within pure mathematics. Doubts are raised about such claims, concerning the applicability of pure mathematics to natural and social science.

Categories

Add categories

Keywords

Reprint years

DOI

10.1111/phis.12131

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,497

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

Towards a Philosophy of Applied Mathematics.Christopher Pincock - 2009 - In Otávio Bueno & Øystein Linnebo (eds.), New Waves in Philosophy of Mathematics. Palgrave-Macmillan.
S. N. Artemov. Arithmetically complete modal theories. Six papers in logic, American Mathematical Society translations, ser. 2 vol. 135, American Mathematical Society, Providence1987, pp. 39–54. , vol. 14 , pp. 115–133.) - S. N. Artemov. On modal logics axiomatizing provability. Mathematics of the USSR—Izvestiya, vol. 27 no. 3 , pp. 401–429. , pp. 1123–1154.) - S. N. Artemov. Nonarithmeticity of truth predicate logics of provability. Soviet mathematics—Doklady, vol. 32 , pp. 403–405. , pp. 270–271.) - V. A. Vardanyan. Arithmetic complexity of predicate logics of provability and their fragments. Soviet mathematics—Doklady, vol. 33 no. 3 , pp. 569–572. , pp. 11–14.) - S. N. Artemov. Numerically correct provability logics. Soviet mathematics—Doklady, vol. 34 , pp. 384–387. , pp. 1289–1292.). [REVIEW]Vann McGee - 1991 - Journal of Symbolic Logic 56 (1):329-332.
Defining LFIs and LFUs in extensions of infectious logics.Szmuc Damian Enrique - 2016 - Journal of Applied Non-Classical Logics 26 (4):286-314.
Logical foundations of applied mathematics.V. V. Nalimov - 1974 - Synthese 27 (1-2):211 - 250.
Alternative mathematics and alternative theoretical physics: The method for linking them together.Antonino Drago - 1996 - Epistemologia 19 (1):33-50.
The structure of lattices of subframe logics.Frank Wolter - 1997 - Annals of Pure and Applied Logic 86 (1):47-100.
What is applied mathematics?James Robert Brown - 1997 - Foundations of Science 2 (1):21-37.
Apriority and applied mathematics.Robert A. Holland - 1992 - Synthese 92 (3):349 - 370.
Action negation and alternative reductions for dynamic deontic logics.Jan Broersen - 2004 - Journal of Applied Logic 2 (1):153-168.
Glivenko theorems revisited.Hiroakira Ono - 2010 - Annals of Pure and Applied Logic 161 (2):246-250.
Note on witnessed Gödel logics with Delta.Matthias Baaz & Oliver Fasching - 2010 - Annals of Pure and Applied Logic 161 (2):121-127.
The indispensability argument and multiple foundations for mathematics.Alan Baker - 2003 - Philosophical Quarterly 53 (210):49–67.
Omnipresence, Multipresence and Ubiquity: Kinds of Generality in and Around Mathematics and Logics. [REVIEW]I. Grattan-Guinness - 2011 - Logica Universalis 5 (1):21-73.
Unification in epistemic logics.Philippe Balbiani & Çiğdem Gencer - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):91-105.
An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.

Analytics

Added to PP
2018-09-07

Downloads
117 (#154,481)

6 months
10 (#280,381)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Timothy Williamson
University of Oxford

Citations of this work

The Question of Logic.Saul A. Kripke - 2023 - Mind 133 (529):1-36.
Should the Non‐Classical Logician be Embarrassed?Lucas Rosenblatt - 2022 - Philosophy and Phenomenological Research 104 (2):388-407.
Paradoxicality Without Paradox.Lucas Rosenblatt - 2021 - Erkenntnis 88 (3):1347-1366.

View all 14 citations / Add more citations

References found in this work

Anti-exceptionalism about logic.Ole Thomassen Hjortland - 2017 - Philosophical Studies 174 (3):631-658.
Vagueness.Timothy Williamson - 1995 - British Journal for the Philosophy of Science 46 (4):589-601.
Modal science.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):453-492.
An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - Bulletin of Symbolic Logic 14 (4):544-545.
Logical Partisanhood.Jack Woods - 2019 - Philosophical Studies 176 (5):1203-1224.

View all 23 references / Add more references