Logical foundations of applied mathematics

Synthese 27 (1-2):211 - 250 (1974)
  Copy   BIBTEX

Abstract

In applied problems mathematics is used as language or as a metalanguage on which metatheories are built, E.G., Mathematical theory of experiment. The structure of pure mathematics is grammar of the language. As opposed to pure mathematics, In applied problems we must keep in mind what underlies the sign system. Optimality criteria-Axioms of applied mathematics-Prove mutually incompatible, They form a mosaic and not mathematical structures which, According to bourbaki, Make mathematics a unified science. One of the peculiarities of applied mathematical language is a variety of dialects: a problem can be presented in terms of various mathematical notions. Another peculiarity is polysemy: a problem can be presented in the framework of one dialect by a set of various models with equal right to exist. The pragmatic sense of distinction between applied and pure mathematics must lead to specific training in each case

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

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

Through your library

Similar books and articles

How to apply mathematics.Ulrich Meyer - 2004 - Erkenntnis 61 (1):17-28.
What is applied mathematics?James Robert Brown - 1997 - Foundations of Science 2 (1):21-37.
Towards a Philosophy of Applied Mathematics.Christopher Pincock - 2009 - In Otávio Bueno & Øystein Linnebo (eds.), New Waves in Philosophy of Mathematics. Palgrave-Macmillan.
The Logicist Foundations of Mathematics.Rudolf Carnap - 1964 - In Paul Benacerraf & Hilary Putnam (eds.), Philosophy of Mathematics: Selected Readings. Englewood Cliffs, NJ, USA: Cambridge University Press. pp. 41--52.
Reflections on mathematics.Edward N. Zalta - 2007 - In V. F. Hendricks & Hannes Leitgeb (eds.), Philosophy of Mathematics: Five Questions. Automatic Press/VIP.
Apriority and applied mathematics.Robert A. Holland - 1992 - Synthese 92 (3):349 - 370.

Analytics

Added to PP
2009-01-28

Downloads
64 (#247,260)

6 months
6 (#522,885)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The logic of scientific discovery.Karl Raimund Popper - 1934 - New York: Routledge. Edited by Hutchinson Publishing Group.
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Intuitionism.Arend Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
Gödel's proof.Ernest Nagel - 1958 - [New York]: New York University Press. Edited by James Roy Newman.

View all 8 references / Add more references