16 found
Order:
  1.  19
    Arabic Logic From Al-Fārābī to Averroes : A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics.Saloua Chatti - 2019 - Springer Verlag.
    This monograph explores the logical systems of early logicians in the Arabic tradition from a theoretical perspective, providing a complete panorama of early Arabic logic and centering it within an expansive historical context. By thoroughly examining the writings of the first Arabic logicians, al-Fārābī, Avicenna and Averroes, the author analyzes their respective theories, discusses their relationship to the syllogistics of Aristotle and his followers, and measures their influence on later logical systems. Beginning with an introduction to the writings of the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  2. The Cube, the Square and the Problem of Existential Import.Saloua Chatti & Fabien Schang - 2013 - History and Philosophy of Logic 34 (2):101-132.
    We re-examine the problem of existential import by using classical predicate logic. Our problem is: How to distribute the existential import among the quantified propositions in order for all the relations of the logical square to be valid? After defining existential import and scrutinizing the available solutions, we distinguish between three possible cases: explicit import, implicit non-import, explicit negative import and formalize the propositions accordingly. Then, we examine the 16 combinations between the 8 propositions having the first two kinds of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  3.  46
    Existential import in avicenna's modal logic.Saloua Chatti - 2016 - Arabic Sciences and Philosophy 26 (1):45-71.
    RésuméDans cet article, je pose le problème suivant: quelles propositions ont un import dans la logique modale d'Avicenne? Lesquelles n'en ont pas? Partant de l'assomption que les propositions singulières et quantifiées ont un import si elles requièrent l'existence de leur sujet pour être vraies, j'analyse d'abord l'import des propositions absolues, ensuite celui des propositions modales en tenant compte des définitions d'Avicenne et des relations entre ces propositions. Cette analyse conduit aux résultats suivants: Avicenne défend l'opinion générale selon laquelle les affirmatives, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  4.  16
    Two Squares of Opposition in Two Arabic Treatises: al-Suhrawardī and al-Sanūsī.Saloua Chatti - 2022 - Logica Universalis 16 (4):545-580.
    The square of opposition has never been drawn by classical Arabic logicians, such as al-Fārābī and Avicenna. However, in some later writings, we do find squares, which their authors call rather ‘tables’ (sing. _lawḥ_). These authors are Shihāb al-Dīn al-Suhrawardī and Muhammed b. Yūsuf al-Sanūsī. They do not pertain to the same geographic area, but they both provide squares of opposition. The aim of this paper is to analyse these two squares, to compare them with each other and with the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  62
    Avicenna on Possibility and Necessity.Saloua Chatti - 2014 - History and Philosophy of Logic 35 (4):332-353.
    In this paper, I raise the following problem: How does Avicenna define modalities? What oppositional relations are there between modal propositions, whether quantified or not? After giving Avicenna's definitions of possibility, necessity and impossibility, I analyze the modal oppositions as they are stated by him. This leads to the following results: The relations between the singular modal propositions may be represented by means of a hexagon. Those between the quantified propositions may be represented by means of two hexagons that one (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  28
    The logic of avicenna between al-qiyās and manṭiq al-mašriqiyyīn.Saloua Chatti - 2019 - Arabic Sciences and Philosophy 29 (1):109-131.
    RésuméLa logique d'Avicenne est présentée dans plusieurs traités, dont le plus important est Al-Qiyās, qui est inclus dans son livre encyclopédique Al-Šifā’. Mais le traité intitulé Manṭiq al-mašriqiyyīn est celui qui, selon certains commentateurs, exprime la véritable logique d'Avicenne. On peut donc poser la question suivante : ce traité est-il en conflit avec Al-Qiyās et les autres écrits d'Avicenne? Dans cet article, nous répondrons à cette question en comparant les analyses d'Avicenne des propositions absolues, i. e. non modales. Nous montrerons (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  70
    Extensionalism and Scientific Theory in Quine’s Philosophy.Saloua Chatti - 2011 - International Studies in the Philosophy of Science 25 (1):1-21.
    In this article, I analyze Quine’s conception of science, which is a radical defence of extensionalism on the grounds that first‐order logic is the most adequate logic for science. I examine some criticisms addressed to it, which show the role of modalities and probabilities in science and argue that Quine’s treatment of probability minimizes the intensional character of scientific language and methods by considering that probability is extensionalizable. But this extensionalizing leads to untenable results in some cases and is not (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  35
    Logical Consequence in Avicenna’s Theory.Saloua Chatti - 2019 - Logica Universalis 13 (1):101-133.
    In this paper I examine Avicenna’s conception of the consequence relation. I will consider in particular his categorical and hypothetical logics. I will first analyse his definition of the implication and will show that this relation is not a consequence relation in his frame. Unlike the medieval logicians, he does not distinguish explicitly between material and formal consequences. The arguments discussed in al-Qiyās, where the conclusion is true only in some matters, and would seem close to a material consequence for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  32
    Syncategoremata in Arabic Logic, al-Fārābī and Avicenna.Saloua Chatti - 2014 - History and Philosophy of Logic 35 (2):167-197.
    In this paper, I raise the following problem: What terms are considered as syncategoremata in the Arabic logical texts? How are they defined? How do they determine the forms of the propositions and the inferences? To answer these questions, I focus on the analyses provided by al-Fārābī and Avicenna. Both authors apply the grammatical distinction between the particle, the noun and the verb to logic. They also state the semantic and the syntactic criterions, but their analyses of the particles are (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  38
    Logical Oppositions in Arabic Logic: Avicenna and Averroes.Saloua Chatti - 2012 - In J.-Y. Beziau & Dale Jacquette (eds.), Around and Beyond the Square of Opposition. Birkhäuser. pp. 21--40.
  11.  13
    Constantes logiques et décision.Saloua Chatti - 2015 - Philosophia Scientiae 19:229-250.
    Dans cet article, j'analyse le problème des significations des constantes logiques. Ces significations sont-elles fixées conventionnellement comme le suggèrent Carnap et Wittgenstein, ou bien doivent-elles s'imposer à tous et ne pas dépendre de décisions préalables ? Après avoir examiné le conventionnalisme de Wittgenstein et Carnap et l'anti-conventionnalisme de Peacocke selon lequel les sens des constantes logiques reposent sur des conceptions implicites, je montre que les deux thèses sont également critiquables. La première ne résiste pas à l'incohérence du connecteur « tonk (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  17
    Constantes logiques et décision.Saloua Chatti - 2015 - Philosophia Scientiae 19:229-250.
    Dans cet article, j'analyse le problème des significations des constantes logiques. Ces significations sont-elles fixées conventionnellement comme le suggèrent Carnap et Wittgenstein, ou bien doivent-elles s'imposer à tous et ne pas dépendre de décisions préalables? Après avoir examiné le conventionnalisme de Wittgenstein et Carnap et l'anti-conventionnalisme de Peacocke selon lequel les sens des constantes logiques reposent sur des conceptions implicites, je montre que les deux thèses sont également critiquables. La première ne résiste pas à l'incohérence du connecteur « tonk », (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  6
    On some ambiguities in Ibn sīnā’s analysis of the quantified hypothetical propositions.Saloua Chatti - 2022 - Arabic Sciences and Philosophy 32 (1):67-107.
    RésuméDans son analyse des propositions hypothétiques, conditionnelles et disjonctives, Ibn Sīnā suggère que ces propositions peuvent être quantifiées et présente dans la section VI de son traité un système hypothétique contenant les propositions conditionnelles, qui est exactement parallèle à la syllogistique des propositions catégoriques et utilise les mêmes règles de conversion et les mêmes démonstrations. Dans la section VII, il présente quatre listes de propositions hypothétiques quantifiées dont les composants sont eux-mêmes quantifiés et affirme que les relations du carré aristotélicien (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  5
    Ricœur, lecteur de Frege sur la référence.Saloua Chatti - 2017 - Cahiers Philosophiques 148 (1):90-104.
    Dans cet essai, je me propose d’analyser l’interprétation que fait Ricœur de la théorie frégéenne du sens et de la référence des noms et des propositions. Contre les structuralistes, Ricœur présente dans La Métaphore vive ce qu’il appelle une théorie référentielle de la métaphore et puise dans le texte frégéen pour la défendre en se basant sur la distinction sens-référence. Toutefois, les analyses qu’il présente de la théorie frégéenne ne sont pas fidèles au texte de ce logicien, qu’elles mélangent avec (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  44
    Referential Opacity and Epistemic Logic.Saloua Chatti - 2011 - Logica Universalis 5 (2):225-247.
    Referential opacity is the failure of substitutivity of identity (SI, for short) and in Quine’s view of existential generalization (EG, for short) as well. Quine thinks that its “solution” in epistemic and doxastic contexts, which relies on the notion of exportation, leads to undesirable results. But epistemic logicians such as Jaakko Hintikka and Wolfgang Lenzen provide another solution based on a different diagnosis: opacity is not, as in Quine’s view, due to the absence of reference, it is rather due to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  14
    The Semantics and Pragmatics of the Conditional in al-Fārābī’s and Avicenna’s Theories.Saloua Chatti - 2017 - Studia Humana 6 (1):5-17.
    In this paper, I examine al-Fārābī's and Avicenna's conceptions of the conditional. I show that there are significant differences between the two frames, despite their closeness. Al-Fārābī distinguishes between an accidental conditional and two “essential” conditionals. The accidental conditional can occur only once and pragmatically involves succession. In the first “essential” conditional, the consequent follows regularly the antecedent; pragmatically it involves likeliness. The second “essential” conditional can be either complete or incomplete. Semantically the former means “if and only if”; pragmatically (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark