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: Belirtilmemiş.
- 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ı: 66
Ö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
- 600 MWe gücünde PWR tipi bir nükleer reaktör kalp öndizayn analizi
Başlık çevirisi yok
FARZAD REZAEİ BASHARAT
- 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
- 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
- Helisel dişli çarkların autocad ortamında ADS ile interaktif tasarımı
Computer aided interactiv design for helical gears in autocad with ADS
ŞERAFETTİN ENGİN