The Journal of Symbolic Logic: Volume 23 -

Robert Feys. Une théorie formalisée démontrée sans symboles. Les études philosophiques, n.s. vol. 11 (1956), pp. 3–14.
Alonzo Church
Published online by Cambridge University Press:

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

Stig Kanger. On the characterization of modalities. Theoria (Lund), vol. 23 (1957), pp. 152–155.
F. H. Fischer
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

Martin A. Greenman. A Whiteheadian analysis of propositions and facts. English with Spanish Extracto. Philosophy and phenomenological research, vol. 13 no. 4 (1953), pp. 477–486.
Charles A. Baylis
Published online by Cambridge University Press:

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

John G. Kemeny, J. Laurie Snell and Gerald L. Thompson. Introduction to finite mathematics. Prentice-Hall, Inc., Englewood Cliffs1957, xi + 372 pp.
Augustus F. Bausch
Published online by Cambridge University Press:

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

James Wilkinson Miller. Logic workbook. Oxford University Press, New York1958, vii + 88 pp.
Charles A. Baylis
Published online by Cambridge University Press:

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

Philipp Frank. Philosophy of science. The link between science and philosophy. Prentice-Hall, Inc., Englewood Cliffs1957, xxii + 394 pp.
Hale Trotter
Published online by Cambridge University Press:

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

A. Heyting. La conception intuitionniste de la logique. Les études philosophiques, n.s. vol. 11 (1956), pp. 226–233.
Alonzo Church
Published online by Cambridge University Press:

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

Günter Asser. Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 1 (1955), S. 252–263.
Wilhelm Ackermann
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

Ludwig Wittgenstein. Tractatus logico-philosophicus. With an introduction by Bertrand Russell. Spanish translation by Enrique Tierno Galvan. Revista de Occidente, Madrid1957, 213 pp.
Alonzo Church
Published online by Cambridge University Press:

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

Günter Asser. Über die Ausdrucksfähigkeit des Prädikatenkalküls der ersten Stufe mit Funktionalen. Ebd., Bd. 2 (1956), S. 250–264.
Wilhelm Ackermann
Published online by Cambridge University Press:

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

R. Harrop. On disjunctions and existential statements in intuitionistic systems of logic. Mathematische Annalen, vol. 132 (1956), pp. 347–361.
T. Thacher Robinson
Published online by Cambridge University Press:

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

Marian Przełęcki. O tzw. definicjach operacyjnych. Studia logica, vol. 3 (1955), pp. 125–149. - M. Przełęcki. O tak nazyvaémyh opéracionnyh oprédéléniáh. Russian translation of the foregoing. Studia logica, vol. 3 (1955), pp. 150–178. - M. Przełęcki. On so called operational definitions. English summary. Studia logica, vol. 3 (1955), pp. 179–183.
Henry Mehlberg
Published online by Cambridge University Press:

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

Wilfrid Sellars. On the logic of complex particulars. Mind, n.s. vol. 58 (1949), pp. 306–338. - Wilfrid Sellars. Particulars. English with Spanish Extracto. Philosophy and phenomenological research, vol. 13 no. 2 (1952), pp. 184–199. - William P. Alston. Particulars — bare and qualified. Philosophy and phenomenological research, vol. 15 no. 2 (1954), pp. 253–258.
Carl G. Hempel
Published online by Cambridge University Press:

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

Ingebrigt Johansson. Sur le concept de “le” (ou de “ce qui”) dans le calcul affirmatif et dans les calculs intuitionnistes. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 65–72. - R. Feys, Ingebrigt Johansson. Discussion. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, p. 72.
Theodore Hailperin
Published online by Cambridge University Press:

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

Günter Asser. Theorie der logischen Auswahlfunktionen. Ebd., Bd. 3 (1957), S. 30–68.
Wilhelm Ackermann
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

Thomas Storer. A note on empiricism. Philosophical studies (Minneapolis), vol. 4 (1953), p. 78. - Herbert Hochberg. Professor Storer on empiricism. Philosophical studies (Minneapolis), vol. 5 (1954), pp. 29–31. - David Karl Kauf. A comment on Hochberg's reply to Storer. Philosophical studies (Minneapolis), pp. 57–58.
John van Heijenoort
Published online by Cambridge University Press:

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

Alan Ross Anderson. Independent axiom schemata for von Wright's M. The journal of symbolic logic, vol. 22 no. 3 (1957), pp. 241–244.
Naoto Yonemitsu
Published online by Cambridge University Press:

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

Leon Henkin. A generalization of the notion of ω-consistency. The journal of symbolic logic, vol. 19 (1954), pp. 183–196.
W. W. Tait
Published online by Cambridge University Press:

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

Paul Weiss. The paradox of necessary truth, once more. Philosophical studies (Minneapolis), vol. 7 (1956), pp. 88–89.
Alonzo Church
Published online by Cambridge University Press:

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

Ray H. Dotterer. Formal logic and the “fringe.”Science and society, vol. 13 no. 3 (1949), pp. 269–271. - W. T. Parry. Reply to Professor Dotterer. Science and society, vol. 13 no. 3 (1949), pp. 271–272.
John van Heijenoort
Published online by Cambridge University Press:

12 March 2014, p. 214
- 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 23 - June 1958

Reviews

Robert Feys. Une théorie formalisée démontrée sans symboles. Les études philosophiques, n.s. vol. 11 (1956), pp. 3–14.

Stig Kanger. On the characterization of modalities. Theoria (Lund), vol. 23 (1957), pp. 152–155.

Martin A. Greenman. A Whiteheadian analysis of propositions and facts. English with Spanish Extracto. Philosophy and phenomenological research, vol. 13 no. 4 (1953), pp. 477–486.

John G. Kemeny, J. Laurie Snell and Gerald L. Thompson. Introduction to finite mathematics. Prentice-Hall, Inc., Englewood Cliffs1957, xi + 372 pp.

James Wilkinson Miller. Logic workbook. Oxford University Press, New York1958, vii + 88 pp.

Philipp Frank. Philosophy of science. The link between science and philosophy. Prentice-Hall, Inc., Englewood Cliffs1957, xxii + 394 pp.

A. Heyting. La conception intuitionniste de la logique. Les études philosophiques, n.s. vol. 11 (1956), pp. 226–233.

Günter Asser. Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 1 (1955), S. 252–263.

Ludwig Wittgenstein. Tractatus logico-philosophicus. With an introduction by Bertrand Russell. Spanish translation by Enrique Tierno Galvan. Revista de Occidente, Madrid1957, 213 pp.

Günter Asser. Über die Ausdrucksfähigkeit des Prädikatenkalküls der ersten Stufe mit Funktionalen. Ebd., Bd. 2 (1956), S. 250–264.

R. Harrop. On disjunctions and existential statements in intuitionistic systems of logic. Mathematische Annalen, vol. 132 (1956), pp. 347–361.

Günter Asser. Theorie der logischen Auswahlfunktionen. Ebd., Bd. 3 (1957), S. 30–68.

Alan Ross Anderson. Independent axiom schemata for von Wright's M. The journal of symbolic logic, vol. 22 no. 3 (1957), pp. 241–244.

Leon Henkin. A generalization of the notion of ω-consistency. The journal of symbolic logic, vol. 19 (1954), pp. 183–196.

Paul Weiss. The paradox of necessary truth, once more. Philosophical studies (Minneapolis), vol. 7 (1956), pp. 88–89.

Ray H. Dotterer. Formal logic and the “fringe.”Science and society, vol. 13 no. 3 (1949), pp. 269–271. - W. T. Parry. Reply to Professor Dotterer. Science and society, vol. 13 no. 3 (1949), pp. 271–272.

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 23 - June 1958

Reviews