Volume 19; Issue 3

Main
Journal of Symbolic Logic
Volume 19; Issue 3

Journal of Symbolic Logic

Volume 19; Issue 3

1

An Undecidable Problem in the Algebra of Truth-Tables

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 453 KB

english, 1954

2

Reduction to a Dyadic Predicate

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 246 KB

english, 1954

3

Comment on K. J. Cohen's Remarkby Jan Łukasiewicz

Review by: Gene F. Rose

Journal:

Journal of Symbolic Logic

Year:

1954

File:

PDF, 235 KB

1954

4

An Outline of a Theory of Semantic Informationby Rudolf Carnap; Yehoshua Bar-Hillel

Review by: Peter Elias

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 409 KB

english, 1954

5

On Proper Rules of Inferenceby Jerzy Slupecki

Review by: H. Hiz

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 203 KB

english, 1954

6

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 211 KB

english, 1954

7

A New Symbolism for the Propositional Calculus

William Tuthill Parry

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 764 KB

english, 1954

8

Ideographic Computation in the Propositional Calculus

Gerald B. Standley

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 284 KB

english, 1954

9

A Generalization of the Concept of |omega-Consistency

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 1.30 MB

english, 1954

10

Improved Decision Procedures for Lewis's Calculus S4 and Von Wright's Calculus M

Alan Ross Anderson

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 1.25 MB

english, 1954

11

Introduction to Metamathematicsby Stephen Cole Kleene

Review by: H. Rasiowa

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 300 KB

english, 1954

12

On the Intuitionistic Theory of Deductionby Jan Łukasiewicz

Review by: Gene F. Rose

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 199 KB

english, 1954

13

A Remark on Lukasiewicz's "On the Intuitionistic Theory of Deduction."by Kalman Joseph Cohen

Review by: Gene F. Rose

Journal:

Journal of Symbolic Logic

Year:

1954

File:

PDF, 225 KB

1954

14

Kennzeichnung von Ordnungszahlen Durch Rekursiv Erklärte Funktionenby Kurt Schütte

Review by: Werner Markwald

Journal:

Journal of Symbolic Logic

Year:

1954

File:

PDF, 320 KB

1954

15

Theorem of Gödel and Theory of Algorithms.by V. A. Uspénskij

Review by: Andrzej Mostowski

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 328 KB

english, 1954

16

On a Problem of Henkin'sby G. Kreisel

Review by: Leon Henkin

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 362 KB

english, 1954

17

On the Pseudo-Setby Tameharu Shirai

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 285 KB

english, 1954

18

I fini dei "Calculus Ratiocinator" di Leibniz, e la Logico Matematica del Nostro Tempoby Ettore Carruccio

Review by: Nicholas Rescher

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 285 KB

english, 1954

19

A Note on Logical Connectivesby Philip P. Hallie

Review by: Nicholas Rescher

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 357 KB

english, 1954

20

On What There Isby Willard V. Quine;Symposium: On What There Is. Iby Peter Thomas Geach;Symposium: On What There Is. IIby A. J. Ayer;Symposium: On What There Is. IIIby W. V. Quine

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 296 KB

english, 1954

21

Synonymityby Benson Mates

Review by: J. F. Thomson

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 181 KB

english, 1954

22

Some Remarks on Semantic Systemsby B. L. Robbins

Review by: George D. W. Berry

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 290 KB

english, 1954

23

Rejoinder to Mrs. Robbinsby Arthur Pap

Review by: George D. W. Berry

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 196 KB

english, 1954

24

Sur la Description de Certains Modèles d'un Système Formel.by E. W. Beth

Review by: J. Barkley Rosser

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 196 KB

english, 1954

25

Sur la Tâche de la Philosophie des Mathématiques.by A. Heyting

Review by: Th. Skolem

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 256 KB

english, 1954

26

Introduction to the Foundations of Mathematicsby Raymond L. Wilder

Review by: Alfons Borgers

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 439 KB

english, 1954

27

The Ideas of Variable and Functionby Karl Menger

Review by: Leon Henkin

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 201 KB

english, 1954

28

Formalization of Psychological Theoryby F. J. McGuigan

Review by: Frederic B. Fitch

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 194 KB

english, 1954

29

The Theory of Quaternalityby W. H. Gottschalk

Review by: Alan Ross Anderson

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 301 KB

english, 1954

30

Analytic Minimization Methods I: Conjunctive Formsby W. C. Carter; A. S. Rettig

Review by: Raymond J. Nelson

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 329 KB

english, 1954

31

Non-Normal Truth-Tables for the Propositional Calculusby Alonzo Church

Review by: Gene F. Rose

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 326 KB

english, 1954

32

An Outline of Logic. Manual for Teachersby Kazimierz Ajdukiewicz

Review by: H. Hiż

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 217 KB

english, 1954

33

Logique 1900-1950by Robert Blanché

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 223 KB

english, 1954

34

A Survey of Scientific Logicby Makoto Itô

Review by: Takeo Sugihara

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 223 KB

english, 1954

35

A Study of Modal Logicby Makoto Itô

Review by: Takeo Sugihara

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 223 KB

english, 1954

36

Kigo Ronrigaku no Kisoby D. Hilbert; W. Ackermann

Review by: Takeo Sugihara

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 223 KB

english, 1954

37

Logic--New Logic and Old Logicby Kanzi Taguti

Review by: Takeo Sugihara

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 223 KB

english, 1954

38

Further Citations

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 430 KB

english, 1954

39

Back Matter

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 239 KB

english, 1954

40

Scientific Knowledge--The View of the Vienna Circleby Katsumi Nakamura

Review by: Takeo Sugihara

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 224 KB

english, 1954

41

Mostowski A.. On models of axiomatic systems. Fundamenta mathematicae, vol. 39 (for 1952, pub. 1953), pp. 133–158.

McNaughton, Robert

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 404 KB

english, 1954

42

Calculus. A Modern Approachby Karl Menger

Review by: Leon Henkin

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 455 KB

english, 1954

43

Relay Circuit Analysis by Odd-Even Algebraby E. C. Varnum;Three-Relay Circuitsby E. C. Varnum;Polynomial Determination in a Field of Integers Modulo Pby E. C. Varnum

Review by: William W. Boone

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 265 KB

english, 1954

44

A Partial Model for Quine's "New Foundations"

Václav Edvard Beneš

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 334 KB

english, 1954

45

Modalités Physiques et Techniques.by Leo Apostel

Review by: Alan Ross Anderson

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 226 KB

english, 1954

46

Bradley Crispin Kim. The paradoxes. Astounding science fiction, vol. 53 no. 4 (1954), pp. 93–100.

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 67 KB

english, 1954

47

Menger Karl. Sin ronrigaku. Japanese translation of 3706 by Tomoharu Hirano. Kagaku ronrigaku, Nissin-Syoin, Tokyo 1944, pp. 29–73.Dubislav Walter. Kigô ronrigaku zyosetu (Introduction to symbolic logic). Japanese translation of Chapters 2 and 3 of 32814 and Der metamathematische Problemkreis from 32812, by Syûitirô Yosioka. Kagaku ronrigaku, Nissin-Syoin, Tokyo 1944, pp. 75–142.Carnap Rudolf. Kigô ronrigaku no taikei. Japanese translation of System der Logistik (Part I of 3523) by Tomoharu Hirano. Kagaku ronrigaku, Nissin-Syoin, Tokyo 1944, pp. 143–248.Łukasiewicz Jan. Tati ronrigaku no tetugakuteki kôsatu. Japanese translation of 1868 by Makoto ltô. Kagaku ronrigaku, Nissin-Syoin, Tokyo 1944, pp. 249–282.Łukasiewicz Jan. Ronrigaku to sono

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 67 KB

english, 1954

48

Fairfax John P.. Letter. Astounding science fiction, vol. 53 no. 1 (1954), pp. 143–145.Milbauer David H.. Letter. Astounding science fiction, vol. 53 no. 1 (1954), p. 148. [Cf. XIX 131(2).]Anonymous. Professor builds ‘thinking machine’ to test laws of logic. The New York times, vol. 103, 03 8, 1954, p. 21.

Anderson, Alan Ross

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 142 KB

english, 1954

49

JSL volume 19 issue 3 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 6.88 MB

english, 1954

50

JSL volume 19 issue 3 Cover and Back matter

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 7.43 MB

english, 1954

51

Related Citations

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 236 KB

english, 1954

52

Towards Strengthening of the Reduction Theorem of the Theory of Algorithmsby N. M. Nagornyj

Review by: Andrzej Mostowski

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 273 KB

english, 1954

53

Quantification and the Empty Domain

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 385 KB

english, 1954

54

Peano et Burali-Forti Précurseurs de la Logique Combinatoire.by Robert Feys

Review by: J. Barkley Rosser

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 368 KB

english, 1954