Second‐Order Intensional Logic

Cresswell, M. J.

doi:10.1002/malq.19720181904

Search citation statements

Order By: Relevance

Paper Sections

Select...

We Refer [2]1

[15]1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

1977

1980

Publication Types

Select...

Article3

Relationship

Self Cite0

Independent3

Authors

Journals

Cited by 3 publications

(2 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…584-586. [8] We do not wish to commit ourselves on whether the phrase 'the headline' in (7) denotes some particular token or a type. Either view might be maintained by a partisan of the notion that truth is a property of individuals.…”

Section: We Refer [2]mentioning

confidence: 99%

“…But the latter is equivalent to asserting identity, given the definition in footnote 11 above. The system FC2 of Cresswell in [8], which quantifies over propositions and modalities, has the feature that A A B in general will be a distinct propsotiions form B A A. [19] We ignore in this paper any problems arising from the class of individuals being so large as not to be a set.…”

Section: [15]mentioning

confidence: 99%

See 1 more Smart Citation