Reviews
Paul Kurtz. Introduction. American philosophy in the twentieth century. A sourcebook. Edited by Paul Kurtz, The Macmillan Company, New York, and Collier-Macmillan Ltd., London, 1966, pp. 17–42. - Paul Kurtz. Charles S. Peirce. American philosophy in the twentieth century. A sourcebook. Edited by Paul Kurtz, The Macmillan Company, New York, and Collier-Macmillan Ltd., London, 1966, pp. 45–47. - Paul Kurtz. Alfred North Whitehead. American philosophy in the twentieth century. A sourcebook. Edited by Paul Kurtz, The Macmillan Company, New York, and Collier-Macmillan Ltd., London, 1966, pp. 263–264. - Paul Kurtz. Morris R. Cohen. American philosophy in the twentieth century. A sourcebook. Edited by Paul Kurtz, The Macmillan Company, New York, and Collier-Macmillan Ltd., London, 1966, pp. 372–373. - Paul Kurtz. Clarence Irving Lewis. American philosophy in the twentieth century. A sourcebook. Edited by Paul Kurtz, The Macmillan Company, New York, and Collier-Macmillan Ltd., London, 1966, pp. 387–388. - Clarence Irving Lewis. An analysis of knowledge and valuation. Excerpts from XIII 40. American philosophy in the twentieth century. A sourcebook. Edited by Paul Kurtz, The Macmillan Company, New York, and Collier-Macmillan Ltd., London, 1966, pp. 397–414. - Paul Kurtz. Rudolf Carnap. American philosophy in the twentieth century. A sourcebook. Edited by Paul Kurtz, The Macmillan Company, New York, and Collier-Macmillan Ltd., London, 1966, pp. 415–416. - Rudolf Carnap. Empiricism, semantics, and ontology. A reprint of XVI 292. American philosophy in the twentieth century. A sourcebook. Edited by Paul Kurtz, The Macmillan Company, New York, and Collier-Macmillan Ltd., London, 1966, pp. 416–432. - Paul Kurtz. Willard Van Orman Quine. American philosophy in the twentieth century. A sourcebook. Edited by Paul Kurtz, The Macmillan Company, New York, and Collier-Macmillan Ltd., London, 1966, pp. 443–444. - Willard Van Orman Quine. Speaking of objects. A reprint of XXIV 268. American philosophy in the twentieth century. A sourcebook. Edited by Paul Kurtz, The Macmillan Company, New York, and Collier-Macmillan Ltd., London, 1966, pp. 444–460. - Paul Kurtz. Max Black. American philosophy in the twentieth century. A sourcebook. Edited by Paul Kurtz, The Macmillan Company, New York, and Collier-Macmillan Ltd., London, 1966, p. 462. - Max Black. Language and reality. American philosophy in the twentieth century. A sourcebook. Edited by Paul Kurtz, The Macmillan Company, New York, and Collier-Macmillan Ltd., London, 1966, pp. 462–474. (Reprinted from Proceedings and addresses of the American Philosophical Association, vol. 32 (1959), pp. 5–17. Also reprinted in Models and metaphors, Studies in language and philosophy, Cornell University Press, Ithaca, New York, 1962, pp. 1–16.) - Brand Blanshard. Reason and analysis. American philosophy in the twentieth century. A sourcebook. Edited by Paul Kurtz, The Macmillan Company, New York, and Collier-Macmillan Ltd., London, 1966, pp. 477–498. (Excerpt from Chapter X of the author's Reason and analysis, Open Court Publishing Company, LaSalle, Illinois, 1962, 505 pp.) - Paul Kurtz. Ernest Nagel. American philosophy in the twentieth century. A sourcebook. Edited by Paul Kurtz, The Macmillan Company, New York, and Collier-Macmillan Ltd., London, 1966, p. 543.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 312-313
-
- Article
- Export citation
G. H. von Wright. Nk. praktillisesta filosofiasta (On the so-called practical philosophy). Ajatus, vol. 14 (1947), pp. 383–396.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 313-314
-
- Article
- Export citation
Ladislav Tondl. Sémantika otázky v problémové situaci (Semantics of the question in the problem-solving situation). Kybernetika (Prague), vol. 4 (1968), pp. 295–317.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 314
-
- Article
- Export citation
Hector-Neri Castañeda. Imperative reasonings. Philosophy and phenomenological research, vol. 21 no. 1 (1960), pp. 21–49. - B. A. O. Williams. Imperative inference. I. Analysis (Oxford), vol. 23 suppl. (1963), pp. 30–36. - P. T. Geach. Imperative inference. II. Analysis (Oxford), vol. 23 suppl. (1963), pp. 37–42. - Nicholas Rescher and John Robison. Can one infer commands from commands?Analysis (Oxford), vol. 24 no. 5 (1964), pp. 176–179. - André Gombay. Imperative inference and disjunction. Analysis (Oxford), vol. 25 no. 3 (1965), pp. 58–62. - Lennart Åqvist. Choice-offering and alternative-presenting disjunctive commands. Analysis (Oxford), no. 5 (1965), pp. 182–184. - A. J. Kenny. Practical inference. Analysis (Oxford), vol. 26 no. 3 (1966), pp. 65–75. - P. T. Geach. Dr. Kenny on practical inference. Analysis (Oxford), vol. 26 no. 3 (1966), pp. 76–79. - Yehoshua Bar-Hillel. Imperative inference. Analysis (Oxford), vol. 26 no. 3 (1966), pp. 79–82. - André Gombay. What is imperative inference?Analysis (Oxford), vol. 27 no. 5 (1967), pp. 145–152. - R. M. Hare. Some alleged differences between imperatives and indicatives. Mind, n.s. vol. 76 (1967), pp. 309–326. - Alfred F. MacKay. Inferential validity and imperative inference rules. Analysis (Oxford), vol. 29 no. 5 (1969), pp. 145–156.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 314-318
-
- Article
- Export citation
Rolf Schock. Some definitions of subjunctive implication, of counterfactual implication, and of related concepts. Notre Dame journal of formal logic, vol. 2 (1961), pp. 206–221. - Rolf Schock. A note on subjunctive and counterfactual implication. Notre Dame journal of formal logic, vol. 3 (1962), pp. 289–290.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 319
-
- Article
- Export citation
Rolf Schock. A definition of event and some of its applications. Theoria (Lund), vol. 28 (1962), pp. 250–268.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 319-320
-
- Article
- Export citation
Don Davis Roberts. The existential graphs and natural deduction. Studies in the philosophy of Charles Sanders Peirce, Second series, edited by Edward C. Moore and Richard S. Robin, The University of Massachusetts Press, Amherst1964, pp. 109–121.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 320-321
-
- Article
- Export citation
Gerold Stahl. Ideas generales de la lógica combinatoria. Revista de matemáticas de la Universidad de Chile, vol. 5 no. 1 (1958), pp. 20–27.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 321
-
- Article
- Export citation
R. J. Plymen. A model of the arithmetic of alephs in the equation calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 257–258.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 321
-
- Article
- Export citation
D. Hilbert and P. Bernays. Grundlagen der Mathematik I. Second edition of 5071. Springer-Verlag, Berlin, Heidelberg, New York, 1968, XV + 473 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 321-323
-
- Article
- Export citation
A. V. Idél′son and G. E. Minc. Prédislovie rédaktorov (Editor's foreword). Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 5–8. - Gerhard Gentzen. Isslédovaniá logičéskih vyvodov. Russian translation of 4422 by A. V. Idél′son, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 9–74. - A. V. Idél′son. Dobavlénié pérévodčika (Translator's addition). Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 75–76. - Gerhard Gentzen. Néprotivoréčivost′ čistoj téorii čisél. Russian translation of I 75 by G. E. Minc, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 77–153. - Gerhard Gentzen. Novoé izložénié dokazatél′stva néprotivoréčivosti dlá čistoj téorii čisél. Russian translation of IV 31 by G. E. Minc, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 154–190. - E. W. Beth. Métod sémantičéskih tablic. Russian translation of paragraph 67 omitting the examples, and of portions of paragraphs 68, 70, and 92 of XXVII 73 by A. O. Slisénko, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 191–199. - Stig Kanger. Uproščénnyj métod dokazatél′stva dlá eléméntarnoj logiki. Russian translation of XXXII 119 by S. Ú. Maslov, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 200–207. - S. C. Kleene. Péréstanovočnost′ priménénij pravil v géncénovskih isčisléniáh LK i LJ. Russian translation of XIX 62(1) by V. P. Orévkov and A. V. Sočilina, with added footnotes by the translators. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 208–236. - S. C. Kleene. Konéčnaá aksiomatiziruémost′ téorij v isčislénii prédikatov s pomošč′ú dopolnitél′nyh prédikatnyh simvolov. Russian translation of XIX 62(2) by G. V. Davidov, with added footnotes by the translator. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 237–284. - K. Schütte. Intérpolácionnaá téoréma dlá intuicionistskoj logiki prédikatov. Russian translation of XXIX 145 by A. O. Slisénko. Matématičéskaá téoriá logičéskogo vyvoda, edited by A. V. Idél′son and G. E. Minc. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,”Moscow1967, pp. 285–295.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 323
-
- Article
- Export citation
G. E. Minc. Priložénié. Téoréma Erbrana (Appendix. Herbrand's theorem). Archiv für mathematische Logik und Grundlagenforschung, vol. 2 no. 1 (1954), pp. 311–350.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 323-325
-
- Article
- Export citation
G. E. Minc. Teoréma Erbrana dlá isčisléniá prédikatov s ravénstvom i funkcional′nymi simvolami. Doklady Akadémii Nauk SSSR, vol. 169 (1966), pp. 273–275. - G. E. Minc. Herbrand's theorem for the predicate calculus with equality and functional symbols. English translation of the preceding by Leo F. Boron. Soviet mathematics, vol. 7 no. 4 (1966), pp. 911–914.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 325
-
- Article
- Export citation
Shôji Maehara. Cut-elimination theorem concerning a formal system for ramified theory of types which admits quantifications on types. Annals of the Japan Association for Philosophy of Science, vol. 2 no. 2 (1962), pp. 55–64.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 325
-
- Article
- Export citation
H. Hiż. Inferential equivalence and natural deduction. The journal of symbolic logic, vol. 22 (1957), pp. 237–240.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 325
-
- Article
- Export citation
Masao Ohnishi and Kazuo Matsumoto. A system for strict implication. Proceedings of the Symposium on the Foundations of Mathematics, held at Katada, Japan, 1962, Sponsored jointly by The Division of the Foundations of Mathematics of the Mathematical Society of Japan, The Sugaku Shinkokai, and The Toyo Spinning Company, Tokyo1963, pp. 99–108. (Reprinted in Annals of the Japan Association for Philosophy of Science, vol. 2 no. 4 (1964), pp. 183–188.)
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 326
-
- Article
- Export citation
William H. Hanson. On some alleged decision procedures for S4. The journal of symbolic logic, vol. 31 (1966), pp. 641–643.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 326
-
- Article
- Export citation
Richard L. Call. A minimal canonically complete M-valuedproper logic for each M. The journal of symbolic logic, vol. 33 (1968), pp. 108–110.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 326
-
- Article
- Export citation
Vladimir Devidé. Matematická logika. Prvi dio (Klasična logika sudová). (Mathematical logic. Part I (The classical logic of propositions).) Croatian with English summary. Posebna Izdanja Matematičkog Instituta, Belgrade1964, 228 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 326-329
-
- Article
- Export citation
Henri Moscovici and Dan Radu. Application de la théorie des catégories dans la logique formelle. Revue roumaine de mathématiques pures et appliquées, vol. 9 (1964), pp. 971–977.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 329
-
- Article
- Export citation