David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Philosophy 76 (11):634-648 (1979)
This is the only complete logic for properties, relations, and propositions (PRPS) that has been formulated to date. First, an intensional abstraction operation is adjoined to first-order quantifier logic, Then, a new algebraic semantic method is developed. The heuristic used is not that of possible worlds but rather that of PRPS taken at face value. Unlike the possible worlds approach to intensional logic, this approach yields a logic for intentional (psychological) matters, as well as modal matters. At the close of the paper, the origin of incompleteness in logic is investigated. The culprit is found to be the predication relation, a relation on properties and relations that is expressed in natural language by the copula
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Gennaro Chierchia (1982). Nominalization and Montague Grammar: A Semantics Without Types for Natural Languages. [REVIEW] Linguistics and Philosophy 5 (3):303 - 354.
George Bealer (1989). On the Identification of Properties and Propositional Functions. Linguistics and Philosophy 12 (1):1 - 14.
George Bealer (1994). Property Theory: The Type-Free Approachv. The Church Approach. [REVIEW] Journal of Philosophical Logic 23 (2):139 - 171.
Similar books and articles
Wolfgang Freitag (2008). Truthmakers (Are Indexed Combinations). Studia Philosophica Estonica 1 (2):228-248.
Peter Novak (1998). Logic and the Classical Theory of Mind. Journal of Philosophical Logic 27 (4):389-434.
Edward N. Zalta (1993). A Philosophical Conception of Propositional Modal Logic. Philosophical Topics 21 (2):263-281.
Chris Swoyer (1998). Complex Predicates and Logics for Properties and Relations. Journal of Philosophical Logic 27 (3):295-325.
Edward N. Zalta (1988). A Comparison of Two Intensional Logics. Linguistics and Philosophy 11 (1):59-89.
George Bealer (1982). Quality and Concept. Oxford University Press.
Edward N. Zalta (1997). The Modal Object Calculus and its Interpretation. In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer. 249--279.
Anthony Palmer (2011). Propositions, Properties and Relations: Wittgenstein's “Notes on Logic” and the Tractatus. Philosophical Investigations 34 (1):77-93.
Peter van Inwagen (2006). Names for Relations. Philosophical Perspectives 20 (1):453–477.
George Bealer (1983). Completeness in the Theory of Properties, Relations, and Propositions. Journal of Symbolic Logic 48 (2):415-426.
Added to index2009-01-28
Total downloads50 ( #39,820 of 1,679,365 )
Recent downloads (6 months)8 ( #29,437 of 1,679,365 )
How can I increase my downloads?