Three Doctrines of the Nature of Mathematics (Some Comments of a Knowledge Theorist)

Ryszard Wójcicki

Bulletin of the Section of Logic (2017)

  • Volume: 46, Issue: 1/2
  • ISSN: 0138-0680

Abstract

top
In this note I am reflecting on interrelations between three concepts of truth: (1) that employed by Hilbert arguing his formalist view on the nature of mathematics, (2) Freges idea of truth supported by mathematical intuition, and (3) known as Aristotelian correspondence idea of truth concerning any propositions not merely mathematical.

How to cite

top

Ryszard Wójcicki. "Three Doctrines of the Nature of Mathematics (Some Comments of a Knowledge Theorist)." Bulletin of the Section of Logic 46.1/2 (2017): null. <http://eudml.org/doc/295550>.

@article{RyszardWójcicki2017,
abstract = {In this note I am reflecting on interrelations between three concepts of truth: (1) that employed by Hilbert arguing his formalist view on the nature of mathematics, (2) Freges idea of truth supported by mathematical intuition, and (3) known as Aristotelian correspondence idea of truth concerning any propositions not merely mathematical.},
author = {Ryszard Wójcicki},
journal = {Bulletin of the Section of Logic},
keywords = {mathematics; formalism; realism; intuitionism; truth},
language = {eng},
number = {1/2},
pages = {null},
title = {Three Doctrines of the Nature of Mathematics (Some Comments of a Knowledge Theorist)},
url = {http://eudml.org/doc/295550},
volume = {46},
year = {2017},
}

TY - JOUR
AU - Ryszard Wójcicki
TI - Three Doctrines of the Nature of Mathematics (Some Comments of a Knowledge Theorist)
JO - Bulletin of the Section of Logic
PY - 2017
VL - 46
IS - 1/2
SP - null
AB - In this note I am reflecting on interrelations between three concepts of truth: (1) that employed by Hilbert arguing his formalist view on the nature of mathematics, (2) Freges idea of truth supported by mathematical intuition, and (3) known as Aristotelian correspondence idea of truth concerning any propositions not merely mathematical.
LA - eng
KW - mathematics; formalism; realism; intuitionism; truth
UR - http://eudml.org/doc/295550
ER -

References

top
  1. [1] S. Feferman, Logic, mathematics and conceptual structuralism, [in:] The Metaphysics of Logic (P. Rush, ed.), Cambridge University Press (2014), pp. 72–92. 
  2. [2] G. Frege, Philosophical and Mathematical Correspondence, ed. G. Gabriel, H. Hermes, F. Kambartel, C. Thiel, and A. Veraart. Abr. B. McGuinness and trans. H. Kaal. Chicago: University of Chicago Press, 1980, pp. 39–40. 
  3. [3] F. Klein, Vergleichende Betrachtungen ber neuere geometrische Forschungen, Verlag von Andreas Deichert, Erlangen, 1872. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.