A Second Order Logic of Variable-Binding Operators

Thumbnail Image

Files

A Second Order Logic of Variable.pdf (1.47 MB)
Can’t use the file because of accessibility barriers? Contact us with the title of the item, permanent link, and specifics of your accommodation need.

Date

1975

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Reports on Mathematical Logic

Permanent Link

https://hdl.handle.net/2022/22314

Abstract

It 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.

Description

Publisher's, offprint version

Keywords

Citation

Cocchiarella, N. "A Second Order Logic of Variable-Binding Operators," Reports on Mathematical Logic, vol. 5 (1975), pp. 3-18.

Journal

DOI

Link(s) to data and video for this item

Relation

Rights

Type

Article

Collections

Nino Cocchiarella Collection