Volume 19; Issue 1

Main
Journal of Symbolic Logic
Volume 19; Issue 1

Journal of Symbolic Logic

Volume 19; Issue 1

1

Leibniz's Interpretation of His Logical Calculi

Nicholas Rescher

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 1.08 MB

english, 1954

2

A Definition of Negation in Extended Basic Logic

Frederic B. Fitch

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 585 KB

english, 1954

3

The Sheffer Functions of 3-Valued Logic

Norman M. Martin

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 546 KB

english, 1954

4

The Theory of Counting Techniquesby Theodore Singer;The Application of Counting Techniquesby Robert L. Ashenhurst

Review by: Raymond J. Nelson

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 292 KB

english, 1954

5

L'analyse Linguistique de la Représentation.by Andrea Galimberti

Review by: Roderick M. Chisholm

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 207 KB

english, 1954

6

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 205 KB

english, 1954

7

A Relative Consistency Proof

Joseph R. Shoenfield

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 621 KB

english, 1954

8

Logical Paradoxes for Many-Valued Systems

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 347 KB

english, 1954

9

Proof of a Conjecture of Goodman

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 301 KB

english, 1954

10

La Structure des Théories Physiques.by Paulette Destouches-Février; Louis de Broglie

Review by: J. C. C. McKinsey and Patrick Suppes

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 521 KB

english, 1954

11

Logique et Théories Physiques.by Paulette Destouches-Février

Review by: J. C. C. McKinsey

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 199 KB

english, 1954

12

La Structure Ouverte des Théories Quantiques.by P. Destouches-Février

Review by: J. C. C. McKinsey

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 306 KB

english, 1954

13

A Chart Method for Simplifying Truth Functionsby E. W. Veitch

Review by: Raymond J. Nelson

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 195 KB

english, 1954

14

A Method for Synthesis of Two-Valued Feedback Circuitsby W. H. Burkhart

Review by: Raymond J. Nelson

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 195 KB

english, 1954

15

Characteristic Numbers and Their Use in the Decomposition of Switching Functionsby Warren L. Semon

Review by: Raymond J. Nelson

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 175 KB

english, 1954

16

A Simplified Universal Turing Machineby E. F. Moore

Review by: Raymond J. Nelson

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 283 KB

english, 1954

17

An Analysis by Arithmetical Methods of a Calculating Network with Feedbackby L. C. Robbins;Symbolic Synthesis of Digital Computersby Irving S. Reed

Review by: Raymond J. Nelson

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 191 KB

english, 1954

18

On Algorithmic Unsolvability of the Word Problemby P. S. Novikov

Review by: William W. Boone

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 385 KB

english, 1954

19

Some Remarks on the Foundations of Mathematics. An Expository Articleby G. Kreisel

Review by: Th. Skolem

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 294 KB

english, 1954

20

A Topological Proof of the Theorem of Löwenheim-Skolem-Gödel.by E. W. Beth

Review by: J. C. Shepherdson

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 199 KB

english, 1954

21

Some Consequences of the Theorem of Löwenheim-Skolem-Gödel-Malcev.by E. W. Beth

Review by: J. C. Shepherdson

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 295 KB

english, 1954

22

Papers on Predicate Calculusby S. C. Kleene

Review by: Robert McNaughton

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 312 KB

english, 1954

23

Les Systèmes Axiomatiques de la Théorie des Ensembles.by Hao Wang; Robert McNaughton; P. Destouches-Fevrier

Review by: Alfons Borgers

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 216 KB

english, 1954

24

Principles of Mathematicsby Carl B. Allendoerfer; Cletus O. Oakley

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 321 KB

english, 1954

25

Zum Problem der Übertragung Mathetischer Prinzipien: Die "Allgemeine Semantik." Eine Nichtaristotelische Wertungslehre Alfred Korzybskis.by Hugo Fischer

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 208 KB

english, 1954

26

Was ist Logik?by Paul F. Linke

Review by: Roderick M. Chisholm

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 207 KB

english, 1954

27

Die Ontologische und die Operative Auffassung der Logikby Paul Lorenzen

Review by: Carl G. Hempel

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 310 KB

english, 1954

28

A New System of Modal Logicby G. H. von Wright

Review by: Naoto Yonemitsu

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 311 KB

english, 1954

29

Counterfactual Conditionalsby B. J. Diggs

Review by: Alan Ross Anderson

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 200 KB

english, 1954

30

On Defining 'Soluble.'by Thomas Storer;Comments on Storer's Definition of 'Soluble.'by Gustav Bergmann

Review by: Alan Ross Anderson

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 200 KB

english, 1954

31

Contrary-to-Fact Conditionalsby Julius R. Weinberg

Review by: Alan Ross Anderson

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 297 KB

english, 1954

32

Counterfactual Conditionalsby Robert Brown; John Watling;Hypothetical Statements and Phenomenalismby Robert Brown; John Watling

Review by: Alan Ross Anderson

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 298 KB

english, 1954

33

Stoic Logicby Benson Mates

Review by: Czeslaw Lejewski

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 311 KB

english, 1954

34

Conventional Logic and Modern Logic. A Prelude to Transitionby Joseph T. Clark; W. V. Quine

Review by: Benson Mates

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 330 KB

english, 1954

35

The Parva Logicalia in Modern Dressby A. N. Prior

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 301 KB

english, 1954

36

Saint Vincent Ferrer's De Suppositionibusby Ivo Thomas

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 176 KB

english, 1954

37

Further Citations

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 583 KB

english, 1954

38

Back Matter

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 206 KB

english, 1954

39

Schneider Erna F.. Recent discussion of subjunctive conditionals. The review of metaphysics, vol. 6 no. 4 (1953), pp. 623–649.

Anderson, Alan Ross

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 216 KB

english, 1954

40

Die Implikation als echte Wenn-so-Beziehung. Bemerkungen zu den "Fundamental-Paradoxien" der Logistikby Paul F. Linke

Review by: Roderick M. Chisholm

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 231 KB

english, 1954

41

On Recursive Separabilityby B. A. Trahténbrot

Review by: Andrzej Mostowski

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 216 KB

english, 1954

42

Remarks on Identity and Description in First-Order Axiom Systems

Theodore Hailperin

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 609 KB

english, 1954

43

Systems of Modal Logic Which are not Unreasonable in the Sense of Halldén.by J. C. C. McKinsey

Review by: Naoto Yonemitsu

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 337 KB

english, 1954

44

10.2307/2267654

Review by: Gene F. Rose

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 219 KB

english, 1954

45

JSL volume 19 issue 1 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 4.34 MB

english, 1954

46

JSL volume 19 issue 1 Cover and Back matter

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 7.58 MB

english, 1954

47

Related Citations

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 360 KB

english, 1954