mantık

(Yun. logike (tekhne)) I. a. Doğru düşünme sanatı ve bilimi, b. Doğru düşünmenin yolu ve yöntemi, c. Mantıksal düşünme yeteneği. II. En geniş anlamıyle: Düçüncenin ve düşüncenin varlık biçimlerinin, öğelerinin, biçimlerinin, türlerinin, olanaklarının, yasalarının ve düşünce bağlamlarının bilimi. Mantığın temel biçimleri: 1. Geleneksel biçimsel (formel) mantık: Düşünmenin içerik bakımından doğruluğunu değil, biçimsel doğruluğunu göz önünde bulundurur düşünce biçimlerinin bir çözümlenmesidir (Aristoteles, "logike" sözcüğünü bu anlamda kullanmaz, mantık karşılığı "analitik" der) verilmiş önermelerden başka önermelerin çıkarılmasının kurallarını saptar. Öğeler öğretisi ve yöntem öğretisi olarak ikiye ayrılır öğeler öğretisi: kavramlar, yargılar, çıkarımlar ve mantığın temel ilkelerini yöntem öğretisi: kanıtlama yollarını, yöntemleri ve bilimlerin genel kuruluş ilkelerini araştırır bilimlerin ilerlemesi ve gelişmesiyle kapsamı ve önemi artmıştır, giderek mantığın yanında ortaya çıkan bir bilim öğretisi olarak oluşmuştur bu yeni bilim öğretisi Bacon ve Descartes'tan bu yana, yeni bir şey öğretmeyen tasımın karşısına konmuştur.
2. Ruhbilimsel mantık (19. yüzyıl): Düşünmeyi ruhbilimsel açıdan (bilinç içeriklerinden kalkarak) kavramaya çalışır.
3. Transsendental mantık (Kant ve Yeni Kantçılık): Düşünmenin salt biçimini inceleyen biçimsel mantıktan ayrı olarak bilginin mantıksal koşullarını göstermeye çalışır.
4. Varlıkbilimsel (ontolojik) mantık: a. Genel olarak: Düşünme biçimlerini varlık biçimleriyle eşit kılar. b. Hegel'de doğa ve tinin temelinde bulunan öz-biçimleri ve öz-bağlamları öğretisi ancak bu mantıksal dizge değişmez bir töz olarak değil, tersine logos'un -> eytişimsel bir biçimde ileriye doğru giden bir gelişmesi olarak kendini gösterir (eytişimsel mantık). S- Dil mantığı : a. İlkin Aristoteles'te, sonra Stoa'da, -> adcılıkta ve yeniden -> görüngübilimde değişik biçimlerde anlam çözümlemeleriyle ve giderek (ruhbilimciliğe karşı olarak) salt mantık biçiminde (Bolzano, Brentano, Meinong, Husserl), ayrıca modem deneycilerde ve analitik felsefede karşımıza çıkar (Carnap, Wittgenstein) b. Yorumlayıcı (Hermeneutik) mantık: mantıksal biçimleri ve bağlantıları kendi başına bir şey olarak değil de, konuşma ve düşünme biçimleri olarak ele alır ve bu biçimleri sözün (konuşmanın) canlı durumu içinde, deyişlerin somut yorumlanması yoluyla kavramaya çalışır (H. Lipps).
6. Matematiksel mantık (simgesel mantık, lojistik, modern mantık): Kavramları sözcüklerle değil, imlerle göstererek işlem yapan mantık. İlkin Leibniz'de karşımıza çıkar (logica mathematica), dizgesel temellendirilişi: 19. yüzyılın ikinci yarısında Boole, Schröder ve Frege ile geliştirilmesi: Russell ve Whitehead, ayrıca Carnap ve H. Scholz ile. Mantığı matematiksel yöntemle kesin, güvenilir ve salt olarak temellendirmeye çalışır, dilin çok anlamlılığından kaçınmak için, doğal dil yerine tek anlamlı ve mantıksal hesaplara elverişli yapma bir imler-simgeler dili koyar.
7. İki değerli mantık: Aristoteles'e dayanan klasik mantık iki değerlidir iki değer tanır. Bu değerler günlük dilde dendiği gibi doğru ve yanlış değil de, doğru ve doğru olmayandır. (Ör. A doğrudur -A doğru değildir biri doğru ise öteki zorunlu olarak yanlıştır, ikisi dışında başka bir olanak yoktur.) 8- Çok değerli mantık: İki değerden daha çoğunu, çoğunlukla da üç değer tanır: doğru, yanlış, olanaksız (P. Février) doğru, yanlış ve belirsiz (Reichenbach).

Önermelerin tutarlılığı ile çıkarımların geçerliliğini belirleyen kuralları konu edinen bilim. || Bu kurallar mantıksal değişmezlerin içeriğine (olağan yorumuna), mantıksal olmayan değişmezlerin ise yalnızca biçimine (dizimsel türlerine) dayanır. Krş.. önermesel mantık, yüksek basamak mantığı, birinci basamak mantığı, temel mantık, eklemler mantığı, yüklemler mantığı, niceleme mantığı, betim mantığı, bileştiriciler mantığı, felsefe mantığı, yöneticiler mantığı, bilgisel mantık, sanısal mantık, ödev mantığı, süreler mantığı, kipler mantığı, yeğlemeler mantığı, eylemsel mantık, kararlar mantığı, önermesel olmayan mantık, sorular mantığı, buyruklar mantığı, çok değerli mantık, sezgici mantık, sözeden mantık, biçimsel mantık, geleneksel mantık, çağdaş mantık, matematiksel mantık, simgesel mantık, tümdengelimli mantık, tümevarımlı mantık, mantık dizgesi, mantıksal dizge, mantık kuralı, mantıksal im, mantıksal değişmez, mantıksal çıkarım kuralı, mantıksal deyim, mantıksal ilksav, mantıksal sonuç, mantıkça doğru önerme, mantıkça kapalı önermeler kümesi, mantıksal çatışkı.

1. Gerçeği aramaya yönelen zihin işlemlerinden hangilerinin doğru, hangilerinin yanlış yola çıktığını açıklayan ilkeleri yöntemli olarak inceleyen bilim.
2. Çıkarım ve kanıt gösterme bilimi.
3. Gereklik, erek ya da yargı ile iş, araç ya da kanıt arasında

(Alm. Logik, f; Fr. logique, f; İng. logic) Mantık kurallarını cebirsel bir yapı üzerinde inceleyen matematik dalı; eşanlam: usbilim.

Dilsel deyişlerin ya da önermelerin tutarlılığı, çıkarımların geçerliğine ilişkin ilke ve kuralları inceleyen bilgi dalı.

Doğru düşünme yasa ve biçimlerini inceleyen bilim.