Ketland, Jeffrey (2020) Foundations of Applied Mathematics I. [Preprint]

Preview

Text App_Math_1_Phil_Sci.pdf - Accepted Version Download (1MB) | Preview

Abstract

This paper aims to study the foundations of applied mathematics, using a formalized base theory for applied mathematics: $\ZFCA_{\sigma}$ (Zermelo-Fraenkel set theory (with Choice) with atoms, where the subscript used refers to a signature specific to the application. Examples are given, illustrating the following five features of applied mathematics: comprehension principles, application conditionals, representation hypotheses, transfer principles and abstract equivalents.

---

Export/Citation:

EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL

Social Networking:

Share |

---

Item Type:	Preprint
Creators:	Creators Email ORCID Ketland, Jeffrey jeffreyketland@gmail.com 0000-0002-5128-4387
Additional Information:	Penultimate draft. Forthcoming in Synthese
Keywords:	Set theory with atoms; applicability of mathematics
Subjects:	Specific Sciences > Mathematics > Applicability Specific Sciences > Mathematics > Logic General Issues > Structure of Theories
Depositing User:	Dr Jeffrey Ketland
Date Deposited:	23 Nov 2020 19:46
Last Modified:	23 Nov 2020 19:46
Item ID:	18432
Subjects:	Specific Sciences > Mathematics > Applicability Specific Sciences > Mathematics > Logic General Issues > Structure of Theories
Date:	23 November 2020
URI:	https://philsci-archive.pitt.edu/id/eprint/18432

Available Versions of this Item

• Foundations of Applied Mathematics I. (deposited 23 Nov 2020 19:46) [Currently Displayed]
  • Foundations of Applied Mathematics I. (deposited 05 Dec 2020 16:37)

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item