Mantık, tasım veya argümanı inceler. Bunun, yukarıda verilen öncüllerde veya önermelerde kurulanlardan bir sonucun türetildiğini gösterebilecek kendi biçimleri vardır. Bir argüman oluşturmak istediğinizde ilerlemenin iki yolu vardır, bunlar:
Tasım veya tümdengelimli argüman, giderek evrensel önermelerden belirli önermelere doğru ilerleyen bir argümandır. Çıkarımı (öncüllerden çıkarılan sonuç), daha az kapsamlı bir terimin daha büyük bir terime dahil edilmesi olduğundan, ona kanıt diyoruz. uzantı. Aşağıdaki örnekler daha iyi açıklayabilir:
Her insan ölümlüdür. Her Brezilyalı ölümlüdür.
John bir erkek. Her paulista Brezilyalıdır.
Bu nedenle, John ölümlüdür. Bu nedenle, her paulista ölümlüdür.
İlk örnekte argümanın, belirli bir önermeye sahip bir sonuç için evrensel bir öncülden başladığı görülebilir (çünkü ikinci öncül de özeldir). İkinci argümanda, tüm öncüller ve sonuç evrenseldir. Ancak, verilen terimler (ölümlü, insan ve João – birinci argüman, ölümlü, Brezilya ve São Paulo – ikinci argüman) olduğundan, her iki çıkarımda da gerçekleşir. Argüman) aralarında en uzun vadeden, (dolayımın olduğu) ortam boyunca giden ve nihayet terime ulaşan bir uzam ilişkisine sahiptir. daha küçük.
İkinci argüman türü tümevarımsal olandır. Bu, belirli önermelerden veya sonuçtakilerden nispeten daha küçük terimlerle ortaya çıkar ve daha evrensel veya daha kapsamlı terimlere ulaşır. Aşağıdaki örneklere bakın:
Demir elektriği iletir. Her köpek ölümlüdür.
Şimdi durma... Reklamdan sonra devamı var ;)
Altın elektriği iletir. Her kedi ölümcüldür.
Kurşun elektriği iletir. Bütün balıklar ölümcüldür.
Gümüş elektriği iletir. Her kuş ölümcüldür.
... vb... vb.
Bu nedenle, tüm metaller elektriği iletir. Bu nedenle her hayvan ölümlüdür.
Tümdengelimli terimlerde olduğu gibi, terimlerin birbirleriyle dahil edilmelerini sağlayan bir uzam ilişkisi vardır, birinci argümanda öncüllerin önermeleri tikel, ikinci argümanda ise evrenseldir. Bununla birlikte, içerme, her zaman öncüllerden daha kapsamlı veya evrensel olması gereken sonucun değil, daha küçük ölçüde öncüllerin bir parçası olmasından kaynaklanmaktadır.
Daha da önemlisi, mantıkçılar tümdengelimli argümanlarla çalışmayı tercih ederler. Bunun iki temel nedeni vardır: Biri ontolojik niteliktedir, çünkü evrensel terimlerin tözsel değeri sorgulanır (argümanlar tümevarımlar, evrenselin bir dizi kümeye verilen bir addan başka bir şey olmadığını anlayan filozoflar ve ampirik bilim adamları tarafından yaygın olarak kullanılmaktadır. şey). Diğer bir neden de, tümevarımda hiçbir şeyin sonucun öncüllerle ilişkilendirilmesine izin vermemesidir, çünkü bu daha önce verilmemiş bir terimdir. Tümdengelimin avantajı, öncüllerde yer alan tüm terimlerin sonuçta bulunabilecek ilişkiler kurmasıdır. Bununla birlikte, bu sonsuzluğa bir gerilemeye yol açacağından, öncülleri kanıtlanamaz (tümdengelim genellikle matematikçiler tarafından kullanılır). Tümellerin ispatı hakkında bir tartışma olsa bile, terimlerin nasıl ilişkilendirildiği bir ispat sağlar.
Bu nedenle, argüman oluşturmanın iki yolu vardır: tümdengelim veya tümevarım. Her biri soruşturmanın ihtiyaçlarına ve insan aklının ortaya çıkardığı sorunun niteliğine göre uygulanır.
João Francisco P. kabal
Brezilya Okul İşbirlikçisi
Uberlândia Federal Üniversitesi - UFU Felsefe Bölümü'nden mezun oldu
State University of Campinas'ta Felsefe alanında yüksek lisans öğrencisi - UNICAMP
Bu metne bir okulda veya akademik bir çalışmada atıfta bulunmak ister misiniz? Bak:
CABRAL, João Francisco Pereira. "Tümdengelim ve Endüktif Argümanlar"; Brezilya Okulu. Uygun: https://brasilescola.uol.com.br/filosofia/argumentos-dedutivos-indutivos.htm. 29 Haziran 2021'de erişildi.