Theories of properties, relations, and propositions

Journal of Philosophy 76 (11):634-648 (1979)
  Copy   BIBTEX

Abstract

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.

Author's Profile

George Bealer
Yale University

Analytics

Added to PP
2009-01-28

Downloads
789 (#16,524)

6 months
120 (#25,551)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?