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

Contents
1165 found
Order:
1 — 50 / 1165
Material to categorize
  1. Leibniz Did Not State Leibniz's Law.Adam Hogan - 2014 - Ohiolink Etd.
    I propose that Leibniz did not state Leibniz’s Law, the logically and metaphysically robust principle that is typically understood as the following biconditional: ∀x ∀y [(x = y) ↔ ∀P (Px ↔ Py)]. To arrive at this conclusion, I examine the three principles that have become associated with Leibniz’s Law: the Substitutivity Principle (salva veritate), the Indiscernibility of Identicals, and the Identity of Indiscernibles. I show that Leibniz intended salva veritate as a semantic principle, never explicitly stated the Indiscernibility of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. John Eliot's Logick Primer: A Bilingual English-Massachusett Logic Textbook.Sara L. Uckelman - 2023 - History and Philosophy of Logic 45 (3):1-24.
    In 1672 John Eliot, English Puritan educator and missionary to New England, published The Logick Primer: Some Logical Notions to initiate the INDIANS in the knowledge of the Rule of Reason; and to know how to make use thereof (Eliot 1672) The Logick Primer: Some Logical Notions to Initiate the INDIANS in the Knowledge of the Rule of Reason; and to Know How to Make Use Thereof, Cambridge, MA: Marmaduke Johnson]. This roughly 80 page pamphlet introduces syllogistic vocabulary and reasoning (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  3. Neue Forschung zur formalen Logik bei Kant.Jean-Yves Béziau, Srećko Kovač & Jens Lemanski - 2024 - In Michael Lewin (ed.), Klassische Deutsche Philosophie: Wege in die Zukunft. Brill | Mentis. pp. 19-44.
    Im Folgenden stellen wir drei aktuelle Forschungsbereiche zur formalen Logik bei Kant allgemeinverständlich dar und greifen dabei auf die trans zendentale Logik nur dann zurück, wenn sie ein besseres Verständnis der formalen Logik ermöglicht: Zunächst wird Kants Beitrag zur Rezeption und Weiterentwicklung von Euler-artigen Diagrammen dargestellt. Diese Diagramme wurden in den 1990er Jahren wiederentdeckt, als formales System interpretiert und werden heute insbes. in der Didaktik, in den Kognitionswissenschaften, in der Linguistik, in KI-Bereichen wie der (Logik-basierten) Wissensrepräsentation eingesetzt, und auch in (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  4. Self-examination, Understanding, Transmission: On Becoming a Teacher in Clauberg’s Logica vetus et nova.Adi Efal-Lautenschläger - 2023 - In Andrea Strazzoni & Marco Sgarbi (eds.), Reading Descartes. Consciousness, Body, and Reasoning. Florence: Firenze University Press. pp. 101-128.
    This paper takes a fresh look at Johannes Clauberg’s Logica vetus et nova, in order to try to clarify its nature and character. Differently from prior readings of Clauberg that analyze his philosophy from the point of view of the construction of ‘ontology’, the approach of the present paper sees in Clauberg’s philosophy a late-Humanist work, accentuating his pedagogic and hermeneutical interests. Indeed, in Clauberg’s philosophy, hermeneutics and pedagogy are intrinsically bound together. This, the paper suggests, is supported not only (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. The Foundation of Early Modern Science: Metaphysics, Logic and Theology.Andrea Strazzoni - 2015 - Rotterdam: Erasmus University Rotterdam-Ridderprint BV.
    The present study defines the function of the foundation of science in early modern Dutch philosophy, from the first introduction of Cartesian philosophy in Utrecht University by Henricus Regius to the acceptance of Newtonian physics by Willem Jacob ‘s Gravesande. My main claim is that a foundation of science was required because the conceptual premises of new ways in thinking had to be justified not only as alternatives to the established philosophical paradigms or as an answer to the “sceptical crisis” (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  6. Kant’s Crucial Contribution to Euler Diagrams.Jens Lemanski - 2024 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 55 (1):59–78.
    Logic diagrams have been increasingly studied and applied for a few decades, not only in logic, but also in many other fields of science. The history of logic diagrams is an important subject, as many current systems and applications of logic diagrams are based on historical predecessors. While traditional histories of logic diagrams cite pioneers such as Leibniz, Euler, Venn, and Peirce, it is not widely known that Kant and the early Kantians in Germany and England played a crucial role (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Kant on the Nature of Logical and Moral Laws.Daniele Mezzadri - 2023 - Res Philosophica 100 (3):389-412.
    In this article I engage with a recent debate vis-à-vis Kant’s conception of logic, which deals with whether Kant saw logical laws as normative for, or rather as constitutive of, the faculty of understanding. On the former view, logical laws provide norms for the correct exercise of the understanding; on the latter, they define the necessary structure of the faculty of understanding per se. I claim that these two positions are not mutually exclusive, as Kant held both a normative and (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8. (1 other version)Formale Logik.Paul Lorenzen - 1967 - Berlin,: De Gruyter.
  9. Talkhīṣ manṭiq Arisṭū.Jirar Averroës & Jihami - 1982 - al-Tawzīʻ , al-Maktabah al-Sharqīyah,: al-Jāmiʻah al-Lubnānīyah ;. Edited by Jīrār Jihāmī.
  10. Faust Vrančić und der Aristotelismus in der Logik.Srećko Kovač - 1993 - Studia Historiae Philosophiae Croaticae 2:229-252.
    Faust Vrančić's (Faustus Verantius, 1551-1617) logic is analyzed in comparison to Renaissance Aristotelianism in logic with regard to the problem of determining logic, the subject of logic, and understanding the method. Vrančić's logic is compared to Markantun de Dominis' understanding of logic and to the understanding of logic in Jacopo Zabarella and in the Jesuit Renaissance tradition (P. Fonseca, F. Toletus, F. Suárez). In addition, the concept of science is discussed. "Censura logicae" published at the end of Vrančić's "Logica nova" (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  11. Faust Vrančić i aristotelizam u logici [Faustus Verantius and Aristotelianism in Logic].Srećko Kovač - 1988 - Prilozi Za Istrazivanje Hrvatske Filozofske Baštine 17 (1-2):17-33.
    Faust Vrančić's (Faustus Verantius, 1551-1617) logic is analyzed in comparison to Renaissance Aristotelianism in logic with regard to the problem of determining logic, the subject of logic, and understanding the method. Vrančić's logic is compared to Markantun de Dominis' understanding of logic and to the understanding of logic in Jacopo Zabarella and in the Jesuit Renaissance tradition (P. Fonseca, F. Toletus, F. Suárez). In addition, the concept of science is discussed. "Censura logicae" published at the end of Vrančić's "Logica nova" (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12. Rigor and the Context-Dependence of Diagrams: The Case of Euler Diagrams.David Waszek - 2004 - In A. Blackwell, K. Marriott & A. Shimojima (eds.), Diagrammatic Representation and Inference. Springer. pp. 382-389.
    Euler famously used diagrams to illustrate syllogisms in his Lettres à une princesse d’Allemagne [1]. His diagrams are usually seen as suffering from a fatal “ambiguity problem” [11]: as soon as they involve intersecting circles, which are required for the representation of existential statements, it becomes unclear what exactly may be read off from them, and as Hammer & Shin conclusively showed, any set of reading conventions can lead to erroneous conclusions. I claim that Euler diagrams can, however, be used (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  13. (1 other version)History of Arabic Logic.Mehmet Karabela - 2021 - In Islamic Thought Through Protestant Eyes. New York: Routledge. pp. 224-235.
    Johannes Steuchius’ disputatio uses Arabic logic to present an historical account of the development of philosophical thought in Arabia before and after the emergence of Islam. Steuchius first proposes that philosophy drew its origins from the East. His evidence for this claim is that many of the Greek philosophers, considered the forefathers of European philosophy, began cultivating their philosophical thinking as a result of exposure to ancient Eastern philosophy. After the introduction of Greek philosophy, it is agreed that dialectic was (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  14. Book Review of Islamic Thought Through Protestant Eyes. [REVIEW]Jeremy Fradkin - 2022 - Global Intellectual History 7 (November 2022).
    In this fascinating book, Mehmet Karabela reveals the many roles assigned to Islam, Islamic history, the Ottoman Empire, Turks and Arabs by northern European Protestant intellectuals, mostly German Lutherans, from 1650 to 1800. The texts cover many topics that famously captivated European thinkers during a period which Karabela elects to call post-Reformation rather than Enlightenment. There are comparative studies of religion, philosophy, and literature. Karabela’s introduction provides a robust review of the historiography and offers context for patterns that emerge from (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. 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.
    Bacon’s philosophy had a wide dissemination in Dutch Seventeenth Century context. This can be explained by the coeval diffusion of Cartesianism. Bacon’s project of a reformation of science was deemed by Heereboord and De Raey as the manifesto of a new philosophy. Along with Geulincx, moreover, De Raey borrowed Bacon’s arguments on the causes of error and on the replacement of Aristotelian natural history, aimed at integrating Descartes’s physics. Also in logic Bacon’s influence was noticeable, as the development of a (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16. 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.
    This article offers an account of the philosophy of language expounded in the Cogitata de interpretatione (1692) of the Dutch philosopher Johannes De Raey (1620-1702). In this work, De Raey provided a theory of the formation and meaning language based on the metaphysics of René Descartes. De Raey distinguished between words signifying passions and sensations, ideas of the intellect, or external things. The aim of this article is to shift away the discussion of De Raey’s critique on the application of (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17. Ramism.Andrea Strazzoni - 2022 - Encyclopedia of Renaissance Philosophy.
    The main aim of the French logician and philosopher Petrus Ramus was to provide a method of teaching the liberal arts enabling the completion of the undergraduate program of studies in 7 years. This method was based on a new logic, in which the complex structure of Aristotle’s Organon and of the Summulae logicales of Peter of Spain is reduced to two main doctrines: the invention of arguments, by which it is possible to find the notions for reasoning and disputing (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. Late scholastic probable arguments and their contrast with rhetorical and demonstrative arguments.James Franklin - 2022 - Philosophical Inquiries 10 (2).
    Aristotle divided arguments that persuade into the rhetorical (which happen to persuade), the dialectical (which are strong so ought to persuade to some degree) and the demonstrative (which must persuade if rightly understood). Dialectical arguments were long neglected, partly because Aristotle did not write a book about them. But in the sixteenth and seventeenth century late scholastic authors such as Medina, Cano and Soto developed a sound theory of probable arguments, those that have logical and not merely psychological force but (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. (1 other version)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.
    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 (4 more)  
     
    Export citation  
     
    Bookmark  
  20. 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.
    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   6 citations  
  21. Bilateral Inversion Principles.Nils Kürbis - 2022 - Electronic Proceedings in Theoretical Computer Science 358:202–215.
    This paper formulates a bilateral account of harmony that is an alternative to one proposed by Francez. It builds on an account of harmony for unilateral logic proposed by Kürbis and the observation that reading the rules for the connectives of bilateral logic bottom up gives the grounds and consequences of formulas with the opposite speech act. I formulate a process I call 'inversion' which allows the determination of assertive elimination rules from assertive introduction rules, and rejective elimination rules from (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22. The History of Philosophical and Formal Logic: From Aristotle to Tarski.Alex Malpass & Marianna Antonutti Marfori (eds.) - 2017 - New York: 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  
  23. Logical and Metaphysical Assumptions of Bernard Bolzano’s Theodicy.Dariusz Łukasiewicz - 2007 - Forum Philosophicum: International Journal for Philosophy 12 (1):33-56.
    Bolzano's theodicy is a very good example of Platonism in the philosophy of religion. Above all, Bolzano believes that there obtains an ideal realm of truths in themselves and mathematical objects, which are independent of God. Therefore, we are allowed to conclude that God is only a contractor; true, more powerful than Plato's demiurge because He created substances and sustains them in existence, but God must follow a project which is independent of Him. Since the world is determined, by the (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24. 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.
    1. Something strange commenced to happen in the field of logic from the beginning of the seventeenth century. Oral disputation, rather than falling into oblivion as a relic of medieval darkness wit...
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Locke and Sergeant on Syllogistic Reasoning.Patrick J. Connolly - 2021 - In Jessica Gordon-Roth & Shelley Weinberg (eds.), The Lockean Mind. New York, NY: 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  
  26. The Development of Logic.Guido Küng - 1963 - Philosophical Studies (Dublin) 12:155-163.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. Conventional Logic and Modern Logic.J. D. Bastable - 1953 - Philosophical Studies (Dublin) 3:141-141.
  28. 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 (closely related) innovation in the formal and natural sciences and of paradigmatic diversity in philosophy (due to the coexistence of at least the humanist, the late scholastic, and the early modern tradition). 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 (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. (1 other version)Analisi - sintesi.Sergio Volodia Marcello Cremaschi - 1996 - In Virgilio Melchiorre, Guido Boffi, Eugenio Garin, Adriano Bausola, Enrico Berti, Francesca Castellani, Sergio Cremaschi, Carla Danani, Roberto Diodato, Sergio Galvan, Alessandro Ghisalberti, Giuseppe Grampa, Michele Lenoci, Roberto Maiocchi, Michele Marsonet, Emanuela Mora, Carlo Penco, Roberto Radice, Giovanni Reale, Andrea Salanti, Piero Stefani, Valerio Verra & Paolo Volonté (eds.), Enciclopedia della Filosofia e delle Scienze Umane. Virgilio Melchiorre (ed.). Novara: De Agostini. pp. 41-42.
  30. 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)  
     
    Export citation  
     
    Bookmark   4 citations  
  31. The Emergence of Modern Dialectic.Mehmet Karabela - 2013 - Proceedings of the XXIII World Congress of Philosophy 8.
  32. (1 other version)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.
  33. 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  
  34. 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  
  35. 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  
  36. 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)  
     
    Export citation  
     
    Bookmark  
  37. 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  
  38. 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  
  39. (1 other version)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  
  40. 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)  
     
    Export citation  
     
    Bookmark  
  41. 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  
  42. (3 other versions)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  
  43. (1 other version)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)  
     
    Export citation  
     
    Bookmark  
  44. (1 other version)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.
  45. 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  
  46. 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)  
     
    Export citation  
     
    Bookmark  
  47. B. van Rootselaar. Intuition und Konstruktion. Studium generale, vol. 19 (1966), pp. 175–181.R. E. Vesley - 1970 - Journal of Symbolic Logic 34 (4):656-656.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  48. 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)  
     
    Export citation  
     
    Bookmark  
  49. 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  
  50. Ş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)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1165