Possible predicates and actual properties

@article{Cook2014PossiblePA,
  title={Possible predicates and actual properties},
  author={R. Cook},
  journal={Synthese},
  year={2014},
  pages={1-28}
}
  • R. Cook
  • Published 2014
  • Mathematics, Computer Science
  • Synthese
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
Cognitivism about Epistemic Modality : Epistemic Modal Algebra , Homotopy Type Theory , and the Computational Theory of Mind
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 HomotopyExpand
8 Logicism , Ontology , and the Epistemology of Second-Order Logic
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 anyExpand
Logicism, Ontology, and the Epistemology of Second-Order Logic
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 anyExpand
Epistemic Modality, Mind, and Mathematics
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 wellExpand
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?
  • J. Burgess
  • Mathematics, Computer Science
  • Notre Dame J. Formal Log.
  • 1999
TLDR
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
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 IExpand
Inexpressible Properties and Propositions
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, andExpand
Informal Rigour and Completeness Proofs
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 ofExpand
The Bearable Lightness of Being
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. OntologicalExpand
What is a Truth Value And How Many Are There?
  • R. Cook
  • Mathematics, Computer Science
  • Stud Logica
  • 2009
TLDR
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
  • R. Cook
  • Computer Science, Mathematics
  • 2007
TLDR
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
  • W. Quine
  • Philosophy, Computer Science
  • 1970
Philosophy of logic , Philosophy of logic , کتابخانه دیجیتال و فن آوری اطلاعات دانشگاه امام صادق(ع)
The Reason's Proper Study
...
1
2
...