Journal of Philosophy 76 (11):634-648 (1979)
|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|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
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.
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 downloads35 ( #39,202 of 722,764 )
Recent downloads (6 months)3 ( #25,873 of 722,764 )
How can I increase my downloads?