13631 results in The Journal of Symbolic Logic
Rudolf Carnap. The logical structure of the world. Pseudoproblems in philosophy. English translation of XXXII 509(1) by Rolf A. George. University of California Press, Berkeley and Los Angeles1967, xxvi + 364 pp. - Rudolf Carnap. Preface to the second edition. English translation of XXXII 509(2). Therein, pp. v–xi. - Rudolf Carnap. Bibliography 1961. English translation of XXXII 509(3). Therein, pp. xiii–xiv. - Rolf A. George. Translator's preface. Therein, pp. xix–xx.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 551-552
- Print publication:
- September 1971
-
- Article
- Export citation
L. L. Maksimova. O modéláh isčisléniá E (On models of the calculus E). Algébra i logika, vol. 6 no. 6 (1967), pp. 5–20.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
- Print publication:
- September 1971
-
- Article
- Export citation
A splitting theorem for simple Π11 Sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 433-438
- Print publication:
- September 1971
-
- Article
- Export citation
Tage Gutmann Madsen. Om matematisk logik (About mathematical logic). Nordisk matematisk tidskrift, vol. 9 (1961), pp. 49–57, 96.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 545
- Print publication:
- September 1971
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic Santiago, Chile 1970
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 576-580
- Print publication:
- September 1971
-
- Article
- Export citation
A note on a theorem of Vaught
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 439-440
- Print publication:
- September 1971
-
- Article
- Export citation
Incompleteness of a formal system for infinitary finite-quantifier formulas
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 445-455
- Print publication:
- September 1971
-
- Article
- Export citation
Announcements of the journal Nous
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 580
- Print publication:
- September 1971
-
- Article
- Export citation
George Kimball Plochmann and Jack B. Lawson. Terms in their propositional contexts in Wittgenstein's Tractatus. An index. Southern Illinois University Press, Carbondale, Illinois, 1962, xiv + 229 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 551
- Print publication:
- September 1971
-
- Article
- Export citation
JSL volume 36 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f4
- Print publication:
- September 1971
-
- Article
-
- You have access
- Export citation
Resolution in type theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 414-432
- Print publication:
- September 1971
-
- Article
- Export citation
An application of nonstandard analysis to game theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 385-394
- Print publication:
- September 1971
-
- Article
- Export citation
Arthur N. Prior. Changes in events and changes in things. Papers on time and tense, by Arthur N. Prior, Oxford at the Clarendon Press1968, pp. 1–14. (A reprint of The Lindley lecture, University of Kansas, Lawrence 1962, 13 pp.) - Arthur N. Prior. On spurious egocentricity. Papers on time and tense, by Arthur N. Prior, Oxford at the Clarendon Press1968, pp. 15–25. (Reprinted from Philosophy, vol. 42 (1967), pp. 326–335.) - Arthur N. Prior. The formalities of omniscience. Papers on time and tense, by Arthur N. Prior, Oxford at the Clarendon Press1968, pp. 26–44. (Reprinted from Philosophy, vol. 37 (1962), pp. 114–129.) - Arthur N. Prior. Contemplation and action. Papers on time and tense, by Arthur N. Prior, Oxford at the Clarendon Press1968, pp. 45–50. - Arthur N. Prior. The consequences of actions. Papers on time and tense, by Arthur N. Prior, Oxford at the Clarendon Press1968, pp. 51–58. (Reprinted from Aristotelian Society supplementary volume XXX, London 1956, pp. 91–99.) - Arthur N. Prior. Limited indeterminism. Papers on time and tense, by Arthur N. Prior, Oxford at the Clarendon Press1968, pp. 59–65. (Reprinted from The review of metaphysics, vol. 16 no. 1 (1962), pp. 55–61.) - Arthur N. Prior. Identifiable individuals. Papers on time and tense, by Arthur N. Prior, Oxford at the Clarendon Press1968, pp. 66–77. (Reprinted from The review of metaphysics, vol. 13, no. 4 (1960), pp. 684–696.) - Arthur N. Prior. Time, existence, and identity. Papers on time and tense, by Arthur N. Prior, Oxford at the Clarendon Press1968, pp. 78–87. (Reprinted from Proceedings of the Aristotelian Society, n.s. vol. 66 (1965–66), pp. 183–192.) - Arthur N. Prior. Stratified metric tense logic. Papers on time and tense, by Arthur N. Prior, Oxford at the Clarendon Press1968, pp. 88–97. (Reprinted from Theoria (Lund), vol. 33 (1967), pp. 28–38.) - Arthur N. Prior. The logic of ending time. Papers on time and tense, by Arthur N. Prior, Oxford at the Clarendon Press1968, pp. 98–115. - Arthur N. Prior. Tense logic and the logic of earlier and later. Papers on time and tense, by Arthur N. Prior, Oxford at the Clarendon Press1968, pp. 116–134. - Arthur N. Prior. Quasi-propositions and quasi-individuals. Papers on time and tense, by Arthur N. Prior, Oxford at the Clarendon Press1968, pp. 135–144. - Arthur N. Prior. Tense logic for non-permanent existents. Papers on time and tense, by Arthur N. Prior, Oxford at the Clarendon Press1968, pp. 145–160.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 515-518
- Print publication:
- September 1971
-
- Article
- Export citation
Henry W. JohnstoneJr., Systèmes formels et systèmes ontologiques. Logique et analyse, n.s. vol. 1 (1958), pp. 24–28.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 550
- Print publication:
- September 1971
-
- Article
- Export citation
Gr. C. Moisil. Les logiques à plusieurs valeurs et l'automatique. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959 Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 337–345.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 546-547
- Print publication:
- September 1971
-
- Article
- Export citation
Ernst-Jochen Thiele. Die Verträglichkeit der Kontinuumhypothese mit dem System der Mengenlehre von Zermelo-Fraenkel. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 225–255. (See Correction, ibid., vol. 8 (1962), pp. 347–349.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 542
- Print publication:
- September 1971
-
- Article
- Export citation
J. L. Austin. How to do things with words. The William James Lectures delivered at Harvard University in 1955. The Clarendon Press, Oxford1962, vii + 166 pp., and Harvard University Press, Cambridge, Mass., 1962, ix + 167 pp. - Jon Wheatley. Austin on implication and entailment. Philosophical studies (Minneapolis), vol. 15 (1964), pp. 46–48. - Bill MathewsJr., Austin on implication and entailment: A reply to Mr. Wheatley. Philosophical studies (Minneapolis), vol. 15 (1964), pp. 88–89.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 513-514
- Print publication:
- September 1971
-
- Article
- Export citation
Notice of a meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 580
- Print publication:
- September 1971
-
- Article
- Export citation
Vladeta Vučković. Rekurzivna aritmetika reči i konačni automati (Recursive arithmetic of words and finite automata). Serbo-Croatian with English summary. Filozofija (Belgrade), vol. 6 no. 4 (1962), pp. 41–66.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 549-550
- Print publication:
- September 1971
-
- Article
- Export citation
F. H. George. Automation cybernetics and society. Leonard Hill [Books] Ltd., London1959, 283 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 544
- Print publication:
- September 1971
-
- Article
- Export citation