1 |
Argumentation and Arabic Philosophy of Language
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-03151284 ; CNRS-UMR -8163: STL. 22 (2), In press, Methodos. Savoirs et Textes ; https://journals.openedition.org/methodos/ (2021)
|
|
BASE
|
|
Show details
|
|
2 |
Jules Vuillemin on the Aristotelian Notion of the Possible and the Master Argument
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-02632303 ; 2020 (2020)
|
|
BASE
|
|
Show details
|
|
3 |
NO-ARGUMENTS: Denials, Refutations, Negations and the Constitution of Arguments ...
|
|
|
|
BASE
|
|
Show details
|
|
4 |
NO-ARGUMENTS: Denials, Refutations, Negations and the Constitution of Arguments ...
|
|
|
|
BASE
|
|
Show details
|
|
5 |
On Descriptional Propositions in Ibn Sīnā: Elements for a Logical Analysis
|
|
|
|
In: https://hal.univ-lille.fr/hal-02381959 ; 2019 (2019)
|
|
Abstract:
In his discussions of the various readings of modal propositions, Ibn Sīnā’s focus is mostly on a distinction which was later labelled the distinction between descriptional (waṣfī) and substantial (ḏātī) readings of a modal proposition. Given that for Ibn Sīnā all categorical propositions are either implicitly or explicitly modal, the substantial–descriptional distinction is in some sense applicable to the readings of all categorical propositions. This distinction is based on how (i.e., under which conditions) the predicate of a categorical proposition is true of its subject. According to the substantial reading, the predicate is true of the subject (perhaps with a certain alethic or temporal modality) as long as the substance of the subject exists. On the other hand, according to the descriptional reading, the predicate is true of the subject (again, perhaps with a certain modality) as long as the substance of the subject is truly described by the subject. To be clearer, consider the following proposition:(1) Every S is P. The difference between the substantial and descriptional readings of (1) can be articulated as follows:Substantial Reading of (1): Every S, as long as it exists, is P.Descriptional Reading of (1): Every S, as long as it is S, is P.It is in principle possible that a proposition is true on one of these readings and false on the other. It is only the context which determines how a proposition must be read to be true. To give an example, consider the following proposition:(2) Every bachelor is unmarried. The substantial and descriptional readings of (2) are respectively as follows: (3) Every bachelor, as long as he exists, is unmarried.(4) Every bachelor, as long as he is bachelor, is unmarried.These two propositions have different truth values. Contrary to (3)—which is false—(4) is true. This is because a bachelor is unmarried only insofar as he is described as a bachelor. So (4) is true. By contrast, it is in principle possible for a person who is a bachelor in some period(s) of time to be married in some other period(s) of time; this is so at least if we assume that ‘as long as’ has a temporal meaning. In other words, it is not necessary for such a person to be always unmarried. The mere existence of the substance of this person does not guarantee his being unmarried. Thus (3) is false. There are, however, other propositions that are true on the substantial reading. For example, consider the following proposition:(5) Every human is animal.The predicate Animal is true of every human as long as s/he exists. Put otherwise, what makes it true to say that every human is animal is the mere existence of human substances. This means that not only the descriptional but also the substantial reading of (5) is true. Indeed, since every human exists if and only if s/he is human, the substantial and descriptional readings of (5) express one and the same fact. As Ibn Sīnā himself insists, he is the first logician to have focused on the above distinction and pondered on its fruitfulness for removing some difficulties with Aristotle’s syllogistic. Since the distinction plays a crucial role in Ibn Sīnā’s syllogistic, it is discussed in several places in his logical oeuvre. Moreover, the distinction was subject to continually heated discussions in Arabic logic after Ibn Sīnā. For instance, the distinction was accepted by Rāzī and Khūnaǧī, on the one hand, and was seen as redundant by Ibn Rushd. The substantial sense of propositions corresponds to what is called the ‘divided’ sense of propositions in the Latin tradition. However, although the descriptional sense of propositions is plays an important role in Arabic syllogistic, it has no widely discussed counterpart in the Latin tradition. These observations strongly suggest that a comprehensive picture of Arabic syllogistic from Ibn Sīnā onwards cannot be achieved unless we have a clear logical analysis of the aforementioned distinction. An effective and popular strategy for providing such an analysis is to look at the different readings of a proposition through the lens of modern formal logic. Therefore, it is important to find out which formal language has the best capacity to capture various aspects of this distinction and the insights behind it. In the literature, several attempts have been made to formalize the different readings of propositions in the languages of classical predicate or temporal logics. In this chapter, we put forward an alternative based on Martin-Löf’s constructive type theory (CTT). Compared to its rivals, our analysis is more faithful to the grammatical subject-predicate structure of propositions and can better reflect the morphological features of the verbs (and descriptions) that extend time to intervals (or spans of times). It is worth noting that our focus will mostly be on the analysis of the descriptional reading of propositions (which can also be called ‘the descriptional propositions’ for the sake of brevity).
|
|
Keyword:
[SHS.PHIL]Humanities and Social Sciences/Philosophy; [SHS]Humanities and Social Sciences; Arabic Culture and language; Arabic Language; Arabic Logic; Arabic philosophy; Avicenna; History of philosophy; Logic; Medieval philosophy; Philosophy; Temporal; Time
|
|
URL: https://hal.univ-lille.fr/hal-02381959 https://hal.univ-lille.fr/hal-02381959/document https://hal.univ-lille.fr/hal-02381959/file/PreprintOn%20Descriptional%20Propositions%20in%20Ibn%20S%C4%ABn%C4%81-Final.pdf
|
|
BASE
|
|
Hide details
|
|
6 |
Dialectic, the Dictum de Omni and Ecthesis
|
|
|
|
In: ISSN: 0144-5340 ; EISSN: 1464-5149 ; History and Philosophy of Logic ; https://hal.archives-ouvertes.fr/hal-03651255 ; History and Philosophy of Logic, Taylor & Francis, 2019, 40 (3), pp.207-233. ⟨10.1080/01445340.2019.1586623⟩ (2019)
|
|
BASE
|
|
Show details
|
|
7 |
What the Weatherman Said Enrichment, CTT and the Dialogical Approach to Moderate Contextualism
|
|
|
|
In: https://hal.univ-lille.fr/hal-02380627 ; 2019 (2019)
|
|
BASE
|
|
Show details
|
|
8 |
Inferences by Parallel Reasoning in Islamic Jurisprudence. Al-Shīrāzī’s Insights into the Dialectical Constitution of Meaning and Knowledge. Cham: Springer
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-03149272 ; 2019 (2019)
|
|
BASE
|
|
Show details
|
|
9 |
Dialectic, the Dictum de Omni and Ecthesis
|
|
|
|
In: ISSN: 0144-5340 ; EISSN: 1464-5149 ; History and Philosophy of Logic ; https://halshs.archives-ouvertes.fr/halshs-01652027 ; History and Philosophy of Logic, Taylor & Francis, 2019, 40 (3), pp.207-233. ⟨10.1080/01445340.2019.1586623⟩ (2019)
|
|
BASE
|
|
Show details
|
|
10 |
Falsifying Foucault?
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-01698264 ; 2018 (2018)
|
|
BASE
|
|
Show details
|
|
11 |
Unfolding parallel reasoning in islamic jurisprudence. Epistemic and Dialectical Meaning within Abū Isḥāq al-Shīrāzī’s System of Co-Relational Inferences of the Occasioning Factor.
|
|
|
|
In: ISSN: 0957-4239 ; EISSN: 1474-0524 ; Arabic Sciences and Philosophy ; https://halshs.archives-ouvertes.fr/halshs-01689074 ; Arabic Sciences and Philosophy, Cambridge University Press (CUP), In press, 28, pp.67-132 (2018)
|
|
BASE
|
|
Show details
|
|
12 |
Conditionals and Legal Reasoning. Elements of a Logic of Law
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-01651550 ; 2017 (2017)
|
|
BASE
|
|
Show details
|
|
13 |
On the Plural Conceptions of Logic: A Dialogical Framework for the Teaching and Study of Logical Systems
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-01612906 ; 2017 (2017)
|
|
BASE
|
|
Show details
|
|
14 |
Interacción Dialógica y Contenido
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-01651507 ; 2017 (2017)
|
|
BASE
|
|
Show details
|
|
15 |
Knowledge and its Game-Theoretical Foundations: The Challenges of the Dialogical Approach to Constructive Type Theory
|
|
|
|
In: Epistemology, Knowledge and the Impact of Interaction ; https://halshs.archives-ouvertes.fr/halshs-01227833 ; Epistemology, Knowledge and the Impact of Interaction, Springer, 2016 ; http://www.springer.com/us/book/9783319265049 (2016)
|
|
BASE
|
|
Show details
|
|
16 |
UNFOLDING PARALLEL REASONING IN ISLAMIC JURISPRUDENCE (I). Epistemic and Dialectical Meaning withinAbū Isḥāq al-Shīrāzī’s System of Co-Relational Inferences of the Occasioning Factor
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-01265206 ; 2016 (2016)
|
|
BASE
|
|
Show details
|
|
17 |
What is the Play Level of Dialogical Logic and What is it Good for. A Pragmatist Perspective on Logical Omniscience
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-01230427 ; 2015 (2015)
|
|
BASE
|
|
Show details
|
|
18 |
Las Raíces Dialógicas de la Teoría Constructiva de Tipos ; Las Raíces Dialógicas de la Teoría Constructiva de Tipos: Estrategias dialógicas, demostraciones constructivas y el axioma de elección
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-01238172 ; 2015 (2015)
|
|
BASE
|
|
Show details
|
|
19 |
CAPÍTULO 2 EL MARCO DIALÓGICO ESTÁNDAR
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-01237969 ; 2015 (2015)
|
|
BASE
|
|
Show details
|
|
20 |
A dialogical frame for fictions as hypothetical objects
|
|
|
|
In: ISSN: 1519-5023 ; Filosofia Unisinos ; https://halshs.archives-ouvertes.fr/halshs-01216227 ; Filosofia Unisinos, Univ Do Vale Do Rio Dos Sinos, 2015, 16 (1), ⟨10.4013/fsu.2015.161.01⟩ (2015)
|
|
BASE
|
|
Show details
|
|
|
|