An intensional interpretation of truth-values

Mind 81 (323):348-371 (1972)
  Copy   BIBTEX

Abstract

R-Dagger is the theory of relevant implication, Got from the calculus r (see belnap, Jsl, 32, 1-22), By adding machinery for propositional quantification. In r-Dagger define t as for some p, P, F as for all p, P. Then (t, F) is closed in r-Dagger under truth-Functions and relevant implication, Which, When confined to (t, F) acts just like material 'implication.' but r-Dagger admits of many propositions other than t, F. The article also contains polemics against extensionalism and nominalism. (edited).

Categories

Keywords

Reprint years

DOI

10.1093/mind/lxxxi.323.348

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The One-Variable Fragment of T→.John Slaney & Edward Walker - 2014 - Journal of Philosophical Logic 43 (5):867-878.
Sentential constants in relevance implication.Robert K. Meyer - 1980 - Bulletin of the Section of Logic 9 (1):33-36.
Thephilosophyofautomatedtheoremproving.Francis Jeffry Pelletier - unknown
R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, D. J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, J. T. Sasaki, and S. F. Smith. Implementing mathematics with the Nuprl proof development system. Prentice Hall, Englewood Cliffs, N. J., 1986, x + 299 pp.R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer & R. W. Harper - 1990 - Journal of Symbolic Logic 55 (3):1299-1302.
A note on the Lambek-van Benthem calculus.Wojciech Buszkowski - 1984 - Bulletin of the Section of Logic 13 (1):31-35.
Espacio, Saber y Poder.Michel Foucault - 1984 - In The Foucault Reader. Vintage.
Guillermo de ockham Y el nacimiento Del laicismo moderno.Nicolás López Calera - 2012 - Anales de la Cátedra Francisco Suárez 46:263-280.
Introduction to the philosophy of mind: readings from Descartes to Strawson.Harold Morick (ed.) - 1970 - Sussex: Harvester Press.
Supposi t i o n as Quant i f i c a t i o n versus Supposi t i o n as Globa l Quant i f i c a t i o n a l Ef fec t.Terence Parsons - unknown
A somewhat Russellian theory of intensional contexts.Takashi Yagisawa - 1997 - Philosophical Perspectives 11:43-82.

Analytics

Added to PP
2009-01-28

Downloads
125 (#366,288)

6 months
29 (#328,585)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Horseshoe, hook, and relevance.B. J. Copeland - 1984 - Theoria 50 (2-3):148-164.
Horseshoe, hook, and relevance.B. I. Copeland - 2008 - Theoria 50 (2‐3):148-164.

Add more citations

References found in this work

No references found.

Add more references