Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Results found: 2

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  MATHEMATICAL REALISM
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
EN
The notion of possible mathematical world is discussed. The problem is analyzed from the point of view of two classical realistic stances in the philosophy of mathematics (Quine's realism and Gödel's Platonism), and from the point of view of Balaguer's full-blooded Platonism. Balauger's stance seems to be compatible with the use of the notion of a possible mathematical world (a universe), but as a matter of fact it is not. If one adopts such a notion, several profound philosophical problems arise, concerning e.g. the criterion of identity, the problem of the 'borders of mathematicity', the problem of singling out the actual world from a possible one. In conclusion the author claims that the notion of possible world is not clear enough to be used in ontological discussions concerning mathematics.
EN
The article contains a brief presentation of Quine's arguments in favor of metamathematical realism and raises the problem of the dependence of ontological commitments of a theory on 'ideological' assumptions concerning the range of logical concepts. The problem is discussed by reference to Henkin and Boolos quantifiers. If these quantifiers are chosen and introduced as semantically primitive terms, fully understandable without recourse to set theoretical semantics and paraphrases presented as logical sentences with function variables and set variables, the resulting theory makes different ontological commitments from those that are made by Quine. The difference is illustrated by discussing a theory proposed by Hellman
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.