View source for Liar paradox in early Islamic tradition

Many early Islamic philosophers and logicians discussed the [[Philosophy:Liar paradox|liar paradox]]. Their work on the subject began in the 10th century and continued to Athīr al-Dīn al-Abharī and [[Biography:Nasir al-Din al-Tusi|Nasir al-Din al-Tusi]] of the middle 13th century<ref name=A&Sp97>{{Harvnb|Alwishah|Sanson|2009|p=97}}</ref> and beyond.<ref name=A&Sp123>{{Harvnb|Alwishah|Sanson|2009|p=123}}</ref> Although the Liar paradox has been well known in Greek and [[Social:Latin|Latin]] traditions, the works of Arabic scholars have only recently been translated into [[Social:English language|English]].<ref name=A&Sp97/>
Each group of early Islamic philosophers discussed different problems presented by the paradox. They pioneered unique solutions that were not influenced by [[Philosophy:Western philosophy|Western]] ideas.

== Athīr and the Liar paradox ==
Athīr al-Dīn Mufaḍḍal (b. ʿUmar Abharī, d. 663/1264) was a Persian [[Biography:Philosopher|philosopher]], [[Astronomy:Astronomer|astronomer]] and [[Biography:Mathematician|mathematician]] from the city of Abhar in Persia. There is some speculation that his works on the Liar paradox could have been known to Western logicians, and in particular to [[Biography:Thomas Bradwardine|Thomas Bradwardine]].<ref name=A&Sp113>{{Harvnb|Alwishah|Sanson|2009|p=113}}</ref>

He analyzed the Liar sentence as follows:

{{quotation|One of the difficult fallacies is the conjunction of the two [[Contradiction|contradictories]] (Jamʿal-naqīḍyan) when someone says, “All that I say at this moment is false”. This sentence (qawl) is either true or false. If it is true, then it must be true and false. And if it is not true, then it is necessary that one of his sentences at this moment is true, as long as he utters something. But, he says nothing at this moment other than this sentence. Thus, this sentence is necessarily true and false.<ref name=A&Sp107/>}}

In other words, Athīr says that if the Liar sentence is false, which means that the Liar falsely declares that all he says at the moment is false, then the Liar sentence is true; and, if the Liar sentence is true, which means that the Liar truthfully declares that all he says at the moment is false, then the Liar sentence is false. In any case, the Liar sentence is both true and false at the same time, which is a [[Philosophy:Paradox|paradox]].<ref name=A&Sp107>{{Harvnb|Alwishah|Sanson|2009|p=107}}</ref>

Athīr offers the following solution for the paradox:

{{quotation|To solve the paradox we say: we should not concede that if it is false then one of his sentences (kalām) is true. For its being true is taken to be the [[De Morgan's laws#Negation of a conjunction|conjunction]] of its being true and being false. Therefore its being false necessitates the non-conjunction of its being true and being false. And the non-conjunction of its being true and being false does not necessitate
its being true.<ref name=A&Sp107/>}}

According to the traditional idealization<ref name=sep>{{Citation
  | last = Parsons
  | first = Terence
  | editor-last = Zalta
  | editor-first = Edward N
  | title = The Traditional Square of Opposition
  | encyclopedia = The Stanford Encyclopedia of Philosophy
  | volume = 
  | pages = 
  | publisher = Center for the Study of Language and Information, Stanford University
  | location = Stanford, CA 
  | date = 1 October 2006
  | url = http://plato.stanford.edu/entries/square/}}</ref> that presumably was used by Athīr, the sentence as a universal proposition is false only, when "either it has a counter-instance or its subject term is empty".<ref name=A&Sp108>{{Harvnb|Alwishah|Sanson|2009|p=108}}</ref>

*Other examples of a counter-instance include: it is false to say that all birds could fly because there are some that could not, like for example [[Biology:Penguin|penguin]]s.<ref name=A&Sp108/>
*Other examples of an empty subject term include: it is false to say that all [[Engineering:Magic carpet|flying carpets]] have four corners, and not only because some carpets are round or have three corners, but rather because there are no flying carpets at all.<ref name=A&Sp108/>

The Liar sentence, however, has neither an empty subject nor counter-instance. This fact creates obstacles for Athīr's view, who must show what is unique about the Liar sentence, and how the Liar sentence still could be only true or false in view of the "true" and "false" conditions set up in the universal proposition's description. Athīr tries to solve the paradox by applying to it the laws of negation of a conjunction and negation of a disjunction.<ref name=A&Sp108/>

Ahmed Alwishah, who has a Ph.D. in Islamic [[Philosophy:Philosophy|Philosophy]] and David Sanson, who has a Ph.D. in Philosophy explain that Athīr actually claims that:

(1) "It is not the case that, if the Liar Sentence is not both true and false, then it is true."<ref name=A&Sp110>{{Harvnb|Alwishah|Sanson|2009|p=110}}</ref>

Alwishah and Sanson continue:
"The general principle behind (1) is clear enough: the negation of a conjunction does not [[Logical consequence|entail]] the negation of a conjunct; so from not both true and false you cannot infer not false and so true. Abharī appears to be saying that the Liar rests on an elementary scope fallacy! But, of course, Abharī is not entitled to (1). In some cases, the negation of a conjunction does entail the negation of a conjunct: 'not both P and P' for example, entails 'not P'. As a general rule, the negation of a conjunction entails the negation of each conjunct whenever the conjuncts are logically equivalent, i.e., whenever the one follows from the other and vice verse. So Abharī is entitled to (1) only if he is entitled to assume that ‘The Liar Sentence is true’ and ‘The Liar Sentence is false’ are not logically equivalent."<ref name=A&Sp110/>

The Liar sentence is a universal proposition (The Liar says '''All''' I say ...), so "if it is (non&ndash;vacuously) false it must have a counter&ndash;instance".<ref name=A&Sp110/> But in this case scenario, when the only thing that the liar is saying is the single sentence declaring that what he is saying at the moment is false, the only available counter&ndash;instance is the Liar sentence itself. When staging the paradox Abharī said: "if it is not true, then it is necessary that one of his sentences at this moment is true, as long as he utters something. But, he says nothing at this moment other than this sentence. Thus, this sentence is [[Logical truth|necessarily true]] and false"<ref name=A&Sp107/> So the explanation provided by Abharī himself demonstrates that both "'The Liar Sentence is false' and 'The Liar Sentence is true' are logically equivalent. If they are logically equivalent, then, contrary to (1), the negation of the conjunction does entail the negation of each conjunct. Abharī’s 'solution; therefore fails."<ref name=A&Sp111>{{Harvnb|Alwishah|Sanson|2009|p=111}}</ref>

==Nasir al-Din al-Tusi on the Liar paradox==
[[File:Nasir al-Din Tusi.jpg|Naṣīr al-Dīn al-Ṭūsī commemorated on an Iranian stamp on the 700th anniversary of his death|250px|thumb]]

Naṣīr al-Dīn al-Ṭūsī was a Persian<ref name=eb>{{cite encyclopedia|title=Tusi, Nasir al-Din al-|url=http://www.britannica.com/eb/article-9073899|encyclopedia=Encyclopædia Britannica Online|publisher=Encyclopædia Britannica|date=27 December 2007}}</ref> [[History:Polymath|polymath]]<ref name=Nasrp199>{{Harvnb|Nasr|2006|p=199}}</ref> and prolific writer: an astronomer, [[Biologist|biologist]], chemist, mathematician, philosopher, physician, physicist, scientist, [[Religion:Kalam|theologian]] and Marja Taqleed. He adhered to the Ismaili, and subsequently Twelver [[Religion:Shia Islam|Shī‘ah]] [[Religion:Islam|Islam]]ic belief systems.<ref name="Ṭūsīp2">{{Harvnb|Ṭūsī|2005|p=2}}</ref> The Arab scholar [[Biography:Ibn Khaldun|Ibn Khaldun]] (1332–1406) considered Tusi to be the greatest of the later Persian scholars.

Ṭūsī's work on the paradox begins with a discussion of the paradox and the solution offered by Abharī, with which Ṭūsī disagrees. As Alwishah and Sanson point out "Ṭūsī argues that whatever fancy thing (conjunction, conditional) Abharī wants to identify as the truth condition for the Liar Sentence, it will not matter, because pace Abharī, we can generate the paradox without inferring, from the negation of a complex truth condition, the negation of one of its parts. We can argue directly that its being false entails the negation of its being false, and so entails its being true."<ref name=A&Sp114>{{Harvnb|Alwishah|Sanson|2009|p=114}}</ref>

Ṭūsī then prepares a stage for his own solution of the Liar paradox, writing that:
{{quotation|If a declarative sentence, by its nature, can declare-something-about anything, then it is possible that it itself can declare-something-about another declarative sentence.<ref name=A&Sp115>{{Harvnb|Alwishah|Sanson|2009|p=115}}</ref>}}

He does not see a reason that could prevent a declarative sentence to declare something about another declarative sentence.<ref name=A&Sp115/>

With an example of two declarative sentences, (D1) "It is false" and (D2) "Zayd is sitting", Ṭūsī explains how one declarative sentence (D1) can declare another declarative sentence (D2) to be false: "It is false that Zayd is sitting".<ref name=A&Sp115/> There is no paradox in the above two declarative sentences because they have different subjects. To generate a paradox a declarative sentence must declare something about itself. If (D1) falsely declares itself to be not (D1) then this false declaration referencing to itself as being "false" creates a paradox.<ref name=A&Sp115/>

Ṭūsī writes: {{Quotation|Moreover, if the first declarative sentence declares itself to be false, then [both] its being true, insofar as it is a declarative sentence, and its being false, insofar as it is that-about-which-something-is-declared, are concomitant. Thus, the following paradox can be generated: The first declarative sentence, which is a declaration (khabar) about itself, namely that it is false, is either false or true. If it is true, then it must be false, because it declares itself to be false. If it is false, then it must be true, because if it is said falsely, then it will become true, which is absurd.<ref name=A&Sp116>{{Harvnb|Alwishah|Sanson|2009|p=116}}</ref>}}

The above conclusions are very important to the history of Liar Paradox. Alwishah and Sanson point out: "It is hard to overemphasize how remarkable this passage is. The contemporary reader will be familiar with the idea that the Liar Paradox is a paradox of selfreference. But Ṭūsī is, as far as we know, the first person to express this idea. This passage has no precedent in any tradition. Ṭūsī has performed three remarkable feats in short order. First, his Liar Sentence is singular: its subject is itself, and it declares itself to be false. Gone, then, is the choice between universal or particular Liar Sentence, and the associated problem of adding further assumptions to generate a genuine paradox. Second, he has characterized the paradox as one of [[List of paradoxes#Self-reference|self-reference]]. Third, he has identified a key assumption that might be responsible for generating the entire problem: the assumption that a declarative sentence, by its nature, can declare-something-about anything."<ref name=A&Sp116/>

Recognizing that, if a declarative sentence that [[Self-reference|declares itself]] being false, is false, this does not necessitate it being true. Ṭūsī says that it would be absurd to say that this declarative sentence is true only because it is not false.<ref name=A&Sp116/> Ṭūsī writes:{{Quotation|. . . its being false, insofar as it is a declarative sentence, does not necessitate its being true. Instead, its being false necessitates the denial of its being false, insofar as it is that-about-which-something-is-declared, and [necessitates] its being false, insofar as it is a declarative sentence. Hence, we should not concede that, in this way, the denial of its being false necessitates its being true.<ref name=A&Sp117>{{Harvnb|Alwishah|Sanson|2009|p=117}}</ref>}}

Ṭūsī then interprets the definitions of "true" and "false", in an attempt to prove that those definitions should not be taken into consideration when dealing with a declarative sentence that declares itself, as its own subject, to be false.

Al-Baghdādī's definition of "truth" and "falsity" says that: ''"truth is an agreement with the subject, and falsity is the opposite of that"''. Ṭūsī argues that this definition cannot be applied to a declarative sentence that declares its own subject to be false because then there are at least two opposite parts that are in disagreement with each other. The same subject cannot be in disagreement with itself. Therefore, a self&ndash;referenced declarative sentence that declares itself to be false is neither false nor true, and truth/falsity definitions are not applicable to those sentences.<ref name=A&Sp121>{{Harvnb|Alwishah|Sanson|2009|p=121}}</ref>

{{quotation|the result of a judgment that applies truth and falsity to something to which they in no way apply, and to apply them in any way is the misuse of a predicate.<ref name=A&Sp121/>}}

Ṭūsī stopped short from offering a solution for the Liar sentences discussed by Āmidī "All that I say at this moment is false". This sentence presents a different case scenario because it can be interpreted as declaring something about itself, and something about another sentence. The solution for this paradox is absent from Ṭūsī's papers.<ref name=A&Sp122>{{Harvnb|Alwishah|Sanson|2009|p=122}}</ref>

==References==
{{Reflist|2}}

==Bibliography==
*{{Citation
 |last1=Alwishah 
 |first1=Ahmed 
 |last2=Sanson 
 |first2=David 
 |title=The Early Arabic Liar:The Liar Paradox in the Islamic World from the Mid-Ninth to the Mid-Thirteenth Centuries CE 
 |journal=Vivarium 
 |volume=47 
 |issue=1 
 |pages=97–127 
 |publisher=Brill 
 |location=Leiden 
 |year=2009 
 |url=http://files.davidsanson.com/research/ArabicLiar.pdf 
 |issn=0042-7543 
 |doi=10.1163/156853408X345909 
 |url-status=dead 
 |archiveurl=https://web.archive.org/web/20110816043742/http://files.davidsanson.com/research/ArabicLiar.pdf 
 |archivedate=August 16, 2011 
}}

*{{Citation
  | last = Nasr
  | first = Seyyed Hossein 
  | title = Islamic Philosophy from Its Origin to the Present: Philosophy in the Land of Prophecy
  | publisher = SUNY Press
  | year = 2006
  | location = Albany
  | pages = 380
  | url = 
  | doi = 
  | id = 
  | isbn = 0-7914-6799-6
  }}

*{{Citation
  | last1 =Ṭūsī
  | first1 =Naṣīr al-Dīn Muḥammad ibn Muḥammad
  | last2 =Badakchani 
  | first2 =S. J.
  | year =2005
  | title =Paradise of Submission: A Medieval Treatise on Ismaili Thought
  | series =Ismaili Texts and Translations
  | volume =5
  | place =London
  | publisher =I.B. Tauris in association with Institute of Ismaili Studies
  | pages =300
  | isbn =1-86064-436-8
  | ref=CITEREFṬūsī2005}}

{{DEFAULTSORT:Liar Paradox In Early Islamic Tradition}}
[[Category:Paradoxes]]

{{Sourceattribution|Liar paradox in early Islamic tradition}}