İçeriğe atla

Önermeler mantığı

Önermeler mantığı (ya da sıfırıncı-derece mantık), mantığın önermelerle ilgilenen dalıdır. Birden fazla önermenin mantık bağlaçları kullanılarak bir araya getirilmesiyle oluşturulan yeni önermelerin doğruluğunun belirlenmesi için kullanılır. Önermeler mantığının niceleyiciler, eşitlik ve ait olma ilişkileriyle genişletilmesi birinci-derece mantığın konusudur.

Genel

Doğal dillerde de kullanılan "ve", "veya", "değil", "eğer" gibi bağlaçlar ile önermeler arasında ilişkiler kurulur. Bu ilişkiler kullanılarak yeni önermelerin doğruluğu çıkarsanır.

Önermeler mantığı kapsamında yapılabilecek basit bir çıkarsama örneği şu şekildedir:

Öncül 1: Eğer yağmur yağıyor ise, hava bulutludur.
Öncül 2: Yağmur yağıyor.
Sonuç: Hava bulutlu.

Burada hem öncüller hem de sonuç birer önermedir. Öncüllerin var olduğu kabul edilir ve modus ponens çıkarsama kuralı uygulanarak sonuç elde edilir.

Önermeler mantığı bağlaçlarla ayrılabilenin ötesinde önermelerin yapısıyla ilgilenmez. Doalyısıyla, yukarıdaki örnekte en temel yargılar birer harf ile gösterilerek aşağıdaki gibi yeniden yazılabilir:

Öncül 1:
Öncül 2:
Sonuç:

Aynısı daha kısa bir şekilde de ifade edilebilir:

“yağmur yağıyor” ve “hava bulutlu” olarak anlamlandırıldığında, üstteki sembolik ifadelerin doğal dildeki esas ifadeye birebir karşılık geldiği görülür. Buna ek olarak, üstteki sembolik ifadeler bu biçime uygun diğer önermelerden benzer çıkarımlar yapılmasını da sağlar.

Tarihçe

Önermeler mantığı izleri daha önceki felsefecilerde rastlansa da ilk defa Hrisippos tarafından MÖ 3. yüzyılda düzenli bir biçime sokuldu[1] ve takipçisi olan Stoacılar tarafından genişletildi. Bu mantık önermeler üzerine kurulmuştu. Stoacıların mantığı terimler üzerine kululmuş olan geleneksel tasımcı mantıktan farklıydı. Ancak, daha sonraki çağlarda unutuldu. Aynı sistem 12. yüzyılda Pierre Abélard tarafından yeniden icat edildi.[2]

Kaynakça

  1. ^ Bobzien, Susanne (1 Ocak 2016). Edward N. Zalta (Ed.). The Stanford Encyclopedia of Philosophy. 18 Mart 2019 tarihinde kaynağından arşivlendi. Erişim tarihi: 10 Ocak 2018. 
  2. ^ Marenbon, John (2007). Medieval philosophy: an historical and philosophical introduction. Routledge. s. 137. 

İlgili Araştırma Makaleleri

Tractatus Logico-Philosophicus, Ludwig Wittgenstein'ın hayatı boyunca yayımladığı tek eseridir. Gerçeklik ve dil arasındaki ilişkileri tanımlamak ve bilimin sınırlarını betimlemek amacıyla yazılmıştır. Wittgenstein kitabın notlarını I. Dünya Savaşı'nda askerlik yaparken hazırlamıştır. Ağustos 1918'de, İtalya'da savaş esiriyken tamamlamıştır. Kitap 1921'de yayımlanmış, önsözü Bertrand Russell tarafından yazılmıştır. Daha sonra 1929 yılında Wittgenstein bu eseri Cambridge Üniversitesi'nden doktora derecesi almak için kullanacaktır. Wittgenstein, felsefi hayatının ikinci döneminde bu eseri basit bularak dil oyunlarını temel alan Felsefi Soruşturmalar adlı eseriyle uğraşacaktır. Tractatus'un Wittgenstein'in dünya, gerçeklik, bilim, etik, mantık, din, mistisizm, felsefe, dil ve düşünce alanında yaptığı önermeler ve bu önermeleri açıklamak için kullandığı alt-önermelerden oluşan bir yapısı vardır. G. E. Moore, kitabın adının Baruch Spinoza'nın Tractatus Theologico-Politicus adlı eserine atıfta bulunduğunu söyler.

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. Matematiksel mantığın temel konuları biçimsel sistemlerin ifade gücünün ve biçimsel ispat sistemlerinin tümdengelim gücünün belirlenmesidir.

<span class="mw-page-title-main">Mantık</span> bilginin yapısını inceleyen, doğru ile yanlış arasındaki akıl yürütmenin ayrımını yapan disiplin

Mantık ya da eseme, bilginin yapısını inceleyen, doğru ile yanlış arasındaki akıl yürütmenin ayrımını yapan disiplindir, doğru düşüncenin aletidir. Ö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. Aristoteles'den etkilenen Farabi tarafından iki kısımda kategorize edilmiştir. İbn-i Sina geçicilik ve içerme arasındaki ilişkiyi geliştirmiştir. Çağdaş zamanlarda Frege, Russell ve Wittgenstein önemli katkılar yapmıştır.

Sembolik Mantık' ın anlaşılması için ilk olarak önerme kavramının açıklaması gerekir. Önerme; Bir yargı belirten, doğru veya yanlış olan cümlelere denir. Örneğin; "Ankara, Türkiye'nin güneyindedir." cümlesi bir önermedir ve bu önerme yanlıştır. "1 Ocak, yeni bir yılın başlangıcıdır." önermesi ise doğru bir önermedir. Önermeler mantığında basit önermeler p, q, r, s, t, v, z..... gibi önerme sembolleriyle gösterilir.

<span class="mw-page-title-main">Ockhamlı William</span> İngiliz Fransisken ilahiyatçı (1287-1347)

Ockhamlı William, yaklaşık 1287 ve 1347 yılları arasında yaşamış İngiliz Fransiskan rahibi ve skolastik filozof.

De Morgan yasası, türetilmiş çözümleme kuralları tümel evetleme ve tikel evetleme biçiminde olmayan önermeleri dönüştürmek için kullanılan teorem. 19. yüzyıl matematikçisi Augustus De Morgan tarafından formüle edilmiştir.

Mantıkta, matematik ve psikoloji gibi alanlarda ancak ve ancak, iki ifade arasındaki iki koşullu mantık bağlacını belirtir. Birbirine bağlı olan iki ifadenin birinin doğruluğu için ötekinin doğru olması gerekmektedir, dolayısıyla ya iki ifade de doğru ya da her ikisi de yanlıştır. Yazılışta, ancak ve ancak'a alternatif olarak Q P için gerekli ve yeterlidir, Q ise P ifadeleri de kullanılır.

<span class="mw-page-title-main">Argüman</span> ikna etmeye çalışmak ya da sabitleştirmek veya gerçek bir sonuca varmak

Mantık ve felsefede argüman; sonuç ve onun doğruluk derecesini belirlemeye yönelik verilen öncüllerden kurulmuş bir dizi ifadedir. Bir argüman ifadelerden oluşur. Bunlardan biri sonuç, diğerleri sonucun doğruluğuna dayanak olarak verilen öncüllerdir. Herhangi bir düşünceyle karşılaştığımızda, o düşüncenin içerdiği esas iddiayı ileten ifade argümanın sonucu; onu destekleyen diğer tüm ifadeler argümanın öncülleridir. Bir argümanın doğal dildeki mantıksal formu, sembolik biçimsel dilde temsil edilebilir ve doğal dilden bağımsız şekilde, matematik ve bilgisayar bilimlerinde biçimsel olarak tanımlanmış argümanlar yapılabilir.

Doğruluk tablosu, mantıkta, özellikle Boole cebiri ve Boole fonksiyonları ile ilişkili olarak, fonksiyon değişkenlerinin bütün kombinasyonları için mantıksal ifadenin değerini hesaplamakta kullanılan bir matematiksel tablo.

Mantıkta ve matematikte, bir doğruluk değeri ya da mantıksal değer, bir önermenin doğruluk ile ilişkisini belirleyen bir değerdir.

<span class="mw-page-title-main">Mantık bağlacı</span>

Mantıkta, bir bağlaç, iki ya da daha fazla cümleyi, söz dizimi kurallarına uygun olarak bağlayan bir sembol ya da sözcüktür. Bağlaç ile oluşturulan bileşik cümle sadece esas cümlelere bağımlıdır.

Olgu, var olduğu, doğru olduğu veya gerçekleştiği kabul edilen şeydir. Yalan olmayan, doğru olan şey, hakikat olarak da tanımlanabilir. Bir gerçeğin geçerliliğini sınamanın en yaygın yolu doğrulanabilirlik testidir; yani, deney yoluyla gösterilip gösterilemeyeceğidir. Gerçekleri kontrol etmek için genellikle standart referans kaynakları kullanılır. Bilimsel gerçek, dikkatli gözlemler veya ölçümler yoluyla doğrulanmış olgulardır.

<span class="mw-page-title-main">Yanlışlanabilirlik</span> Bir önermenin yanlışlığının kanıtlanabilme ihtimali

Bir önerme, hipotez ya da teori; özünde yanlış olduğunun kanıtlanabilme ihtimali varsa; yanlışlanabilirdir. Bir yargıyı geçersiz kılacak herhangi bir gözlem yapmak ya da argüman sunmak mümkünse bu yargı yanlışlanabilirdir. Bu anlamda, yanlışlamak ile geçersiz kılmak eş anlamlıdır. Bilimsel bir önerme yanlışlanabilme özelliği barındırır. Yanlışlanabilirlik ilkesi, bilim ile bilim dışı olanı, bilgi ile inancı ayırmak için kullanılır.

Mantıkta, bir cümle sonlu sayıda terimden oluşan bir ifadedir. En yaygın şekliyle ayrılma ile bağlanmış bir cümlenin içindeki terimlerden herhangi biri doğru olduğunda cümle de doğrudur. Çok yaygın olmayan birleşme ile bağlanmış bir cümlenin doğru olması için içerdiği terimlerin hepsi doğru olmalıdır. Kullanılan bağlaca göre, bir cümle sonlu terimlerin ayrışımı ya da sonlu terimlerin birleşimi olarak tanımlanır. Mantık cümleleri, terimleri için, genellikle aşağıdaki şekilde ifade edilir:

<span class="mw-page-title-main">Tümleme (mantık)</span>

Mantıkta, tümleme ya da değilleme verilen bir önermesini " değil" önermesine dönüştüren bir işlemdir. Bu yeni önerme doğru olduğunda yanlış, yanlış olduğunda doğru değerine sahip olur. Dolayısıyla, tümleme birli bir mantık bağlacıdır.

Kaziye veya hüküm, klasik mantıkta, iki veya daha fazla terimle yapılmış, doğru ya da yanlış olma ihtimali taşıyan bir hüküm bildiren, akıl yürütmelerde başlı başına birer görev îfâ eden önerme cümlesi.

Sonculun kabulü ya da gerek ve yeterliğin birbirine karıştırılması, doğru bir koşullu ifadeyi alıp, doğru olmayacağı olarak karşıtını çıkarsama yanılgısıdır.

<span class="mw-page-title-main">Geometrik ortalama teoremi</span> Dik üçgenler hakkında bir teorem

Dik üçgen yükseklik teoremi veya geometrik ortalama teoremi, bir dik üçgendeki hipotenüs üzerindeki yükseklik uzunluğu ile hipotenüs üzerinde oluşturduğu iki doğru parçası arasındaki ilişkiyi tanımlayan temel geometrinin bir sonucudur. İki doğru parçasının geometrik ortalamasının yüksekliğe eşit olduğunu belirtir.

Felsefi çalışmaların gelişmesi sürecinde on dokuzuncu yüzyılda sembolik mantık ile yürüyen mantık, yirminci yüzyılda matematiksel mantıkla devam ederken, geleneksel olarak basit mantığın ötesine geçiyorsa, mantığın bir parçası olarak değil de felsefi mantık veya mantık felsefesi olarak değerlendirildi.

Mantık ve felsefe alanlarında biçimsel safsata, formel safsata ya da Latincedeki kullanımıyla non-sequitur, formel mantık kurallarının yanlış kullanımı ya da ihlali sonucu oluşturulmuş mantık hatalarına verilen addır.