You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Article
Title:
Constructions
Contributor:
Tichy, Pavel
imprint:
Philosophy of Science Association, 1986
Published in:Philosophy of Science
Language:
English
ISSN:
0031-8248;
1539-767X
Origination:
Footnote:
Description:
<p>The paper deals with the semantics of mathematical notation. In arithmetic, for example, the syntactic shape of a formula represents a particular way of specifying, arriving at, or constructing an arithmetical object (that is, a number, a function, or a truth value). A general definition of this sense of "construction" is proposed and compared with related notions, in particular with Frege's concept of "function" and Carnap's concept of "intensional isomorphism." It is argued that constructions constitute the proper subject matter of both logic and mathematics, and that a coherent semantic account of mathematical formulas cannot be given without assuming that they serve as names of constructions.</p>