Sembolik mantık üzerine ilk sistemli çalışma Leibniz tarafından yapılmıştır.
Sembolik mantık, klâsik mantığın genişletilip geliştirilmesi sonucunda ortaya çıkmıştır. Klasik mantıkta sadece belli türden çıkarımlar (kıyaslar) incelenirken, sembolik mantıkta her türlü çıkarım konu edinilmektedir.
Mantığın temelleri Aristoteles'in “Organon” adını verdiği bu eseri ile atılmıştır. Matematiksel mantık, biçimsel mantığın matematiğe uygulamalarını araştıran matematiğin bir alt alanıdır. Konu olarak matematiğin temelleriyle ve teorik bilgisayar bilimiyle yakın bağlantılar taşır.
Sembolik mantığın (kısaca mantığın) kullanıldığı alanlardan birisi, matematik, geometri gibi formel bilimlerdir. Mantık, bu bilim lerin dayandığı temellerin araştımlmasmda, yapı ve işleyişinin ortaya konulmasında kullanılan bir araçdı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.
İlgili 26 soru bulundu
Fakat, Aristoteles'in İlk Felsefenin (ontolojinin, Prote Philosophianın) asıl konusu olarak belirlediği şey bunlardan yalnızca “asıl anlamda var olan”lardır.
Aristoteles, Platon ve Sokrates gibi aristokrasiyi savunur. Ancak onun savunduğu aristokrasi soya değil bilgiye dayanır. Aristoteles'e göre, devleti en bilgili ve yetkin kişiler yönetmelidir.
Sembolik mantığın kapsamı içinde; iki değerli mantık (önermeler mantığı, niceleme mantığı), çok değerli mantık (üç değerli mantık, bulanık mantık) gibi mantık sistemleri yer alır. Önerme doğruluk değeri olan bir cümledir. Doğruluk değeri olan bir cümle ya doğru ya yanlış olur.
Sembolik mantık ise, ilk olarak, yine 19. yüzyılın ikinci yarısında Ahmet Cevdet Paşa'nın oğlu Ali Sedat (1857-1900) tarafından yazılan ve 1885'te yayımlanan kitabın yanı sıra İsmail Hakkı İzmirli'nin kitaplarında tanıtılır.
Sembolik Mantığın Doğuşu ve Gelişimi
Ancak bu çalışmalar eksik ve dağınık kalmıştır. De Morgan (Dö Morgın, 1806-1871), 1847'de mantığı matematiksel yoldan sembollerle ifade edebilecek bir çalışmayı başlatmıştır.
Bir disiplin olarak Aristoteles tarafından kurulmuştur. Aristoteles'den etkilenen Farabi tarafından iki kısımda kategorize edilmiştir. (düşünce ve sonuç) İbn-i Sina geçicilik ve içerme arasındaki ilişkiyi geliştirmiştir.
Mantık, iki büyük bölüme ayrılır: Formel veya genel mantık, metodoloji ve özel mantık.
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.
Sembolik mantık, önermeler cebirini konu edinir. Yani önermelerdeki bağlaçları ve önermelerin doğruluk değerlerini inceler. Matematiksel mantık ise, sembolik mantığı ve ayrıca yüklemler mantığını, önermeler mantığını ve bulanık mantığı içerir.
Organon (Yunanca: Ὄργανον, anlamı: alet, araç, organ) Aristoteles'in 6 ciltlik klasik mantık üzerine olan kitap serisi.
Aristoteles kurmuş olduğu mantıkta önermeleri iki değerli olarak tanımlamış fakat bazı hallerde bir önermenin üçüncü bir değer ala bileceğine işaret etmiştir.
(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.
Genellikle mantığın üç ana ilkesinden sözedilir. Bunlar, özdeşlik, çeliş- mezlik ve üçüncü şıkkın imkânsızlığı ilkeleridir. Leibniz bir de yeter sebep ilkesini ekliyor. Hatta ona göre, başlıca iki ilke vardır: Birisi çelişmezlik, di- ğeri yeter-sebep ilkesidir.
p ile q önermelerinin “ve” bağlacı ile bağlanmasıyla elde edilen bileşik önermeye p ve q önermesi denir ve p ∧ q biçiminde gösterilir. p ∧ q önermesi, önermelerin her ikisi de doğru iken doğru, diğer durumlarda yanlıştır.
Tümel önermeler için önerme “her, bütün, tüm” ifadelerini içeriyorsa bunlar tümel olumlu, “hiçbir” ifadesini içeriyorsa tümel olumsuz olur.
Bir bileşik önerme, önermeyi oluşturan önermelerin tüm doğruluk değerleri için daima 0 oluyorsa, bu önermeye çelişki denir.
Aşkın idealizm doktrininde Kant, uzay ve zamanın tüm deneyimi yapılandıran yalnızca "sezgi biçimleri" olduğunu ve deneyim nesnelerinin yalnızca "fenomen" olduğunu savunmuştur. Kendi içlerinde oldukları şekliyle "şeylerin" doğası bizim için bilinemez iddiasını ortaya atmıştır.
Farabi, Sudur kuramına inanan bir düşünürdür. Ona göre Yüce Allah ilkin ilk aklı sudur yolu ile var etmiştir, ilk akıl, zatı itibariyle mümkin, başka varlığa nisbetle vâciptir. İlk akıldan ikinci akıl ve en y üksek felek meydana gelir. Daha sonra akıllar, felekler sudur yoluyla devam eder.
Thales maddenin ilk öğesi (arkhe, töz) olarak suyu ileri sürmüştür. İlk öğe olduğundan dolayı toprağın suyun üzerinde bulunduğunu, dünyanın bir tepsi gibi olduğunu ve su tarafından taşındığını söylemiştir.
Benzer sorularSıkça sorulan sorular
DuyuruReklam alanı
Popüler SorularSıkça sorulan sorular
© 2009-2024 Usta Yemek Tarifleri