Tasımın genel kuralları ve mantıksal şekiller, doğru sonuçları yanlış olanlardan kolayca ayırt etmeye yardımcı olur. Zihinsel analiz sürecinde ifadenin tüm kurallara karşılık geldiği ortaya çıkarsa, mantıksal olarak doğrudur. Bu kuralları kullanma becerisini geliştirmeye yönelik alıştırmalar, bir düşünme kültürü oluşturmanıza olanak tanır.
Tasımın genel tanımı ve terim türleri
Tasımın kuralları, bu terimin genel tanımından çıkar. Bu kavram, iki ifadeden (öncüller olarak adlandırılan) bir sonucun oluşumu ile karakterize edilen tümdengelimli düşünme biçimlerinden biridir. En yaygın ve ilkel biçim, 3 terim üzerine kurulmuş basit bir kategorik kıyastır. Açıklayıcı bir örnek olarak, aşağıdaki sonuç verilebilir:
- İlk önerme: "Bütün sebzeler bitkidir."
- İkinci önerme: "Kabak bir sebzedir."
- Sonuç: “Bu nedenle balkabağıbitki.”
Daha küçük S terimi, sonuca dahil edilen mantıksal yargının konusudur. Verilen örnekte - "kabak" (sonucun konusu). Buna göre, onu içeren pakete daha küçük olan (2 numara) denir.
Orta, aracı terim M, öncüllerde bulunur, ancak sonuçta ("sebze") bulunmaz. Onun hakkında bir ifade içeren bir öncül, ortadaki (1 numara) olarak da adlandırılır.
Sonucun yüklemi ("bitki") olarak adlandırılan ana terim P, ana öncül olan konu hakkında yapılan bir ifadedir (3 numara). Mantıkta analizi kolaylaştırmak için, ilk önermeye daha büyük terim yerleştirilir.
Genel anlamda, basit bir kategorik kıyas, orta terimle olan bağlantılarını dikkate alarak küçük ve büyük bir terim arasında bir ilişki kuran bir özne-yüklem çıkarımıdır.
Orta terim, parsel sisteminde farklı konumlara sahip olabilir. Bu bağlamda, aşağıdaki şekilde gösterilen 4 rakam ayırt edilir.
Bu terimlerin ilişkisini gösteren mantıksal ilişkilere mod denir.
Tasım kuralları ve anlamları
Tecrübeler (modlar) arasındaki ilişkiler mantıksal olarak kurulursa, onlardan makul bir sonuç çıkarılabilir, o zaman tasımın doğru kurulduğunu söylerler. Yanlış tümdengelimli sonuçları belirlemek için özel kurallar vardır. Bunlardan en az biri ihlal edilirse, kıyas yanlıştır.
3 grup kıyas kuralı vardır: terim kuralları, öncüller ve şekil kuralları. Hepsion iki tane var. Bir kıyasın doğru olup olmadığını belirlerken, öncüllerin doğruluğu, yani içeriği göz ardı edilebilir. Ana şey, onlardan doğru sonucu çıkarmaktır. Sonucun doğru olması için, daha büyük ve daha küçük terimleri doğru bir şekilde bağlamak gerekir. Bu nedenle kıyasın şekli (terimler arası ilişki) ve muhtevası da ayırt edilir. Yani, “Kaplanlar otoburdur. Koyunlar kaplanlardır. Bu nedenle, koçlar otoburdur birinci ve ikinci öncüllerin içeriği yanlıştır, ancak vardığı sonuç doğrudur.
Basit bir kategorik kıyasın kuralları şunlardır:
1. Terimler için kurallar:
- "Üç Terim".
- "Orta terimin dağılımları".
- "Sonuç ve öncül bağlantıları".
2. Parseller için:
- "Üç kategorik yargı".
- "İki olumsuz yargıya sahip bir sonucun olmaması."
- "Olumsuz bir sonuç".
- "Özel Yargılar".
- "Sonucun ayrıntıları."
Mantıksal şekillerin her biri için, aşağıda açıklanan kendi kuralları kullanılır (bunlardan yalnızca dördü vardır).
Ayrıca birkaç basit olandan oluşan karmaşık kıyaslar (soritler) vardır. Yapısal zincirlerinde her sonuç, bir sonraki sonuca ulaşmak için bir öncül görevi görür. İkincisinden başlayarak, ifadedeki küçük öncül atlanırsa, böyle bir kıyasa Aristotelesçi denir.
Antik Yunanistan'da bile kıyaslar, kavramları birleştirmeye yardımcı oldukları için bilimsel bilginin en önemli araçlarından biri olarak kabul edildi. Müminlerin asıl görevisonucun bilimsel yapısı, kıyasın gerçekleştirildiği orta kavramı bulmaktır. Biçimsel kavramların zihinde birleşmesi sonucunda kişi doğadaki gerçek şeyleri bilebilir.
Öte yandan kıyas, nesnelerin özelliklerini genelleştiren kavramlardan oluşur. Kaplanlar ve koçlar örneğinde olduğu gibi kavramlar yanlış oluşturulursa, kıyas doğru olmayacaktır.
İddiaları kontrol etme yöntemleri
Mantıkta kıyasların doğruluğunu kontrol etmek için 3 pratik yöntem vardır:
- önceler ve sonuçlarla dairesel diyagramların (ciltlerin görüntüsü) oluşturulması;
- karşı örnek oluşturma;
- Tasımın genel kural ve şekil kurallarıyla tutarlılığının kontrol edilmesi.
En belirgin ve en sık kullanılan yol ilkidir.
3 terim kuralı
Kategorik kıyasın bu kuralı şu şekildedir: tam olarak 3 terim olmalıdır. Mantıksal sonuç, daha büyük ve daha küçük terimlerin ortalamayla ilişkisi üzerine kuruludur. Terim sayısı fazlaysa, orta terim olarak tanımlanan farklı anlamlara sahip nesnelerin özellikleri arasında tam bir eşitlik oluşabilir:
Tırpan bir el aletidir. Bu saç modeli bir örgü. Bu saç modeli bir el aleti.”
Bu sonuçta, "örgü" kelimesi iki farklı kavramı gizler - biçme için bir araçotlar ve saçtan dokunmuş bir örgü. Böylece üç değil 4 kavram vardır. Sonuç, anlamın çarpıtılmasıdır. Kıyasların bu genel kuralı mantıktaki ana kurallardan biridir.
Daha az terim varsa, o zaman öncüllerden herhangi bir sonuç çıkarmak imkansızdır. Örneğin: “Bütün kediler memelidir. Bütün memeliler hayvandır. Buradan çıkarımın sonucunun tüm kedilerin hayvan olduğu sonucu olacağı mantıksal olarak anlaşılabilir. Ama kıyasta sadece 2 kavram olduğu için biçimsel olarak böyle bir sonuca varılamaz.
Ortalama kıyas için dağıtım kuralı
Kategorik kıyasın ikinci kuralının anlamı şudur: terimlerin ortası en az bir öncülde dağıtılmalıdır.
“Bütün kelebekler uçar. Bazı böcekler uçar. Bazı böcekler kelebektir.”
Bu durumda, M terimi tesis içinde dağıtılmaz. Uç terimler arasında bir ilişki kurmak mümkün değildir. Sonuç anlamsal olarak doğru olsa da mantıksal olarak yanlıştır.
Sonuç ve öncül arasında bağlantı kurma kuralı
Tasımın terimlerinin üçüncü kuralı, nihai sonuçtaki terimin öncüllere dağıtılması gerektiğini söyler. Önceki kıyasla ilgili olarak şöyle görünürdü: “Bütün kelebekler uçar. Bazı böcekler kelebeklerdir. Bazı böcekler uçar.”
Yanlış seçenek, basit kıyas kuralını ihlal ediyor: “Bütün kelebekler uçar. Hiçbir böcek kelebek değildir. Böcek uçmaz.”
Parsel Kuralı (RP) 1: 3kategorik yargılar
Tasımların öncüllerinin ilk kuralı, basit bir kategorik kıyas kavramının tanımının yeniden formüle edilmesinden kaynaklanır: 2 öncül ve 1 sonuçtan oluşan 3 kategorik yargı (olumlu veya olumsuz) olmalıdır. Terimlerin ilk kuralını yansıtır.
Kategorik bir yargı, bir nesnenin (öznenin) herhangi bir özelliğinin veya niteliğinin iddia edildiği veya reddedildiği bir ifade olarak anlaşılır.
PP 2: iki olumsuzlukla sonuç yok
Mantıksal akıl yürütmenin öncülleri arasındaki bağlantıları karakterize eden ikinci kural şöyle der: Olumsuz nitelikteki 2 öncülden bir sonuç çıkarmak imkansızdır. Benzer bir yeniden formülleştirme de vardır: ifadelerdeki öncüllerden en az biri olumlu olmalıdır.
Aslında şu açıklayıcı örneği alabiliriz: “Oval bir daire değildir. Kare oval değildir. Bundan mantıklı bir sonuç çıkarılamaz, çünkü "oval" ve "kare" terimlerinin korelasyonundan hiçbir şey elde edilemez. Uç terimler (daha büyük ve daha küçük) ortada hariç tutulur. Dolayısıyla aralarında kesin bir ilişki yoktur.
PP 3: olumsuz sonuç koşulu
Üçüncü kural: Yalnızca öncüllerden biri de olumsuzsa sonuç olumsuzdur. Bu kuralın uygulanmasına bir örnek: “Balık karada yaşayamaz. Minnow bir balıktır. Minnow karada yaşayamaz.”
Bu açıklamada, orta terimbüyük olandan çıkarılır. Bu bağlamda, ortadakinin (ikinci ifade) bir parçası olan aşırı terim ("balık"), ikinci aşırı terimin dışında tutulur. Bu kural açıktır.
PP 4: Özel Yargı Kuralı
Öncüllerin dördüncü kuralı, basit bir kategorik kıyasın birinci kuralına benzer. Aşağıdakilerden oluşur: kıyasta 2 özel yargı varsa, sonuç elde edilemez. Özel yargılar, ortak özelliklere sahip bir grup nesneye ait nesnelerin belirli bir bölümünün reddedildiği veya onaylandığı yargılar olarak anlaşılır. Genellikle ifadeler olarak ifade edilirler: "Bazı S, P değildir (veya tam tersine, öyledir)".
Bu kuralın açıklayıcı bir örneği: “Bazı sporcular dünya rekorları kırdı. Bazı öğrenciler sporcu." Bundan bazı "bazı öğrencilerin" dünya rekorları kırdığı sonucuna varmak imkansızdır. Kıyas terimlerinin ikinci kuralına dönersek, orta terimin öncüllere dağılmadığını görebiliriz. Bu nedenle böyle bir kıyas yanlıştır.
Bir ifade belirli bir olumlu ve belirli bir olumsuz öncülün birleşimi olduğunda, o zaman sadece belirli olumsuz ifadenin yüklemi kıyasın yapısında dağıtılacaktır, bu da yanlıştır.
Her iki öncül de özel olarak negatifse, bu durumda ikinci öncül kuralı tetiklenir. Bu nedenle, ifadedeki öncüllerden en az biri genel bir yargı niteliğine sahip olmalıdır.
PP 5:sonucun özelliği
Tasımın beşinci öncül kuralına göre, eğer en az bir öncül belirli bir akıl yürütme ise, o zaman sonuç da belirli olur.
Örnek: “Şehrin tüm sanatçıları sergide yer aldı. İşletmenin çalışanlarından bazıları sanatçıdır. İşletmenin bazı çalışanları sergiye katıldı. Bu geçerli bir kıyastır.
Özel bir olumsuz sonuca bir örnek: “Tüm kazananlar ödül aldı. Mevcut ödüllerden bazıları yoktur. Mevcut olanlardan bazıları kazanan değil.” Bu durumda genel olumsuz yargının hem öznesi hem de yüklemi dağıtılır.
Birinci ve ikinci rakamların kuralları
Yalnızca bu şekil için karakteristik olan yargıların doğruluğuna ilişkin kriterleri görsel olarak tanımlamak için kategorik tasım figürlerinin kuralları getirilmiştir.
İlk şeklin kuralı der ki: Öncüllerin en küçüğü olumlu olmalı ve en büyüğü genel olmalıdır. Bu şekil için yanlış kıyas örnekleri:
- “Bütün insanlar hayvandır. Hiçbir kedi insan değildir. Hiçbir kedi bir hayvan değildir." Küçük öncül olumsuzdur, dolayısıyla kıyas yanlıştır.
- "Bazı bitkiler çölde yetişir. Tüm nilüferler bitkidir. Bazı nilüferler çöllerde yetişir." Bu durumda, binaların en büyüğünün özel bir yargı olduğu açıktır.
Kategorik bir kıyasın ikinci rakamını tanımlamak için kullanılan kural: öncüllerin en büyüğü genel olmalı ve öncüllerden biri olumsuzlama olmalıdır.
Yanlış ifade örnekleri:
- "Bütün timsahlar yırtıcıdır. Bazı memeliler yırtıcıdır. Bazı memeliler timsahtır." Her iki öncül de olumludur, dolayısıyla kıyas geçersizdir.
- "Bazı insanlar anne olabilir. Hiçbir erkek anne olamaz. Bazı erkekler insan olamaz." Öncüllerin çoğu özel bir yargıdır, bu nedenle sonuç hatalıdır.
Üçüncü ve dördüncü parçanın kuralları
Tasımın üçüncü kuralı, kıyasın küçük teriminin dağılımı ile ilgilidir. Eğer öncülde böyle bir dağılım yoksa, sonuçta da dağıtılamaz. Bu nedenle, şu kural gereklidir: öncüllerin en küçüğü olumlu olmalı ve sonuç belirli bir ifade olmalıdır.
Örnek: Bütün kertenkeleler sürüngendir. Bazı sürüngenler yumurtacı değildir. Bazı yumurtlayanlar sürüngen değildir. Bu durumda, öncüllerin küçüğü olumlu değil, olumsuzdur, dolayısıyla kıyas yanlıştır.
Dördüncü şekil en az yaygın olanıdır, çünkü öncüllerine dayalı bir sonuç elde etmek yargılama süreci için doğal değildir. Uygulamada, ilk şekil bu tür bir çıkarımı oluşturmak için kullanılır. Bu şekil için kural şu şekildedir: dördüncü şekilde, sonuç genel olarak olumlu olamaz.
