Volume 21; Issue 4

Journal of Symbolic Logic

Volume 21; Issue 4
1

The Notion of "Tautology."by Thomas Storer

Review by: J. F. Thomson
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 231 KB
english, 1956
2

A Note on Existence Propositionsby R. Harré

Review by: Nicholas Rescher
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 243 KB
english, 1956
3

Strict Implication, Entailment, and Modal Iterationby Arthur Pap

Review by: T. J. Smiley
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 241 KB
english, 1956
4

Meaning and Implicationby Jonathan Bennett

Review by: T. J. Smiley
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 354 KB
english, 1956
5

The Rise of Scientific Philosophyby Hans Reichenbach

Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 204 KB
english, 1956
7

Further Citations

Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 274 KB
english, 1956
8

Recursive Functions in Basic Logic

Frederic B. Fitch
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 737 KB
english, 1956
9

Alternative Postulate Sets for Lewis's S5

E. J. Lemmon
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 341 KB
english, 1956
10

Intuitionism. An Introductionby A. Heyting

Review by: Sigekatu Kuroda
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 662 KB
english, 1956
11

On the Calculus of Problemsby B. Ú. Pil'čak

Review by: Helena Rasiowa
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 204 KB
english, 1956
13

A New Proof of the Church-Rosser Theoremby H. B. Curry

Review by: J. Barkley Rosser
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 329 KB
english, 1956
15

Foundations of Mathematicsby Zyoiti Suetuna

Review by: Takeo Sugihara
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 193 KB
english, 1956
17

Logical Analysis--Its Nature and Its Limitsby Masaharu Sawai

Review by: Takeo Sugihara
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 320 KB
english, 1956
18

On Carnap's Empiricismby Shigeo Nagai

Review by: Takeo Sugihara
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 228 KB
english, 1956
19

A Study of Analytic Truth and Empirical Knowledge in C. I. Lewisby Masumi Honke

Review by: Takeo Sugihara
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 228 KB
english, 1956
20

A Note on Modal Systems, von Wright's M and Lewis's SIby Naoto Yonemitsu

Review by: Alan Ross Anderson
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 228 KB
english, 1956
21

A Note on the Logic of Obligationby A. N. Prior

Review by: Alan Ross Anderson
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 228 KB
english, 1956
22

Further Problems of Derived Obligationby R. N. McLaughlin

Review by: E. J. Lemmon
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 338 KB
english, 1956
23

On the Paradox of Grounded Classesby Richard Montague

Review by: Gert Heinz Müller
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 232 KB
english, 1956
24

Het Semantisch Waarheidsbegrip en de Grondslagen der Semantiekby Alfred Tarski

Review by: Alfons Borgers
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 232 KB
english, 1956
26

Le Paradoxe du "Sorite" d'Eubulide de Mégare.by E. W. Beth

Review by: J. F. Thomson
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 241 KB
english, 1956
27

Propositions, Sentences, and the Semantic Definition of Truthby Arthur Pap

Review by: J. F. Thomson
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 348 KB
english, 1956
29

Mindby D. S. Shwayder

Review by: J. F. Thomson
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 244 KB
english, 1956
30

Existence Assumptions and Contingent Meaningfulnessby N. L. Wilson

Review by: Nicholas Rescher
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 354 KB
english, 1956
32

Mr. Quine on Meaning, Naming, and Purporting to Nameby Virgil C. Aldrich

Review by: E. J. Lemmon
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 369 KB
english, 1956
33

On the Berkeley-Russell Theory of Proper Namesby R. M. Martin

Review by: J. Dopp
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 375 KB
english, 1956
34

Bolzano's Propositional Logicby Y. Bar-Hillel

Review by: J. Dopp
Journal:
Journal of Symbolic Logic
Year:
1956
File:
PDF, 334 KB
1956
38

Du Jugement Hypothétique.by Roman Ingarden

Review by: Rose Rand
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 423 KB
english, 1956
39

Causal Implicationby G. P. Henderson

Review by: T. J. Smiley
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 249 KB
english, 1956
40

Incompatible Hypotheticals and the Barber Shop Paradoxby A. J. Baker

Review by: T. J. Smiley
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 354 KB
english, 1956
41

What the Tortoise Taught Usby D. G. Brown

Review by: Jonathan Bennett
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 360 KB
english, 1956
42

Vacuous Variants and Truth by Conventionby Erik Gótlind

Review by: Jonathan Bennett
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 247 KB
english, 1956
43

Philosophie et Sciencesby I. M. Bocheński

Review by: Jonathan Bennett
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 339 KB
english, 1956
47

Analysis of Relay-Contact Networksby Aleksy Kolpiński

Review by: Zdzisław Pawlak
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 215 KB
english, 1956
48

[untitled]

Review by: Zdzisław Pawlak
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 216 KB
english, 1956
49

[untitled]

Review by: Zdzisław Pawlak
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 327 KB
english, 1956
51

On Tests for Electric Circuitsby S. V. Áblonskij; I. A. Čégis

Review by: E. J. Cogan
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 344 KB
english, 1956
52

A Rectifier Algebraby David H. Schaefer

Review by: Raymond J. Nelson
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 242 KB
english, 1956
53

Le Logiche Polivalenti e Non Aristotelicheby Giuseppe Vaccarino

Review by: E. J. Lemmon
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 242 KB
english, 1956
54

A Formalisation of Post's m-Valued Propositional Calculusby Alan Rose

Review by: William T. Parry
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 351 KB
english, 1956
55

Tautology Tessellationsby D. P. Henry

Review by: Alan Rose
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 236 KB
english, 1956
57

Some Remarks Concerning Identityby Yoemon Sampei

Review by: Wilhelm Ackermann
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 187 KB
english, 1956
59

Arithmetic Translations of Axiom Systemsby Hao Wang

Review by: Richard Montague
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 289 KB
english, 1956
62

Contributions to the Theory of Modelsby Alfred Tarski

Review by: E. J. Cogan
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 337 KB
english, 1956
65

Normal Algorithms and Recursive Functionsby V. K. Détlovs

Review by: Andrzej Ehrenfeucht
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 247 KB
english, 1956
66

On Cauchy's Theorem in Constructive Analysisby G. S. Cejtin

Review by: F. J. Cogan
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 352 KB
english, 1956
70

List of Officers and Members of the Association for Symbolic Logic

Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 1.18 MB
english, 1956
71

Two Semantical Paradoxesby Shen Yuting

Review by: Gert Heinz Müller
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 232 KB
english, 1956
72

La Formalisation de la Logiqueby Joseph Dopp

Review by: J. F. Thomson
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 244 KB
english, 1956
74

The Independence of a Weak Axiom of Choice

Elliott Mendelson
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 1.23 MB
english, 1956
75

Gödel's Proof.by Ernest Nagel; James R. Newman

Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 223 KB
english, 1956
77

10.2307/2268359

Review by: Leon Henkin
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 339 KB
english, 1956
80

JSL volume 21 issue 4 Cover and Front matter and Errata

Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 6.93 MB
english, 1956
81

Institutional contributing subscribers to the Journal

Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 53 KB
english, 1956
82

List of officers and members of the Association for Symbolic Logic

Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 714 KB
english, 1956
83

Related Citations

Journal:
Journal of Symbolic Logic
Year:
1956
File:
PDF, 119 KB
1956
84

Arithmetical Predicates and Function Quantifiersby S. C. Kleene

Review by: Werner Markwald
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 364 KB
english, 1956
85

Aristotle and the Sea Battleby G. E. M. Anscombe

Review by: E. J. Lemmon
Journal:
Journal of Symbolic Logic
Year:
1956
Language:
english
File:
PDF, 407 KB
english, 1956