13629 results in The Journal of Symbolic Logic
H. Rasiowa. Sur un certain système d'axiomes du calcul des propositions. Norsk matematisk tidsskrift, vol. 31 (1949), pp. 1–3.
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 3 / September 1949
- Published online by Cambridge University Press:
- 12 March 2014, p. 197
- Print publication:
- September 1949
-
- Article
- Export citation
Richard Rudner. Formal and non-formal. Philosophy of science, vol. 16 (1949), pp. 41–48.
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 3 / September 1949
- Published online by Cambridge University Press:
- 12 March 2014, pp. 204-205
- Print publication:
- September 1949
-
- Article
- Export citation
A syntactical characterization of S5
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 3 / September 1949
- Published online by Cambridge University Press:
- 12 March 2014, pp. 173-174
- Print publication:
- September 1949
-
- Article
- Export citation
Erik Stenius. Natural implication and material implication. Theoria, vol. 13 (1947), pp. 136–156.
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 3 / September 1949
- Published online by Cambridge University Press:
- 12 March 2014, p. 198
- Print publication:
- September 1949
-
- Article
- Export citation
Readings in philosophical analysis. Selected and edited by Herbert Feigl and Wilfrid Sellars. Appleton-Century-Crofts, Inc., New York, 1949, x + 626 pp. - W. V. Quine. Designation and existence, pp. 44–51. - Alfred Tarski. The semantic conception of truth, pp. 52–84. - Gottlob Frege. On sense and nominatum, pp. 85–102. - Bertrand Russell. On denoting, pp. 103–115. - Ernest Nagel. Logic without ontology, pp. 191–210. - Carl G. Hempel. On the nature of mathematical truth, pp. 222–237. - Rudolf Carnap. The two concepts of probability, pp. 330–348. - Roderick M. Chisholm. The contrary-to-fact conditional, pp. 482–497.
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 3 / September 1949
- Published online by Cambridge University Press:
- 12 March 2014, pp. 184-185
- Print publication:
- September 1949
-
- Article
- Export citation
K. Marc-Wogau. Remarks concerning the latest discussion on sense-data. Actes du Xme Congrès International de Philosophie (Amsterdam, 11–18 août, 1948)—Proceedings of the Tenth International Congress of Philosophy (Amsterdam, August 11–18,1948), North-Holland Publishing Company, Amsterdam1949, pp. 633–635.
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 3 / September 1949
- Published online by Cambridge University Press:
- 12 March 2014, p. 183
- Print publication:
- September 1949
-
- Article
- Export citation
P. F. Strawson. Necessary propositions and entailment-statements. Mind, n.s. vol. 57 (1948), pp. 184–200.
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 3 / September 1949
- Published online by Cambridge University Press:
- 12 March 2014, p. 202
- Print publication:
- September 1949
-
- Article
- Export citation
Gustav Bergmann. Descriptions in non-extensional contexts. Philosophy of science, vol. 15 (1948), pp. 353–355.
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 3 / September 1949
- Published online by Cambridge University Press:
- 12 March 2014, p. 204
- Print publication:
- September 1949
-
- Article
- Export citation
Raphael M. Robinson. Recursion and double recursion. Bulletin of the American Mathematical Society, Bd. 54 (1948), S. 987–993.
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 3 / September 1949
- Published online by Cambridge University Press:
- 12 March 2014, pp. 191-192
- Print publication:
- September 1949
-
- Article
- Export citation
Note on an idea of Fitch
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 3 / September 1949
- Published online by Cambridge University Press:
- 12 March 2014, pp. 175-176
- Print publication:
- September 1949
-
- Article
- Export citation
Andrzej Mostowski. Logika matematyczna. Kurs uniwersytecki. (Logique mathématique. Cours donné à l'Université.) Monografie matematyczne, t. 18. Varsovie et Wrocław1948, VIII + 388 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 3 / September 1949
- Published online by Cambridge University Press:
- 12 March 2014, pp. 189-190
- Print publication:
- September 1949
-
- Article
- Export citation
L. E. J. Brouwer. De non-aequivalentie van de constructieve en de negatieve orderelatie in het continuum (The non-equivalence of the constructive and the negative order relation in the continuum). Koninklijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, vol. 52 (1949), pp. 122–124; also Indagationes mathematicae, vol. 11 (1949), pp. 37–39.
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 3 / September 1949
- Published online by Cambridge University Press:
- 12 March 2014, pp. 195-196
- Print publication:
- September 1949
-
- Article
- Export citation
Georgi Schischkoff. Zum problem einer exakten Symbolik des philosophischen Denkens. Zeitschrift für philosophische Forschung, vol. 1 (1946–1947), pp. 314–355.
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 3 / September 1949
- Published online by Cambridge University Press:
- 12 March 2014, pp. 194-195
- Print publication:
- September 1949
-
- Article
- Export citation
A. M. Turing. Practical forms of type theory. The journal of symbolic logic, vol. 13 (1948), pp. 80–94.
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 3 / September 1949
- Published online by Cambridge University Press:
- 12 March 2014, p. 182
- Print publication:
- September 1949
-
- Article
- Export citation
m-valued sub-system of (m + n)-valued propositional calculus1
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 3 / September 1949
- Published online by Cambridge University Press:
- 12 March 2014, pp. 177-181
- Print publication:
- September 1949
-
- Article
- Export citation
Gustav Bergmann. Contextual definitions in non-extensional languages. The journal of symbolic logic, vol. 13 (1948), p. 140.
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 3 / September 1949
- Published online by Cambridge University Press:
- 12 March 2014, p. 204
- Print publication:
- September 1949
-
- Article
- Export citation
Paul Lorenzen. Grundlagen der Mathematik. FIAT review of German science 1939–1946, Pure mathematics Part I; senior author Wilhelm Süss; published by Office of Military Government for Germany, Field Information Agencies Technical; printed under the supervision of Dieterich'sche Verlagsbuchhandlung, Wiesbaden1948; pp. 11–22.
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 3 / September 1949
- Published online by Cambridge University Press:
- 12 March 2014, pp. 196-197
- Print publication:
- September 1949
-
- Article
- Export citation
The completeness of the first-order functional calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 3 / September 1949
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-166
- Print publication:
- September 1949
-
- Article
- Export citation
Arne Næss. Symbolsk logikk (Symbolic logic). 2nd edn., mimeographed. Filosofiske problemer no. 10. Universitetets Studentkontor, Oslo1948, IV + 192 pp. (with two separate pages of errata).
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 3 / September 1949
- Published online by Cambridge University Press:
- 12 March 2014, pp. 185-186
- Print publication:
- September 1949
-
- Article
- Export citation
JSL volume 14 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 14 / Issue 3 / September 1949
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f6
- Print publication:
- September 1949
-
- Article
-
- You have access
- Export citation