Journal of Symbolic Logic

Volume 16, Issue 3

September, 1951

Select/deselect all
Miscellaneous front pages, J. Symbolic Logic, Volume 16, Issue 3 (1951)
Abstract
Inner Models for Set Theory--Part IJ. C. Shepherdson; 161 - 190
Abstract
Toward an Inscriptional SemanticsR. M. Martin and J. H. Woodger; 191 - 203
Abstract
Strong Completeness of Fragments of the Propositional CalculusAlan Rose; 204
Abstract

Reviews

Review: Rudolf Carnap, Logical Foundations of ProbabilityJohn G. Kemeny; 205 - 207
Abstract
Review: D. R. Cousin, Carnap's Theories of TruthErnest H. Hutten; 207 - 208
Abstract
Review: Leonard Linsky, On Using Inverted CommasAlonzo Church; 208 - 209
Abstract
Review: Paul Wienpahl, Dewey's Theory of Language and MeaningCarl G. Hempel; 209
Abstract
Review: Wilfrid Sellars, Language, Rules and BehaviorCarl G. Hempel; 209 - 210
Abstract
Review: Morton G. White, The Analytic and the Synthetic: An Untenable DualismCarl G. Hempel; 210 - 211
Abstract
Review: Arthur Pap, The Philosophical Analysis of Natural LanguageCarl G. Hempel; 211
Abstract
Review: C. D. Rollins, The Philosophical Denial of Sameness of Meaning; Arthur Smullyan, $\Phi$-SymbolsJ. F. Thomson; 211 - 212
Abstract
Review: Robert A. Price, A Note on Likeness of MeaningJ. F. Thomson; 212
Abstract
Review: Veli Valpola, Uber Namen. Eine Logische UntersuchungNicholas Rescher and J. F. Thomson; 212 - 213
Abstract
Review: James K. Feibleman, Class-Membership and the Ontological ProblemLeon Henkin; 213
Abstract
Review: Hugues Leblanc, The Semiotic Function of PredicatesLeon Henkin; 213
Abstract
Review: Hugues Leblanc, On DefinitionsLeon Henkin; 213 - 214
Abstract
Review: Luciano Allende Lezama, Armando Asti Vera, El Concepto de Inversion en el PensamientoW. V. Quine; 214
Abstract
Review: Manley H. Thompson, The Logical Paradoxes and Peirce's SemioticA. R. Turquette; 214 - 215
Abstract
Review: A. Markov, Impossibility of Certain Algorithms in the Theory of Associative SystemsAndrzej Mostowski; 215
Abstract
Review: Laszlo Kalmar, Janos Suranyi, On the Decision Problem. Third Paper. Pepis Prefix, a Single Binary PredicateTh. Skolem; 215 - 216
Abstract
Review: Hao Wang, Set-Theoretical Basis for Real NumbersJ. Barkley Rosser; 216
Abstract
Review: Rozsa Peter, Zusammenhang der Mehrfachen und Transfiniten RekursionenR. M. Robinson; 216
Abstract
Review: Rozsa Peter, Zum Begriff der Rekursiven Reellen ZahlS. C. Kleene; 216
Abstract
Review: Alfred Horn, On Sentences Which are True of Direct Unions of AlgebrasR. C. Lyndon; 216 - 217
Abstract
Review: John Myhill, Report on Some Investigations Concerning the Consistency of the Axiom of ReducibilityW. V. Quine; 217 - 218
Abstract
Review: M. A. MacConaill, Causality in EmbryologyFrederic B. Fitch; 218
Abstract
Review: Karl Schroter, Der Nutzen der Mathematischen Logik fur die MathematikG. Zubieta R.; 218
Abstract
Review: G. Hasenjaeger, Ein Beitrag zur OrdnungstheorieG. Zubieta R.; 218
Abstract
Review: J. C. C. McKinsey, A New Definition of TruthPaul Bernays; 218 - 220
Abstract
Review: Th. Skolem, A Remark on the Induction SchemePaul Bernays; 220 - 221
Abstract
Review: Kurt Schutte, Beweistheoretische Erfassung der unendlichen Induktion in der ZahlentheorieWilhelm Ackermann; 221
Abstract
Review: I. M. Bochenski, On the Syntactical CategoriesJohannes Bendiek; 221 - 222
Abstract
Review: Josef Lense, Vom Wesen der Mathematik und Ihren GrundlagenPaul Kustaanheimo; 222 - 223
Abstract
Review: H. W. Leggett, Bertrand Russell, O. M. A Pictorial BiographyAlonzo Church; 223
Abstract
Review: L. Susan Stebbing, Encyclopaedia BritannicaAlonzo Church; 223
Abstract
Review: Antoinette Virieux-Reymond, La Logique et L'Epistemologie des Stoiciens. Leurs Rapports Avec: a) La Logique d'Aristote b) La Logistique et la Pensee Contemporaine; Antoinette Virieux-Reymond, La Logique et L'Epistemologie des Stoiciens. Leurs Rapports Avec la Logique d'Aristote, la Logistique et la Pensee Contemporaine. Avec une Preface de M. Emile BrehierI. M. Bochenski; 224
Abstract
Review: A. N. Prior, Categoricals and Hypotheticals in George Boole and his SuccessorsRoderick M. Chisholm; 224
Abstract
Review: George Boole, An Investigation of the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and ProbabilitiesAlonzo Church; 224 - 225
Abstract
Review: Clarence Irving Lewis, Cooper Harold Langford, Symbolic LogicAlonzo Church; 225
Abstract
Review: W. Peremans, A Remark on Intuitionistic LogicE. W. Beth; 225 - 226
Abstract
Review: B. U. Pil'cak, On the Decision Problem for the Calculus of ProblemsHelena Rasiowa; 226 - 227
Abstract
Review: K. Wagner, Zum Reprasentantenproblem der Logik fur Aussagenfunktionen mit Beliebig Endlich Oder Unendlich Vielen WahrheitswertenH. E. Vaughan; 227
Abstract
Review: Robert McNaughton, A Theorem About Infinite-Valued Sentential LogicH. E. Vaughan; 227 - 228
Abstract
Review: Maurice L'Abbe, On the Independence of Henkin's Axioms for Fragments of the Propositional CalculusSoren Hallden; 228
Abstract
Review: , Solutions of Exercises in Number 2(4)Jan Kalicki; 228
Abstract
Review: Andrezej Mostowski, Some Reflections on the Subject of the Logical Exercises in "Matematyka"Jan Kalicki; 228
Abstract
Review: Alan Rose, Completeness of Lukasiewicz-Tarski Propositional CalculiA. R. Turquette; 228 - 229
Abstract
Review: Jan Lukasiewicz, On Variable Functors of Propositional Arguments; C. A. Meredith, On an Extended System of the Propositional CalculusAlonzo Church; 229 - 230
Abstract
Review: Arnold Schmidt, Systematische Basisreduktion der Modalitaten bei Idempotenz der Positiven GrundmodalitatenW. T. Parry; 230 - 231
Abstract
Review: Soren Hallden, A Reduction of the Primitive Symbols of the Lewis CalculiAlan Rose; 231
Abstract
Review: Erik Gotlind, A System of Postulates for Lewis's Calculus S1A. F. Bausch; 231
Abstract
Review: C. I. Lewis, Notes on the Logic of IntensionNicholas Rescher; 231 - 232
Abstract
Further Citations232 - 235
Abstract
Thirteenth Meeting of the Association for Symbolic LogicClifford D. Firestone; 236 - 240
Abstract
Miscellaneous back pages, J. Symbolic Logic, Volume 16, Issue 3 (1951)
Abstract
Select/deselect all
  • Export citations

© 2019 Association for Symbolic Logic

Top

Association for Symbolic Logic

Journal of Symbolic Logic
  • You have access to this content.
  • You have partial access to this content.
  • You do not have access to this content.
Turn Off MathJax

What is MathJax?