A second order logic of existence

Loading...
Thumbnail Image
If you need an accessible version of this item, please email your request to iusw@iu.edu so that they may create one and provide it to you.
Date
1969-03
Journal Title
Journal ISSN
Volume Title
Publisher
Journal of Symbolic Logic
Abstract
A. N. Prior in [9] has suggested an approach towards a second order logic of existence where, following medieval logicians, we distinguish “between predicates (like ‘is red’, ‘is hard’, etc.) which entail existence, and predicates (like ‘is thought to be red’, ‘is thought of’, etc.) which do not.” Let us refer to attributes (including relational attributes) which are designated by the former kind of predicate as existence attributes, or for brevity, e-attributes.
Description
Publisher's, offprint version
Keywords
Citation
Cocchiarella, N. "A Second Order Logic of Existence," Journal of Symbolic Logic, vol. 34 no. 1 (1969), pp. 57-69.
Relation
Rights
Type
Article