MEHMET ÖZTURAN, KÂTİBÎ, ŞEMSİYYE 4. SEMİNER ÖZETİ

Dersin Amacı

Bu dersin amacı, önerme (kaziye) çeşitlerini mantıktaki işlevleri açısından ayrıntılı biçimde açıklamak, özellikle hamliye ve şartiye önermeleri arasındaki yapısal farkları ortaya koymak, nicelik–nitelik ayrımlarının kıyas kurulumundaki zorunlu etkisini göstermek ve lüzumiye–ittifakiye ile hakikiye–mâniatü’l-cem/mâniatü’l-hulûv ayrımlarının anlamını temellendirmektir. Ayrıca bu ders, kıyasın şekilleri ve şartlarının anlaşılmasında gerekli olan önerme tasniflerini kavratmayı hedefler.

Ana Temalar

1. Önerme Türlerinin Mantıktaki Konumu

Bir önceki derste tanım teorisi tamamlanmış ve kıyasa geçmeden önce gerekli ön bilgiler olan mebâdînin incelenmesi gerektiği belirtilmişti. Kıyasın sağlıklı şekilde kurulabilmesi için önermelerin nitelik, nicelik ve yapı bakımından doğru anlaşılması zorunludur. Bu nedenle ders, hamliye ve şartiye önermelerinin tekrar edilmesiyle başlar ve her iki önerme türünün hüküm ilişkisini nasıl ifade ettiği açıklanır.

2. Hamliye Önermelerinin Yapısı

Hamliye önermeleri bir konu (mevzu) ve bir yüklemden (mahmul) oluşur. Bu iki unsurun ilişkisini ifade eden bağ “dır/değildir” yapısı üzerinden kurulur. İsim cümleleri ve fiil cümleleri hamlî yapının dildeki görünüşleridir. Mevzu hakkında hüküm verilen öğe, mahmul ise hükmün kendisini taşıyan unsurdur. Hamliye önermelerinin doğru anlaşılması, nicel ve nitel ayrımların kavranması açısından zorunludur.

3. Şartiye Önermelerin Yapısı: Mukaddem Ve Tali

Şartiye önermede “A ise B’dir” formu bulunur. Burada A ön bileşen (mukaddem), B art bileşendir (tali). Bu yapı, hükmün gerçekleşmesi için ilişki kurulmuş iki cümleyi içerir. Muttasıl şartiyelerde iki bileşen arasında bir bağ bulunur; münfasıl şartiyelerde ise seçenek bildirimi yapılır.

4. Lüzumiye Ve İttifakiye Ayrımı

Muttasıl şartiyeler ikiye ayrılır: lüzumiye ve ittifakiye. Lüzumiyede mukaddemin doğruluğu talinin doğruluğunu gerçek bir gerektirme ilişkisiyle bağlar (“Güneş doğmuş ise gündüz olmuştur”). İttifakiyede ise iki bileşen doğru olsa bile aralarında gerçek bir gerektirme ilişkisi bulunmaz; sadece birlikte doğru olmalarının tesadüfi bir eşlik ilişkisi vardır (“İnsan natıktır ise eşek anırır”).

5. Münfasıl Şartiyeler: Hakikiye, Mâniatü’l-Cem Ve Mâniatü’l-Hulûv

Münfasıl önermelerde “veya” bağlacı geçer. Hakikiye, iki tarafın aynı anda doğru veya aynı anda yanlış olmasını imkânsız kılan ayrımı ifade eder (“Sayı tektir veya çifttir”). Mâniatü’l-cem, iki tarafın aynı anda doğru olmasını imkânsız kılar; ancak aynı anda yanlış olmaları mümkündür (“Bu şey taştır veya ağaçtır”). Mâniatü’l-hulûv ise iki tarafın aynı anda yanlış olmasını imkânsız kılar; aralarından en az biri doğru olmak zorundadır (“Zeyd denizdedir veya boğulmamıştır”).

6. Nicelik Açısından Taksim: Mahsusa, Mahsura, Mühmele

Önermeler nicelik bakımından üçe ayrılır. Mahsusa (şahsiye), konusu cüz’î olan önermedir (“Ahmet öğrencidir”). Mahsura, niceleme edatı alan önermedir ve külliye–cüz’iye olarak ikiye ayrılır (“Bütün insanlar canlıdır” – “Bazı insanlar öğrencidir”). Mühmele, başında niceleme edatı bulunmayan fakat konusu küllî olan önermedir (“Kuşlar uçar”). Kıyasta şahsiyeler külliye, mühmel önermeler ise cüz’iye hükmünde kabul edilir.

7. Kıyas İçin Gerekli Olan Nicelik–Nitelik Şartlarının Kurulması

Birinci şekil kıyasın geçerli olabilmesi için büyük öncülün külliye, küçük öncülün ise mucibe olması gerekir. Bu nedenle önermelerin nicelik bakımından doğru tasnifi kıyasın doğruluğunu doğrudan etkiler. Ders, nicelik–nitelik uyumunun nasıl aranacağını örneklerle gösterir.

8. Münfasıl ve Muttasıl Yapıların Kıyasla İlişkisi

Her iki şartiye türünün kıyasta kullanılabilmesi için doğruluk değerlerinin nasıl tayin edileceği, hangi durumda önerme geçerli kabul edileceği ve hangi durumda yanlış olacağı üzerinde durulur. Bu bölüm, ileride işlenecek olan kıyas şekillerinin mantığını hazırlayan zemin niteliğindedir.

Sonuç

Bu ders, hamliye ve şartiye önermelerinin yapısını, nicelik ve nitelik bakımından önerme türlerini ve lüzumiye–ittifakiye ile hakikiye–mâniatü’l-cem/mâniatü’l-hulûv ayrımlarını sistemli biçimde açıklamıştır. Ayrıca kıyasa geçişte zorunlu olan nicelik şartlarının ve önerme tasniflerinin nasıl kullanılacağı gösterilmiş, böylece kıyas teorisine giriş için gerekli mantıksal altyapı tamamlanmıştır.

 

Purpose of the Lesson

The purpose of this lesson is to explain in detail the types of propositions and their functions in logic, to clarify the structural differences between categorical and conditional propositions, to show the necessity of quantity–quality classifications for the construction of syllogisms, and to establish the meaning of the distinctions between lūzumī–ittifāqī as well as ḥaqīqī–māniʿat al-jamʿ/māniʿat al-khulūw. This lesson also aims to provide the conceptual basis required for understanding the conditions and forms of syllogism.

Main Themes

1. The Position Of Proposition Types In Logic

After completing the theory of definition, it was stated that certain preliminary principles (mabādi’) are required before entering syllogism. For a syllogism to be constructed correctly, propositions must be understood in terms of their structure, quality, and quantity. Therefore, the lesson begins with a review of categorical and conditional propositions and explains how each type expresses a judgment.

2. The Structure Of Categorical Propositions

Categorical propositions consist of a subject and a predicate. The link expressing their relation is formed through the structure “is/is not.” Nominal and verbal sentences represent this form in natural language. The subject is the element about which a judgment is given, and the predicate is the attribute through which the judgment is formed.

3. The Structure Of Conditional Propositions: Mukaddam And Tāllī

In conditional propositions the form “If A, then B” appears. A is the antecedent (mukaddam), and B is the consequent (tāllī). This structure consists of two clauses whose relation constitutes the basis of the judgment.

4. The Distinction Between Lūzumī And Ittifāqī

Connected conditionals are divided into lūzumī and ittifāqī. In lūzumī propositions the truth of the antecedent genuinely necessitates the truth of the consequent. In ittifāqī propositions, although both parts may be true, there is no real necessitation between them; they merely coincide.

5. Disjunctive Propositions: Ḥaqīqī, Māniʿat Al-Jamʿ, And Māniʿat Al-Khulūw

In disjunctive propositions the particle “or” is used. A ḥaqīqī disjunction is one in which the two alternatives cannot be both true nor both false. Māniʿat al-jamʿ is the form in which both alternatives cannot be true, though both may be false. Māniʿat al-khulūw is the opposite: both alternatives cannot be false; at least one must be true.

6. Division By Quantity: Maḥṣūṣa, Maḥṣūra, Muhmala

Propositions are divided by quantity into three types: maḥṣūṣa (singular), in which the subject is particular; maḥṣūra, which contains a quantifier and is either universal or particular; and muhmala, which has no quantifier but whose subject is universal.

7. Quantity–Quality Requirements For Syllogism

For the first figure of syllogism to be valid, the major premise must be universal and the minor premise affirmative. Understanding this requirement depends on the earlier classifications of propositions.

8. The Relation Of Conditional Structures To Syllogism

The correctness conditions of conditional propositions, and how they may or may not be used in syllogistic reasoning, are examined. This section prepares the logical framework for the study of syllogism.

Conclusion

This lesson systematically explained the structures of categorical and conditional propositions, the classifications based on quantity and quality, and the distinctions among lūzumī–ittifāqī and ḥaqīqī–māniʿat al-jamʿ/māniʿat al-khulūw. It also showed how these classifications are required for entering the theory of syllogism, thereby completing the conceptual groundwork for the next stage.