# Possible predicates and actual properties

@article{Cook2014PossiblePA, title={Possible predicates and actual properties}, author={R. Cook}, journal={Synthese}, year={2014}, pages={1-28} }

In “Properties and the Interpretation of Second-Order Logic” (Hale, Philos Math 21:133–156, 2013) Bob Hale develops and defends a deflationary conception of properties where a property with particular satisfaction conditions actually (and in fact necessarily) exists if and only if it is possible that a predicate with those same satisfaction conditions exists. He argues further that, since our languages are finitary, there are at most countably infinitely many properties and, as a result, the… Expand

#### Topics from this paper

#### 6 Citations

Cognitivism about Epistemic Modality : Epistemic Modal Algebra , Homotopy Type Theory , and the Computational Theory of Mind

- 2017

This paper aims to vindicate the thesis that cognitive computational properties are abstract objects implemented in physical systems. I avail of the equivalence relations countenanced in Homotopy… Expand

8 Logicism , Ontology , and the Epistemology of Second-Order Logic

- 2018

At the basis of Frege’s logicism is his logic. And, although Frege does clearly distinguish firstfrom second-order quantification, at least in Grundgesetze,1 he never suggests that there might be any… Expand

Logicism, Ontology, and the Epistemology of Second-Order Logic

- Philosophy
- 2018

At the basis of Frege’s logicism is his logic. And, although Frege does clearly distinguish firstfrom second-order quantification, at least in Grundgesetze,1 he never suggests that there might be any… Expand

Epistemic Modality, Mind, and Mathematics

- 2017

This book concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well… Expand

A Complete Bibliography of Publications in Synthese, 2020–2029

Abduction [336]. Abductive [11, 124]. ability [143]. Absence [188]. absences [233]. absurdity [154]. Acceptable [18]. accepting [120]. account [81, 169, 129, 13, 196, 168]. across [35]. Action [271,… Expand

#### References

SHOWING 1-10 OF 15 REFERENCES

Which Modal Logic Is the Right One?

- Mathematics, Computer Science
- Notre Dame J. Formal Log.
- 1999

The question, “Which modal logic is the right one for logical necessity?,” divides into two questions, one about model-theoretic validity, the other about proof- theoretic demonstrability, and certain common objections are argued to be fallacious. Expand

Reals by Abstractiont

- Mathematics
- 2000

ions like the Direction equivalence and Hume’s principle and that it is reasonable to regard it as one. We might bring EM into line with the characterisation of abstraction principles with which I… Expand

Inexpressible Properties and Propositions

- Philosophy
- 2003

Inexpressible properties and propositions play an important role in various metaphysical debates, in particular in the attempt to refute views that closely relate properties to predicates, and… Expand

Informal Rigour and Completeness Proofs

- Mathematics
- 1967

Publisher Summary This chapter demonstrates the informal rigor and completeness proofs in mathematical philosophy. Informal rigor makes the analysis precise to eliminate the doubtful properties of… Expand

The Bearable Lightness of Being

- Mathematics
- 2010

How are philosophical questions about what kinds of things there are to be understood and how are they to be answered? This paper defends broadly Fregean answers to these questions. Ontological… Expand

What is a Truth Value And How Many Are There?

- Mathematics, Computer Science
- Stud Logica
- 2009

Once truth values are understood, consideration of the Liar paradox and the revenge problem shows that the authors' language is indefinitely extensible, as is the class of truth values that statements of their language can take – in short, there is a proper class of such truth values. Expand

The Arché Papers on the Mathematics of Abstraction

- Computer Science, Mathematics
- 2007

The author states that "Neo-Fregean Foundations for Real Analysis: Some Reflections on Frege's Constraint', Notre Dame Journal of Formal Logic 41: 317-334, and 'Prolegomenon to Any Future Neo-Logicist Set Theory: Abstraction and Indefinite Extensibility', British Journal for the Philosophy of Science 54: 59-91. Expand

Philosophy of Logic

- Philosophy, Computer Science
- 1970

Philosophy of logic , Philosophy of logic , کتابخانه دیجیتال و فن آوری اطلاعات دانشگاه امام صادق(ع)