Reviews
Jan Berg. Bolzano's logic. Acta Universitatis Stockholmiensis, Stockholm studies in philosophy 2. Almqvist & Wiksell, Stockholm, Göteborg, and Uppsala, 1962, 214 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 362-363
-
- Article
- Export citation
A. A. Mučnik. Réšénié problémy svodimosti Posta i nékotoryh drugih problém téorii algorifmou. I. (Solution of Post's reduction problem and of certain other problems in the theory of algorithms. I.) Trudy Moskovskogo Matématičéskogo Obščéstva, vol. 7 (1958), pp. 391–405.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 90
-
- Article
- Export citation
Francesco Barone. La terapia semantica. Il pensiero americano contemporaneo, Filosofia, Epistemologia, Logica, edited by Ferruccio Rossi-Landi, Edizioni di Comunita, Milan1958, pp. 3–24.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 238
-
- Article
- Export citation
Ferruccio Rossi-Landi. Universo del discorso e lingua ideale in filosofia. Il pensiero americano contemporaneo, Filosofia, Epistemologia, Logica, edited by Ferruccio Rossi-Landi, Edizioni di Comunità, Milan1958, pp. 131–182.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 238-239
-
- Article
- Export citation
A. Menne. Preface of the editor. Logico-philosophical studies, edited by Albert Menne, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. VII–IX. - P. Banks (pseudonym). On the philosophical interpretation of logic: An Aristotelian dialogue. A reprint of XXVII 116. Logico-philosophical studies, edited by Albert Menne, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. 1–14. - I. M. Bocheński. On the categorical syllogism. A reprint of XV 140. Logico-philosophical studies, edited by Albert Menne, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. 15–39. - Ivo Thomas. CS(n): An extension of CS. A reprint of XV 141. Logico-philosophical studies, edited by Albert Menne, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. 40–54. - Albert Menne. Some results of investigation of the syllogism and their philosophical consequences. A reprint of XV 141. Logico-philosophical studies, edited by Albert Menne, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. 55–63. - I. M. Bocheński. Formalization of a Scholastic solution of the paradox of the ‘liar’. A reprint of XV 141. Logico-philosophical studies, edited by Albert Menne, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. 64–66. - I. M. Bocheński. On the syntactical categories. A reprint of XVI 221. Logico-philosophical studies, edited by Albert Menne, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. 67–87. - Albert Menne. The logical analysis of existence. A reprint of XVI 221. Logico-philosophical studies, edited by Albert Menne, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. 88–96. - I. M. Bocheńiski. On analogy. A reprint of XIV 265. A reprint of XVI 221. Logico-philosophical studies, edited by Albert Menne, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. 97–117. - I. M. Bocheński. The problem of universals. A reprint of XXII 205. A reprint of XVI 221. Logico-philosophical studies, edited by Albert Menne, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. 118–136.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 363-364
-
- Article
- Export citation
Paul Axt. Enumeration and the Grzegorczyk hierarchy. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Bd. 9 (1963), S. 53–65.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 90-91
-
- Article
- Export citation
Uberto Scarpelli. I fondamenti e il metodo della analisi del linguaggio. Il pensiero americano contemporaneo, Filosofia, Epistemologia, Logica, edited by Ferruccio Rossi-Landi, Edizioni di Comunità, Milan1958, pp. 183–204.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 239
-
- Article
- Export citation
Jean Ladrière. Expression de la récursion primitive dans le calcul-λ-K. Logique et analyse, n.s. vol. 4 (1961), pp. 23–54.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 91-94
-
- Article
- Export citation
John Patrick Day. Inductive probability. Routledge & Kegan Paul, London, and The Humanities Press, Inc., New York, 1961, xvi + 336 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 364-365
-
- Article
- Export citation
Giuseppe Vaccarino. L'implicazione stretta e la logica delle modalità. Il pensiero americano contemporaneo, Filosofia, Epistemologia, Logica, edited by Ferruccio Rossi-Landi, Edizioni di Comunita, Milan1958, pp. 235–270.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 239-240
-
- Article
- Export citation
J. L. Mackie. Self-refutation — a formal analysis. The philosophical quarterly (St. Andrews), vol. 14 (1964), pp. 193–203.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 365-366
-
- Article
- Export citation
Charles Parsons. The ω-consistency of ramified analysis. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 nos. 1–2 (1962), pp. 30–34.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 94
-
- Article
- Export citation
N. L. Wilson. Psychologism, logic, and Mr. Myhill. Philosophia mathematica, vol. 1 no. 1 (1964), pp. 1–4.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 366
-
- Article
- Export citation
A. Tarski. Remarks on predicate logic with infinitely long expressions. Colloquium mathematicum, vol. 6 (1958), pp. 171–176. - Alfred Tarski. Remarks on predicate logic with infinitely long expressions. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 160–163.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 94-95
-
- Article
- Export citation
T. J. Smiley. Entailment and deducibility. Proceedings of the Aristotelian Society, n.s. vol. 59 (1959), pp. 233–254.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 240-241
-
- Article
- Export citation
Leo Apostel. Game theory and the interpretation of deontic logic. Logique et analyse, n.s. vol. 3 (1960), pp. 70–90.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 242
-
- Article
- Export citation
D. Scott and A. Tarski. The sentential calculus with infinitely long expressions. Colloquium mathematicum, vol. 6 (1958), pp. 165–170. - Dana Scott and Alfred Tarski. The sentential calculus with infinitely long expressions. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 83–89.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 95
-
- Article
- Export citation
Gerald J. Massey. Note on Copi's system. Notre Dame journal of formal logic, vol. 4 (1963), pp. 140–141. - John Thomas Canty. Completeness of Copi's method of deduction. Notre Dame journal of formal logic, vol. 4 (1963), pp. 142–144.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 366-367
-
- Article
- Export citation
Alfred Tarski. Some problems and results relevant to the foundations of set theory. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 125–135. - W. Hanf. Incompactness in languages with infinitely long expressions. Fundamenta mathematicae, vol. 53 no. 3 (1964), pp. 309–324.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 95-96
-
- Article
- Export citation
Ward Waddell Jr. Structure of laws as represented by symbolic methods. Published by the author, 495 Fernando St., San Diego, California, 1961, 99 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 242-243
-
- Article
- Export citation