Bound Variables and Schematic Letters

&
Logique Et Analyse 95 (95):425-429 (1981)
  Copy   BIBTEX

Abstract

The paper purports to show, against Quine, that one can construct a language , which results from the extension of the theory of truth functions by introducing sentence letter quantification. Next a semantics is provided for this language. It is argued that the quantification is neither substitutional nor requires one to consider the sentence letters as taking entities as values.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
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

Schematic Letters and Variables.V. H. Dudman - 1975 - Analysis 36 (1):10 - 12.
A somewhat Russellian theory of intensional contexts.Takashi Yagisawa - 1997 - Philosophical Perspectives 11:43-82.
Why Substitutional Quantification Does Not Express Existence.Philip Hugly & Charles Sayward - 1987 - Theory and Decision 50:67-75.
Prior’s Theory of Propositions.Philip Hugly & Charles Sayward - 1977 - Analysis 37 (3):104-112.
Quantification Theory in *8 of Principia Mathematica and the Empty Domain.Gregory Landini - 2005 - History and Philosophy of Logic 26 (1):47-59.
There Is A Problem with Substitutional Quantification.Philip Hugly & Charles Sayward - 2002 - Theoria 68 (1):4-12.
Intensionality and Truth: An Essay on the Philosophy of A. N. Prior.Philip Hugly & Charles Sayward - 1996 - Dordrecht, Boston and London: kluwer.
Quantification without variables in connectionism.John A. Barnden & Kankanahalli Srinivas - 1996 - Minds and Machines 6 (2):173-201.
Indenumerability and substitutional quantification.Philip Hugly & Charles Sayward - 1982 - Notre Dame Journal of Formal Logic 23 (4):358-366.
Bound variables in syntax (Are there any?).Anna Szabolcsi - 1987 - In J. Groenendijk, F. Veltman & M. Stokhof (eds.), Sixth Amsterdam Colloquium Proceedings. Univ of Amsterdam.
Quine's Platonism and Antiplatonism.Srećko Kovač - 1999 - Synthesis Philosophica 14 (1-2):45-52.
Quantification over situations variables in LTAG: some constraints.Maribel Romero - unknown
Functional operations in Frege's Begriffsschrift.Peter M. Simons - 1988 - History and Philosophy of Logic 9 (1):35-42.
Quine on the referential functions of bound variables and quantifiers.C. A. Hooker - 1971 - Mind 80 (320):481-496.

Analytics

Added to PP
2011-01-24

Downloads
394 (#48,753)

6 months
55 (#76,961)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Philip Hugly
University of California, Berkeley (PhD)
Charles Sayward
University of Nebraska, Lincoln

Citations of this work

Add more citations

References found in this work

No references found.

Add more references