EŞREF ALTAŞ: EBHERİ, İSAGUCİ 2. SEMİNER ÖZETİ

Dersin Amacı ve İçeriği

Bu seminer, Ebherî’nin mantık metni Îsâgûcî çerçevesinde tasavvur ve tasdik teorilerinin sistematik biçimde işlenmesini amaçlamaktadır. Eşref Altaş, beş tümel kavramı üzerinden mantıksal kavramların tanım ve işlevlerini açıklarken; tanım türleri, önermelerin yapısı ve kıyasların mantıki kuruluşunu detaylandırır. Temel amaç, düşünsel işlemleri doğru ve geçerli biçimde gerçekleştirebilmek için gerekli olan mantık ilkelerini, terim ilişkilerini ve akıl yürütme kurallarını öğretmektir.

Ana Temalar

1. Beş Tümel Teorisi (Cins, Tür, Fasıl, Hâssa, Ârız)

Seminerin ilk kısmında tasavvur teorisinin temelini oluşturan beş tümel kavramı açıklanır. Cins, tür ve fasıl, bir kavramın özünü belirleyen zâtî unsurlar olarak tanımlanırken; hâssa ve ârız, mahiyete girmeyen ama betimleme değeri olan arazî unsurlar olarak ayrıştırılır. Gülme örneğiyle sadece insana özgü hâssa açıklanır.

2. Tanım Türleri (Tam Tanım, Eksik Tanım, Betim)

Mantıkta tanımın amacı kavramın hakikatini ortaya koymaktır. Tam tanım (hadd-i tâm), yakın cins ve yakın fasıldan oluşurken; eksik tanım uzak cins ile yakın faslı birleştirir. Betimlerde ise mahiyeti belirten değil, daha çok özellik bildiren ifadeler yer alır. Özellikle “gülen canlı” gibi ifadeler, tanım değil betim olarak değerlendirilir.

3. Tasdik Teorisi ve Önermeler

Tasdik, “doğru veya yanlış” hükmü içeren yargıların analizidir. Önermeler olumlu–olumsuz, tümel–tikel–belirsiz gibi nitelik ve nicelik yönünden sınıflandırılır. Özne–yüklem ilişkisi üzerinden önerme biçimleri açıklanır.

4. Şartlı Önermeler ve Ayrımlar

Bitişik şartlı ve ayrık şartlı önermeler karşılaştırılır. Güneş doğarsa gündüz olur gibi zorunlu (lüzûmî) bağlantılar ile rastlantısal (ittifâqî) bağlantılar arasındaki farklar belirtilir. “Sayı ya çifttir ya tektir” türü ayrık önermelerde üçlü mantıksal bağdaşmazlık (mani‘atü’l-cem, mani‘atü’l-hulûv) açıklanır.

5. Çelişki ve Döndürme Kuralları

Bir önermenin çelişiğinin ancak yüklem, özne, zaman gibi bağlamların eşitliğiyle ortaya çıkacağı ifade edilir. Tümel olumlu (A) önermenin çelişiği tikel olumsuz (O), tümel olumsuz (E) önermenin çelişiği tikel olumlu (I) şeklindedir. Döndürme kuralları (özne–yüklem yer değişimi) da bu çerçevede ele alınır.

6. Kıyas Teorisi ve Şekil-Darb Sistemi

Kıyas, en az iki önermeden zorunlu bir sonuç çıkarma işlemidir. Küçük terim, büyük terim ve orta terim kavramları açıklanır. Birinci şekil kıyaslar (ör. Barbara, Celarent, Dari’i, Ferio) detaylı şekilde formüllendirilir. Şekiller orta terimin konumuna göre, darb (modlar) ise önermelerin nicelik-nitelik yapısına göre tanımlanır.

7. İstisnalı Kıyaslar ve Stoacı Mantık

Geleneksel yüklemli kıyaslara ek olarak, şartlı ve istisnalı kıyas türleri açıklanır. Stoacı geleneğe dayanan bu yapılar, şartlı öncüllerden ve istisna edilen ifadelerden türetilir.

Sonuç

Bu seminer, mantığın tasavvurdan tasdike, oradan kıyasa ve istisnalı akıl yürütmelere kadar bütün boyutlarını bütüncül biçimde işler. Eşref Altaş, hem klasik tanım ve tümel sistemlerini açıklamakta hem de bu yapıların düşünceyi nasıl düzenlediğini örneklerle göstermektedir. Bu oturum, Îsâgûcî okumalarının mantık metodolojisini oluşturan temel ilkelerini açık ve sistematik biçimde ortaya koymaktadır.

 

Seminar Purpose and Content

This seminar offers a systematic exposition of the foundational elements of classical logic as outlined in Athīr al-Dīn al-Abharī’s Isāghūjī. Eşref Altaş explores both conceptualization (taṣawwur) and assent (taṣdīq) theories, focusing on the Five Predicables (al-kulliyyāt al-khamsa) and their role in definition, propositions, and syllogistic reasoning. The aim is to ground valid thought processes through precise definitions, term classifications, and inferential structures central to traditional logic.

Key Themes

1. The Five Predicables (Genus, Species, Differentia, Property, Accident)

The seminar opens with an explanation of the five universal predicables, which form the essence of conceptualization. Genus, species, and differentia constitute essential elements of a definition, while property (khāṣṣa) and accident (ʿaraḍ) serve as non-essential descriptors. For example, “laughing” is a property unique to the human species.

2. Types of Definition: Complete, Incomplete, and Descriptive

Definitions aim to express the essence of a thing. A complete definition (ḥadd tāmm) consists of a proximate genus and differentia; an incomplete one may use a more distant genus. Descriptions (rasm) do not convey essence but rather indicate characteristics—e.g., “a laughing animal” is considered a description, not a definition.

3. Assent and Proposition Structure

Assent refers to judgments that can be true or false. Propositions are analyzed in terms of quality (affirmative/negative) and quantity (universal/particular/indefinite). Subject–predicate relationships are essential to propositional structure, forming the foundation for logical inference.

4. Conditional Propositions and Logical Distinctions

Conditional propositions are divided into conjunctive (bitīshiq) and disjunctive (munfaṣil). The difference between necessary connections (e.g., “If the sun rises, it is day”) and accidental ones is clarified. Disjunctive propositions like “a number is either even or odd” are analyzed using principles like the law of non-contradiction (manīʿat al-jamʿ wa-l-khulū).

5. Contradiction and Conversion Rules

Rules for identifying contradictories are outlined: a universal affirmative (A) contradicts a particular negative (O), and a universal negative (E) contradicts a particular affirmative (I). Conversion rules—switching subject and predicate—are also discussed in terms of validity.

6. Syllogism and the Figure-Mode System

A syllogism derives a necessary conclusion from at least two premises. The seminar details the major term, minor term, and middle term. The first figure of syllogism (Barbara, Celarent, Darii, Ferio) is explained in full, with figures classified by the position of the middle term and modes (arbāʿ) by the quantity and quality of propositions.

7. Exceptive Syllogisms and Stoic Logic

In addition to traditional categorical syllogisms, the seminar introduces conditional and exceptive syllogisms, which are rooted in Stoic logic. These forms depend on conditional premises and specific exceptions leading to valid inferences.

Conclusion

This seminar systematically presents the core components of classical logic, from conceptual structures and definitions to propositional logic and syllogisms. Eşref Altaş clarifies how these logical forms structure coherent thought and reasoning. It offers a thorough foundation for engaging with Isāghūjī and the broader tradition of Islamic logic.