A second order logic of existence

Simple item page
dc.contributor.authorCocchiarella, Nino
dc.date.accessioned2018-07-30T17:19:44Z
dc.date.available2018-07-30T17:19:44Z
dc.date.issued1969-03
dc.descriptionPublisher's, offprint version
dc.description.abstractA. 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.
dc.identifier.citationCocchiarella, N. "A Second Order Logic of Existence," Journal of Symbolic Logic, vol. 34 no. 1 (1969), pp. 57-69.
dc.identifier.doihttps://doi.org/10.2307/2270982
dc.identifier.urihttps://hdl.handle.net/2022/22303
dc.language.isoen
dc.publisherJournal of Symbolic Logic
dc.relation.isversionofhttps://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/second-order-logic-of-existence1/041B920C26FF312BFC5153A32FAFADCE
dc.titleA second order logic of existence
dc.typeArticle

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
second_order_logic_of_existence1.pdf
Size:
731.76 KB
Format:
Adobe Portable Document Format
Description:
Download

Collections

Nino Cocchiarella Collection
Can’t use the file because of accessibility barriers? Contact us