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 15; Issue 2
Main
Journal of Symbolic Logic
Volume 15; Issue 2
Journal of Symbolic Logic
Volume 15; Issue 2
1
Completeness in the Theory of Types
Leon Henkin
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 962 KB
Your tags:
english, 1950
2
Non-Standard Models for Formal Logics
J. Barkley Rosser and Hao Wang
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 1.48 MB
Your tags:
english, 1950
3
CS(n): An Extension of CSby Ivo Thomas
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 315 KB
Your tags:
english, 1950
4
Imperative Sentencesby R. M. Hare
Review by: J. C. C. McKinsey
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 191 KB
Your tags:
english, 1950
5
Dialectique et Logiqueby Ph. Devaux;Les Relations de la Dialectique a la Logiqueby E. W. Beth;A Propos des Exposés de MM. Ph. Devaux et E. W. Beth.by F. Gonseth;Dialecticaby Ch. Perelman; I. M. Bochenski; F. Gonseth; J. Piaget; M. Fréchet; A. Apéry; M. Barzin
Review by: Roderick M. Chisholm
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 422 KB
Your tags:
english, 1950
6
Determinables, Determinates and Determinantsby Arthur N. Prior
Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 323 KB
Your tags:
english, 1950
7
A Note on Nominalism and Recursive Functionsby R. M. Martin
Review by: John Myhill
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 199 KB
Your tags:
english, 1950
8
Tractatus Logico-Philosophicusby Ludwig Wittgenstein
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 185 KB
Your tags:
english, 1950
9
The Elimination of Contextually Defined Predicates in a Modal System
Ruth Barcan Marcus
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 167 KB
Your tags:
english, 1950
10
On Natural Deduction
W. V. Quine
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 757 KB
Your tags:
english, 1950
11
Existence of Classes and Value Specification of Variables
Hao Wang
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 763 KB
Your tags:
english, 1950
12
A Reduction in the Number of Primitive Ideas of Arithmetic
John R. Myhill
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 147 KB
Your tags:
english, 1950
13
On Virtual Classes and Real Numbers
R. M. Martin
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 371 KB
Your tags:
english, 1950
14
On a Set of Integers Not Definable by Means of One-Quantifier Predicatesby Andrzej Mostowski
Review by: Martin Davis
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 202 KB
Your tags:
english, 1950
15
On Negationby G. F. C. Griss
Review by: A. Borgers
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 302 KB
Your tags:
english, 1950
16
The Algebra of Logic and Its Metamorphosesby U. M. Gajduk
Review by: Mieczyslaw Choynowski
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 194 KB
Your tags:
english, 1950
17
Théorie et Applications des Treillis.by Garrett Birkhoff
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 194 KB
Your tags:
english, 1950
18
Nozione Generale di Struttura per un Insiemeby Mario Dolcher
Review by: Albert A. Bennett
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 310 KB
Your tags:
english, 1950
19
Über den Begriff der Quantität.by Veli Valpola
Review by: Wilhelm Ackermann
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 204 KB
Your tags:
english, 1950
20
The Heine-Borel Theorem in Extended Basic Logicby Frederic B. Fitch
Review by: S. C. Kleene
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 204 KB
Your tags:
english, 1950
21
A Relay Machine for the Demonstration of Symbolic Logicby W. Mays; D. G. Prinz
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 173 KB
Your tags:
english, 1950
22
On the System of Natural Numbersby M. O. Gonzalez; J. D. Mancill
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 291 KB
Your tags:
english, 1950
23
A Reduction in the Number of the Axioms of the Propositional Calculusby Alan Rose
Review by: W. V. Quine
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 202 KB
Your tags:
english, 1950
24
Axiomatisation d'un Système Partiel de la Théorie de la Déduction.by H. Rasiowa
Review by: A. R. Turquette
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 202 KB
Your tags:
english, 1950
25
From the Domain of Mathematical Logic.--I. The Classical Propositional Calculusby Helena Rasiowa
Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 298 KB
Your tags:
english, 1950
26
On the Logic of Stoicsby Adam Krokiewicz
Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 191 KB
Your tags:
english, 1950
27
On the Categorical Syllogismby I. M. Bochenski
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 302 KB
Your tags:
english, 1950
28
The Aristotelian Theory of Classesby Anders Wedberg
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 198 KB
Your tags:
english, 1950
29
Logic and Theologyby Ivo Thomas
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 305 KB
Your tags:
english, 1950
30
Some Laws of the Calculus of Quantifiersby Ivo Thomas
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 194 KB
Your tags:
english, 1950
31
Il Problema della Razionalita del Reale
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 194 KB
Your tags:
english, 1950
32
Sulla Potenza dell'insieme delle Proposizioni di un dato Sistema Ipotetico-Deduttivoby Ettore Carrucio
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 194 KB
Your tags:
english, 1950
33
Mathématiques et Formalisme.by Jean Cavaillès
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 302 KB
Your tags:
english, 1950
34
La Théorie Physique et ses Principes Fondamentaux.by Jean-Louis Destouches
Review by: Frederic B. Fitch
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 207 KB
Your tags:
english, 1950
35
A Note on Natural Laws and So-Called "Contrary-to-Fact Conditionals."by K. R. Popper
Review by: Herbert Feigl
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 303 KB
Your tags:
english, 1950
36
R. M. Hare on Imperative Sentences: A Criticismby A. F. Peters
Review by: J. C. C. McKinsey
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 191 KB
Your tags:
english, 1950
37
The Variety of Philosophic Idiomsby Arthur Francis Smullyan
Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 201 KB
Your tags:
english, 1950
38
A Defence of `Synthetic Necessary Truth.'by Stephen Toulmin
Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 316 KB
Your tags:
english, 1950
39
The Philosophical Relevance of a "Behavioristic Semiotic."by Thomas Storer
Review by: George D. W. Berry
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 203 KB
Your tags:
english, 1950
40
Some Notes on Carnap's Concept of Intensional Isomorphism and the Paradox of Analysisby Leonard Linsky;A Reply to Leonard Linskyby Rudolf Carnap
Review by: W. V. Quine
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 305 KB
Your tags:
english, 1950
41
Synonymity and Logical Equivalenceby Arthur Pap
Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 201 KB
Your tags:
english, 1950
42
On Likeness of Meaningby Nelson Goodman
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 313 KB
Your tags:
english, 1950
43
Fugitive Propositionsby Austin Duncan-Jones
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 201 KB
Your tags:
english, 1950
44
On Rigour in Semanticsby Peter Thomas Geach;Mr. Geach on Mention and Useby R. M. Martin
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 201 KB
Your tags:
english, 1950
45
A Note on Semanticsby Ernest H. Hutten
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 207 KB
Your tags:
english, 1950
46
On What There Isby Willard V. Quine
Review by: G. D. W. Berry
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 305 KB
Your tags:
english, 1950
47
A Note on Nominalistic Syntaxby R. M. Martin
Review by: John Myhill
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 199 KB
Your tags:
english, 1950
48
Toward a Theory of Interpretation and Precisenessby Arne Næss
Review by: Carl G. Hempel
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 211 KB
Your tags:
english, 1950
49
Mathematik, Logik und Erfahrungby Victor Kraft
Review by: Carl G. Hempel
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 318 KB
Your tags:
english, 1950
50
Theory of Syntactical Categoriesby Yehoshua Bar-Hillel
Bar-Hillel, Yehoshua
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 331 KB
Your tags:
english, 1950
51
Analysis and Real Definitionby Morris Weitz
Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 185 KB
Your tags:
english, 1950
52
Ordinary Language and Absolute Certaintyby Paul Edwards;Necessary Propositions and the Futureby Paul Edwards;Knowing and the Knownby John Dewey; Arthur F. Bentley
Review by: Paul Ziff
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 186 KB
Your tags:
english, 1950
53
The New Rationalism: Dewey's Theory of Inductionby May Brodbeck
Brodbeck, May
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 185 KB
Your tags:
english, 1950
54
Cassirer's Theory of Mathematical Conceptsby Harold R. Smart; Paul Arthur Schilpp
Review by: Max Black
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 185 KB
Your tags:
english, 1950
55
Cassirer's Theory of Scientific Knowledgeby Felix Kaufmann
Kaufmann, Felix
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 185 KB
Your tags:
english, 1950
56
Autobiographical Notesby Albert Einstein; Paul Arthur Schilpp
Review by: Max Black
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 198 KB
Your tags:
english, 1950
57
Further Citations
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 387 KB
Your tags:
english, 1950
58
A Note on the Deductive Completeness of m-Valued Propositional Calculiby J. B. Rosser; A. R. Turquette
Review by: A. F. Bausch
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 324 KB
Your tags:
english, 1950
59
A Proof of Independenceby Hao Wang
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 199 KB
Your tags:
english, 1950
60
Whitehead A. N.. Indication, classes, numbers, validation. Essays in science and philosophy, by Whitehead A. N., Rider and Company, London 1948, pp. 227–240.
Feys, Robert
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 229 KB
Your tags:
english, 1950
61
Cavaillès Jean. Mathématiques et formalisme. Revue internationale de philosophie (Brussels), vol. 3 (1949), pp. 158–165.
Church, Alonzo
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 166 KB
Your tags:
english, 1950
62
Morris Charles. Comments on Mr. Storer's paper. Philosophy of science, vol. 15 (1948), pp. 330–332.
Berry, George D. W.
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 90 KB
Your tags:
english, 1950
63
Brodbeck May. The new rationalism: Dewey's theory of induction. The journal of philosophy, vol. 46 (1949), pp. 780–791.Smart Harold R.. Cassirer's theory of mathematical concepts. The philosophy of Ernst Cassirer, edited by Schilpp Paul Arthur, The Library of Living Philosophers, Inc., Evanston 1949, pp. 239–267.
Black, Max
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 79 KB
Your tags:
english, 1950
64
Wittgenstein Ludwig. Tractatus logico-philosophicus. With an introduction by Russell Bertrand. Fourth impression. Routledge & Kegan Paul, London 1949, 189 pp.
Church, Alonzo
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 79 KB
Your tags:
english, 1950
65
Wisdom J.. L. Susan Stebbing, 1885–1943. Philosophical studies, Essays in memory of L. Susan Stebbing, Published for the Aristotelian Society by George Allen & Unwin Ltd., London 1948, pp. 1–4.Ewing A. C.. Philosophical analysis. Philosophical studies, Essays in memory of L. Susan Stebbing, Published for the Aristotelian Society by George Allen & Unwin Ltd., London 1948, pp. 67–84.Ramsey Frank Plumpton. The foundations of mathematics and other logical essays. Edited by Braithwaite R. B., with a preface by Moore G. E.. Routledge & Kegan Paul, London; The Humanities Press, New York 1950; xviii + 292 pp.
Church, Alonzo
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 79 KB
Your tags:
english, 1950
66
Jolivet Régis. Traité de philosophie (2nd edn.). Vol. I. Introduction générale, logique, cosmologie. Vitte, Lyon-Paris 1945, 476 pp.
Feys, Robert
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 79 KB
Your tags:
english, 1950
67
JSL volume 15 issue 2 Cover and Front matter and Errata
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 8.92 MB
Your tags:
english, 1950
68
Related Citations
Journal:
Journal of Symbolic Logic
Year:
1950
Language:
english
File:
PDF, 229 KB
Your tags:
english, 1950
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
×
×