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

Dersin Amacı ve İçeriği

Bu seminer, Ebherî’nin Îsâgûcî metni üzerinden tasavvur ve tasdik teorilerinin ikinci kısmını, yani tanım ve önerme konularını kapsamlı biçimde ele alır. Amaç, kavramsal doğruluğu sağlayan tanım ilkeleriyle mantıksal geçerliliği belirleyen önermelerin yapı ve türlerini sistematik olarak açıklamaktır. Tanımların doğruluk-yalan değil, eksik-tam ayrımı üzerinden sınıflandırıldığı, önermelerin ise akıl yürütmenin temel yapıtaşı olarak “doğru veya yanlış” hüküm içerdiği gösterilir.

Ana Temalar

1. Beş Tümel ve Tanım İlkeleri

Seminer, tanım oluşturmanın ilkeleri olarak cins, tür ve fasılın zâtî; hâssa ve arazın ise arazî nitelikte olduğunu vurgular. Zâtî unsurlar (cins, tür, fasıl) tanımın özünü kurarken; hâssa (ör. “gülen”) sadece bir türe özgü ama zâti olmayan; araz (ör. “soluyan”) ise birçok türe yüklenebilen özelliklerdir. Bu ayrımlar, tam ve eksik tanım yapabilmenin temelidir.

2. Tam ve Eksik Tanım, Betim

Tam tanım yakın cins + yakın fasıl formundadır (ör. “insan = düşünen canlı”). Uzak cins/fasıl kullanımı tanımı eksik hale getirir. Hâssa + cins kullanımı ise “tam betim” olur. Sadece arızî nitelikler içeren tanımlar ise eksik betim olarak değerlendirilir. Tanımın amacı, kavramın mahiyetini mümkün olduğunca doğru yansıtmaktır.

3. Tanımın Fonksiyonu: Kavramın Açıklanması

Tanım, bir hüküm değil açıklayıcı söz (kavl-i şârih) olarak görülür. “İnsan, düşünen canlıdır” önermesi, insan kavramını açıklamaya yönelik bir kavl-i mufassaldır ve parçaların birleşimiyle anlam kazanır.

4. Tasdik ve Önermeler

Tasdik, doğruluk veya yanlışlık yüklenebilecek yargılardır. Yüklemli (ör. “Zeyd yazıcıdır”) ve şartlı (ör. “Eğer güneş doğarsa gündüz olur”) olmak üzere iki tür önerme tanıtılır. Önermeler nicelik (tümel–tikel–belirsiz) ve nitelik (olumlu–olumsuz) açısından sınıflandırılır.

5. Şartlı Önermeler ve Ayrımları

Şartlı önermeler bitişik (gereklilik ilişkili) veya ayrık (alternatifli) olabilir. Ayrık önermeler üç tipe ayrılır:

• Mani‘atü’l-cem ve’l-hulû: ne birlikte varlıkları ne birlikte yoklukları mümkündür (ör. “sayı ya tektir ya çifttir”),
• Mani‘atü’l-cem: birlikte olamazlar ama biri olabilir (ör. “ya taş ya ağaç”),
• Mani‘atü’l-hulû: ikisi de yok olamaz (ör. “ya denizdedir ya boğulmaz”).

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

A–O ve E–I tipi önermeler arasında çelişki kurulabilir. Çelişki için zaman, konu, izafet ve şart birliği gerekir. Ayrıca önermeler arasında konu ve yüklemin yer değişimiyle (döndürme) yeni önermeler kurulabilir; ancak her önerme döndürülemez (ör. tikel olumsuzlar).

7. Kıyas ve Şekil–Darb Sistemi

Kıyas, iki öncülden zorunlu bir sonuç çıkaran akıl yürütmedir. Terimlere göre şekiller (1-4), nitelik–niceliğe göre darb (modlar: Barbara, Celarent, Darii, Ferio) belirlenir. Stoacı mantıktan gelen istisnalı kıyaslar da eklenir (ör. “Eğer insan ise canlıdır, ama o insandır, o halde canlıdır”).

Sonuç

Bu seminer, mantığın tasavvur ve tasdik bölümlerinin birleştiği noktayı göstererek kavramsal doğruluğu tanımla, mantıksal geçerliliği ise önermeyle sağlama yolunu sistemli biçimde açıklar. Ebherî’nin metni, mantığın hem dilsel hem düşünsel yapısına dair güçlü bir disiplin önerisi sunar; Altaş’ın anlatımı, bu yapıyı tarihsel ve kavramsal bağlamlarıyla bütünleştirir.

 

Seminar Purpose and Content

This seminar delves into the second phase of conceptualization (taṣawwur) and assent (taṣdīq) theories based on Athīr al-Dīn al-Abharī’s Isāghūjī. The session focuses on the logic of definitions and propositions, exploring the criteria for accurate conceptual formation and valid logical judgment. Definitions are evaluated not by truth or falsehood but by completeness or deficiency, while propositions serve as the core structure for rational truth claims.

Key Themes

1. Five Predicables and the Principles of Definition

The seminar begins by revisiting the Five Predicables: genus, species, differentia (essential), property, and accident (non-essential). The essential elements—genus, species, and differentia—form the structure of a proper definition. Properties (e.g., “laughing” for humans) are unique but non-essential, while accidents (e.g., “breathing”) may apply to many species. These distinctions are fundamental to forming complete or partial definitions.

2. Complete, Incomplete, and Descriptive Definitions

A complete definition consists of a proximate genus and differentia (e.g., “Human = rational animal”). Using a remote genus or differentia results in an incomplete definition. Definitions using a property and genus form “complete descriptions,” while those using only accidents become “incomplete descriptions.” The goal is to express a concept’s essence as precisely as possible.

3. The Function of Definition: Clarification, Not Judgment

Definitions are explanatory statements (qawl shāriḥ), not assertions. For example, “A human is a rational animal” is not a proposition but an explanatory phrase that unpacks the meaning of the term by combining known elements.

4. Assent and the Nature of Propositions

Assent involves statements that can be true or false. Propositions are categorized as either categorical (e.g., “Zayd is a writer”) or conditional (e.g., “If the sun rises, it is day”). Each can be further classified by quantity (universal, particular, indefinite) and quality (affirmative, negative).

5. Conditional Propositions and Their Distinctions

Conditional propositions are either conjunctive (where one clause implies another) or disjunctive (offering alternatives). Disjunctive propositions are further divided into:

• Mutual exclusivity and exhaustiveness (e.g., “A number is either even or odd”),
• Mutual exclusivity only (e.g., “It is either a rock or a tree”),
• Mutual exhaustiveness only (e.g., “It is either in the sea or not drowning”).

6. Contradictions and Conversion Rules

Propositional pairs such as A–O and E–I (in classical logic) are examples of contradictories. Contradictions are only valid when propositions share the same time, subject, relation, and condition. Conversion involves switching subject and predicate, but not all propositions can be validly converted (e.g., particular negatives).

7. Syllogism and the Figure–Mode System

Syllogism is introduced as reasoning that derives a necessary conclusion from two premises. Figures are determined by the position of the middle term; modes (arbāʿ) are defined by the quality and quantity of premises. The first figure includes Barbara, Celarent, Darii, and Ferio. Conditional and exceptive syllogisms rooted in Stoic logic are also discussed (e.g., “If he is human, he is alive; he is human; therefore, he is alive”).

Conclusion

This seminar synthesizes the foundational elements of conceptual and judgmental logic. Through a detailed explanation of definition structures and propositional logic, Altaş demonstrates how Isāghūjī provides a systematic guide for precise thinking. Abharī’s text, as interpreted here, lays out a robust framework for both linguistic clarity and deductive rigor within the Islamic logical tradition.