Definition of Substitution

Journal of Symbolic Logic 1 (3):116-117 (1936)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269046

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,341

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

Quine W. V.. Definition of substitution. Bulletin of the American Mathematical Society, vol. 42 , pp. 561–569.Barkley Rosser - 1936 - Journal of Symbolic Logic 1 (3):116-117.
On the definition of substitution, replacement and allied notions in a abstract formal system.Haskell B. Curry - 1952 - Revue Philosophique De Louvain 50 (26):251-269.
Substitution contradiction, its resolution and the Church-Rosser Theorem in TIL.Miloš Kosterec - 2020 - Journal of Philosophical Logic 49 (1):121-133.
The Rule of Existential Generalisation and Explicit Substitution.Jiří Raclavský - 2022 - Logic and Logical Philosophy 31 (1):105-141.
Haskell B. Curry. Philosophische Bemerkungen zu einigen Problemen der mathematischen Logik. Archiv für Philosophie, vol. 4 no. 2 , pp. 147–156. - Haskell B. Curry. L-semantics as a formal system. Congrès International de Philosophie des Sciences, Paris 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris1951, pp. 19–29. - Haskell B. Curry. On the definition of substitution, replacement and allied notions in an abstract formal system. Revue philosophique de Louvain, vol. 50 , pp. 251–269. - Haskell B. Curry. Mathematics, syntactics and logic. Mind, n. s. vol. 62 , pp. 172–183. - Haskell B. Curry. Les systèmes formels et les langues. Les méthodes formelles en axiomatique. Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 1–9. - Paul Bernays, L. E. J. Brouwer, Haskell B. Curry, A. Heyting, Abraham Robinson. Discussion. Les méthodes formelles en axiomatique. Paris décembre 1950, Colloques i. [REVIEW]Robert Feys - 1956 - Journal of Symbolic Logic 21 (4):374-377.
Quine. W. V. On the logic of quantification.George D. W. Berry - 1947 - Journal of Symbolic Logic 12 (1):17-19.
Review: W. V. Quine, Philosophy of Logic. [REVIEW]Richard E. Grandy - 1975 - Journal of Symbolic Logic 40 (4):587-588.

Analytics

Added to PP
2015-02-05

Downloads
32 (#778,855)

6 months
6 (#719,972)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Susan Stebbing, Incomplete Symbols and Foundherentist Meta-Ontology.Frederique Janssen-Lauret - 2017 - Journal for the History of Analytical Philosophy 5 (2):6-17.
Inception of Quine's ontology.Lieven Decock - 2004 - History and Philosophy of Logic 25 (2):111-129.
Explizite Definitionen einiger Eigenschaften von Zeichenreihen.Klaus Härtig - 1956 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (10-15):177-203.

Add more citations

References found in this work

No references found.

Add more references