The Journal of Symbolic Logic: Volume 11 - Issue 1

Errata
Published online by Cambridge University Press:

12 March 2014, p. iv
- Article
- - You have access
- PDF
- Export citation

A Functional calculus of first order based on strict implication
Ruth C. Barcan
Published online by Cambridge University Press:

12 March 2014, pp. 1-16
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation
The following system is an extension of the Lewis calculus S2 to include quantification.

Olaf Helmer and Paul Oppenheim. A syntactical definition of probability and of degree of confirmation. The journal of symbolic logic, vol. 10 (1945), pp. 25–60. See errata, ibid., p. iv.
Max Black
Published online by Cambridge University Press:

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

Carl G. Hempel and Paul Oppenheim. A definition of “degree of confirmation.” Philosophy of science, vol. 12 (1945), pp. 98–115.
Max Black
Published online by Cambridge University Press:

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

Rudolf Carnap. The two concepts of probability. English with Spanish abstract. Philosophy and phenomenological research, vol. 5 no. 4 (1945), pp. 513–532.
Ernest Nagel
Published online by Cambridge University Press:

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

F. H. Heinemann. The meaning of negation. Proceedings of the Aristotelian Society, n.s. vol. 44 (1943–1944), pp. 127–152.
Ernest Nagel
Published online by Cambridge University Press:

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

G. Mannoury. La question vitale ‘A ou B.’ Nieuw archief voor wishunde, ser. 2 vol. 21 (1943), pp. 161–167.
Evert W. Beth
Published online by Cambridge University Press:

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

G. F. C. Griss. Negatieloze intuitionistische wiskunde (Negation-free intuitionistic mathematics). Nederlandsche Akademie van Wetenschappen, Verslagen van de gewone vergaderingen der Afdeeling Natuurkunde, vol. 53 no. 5 (1944), pp. 3–10.
Evert W. Beth
Published online by Cambridge University Press:

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

Oiva Ketonen. “Luonnollisen päättelyn” kalkyylistä (On the calculus “of natural inference”). Ajatus, vol. 12 (1943), pp. 128–140.
G. H. v. Wright
Published online by Cambridge University Press:

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

R. L. Goodstein. Function theory in an axiom-free equation calculus. Proceedings of the London Mathematical Society, ser. 2 vol. 48 part 6 (1945), pp. 401–434.
J. C. C. McKinsey
Published online by Cambridge University Press:

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

TH. Skolem. Remarks on recursive functions and relations. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, vol. 17 (1944), pp. 89–92. - TH. Skolem. Some remarks on recursive arithmetic. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, vol. 17 (1944), pp. 103–106. - TH. Skolem. A note on recursive arithmetic. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, vol. 17 (1944), pp. 107–109. - TH. Skolem. Some remarks on the comparison between recursive functions. Det Kongelige Norske Videnskabers Selskab, Forhandlinger, vol. 17 (1944), pp. 126–129.
Paul Bernays
Published online by Cambridge University Press:

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

Frederic B. Fitch. Representations of calculi. The journal of symbolic logic, vol. 9 (1944), pp. 57–62. See errata, ibid., p. iv.
George D. W. Berry
Published online by Cambridge University Press:

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

Evert W. Beth. Verleden en toekomst der wetenschappelijke wijsbegeerte (Past and future of scientific philosophy). De gids, vol. 107 (1943). Offprint, pp. 1–13.
Julius Kraft
Published online by Cambridge University Press:

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

Adolf Fraenkel. Einleitung in die Mengenlehre, 3rd edn. Dover Publications, New York 1946, XIII + 424 pp. [An unaltered reprint of 2695, 3rd edn.]
Published online by Cambridge University Press:

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

Eighth meeting of the Association for Symbolic Logic
Published online by Cambridge University Press:

12 March 2014, pp. 30-31
- Article
- - You have access
- PDF
- Export citation

Elections
Published online by Cambridge University Press:

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

Institutional contributing subscribers to the Journal
Published online by Cambridge University Press:

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

JSL volume 11 issue 1 Cover and Front matter
Published online by Cambridge University Press:

12 March 2014, pp. f1-f6
- Article
- - You have access
- PDF
- Export citation

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Volume 11 - Issue 1 - March 1946

Errata

Errata

Research Article

A Functional calculus of first order based on strict implication

Book Review

Olaf Helmer and Paul Oppenheim. A syntactical definition of probability and of degree of confirmation. The journal of symbolic logic, vol. 10 (1945), pp. 25–60. See errata, ibid., p. iv.

Reviews

Carl G. Hempel and Paul Oppenheim. A definition of “degree of confirmation.” Philosophy of science, vol. 12 (1945), pp. 98–115.

Rudolf Carnap. The two concepts of probability. English with Spanish abstract. Philosophy and phenomenological research, vol. 5 no. 4 (1945), pp. 513–532.

F. H. Heinemann. The meaning of negation. Proceedings of the Aristotelian Society, n.s. vol. 44 (1943–1944), pp. 127–152.

G. Mannoury. La question vitale ‘A ou B.’ Nieuw archief voor wishunde, ser. 2 vol. 21 (1943), pp. 161–167.

G. F. C. Griss. Negatieloze intuitionistische wiskunde (Negation-free intuitionistic mathematics). Nederlandsche Akademie van Wetenschappen, Verslagen van de gewone vergaderingen der Afdeeling Natuurkunde, vol. 53 no. 5 (1944), pp. 3–10.

Oiva Ketonen. “Luonnollisen päättelyn” kalkyylistä (On the calculus “of natural inference”). Ajatus, vol. 12 (1943), pp. 128–140.

R. L. Goodstein. Function theory in an axiom-free equation calculus. Proceedings of the London Mathematical Society, ser. 2 vol. 48 part 6 (1945), pp. 401–434.

Frederic B. Fitch. Representations of calculi. The journal of symbolic logic, vol. 9 (1944), pp. 57–62. See errata, ibid., p. iv.

Evert W. Beth. Verleden en toekomst der wetenschappelijke wijsbegeerte (Past and future of scientific philosophy). De gids, vol. 107 (1943). Offprint, pp. 1–13.

Adolf Fraenkel. Einleitung in die Mengenlehre, 3rd edn. Dover Publications, New York 1946, XIII + 424 pp. [An unaltered reprint of 2695, 3rd edn.]

Abstract

Eighth meeting of the Association for Symbolic Logic

Other

Elections

Institutional contributing subscribers to the Journal

Front matter

JSL volume 11 issue 1 Cover and Front matter

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 11 - Issue 1 - March 1946

Errata

Research Article

Book Review

Reviews

Abstract

Other

Front matter