books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 16; Issue 4
Main
Journal of Symbolic Logic
Volume 16; Issue 4
Journal of Symbolic Logic
Volume 16; Issue 4
1
Zur Theorie der Aussagenlogischen Matrizenby Hans Hermes
Review by: H. Hiż
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 200 KB
Your tags:
english, 1951
2
Ensembles, Espèces et Logique.by François Moch
Review by: Paul Bernays
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 200 KB
Your tags:
english, 1951
3
General Recursive Functionsby Julia Robinson
Review by: Martin Davis
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 207 KB
Your tags:
english, 1951
4
n-Valued Boolean Algebraby Paul Henle
Review by: Alfred L. Foster
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 304 KB
Your tags:
english, 1951
5
The Theory of Appearingby Roderick M. Chisholm
Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 210 KB
Your tags:
english, 1951
6
List of Officers and Members of the Association for Symbolic Logic
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 706 KB
Your tags:
english, 1951
7
Volume Information
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 210 KB
Your tags:
english, 1951
8
Front Matter
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 219 KB
Your tags:
english, 1951
9
On the Interpretation of Non-Finitist Proofs--Part I
G. Kreisel
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 2.08 MB
Your tags:
english, 1951
10
Methods of Logicby Willard Van Orman Quine
Review by: A. R. Turquette
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 204 KB
Your tags:
english, 1951
11
A Demonstrably Consistent Mathematicsby Frederic B. Fitch
Review by: R. M. Martin
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 306 KB
Your tags:
english, 1951
12
Axiom Schemes for m-Valued Functional Calculi of First Order. Part II. Deductive Completenessby J. B. Rosser; A. R. Turquette
Review by: Burton Spencer Dreben
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 207 KB
Your tags:
english, 1951
13
Algebraische und Logistische Untersuchungen Ūber Freie Verbände.by Paul Lorenzen
Review by: Hao Wang
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 538 KB
Your tags:
english, 1951
14
On the Rules of Proof in the Pure Functional Calculus of the First Orderby Andrzej Mostowski
Review by: G. D. W. Berry
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 206 KB
Your tags:
english, 1951
15
Extensions of the Lewis System S5by Schiller Joe Scroggs
Review by: Naoto Yonemitsu
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 319 KB
Your tags:
english, 1951
16
Towards a Consistent Set-Theoryby John Myhill
Review by: W. V. Quine
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 201 KB
Your tags:
english, 1951
17
A Construction for Models of Consistent Systemsby I. L. Novak
Review by: Th. Skolem
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 319 KB
Your tags:
english, 1951
18
Some Impredicative Definitions in the Axiomatic Set-Theoryby Andrzej Mostowski
Review by: Th. Skolem
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 313 KB
Your tags:
english, 1951
19
Conditioned Disjunction as a Primitive Connective for the m-Valued Propositional Calculusby Alan Rose
Review by: A. R. Turquette
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 200 KB
Your tags:
english, 1951
20
Some Analogues of the Sheffer Stroke Function in n-Valued Logicby Norman M. Martin
Review by: Alan Rose
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 306 KB
Your tags:
english, 1951
21
A New Proof of a Theorem of Dienesby Alan Rose
Review by: Nicholas Rescher
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 195 KB
Your tags:
english, 1951
22
Mathematicsby Edmund Whittaker
Review by: Nicholas Rescher
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 195 KB
Your tags:
english, 1951
23
Symbolic Logicby John E. Pfeiffer; Robert S. Hahn; O. F. Krause; Charles Bomgren; Alexander B. Morris; J. C. Brown; Charles E. Bures; Mark I. Halpern; John E. Pfeiffer
Review by: Nicholas Rescher
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 196 KB
Your tags:
english, 1951
24
Axiom Systems for Three-Valued Logicby Alan Rose
Review by: Nicholas Rescher
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 226 KB
Your tags:
english, 1951
25
The Logic of Causal Propositionsby Arthur W. Burks
Review by: Nicholas Rescher
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 322 KB
Your tags:
english, 1951
26
On Systems of Strict Implicationby Naoto Yonemitsu
Review by: Sören Halldén
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 191 KB
Your tags:
english, 1951
27
Remarque Sur les Notions d'Indépendance et de Non-Contradiction.by Alan Rose
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 192 KB
Your tags:
english, 1951
28
The Representation of Relational Algebrasby Roger C. Lyndon
Review by: C. J. Everett
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 305 KB
Your tags:
english, 1951
29
Rekursive Funktionenby Rózsa Péter
Review by: Raphael M. Robinson
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 434 KB
Your tags:
english, 1951
30
Über die vollständigkeit der Axiomensysteme mit Einem Endlichen Individuenbereich.by Paul Kustaanheimo
Review by: William Craig
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 325 KB
Your tags:
english, 1951
31
Introducción a la Lógica y a la Metodología de las Ciencias Deductivas.by Alfred Tarski; T. R. Bachiller; J. R. Fuentes
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 327 KB
Your tags:
english, 1951
32
Selectionsby G. W. v. Leibniz; Philip P. Wiener
Review by: Robert E. Luce
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 327 KB
Your tags:
english, 1951
33
Consciousness and Behavior. A Neural Analysis of Behavior and of Consciousnessby James T. Culbertson
Review by: A. S. Householder
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 326 KB
Your tags:
english, 1951
34
History of Philosophyby Władysław Tatarkiewicz
Review by: H. Hiż
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 207 KB
Your tags:
english, 1951
35
The Nature and Application of Inductive Logic, Consisting of Six Sections from: Logical Foundations of Probabilityby Rudolf Carnap
Review by: John G. Kemeny
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 207 KB
Your tags:
english, 1951
36
The Logic of Termsby James Wilkinson Miller; Paul Henle; Horace M. Kallen; Susanne K. Langer
Review by: Ivo Thomas
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 317 KB
Your tags:
english, 1951
37
The Ordered Pair in Number Theoryby W. V. Quine
Review by: J. Barkley Rosser
Journal:
Journal of Symbolic Logic
Year:
1951
File:
PDF, 195 KB
Your tags:
1951
38
Philosophische Grundlagen der Quantenmechanikby Hans Reichenbach
Review by: G. Hasenjaeger
Journal:
Journal of Symbolic Logic
Year:
1951
File:
PDF, 306 KB
Your tags:
1951
39
An Algebraic Characterization of Quantifiersby Leon Henkin
Review by: Wilhelm Ackermann
Journal:
Journal of Symbolic Logic
Year:
1951
File:
PDF, 319 KB
Your tags:
1951
40
Sobre la Substitución de las Variables Funcionales en el Cálculo Functional de Primer Orden.by Gonzalo Zubieta R
Review by: Maurice L'Abbé
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 210 KB
Your tags:
english, 1951
41
L'Infini en Logique et les Éléments Définis et non Calculables.by Daniel Dugué
Review by: A. R. Turquette
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 210 KB
Your tags:
english, 1951
42
Interpretation von Kalkülen.by Wilhelm Britzelmayr
Review by: Roderick M. Chisholm
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 246 KB
Your tags:
english, 1951
43
Der Begriff der Funktion in der Symbolischen Logikby Karl Dürr
Review by: Roderick M. Chisholm
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 246 KB
Your tags:
english, 1951
44
Revue internationale de philosophicby Bertrand Russell
Review by: Mieczyslaw Choynowski
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 890 KB
Your tags:
english, 1951
45
Philosophical Analysisby Max Black
Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 331 KB
Your tags:
english, 1951
46
Basic Propositionsby A. J. Ayer
Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 210 KB
Your tags:
english, 1951
47
De Principiis non Disputandum ...?by Herbert Feigl
Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 211 KB
Your tags:
english, 1951
48
Substratumby Morris Lazerowitz
Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 210 KB
Your tags:
english, 1951
49
Entailment and Necessary Propositionsby C. Lewy
Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 313 KB
Your tags:
english, 1951
50
The Verification Argumentby Norman Malcolm
Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 192 KB
Your tags:
english, 1951
51
"If," "So," and "Because."by Gilbert Ryle
Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 192 KB
Your tags:
english, 1951
52
Generalization and Evidenceby Frederick L. Will
Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 193 KB
Your tags:
english, 1951
53
Counter-Intuitivity and the Method of Analysisby Richard Rudner
Review by: J. F. Thomson
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 250 KB
Your tags:
english, 1951
54
Existence and Coherenceby Ivo Thomas
Review by: C. Lewy
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 250 KB
Your tags:
english, 1951
55
The Analysis of Conditional Sentencesby D. J. O'Connor
Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 352 KB
Your tags:
english, 1951
56
Language, Thought and Meaningby Shen Yu-Ting
Review by: Hao Wang
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 328 KB
Your tags:
english, 1951
57
Characteristics of Scientific Empiricism and Comments Thereonby Yin Fu-Sheng
Review by: Hao Wang
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 164 KB
Your tags:
english, 1951
58
Further Citations
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 139 KB
Your tags:
english, 1951
59
Index of Reviews: Volumes XV, XVI
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 1.64 MB
Your tags:
english, 1951
60
On the Semantic Non-Completeness of Certain Lewis Calculiby Sörend Halldén
Review by: W. T. Parry
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 201 KB
Your tags:
english, 1951
61
Errata
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 194 KB
Your tags:
english, 1951
62
Zur Wahrheitsstruktur des Urteilsby Albert Menne
Review by: Nicholas Rescher
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 219 KB
Your tags:
english, 1951
63
The Development of Logical Empiricismby Joergen Joergensen;Postcriptby Norman M. Martin
Review by: Victor Kraft
Journal:
Journal of Symbolic Logic
Year:
1951
File:
PDF, 223 KB
Your tags:
1951
64
Die Dualität des Verstandes.by Yrjö Reenpää
Review by: Carl G. Hempel
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 376 KB
Your tags:
english, 1951
65
Phenomenalismby Paul Marhenke
Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 221 KB
Your tags:
english, 1951
66
Lógica Elementar.by Vieira de Almeida
Review by: Robert E. Luce
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 355 KB
Your tags:
english, 1951
67
Two-Valued Truth Tables for Modal Functionsby Henry S. Leonard
Review by: Jan Kalicki
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 233 KB
Your tags:
english, 1951
68
A Note on Probabilityby John Wisdom
Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 271 KB
Your tags:
english, 1951
69
Ayer A. J.. Basic propositions. Philosophical analysis, A collection of essays, edited by Black Max, Cornell University Press, Ithaca, N. Y., 1950, pp. 60–74.
Baylis, Charles A.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 482 KB
Your tags:
english, 1951
70
Leonard Henry S.. Two-valued truth tables for modal functions. Structure, method and meaning, Essays in honor of Henry M. Sheffer, edited by Henle Paul, Kallen Horace M., and Langer Susanne K., The Liberal Arts Press, New York 1951, pp. 42–67.
Kalicki, Jan
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 256 KB
Your tags:
english, 1951
71
O'Connor D. J.. The analysis of conditional sentences. Mind, n.s., vol. 60 (1951), pp. 351–362.
Baylis, Charles A.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 171 KB
Your tags:
english, 1951
72
Quine Willard Van Orman. Methods of logic. Henry Holt & Company, New York 1950, xx + 264 pp.
Turquette, A. R.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 88 KB
Your tags:
english, 1951
73
Rose Alan. Axiom systems for three-valued logic. The journal of the London Mathematical Society, vol. 26 (1951), pp. 50–58.
Rescher, Nicholas
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 79 KB
Your tags:
english, 1951
74
Menne Albert. Zur Wahrheitsstruktur des Urteils. Methodos, vol. 1 (1949), pp. 390–404.
Rescher, Nicholas
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 82 KB
Your tags:
english, 1951
75
Moch François. Ensembles, espèces et logique. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 232 (1951), pp. 201–202.
Bernays, Paul
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 86 KB
Your tags:
english, 1951
76
Tatarkiewicz Władysław. Historia filozofii (History of philosophy). Vol. 3. Filozofia XIX wieku i współczesna (Nineteenth century and contemporary philosophy). Czytelnik, Warsaw 1950, 602 pp.
Hiż, H.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 90 KB
Your tags:
english, 1951
77
Lazerowitz Morris. Substratum. Philosophical analysis, A collection of essays, edited by Black Max, Cornell University Press, Ithaca, N. Y., 1950, pp. 176–194.
Baylis, Charles A.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 413 KB
Your tags:
english, 1951
78
Wisdom John. A note on probability. Philosophical analysis, A collection of essays, edited by Black Max, Cornell University Press, Ithaca, N. Y., 1950, pp. 414–420.
Baylis, Charles A.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 188 KB
Your tags:
english, 1951
79
On the interpretation of non-finitist proofs—Part I
Kreisel, G.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 1.43 MB
Your tags:
english, 1951
80
Fitch Frederic B.. A demonstrably consistent mathematics. The journal of symbolic logic, vol. 15 (1950), pp. 17–24, and vol. 16 (1951), pp. 121–124.
Martin, R. M.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 168 KB
Your tags:
english, 1951
81
Rosser J. B. and Turquette A. R.. Axiom schemes for m-valued functional calculi of first order. Part II. Deductive completeness. The journal of symbolic logic, vol. 16 (1951), pp. 22–34. See Errata, ibid., p. iv.
Dreben, Burton Spencer
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 90 KB
Your tags:
english, 1951
82
Lorenzen Paul. Algebraische und logistische Untersuchungen über freie Verbände. The journal of symbolic logic, vol. 16 (1951), pp. 81–106.
Wang, Hao
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 338 KB
Your tags:
english, 1951
83
Mostowski Andrzej. On the rules of proof in the pure functional calculus of the first order. The journal of symbolic logic, vol. 16 (1951), pp. 107–111.
Berry, G. D. W.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 89 KB
Your tags:
english, 1951
84
Scroggs Schiller Joe. Extensions of the Lewis system S5. The journal of symbolic logic, vol. 16 (1951), pp. 112–120.
Yonemitsu, Naoto
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 168 KB
Your tags:
english, 1951
85
Halldén Sören. On the semantic non-completeness of certain Lewis calculi. The journal of symbolic logic, vol. 16 (1951), pp. 127–129.
Parry, W. T.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 90 KB
Your tags:
english, 1951
86
Myhill John. Towards a consistent set-theory. The journal of symbolic logic, vol. 16 (1951), pp. 130–136. See Errata, ibid., p. iv.
Quine, W. V.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 90 KB
Your tags:
english, 1951
87
Novak I. L.. A construction for models of consistent systems. Fundamenta mathematicae, vol. 37 (for 1950, pub. 1951), pp. 87–110.
Skolem, Th.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 169 KB
Your tags:
english, 1951
88
Mostowski Andrzej. Some impredicative definitions in the axiomatic set-theory. Fundamenta mathematicae, vol. 37 (for 1950, pub. 1951), pp. 111–124.
Skolem, Th.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 167 KB
Your tags:
english, 1951
89
Hermes Hans. Zur Theorie der aussagenlogischen Matrizen. Mathematische Zeitschrift, vol. 53 no. 5 (1951), pp. 414–418.
Hiż, H.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 87 KB
Your tags:
english, 1951
90
Rose Alan. Conditioned disjunction as a primitive connective for the m-valued propositional calculus. Mathematische Annalen, vol. 123 (1951), pp. 76–78.
Turquette, A. R.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 87 KB
Your tags:
english, 1951
91
Martin Norman M.. Some analogues of the Sheffer stroke function in n-valued logic. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 53 (1950), pp. 1100–1107; also Indagationes mathematicae, vol. 12 (1950), pp. 393–400.
Rose, Alan
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 166 KB
Your tags:
english, 1951
92
Rose Alan. A new proof of a theorem of Dienes. Norsk matematish tidsskrift, vol. 33 (1951), pp. 27–29.
Rescher, Nicholas
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 88 KB
Your tags:
english, 1951
93
Sir Whittaker Edmund. Mathematics. Scientific American, vol. 183 no. 3 (1950), pp. 40–42.
Rescher, Nicholas
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 88 KB
Your tags:
english, 1951
94
Pfeiffer John E.. Symbolic logic. Scientific American, vol. 183 no. 6 (1950), pp. 22–24.Hahn Robert S., Krause O. F., Bomgren Charles, Morris Alexander B., Brown J. C., Bures Charles E., Halpern Mark I., Pfeiffer John E.. Letters. Scientific American, vol. 184 no. 2 (1951), pp. 2–6.
Rescher, Nicholas
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 88 KB
Your tags:
english, 1951
95
Burks Arthur W.. The logic of causal propositions. Mind, n.s. vol. 60 (1951), pp. 363–382.
Rescher, Nicholas
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 150 KB
Your tags:
english, 1951
96
Yonemitsu Naoto. On systems of strict implication. Tôhoku mathematical journal, ser. 2 vol. 3 (1951), pp. 48–58.
Halldén, Sören
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 82 KB
Your tags:
english, 1951
97
Rose Alan. Remarque sur les notions d'indépendence et de non-contradiction. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 233 (1951), pp. 512–513.
Church, Alonzo
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 86 KB
Your tags:
english, 1951
98
Lyndon Roger C.. The representation of relational algebras. Annals of mathematics, ser. 2 vol. 51 (1950), pp. 707–729.
Everett, C. J.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 167 KB
Your tags:
english, 1951
99
Robinson Julia. General recursive functions. Proceedings of the American Mathematical Society, vol. 1 no. 6 (for 1950, pub. 1951), pp. 703–718.
Davis, Martin
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 91 KB
Your tags:
english, 1951
100
Péter Rózsa. Rekursive Funktionen. Akadémiai Kiadó (Akademischer Verlag), Budapest 1951, 206 pp.
Robinson, Raphael M.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 257 KB
Your tags:
english, 1951
101
Kustaanheimo Paul. Über die Vollständigkeil der Axiomensysteme mit einem endlichen Individuenbereich. Annates Academiae Scientiarium Fennicae, Series A, I. Mathematica-Physica 63. Helsinki 1949, 44 pp.
Craig, William
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 177 KB
Your tags:
english, 1951
102
Tarski Alfred. Introducción a la lógica y a la metodología de las ciencias deductivas. Translated by Bachiller T. R. and Fuentes J. R.. Espase-Calpe Argentina, Buenos Aires and Mexico City 1951, 237 pp.
Church, Alonzo
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 180 KB
Your tags:
english, 1951
103
de Almeida Vieira. Lógica elementar. Collecção Stvdivm no. 38. Livraria Académica, Saraiva & C.a, São Paulo, Brazil, 1943, 186 pp.
Luce, Robert E.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 180 KB
Your tags:
english, 1951
104
Leibniz G. W. v.. Selections. Edited by Wiener Philip P.. The Modern Student's Library. Charles Scribner's Sons, New York 1951, li + 606 pp.
Luce, Robert E.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 176 KB
Your tags:
english, 1951
105
Culbertson James T.. Consciousness and behavior. A neural analysis of behavior and of consciousness. Wm. C. Brown Company, Dubuque 1950, xxi + 210 pp.
Householder, A. S.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 171 KB
Your tags:
english, 1951
106
Carnap Rudolf. The nature and application of inductive logic, consisting of six sections from: Logical foundations of probability. The University of Chicago Press, Chicago 1951, pp. i–viii, 161–202, 242–279.
Hiż, H.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 90 KB
Your tags:
english, 1951
107
Miller James Wilkinson. The logic of terms. Structure, method and meaning, Essays in honor of Henry M. Sheffer, edited by Henle Paul, Kallen Horace M., and Langer Susanne K., The Liberal Arts Press, New York 1951, pp. 35–41.
Thomas, Ivo
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 252 KB
Your tags:
english, 1951
108
Henle Paul. n-valued Boolean algebra. Structure, method and meaning, Essays in honor of Henry M. Sheffer, edited by Henle Paul, Kallen Horace M., and Langer Susanne K., The Liberal Arts Press, New York 1951, pp. 68–73.
Foster, Alfred L.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 256 KB
Your tags:
english, 1951
109
Quine W. V.. The ordered pair in number theory. Structure, method and meaning, Essays in honor of Henry M. Sheffer, edited by Henle Paul, Kallen Horace M., and Langer Susanne K., The Liberal Arts Press, New York 1951, pp. 84–87.
Rosser, J. Barkley
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 256 KB
Your tags:
english, 1951
110
Joergensen Joergen. The development of logical empiricism. International encyclopedia of unified science, Bd. 2 Heft 9. The University of Chicago Press, Chicago 1951, iii + 100 S.Martin Norman M.. Postcript. Darin, S. 91–99.Editor's note. Darin, S. 99–100.
Kraft, Victor
Journal:
Journal of Symbolic Logic
Year:
1951
File:
PDF, 85 KB
Your tags:
1951
111
Reichenbach Hans. Philosophische Grundlagen der Quantenmechanik. Übersetzt von Maria Reichenbach. Verlag Birkhäuser, Basel 1949, 198 S.
Hasenjaeger, G.
Journal:
Journal of Symbolic Logic
Year:
1951
File:
PDF, 166 KB
Your tags:
1951
112
Henkin Leon. An algebraic characterization of quantifiers. Fundamenta mathematicae, Bd. 37 (1950, veröff. 1951), S. 63–74.
Ackermann, Wilhelm
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
german
File:
PDF, 177 KB
Your tags:
german, 1951
113
Dugué Daniel. L'infini en logique et les éléments définis et non calculables. Bulletin de la Société Royale des Sciences de Liège, vol. 19 (1950), pp. 490–499.
Turquette, A. R.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 95 KB
Your tags:
english, 1951
114
Reenpää Yrjö. Die Dualität des Verstandes. Sitzungsberichte der Heidelberger Akademie der Wissenschaften, Mathematisch-naturwissenschaftliche Klasse, 1950, no. 7, pp. 341–414. Reprinted, Springer-Verlag, Heidelberg 1950, 76 pp.
Hempel, Carl G.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 170 KB
Your tags:
english, 1951
115
Britzelmayr Wilhelm. Interpretation von Kalkülen. Synthese, vol. 7 (1948–1949), pp. 50–57.
Chisholm, Roderick M.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 86 KB
Your tags:
english, 1951
116
Dürr Karl. Der Begriff der Funktion in der symbolischen Logik. Synthese, vol. 7 (1948–1949), pp. 418–427.
Chisholm, Roderick M.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 86 KB
Your tags:
english, 1951
117
Grzegorczyk Andrzej. The pragmatic foundations of semantics. Synthese, vol. 8 (1950–1951), pp. 300–324.
Chisholm, Roderick M.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 86 KB
Your tags:
english, 1951
118
Russell Bertrand. Logical positivism. Revue Internationale de philosophie (Brussels), vol. 4 (1950), pp. 3–19.Carnap Rudolf. Empiricism, semantics, and ontology. Revue Internationale de philosophie (Brussels), vol. 4 (1950), pp. 20–40.Hempel Carl G.. Problems and changes in the empiricist criterion of meaning. Revue Internationale de philosophie (Brussels), vol. 4 (1950), pp. 41–63.Feigl Herbert. The mind-body problem in the development of logical empiricism. Revue Internationale de philosophie (Brussels), vol. 4 (1950), pp. 64–83.Barzin Marcel. L'empirisme logique. Revue Internationale de philosophie (Brussels), vol. 4 (1950), pp. 84–94.Feigl Herbert. Selected bibliography of logical empiricism. Revue Internationale de philosophie (Brussel
Choynowski, Mieczysław
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 694 KB
Your tags:
english, 1951
119
Black Max. Introduction. Philosophical analysis, A collection of essays, edited by Black Max, Cornell University Press, Ithaca, N. Y., 1950, pp. 1–14.Ambrose Alice. The problem of linguistic inadequacy. Philosophical analysis, A collection of essays, edited by Black Max, Cornell University Press, Ithaca, N. Y., 1950, pp. 15–37.
Baylis, Charles A.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 409 KB
Your tags:
english, 1951
120
Chisholm Roderick M.. The theory of appearing. Philosophical analysis, A collection of essays, edited by Black Max, Cornell University Press, Ithaca, N. Y., 1950, pp. 102–118.
Baylis, Charles A.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 413 KB
Your tags:
english, 1951
121
Feigl Herbert. De principiis non disputandum …? Philosophical analysis, A collection of essays, edited by Black Max, Cornell University Press, Ithaca, N. Y., 1950, pp. 119–156.
Baylis, Charles A.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 413 KB
Your tags:
english, 1951
122
Lewy C.. Entailment and necessary propositions. Philosophical analysis, A collection of essays, edited by Black Max, Cornell University Press, Ithaca, N. Y., 1950, pp. 195–210.
Baylis, Charles A.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 413 KB
Your tags:
english, 1951
123
Malcolm Norman. The verification argument. Philosophical analysis, A collection of essays, edited by Black Max, Cornell University Press, Ithaca, N. Y., 1950, pp. 244–298.
Baylis, Charles A.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 413 KB
Your tags:
english, 1951
124
Marhenke Paul. Phenomenalism. Philosophical analysis, A collection of essays, edited by Black Max, Cornell University Press, Ithaca, N. Y., 1950, pp. 299–322.
Baylis, Charles A.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 413 KB
Your tags:
english, 1951
125
Ryle Gilbert. “If,” “so,” and “because.” Philosophical analysis, A collection of essays, edited by Black Max, Cornell University Press, Ithaca, N. Y., 1950, pp. 323–340.
Baylis, Charles A.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 413 KB
Your tags:
english, 1951
126
Will Frederick L.. Generalization and evidence. Philosophical analysis, A collection of essays, edited by Black Max, Cornell University Press, Ithaca, N. Y., 1950, pp. 384–413.
Baylis, Charles A.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 413 KB
Your tags:
english, 1951
127
Rudner Richard. Counter-intuitivity and the method of analysis. Philosophical studies, vol. 1 (1950), pp. 83–89.
Thomson, J. F.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 85 KB
Your tags:
english, 1951
128
Thomas Ivo. Existence and coherence. Methodos, vol. 2 no. 5 (1950), pp. 76–80.
Lewy, C.
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 85 KB
Your tags:
english, 1951
129
Yu-Ting Shen. Yü-yen, ssǔ-hsiang, yü i-i (Language, thought, and meaning). Che-hsüeh p'ing-lun (The philosophical review) (Chungking), vol. 8 no. 3 (1943), pp. 1–21.
Wang, Hao
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 185 KB
Your tags:
english, 1951
130
Fu-Sheng Yin. K'o-hsüeh-ching-yen-lun it cheng-hsing chi ch'i p'i-p'ing (Characteristics of scientific empiricism and comments thereon). Kuo-li T'aiwan-ta-hsüeh wen-shih-che hsüeh-pao (Taipei), no. 2 (1951), pp. 193–213.
Wang, Hao
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 54 KB
Your tags:
english, 1951
131
JSL volume 16 issue 4 Cover and Front matter and Errata
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 7.69 MB
Your tags:
english, 1951
132
List of officers and members of the Association for Symbolic Logic
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 451 KB
Your tags:
english, 1951
133
Index of reviews
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 1.12 MB
Your tags:
english, 1951
134
Related Citations
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 54 KB
Your tags:
english, 1951
135
Zubieta R. Gonzalo Sobre la substitución de las variables funcionales en el cáculo funcional de primer orden. Boletin de la Sociedad Matemática Mexicana, vol. 7 no. 1–2 (1950), pp. 1–21.
L'Abbé, Maurice
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 95 KB
Your tags:
english, 1951
136
The Pragmatic Foundations of Semanticsby Andrzej Grzegorczyk
Review by: Roderick M. Chisholm
Journal:
Journal of Symbolic Logic
Year:
1951
Language:
english
File:
PDF, 328 KB
Your tags:
english, 1951
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×