This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

1143 found
Order:
1 — 50 / 1143
Material to categorize
  1. Salomon Maimon’s Theory of Invention. Scientific Genius, Analysis and Euclidean Geometry.D. Elon - forthcoming - History and Philosophy of Logic:1-3.
    Salomon Maimon, a Lithuanian born philosophical autodidact who emigrated to Germany in the late eighteenth century, plays an increasingly important role in the research of classical German philosop...
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2. Leibniz: Dissertation on Combinatorial Art. Translated with Introduction and Commentary.M. R. Antognazza - forthcoming - History and Philosophy of Logic:1-2.
    This volume offers the first-ever complete English translation of Leibniz’s Dissertatio De Arte Combinatoria together with a critical edition of the original Latin text on fa...
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3. The History of Philosophical and Formal Logic: From Aristotle to Tarski.Alex Malpass & Marianna Antonutti Marfori (eds.) - 2018 - Bloomsbury Publishing.
    The History of Philosophical and Formal Logic introduces ideas and thinkers central to the development of philosophical and formal logic. From its Aristotelian origins to the present-day arguments, logic is broken down into four main time periods: Antiquity and the Middle Ages The early modern period High modern period Early 20th century Each new time frame begins with an introductory overview highlighting themes and points of importance. Chapters discuss the significance and reception of influential works and look at historical arguments (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  4. Bilateral Harmony.Nils Kürbis - manuscript
    This paper formulates a bilateral account of harmony, which is an alternative to the one proposed by Francez. It builds on an account of harmony for unilateral logic proposed by Kürbis and the observation that reading some of the rules for the connectives of bilateral logic bottom up gives the grounds and consequences of formulas with the opposite speech act. Thus the consequences of asserting a formula give grounds for denying it, namely if the opposite speech act is applied to (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  5. 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.
    The article analyzes the method of oral disputation in Keckermann’s Gymnasium logicum, in his Systematis logici plenioris pars altera (this is a variant of the first treatise, f. p. 16...
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Locke and Sergeant on Syllogistic Reasoning.Patrick J. Connolly - forthcoming - In Shelley Weinberg & Jessica Gordon-Roth (eds.), The Lockean Mind. Routledge.
    This paper explores Locke’s thinking specifically about syllogisms and more generally about logic and proper logical method. Locke’s texts display a mixed attitude toward syllogisms. On the one hand, he was highly critical of syllogisms and their central role in Scholastic disputation. On the other hand, he sometimes allowed that syllogisms could effectively capture valid forms of inference and could be useful in certain contexts. This paper seeks to explain Locke’s mixed attitude by showing that he believed syllogisms were useful (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  7. Seventeenth-Century Scholastic Syllogistics. Between Logic and Mathematics?Miroslav Hanke - 2020 - Review of Symbolic Logic 13 (2):219-248.
    The seventeenth century can be viewed as an era of innovation in the formal and natural sciences and of paradigmatic diversity in philosophy. Within this environment, the present study focuses on scholastic logic and, in particular, syllogistic. In seventeenth-century scholastic logic two different approaches to logic can be identified, one represented by the Dominicans Báñez, Poinsot, and Comas del Brugar, the other represented by the Jesuits Hurtado, Arriaga, Oviedo, and Compton. These two groups of authors can be contrasted in three (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. 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.
  9. Kant’s Antinomies of Pure Reason and the ‘Hexagon of Predicate Negation’.Peter McLaughlin & Oliver Schlaudt - 2020 - Logica Universalis 14 (1):51-67.
    Based on an analysis of the category of “infinite judgments” in Kant, we will introduce the logical hexagon of predicate negation. This hexagon allows us to visualize in a single diagram the general structure of both Kant’s solution of the antinomies of pure reason and his argument in favor of Transcendental Idealism.
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  10. The Emergence of Modern Dialectic.Mehmet Karabela - 2013 - Proceedings of the XXIII World Congress of Philosophy 8.
  11. 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.
  12. 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.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13. 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.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. 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.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. 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.
    Remove from this list   Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. 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.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17. 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.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18. 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.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19. 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.
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20. 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.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21. 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.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22. 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.
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23. 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.
  24. Haig Khatchadourian. Frege on Concepts. Theoria , Vol. 22 , Pp. 85–100.Michael D. Resnik - 1970 - Journal of Symbolic Logic 35 (1):132.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25. 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.
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26. B. Van Rootselaar. Intuition Und Konstruktion. Studium Generale, Vol. 19 , Pp. 175–181.R. E. Vesley - 1969 - Journal of Symbolic Logic 34 (4):656.
    Remove from this list   Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27. 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.
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28. 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.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29. Ş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.
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30. 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.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31. 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.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32. 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.
  33. 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.
    Remove from this list   Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34. 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.
  35. 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.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36. 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.
  37. 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.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38. 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.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39. 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.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40. 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.
  41. 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.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42. 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.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  43. 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.
    Remove from this list   Direct download (7 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44. 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.
  45. Logical Studies in Early Analytic Philosophy, by Nino B. Cocchiarella, Ohio State University Press, Columbus 1987, Xii + 293 Pp. [REVIEW]Harold Levin - 1991 - Journal of Symbolic Logic 56 (3):1105-1107.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  46. Nichtklassische Logik, Eine Einführung, Second, Revised Edition, Edited by Lothar Kreiser, Siegfried Gottwald, and Werner Stelzner, Akademie-Verlag, Berlin1990, Xiii + 437 Pp. [REVIEW]P. H. Schmitt - 1992 - Journal of Symbolic Logic 57 (3):1138-1140.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47. Joan Weiner. Frege in Perspective. Cornell University Press, Ithaca and London1990, Xvii + 307 Pp. [REVIEW]Michael Dummett - 1992 - Journal of Symbolic Logic 57 (1):255-258.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48. Montgomery Furth. Editor's Introduction. The Basic Laws of Arithmetic, Exposition of the System, by Gottlob Frege, Translated and Edited by Montgomery Furth, University of California Press, Berkeley and Los Angeles1964, Pp. V–Lvii. - G. Frege. Introduction. English Translation of Pp. V–Xxvi of 4910. The Basic Laws of Arithmetic, Exposition of the System, by Gottlob Frege, Translated and Edited by Montgomery Furth, University of California Press, Berkeley and Los Angeles1964, Pp. 1-25. - Gottlob Frege. Exposition of the Begriffsschrift. English Translation of Pp. 1–69 of 49/0. The Basic Laws of Arithmetic, Exposition of the System, by Gottlob Frege, Translated and Edited by Montgomery Furth, University of California Press, Berkeley and Los Angeles1964, Pp. 29–119. - Gottlob Frege. Appendix I. Derivation of “⊢ F = a ◠Ἐ”. English Translation of Parts of §§54, 55, and 91 of 4910. The Basic Laws of Arithmetic, Exposition of the System, by Gottlob Frege, Translated and Edited by Montgomery F. [REVIEW]G. Hasenjaeger - 1997 - Journal of Symbolic Logic 31 (4):671-672.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49. Jean-Pierre Ginisti. La Logique Combinatoire. Qui Sais-Je? No. 3205. Presses Universitaires de France, Paris1997, 127 Pp. [REVIEW]Jonathan P. Seldin - 1999 - Journal of Symbolic Logic 64 (4):1833-1834.
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50. Lewis Carroll , Das Spiel der Logik, Germam Translation by Micheal Zöllner of 671, Edited and with an Afterword by Paul Good. Tropen Verlag, Cologne, and Frommann-Holzboog, Stuttgart, 1998, 199 Pp. - Paul Good, Logik—Ein Spiel, Therein, Pp. 103–119. [REVIEW]Keith Stenning - 1999 - Journal of Symbolic Logic 64 (3):1368-1370.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1143