Mantıkta kıyasın ne olduğunu, yapısını, öncüller arasındaki ilişkiyi, türleri, kuralları ve örnekleri açıklıyoruz. Ayrıca yanılgı nedir.
tasım nedir?
İçinde mantık, bir kıyas bir yöntemdir akıl yürütme, bu kadar endüktif Ne tümdengelim. Adı Yunancadan geliyor kıyaslar tarafından incelendi ve Felsefe Yunan antik çağının, özellikle onu ilk formüle eden Aristoteles (MÖ 384-322) tarafından.
Üç bölümden oluşan sabit bir mantıksal akıl yürütme yöntemidir: iki öncül ve bir çözüm, ikincisi ilk ikisinin bir sonucu olarak elde edildi.
Her kıyas, yargılar, yani onların karşılaştırması yoluyla iki parçayı ilişkilendirir. İlki, Aristoteles aradı ana öncül, ikinciye küçük öncül ve sonuçta sonuç olarak. Bu parçalar genellikle şu şekilde anlaşılır: önermeler, doğru (V) veya yanlış (F) değerine sahip olmakla yükümlüdür.
Kıyas veya kıyas mantığı, önerme mantığında, matematiksel veya bilgisayar çalışmalarında ve ayrıca felsefe çalışmasında bolca uygulanmaktadır.
tasımın yapısı
Daha önce de söylediğimiz gibi, kıyasın yapısı, ele aldıkları konu veya öncüllerinin doğası ne olursa olsun sabittir ve üç unsurdan oluşur:
- Sonucun bir yüklemine eşdeğer büyük bir öncül (P).
- Küçük bir öncül, eşdeğer bir ders sonuç (S).
- P ve S'nin karşılaştırıldığı bir orta terim.
- P ve S arasındaki ilişkiyi onaylayarak veya reddederek ulaşılan bir sonuç veya sonuç.
Bu terimler, yaptıkları tasdik veya inkarların türüne göre belirli bir mahiyette olabilen hükümlerle birbirleriyle ilişkilidir:
- Evrensel: bir özelliğin tüm öğeleri ilgilendirdiğini, yani tüm S'nin P olduğunu kabul ederler.
- Özel: tam tersine, daha büyük bir bütünlüğün bazı öğelerine bir özelliği yayarlar, yani: bazı S'ler P'dir.
- Olumlu: birlik olarak da adlandırılırlar, terimler arasında bir denklik ilişkisi önerirler: S, P'dir.
- Negatif: ayırma olarak da adlandırılır, öncekilerin tersini önerirler: S, P değildir.
Böylece dört çeşit argümanlar bir kıyastan mümkün:
- (A) Olumlu tümeller: Tüm S P'dir (burada S evrenseldir ve P özeldir). Örneğin: "Bütün insanlar nefes almalıdır."
- (E) Negatif tümeller: Hiçbir S P değildir (burada S evrenseldir ve P evrenseldir). "Hiçbir insan su altında nefes almaz."
- (I) Olumlu ayrıntılar: Bazı S, P'dir (burada S özeldir ve P özeldir). "Bazı insanlar Mısır'da doğar."
- (O) Olumsuz özellikler: Bazı S, P değildir (burada S özeldir ve P evrenseldir). "Bazı insanlar Mısır'da doğmaz."
tasım türleri
Bir kıyasın öncüllerinin nasıl ilişkili olduğuna bağlı olarak, sınıflarından bazılarını ayırt edebiliriz, örneğin:
Kategorik veya klasik kıyas. Öncüllerin ve sonucun basit önermeler olduğu olağan ve basit kıyas türüdür. Örneğin:
- Her hafta Pazartesi günü başlar.
- Bugün Pazartesi.
- Yani bugün bir hafta başlıyor.
Koşullu kıyas. Bu tipte, ana öncül iki kategorik önermeye göre bir bağımlılık ilişkisi kurar. Bu nedenle, küçük öncül bazı terimleri ya onaylar ya da reddeder ve sonuç, zıt terimi onaylar veya reddeder. Örneğin:
- Gündüz ise, güneş parlıyor.
- Şimdi gün ışığı değil.
- Böylece güneş parlamaz.
Ayırıcı kıyas. İçinde ana öncül bir ayrım önerir, yani aynı anda doğru veya yanlış olamayacakları iki karşıt terim arasındaki seçim. Örneğin:
- Bir hayvan erkek veya dişi olarak doğar.
- Bir hayvan erkek doğar.
- Yani dişi değildir.
tasım kuralları
Syllogisms, aşağıdakiler gibi bir dizi kırılmaz kural tarafından yönetilir:
- Hiçbir kıyas üçten fazla terimden oluşmaz.
- Sonuç, öncüllerden daha kapsamlı olamaz.
- Orta yol sonuçta olamaz.
Öte yandan, tesislerin de kuralları vardır:
- İki olumsuz öncülden hiçbir sonuç çıkarılamaz.
- İki olumlu öncülden olumsuz bir sonuç çıkarılamaz.
- İki belirli öncülden geçerli bir sonuç çıkarılamaz.
tasım örnekleri
İşte bazı basit kıyas örnekleri:
- İspanya'da doğanlar İspanyol'dur. Annem İspanya'da doğdu. O zaman annem İspanyol.
- Sadece yağmur yağdığında geç kalıyorum. Bugün yağmur yağmadı. O zaman zamanında geleceğim.
- Bazı insanlar yüzemez. Kendini kurtarmak için yüzmelisin. O zaman bazı insanlar kurtarılmayacak.
- Bütün arkadaşlarım İspanyolca konuşuyor. Rodrigo İspanyolca bilmiyor. Bu nedenle, Rodrigo benim arkadaşım değil.
yanılgılar
Yanlışlar, resmi olarak geçerli görünen, ancak olmayan argümanlardır. Bu, öncüllerinin ve sonuçlarının yanlış veya doğru olduğu anlamına gelmez, ancak aralarında kurulan ilişkinin geçersiz olduğu anlamına gelir.
onların içinde Sofistik çürütmelerAristoteles, on üç tür yanılgı tanımladı, ancak modern sınıflandırmalarda bunlardan yüzlerce var. Basit bir yanılgı örneği aşağıdaki kıyastır:
- Sınıf arkadaşlarımın hepsi İngiliz. Boris İngiliz. O zaman Boris benim ortağım.
Görüleceği gibi, İngiliz olmak eş olmayı değil, tam tersini şart koştuğu için, öncüllerden zorunlu olarak çıkarılması gerekmeyen bir sonuca varılmaktadır. Bu ilk önermeden, ancak bize ortak olduğu söylendiğinde Boris'in İngiliz olduğu sonucuna varabiliriz.