The representation of empty names in modal logic
Göndergesiz özel isimlerin modal mantıktaki gösterimi
- Tez No: 429989
- Danışmanlar: YRD. DOÇ. DR. KARANFİL SOYHUN
- Tez Türü: Yüksek Lisans
- Konular: Felsefe, Philosophy
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2016
- Dil: İngilizce
- Üniversite: Boğaziçi Üniversitesi
- Enstitü: Sosyal Bilimler Enstitüsü
- Ana Bilim Dalı: Felsefe Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 41
Özet
Bu tez boyunca, göndergesiz özel isimlerin aslında her zaman, varlığı ikinci dereceden özellik olarak kabul edilen özgün bir göndergeye sahip olduklarını, ve göndergesiz özel isimlerin kullanıldığı önermelerin doğruluk değerlerinin ancak belirli bir dünyaya göre değerlendirilebileceğini savunacağım. Bu savımı modal mantık kullanıp bir S4 modeli kurarak ve farklı önermelere odaklanarak gerçekleştireceğim.
Özet (Çeviri)
In the course of this thesis, I will argue that empty proper names, both fictional and non-fictional, always have assumed fixed referents whose existence is assumed as a second-order property; and that the truth-value of the statements using them can only be determined within a given domain. I shall elaborate on this point by introducing a model in S4 modal logic and providing specific examples.
Benzer Tezler
- Türkçe yazım denetleyen editör
Turkish spelling checker editor
K.MESUT YARIMBIYIKLI
Yüksek Lisans
Türkçe
1992
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiDOÇ. DR. TAKUHİ NADİA ERDOĞAN
- El çizimi diyagramların modifiye destek vektör makineleri ve grid tabanlı su havzası ile tanınması
Recognition of hand drawn diagrams using modified support vector machines and grid based watershed
ORHAN NOORULDEEN
Doktora
Türkçe
2020
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolYıldız Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ OĞUZ ALTUN
- Okunabilir kopyalama algoritmalı DSM sisteminin gerçeklenmesi
Başlık çevirisi yok
ÖZGÜR KORAY ŞAHİNGÖZ
Yüksek Lisans
Türkçe
1998
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiKontrol ve Bilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. DR. TAKUHİ NADİA ERDOĞAN
- Çokdeğişkenliliği yükseltilmiş çarpımlar gösteriliminde yeni bir destek işlevi belirleyiş yöntemi
A new support function determination in enhanced multivariance products representation
SÜHA TUNA
Doktora
Türkçe
2017
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiHesaplamalı Bilimler ve Mühendislik Ana Bilim Dalı
PROF. DR. METİN DEMİRALP
- Tasarımda iğrençlik kavramının üretken çekişmeli ağ algoritması ile değerlendirilmesi
Evaluation of the concept of disgust in design with generative adversarial network algorithm
EFECAN SOYSAL
Yüksek Lisans
Türkçe
2022
Mimarlıkİstanbul Teknik ÜniversitesiBilişim Ana Bilim Dalı
DR. ÖĞR. ÜYESİ ETHEM GÜRER