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||Analytic Philosophy Contemporary Philosophy|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Predication and Extensionalization.Bjørn Jespersen - 2008 - Journal of Philosophical Logic 37 (5):479 - 499.
On the Identification of Properties and Propositional Functions.George Bealer - 1989 - Linguistics and Philosophy 12 (1):1 - 14.
In Defense of the Disjunctive.Alexander Skiles - 2016 - Inquiry : An Interdisciplinary Journal of Philosophy 59 (5):471-487.
Nominalization and Montague Grammar: A Semantics Without Types for Natural Languages. [REVIEW]Gennaro Chierchia - 1982 - Linguistics and Philosophy 5 (3):303 - 354.
Property Theory: The Type-Free Approach V. The Church Approach.George Bealer - 1994 - Journal of Philosophical Logic 23 (2):139 - 171.
Similar books and articles
Truthmakers (Are Indexed Combinations).Wolfgang Freitag - 2008 - Studia Philosophica Estonica 1 (2):228-248.
Propositions, Properties and Relations: Wittgenstein's “Notes on Logic” and the Tractatus.Anthony Palmer - 2011 - Philosophical Investigations 34 (1):77-93.
The Modal Object Calculus and its Interpretation.Edward N. Zalta - 1997 - In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 249--279.
A Comparison of Two Intensional Logics.Edward N. Zalta - 1988 - Linguistics and Philosophy 11 (1):59-89.
Complex Predicates and Logics for Properties and Relations.Chris Swoyer - 1998 - Journal of Philosophical Logic 27 (3):295-325.
A Philosophical Conception of Propositional Modal Logic.Edward N. Zalta - 1993 - Philosophical Topics 21 (2):263-281.
Logic and the Classical Theory of Mind.Peter Novak - 1998 - Journal of Philosophical Logic 27 (4):389-434.
Completeness in the Theory of Properties, Relations, and Propositions.George Bealer - 1983 - Journal of Symbolic Logic 48 (2):415-426.
Added to index2009-01-28
Total downloads196 ( #21,795 of 2,172,021 )
Recent downloads (6 months)18 ( #17,539 of 2,172,021 )
How can I increase my downloads?