Related

Contents
1071 found
Order:
1 — 50 / 1071
Material to categorize
  1. Schemata Isagogica. Osservazioni sui prologhi di alcuni commenti logici del XII secolo a Isagoge e Categorie.Pietro Podolak - 2024 - Noctua 11 (4):504-566.
    The literary culture of late antiquity established a list of questions to be answered before studying an author or a text. Among other types of introductory sets, we find the six didascalica used by Boethius in his commentaries on Aristotle’s Organon. Twelfth-century commentaries inherited these requirenda, although each master felt free to modify and rearrange traditional elements. Within the logical commentaries, the Abelardian commentaries Logica ingredientibus and Logica nostrorum petitioni sociorum show some peculiarities, such as the modus tractandi; this feature (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2. On the Expressivity of Byzantine Diagrams in Logic.Jens Lemanski & Reetu Bhattacharjee - 2024 - In Jens Lemanski, Mikkel Willum Johansen, Emmanuel Manalo, Petrucio Viana, Reetu Bhattacharjee & Richard Burns (eds.), Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 – October 1, 2024, Proceedings. Cham: Springer. pp. 429–445.
    ‘Byzantine logic diagrams’ have been used since at least late antiquity, and became popular in Europe in the 16th century. However, since the criticism of W. Hamilton and J. Venn in the 19th century, Byzantine diagrams have been largely dismissed as obsolete. This paper challenges this prevailing view. Initially, we provide a comprehensive overview of the current state of research pertaining to these diagrams, illustrating their applicability in analyzing assertoric syllogisms. Subsequently, we propose that the expressive capacity of these diagrams (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  3. Heart Disease Prediction Using Machine Learning Techniques.D. Devendran - 2025 - Journal of Science Technology and Research (JSTAR) 6 (1):1-17.
    Heart disease remains one of the leading causes of mortality worldwide. Early prediction and diagnosis are critical in preventing severe outcomes and improving the quality of life for patients. This project focuses on developing a robust heart disease prediction system using machine learning techniques. By analyzing a comprehensive dataset consisting of various patient attributes such as age, sex, blood pressure, cholesterol levels, and other medical parameters, the system aims to predict the likelihood of a patient having heart disease. The project (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4. Efficient Machine Learning Algorithm for Future Gold Price Prediction.A. Ravikumar - 2025 - Journal of Science Technology and Research (JSTAR) 6 (1):1-18.
    The project titled "Efficient Machine Learning Algorithm for Future Gold Price Prediction" focuses on the development of a machine learning model that can accurately predict future gold prices using historical data and various economic indicators. Gold has long been regarded as a safe-haven asset, and its price is influenced by multiple factors, including global economic conditions, inflation rates, interest rates, and geopolitical events. This research aims to design and implement a robust machine learning model that can analyze complex patterns and (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  5. Frege’s Conceptions of Elucidation.Wim Vanrie - 2024 - Journal for the History of Analytical Philosophy 13 (1).
    I argue that discussions of Frege’s conception of elucidation have suffered from a conflation of two distinct issues: elucidation of primitive scientific terms, and elucidation of the logical categories. The former seeks to bring us to grasp the Bedeutung of terms that stand at the beginning of the chain of definitions of a scientific system. The latter cannot be understood on the model of securing agreement in Bedeutung at all. I show how existing discussions of Fregean elucidation insufficiently take this (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6. Foundation of a Rigorous Implication.Wilhelm Ackermann & Fabio De Martin Polo - manuscript - Translated by Fabio De Martin Polo.
    This manuscript presents an English translation of the work titled “Begründung Einer Strengen Implikation” by the German logician and mathematician Wilhelm Ackermann (1896-1962), first published in June 1956.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  7. Johannes Rudbeckius och logik: Gestaltning av en luthersk skolastik.Tero Tulenheimo - 2024 - Skellefteå: Artos & Norma bokförlag.
    Johannes Rudbeckius (1581–1646) var en av de främsta kyrkoledarna i stormaktstidens Sverige. Under studietiden i Wittenberg influerades han av ”luthersk skolastik”, enligt vilken förnuft och uppenbarelse är förenliga som kunskapskällor och logik är ett instrument för teologi. -/- I boken visar Tero Tulenheimo hur Rudbeckius lade vikt vid logik som stöddisciplin för teologi. -/- Inledningsvis behandlas frågan om omfattningen av Rudbeckius teologiska produktion. Här argumenterar Tulenheimo emot Bengt Hägglunds tes, enligt vilken Rudbeckius skulle ha författat en viktig opublicerad handskrift om (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  8. Is the Liar Paradox Never Strictly Classical?Choi Seungrak - 2024 - Korean Journal of Logic 27 (3):167-202.
    The present paper investigates whether strictly classical inferences contribute to the formalization of (genuine) paradoxes within natural deduction. Tennant's criterion for paradoxicality relies on the generation of an infinite reduction sequence, which distinguishes genuine paradoxes from mere inconsistencies. His methodological conjecture posits that genuine paradoxes are never strictly classical and can be derived without classical inferences such as the Law of Excluded Middle, Dilemma, Classical Reductio, and Double Negation Elimination. -/- It appears that there were two reasons for Tennant's proposal (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  9. Zur Methodologie interkultureller Logik-Studien.Gregor Paul - 2015 - Bochumer Jahrbuch Zur Ostasienforschung 38:129-144.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  10. Schopenhauer's Sorites Diagram.Christina Kittsteiner - 2024 - In Jens Lemanski, Mikkel Willum Johansen, Emmanuel Manalo, Petrucio Viana, Reetu Bhattacharjee & Richard Burns (eds.), Diagrammatic Representation and Inference 14th International Conference, Diagrams 2024, Münster, Germany, September 27 – October 1, 2024, Proceedings. Cham: Springer. pp. 145-152.
    Arthur Schopenhauer was one of the first logicians of the 19th century to develop a visual representation of the sorites with which it is possible to depict multiple terms in one diagram. With the help of an example from Seneca, he explains how the sorites diagram works and provides two reading interpretations for the diagram. Since Schopenhauer’s sorites diagram in particular or sorites diagrams in general have never been dealt with in research before, this paper will introduce and analyse Schopenhauer’s (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Kāshif al-ḥaqāʼiq bi-sharḥ Durrat al-manṭiq.Khiḍr ibn Muḥammad Ḥabalarūdī - 2020 - Karbalāʼ, al-ʻIrāq: al-ʻAtabah al-Ḥusaynīyah al-Muqaddasah, Markaz al-ʻAllāmah al-Ḥillī li-Iḥyāʼ Turāth Ḥawzat al-Ḥillah al -ʻIlmīyah. Edited by Muḥammad ʻAlī ʻIyūḍī, Ibn al-Sharīf al-Jurjānī & Muḥammad ibn ʻAlī.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  12. Peirce on the Normative Basis of Deductive Logic.Robby Finley - 2024 - Transactions of the Charles S. Peirce Society 60 (2):129-159.
    I analyze Peirce’s reply in the 1903 Lowell Lectures to the “defendant argument” and show how his response provides a key to interpreting his later philosophy of logic and his views on the normative role of deductive logic in inquiry. I argue that in Peirce’s discussion of self-control in reasoning and evaluation of reasoning, we find an underappreciated position on logical revision and how to understand rational choice between deductive theories. To defend this point, I reconstruct Peirce’s reply by providing (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. Ishkālīyat al-istiqrāʼ ʻinda al-waḍʻīyīn al-manāṭiqah: taʼṣīl tārīkhī wa-muḥāwalāt tabrīr: dirāsah taḥlīlīyah naqdīyah.Ṣāliḥ Saʻd Ṣāliḥ - 2023 - al-Bayḍāʼ, Lībiyā: Dār Jīn lil-Ṭibāʻah wa-al-Nashr wa-al-Tawzīʻ.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  14. (1 other version)Ronrigaku kōyō.Shinkichi Sudō - 1937 - Tōkyō: Uchida Rōkakuho.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  15. (6 other versions)La logique.Antoine Arnauld - 1965 - Paris,: Presses universitaires de France. Edited by Pierre Nicole, Pierre[From Old Catalog] Clair & FrançOis[From Old Catalog] Girbal.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  16. (1 other version)William of Sherwood's Introduction to logic.William Shirwood - 1966 - Minneapolis,: University of Minnesota Press. Edited by Norman Kretzmann.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  17. Which Paradox is Genuine in Accordance with the Proof-Theoretic Criterion for Paradoxicality?Seungrak Choi - 2023 - Korean Journal of Logic 3 (26):145-181.
    Neil Tennant was the first to propose a proof-theoretic criterion for paradoxicality, a framework in which a paradox, formalized through natural deduction, is derived from an unacceptable conclusion that employs a certain form of id est inferences and generates an infinite reduction sequence. Tennant hypothesized that any derivation in natural deduction that formalizes a genuine paradox would meet this criterion, and he argued that while the liar paradox is genuine, Russell's paradox is not. -/- The present paper delves into Tennant's (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. Ockham's theory of terms, part I of the Summa logicae. William - 1974 - Notre Dame, Ind.: University of Notre Dame Press.
    Remove from this list  
     
    Export citation  
     
    Bookmark   15 citations  
  19. Transcendental Logic and the Logic of Thought.Dennis Schulting - 2021 - Studi Kantiani 34 (1):115-126.
    In this paper, I reflect on the idea, hinted at by Kant in a footnote to §16 of the B- Deduction that is not often discussed (KrV B 134n.), that transcendental logic is the ground of logic as a whole. This has important repercussions for the way we should see the role of transcendental logic with respect to the question of truth as well as the nature and scope of transcendental logic in relation to cognition, and in relation to general (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  20. (1 other version)Hsing shih lo chi yü pien cheng fa.Ku-chʻeng Chou - 1977
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  21. (1 other version)La logique, ou, L'Art de penser: countenant, outre les règles communes, plusieurs observations nouvelles, propres à former le jugement.Antoine Arnauld - 1981 - Paris: Librairie philosophique J. Vrin. Edited by Pierre Nicole, Pierre Clair & François Girbal.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  22. (1 other version)Sefer ha-Higayon.Moshe Ḥayyim Luzzatto - 1984 - Yerushalayim: ha-Masorah.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  23. (1 other version)Systema logicum antiquorum atque receptiorum item propria praecepta exhibens.Johann Peter Reusch - 1734 - New York: G. Olms.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  24. (1 other version)Logique.Bernard Ruyer - 1994 - Paris: Presses universitaires de France.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  25. Logica parva. Paolo - 2002 - Boston: Brill. Edited by Alan R. Perreiah.
    Copied in 80 manuscripts and printed in 25 editions Logica Parva was the most widely read logic book in 15th century Italy. By transmitting Oxford logic to Italy it influenced the course of science, philosophy and theology in the Renaissance.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  26. (1 other version)Tractatus de signis: the semiotic of John Poinsot.John of St Thomas - 2013 - South Bend, Ind.: St. Augustine's Press. Edited by John Deely & Ralph Austin Powell.
    "From the 1930 Reiser edition (emended second impression) of the Ars logica, itself comprising the first two parts of the five part Cursus philosophicus of 1631-1635, by the same author.".
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  27. The Development of Gödel’s Ontological Proof.Annika Kanckos & Tim Lethen - 2021 - Review of Symbolic Logic 14 (4):1011-1029.
    Gödel’s ontological proof is by now well known based on the 1970 version, written in Gödel’s own hand, and Scott’s version of the proof. In this article new manuscript sources found in Gödel’s Nachlass are presented. Three versions of Gödel’s ontological proof have been transcribed, and completed from context as true to Gödel’s notes as possible. The discussion in this article is based on these new sources and reveals Gödel’s early intentions of a liberal comprehension principle for the higher order (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28. Tanwīr al-mashriq: sharḥ Tahdhīb al-manṭiq.Aḥmad Maḥallī - 2022 - Isṭanbūl: al-Dār al-Shāmīyah lil-Nashr wa-al-Tawzīʻ.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  29. Ronrigaku genri.Hajime Ōnishi - 1897 - [Tokyo: Tōkyō Senmon Gakkō.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  30. Risālat Ādāb al-baḥth.lil-imām al-muḥaqqiq Shams al-Dīn - unknown - In Kemalpaşazade, Birgivî Mehmet Efendi, Muḥammad ibn Ashraf Samarqandī & Maḥmūd al-Imām Manṣūrī (eds.), Majmūʻat 3 rasāʼil li-Ibn Kamāl wa-al-Birkawī wa-Ādāb al-Samarqandī.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  31. Risālah fī al-ādāb. lil-Birkawī - unknown - In Kemalpaşazade, Birgivî Mehmet Efendi, Muḥammad ibn Ashraf Samarqandī & Maḥmūd al-Imām Manṣūrī (eds.), Majmūʻat 3 rasāʼil li-Ibn Kamāl wa-al-Birkawī wa-Ādāb al-Samarqandī.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  32. Risālah fī al-ādāb.li-Ibn Kamāl - unknown - In Kemalpaşazade, Birgivî Mehmet Efendi, Muḥammad ibn Ashraf Samarqandī & Maḥmūd al-Imām Manṣūrī (eds.), Majmūʻat 3 rasāʼil li-Ibn Kamāl wa-al-Birkawī wa-Ādāb al-Samarqandī.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  33. Ḥāshiyat Qarah Dāwūd ʻalá al-Taṣawwurāt.Dāwūd ibn Kamāl Qūjawī - 1899 - [Istanbul]: Maṭbaʻat ʻĀrif Afandī. Edited by Maḥmūd al-Imām Manṣūrī.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  34. Sharḥ al-Ḥawāshī al-zāhidīyah ʻalá Mullā Jalāl.Muḥammad ʻAbd al-Ḥaqq ibn Muḥammad Faḍl Ḥaqqī Khayrābādī - 1898 - Dilhī: Maṭbaʻ Mujtabāʼī. Edited by Maḥmūd al-Imām Manṣūrī.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  35. Aristotle, Term Logic, and QUARC.Jonas Raab - 2024 - In George Englebretsen (ed.), New Directions in Term Logic. London: College Publications. pp. 427-503.
    Aristotle counts as the founder of formal logic. The logic he develops dominated until Frege and others introduced a new logic. This new logic is taken to be more powerful and better capable of capturing inference patterns. The new logic differs from Aristotelian logic in significant respects. It has been argued by Fred Sommers and Hanoch Ben-Yami that the new logic is not well equipped as a logic of natural language, and that a logic closer to Aristotle's is better suited (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  36. New Directions in Term Logic.George Englebretsen (ed.) - 2024 - London: College Publications.
    The systematic account of deductive reasoning and the development of a formal logic to reveal the principles of such reasoning began with Aristotle's syllogistic. It was a term logic, a logic that dominated the field until the rise of modern predicate logic at the end of the Nineteenth century. That system quickly supplanted the old logic of terms. However, in the middle of the Twentieth century Fred Sommers took up the challenge to build a revised and strengthened term logic, one (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  37. Towards a pragmatist epistemology for theory choice in logic.Robby Finley - 2024 - Synthese 204 (1):1-27.
    In this paper, I outline a pragmatist epistemology of logic inspired by later work of Charles S. Peirce that shares many features with an anti-exceptionalism about logic but, I argue, can better respond to a key problem that plagues the anti-exceptionalist. I first lay out what I take to be the tenets of anti-exceptionalism, discussing some difficulties in formulating the position that make it difficult to definitively label the position discussed here. I then analyze a key problem for the anti-exceptionalist, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38. Universal Logic, Ethics, and Truth.Jean- Timothy J. Madigan & Jean-Yves Beziau (eds.) - 2024 - Birkhäuser.
  39. Some notes on the Aristotelian doctrine of opposition and the propositional calculus.Gerardo Ó Matía Cubillo - 2023 - Disputatio. Philosophical Research Bulletin 12 (26):53-70.
    We develop some of Williamson’s ideas regarding how propositional calculus aids in comprehending Aristotelian logic. Specifically, we enhance the utilisation of truth tables to examine the structure of opposition diagrams. Using ‘conditioned truth tables’, we establish logical dependency relationships between the truth values of different propositions. This approach proves effective in interpreting various texts of the Organon concerning the doctrine of opposition.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  40. Clauberg en Thuringe.Andrea Strazzoni - forthcoming - Les Etudes Philosophiques.
    In this paper I provide an analysis of an anonymous text which appeared at Sondershausen and Mühlhausen in 1687: Initiatio philosophi sive Dubitatio Cartesiana, ad indubiam philosophiam viam monstrans, iuxta mentem Renati des Cartes, Nobilis Galli, utraque methodo explicata, titled after Johannes Clauberg’s homonymous 1655 treatise. It consisted of (1) an abridgement of his Paraphrasis in Renati Des Cartes Meditationes (1658), and (2) a demonstration more geometrico of the necessity of methodical doubt as the beginning of philosophy, partially based on (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. The Pioneering Proving Methods as Applied in the Warsaw School of Logic – Their Historical and Contemporary Significance.Urszula Wybraniec-Skardowska - 2024 - History and Philosophy of Logic 45 (2):124-141.
    Justification of theorems plays a vital role in any rational human activity. It is indispensable in science. The deductive method of justifying theorems is used in all sciences and it is the only method of justifying theorems in deductive disciplines. It is based on the notion of proof, thus it is a method of proving theorems. In the Warsaw School of Logic (WSL) – the famous branch of the Lvov-Warsaw School (LWS) – two types of the method: axiomatic deduction method (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42. Discussive Logic. A Short History of the First Paraconsistent Logic.Fabio De Martin Polo - 2023 - In Jens Lemanski & Ingolf Max (eds.), Historia Logicae and its Modern Interpretation. London: College Publications. pp. 267--296.
    In this paper we present an overview, with historical and critical remarks, of two articles by S. Jaśkowski ([20, 21] 1948 and [22, 23] 1949), which contain the oldest known formulation of a paraconsistent logic. Jaśkowski has built the logic – he termed discussive (D2) – by defining two new connectives and by introducing a modal translation map from D2 systems into Lewis’ modal logic S5. Discussive systems, for their formal details and their original philosophical justification, have attracted discrete attention (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. The Completeness Theorem? So What!Göran Sundholm - 2024 - In Antonio Piccolomini D'Aragona (ed.), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Springer Verlag. pp. 39-50.
    Bolzano reduced inferential validity of the inference (from premise judgements to conclusion judgment) to the holding of logical consequence between the propositions (in themselves) that serve as contents of the respective judgements. This explicit reduction of inferential validity among judgements to logical consequence among propositions (or, alternatively, to logical truth of certain implicational propositions) has been largely taken over by current logical theory, say, by Wittgenstein’s Tractatus, by Hilbert and Ackermann, by Quine, and by Tarski also. Frege, though, stands out (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  44. Ḥāshiyat ʻalá al-Tadhhīb fī sharḥ al-Tahdhīb.Ḥasan ibn Muḥammad al-ʻAṭṭār - 2022 - In Masʻūd ibn ʻUmar Taftāzānī (ed.), al-Majmūʻah al-manṭiqīyah: wa-taḥtawī ʻalá al-tadhhīb lil-Khabīṣī ʻalá Tahdhīb al-manṭiq wa-al-kalām lil-Taftāzānī, wa-ʻalayhi ḥāshīyatān, al-Tajrīd al-shāfī ʻalá Tahdhīb al-manṭiq al-kāfī lil-ʻAllāmah Muḥammad ibn ʻArafah a. Karkūk, al-ʻIrāq: Maktabat Amīr.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  45. Tajrīd al-shāfī ʻalá Tadhhīb al-manṭiq al-kāfī.Muḥammad ibn ʻArafah al-Dasūqī - 2022 - In Masʻūd ibn ʻUmar Taftāzānī (ed.), al-Majmūʻah al-manṭiqīyah: wa-taḥtawī ʻalá al-tadhhīb lil-Khabīṣī ʻalá Tahdhīb al-manṭiq wa-al-kalām lil-Taftāzānī, wa-ʻalayhi ḥāshīyatān, al-Tajrīd al-shāfī ʻalá Tahdhīb al-manṭiq al-kāfī lil-ʻAllāmah Muḥammad ibn ʻArafah a. Karkūk, al-ʻIrāq: Maktabat Amīr.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  46. Hawāmish ʻalá al-Tadhhīb fī sharḥ al-Tahdhīb.ʻAbd al-Majīd al-Sharnūbī - 2022 - In Masʻūd ibn ʻUmar Taftāzānī (ed.), al-Majmūʻah al-manṭiqīyah: wa-taḥtawī ʻalá al-tadhhīb lil-Khabīṣī ʻalá Tahdhīb al-manṭiq wa-al-kalām lil-Taftāzānī, wa-ʻalayhi ḥāshīyatān, al-Tajrīd al-shāfī ʻalá Tahdhīb al-manṭiq al-kāfī lil-ʻAllāmah Muḥammad ibn ʻArafah a. Karkūk, al-ʻIrāq: Maktabat Amīr.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  47. Sharḥ al-tahdhīb.ʻUbayd Allāh ibn Faḍl Allāh al-Khabīṣī - 2022 - In Masʻūd ibn ʻUmar Taftāzānī (ed.), al-Majmūʻah al-manṭiqīyah: wa-taḥtawī ʻalá al-tadhhīb lil-Khabīṣī ʻalá Tahdhīb al-manṭiq wa-al-kalām lil-Taftāzānī, wa-ʻalayhi ḥāshīyatān, al-Tajrīd al-shāfī ʻalá Tahdhīb al-manṭiq al-kāfī lil-ʻAllāmah Muḥammad ibn ʻArafah a. Karkūk, al-ʻIrāq: Maktabat Amīr.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  48. al-Majmūʻah al-manṭiqīyah: wa-taḥtawī ʻalá al-tadhhīb lil-Khabīṣī ʻalá Tahdhīb al-manṭiq wa-al-kalām lil-Taftāzānī, wa-ʻalayhi ḥāshīyatān, al-Tajrīd al-shāfī ʻalá Tahdhīb al-manṭiq al-kāfī lil-ʻAllāmah Muḥammad ibn ʻArafah al-Dusūqī wa-Ḥāshiyat al-ʻAllāmah Ḥasan al-ʻAṭṭār wa-Hawāmish lil-Shaykh ʻAbd al-Majīd al-Sharnūbī.Masʻūd ibn ʻUmar Taftāzānī - 2022 - Karkūk, al-ʻIrāq: Maktabat Amīr. Edited by Khālid ibn Khalīl ibn Ibrāhīm Zāhidī, ʻAbd al-Karīm Kānī Sayfī, ʻUbayd Allāh ibn Faḍl Allāh Khabīṣī, Muḥammad ibn Aḥmad ibn ʻArafah Dasūqī, Ḥasan ibn Muḥammad ʻAṭṭār & ʻAbd al-Majīd Sharnūbī.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  49. al-Ḥāshīyah al-qamarīyah ʻalá al-Taḥrīr wa-al-Risālah al-Shamsīyah: manṭiq (qism al-taṣawwūrāt).Waḥīd Muḥammad Muḥammad ʻAṭīyah Zayn - 2023 - [Cairo?]: Dār al-Ḥaram lil-Nashr wa-al-Tawzīʻ.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  50. The rules of logic.ʻAlī ibn ʻUmar Qazwīnī - 2024 - New York: New York University Press. Edited by Tony Street.
    Logic was revered in the thirteenth century, perhaps more highly than it has been revered before or since. In the Muslim East, logic was an integral part of the syllabus of schools and found to be especially helpful for legal studies. It was at this time that The Canons of Logic was composed by Najm al-Din al-Katibi, a scholar of the Shafi'i school of law. The Rules of Logic is the most widely read introduction to logic in the Arabic-speaking world. (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1071