Modal mantıkta sıkı içerme kavramı
Strict implication notion in modal logic
- Tez No: 375898
- Danışmanlar: DOÇ. DR. YÜCEL YÜKSEL
- Tez Türü: Yüksek Lisans
- Konular: Felsefe, Philosophy
- Anahtar Kelimeler: Sembolik Mantık, Modalite, İçerme, Sıkı İçerme Sistemleri, Modal Mantık Uygulamaları, Mantık, Modal mantık, Modalite teorisi, Symbolic Logic, Modality, Implication, Systems of Strict Implication, Application of Modal Logic, Logic, Modal logic, Modality theory
- Yıl: 2014
- Dil: Türkçe
- Üniversite: İstanbul Üniversitesi
- Enstitü: Sosyal Bilimler Enstitüsü
- Ana Bilim Dalı: Mantık Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
19. yüzyıl itibariyle sembolik mantık alanının bir alt disiplini olarak sınıflandırılmaya başlanan modal mantık, günümüzde farklı uygulama alanlarına sahip olmasına ve birçok mantıkçı tarafından çalışılmasına rağmen ülkemizde yeterince tanınmamaktadır. Bu tez çalışmasında, sembolik mantığın temel eklemlerinden birisi olan“içerme”nin doğruluk değerlerinin nasıl belirlenmesi gerektiğine ilişkin felsefi ve mantıksal tartışmalar, bu tartışmalara yeni bir boyut katan“modalite”kavramı ile modal mantık alanına ait“sıkı içerme sistemleri”incelenmeye çalışılmıştır. Hedefimiz,“İçerme”ve“modalite”kavramlarının felsefe ve mantık tarihindeki serüvenini, bu serüvende önemli bir gelişme olarak kayda geçen sıkı içerme sistemleri ile onlara yöneltilen eleştirilerin, bilhassa bilimsel faaliyetler açısından önemini ortaya koymak olmuştur.
Özet (Çeviri)
Although modal logic has many different application areas nowadays, and there are lots of logicians working on modal logic which started as a sub-discipline of symbolic logic in the 19th century, it is not sufficiently known in our country. In this thesis, we investigated philosophical and logical discussions on how to determine the truth value of implication, which is one of the foundational connectives of symbolic logic. We also investigate and the concepts of“modality”and“systems of strict implication”, which add new dimensions to this discussion. Our target is to put forward the development of the concepts of“implication”and“modality”in the history of philosophy and logic. In this development we also considered strict implication systems and the criticisms to them which are recorded as important progress, in scientific activity.
Benzer Tezler
- A model for supplier selection under environmental considerations
Çevresel değerlendirmeler altında tedarikçi seçimi için bir model
AHMET SELÇUK YALÇIN
Yüksek Lisans
İngilizce
2017
Endüstri ve Endüstri MühendisliğiMarmara ÜniversitesiEndüstri Mühendisliği Ana Bilim Dalı
DOÇ. DR. HÜSEYİN SELÇUK KILIÇ
- Bir cam fabrikasındaki enerji tüketiminin bilgisayar destekli simülasyonu ve optimizasyonu
Computer aided optimization and simulation of energy consumption of a glass factory
BARBAROS BATUR
Doktora
Türkçe
2002
Makine MühendisliğiYıldız Teknik ÜniversitesiMakine Mühendisliği Ana Bilim Dalı
PROF. DR. ERALP ÖZİL
- Modele de determination de prix de vente effectif flou
Bulanık etkin satış fiyatı belirleme modeli
FARUK ERTUĞ
Yüksek Lisans
Fransızca
2000
Endüstri ve Endüstri MühendisliğiGalatasaray ÜniversitesiEndüstri Mühendisliği Ana Bilim Dalı
PROF. DR. ETHEM TOLGA
- Sistemlerin Bulanık modellenmesi ve koşut dağıtılmış kontrolü
Fuzzy modelling and parallel distributed compensation of systems
ENGİN YEŞİL
Yüksek Lisans
Türkçe
2000
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiDOÇ.DR. MÜJDE GÜZELKAYA
- Kalkınma teorilerine eleştirel bir bakış ve Azerbaycan örneği
Critising approach to development theories and Azerbaijan example
MAKSUT HASANOV