Related categories

749 found
Order:
1 — 50 / 749
Material to categorize
  1. Susan Stebbing.Frederique Janssen-Lauret - 2022 - Cambridge, UK: Cambridge University Press.
    Susan Stebbing (1885–1943), the UK’s first female professor of philosophy, was a key figure in the development of analytic philosophy. Stebbing wrote the world’s first accessible book on the new polyadic logic and its philosophy. She made major contributions to the philosophy of science, metaphysics, philosophical logic, critical thinking, and applied philosophy. Nonetheless she has remained largely neglected by historians of analytic philosophy. This Element provides a thorough yet accessible overview of Stebbing’s positive, original contributions, including her solution to the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. Aristotele e il primo Agostino secondo gli apporti della critica recente.Franco De Capitani - 2016 - In Fabrizio Amerini & Stefano Caroti (eds.), Ipsum verum non videbis nisi in philosophiam totus intraveris. Studi in onore di Franco De Capitani. Parma: E-theca OnLineOpenAccess Edizioni. pp. 233-280.
    This work sheds light on the presence of Aristotelian elements in Augustine’s early works, which was more substantial than what it is usually believed. In fact, the young African rhetorician did not only know Aristotle’s Categoriae, which he read when he was a student in Carthage, but also other works by him, such as his De interpretatione, already translated into Latin at Augustine’s time, as well as Aristotelian-inspired works. That is the case of Themistius’s paraphrases of Aristotle’s Analytica and his (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3. Logic From Kant to Russell. Laying the Foundations for Analytic Philosophy. [REVIEW]A. Schumann - 2022 - History and Philosophy of Logic 43 (4):400-404.
    Traditionally, logic was viewed as a purely European tradition, founded in Ancient Greece by Aristotle and then developed in Catholic and Byzantine scholasticism as well as in Islamic and Judaic Ar...
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4. Ta'lîkât: (Gelenbevî'nin mantık ilmine ait Burhân isimli kitâbı üzerine) = Taʻlīqāt ʻalá Burhān al-Kalnabawī fī al-manṭiq.Said Nursi - 2019 - Fatih, İstanbul: Osmanlı Araştırmaları Vakfı.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  5. Sharḥ naẓm muwajjahāt al-tahdhīb.Manṣūr ibn ʻAlī Manūfī - 2019 - Abū Ẓaby, al-Imārāt al-ʻArabīyah al-Muttaḥidah: Majlis Ḥukamāʼ al-Muslimīn.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  6. Sharḥ al-Mirqāh.Muḥammad ʻAbd al-Ḥaqq ibn Muḥammad Faḍl Ḥaqqī Khayrābādī - 2019 - ʻAmmān: Dār al-Nūr al-Mubīn lil-Nashr wa-al-Tawzīʻ.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  7. Natījat al-muhtam bi-tawḍīḥ al-Sullam wa-īḍāḥ al-mubham: Ḥāshiyah mustafādah min shurūḥ wa-ḥawāshī al-Sullam al-munawraq ka-Qaddūrah wa-al-Bannānī wa-al-Mullawī wa-al-Ṣabbān wa-al-Bājūrī ; wa-maʻahā fī ākhirihā Kashf al-lithām ʻan mukhaddarāt al-ifhām fī al.Aḥmad ibn ʻAbd al-Munʻim Damanhūrī - 2019 - al-Kuwayt: Dār al-Ḍiyāʼ lil-Nashr wa-al-Tawzīʻ.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  8. Daqāʼiq al-ḥaqāʼiq: qism ʻilm al-manṭiq.ʻAlī ibn Abī ʻAlī Āmidī - 2019 - Bayrūt: Kitāb - Nāshirūn.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  9. Ḥāshīyat al-Ṣabbān ʻalá al-Sharḥ al-Ṣaghīr lil-Mullawī ʻalá al-Sullam al-murawnaq.Muḥammad ibn ʻAlī Ṣabbān - 2020 - İstanbul: Dār Taḥqīq al-Kitāb lil-Ṭibāʻah wa-al-Nashr wa-al-Tawzīʻ.
    1. Ḥāshīyat al-Ṣabbān ʻalá al-Sharḥ al-Ṣaghīr lil-Mullawī ʻalá al-Sullam al-murawnaq -- 2. Taqrīrāt Ḥasan ibn Riḍwān al-Ḥusaynī.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  10. al-Mukhtaṣar fī al-manṭiq.Ibn Ṭumlūs & Yūsuf ibn Muḥammad - 2020 - al-Rabāṭ: Dār al-Amān.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  11. Sharḥ Mukhtaṣar al-Imām Ibn ʻArafah fī ʻilm al-manṭiq.Muḥammad ibn Yūsuf Sanūsī - 2021 - al-Qāhirah: al-Wābil al-Ṣayyib.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  12. Palimpsests of Themselves: Logic and Commentary in Postclassical Muslim South Asia.Asad Q. Ahmed - 2022 - Oakland, California: University of California Press.
    Palimpsests of Themselves is an intervention in current discussions about the fate of philosophy in postclassical Islamic intellectual history. It takes up the most advanced logic textbook of Muslim South Asia, The Ladder of the Sciences, as a case study and engages its legacy in three ways. In addition to presenting the first full translation and extended commentary in English, Asad Q. Ahmed offers detailed assessments of the technical contributions of the work, explores the social and institutional settings of the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  13. Īḍāḥ al-manṭiq al-qadīm fī matn al-Tahdhīb lil-Saʻd wa-sharḥihi lil-Khabīṣī.ʻAbd al-Mutaʻāl Ṣaʻīdī - 2022 - [Cairo?]: al-Maktabah al-Azharīyah lil-Turāth.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  14. Aḥmad al-Wallālī's commentary on al-Sanūsī's Compendium of logic: a study and edition of Lawāmiʻ al-naẓar fī taḥqīq maʻānī al-Mukhtaṣar = Lawāmiʻ al-naẓar fī taḥqīq maʻānī al-Mukhtaṣar.Aḥmad ibn Muḥammad Wallālī - 2022 - Boston: Brill.
    Lawami' al-Nazar fi Tahqiq Ma'ani al-Mukhtasar is Aḥmad b. Ya'qub al-Wallali's (d. 1128/1716) commentary on al-Sanusi's (d. 895/1490) compendium of logic, al-Mukhtasar. Al-Wallali was the first commentator on al-Sanusi's compendium after the author's autocommentary. In this publication, Ibrahim Safri offers a critical edition of this work, together with a study of the author's life and oeuvre. Safri also tries to show the indirect influence of Avicennism on logic in the Maghribi tradition in the seventeenth and eighteenth centuries. On the basis (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  15. Commentary on the Jumal on logic by Khunaji =.Ibn Wāṣil & Muḥammad ibn Sālim - 2022 - Boston: Brill.
    Ibn Wasil (d. 1298), perhaps better known today as a historian and an emissary to the court of King Manfred in southern Italy, was also an eminent logician. The present work is a critical edition of his main work in the field, a commentary on his teacher Khunaji's (d. 1248) handbook al-Jumal. The work helped consolidate the logic of the "later scholars" (such as Khunaji). It also shows that commentators did much more than merely explain the original work and instead (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  16. Commentary on the Jumal on logic =.Ibn Wāṣil & Muḥammad ibn Sālim - 2022 - Boston: Brill.
    Ibn Wasil (d. 1298), perhaps better known today as a historian and an emissary to the court of King Manfred in southern Italy, was also an eminent logician. The present work is a critical edition of his main work in the field, a commentary on his teacher Khunaji's (d. 1248) handbook al-Jumal. The work helped consolidate the logic of the "later scholars" (such as Khunaji). It also shows that commentators did much more than merely explain the original work and instead (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  17. Lvov-Warsaw School. Past and Present Logic.K. Gan-Krzywoszyńska & P. Leśniewski - forthcoming - History and Philosophy of Logic:1-7.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  18. Modality and Validity in the Logic of John Buridan.Boaz Faraday Schuman - 2021 - Dissertation, University of Toronto
    What makes a valid argument valid? Generally speaking, in a valid argument, if the premisses are true, then the conclusion must necessarily also be true. But on its own, this doesn’t tell us all that much. What is truth? And what is necessity? In what follows, I consider answers to these questions proposed by the fourteenth century logician John Buridan († ca. 1358). My central claim is that Buridan’s logic is downstream from his metaphysics. Accordingly, I treat his metaphysical discussions (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  19. Multiple Generality in Scholastic Logic.Boaz Faraday Schuman - 2022 - Oxford Studies in Medieval Philosophy 10:215-282.
    Multiple generality has long been known to cause confusion. For example, “Everyone has a donkey that is running” has two readings: either (i) there is a donkey, owned by everyone, and it is running; or (ii) everyone owns some donkey or other, and all such donkeys run. Medieval logicians were acutely aware of such ambiguities, and the logical problems they pose, and sought to sort them out. One of the most ambitious undertakings in this regard is a pair of massive (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  20. Two Sciences, Two Logics? Can or Should Politics and Ideology Provide Logical Evidence?Luis Felipe Bartolo Alegre -
    This paper discusses the question of whether politics and ideology could ever be considered sensible sources for logical evidence. After discussing some proposals for this possibility, I answer negatively by arguing that any attempt to deviate from classical logics on these grounds would consist of an ad hoc denial of a logic principle.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  21. Communicating with Colourings.Lwenn Bussière-Caraes - 2022 - In Piotr Stalmaszczyk & Martin Hinton (eds.), Philosophical Approaches to Language and Communication (vol 2). pp. 151-170.
    A speaker can express the same thought, true under the same conditions, while using different expressions and grammatical constructions. According to Frege, these are differences in colourings. Colourings may convey additional contents; in that, they resemble Gricean conventional implicatures. Sander (2019) argues that Gricean implicatures do not subsume the category of colourings, as some colourings do not communicate their content. I show that this argument relies on a notion of communication focused on the speaker's intentions. But a notion of communicative (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  22. Leibnizian and Nonstandard Analysis: Philosophical Problematization of an Alleged Continuity.Ivano Zanzarella - manuscript
    In the present paper the philosophical and mathematical continuity alleged by A. Robinson in Nonstandard Analysis (1966) between his theory and Leibniz’s calculus is investigated. In Section 1, after a brief overview of the history of analysis, we expose the historical, mathematical and philosophical aspects of Leibniz’s calculus. In Section 2 the main technical aspects of nonstandard analysis are presented, and Robinson’s philosophy is discussed. In Section 2.1 we claim the absence of a complete and direct continuity and the only (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  23. Schopenhauers Vernunftlehre. Ein Forschungsüberblick.Jens Lemanski - 2022 - In Dieter Birnbacher & Matthias Koßler (eds.), Das Hauptwerk: 200 Jahre Arthur Schopenhauers Die Welt als Wille und Vorstellung. Würzburg, Deutschland: pp. 53-79.
    Arthur Schopenhauer’s system, as elaborated in The World as Will and Representation (1st ed.: 1819) and in the Berlin Lectures (1820s), is divided into four parts: 1. the so-called ‘epistemology’, 2. metaphysics (of nature), 3. metaphysics of the beautiful or aesthetics, 4. metaphysics of morals or ethics. The part on ‘epistemology’ is divided into two parts: the doctrine of cognition and the doctrine of reason. Whereas the doctrine of cognition discusses the three conditions for the possibility of cognition, i.e., space, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  24. Schopenhauer's große Logik.Jens Lemanski - 2022 - In Daniel Schubbe, Daniel Elon & Judith Werntgen-Schmidt (eds.), Arthur Schopenhauer: Vorlesung über die gesamte Philosophie, Vol. I. Hamburg, Deutschland: Meiner.
    Die Unterscheidung zwischen einer großen und kleinen Logik geht auf den scholastischen Unterricht zurück, in dem Bakkalaren eine grundlegende parva logicalia und Magistranden eine auf Vollständigkeit zielende logica magna zu absolvieren hatten. Erst im Laufe des 19. Jh.s wurde die begriffliche Unterscheidung weniger auf die Studiengangszuordnung, als vielmehr auf den Umfang von logischen Texten angewandt: Fand man von Autoren sowohl ausschweifende als auch knappe Darstellungen der Logik, so wurden diese salopp als ›große‹ und als ›kleine Logik‹ bezeichnet. In diesem Sinn (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  25. The Philosophy of Logic of Francisco Miró Quesada Cantuarias.Newton da Costa, José Carlos Cifuentes & Luis Felipe Bartolo Alegre - 2020 - South American Journal of Logic 6 (2):189-208.
    In this historical article, Newton da Costa discusses Francisco Miró Quesada’s philosophical ideas about logic. He discusses the topics of reason, logic, and action in Miró Quesada’s work, and in the final section he offers his critical view. In particular, he disagrees with Miró Quesada’s stance on the historicity of reason, for whom “reason is essentially absolute”, whereas for da Costa it “is being constructed in the course of history”. Da Costa concludes by emphasizing the importance of Miró Quesada’s theory (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  26. Francisco Miró Quesada Cantuarias’ Bibliography.Luis Felipe Bartolo Alegre & Fabiola Valeria Cárdenas Maldonado - 2020 - South American Journal of Logic 6 (2):377–428.
    We present a bibliography of Francisco Miró Quesada Cantuarias’ works divided by subject and subdivided by work type, and compare it with the last version of that made by Sobrevilla.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  27. Наука и логика: однос науке и логике кроз историју.Mitar Nedeljkovic - 2020 - Наука Без Граница 3“ Међународни Тематски Зборник 3 (1):359-371.
    In this paper, the author considers the relationship between science and logic through their historical development. Logic is traditionally understood as a system of principles of valid inference by which the truthfulness of a statement is preserved through the transformation of its content. As such, logic requires that those principles apply regardless of the subject matter under consideration. Therefore, it is undisputable that there is a connection between science and logic: science without inference would be reduced only to a bunch (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  28. Epistemic Sophisms, Calculatores and John Mair’s Circle.Miroslav Hanke - 2022 - Noctua 9 (3):89-131.
    This paper focuses on the early sixteenth-century epistemic logic developed by John Mair’s circle and discusses iterated epistemic modalities, epistemic closure and Bradwardinian semantics related to the logic of epistemic statements. These topics are addressed as part of setting up and solving epistemic sophisms based on traditional scenarios which can be traced back to fourteenth-century British epistemic logic. While the ultimate source for the debate appears to be the second chapter of William Heytesbury’s Regule solvendi sophismata, the immediate source is (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29. Medieval Theories on the Conceivability of the Impossible: A Survey of Impossible Positio in Ars Obligatoria During the 13th–14th Centuries.Irene Binini - 2022 - Noctua 9 (3):1-47.
    During the 13th century, several logicians in the Latin medieval tradition showed a special interest in the nature of impossibility, and in the different kinds or ‘degrees’ of impossibility that could be distinguished. This discussion resulted in an analysis of the modal concept with a fineness of grain unprecedented in earlier modal accounts. Of the several divisions of the term ‘impossible’ that were offered, one became particularly relevant in connection with the debate on ars obligatoria and positio impossibilis: the distinction (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30. History of Relating Logic. The Origin and Research Directions.Mateusz Klonowski - 2021 - Logic and Logical Philosophy 30 (4):579–629.
    In this paper, we present the history of and the research directions in relating logic. For this purpose we will describe Epstein's Programme, which postulates accounting for the content of sentences in logical research. We will focus on analysing the content relationship and Epstein's logics that are based on it, which are special cases of relating logic. Moreover, the set-assignment semantics will be discussed. Next, the Torunian Programme of Relating Semantics will be presented; this programme explores the various non-logical relationships (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Rewriting the History of Connexive Logic.Wolfgang Lenzen - 2022 - Journal of Philosophical Logic 51 (3):525-553.
    The “official” history of connexive logic was written in 2012 by Storrs McCall who argued that connexive logic was founded by ancient logicians like Aristotle, Chrysippus, and Boethius; that it was further developed by medieval logicians like Abelard, Kilwardby, and Paul of Venice; and that it was rediscovered in the 19th and twentieth century by Lewis Carroll, Hugh MacColl, Frank P. Ramsey, and Everett J. Nelson. From 1960 onwards, connexive logic was finally transformed into non-classical calculi which partly concur with (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32. Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History.Saul A. Kripke - 2021 - History and Philosophy of Logic 43 (2):175-182.
    In the Handbook of Mathematical Logic, the Paris-Harrington variant of Ramsey's theorem is celebrated as the first result of a long ‘search’ for a purely mathematical incompleteness result in first-order Peano arithmetic. This paper questions the existence of any such search and the status of the Paris-Harrington result as the first mathematical incompleteness result. In fact, I argue that Gentzen gave the first such result, and that it was restated by Goodstein in a number-theoretic form.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33. Some Paradoxes of Infinity Revisited.Yaroslav Sergeyev - 2022 - Mediterranian Journal of Mathematics 19:143.
    In this article, some classical paradoxes of infinity such as Galileo’s paradox, Hilbert’s paradox of the Grand Hotel, Thomson’s lamp paradox, and the rectangle paradox of Torricelli are considered. In addition, three paradoxes regarding divergent series and a new paradox dealing with multiplication of elements of an infinite set are also described. It is shown that the surprising counting system of an Amazonian tribe, Pirah ̃a, working with only three numerals (one, two, many) can help us to change our perception (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. A forgotten logical expressivist: Strawson’s philosophy of logic and its challenges.Sybren Heyndels - 2022 - Synthese 200 (3):1-23.
    P.F. Strawson contributed to many philosophical domains, including the philosophy of language, the history of philosophy, metaphysics, moral philosophy and philosophical methodology. Most of his contributions in these areas have influenced contemporary debates, either because his views are still defended or because they are still considered worthy of detailed responses. His views on the philosophy of logic have been only rarely discussed, however. My aim in this paper is threefold. First, I provide a systematic account of Strawson’s philosophy of logic. (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  35. The Cartesian Semantics of the Port Royal Logic.John N. Martin - 2019 - New York: Routledge.
    This book sets out for the first time in English and in the terms of modern logic the semantics of the Port Royal Logic of Antoine Arnauld and Pierre Nicole, perhaps the most influential logic book in the 17th and 18th centuries. Its goal is to explain how the Logic reworks the foundation of pre-Cartesian logic so as to make it compatible with Descartes' metaphysics. The Logic's authors forged a new theory of reference based on the medieval notion of objective (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Frege, Peano and the Construction of a Logical Calculus.Joan Bertran San Millán - 2021 - Logique Et Analyse 253:3-22.
    In contemporary historical studies Peano is usually linked to the logical tradition pioneered by Frege. In this paper I question this association. Specifically, I claim that Frege and Peano developed significantly different conceptions of a logical calculus. First, I clam that while Frege put the systematisation of the notion of inference at the forefront of his construction of an axiomatic logical system, Peano modelled his early logical systems as mathematical calculi and did not really attempt to justify reasoning. Second, I (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  37. Aḥmad Al-Wallālī’s Commentary on Al-Sanūsī’s Compendium of Logic: A Study and Edition of Lawāmiʿ Al-Naẓar Fī Taḥqīq Maʿānī Al-Mukhtaṣar.Ibrahim Safri (ed.) - 2022 - Boston: Brill.
    In the study of _Lawāmiʿ al-Naẓar_, Ibrahim Safri presents a history of rational sciences in the Maghribī tradition in the seventeenth and eighteenth century. He also presents a critical edition of the work, which can be considered as an introduction to post-Avicennian studies in North Africa.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  38. Logical Truth / Logička istina (Bosnian translation by Nijaz Ibrulj).Nijaz Ibrulj & Willard Van Orman Quine - 2018 - Sophos 1 (11):115-128.
    Translated from: W.V.O.Quine, W. H. O. (1986): Philosophy of Logic. Second Edition. Harvard University Press. Cambridge, Massachusetts and London, England, 47-61.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. Against Fregean Quantification.Bryan Pickel & Brian Rabern - forthcoming - Ergo.
    There are two dominant approaches to quantification: the Fregean and the Tarskian. While the Tarskian approach is standard and familiar, deep conceptual objections have been pressed against its employment of variables as genuine syntactic and semantic units. Because they do not explicitly rely on variables, Fregean approaches are held to avoid these worries. The apparent result is that the Fregean can deliver something that the Tarskian is unable to, namely a compositional semantic treatment of quantification centered on truth and reference. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40. What the Tortoise Said to Achilles: Lewis Carroll’s Paradox in Terms of Hilbert Arithmetic.Vasil Penchev - 2021 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 13 (22):1-32.
    Lewis Carroll, both logician and writer, suggested a logical paradox containing furthermore two connotations (connotations or metaphors are inherent in literature rather than in mathematics or logics). The paradox itself refers to implication demonstrating that an intermediate implication can be always inserted in an implication therefore postponing its ultimate conclusion for the next step and those insertions can be iteratively and indefinitely added ad lib, as if ad infinitum. Both connotations clear up links due to the shared formal structure with (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41. Pure Variable Inclusion Logics.Francesco Paoli, Michele Pra Baldi & Damian Szmuc - forthcoming - Logic and Logical Philosophy:1-22.
    The aim of this article is to discuss pure variable inclusion logics, that is, logical systems where valid entailments require that the propositional variables occurring in the conclusion are included among those appearing in the premises, or vice versa. We study the subsystems of Classical Logic satisfying these requirements and assess the extent to which it is possible to characterise them by means of a single logical matrix. In addition, we semantically describe both of these companions to Classical Logic in (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Bishop's Mathematics: A Philosophical Perspective.Laura Crosilla - forthcoming - In Handbook of Bishop's Mathematics. CUP.
    Errett Bishop's work in constructive mathematics is overwhelmingly regarded as a turning point for mathematics based on intuitionistic logic. It brought new life to this form of mathematics and prompted the development of new areas of research that witness today's depth and breadth of constructive mathematics. Surprisingly, notwithstanding the extensive mathematical progress since the publication in 1967 of Errett Bishop's Foundations of Constructive Analysis, there has been no corresponding advances in the philosophy of constructive mathematics Bishop style. The aim of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  43. A Simple Logical Matrix and Sequent Calculus for Parry’s Logic of Analytic Implication.Damian E. Szmuc - 2021 - Studia Logica 109 (4):791-828.
    We provide a logical matrix semantics and a Gentzen-style sequent calculus for the first-degree entailments valid in W. T. Parry’s logic of Analytic Implication. We achieve the former by introducing a logical matrix closely related to that inducing paracomplete weak Kleene logic, and the latter by presenting a calculus where the initial sequents and the left and right rules for negation are subject to linguistic constraints.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44. John Corcoran.José M. Sagüillo, Michael Scanlan & Stewart Shapiro - 2021 - History and Philosophy of Logic 42 (3):201-223.
    We present a memorial summary of the professional life and contributions to logic of John Corcoran. We also provide a full list of his many publications.Courtesy of Lynn Corcoran.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45. Deontic Concepts and Their Clash in Mīmāṃsā: Towards an Interpretation.Elisa Freschi & Matteo Pascucci - 2021 - Theoria 87 (3):659-703.
    The article offers an overview of the deontic theory developed by the philosophical school of Mīmāṃsā, which is, and has been since the last centuries BCE, the main source of normative concepts in Sanskrit thought. Thus, the Mīmāṃsā deontics is interesting for any historian of philosophy and constitutes a thought-provoking occasion to rethink deontic concepts, taking advantage of centuries of systematic reflections on these topics. Some comparison with notions currently used in Euro-American normative theories and metaethical principles is offered in (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. An Inquiry on Fakhr Al-Dīn Rāzī’s Authorship of Al-Manṭiq Al-Kabīr.Asadollah Fallahi - 2021 - History and Philosophy of Logic 42 (3):224-246.
    It is quite common among historians of Arabic logic to attribute MS Aḥmad iii, no. 3401, entitled Al-manṭiq al-kabīr, to Fakhr al-Dīn Rāzī. This view is expressed explicitly...
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  47. Intuition Et Idéalités. Phénoménologie des Objets Mathématiques.F. Patras - 2021 - History and Philosophy of Logic 42 (2):197-199.
    Reviewed by F. PATRAS, Laboratoire J.-A. Dieudonné, Université Côte d'Azur and CNRS, Nice, France. [email protected] those who are interested in Husserl’s philosophy of mathematics and its links w...
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48. A Phenomenology of Race in Frege's Logic.Joshua M. Hall - forthcoming - Humanities Bulletin.
    This article derives from a project attempting to show that Western formal logic, from Aristotle onward, has both been partially constituted by, and partially constitutive of, what has become known as racism. In the present article, I will first discuss, in light of Frege’s honorary role as founder of the philosophy of mathematics, Reuben Hersh’s What is Mathematics, Really? Second, I will explore how the infamous section of Frege’s 1924 diary (specifically the entries from March 10 to April 9) supports (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Peano on Symbolization, Design Principles for Notations, and the Dot Notation.Dirk Schlimm - 2021 - Philosophia Scientae 25:95-126.
    Peano was one of the driving forces behind the development of the current mathematical formalism. In this paper, we study his particular approach to notational design and present some original features of his notations. To explain the motivations underlying Peano's approach, we first present his view of logic as a method of analysis and his desire for a rigorous and concise symbolism to represent mathematical ideas. On the basis of both his practice and his explicit reflections on notations, we discuss (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50. Gottlob Frege: Ist Wahrheit definierbar?David Löwenstein - 2021 - Zeitschrift Für Didaktik der Philosophie Und Ethik 4:73-79.
    This paper presents a passage on truth from "Der Gedanke" and comments on its content and use in the classroom.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 749