Arabic Logic from al-Fārābī to Averroes

Chatti, Saloua

doi:10.1007/978-3-030-27466-5

Search citation statements

Order By: Relevance

Paper Sections

Select...

Sentence Form Truth Conditions1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2021

2024

Publication Types

Select...

Book4

Article2

Relationship

Self Cite0

Independent6

Authors

Journals

Cited by 14 publications

(1 citation statement)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…When all terms are interpreted as nonempty then the readings (1) and ( 6) make the same assignments of truth value. In the tenth century al-Fārābī (c. 870-950) in some of his more mature work also allowed empty terms and adopted readings equivalent to (6) (see [5] pp. 34f).…”

Section: Sentence Form Truth Conditionsmentioning

confidence: 99%

A Correctness Proof for Al-Barakāt’s Logical Diagrams

Hodges¹

2021

The Review of Symbolic Logic

View full text Add to dashboard Cite

In Baghdad in the mid twelfth century Abū al-Barakāt proposes a radical new procedure for finding the conclusions of premise-pairs in syllogistic logic, and for identifying those premise-pairs that have no conclusions. The procedure makes no use of features of the standard Aristotelian apparatus, such as conversions or syllogistic figures. In place of these al-Barakāt writes out pages of diagrams consisting of labelled horizontal lines. He gives no instructions and no proof that the procedure will yield correct results. So the reader has to work out what his procedure is and whether it is correct. The procedure turns out to be insightful and entirely correct, but this paper may be the first study to give a full description of the procedure and a rigorous proof of its correctness.

show abstract

Section: Sentence Form Truth Conditionsmentioning

confidence: 99%