Completeness in the theory of properties, relations, and propositions

Journal of Symbolic Logic 48 (2):415-426 (1983)
Download Edit this record How to cite View on PhilPapers
Abstract
Higher-order theories of properties, relations, and propositions are known to be essentially incomplete relative to their standard notions of validity. It turns out that the first-order theory of PRPs that results when first-order logic is supplemented with a generalized intensional abstraction operation is complete. The construction involves the development of an intensional algebraic semantic method that does not appeal to possible worlds, but rather takes PRPs as primitive entities. This allows for a satisfactory treatment of both the modalities and the propositional attitudes, and it suggests a general strategy for developing a comprehensive treatment of intensional logic
Keywords
No keywords specified (fix it)
PhilPapers/Archive ID
BEACIT
Upload history
Archival date: 2015-12-19
View other versions
Added to PP index
2009-01-28

Total views
339 ( #20,592 of 65,694 )

Recent downloads (6 months)
18 ( #39,552 of 65,694 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.