Material to categorize
- History of Arabic Logic.Mehmet Karabela - 2021 - In Islamic Thought Through Protestant Eyes. New York: Routledge. pp. 224-235.details
- Book Review of Islamic Thought Through Protestant Eyes. [REVIEW]Jeremy Fradkin - 2022 - Global Intellectual History 7 (November 2022).details
- The Dutch Fates of Bacon’s Philosophy: Libertas Philosophandi, Cartesian Logic and Newtonianism.Andrea Strazzoni - 2012 - Annali Della Scuola Normale Superiore di Pisa – Classe di Lettere E Filosofia 4 (1):251-281.details
- Johannes de Raey and the Cartesian Philosophy of Language.Andrea Strazzoni - 2015 - Lias. Journal of Early Modern Intellectual Culture and its Sources 42 (2):89-120.details
- Ramism.Andrea Strazzoni - 2017 - In Encyclopedia of Renaissance Philosophy. Cham: Springer.details
- Late scholastic probable arguments and their contrast with rhetorical and demonstrative arguments.James Franklin - 2022 - Philosophical Inquiries 10 (2).details
- Salomon Maimon’s theory of invention. Scientific genius, analysis and Euclidean geometry: I. Chikurel, editor. Berlin and Boston, De Gruyter, 2020, x+168 pp., €84.95, ISBN 9783110691337.D. Elon - 2021 - History and Philosophy of Logic 43 (3):301-303.details
- Leibniz: Dissertation on Combinatorial Art. Translated with Introduction and Commentary: M. Mugnai, H. van Ruler, and M. Wilson, editors. Oxford: Oxford University Press, 2020. x + 307 pp. £53. ISBN 978-0-19-883795-4.M. R. Antognazza - 2021 - History and Philosophy of Logic 43 (2):187-188.details
- Bilateral Inversion Principles.Nils Kürbis - 2022 - Electronic Proceedings in Theoretical Computer Science 358:202–215.details
- The History of Philosophical and Formal Logic: From Aristotle to Tarski.Alex Malpass & Marianna Antonutti Marfori (eds.) - 2018 - Bloomsbury Publishing.details
- Oral Disputation in the Gymnasium Logicum by Bartholomäus Keckermann and Dependent Seventeenth Century Tracts.Lukáš Kotala - 2020 - History and Philosophy of Logic 41 (4):376-398.details
- Locke and Sergeant on Syllogistic Reasoning.Patrick J. Connolly - forthcoming - In Shelley Weinberg & Jessica Gordon-Roth (eds.), The Lockean Mind. Routledge.details
- Seventeenth-century scholastic syllogistics. Between logic and mathematics?Miroslav Hanke - 2020 - Review of Symbolic Logic 13 (2):219-248.details
- Analisi - sintesi.Sergio Volodia Marcello Cremaschi - 1996 - In Virgilio Melchiorre, Guido Boffi & Eugenio Garin (eds.), Enciclopedia della Filosofia e delle Scienze Umane. Novara: De Agostini. pp. 41-42.details
- Kant’s Antinomies of Pure Reason and the ‘Hexagon of Predicate Negation’.Peter McLaughlin & Oliver: Schlaudt - 2020 - Logica Universalis 14 (1):51-67.details
- The Emergence of Modern Dialectic.Mehmet Karabela - 2013 - Proceedings of the XXIII World Congress of Philosophy 8.details
- Bertrand Russell. Aristotle's logic. A reprint of Chapter XXII of A history of Western philosophy . Essays in logic from Aristotle to Russell, selected and edited by Ronald Jager, Prentice-Hall, Inc., Englewood Cliffs, N.J., 1963, pp. 139–147. [REVIEW]Harry Stopes-Roe - 1964 - Journal of Symbolic Logic 29 (1):64.details
- A. N. Prior. Nonentities. Analytical philosophy, edited by R. J. Butler, Barnes & Noble, Inc., New York1962, pp. 120–132. [REVIEW]Alan Ross Anderson - 1964 - Journal of Symbolic Logic 29 (3):140-141.details
- Heinz Zemanek. Automaten und Denkprozesse. German, with summaries in German, English, and French. Digitale Informationswandler — Digital information processors, edited by Friedr Walter Hoffmann. Vieweg & Sohn, Braunschweig, and Interscience Publishers, New York, 1962, pp. 1–66. [REVIEW]Alonzo Church - 1965 - Journal of Symbolic Logic 30 (3):382.details
- N. L. Wilson. Psychologism, logic, and Mr. Myhill. Philosophia mathematica, vol. 1 no. 1 , pp. 1–4.Hugues Leblanc - 1965 - Journal of Symbolic Logic 30 (3):366.details
- Aleksandr Sergeyevich Yesenin-Volpin. Svobodny filosofskij traktat . Russian with English translation in parallel. Vésénnij list , Frederick A. Praeger, New York1961, pp. 109–173. [REVIEW]Alonzo Church - 1965 - Journal of Symbolic Logic 30 (1):104-105.details
- Charles Parsons. The ω-consistency of ramified analysis. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 nos. 1–2 , pp. 30–34. [REVIEW]Gert H. Müller - 1965 - Journal of Symbolic Logic 30 (1):94.details
- A. J. Ayer. Names and descriptions. Logique et analyse, n.s. vol. 5 no. 20 , pp. 199–202. - L. J. Russell, J. Dopp, Findlay, A. J. Ayer. Discussion. Logique et analyse, n.s. vol. 5 no. 20 , pp. 202–211. [REVIEW]James Thomson - 1964 - Journal of Symbolic Logic 29 (4):197.details
- G. H. R. Parkinson. Introduction. Leibniz, Logical papers, A selection translated and edited with an introduction by G. H. R. Parkinson, Clarendon Press, Oxford1966, pp. ix–Ixv. - Gottfried Wilhelm Leibniz. From Of the art of combination . English translation of a portion of 11 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 1–11. - Gottfried Wilhelm Leibniz. Elements of a calculus . English translation of 114 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 17–24. - Gottfried Wilhelm Leibniz. Rules from which a decision can be made, by means of numbers, about the validity of inferences and about the forms and moods of categorical syllogisms . English translation of 118 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 25–32. - Gottfried Wilhelm Leibniz. A specimen of the universal calculus . English translation of 111 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 33–39. - Gottfried Wilhelm Leibniz. Addenda to the specimen of the universal calculus . Engl. [REVIEW]Alonzo Church - 1968 - Journal of Symbolic Logic 33 (1):139-140.details
- Gerold Stahl. Un développement de la logique des questions. Revue philosophique de la France et de l'Étranger, vol. 153 , pp. 293–301. [REVIEW]David Harrah - 1968 - Journal of Symbolic Logic 32 (4):548.details
- Hugues Leblanc. Minding one's X's and Y's. Logique et analyse, n.s. vol. 8 , pp. 209–210. - John G. Slater. The required correction to Copi's statement of UG. Logique et analyse, n.s. vol. 9 , p. 267. [REVIEW]Donald Kalish - 1967 - Journal of Symbolic Logic 32 (2):255.details
- Mikel Dufrenne. Language & philosophy. Translated from the French by Henry B. Veatch. Indiana University Press, Bloomington1963, 106 pp. - Paul Henle. Foreword. Therein, pp. 11–13. [REVIEW]Gilbert H. Harman - 1967 - Journal of Symbolic Logic 32 (1):113-114.details
- Marcel Boll and Jacques Reinhart. Histoire de la logique. Que sais-je, no. 225, 5th edn. Presses Universitaires de France, Paris1961, 127 pp. [REVIEW]Ignacio Angelelli - 1966 - Journal of Symbolic Logic 31 (2):285-286.details
- Luitzen Egbertus Jan Brouwer. On the significance of the principle of excluded middle in mathematics, especially in function theory, English translation of 15516 by Stefan Bauer-Mengelberg and Jean van Heijenoort. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Massachusetts, 1967, pp. 334–341. Addenda and corrigenda, English translation of XXIV 189 by Stefan Bauer-Mengelberg, Claske M. Berndes Franck, Dirk van Dalen, and Jean van Heijenoort. Ibid., pp. 341–342. Further addenda and corrigenda. English translation of XXIV 189 by Stefan Bauer-Mengelberg, Dirk van Dalen, and Jean van Heijenoort. Ibid., pp. 342–345. - Luitzen Egbertus Jan Brouwer. On the domains of definition of functions. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Massachusetts, 1967, pp. 446–463. English translation of §§1–3 of Über Definiti. [REVIEW]Joan Rand Moschovakis - 1970 - Journal of Symbolic Logic 35 (2):332-333.details
- Haig Khatchadourian. Frege on concepts. Theoria , vol. 22 , pp. 85–100.Michael D. Resnik - 1970 - Journal of Symbolic Logic 35 (1):132.details
- 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 , pp. 971–977. [REVIEW]Anne Preller - 1970 - Journal of Symbolic Logic 35 (2):329.details
- B. van Rootselaar. Intuition und Konstruktion. Studium generale, vol. 19 , pp. 175–181.R. E. Vesley - 1969 - Journal of Symbolic Logic 34 (4):656.details
- Jules Vuillemin. De la logique à la théologie. Cinq études sur Aristote.Flammarion, Paris1967, 235 pp. [REVIEW]Wilfrid Hodges - 1969 - Journal of Symbolic Logic 33 (4):615.details
- Kargapolov M. I., Mérzlákov Ú. I., and Réméslénnikov V. N.. Kourovskaá tétrad’ ). Third edition, supplemented. Akadémiá Nauk SSSR, Sibirskoé Otdélénié, Institut Matématiki, Novosibirsk 1969, 63 pp. [REVIEW]Ann S. Ferebee - 1970 - Journal of Symbolic Logic 35 (4):587.details
- Ştefan N. Berţi. Aplicaţii ale teoriei relaţiilor in logica matematică . Studii şi cercetări matematice, vol. 21 , pp. 3–11. [REVIEW]Perry Smith - 1970 - Journal of Symbolic Logic 35 (4):584.details
- G. J. Warnock. Metaphysics in logic. Proceedings of the Aristotelian Society, n.s. vol. 51 , pp. 197–222.Anders Wedberg - 1970 - Journal of Symbolic Logic 35 (3):455-456.details
- B. A. Trahténbrot. Ob avtosvodimosti. Doklady Akadémii Nauk SSSR, vol. 192 , pp. 1224–1227. - B. A. Trahtenbrot. On autoreducibility. English translation of the preceding by M. Machover. Soviet mathematics, vol. 11 no. 3 , pp. 814–817. [REVIEW]Richard E. Ladner - 1973 - Journal of Symbolic Logic 38 (3):527.details
- Janusz Chmielewski. La logica degli antichi Cinesi. Rivista degli studi orientali, vol. 38 , pp. 161–168.Ivan Boh - 1972 - Journal of Symbolic Logic 37 (4):752.details
- Benson Mates. Elementare Logik . German translation of XXXI 483 by Anneliese Oberschelp. Vandenhoeck & Ruprecht, Göttingen1969, 296 pp. [REVIEW]Alonzo Church - 1972 - Journal of Symbolic Logic 37 (3):615-616.details
- Vlad Boicescu. Sur les algèbres de Lukasiewicz. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 71–89. - Mihail Cherciu. Filtres de Stone dans les treillis distributifs. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 91–97. - George Georgescu. Les algèbres de Lukasiewicz θ-valentes. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 99–169. - Ioana Petrescu. Algèbres de Morgan injectives. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 171–176. - Luminita State. Quelques propriétés des algebres de Morgan. Logique, automatique, informatique, edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste. [REVIEW]Alonzo Church - 1974 - Journal of Symbolic Logic 39 (1):184-184.details
- W. V. Quine. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 216–217. - Alfred North Whitehead and Bertrand Russell. Incomplete symbols: Descriptions. Reprinted from 1947, pp. 66–71. Incomplete symbols: Descriptions. Reprinted from 1947, pp. 217–223. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (3):472-473.details
- Gottfried Martin. Existenz und Widerspruchsfreiheit in der Logik von Leibniz. Kant-Studien, vol. 48 , pp. 202–215.Walter H. O'Briant - 1975 - Journal of Symbolic Logic 40 (1):104-105.details
- Heinrich Behmann. Drei Aporien der Identität. Logik and Logikkalkül, edited by Max Käsbauer and Franz von Kutschera, Verlag Karl Alber, Freiburg and Munich 1962, pp. 19–48. Reprinted in Ratio , vol. 5 no. 2 , pp. 101–123. - Heinrich Behmann. Three paradoxical aspects of identity. English translation of the preceding. Ratio , vol. 5 no. 2 , pp. 113–139. [REVIEW]John Perry - 1974 - Journal of Symbolic Logic 39 (2):359-360.details
- Robert Blanché. La Logique et son histoire: d'Aristote à Russell. Collection U. Librairie Armand Colin, Paris1970, 366 p. [REVIEW]Roger Martin - 1980 - Journal of Symbolic Logic 45 (2):371.details
- Anton Dumitriu. History of logic. Volume III. Revised and enlarged English translation of Parts VI and VII of the second edition of Istoria logicii by Duiliu Zamfirescu, Dinu Giurcăneanu, and Doina Doneaud. Abacus Press, Tunbridge Wells, Kent, 1977, ix + 393 pp. [REVIEW]I. Grattan-Guinness - 1980 - Journal of Symbolic Logic 45 (2):369-370.details
- Klaus Heidler, Hans Hermes, and Friedrich-K. Mahn. Rekursive Funktionen. Bibliographisches Institut-Wissenschaftsverlag, Mannheim, Vienna, and Zurich, 1977, vii + 236 pp. [REVIEW]Ann S. Ferebee - 1981 - Journal of Symbolic Logic 46 (1):165-166.details
- Warren Goldfarb. Poincaré against the logicists. History and philosophy of modern mathematics, edited by William Aspray and Philip Kitcher, Minnesota studies in the philosophy of science, vol. 11, University of Minnesota Press, Minneapolis1988, pp. 61–81. - Michael Friedman. Logical truth and analyticity in Carnap's “Logical syntax of language.”History and philosophy of modern mathematics, edited by William Aspray and Philip Kitcher, Minnesota studies in the philosophy of science, vol. 11, University of Minnesota Press, Minneapolis1988, pp. 82–94. - Gregory H. Moore. The emergence of first-order logic. History and philosophy of modern mathematics, edited by William Aspray and Philip Kitcher, Minnesota studies in the philosophy of science, vol. 11, University of Minnesota Press, Minneapolis1988, pp. 95–135. - Joseph W. Dauben. Abraham Robinson and nonstandard analysis: history, philosophy, and foundations of mathematics. History and philosophy of modern mathematics, edited by William As. [REVIEW]Michael Hallett - 1990 - Journal of Symbolic Logic 55 (3):1315-1319.details
- Alberto Coffa. Carnap, Tarski and the search for truth. Noûs, vol. 21 , pp. 547–572.Gary Mar - 1988 - Journal of Symbolic Logic 53 (4):1252-1253.details
- Egon Börger. Berechenbarkeit, Komplexität, Logik. Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität. Edited by Dieter Rödding. Friedr. Vieweg & Sohn, Brunswick and Wiesbaden1985, xvii + 469 pp. - Egon Börger. Berechenbarkeit, Komplexität, Logik. Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität. Edited by Dieter Rodding. Second corrected edition of the preceding. Friedr. Vieweg & Sohn, Brunswick and Wiesbaden1986, xvii + 469 pp. [REVIEW]Dirk Siefkes - 1989 - Journal of Symbolic Logic 54 (4):1490-1493.details
- Gordon Baker. Wittgenstein, Frege and the Vienna circle. Basil Blackwell, Oxford and New York1988, xxii + 274 pp. [REVIEW]Peter Hylton - 1990 - Journal of Symbolic Logic 55 (3):1319-1320.details
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
|
RSS feed
|
|