@article{Hale2013-HALPAT-7,number = {2},year = {2013},title = {Properties and the Interpretation of Second-Order Logic},journal = {Philosophia Mathematica},volume = {21},pages = {133--156},abstract = {This paper defends a deflationary conception of properties, according to which a property exists if and only if there could be a predicate with appropriate satisfaction conditions. I argue that purely general properties and relations necessarily exist and discuss the bearing of this conception of properties on the interpretation of higher-order logic and on Quine's charge that higher-order logic is `set theory in sheep's clothing'. On my approach, the usual semantics involves a false assimilation of the logic to set theory. I conclude with remarks about implications for the programme of founding mathematical theories in higher-order logic plus abstraction principles},author = {B. Hale}}@
ma tytuł
Properties and the Interpretation of Second-Order Logic