13629 results in The Journal of Symbolic Logic
Neil L. Wilson. Designation and description. The journal of philosophy, vol. 50 (1953), pp. 369–383. - N. L. Wilson. Property designation and description. The philosophical review, vol. 64 (1955), pp. 389–404. - N. L. Wilson. Space, time, and individuals. The journal of philosophy, vol. 52 (1955), pp. 589–598.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 395-396
- Print publication:
- December 1957
-
- Article
- Export citation
Joseph R. Shoenfield. A relative consistency proof. The journal of symbolic logic, vol. 19 (1954), pp. 21–28.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 367
- Print publication:
- December 1957
-
- Article
- Export citation
Arthur Pap. The linguistic hierarchy and the vicious circle principle. Philosophical studies (Minneapolis), vol. 5 (1954), pp. 49–53.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 392-393
- Print publication:
- December 1957
-
- Article
- Export citation
Erik Stenius. Linguistic structure and the structure of experience. Theoria (Lund), vol. 20 (1954), pp. 153–172.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 398-399
- Print publication:
- December 1957
-
- Article
- Export citation
Veli Valpola. Eine Eigenschaft gewöhnlicher negationsloser Kalküle der Propositionen- und Prädikatenlogik. Mathematica Scandinavica, vol. 3 (1955), pp. 107–114.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 380
- Print publication:
- December 1957
-
- Article
- Export citation
Roland Fraïssé. Sur quelques classifications des systèmes de relations. French with English Summary. Publications scientifiques de l'Université d'Alger, Série A, Sciences mathématiques, vol. 1 no. 1 (for 1954, pub. 1955), pp. 35–182. - Roland Fraïssé. Sur quelques classifications des systèmes de relations. Thèses présentées à la Faculté des Sciences de l'Université de Paris. Imprimerie Durand, Chartres1955, 154 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 371-372
- Print publication:
- December 1957
-
- Article
- Export citation
Gottlob Frege. The thought: A logical inquiry. English translation of XVIII 93(1) by A. M. and Marcelle Quinton. Mind, n.s. vol. 65 (1956), pp. 289–311.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 392
- Print publication:
- December 1957
-
- Article
- Export citation
Béla Juhos. Ein- und zweistellige Modalitäten. German, with summaries in German and English. Methodos, vol. 6 (1954), pp. 69–83.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 388
- Print publication:
- December 1957
-
- Article
- Export citation
L. O. Kattsoff. Ontology and the choice of languages. Actes du Xlème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 26-32.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 394-395
- Print publication:
- December 1957
-
- Article
- Export citation
Jan Berg. On defining disposition predicates. Analysis (Oxford), vol. 15 no. 4 (1955), pp. 85–89.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 390
- Print publication:
- December 1957
-
- Article
- Export citation
C. C. H. Barker. Some calculations in logic. The mathematical gazette, vol. 41 (1957), pp. 108–111.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 379
- Print publication:
- December 1957
-
- Article
- Export citation
G. Nuchelmans. “Counterfactual conditionals” and singular causal statements. Actes du XIème Congrès International de Philosophie, Volume VIII, Philosophie de l'histoire, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 16–19.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 389-390
- Print publication:
- December 1957
-
- Article
- Export citation
A. A. Zykov. Probléma spéktra v rasširénnom isčislénii prédikatov. lzvéstiá Akadémii Nauk SSSR, sériá matématičéskaá, Bd. 17 (1953), S. 63–76. - A. A. Zykov. The spectrum problem in the extended predicate calculus. Englische Übersetzung des Vorhergehenden, von G. L. Kline. American Mathematical Society translations, 2. Reihe Bd. 3 (1956), S. 1–14.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 360
- Print publication:
- December 1957
-
- Article
- Export citation
Paul Lorenzen. Dar, Aktual-Unendliche in der Mathematik. Philosophia naturalis, vol. 4 (1957), pp. 1–11. - Paul Lorenzen. Die Rolle der Logik in der Grundlagenkrisis der Analysis. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris–25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 65–73. - G. Kurepa, G. Kreisel, A. Robinson. Discussion. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris–25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, Gauthier-Villars, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 73–74.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 368
- Print publication:
- December 1957
-
- Article
- Export citation
Karl R. Popper. A note on Tarski's definition of truth. Mind, n.s. vol. 64 (1955), pp. 388–391.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 365
- Print publication:
- December 1957
-
- Article
- Export citation
E. W. Beth. Decision problems of logic and mathematics. Philosophic (Chronique des années d'après guerre 1946–1948), XIII Philosophic des sciences, publiée par l'Institut International de Philosophie, Actualités scientifiques et industrielles 1105, Hermann & Cie, Paris1950, pp. 3–18.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 359
- Print publication:
- December 1957
-
- Article
- Export citation
William W. Boone. Certain simple, unsolvable problems of group theory V–VI. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 60 (1957), pp. 22–27, 227–232; also Indagationes mathematicae, vol. 19 (1957), pp. 22–27, 227–232.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 373-374
- Print publication:
- December 1957
-
- Article
- Export citation
Alan Rose. An alternative Normalisation of Sobociński's three-valued implicational propositional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik (Berlin), vol. 2 (1956) pp. 166–172.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 380
- Print publication:
- December 1957
-
- Article
- Export citation
Robert McNaughton. Contradiction, the logical counterpart to conflict. Perspectives in philosophy, Essays by members of the Department of Philosophy, The Ohio State University, 1953, pp. 129–136.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 401
- Print publication:
- December 1957
-
- Article
- Export citation
Klaus Härtig. Explizite Definitionen einiger Eigenschaften von Zeichenreihen. Zeitschrift für mathematische Logik und Grundlagen der Mathetnatik, Bd. 2 (1956), S. 177–203.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 4 / December 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 357
- Print publication:
- December 1957
-
- Article
- Export citation