A study on the problem of logical constants and the problem's solution criteria
Mantıksal değişmezler sorunu ve bu sorunun çözüm önerileri üzerine bir çalışma
- Tez No: 227649
- Danışmanlar: PROF. DR. TEO GRÜNBERG
- Tez Türü: Yüksek Lisans
- Konular: Felsefe, Philosophy
- Anahtar Kelimeler: Mantık, Logic
- Yıl: 2008
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Sosyal Bilimler Enstitüsü
- Ana Bilim Dalı: Felsefe Bölümü
- Bilim Dalı: Felsefe Ana Bilim Dalı
- Sayfa Sayısı: Belirtilmemiş.
Özet
Bu tezdeki amacım mantıksal değişmezler sorununu, mantıksal doğru ve mantıksal içerme kapsamında ele almaktır. Bunu yaparken de odak noktamı şu sorular oluşturmaktadır: Öncelikle, mantıksal değişmezler nelerdir, mantıksal doğru, mantıksal içerme ve mantıksal değişmezler arasında ne tür bir ilişki bulunmaktadır? İkinci olarak da, mantıksal değişmezler sorununun çözüm önerileri nelerdir ve bu tür önerilerle ne derece bir çözüm sağlanabilir?Tezimde, incelenmiş sistemlerin tümünün belli bir ölçüde tatmin edici olsa da, bu sistemlerin hiçbirinin bütünüyle kabul edilemeyeceği sonucuna vardım.
Özet (Çeviri)
In this thesis I study the problem of logical constants with respect to logical truth and logical consequence. In order to do that, I focused on the following two questions. First, what is a logical constant and what kind of relation there is between a logical truth, logical consequence and logical constant? Second, what are the solutions to the problem and to what extent these criteria can solve it?The main argument of my thesis is to determine that all of the examined systems are satisfactory to considerable level still none of these is completely acceptable.
Benzer Tezler
- Presizyonlu elektro magnetik kenar ölçmelerinde atmosferik model araştırması
Study on the investigation of the atmospheric effects on electro magnetic distance measurements in a geodetic network
MEHMET GÖKALP ALANKO
- Yanal burkulma etkisindeki I kesitli kirişlerde ideal desteklerin belirlenmesi ve yapay sinir ağları yaklaşımı
Determination of ideal bracings of I beams subjected to lateral buckling and artificial neural networks approach
SELAHATTİN ALBAYRAK
Doktora
Türkçe
2011
İnşaat MühendisliğiKaradeniz Teknik Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
PROF. DR. ÜMİT UZMAN
- Bilgisayar programlamada sorgulama optimizasyonu teknikleri
Query optimization in database systems
ÇİĞDEM KAPTANOĞLU
Yüksek Lisans
Türkçe
1992
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiDOÇ. DR. MİTHAT UYSAL
- Matematiksel mantık ile programlama
Programming with mathematical logic
YEŞİM GÖĞÜN
Yüksek Lisans
Türkçe
2002
MatematikHacettepe ÜniversitesiMatematik Ana Bilim Dalı
PROF. DR. L. MİCHAEL BROWN