Üç değerli mantık doğru, yanlış ve belirsiz olmak üzere üç değere sahiptir. Mantıksal değişmezlerle kurulan bileşik önermeleri doğruluk tablosu (çizelgesi) ile denetlenir. Doğruluk tablosunda doğruluk değerleri mn formülüyle bulunur. Değer sayısı "m" ve önerme sayısı "n" olarak gösterilir.
Doğru ve yanlıştan başka belirsiz diye bir doğruluk değeri öngören mantık sistemine üç değerli mantık denir. ve ancak) gibi eklemleri ile p, q, r gibi basit önerme sembolleri üç değerli önermeler mantığında da aynen geçerlidir.
Mantık, iki büyük bölüme ayrılır: Formel veya genel mantık, metodoloji ve özel mantık.
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.
İlgili 31 soru bulundu
Ontoloji, varlık felsefesi ya da varlıkbilim, temel sorunu varlık olan felsefi disiplin. Varlık ya da varoluş ile bunların temel kategorilerinin araştırılmasıdır. "Varlık" ve "varolan" ayrımını; "varlık vardır" ve "varlık yoktur" fikirlerini tartışır.
Mantık ilmine yapmış olduğu katkıları ve düzenlemeleri sayesinde Fârâbî Orta Çağ İslam aydınları arasında Muallim-i Sânî ya da Hace-i Sâni (İkinci Üstat / Magister secundus) olarak bilinir.
Çelişmezlik ilkesi, Özdeşlik ilkesi, Üçüncü halin imkansızlığı ilkesi, Yeterli Neden İlkesi konu anlatımı...
Mantığın İlkeleri (Özdeşlik-Çelişmezlik-Üçüncü Halin İmkansızlığı-Yeterli Neden)
Mantık özdeşlik, çelişmezlik, üçüncü şıkkın imkânsızlığı gibi üç temel ilkeye dayalı bir sitemdir. Bu ilkelere mantık tarihi boyunca “akıl ilkeleri”, “zihin ilkeleri” varlık ilkeleri”, “düşünme yasaları”, “bilginin normatif yasaları” gibi adlar verilmiştir.
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.
Terim olarak mantık, bilinenden yola çıkarak bilinmeyenin bilgisine ulaşmaya vasıta olan bir bilim ya da kurallarına uyulduğu takdirde zihni hataya düşmekten koruyan bir disiplindir. Mantık, doğru düşünmeyi yanlış düşünmeden ayıran kurallar sistemidir. Mantık, formel bir bilimdir. Yani biçimseldir.
Basit olup da tümel olan birçok lafız vardır. Bunlar içerisinde beş tanesi kavramları ve varlığı sınıflandırmada ayrı bir yere sahiptir. İşte bunlara beş tümel denir. Beş tümel bütün mantıkçıların kabul ettiği üzere cins, tür (nev'), ayrım (faslı), hassa ve ilinti (araz) olarak sıralanır.
Herhangi bir önermede yüklem sadece tek bir “ad”a yüklenirse birli yüklem, “iki ad”a yüklenirse ikili yüklem, “üç ad”a yüklenirse üçlü yüklem, “n sayıda ad”a yüklenirse n'li yüklem adı verilir.
Buna göre üçlü önermeler, yüklemi isim olmakla birlikte üç parçadan/unsurdan meydana gelen önermelerdir.
Kiplik mantığı (modal mantık), önermelerin doğru veya yanlış olmasının kipleriyle (modlarıyla, halleriyle) ilgilenir. Bunların en başatları ve iyi tanınanları, olanaklılık (imkan), zorunluluk ve olanaksızlıktır (imkansızlıktır).
Mantık düşünce ile ilgilidir. Düşünmek, akıl yürütmektir (Öner, 2011, s. 12). Düşünce olarak mantık bilim olarak mantıktan daha öncel ve bilim olarak mantığın inşa edildiği temeldir. Mantığın kaynağı problemi çerçevesinde bütün bir felsefe tarihinde sorunsallaştırılan fenomen düşünce olarak mantığın kaynağı olmuştur.
Bir bileşik önerme, önermeyi oluşturan önermelerin tüm doğruluk değerleri için daima 0 oluyorsa, bu önermeye çelişki denir.
Mantığın bittiği yerde, halay başlar!.. Halay varsa mantığa ihtiyaç yok!!
Mantık ilkeleri veya zihnin prensipleri olarak da adlandırılan akıl ilkeleri, mantığın kavram, önerme, akıl yürütme konularının işlevselliği için olmazsa olmaz, vazgeçilmez koşullardandır. Kavram oluşturmak, oluşturulan kavramlar arasında ilişkiler kurabilmek, yani esasında düşünmek, akıl ilkeleri ile olanaklıdır.
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.
Formel mantık, mantığın geleneksel ya da biçimsel özelliğidir. Geleneksel mantık olarak da adlandırılır. Bir düşüncenin içerik bakımından doğru olup olmadığını değil, biçimsel ya da formel yönden doğru olup olmadığını dikkate alır, bunu önemser. Bu yanıyla da düşünce biçimlerinin çözümlemesini içerir denilebilir.
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.
Fârâbî varlık kavramını zorunlu, mümkün ve imkânsız olmak üzere üç kavram içerisinde ele almaktadır.
Bu nedenle İslam felsefesinin kurucusu sayılmış,aynı zamanda kendisine Aristoteles'ten sonra gelen ikinci öğretmen anlamında “hace-i sani” unvanı verilmiştir.
Benzer sorularSıkça sorulan sorular
DuyuruReklam alanı
Popüler SorularSıkça sorulan sorular
© 2009-2024 Usta Yemek Tarifleri