LOFUPRO | The Logical Function of Property Talk

Summary
"Properties are those things that we attribute to objects, such as the property of being red or the property of being a prime number. Talk of properties is ubiquitous throughout the sciences and everyday language, and raises difficult philosophical questions as to the nature and existence of properties. The research project offers a novel deflationary account of the notion of property. Deflationary accounts of some concept typically deny that there is something that all objects falling under the relevant concept have in common, and hence that traditional attempts to analyse these concepts are misguided. For example, according to the deflationary theory of truth, the predicate ""is true"" is unlike predicates such as ""is red"". Whereas the latter picks out some salient feature of reality, this is not the case with the former: ""is true"" was only introduced into our language to serve a certain logical function. For instance, we cannot assert all theorems of arithmetic one by one as there are infinitely many of them; however, the truth predicate enables us to assert all of them by saying ""All theorems of arithmetic are true"". The aim of the project is to lay down the fundamental theoretical framework for a deflationary account of properties, according to which the notion of property was only introduced into our language to serve a certain logical function. (a) The project will make use of tools and techniques belonging to mathematical logic to give a formally precise characterisation of the logical function of property talk. (b) It will provide formal (axiomatic) theories of properties that can be used to do important foundational work in semantics, logic and mathematics, in particular to give a semantics for languages with unrestricted quantifiers and to give a reductive account of mathematics. (c) Finally, it attempts to show that, contrary to received wisdom, the notion of property plays no significant explanatory role in metaphysics and the philosophy of science."
Unfold all
/
Fold all
More information & hyperlinks
Web resources: https://cordis.europa.eu/project/id/792202
Start date: 01-10-2018
End date: 30-09-2020
Total budget - Public funding: 165 598,80 Euro - 165 598,00 Euro
Cordis data

Original description

"Properties are those things that we attribute to objects, such as the property of being red or the property of being a prime number. Talk of properties is ubiquitous throughout the sciences and everyday language, and raises difficult philosophical questions as to the nature and existence of properties. The research project offers a novel deflationary account of the notion of property. Deflationary accounts of some concept typically deny that there is something that all objects falling under the relevant concept have in common, and hence that traditional attempts to analyse these concepts are misguided. For example, according to the deflationary theory of truth, the predicate ""is true"" is unlike predicates such as ""is red"". Whereas the latter picks out some salient feature of reality, this is not the case with the former: ""is true"" was only introduced into our language to serve a certain logical function. For instance, we cannot assert all theorems of arithmetic one by one as there are infinitely many of them; however, the truth predicate enables us to assert all of them by saying ""All theorems of arithmetic are true"". The aim of the project is to lay down the fundamental theoretical framework for a deflationary account of properties, according to which the notion of property was only introduced into our language to serve a certain logical function. (a) The project will make use of tools and techniques belonging to mathematical logic to give a formally precise characterisation of the logical function of property talk. (b) It will provide formal (axiomatic) theories of properties that can be used to do important foundational work in semantics, logic and mathematics, in particular to give a semantics for languages with unrestricted quantifiers and to give a reductive account of mathematics. (c) Finally, it attempts to show that, contrary to received wisdom, the notion of property plays no significant explanatory role in metaphysics and the philosophy of science."

Status

TERMINATED

Call topic

MSCA-IF-2017

Update Date

28-04-2024
Geographical location(s)
Structured mapping
Unfold all
/
Fold all
EU-Programme-Call
Horizon 2020
H2020-EU.1. EXCELLENT SCIENCE
H2020-EU.1.3. EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions (MSCA)
H2020-EU.1.3.2. Nurturing excellence by means of cross-border and cross-sector mobility
H2020-MSCA-IF-2017
MSCA-IF-2017