A Second Order Logic of Variable-Binding Operators

Simple item page
dc.contributor.authorCocchiarella, Nino
dc.date.accessioned2018-08-01T20:17:03Z
dc.date.available2018-08-01T20:17:03Z
dc.date.issued1975
dc.descriptionPublisher's, offprint version
dc.description.abstractIt is well-known that Frege distinguished between first- and second-level concepts or functions. First-level concepts he associated with properties and relations between objects. These concepts Frege characterized as functions which assigned truth-values (the true or the false) to (n-tuples of) objects. An (n-tuple of) object(s) was said to fall under such a concept if it was assigned the true by that concept. In his Begriffsschrift these concepts were indicated by predicate variables.
dc.identifier.citationCocchiarella, N. "A Second Order Logic of Variable-Binding Operators," Reports on Mathematical Logic, vol. 5 (1975), pp. 3-18.
dc.identifier.urihttps://hdl.handle.net/2022/22314
dc.language.isoen
dc.publisherReports on Mathematical Logic
dc.titleA Second Order Logic of Variable-Binding Operators
dc.typeArticle

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
A Second Order Logic of Variable.pdf
Size:
1.47 MB
Format:
Adobe Portable Document Format
Description:
Download

Collections

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