The Journal of Symbolic Logic: Volume 2 -

Frederic Brenton Fitch. A system of formal logic without an analogue to the Curry W operator. The journal of symbolic logic, vol. 1 (1936), pp. 92–100.
Barkley Rosser
Published online by Cambridge University Press:

12 March 2014, pp. 37-38
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Basilio Mania. L'infini mathématique et l'évolution de la logique. Actes du Congrès International de Philosophie Scientifique, VI Philosophie des mathématiques, Actualités scientifiques et industrielles 393, Hermann & Cio, Paris1936, pp. 51–57.
C. H. Langford
Published online by Cambridge University Press:

12 March 2014, p. 83
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Wilhelm Ackerman. Die Widerspruchsfreiheit der allgemeinen Mengenlehre. Mathematische Annalen, Bd. 114 (1937), S. 305–315.
Rózsa Péter
Published online by Cambridge University Press:

12 March 2014, p. 167
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Gödel Theorems for Non-Constructive Logics
Barkley Rosser
Published online by Cambridge University Press:

12 March 2014, pp. 129-137
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation
Introduction. In setting up his definition of analyticity, Carnap uses various non-constructive rules, of which we shall be concerned with only one. This one we shall call simply “Carnap's rule.” It can be roughly stated thus: If f(0), f(1), f(2), … are all provable, then (x)f(x) shall be provable.
In this paper will be briefly considered the logics got by starting with the system of Principia plus Peano's axioms and allowing one, two, …, ω, ω+l, and so on up to, but not including ω uses of Carnap's rule (interspersed with uses of the ordinary rules), as well as the system which includes Principia and Peano's axioms and is closed under application of Carnap's rule and the ordinary rules. Under suitable assumptions as to consistency, it is shown that in each of these logics there occur undecidable propositions and that a formula which states the consistency of the logic exists in the logic but is not provable in the logic. An interesting side result is that the logic got by allowing co applications of Carnap's rule is not closed under Carnap's rule.

Alfred Tarski. Über den Begriff der logischen Folgerung. Actes du Congrès International de Philosophie Scientifique, VII Logique, Actualités scientifiques et industrielles 394, Hermann & Cie, Paris1936, pp. 1–11.
W. V. Quine
Published online by Cambridge University Press:

12 March 2014, pp. 83-84
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

S. C. Kleene. General recursive functions of natural numbers. Mathematische Annalen, Bd. 112 (1935–1936), S. 727–742.
Rózsa Péter
Published online by Cambridge University Press:

12 March 2014, p. 38
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Uuno Saarnio. Zur heterologischen Paradoxie, Theoria, vol. 3 (1937), pp. 38–56.
W. V. Quine
Published online by Cambridge University Press:

12 March 2014, p. 138
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

A. Fraenkel. Ueber eine abgeschwächte Fassung des Auswahlaxioms. The journal of symbolic logic, vol. 2 (1937), pp. 1–25.
J. v. Neumann
Published online by Cambridge University Press:

12 March 2014, pp. 167-168
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Olaf Helmer. A few remarks on the syntax of axiom-systems. Actes du Congrès International de Philosophie Scientifique, VII Logique, Actualités scientifiques et industrielles 394, Hermann & Cie, Paris1936, pp. 12–17.
C. H. Langford
Published online by Cambridge University Press:

12 March 2014, p. 84
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Jan Łukasiewicz. Bedeutung der logischen Analyse für die Erkenntnis. Actes du Huitième Congrès International de Philosophie, Orbis, Prague1936, pp. 75–84. (Sec discussions by E. Harms, S. A. Kobylecki, Bocheński, K. Dürr, and J. Łukasiewicz on pp. 117–118.)
Ernest Nagel
Published online by Cambridge University Press:

12 March 2014, p. 138
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

S. C. Kleene. λ-definability and recursiveness. Duke mathematical journal, Bd. 2 (1936), S. 340–353.
Rózsa Péter
Published online by Cambridge University Press:

12 March 2014, pp. 38-39
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Raphael M. Robinson. The theory of classes. A modification of von Neumann's system. The journal of symbolic logic, vol. 2 (1937), pp. 29–36.
Paul Bernays
Published online by Cambridge University Press:

12 March 2014, p. 168
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Leon Chwistek. Überwindung des Begriffsrealismus. Studia philosphica, vol. 2 (offprint 1937) pp. 1–18.
Alonzo Church
Published online by Cambridge University Press:

12 March 2014, pp. 168-170
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Alonzo Church. Mathematical logic. Lectures delivered at Princeton University, October 1935–January 1936. Notes by F. A. Ficken, H. G. Landau, H. Ruja, R. R. Singleton, N. E. Steenrod, J. H. Sweer, F. J. Weyl. Mimeographed. Princeton University Mathematics Department, Princeton, N. J., 1936, iii + 113 pp.
H. B. Curry
Published online by Cambridge University Press:

12 March 2014, pp. 39-40
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

A. Malcev. Untersuchungen aus dem Gebiete der mathematischen Logik. Matématičéskij sbornik, n.s. vol. 1 (1936), pp. 323–336.
Barkley Rosser
Published online by Cambridge University Press:

12 March 2014, p. 84
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Jørgen Jøsrgensen. Die logischen Grundlagen der Wissenschaften. Actes du Huitième Congrès International de Philosophie, Orbis, Prague1936, pp. 100–116.
Ernest Nagel
Published online by Cambridge University Press:

12 March 2014, p. 139
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Rudolf Carnap. Die Methode der logischen Analyse. Actes du Huitième Congrès International de Philosophie, Orbis, Prague1936, pp. 142–145. (See discussions by R. Ingarden, F. C. S. Schiller, H. Reichenbach, and R. Carnap on pp. 158–159.)
Ernest Nagel
Published online by Cambridge University Press:

12 March 2014, p. 139
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Józef Pepis. Beiträge zur Reduktionstheorie des logischen Enischeidungsproblems. Acta lilterarum ac scientiarum Regiae Universitatis Hungaricae Francisco-Iosephinae, Sectio scientiarum mathematicarum, vol. 8 (1936–1937), pp. 7–41.
Paul Bernays
Published online by Cambridge University Press:

12 March 2014, pp. 84-85
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

C. G. Hempel. Le problème de la vérité. Theoria, vol. 3 (1937), pp. 206–246.
C. H. Langford
Published online by Cambridge University Press:

12 March 2014, pp. 170-171
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Ch. Perelman. L'antinomie de M. Gödel. Académie royale de Belgique, Bulletin de la classe des sciences, 5 s. vol. 22 (1936), pp. 730–736.
S. C. Kleene
Published online by Cambridge University Press:

12 March 2014, pp. 40-41
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Volume 2 - March 1937

Book Review

Frederic Brenton Fitch. A system of formal logic without an analogue to the Curry W operator. The journal of symbolic logic, vol. 1 (1936), pp. 92–100.

Reviews

Basilio Mania. L'infini mathématique et l'évolution de la logique. Actes du Congrès International de Philosophie Scientifique, VI Philosophie des mathématiques, Actualités scientifiques et industrielles 393, Hermann & Cio, Paris1936, pp. 51–57.

Wilhelm Ackerman. Die Widerspruchsfreiheit der allgemeinen Mengenlehre. Mathematische Annalen, Bd. 114 (1937), S. 305–315.

Research Article

Gödel Theorems for Non-Constructive Logics

Reviews

Alfred Tarski. Über den Begriff der logischen Folgerung. Actes du Congrès International de Philosophie Scientifique, VII Logique, Actualités scientifiques et industrielles 394, Hermann & Cie, Paris1936, pp. 1–11.

Book Review

S. C. Kleene. General recursive functions of natural numbers. Mathematische Annalen, Bd. 112 (1935–1936), S. 727–742.

Reviews

Uuno Saarnio. Zur heterologischen Paradoxie, Theoria, vol. 3 (1937), pp. 38–56.

A. Fraenkel. Ueber eine abgeschwächte Fassung des Auswahlaxioms. The journal of symbolic logic, vol. 2 (1937), pp. 1–25.

Olaf Helmer. A few remarks on the syntax of axiom-systems. Actes du Congrès International de Philosophie Scientifique, VII Logique, Actualités scientifiques et industrielles 394, Hermann & Cie, Paris1936, pp. 12–17.

Jan Łukasiewicz. Bedeutung der logischen Analyse für die Erkenntnis. Actes du Huitième Congrès International de Philosophie, Orbis, Prague1936, pp. 75–84. (Sec discussions by E. Harms, S. A. Kobylecki, Bocheński, K. Dürr, and J. Łukasiewicz on pp. 117–118.)

Book Review

S. C. Kleene. λ-definability and recursiveness. Duke mathematical journal, Bd. 2 (1936), S. 340–353.

Reviews

Raphael M. Robinson. The theory of classes. A modification of von Neumann's system. The journal of symbolic logic, vol. 2 (1937), pp. 29–36.

Leon Chwistek. Überwindung des Begriffsrealismus. Studia philosphica, vol. 2 (offprint 1937) pp. 1–18.

Book Review

Reviews

A. Malcev. Untersuchungen aus dem Gebiete der mathematischen Logik. Matématičéskij sbornik, n.s. vol. 1 (1936), pp. 323–336.

Jørgen Jøsrgensen. Die logischen Grundlagen der Wissenschaften. Actes du Huitième Congrès International de Philosophie, Orbis, Prague1936, pp. 100–116.

Rudolf Carnap. Die Methode der logischen Analyse. Actes du Huitième Congrès International de Philosophie, Orbis, Prague1936, pp. 142–145. (See discussions by R. Ingarden, F. C. S. Schiller, H. Reichenbach, and R. Carnap on pp. 158–159.)

Józef Pepis. Beiträge zur Reduktionstheorie des logischen Enischeidungsproblems. Acta lilterarum ac scientiarum Regiae Universitatis Hungaricae Francisco-Iosephinae, Sectio scientiarum mathematicarum, vol. 8 (1936–1937), pp. 7–41.

C. G. Hempel. Le problème de la vérité. Theoria, vol. 3 (1937), pp. 206–246.

Book Review

Ch. Perelman. L'antinomie de M. Gödel. Académie royale de Belgique, Bulletin de la classe des sciences, 5 s. vol. 22 (1936), pp. 730–736.

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 2 - March 1937

Book Review

Reviews

Research Article

Reviews

Book Review

Reviews

Book Review

Reviews

Book Review

Reviews

Book Review