Bound Variables and Schematic Letters
Logique Et Analyse 95:425-429 (1981)
| 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. | |||||||||
| Keywords | variables schematic letters quantification Quine | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
  |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesV. H. Dudman (1975). Schematic Letters and Variables. Analysis 36 (1):10 - 12.
Takashi Yagisawa (1997). A Somewhat Russellian Theory of Intensional Contexts. Philosophical Perspectives 11:43-82.
Philip Hugly & Charles Sayward (1987). Why Substitutional Quantification Does Not Express Existence. Theory and Decision 50:67-75.
Philip Hugly & Charles Sayward (1977). Prior’s Theory of Propositions. Analysis 37 (3):104-112.
Gregory Landini (2005). Quantification Theory in *8 ofPrincipia Mathematicaand the Empty Domain. History and Philosophy of Logic 26 (1):47-59.
Philip Hugly & Charles Sayward (2002). There Is A Problem with Substitutional Quantification. Theoria 68 (1):4-12.
John A. Barnden & Kankanahalli Srinivas (1996). Quantification Without Variables in Connectionism. Minds and Machines 6 (2):173-201.
Philip Hugly & Charles Sayward (1982). Indenumerability and Substitutional Quantification. Notre Dame Journal of Formal Logic 23 (4):358-366.
Anna Szabolcsi (1987). Bound Variables in Syntax (Are There Any?). In J. Groenendijk, F. Veltman & M. Stokhof (eds.), Sixth Amsterdam Colloquium Proceedings. Univ of Amsterdam.
Srećko Kovač (1999). Quine's Platonism and Antiplatonism. Synthesis Philosophica 14 (1999):45-52.
Peter M. Simons (1988). Functional Operations in Frege'sbegriffsschrift. History and Philosophy of Logic 9 (1):35-42.
C. A. Hooker (1971). Quine on the Referential Functions of Bound Variables and Quantifiers. Mind 80 (320):481-496.
Analytics
Monthly downloads |
Added to index2011-01-24Total downloads30 ( #40,899 of 549,196 )Recent downloads (6 months)21 ( #2,672 of 549,196 )How can I increase my downloads? |
My notes
Discussion
