Boole, düşüncenin kurallarıyla matematik işlemlerin kurallarının benzerliğinden hareket ederek matematik mantığı kurmuştur. Bu yüzden o ,cebirsel mantığın asıl kurucusu olarak kabul edilmektedir. Boole, Aristo'nun kıyas teorisinin formlarını gerçekten sembolik olarak ifade ettiğini doğrulmaktadır.
De Morgan (Dö Morgın, 1806-1871), 1847'de mantığı matematiksel yoldan sembollerle ifade edebilecek bir çalışmayı başlatmıştır. G. Boole (Buul 1815-1864) gibi matematikçiler, mantığın matematikselleştirilmesine çalışırlarken, Frege (Fregi 1848-1925), bugünkü önermeler ve niceleme mantığım kurmuştu.
Önceleri bir felsefe dalıyken daha sonra kendi başına bir ihtisas alanı olmuştur. Matematik ve bilgisayar biliminin de parçası haline gelmiştir. Bir disiplin olarak Aristoteles tarafından kurulmuştur.
Mantığın bir bilim olarak Aristoteles (ö. MÖ 322) tarafından kurulduğu kabul edilir. Fakat daha önce Sofistlerin, “mantık”ı, işlerine geldiği şekilde kullandıkları bilinmektedir. Mantığın bu kullanımı; sofizm, mugalata, safsata gibi kavramların da ilk örnekleri durumundadır.
Matematiksel mantık biçimsel mantığın matematiğe uygulanmasıyla ilgilenen bir matematik dalıdır. Metamatematik, matematiğin temelleri ve kuramsal bilgisayar bilimi alanlarıyla yakınlık gösterir.
İlgili 42 soru bulundu
Mantık, iki büyük bölüme ayrılır: Formel veya genel mantık, metodoloji ve özel mantık.
1815'te dünyaya gelen Boole, 1848 yılında "Mantığın Matematik Analizi" adlı bir çalışma yayınladı. Bu eser tabiri caizse matematikte yeni bir çığır açtı ve Boole da kesin bir üne kavuştu. 1849 yılına gelindiğinde matematik profesörü olan Boole'un 1854 yılında, mantık ve olasılıklar üzerine büyük bir eseri yayınlandı.
Mantık, doğru düşünmenin kurallarıdır. Akıl yürütme, doğru düşünme, yargılama gibi kavramların hepsi mantığın içine girer. Mantığın Grekçe' deki karşılığı 'logos' kelimesidir ve hem akıl hem de söz (kelam) anlamında kullanılır.
Mantığın yapılan tanımlarından da anlaşılacağı üzere mantığın teorik ve pratik olmak üzere iki yönü vardır. Biri, mantıklı düşünme denen düşünme tarzının tespiti- dir. Bu açıdan mantık 'bilim' olarak kabul edilir.
Mantık tarihi, mantığın tarihteki çeşitli kültürler ve geleneklerde ortaya çıktığı biçimlerini karşılaştırmalı olarak inceler.
Aristoteles: Mantığın Babası Büyük İskender'in Hocası
(iii) Birinci Analitikler: “Mantık” olarak isimlendirilen bilimin ortaya çıktığı eserdir. Aristoteles bu eserinde mantıklı düşünmenin en yetkin formunu ortaya koymaya çalışmıştır.
Aristoteles mantığı akıl ilkelerini (özdeşlik, çelişmezlik, üçüncü hâlin olanaksızlığı) temel alan iki değerli (doğru ve yanlış değerleri kabul eden) mantıktır. Aristoteles akıl yürütme yöntemlerinden tümden gelime önem vermiştir. Çünkü kesin sonuç veren geçerli akıl yürütmeler tümden gelimle yapılabilir.
"Matematik" terimini icat eden ve sadece matematik yapmak için matematik çalışmasını başlatan Pisagorculardı. Pisagor teoreminin ilk ispatı, teoremin uzun bir geçmişi olmasına ve irrasyonel sayıların varlığının kanıtı olmasına rağmen Pisagorculara atfedilir.
İki kişi, Tales (M.Ö. 624-547) ve Pisagor ( M.Ö.569-475), Yunan matematiğinin babası olarak kabul edilir.
Hârizmî (Farsça: خوارزمی) ya da tam adıyla Ebû Ca'fer Muhammed bin Mûsâ el-Hârizmî (d. 780, Harezm - ö. 850, Bağdat); matematik, gök bilim, coğrafya ve algoritma alanlarında çalışmış Fars bilim insanı. Hârizmî 780 yılında Harezm bölgesinin Hive şehrinde dünyaya gelmiştir. 850 yılında Bağdat'ta ölmüştür.
Dersin Amacı: Bu dersin amacı öğrencilerin mantığın temel kavramları ile gerek geleneksel mantığın gerek çağdaş simgesel mantığın kurallarını kavramalarını, birinci basamak mantığının işlemleriyle çözümlemelerini yapabilmelerini, günlük dildeki çıkarımları mantık diline çevirebilmelerini sağlamaktır.
“Mantık, doğru düşünmenin nasıl olacağını öğretir”
Mantık bilimi insanın doğru düşünmesini kolaylaştırıyor. Zihni yanlış düşüncelerden korumayı ve doğru düşünce ile yanlış ya da bozuk düşünceyi birbirinden ayırmayı amaçlıyor. Mantık, doğru düşüncenin doğru eylemle sonuçlanmasını hedefliyor.
Matematiksel mantık, bilgisayar bilimleri, felsefe, matematik gibi birçok farklı alanın temel bir bileşenidir. Bu disiplin, doğru sonuçlara ve kesin çıkarımlara ulaşmak için kullanılır. Problem çözme süreçlerinde önemli bir araçtır.
Birincisi: İslam dininin hükümleri, prensipleri insan fıtratına uygun, insan aklının kabul edebileceği şekildedir. Bu tespit doğrudur. İslam'da çok az bir kısmı “taabbudî” olup teslimiyeti gerektiren prensipler dışında, bütün hükümler “makulu'l-mâna” olup akıl ve mantık açısından anlaşılabilir durumdadır.
Zeka, herhangi bir bilgiyi algılama, yorumlama, kaydetme, kullanma ve sonuç çıkarma gibi süreçlerin tümüne verilen isimdir. Mantık ise zekayı “doğru sonuca ulaşmak” üzere kullanma sanatıdır çünkü bir takım kuralları mevcuttur.
Mantık, bilinçli zihnin dili iken duygu, bilinçsiz zihnin dilidir. Duyguların, algılana ve hayal edilen uyaranlar verdiği tepkiler olduğunu biliyoruz. Bu duygular mantığa değil, kişinin kendi kişisel deneyimlerine dayanır. Duygular genellikle mantığımıza ağır basar.
Boole, mantığı yeni bir tarzda ele aldı, basit bir cebir haline getirerek matematikle birleştirdi. Mantıksal sembollerle cebir sembollerinin benzerliğini ortaya koyarak matematiğe “Boole Cebiri”ni kazandırdı.
Mantık disiplininin sistematik kurucusu Aristoteles'in (M.Ö. 384–322) mantıkla ilgili eserleri Organon adı altında toplanmıştır. İlk etapta onların sayısı altı olarak belirlenmiştir. Daha sonra bu sayı arttırılmıştır.
Benzer sorularSıkça sorulan sorular
DuyuruReklam alanı
Popüler SorularSıkça sorulan sorular
© 2009-2024 Usta Yemek Tarifleri