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).
A herhangi bir önerme olduğunda CIA ile OB biçimindeki önermelere kiplik önermeleri denir. A biçimindeki önermelere zorunluluk önermeleri, OB biçimindeki önermelere de imkân önermeleri denir. onermeler mantığı denir. Kiplik değişmezleri öbür mantık sistemlerine de katılarak çeşitli kiplik mantıkları oluşturulur.
Önermelerin ikiden fazla değere sahip ola- bileceklerini kabul eden mantık sistemlerine çok değerli mantık denir.
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.
İlgili 41 soru bulundu
Mantık, iki büyük bölüme ayrılır: Formel veya genel mantık, metodoloji ve özel mantık.
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.
Bir bileşik önerme, önermeyi oluşturan önermelerin tüm doğruluk değerleri için daima 0 oluyorsa, bu önermeye çelişki denir.
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.
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.
Bulanık mantık teorisi, Türkçeye 'bulanık mantık' olarak çevrilen 'fuzzy logic' adlı bir yaklaşımı ifade eder. İnsan düşüncesinin belirsiz ve kesin olmayan doğasını temel alarak, matematiksel mantığa dayalı sistemlerin gerçek dünya problemlerine uygulanmasına olanak tanır.
Mantık, kavram, önerme ve akılyürütmeler ile ilgili kurallar, teknikler ve yöntemler öğretisidir; tüm bu kurallar, teknikler ve yöntemler özdeşlik, çelişmezlik ve üçüncü şıkkın imkânsızlığı ilkelerinden hareketle geliştirilmiştir ve çoğu mantıkçı mantığa bu üç ilkeye dayalı bir sistem gözüyle bakmaktadır.
Anasayfa » Felsefe Sözlüğü » Çelişik Nedir, Ne Demektir? Aralarında çelişme bulunanların niteliğine çelişik denir. Çelişik bir mantık terimidir, nitelik ve nicelik bakımından birinin doğruluğu ötekinin yanlışlığını ve birinin yanlışlığı ötekinin doğruluğunu gerektiren önermeleri dile getirir.
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.
Çelişki, bir durumdaki tutarsızlıklardan ortaya çıkmaktadır. Çelişkide bir durumda tutarsızlık vardır. Bir kişinin söylediği sözler birbirini tutmuyor ve arada farklar oluyor ise bu kişinin sözlerinin çeliştiğini gösterir. Ek olarak, çelişki kelimesi birçok alanda da kullanılmaktadır.
Bir bileşik önerme, kendisini meydana getiren her değer için daima doğru olduğunda bu bileşik önerme türü totoloji olarak ifade edilir. Daima yanlış olması halinde bileşik önermeye çelişki denilmektedir.
TENÂKUZ. (ﺗﻨﺎﻗﺾ) i. (Ar. naḳż “bozmak”tan tenāḳuż) Bir sözün diğer bir sözle çelişmesi, çelişki.
Sembolik mantık, klasik mantığın sembolleştirilmiş biçimidir. Düşünmenin “kıyas türü çıkarımlarla sınırlandırılamayacağı” anlayışı – eleştirisi, klasik mantık anlayışını sarsmış, yeni mantık arayışlarına yol açmış ve sembolik mantığın ortaya çıkmasını sağlamıştır.
Veya (∨): İki basit önermenin "veya" ile bağlanmasıyla oluşan önermedir. Bu önermenin doğru olabilmesi için, önermelerden en az bir tanesinin doğru olması yeterdir. Ya Da (∨): İki basit önermenin "ya da" ile bağlanmasıyla oluşan önermedir.
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.
Ç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, 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.
Benzer sorularSıkça sorulan sorular
DuyuruReklam alanı
Popüler SorularSıkça sorulan sorular
© 2009-2024 Usta Yemek Tarifleri