Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Volume 18; Issue 2

Main
Journal of Symbolic Logic
Volume 18; Issue 2

Journal of Symbolic Logic

Volume 18; Issue 2

1

Front Matter

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 222 KB

english, 1953

2

An Extended Procedure in Quantificational Logic

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 956 KB

english, 1953

3

On Propositions Neither Necessary Nor Impossible

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 500 KB

english, 1953

4

Systems of Modal Logic Which are Not Unreasonable in the Sense of Halldén

J. C. C. McKinsey

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 447 KB

english, 1953

5

Paradox of the Class of All Grounded Classes

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 131 KB

english, 1953

6

Arithmetic with Creative Definitions by Induction

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 400 KB

english, 1953

7

On ω-Inconsistency and a So-Called Axiom of Infinity

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 757 KB

english, 1953

8

Investigation of the Equivalence of the Axiom of Choice and Zorn's Lemma from the Viewpoint of the Hierarchy of Types

J. Richard Büchi

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 920 KB

english, 1953

9

Some Formal Relative Consistency Proofs

Robert McNaughton

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 996 KB

english, 1953

10

Inner Models for Set Theory--Part III

J. C. Shepherdson

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 2.32 MB

english, 1953

11

The Continuum of Inductive Methodsby Rudolf Carnap

Review by: John G. Kemeny

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 341 KB

english, 1953

12

What Means "Relativity of Truth"?by Maria Kokoszyńska;A Refutation of the Relativism of Truthby Maria Kokoszynska

Review by: Carl G. Hempel

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 354 KB

english, 1953

13

Natural and Logistic Deductionby Józef Iwanicki

Review by: Henry Hiz

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 334 KB

english, 1953

14

An Essay in Modal Logicby Georg H. v. Wright

Review by: Alan Ross Anderson

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 486 KB

english, 1953

15

Interpretations of Modal Logicby G. H. von Wright

Review by: Alan Ross Anderson

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 351 KB

english, 1953

16

The Weak Theory of Implicationby Alonzo Church

Review by: Haskell B. Curry and William Craig

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 348 KB

english, 1953

17

Brief Bibliography of Formal Logicby Alonzo Church

Review by: Max Black

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 198 KB

english, 1953

18

The Logic of Programming Electronic Digital Computersby Arthur W. Burks

Review by: A. M. Turing

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 189 KB

english, 1953

19

The Axiom of Infinity in Quine's New Foundationsby J. Barkley Rosser

Review by: Václav Edvard Beneš

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 190 KB

english, 1953

20

Note on Arithmetic Models for Consistent Formulae of the Predicate Calculusby G. Kreisel

Review by: Hao Wang

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 353 KB

english, 1953

21

Recursive Functions and Intuitionistic Mathematicsby S. C. Kleene

Review by: Andrzej Mostowski

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 354 KB

english, 1953

22

On the Application of Symbolic Logic to Algebraby Abraham Robinson;Some Notions and Methods on the Borderline of Algebra and Metamathematicsby Alfred Tarski

Review by: H. E. Vaughan

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 205 KB

english, 1953

23

Further Citations

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 335 KB

english, 1953

24

Problems

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 169 KB

english, 1953

25

Fifteenth Meeting of the Association for Symbolic Logic

Atwell R. Turquette

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 865 KB

english, 1953

26

Back Matter

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 164 KB

english, 1953

27

New Notes on Simplicityby Nelson Goodman

Review by: Frederic B. Fitch

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 189 KB

english, 1953

28

A Note on the Theory of Quantificationby Moh Shaw-Kwei

Review by: Václav Edvard Beneš

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 350 KB

english, 1953

29

Such Stuff as Dreams are Made on -- in Mathematicsby Einar Hille

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 185 KB

english, 1953

30

Positivisme et Science. Première Partie. Analyse Logique du Postulat de Vérificabilité.by Henryk Mehlberg

Review by: Carl G. Hempel

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 529 KB

english, 1953

31

Howes Davis. On Mr. Korzybski's vision. American scientist, vol. 41 (1953), pp. 112–113.Rapoport Anatol. Comments by Dr. Rapoport. American scientist, vol. 41 (1953), pp. 113–114.Hiz Henry. Statement by Dr. Hiz. American scientist, vol. 41 (1953), p. 114.Rapoport Anatol. Comments by Dr. Rapoport. American scientist, vol. 41 (1953), pp. 114–115.Potter Alden. Statement by Dr. Potter. American scientist, vol. 41 (1953), pp. 115, 124.Rapoport Anatol. Statement by Dr. Rapoport. American scientist, vol. 41 (1953), p. 124.

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 69 KB

english, 1953

32

Hayakawa S. I.. Semantics. ETC.: A review of general semantics, vol. 9 no. 4 (1952), pp. 243–257.Rapoport Anatol. What is semantics? ETC.: A review of general semantics, vol. 10 no. 1 (1952), pp. 12–24. A reprint of XVII 216.Martin Norman M.. Review of Hayakawa's Language in thought and action. Synthese, vol. 8 (1950–1952), pp. 93–94.Huntington Edward V. and Ladd-Franklin Christine. Logic, Symbolic. The encyclopedia Americana, 1952 edn., Americana Corporation, New York and Chicago 1952, vol. 17, pp. 568–573.

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 165 KB

english, 1953

33

Problems in symbolic logic

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 70 KB

english, 1953

34

JSL volume 18 issue 2 Cover and Front matter

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 4.71 MB

english, 1953

35

JSL volume 18 issue 2 Cover and Back matter

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 4.65 MB

english, 1953

36

Institutional contributing subscribers to the Journal

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 70 KB

english, 1953

37

Elections

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 88 KB

english, 1953

38

Notice of a meeting of the association for symbolic logic

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 88 KB

english, 1953

39

Related Citations

Journal:

Journal of Symbolic Logic

Année:

1953

Langue:

english

Fichier:

PDF, 162 KB

english, 1953