Volume 20; Issue 1

Main
Journal of Symbolic Logic
Volume 20; Issue 1

Journal of Symbolic Logic

Volume 20; Issue 1

1

Solvable and Unsolvable Problemsby A. M. Turing

Review by: S. C. Kleen

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 200 KB

english, 1955

2

On the Consistency of an Axiom of Enumerability

Václav Edvard Beneš

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 232 KB

english, 1955

3

A Note on Reichenbach's Class Calculusby Romane Clark

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 200 KB

english, 1955

4

Téoriá Algorifmov (Az Algoritmusok Elemélete.by A. A. Markov

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 197 KB

english, 1955

5

Note on Ayer's Concept of Negationby William Gerber

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 191 KB

english, 1955

6

Introduction to Symbolic Logicby A. H. Basson; D. J. O'Connor

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 378 KB

english, 1955

7

More on Negationby Romane Clark

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 297 KB

english, 1955

8

Das Axiomensystem von Erhard Schmidt für die Menge der Naturlichen Zahlen.by Hans Rohrbach

Review by: B. Germansky

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 217 KB

english, 1955

9

The Relations of Symbolic Logic and Comparative Linguisticsby A. J. J. De Witte

Review by: Noam Chomsky

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 221 KB

english, 1955

10

Burks Arthur W., Warren Don W., and Wrights Jesse B.. An analysis of a logical machine using parenthesis-free notation. Mathematical tables and other aids to computation, vol. 8 (1954), pp. 53–57.

Nelson, Raymond J.

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 226 KB

english, 1955

11

Shen Yuting. Paradox of the class of all grounded classes. The journal of symbolic logic, vol. 18 (1953), p. 114.Stanley Robert L.. Note on a paradox. The journal of symbolic logic, vol. 18 (1953), p. 233.

Müller, Gert H.

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 214 KB

english, 1955

12

Sur quelques simplifications de la théorie axiomatique d'ensembles de von Neumann (O některých zjednodušeních von Neumannovy axiomatické theorie množin).by Miloš Neubauer

Review by: Raphael M. Robinson

Journal:

Journal of Symbolic Logic

Year:

1955

File:

PDF, 224 KB

1955

13

Sur quelques simplifications de la théorie axiomatique d'ensembles de von Neumann (O některých zjednodušeních von Neumannovy axiomatické theorie množin).by Miloš Neubauer

Review by: Raphael M. Robinson

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 224 KB

english, 1955

14

Sketch for an Algebra of Relay and Contractor Circuitsby G. A. Montgomerie

Review by: Raymond J. Nelson

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 328 KB

english, 1955

15

The Hypothesis That All Classes are Nameableby John Myhill

Review by: Václav Edvard Beneš

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 213 KB

english, 1955

16

The Amsterdam Meeting of the Association for Symbolic Logic

E. W. Beth and Robert Feys

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 609 KB

english, 1955

17

Undecidable Sentences Generated by Semantic Paradoxes

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 965 KB

english, 1955

18

Zur Widerspruchsfreiheit einer Typenfreien Logikby Kurt Schütte

Review by: W. Ackermann

Journal:

Journal of Symbolic Logic

Year:

1955

File:

PDF, 227 KB

1955

19

Coherence and the Axioms of Confirmation

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 2.51 MB

english, 1955

20

Two Notes on Recursively Enumerable Setsby J. C. E. Dekker

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 333 KB

english, 1955

21

Symbolism in Mathematics and Logicby J. J. Callahan

Review by: Noam Chomsky

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 245 KB

english, 1955

22

A Simplification of Basic Logicby Frederic B. Fitch;A Definition of Negation in Extended Basic Logicby Frederic B. Fitch

Review by: Burton Dreben

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 222 KB

english, 1955

23

On Carnap's Views on Ontologyby W. V. Quine

Review by: John Myhill

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 329 KB

english, 1955

24

Further Citations

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 398 KB

english, 1955

25

The Permutability of Rules in the Classical Inferential Calculusby Haskell B. Curry

Review by: W. Ackermann

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 340 KB

english, 1955

26

Truthby A. J. Ayer

Review by: Carl G. Hempel

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 233 KB

english, 1955

27

The Logic of Negative Terms in Boethiusby A. N. Prior;On Some Consequentiae in Walter Burleighby A. N. Prior

Review by: Johannes Bendiek

Journal:

Journal of Symbolic Logic

Year:

1955

File:

PDF, 221 KB

1955

28

On Existential Theorems in Non-Classical Functional Calculiby H. Rasiowa; R. Sikorski

Review by: Leon Henkin

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 221 KB

english, 1955

29

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 255 KB

english, 1955

30

Nomological Statements and Admissible Operationsby Hans Reichenbach

Review by: Carl G. Hempel

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 678 KB

english, 1955

31

Truth and Consequence in Mediaeval Logicby Ernest A. Moody

Review by: Philotheus Boehner

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 334 KB

english, 1955

32

Ayer's Analysis of Negationby Richard Taylor

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 219 KB

english, 1955

33

Some Classes of Recursive Functionsby Andrzej Grzegorczyk

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 344 KB

english, 1955

34

Arithmetic Models for Formal Systemsby Hao Wang

Review by: Solomon Feferman

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 366 KB

english, 1955

35

A Simplified Proof of the Reduction of all Modalities to 42 in S3by Robert Feys

Review by: William T. Parry

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 233 KB

english, 1955

36

Transzfinit Rekurziók (a Matematika Alapjai és a Rekurzív Függvények)by Rózsa Péter

Review by: John G. Kemeny

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 218 KB

english, 1955

37

Versuch einer "Verjüngung" des Logischen Quadrates.by Henryk Greniewski;The Square of Opposition--A New Approachby Henryk Greniewski

Review by: Johannes Bendiek

Journal:

Journal of Symbolic Logic

Year:

1955

File:

PDF, 328 KB

1955

38

Zur Logik als Lehre von Identität und Verschiedenheit.by Bruno Baron von Freytag Löringhoff

Review by: A. N. Prior

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 241 KB

english, 1955

39

The Synthesis of Sequential Switching Circuitsby D. A. Huffman

Review by: Raymond J. Nelson

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 341 KB

english, 1955

40

Many-Valued Logicsby J. B. Rosser; A. R. Turquette

Review by: Boleslaw Sobociński

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 761 KB

english, 1955

41

Professor Goodman's Concept of an Individualby Victor Lowe

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 229 KB

english, 1955

42

Analytic Truth and "Implicit Definitions."by Arthur Pap

Review by: Carl G. Hempel

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 241 KB

english, 1955

43

Symposium: On the Ontological Significance of the Löwenheim-Skolem Theorem.by John R. Myhill

Review by: A. R. Turquette

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 250 KB

english, 1955

44

10.2307/2268086

Review by: Andrzej Mostowski

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 218 KB

english, 1955

45

What is an Individual?by Hao Wang

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 333 KB

english, 1955

46

Distributive Normal Forms in the Calculus of Predicatesby K. Jaakko; J. Hintikka

Review by: Theodore Hailperin

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 343 KB

english, 1955

47

Do Words Mean Anything?by A. M. MacIver

Review by: Noam Chomsky

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 352 KB

english, 1955

48

On a Pseudo-Test of Translationby Nelson Goodman

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 223 KB

english, 1955

49

Individualsby A. J. Ayer

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 218 KB

english, 1955

50

Symposium: On the Ontological Significance of the Löwenheim-Skolem Theorem.by George D. W. Berry

Review by: A. R. Turquette

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 231 KB

english, 1955

51

Symposium: Justification in Scienceby Frederic B. Fitch

Review by: A. R. Turquette

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 356 KB

english, 1955

52

The Elimination Theorem When Modality is Presentby Haskell B. Curry

Review by: Wilhelm Ackermann

Journal:

Journal of Symbolic Logic

Year:

1955

File:

PDF, 227 KB

1955

53

Symposium: Justification in Scienceby Arthur W. Burks

Review by: A. R. Turquette

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 237 KB

english, 1955

54

Le Statut Logique des Individusby A. J. Ayer;Professor Ayer on Individualsby Peter A. Carmichael

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 218 KB

english, 1955

55

De Boecio a Alberto de Sajonia: Un Fragmento de Historia de la Lógica.by Jose Ferrater Mora

Review by: Johannes Bendiek

Journal:

Journal of Symbolic Logic

Year:

1955

File:

PDF, 221 KB

1955

56

Zu den Parallelreihentransformationen in Schröders "Algebra und Logik der Relative."by Heinrich Behmann

Review by: Th. Skolem

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 212 KB

english, 1955

57

The Synthesis of Two-Terminal Switching Circuitsby Claude E. Shannon

Review by: Raymond J. Nelson

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 229 KB

english, 1955

58

A Finitary Metalanguage for Extended Basic Logicby John Myhill

Review by: Burton Dreben

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 276 KB

english, 1955

59

Zum Problem der Konstitution von Bedeutungby Hans Heinz Holz;Language and Hypostatizationby H. G. Alexander;Was ist Konventionalismus? Zum 50jährigen Jubiläum des Erscheinens der deutschen Austschen Ausgabe von Henri Poincarés Wissenschaft und Hypothese.by Hugo Dingler;La Définition des Nombres par leur valeur Numérique et par leur Origine; Rôle de ce Concept en Philosophie Mathématique.by Dimitri Riabouchinsky;La Matemática como Ciencia de Estructuras Formales (Dialectica) y como ciencia de Estructuras Reales (Ciencia Natural).by Miguel Sanchez-Mazas;A Synoptic Index to the Proceedings of the Aristotelian Society 1900-1949by J. W. Scott

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 345 KB

english, 1955

60

The Amsterdam meeting of the Association for Symbolic Logic

Beth, E. W., Feys, Robert

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 371 KB

english, 1955

61

Quine W. V.. On Carnap's views on ontology. Philosophical studies, vol. 2 (1951), pp. 65–72.

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 158 KB

english, 1955

62

JSL volume 20 issue 1 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 6.71 MB

english, 1955

63

JSL volume 20 issue 1 Cover and Back matter

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 5.88 MB

english, 1955

64

Notice of a meeting of the Association for Symbolic Logic

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 36 KB

english, 1955

65

Related Citations

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 206 KB

english, 1955

66

The Vienna Circle. The Origin of Neo-Positivism. A Chapter in the History of Recent Philosophyby Victor Kraft

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 343 KB

english, 1955

67

Nature et Possibilités de la Logique Formalisée.by Robert Feys;La Formalisation comme Suggestion Rigoureuseby Robert Feys

Review by: A. R. Turquette

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 245 KB

english, 1955

68

Logic of Negationless Intuitionistic Mathematicsby G. F. C. Griss

Review by: P. G. J. Vredenduin

Journal:

Journal of Symbolic Logic

Year:

1955

File:

PDF, 342 KB

1955

69

Formal Development of Ordinal Number Theory

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 887 KB

english, 1955

70

A Propos d'une Reduction Fallacieuse des Notions d'Existence et de Vérité.by Franz Crahay

Review by: Carl G. Hempel

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 258 KB

english, 1955

71

Algebraic Treatment of the Notion of Satisfiabilityby H. Rasiowa; R. Sikorski

Review by: Leon Henkin

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 455 KB

english, 1955

72

An Embedding Theorem for Semigroups with cancellationby Trevor Evans

Review by: Walter J. Feeney

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 336 KB

english, 1955

73

Metamathematical Consideration of Algebraby W. Peremans

Review by: Alfons Borgers

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 274 KB

english, 1955

74

A Proof of the Compactness Theorem for Arithmetical Classesby H. Rasiowa

Review by: Solomon Feferman

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 248 KB

english, 1955

75

Remarks on Identity and Description in First-Order Axiom Systemsby Theodore Hailperin

Review by: William Craig

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 447 KB

english, 1955

76

What Kind of Discipline is Logic?by Stephen Toulmin

Review by: Carl G. Hempel

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 373 KB

english, 1955

77

An Analysis of a Logical Machine Using Parenthesis-Free Notationby Arthur W. Burks; Don W. Warren; Jesse B. Wright

Review by: Raymond J. Nelson

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 348 KB

english, 1955

78

Reduction of the Decision Problem to the Satisfiability Question of Logical Formulae on a Finite Setby László Kalmár

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1955

File:

PDF, 289 KB

1955

79

Negationby A. J. Ayer

Review by: Charles A. Baylis

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 337 KB

english, 1955

80

Volume Information

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 253 KB

english, 1955