Birinci Derece Mantık ve Tamlık
Birinci derece mantık, nesneler ve ilişkiler hakkındaki nicelenmiş ifadelerin biçimsel dilidir ve Gödel'in tamlık teoremi, kanıt sisteminin tüm yorumlamalarda doğru olan önermeleri tam olarak yakaladığını göstermektedir.
Tanım
Birinci derece mantık, önermeler mantığını, nesneler alanı üzerinde nicelik belirteçleri (quantifiers) ile ilişki, fonksiyon ve sabit sembollerle birlikte genişletmektedir; tamlık teoremi ise bir önermenin, varsayılan aksiyomların mantıksal bir sonucu olması durumunda kanıt sisteminde türetilebilir olduğunu belirtmektedir.
Kapsam
Bu konu, birinci derece dillerin sözdizimini, terimlerini, formüllerini ve önermelerini, yapıların ve doyurulabilirliğin anlambilimini, geçerlilik ve mantıksal sonuç kavramlarını, birinci derece mantık için bir çıkarım sistemini ve kanıtlanabilirliği doğruluğa bağlayan doğruluk (soundness) ve tamlık teoremlerini kapsamaktadır.
Temel sorular
- Birinci derece mantığın kesin sözdizimi ve anlambilimi nedir?
- Bir önermenin bir kuramın mantıksal sonucu olması ne anlama gelmektedir?
- Her geçerli önerme neden biçimsel olarak kanıtlanabilirdir?
- Tamlık, kanıt sistemini tüm modeller sınıfına nasıl bağlamaktadır?
Temel kuramlar
- Doğruluk teoremi
- Kanıt sisteminde türetilebilen her önerme, öncüllerin her modelinde doğrudur; bu nedenle çıkarım sistemi asla yanlış sonuçlar kanıtlamaz.
- Gödel tamlık teoremi
- Tersine, bir kuramın tüm modellerinde geçerli olan her önerme ondan türetilebilir; böylece kanıtlanabilirlik ve mantıksal sonuç, birinci derece mantık için çakışmaktadır.
- Henkin yapısı
- Tamlık, varoluşsal ifadeler için tanıklar içeren maksimal tutarlı bir önerme kümesinden doğrudan bir model inşa edilerek kanıtlanmaktadır; bu, modelleri inşa etmek için sentaktik bir yöntem sunmaktadır.
Klinik önem
Birinci derece mantık, matematiksel kuramları biçimselleştirmek için standart bir çerçevedir ve tamlık, tüm modellere ortak olan herhangi bir anlamsal doğruluğun prensipte kanıtlanabileceğini garanti etmektedir; bu durum, otomatik teorem kanıtlamanın ve aksiyomatik sistemlerin temel yeterliliğinin dayanağını oluşturmaktadır.
Tarihçe
Birinci derece mantık, Frege'nin Begriffsschrift'inden ortaya çıkmış ve Hilbert ile Ackermann tarafından ayrı bir sistem olarak izole edilmiştir. Gödel, tamlığı 1929 tarihli doktora tezinde kanıtlamış, Henkin'in 1949'daki yapısı ise bugün standart olan maksimal tutarlı kümeleri kullanarak basitleştirilmiş kanıtı sağlamıştır.
Öne çıkan isimler
- Gottlob Frege
- Kurt Goedel
- Leon Henkin
- Alfred Tarski
İlgili konular
Temel eserler
- enderton2001
- marker2002
- shoenfield1967
Sıkça sorulan sorular
- Tamlık, Gödel'in eksiklik (incompleteness) teoremlerinden nasıl farklıdır?
- Tamlık, mantıksal sonuç hakkındadır: bir kuramın tüm modellerinde doğru olan her önerme kanıtlanabilirdir. Eksiklik ise belirli bir kuram hakkındadır: yeterince güçlü tutarlı bir kuramın, amaçlanan modelinde doğru olan ancak kanıtlayamadığı önermeleri vardır. İkisi farklı kavramlarla ilgilidir ve birbiriyle çelişmemektedir.
- Birinci derece mantık neden standart bir seçimdir?
- Matematiğin çoğunu biçimselleştirebilecek kadar ifade gücüne sahiptir, ancak ikinci derece mantık gibi daha güçlü mantıklar için başarısız olan tamlık ve kompaktlık özelliklerine sahiptir. İfade gücü ile iyi metateorik özellikler arasındaki bu denge, onu varsayılan mantıksal çerçeve yapmaktadır.