Geri Dön

Different semantics of modal logic

Modal lojiğin farklı semantikleri

  1. Tez No: 354427
  2. Yazar: ADİL TARIK YILDIRIM
  3. Danışmanlar: PROF. DR. MEHMET TERZİLER
  4. Tez Türü: Yüksek Lisans
  5. Konular: Matematik, Mathematics
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2013
  8. Dil: İngilizce
  9. Üniversite: Yaşar Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Matematik Bölümü
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 63

Özet

Bu tez 3 bölümden oluşmaktadır. Birinci bölümde, bağıntısal veya temel modal lojiğin Kripke semantiği incelenmiş S4 gibi iyi tanınan ve temel lojiğin sağlamlık ve tamlık teoremleri kanıtlanmıştır. İkinci bölümde,topolojik semantik ve bazı lojiklerin tanımlanabilirliği incelenmiştir. İki temel modal operatörümüz 'kutu' ve 'elmas' sırasıyla, topolojik iç ve kapanış olarak yorumlanmaktadır. İyi bilinen McKinsey-Tarski sonucunun S4 ün topolojk semantiğe göre tam olduğu modern bir yaklaşım yoluyla kanıtlanmıştır. Bu semantikle birlikte, bazı topolojik uzaylar tanımlanmıştır. Üçüncü ve son bölümde, diğer tüm modal semantikleri genellediğimiz komşuluk semantiğini ele alıyoruz. Kripke veya Topolojik semantik açısından geçerli bilinen her şey bu semantiğe göre geçerli olmadığı gösterilmiştir. Bu semantiğin genel bir semantik olduğunu gösteren örnekler ve sonuçlar verilmiştir.

Özet (Çeviri)

This thesis consists of three chapters. In the first chapter, relational or Kripke semantics of the basic modal logic is studied. For well-known and basic logics such as S4 the soundness and completeness theorems are proved. In the second chapter, topological semantics and definability of certain logics are analysed. Our two basic modal operators 'box' and 'diamond' are interpreted as the topological interior and closure, respectively. The well-known result of McKinsey-Tarski that S4 is complete with respect to topological semantics is proved via modern approach. With this semantics, certain topological spaces are defined. In the third and last chapter, we deal with the neighborhood semantics that generalizes all the other modal semantics. All that is known valid with respect to Kripke or Topological semantics may not be so under this semantics. We give examples and results showing that this is indeed a general semantics.

Benzer Tezler

  1. Önermesel modal dilinin farklı semantikleri

    Different semantics of the propositional modal language

    GÜLŞAH ÖNER

    Doktora

    Türkçe

    Türkçe

    2012

    MatematikEge Üniversitesi

    Matematik Ana Bilim Dalı

    PROF. DR. MEHMET TERZİLER

  2. İbn Sînâ'da modal mantık-metafizik ilişkisi bağlamında çağdaş özcülük tartışmaları

    Contemporary essentialism debates in the context of modal logic-metaphysics in avicenna

    SAMET BÜYÜKADA

    Doktora

    Türkçe

    Türkçe

    2022

    Felsefeİstanbul Medeniyet Üniversitesi

    Felsefe Ana Bilim Dalı

    DOÇ. DR. MEHMET ÖZTURAN

  3. Alvin Plantinga'nın ontolojik kanıt savunması

    Alvin Plantinga's defence of the ontological argument

    ABDULKADİR TANIŞ

    Yüksek Lisans

    Türkçe

    Türkçe

    2011

    DinAnkara Üniversitesi

    Felsefe ve Din Bilimleri Ana Bilim Dalı

    PROF. DR. MEHMET SAİT REÇBER

  4. Saul Kripke'nin bilimsel özcülüğüne 'Kantçı' bir eleştiri denemesi

    An attempt of a Kantian critique of Saul Kripke's scientific essentialism

    CENGİZ ÇEBİ

    Doktora

    Türkçe

    Türkçe

    2022

    FelsefeBursa Uludağ Üniversitesi

    Felsefe Ana Bilim Dalı

    PROF. DR. OGÜN ÜREK

  5. A problem about 2-dimensional semantics: An analysis of Chalmers' 2-dimensionalism and 2-dimensional argument against materialism

    2-boyutlu semantikler hakkında bir problem: Chalmers'ın 2-boyutluculuğu ve materyalizme karşı 2-boyutlu argümanının bir analizi

    MEHMET TAYLAN CÜYAZ

    Yüksek Lisans

    İngilizce

    İngilizce

    2022

    FelsefeOrta Doğu Teknik Üniversitesi

    Felsefe Ana Bilim Dalı

    PROF. DR. DAVID GRÜNBERG