Geri Dön

An Analysis in the logic underlying commonsense reasoning

Sağduyulu usavurum'un içerdiği mantık'ta bir çözümleme girişimi

  1. Tez No: 27035
  2. Yazar: MUSTAFA M. DAĞLI
  3. Danışmanlar: PROF. DR. GRÜNBERG TEO
  4. Tez Türü: Yüksek Lisans
  5. Konular: Felsefe, Philosophy
  6. Anahtar Kelimeler: Usavurum, Mantık, Bilim Felsefesi, Koşullu Önermeler, Kuzgun Paradoksu, Sağduyu, Tekdüze Olmama, Reasoning, Logic, Philosophy of Science, Conditionals, Raven Paradox, Common Sense, Nonmono tonicity
  7. Yıl: 1993
  8. Dil: İngilizce
  9. Üniversite: Orta Doğu Teknik Üniversitesi
  10. Enstitü: Sosyal Bilimler Enstitüsü
  11. Ana Bilim Dalı: Belirtilmemiş.
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 92

Özet

oz SA?DUYULU USAVURUM'UN İÇERDİ?İ MANTIK* TA BİR ÇÖZÜMLEME GİRİŞİMİ DA?LI, Mustafa M. Yüksek Lisans Tezi, Felsefe-Mantık-Bilim Tarihi Anabilim Dalı Tez Yöneticisi: Prof. Dr. Teo GRÜNBERG Şubat, 1993, 83 sayfa. İnsan aklı, düşüncesi, sağduyusu, ve bunların gerek tirip kullandığı mantık sistemleri, tekdüze (monoton) kalıp lar içinde yeterince ifade edilememektedirler. Tekdüze olmayan kavramların gereksinilmesi, genel amaçlı çıkarım yöntemlerinin, modellenirken, kimi zaman çok üst dereceler den karmaşa içermeleri nedeniyle, sadeleştirilmek istenme lerinden dolayıdır. Bu tezde, önce, diğer bazı eğilimlerle birlikte,“tekdüze olmama' yi dile getirmeyi amaçlayan kimi ana eği limler belirlenmeğe çalışıldı. Sonra, tekdüze olmayan bir usavurum yönteminin Bilim Felsefesi ' nin bir problemine, ”Kuzgun Paradoksu 'na uygulanması denendi. Sonra da bir - vi -miktar, belirtilen ana eğilimlerin kolay uygulanabilirli ği, ve sağduyuyu dile getirme yeterlikleri araştırılmak istendi. Bu işlemleri yaparken, bazen varılmış olan bilgi durumunu sergileyen bir tablo çizilmeğe, kısmen de bütünsel olmaya çalışıldı.

Özet (Çeviri)

ABSTRACT AN ANALYSIS IN THE LOGIC UNDERLYING COMMONSENSE REASONING DA?LI, Mustafa M. M.S. in Philosophy - Logic - History of Science Supervisor: Prof. Dr. Teo GRÜNBERG February, 1993, 83 pages. Since there cannot be sufficiently formulated both human- type and common- sense reasonings in monotonic circum stances, we need further and nonmonotonic concepts in order to understand the logic underlying commonsense reasoning, because, when modelling general purpose types of reasoning we try to simplify them somehow, since sometimes they contain very high degrees of complexities. In this thesis, first an attempt is made to express some main trends for formulating nonmonotonic i ty together with some other trends. Then there is an endeavour to apply a nonmonotonic reasoning technique to a problem of Philosophy of Science, to resolve 'the Raven Paradox'. Finally a search IVas to the practicabilities of these trends is undertaken, and further as to whether sufficiency holds for representing common sense. During the task, sometimes the approach is to try to exhibit a picture for a state of the art, partly the attempt is to become holistic.

Benzer Tezler

  1. Tez No

    66398

    İmalat sistemlerinin tasarlanması ve öncelik kurallarının belirlenmesinde yapay sinir ağlarının kullanılması

    Başlık çevirisi yok

    TARIK ÇAKAR

    Doktora

    Türkçe

    Türkçe

    1997

    Mühendislik Bilimleriİstanbul Teknik Üniversitesi

    İşletme Mühendisliği Ana Bilim Dalı

    PROF. DR. AYHAN TORAMAN

  2. Tez No

    126652

    Trabzon kentsel dokusunda morfolojik analiz

    Morphological analysis of the built environment in Trabzon

    PELİN DURSUN

    Doktora

    Türkçe

    Türkçe

    2002

    Mimarlıkİstanbul Teknik Üniversitesi

    Mimarlık Ana Bilim Dalı

    PROF. DR. GÜLSÜN SAĞLAMER

  3. Tez No

    139726

    Bilgisayar oyunlarında mimarinin kullanımı

    Usage of architecture in computer games

    GÜVEN ÇATAK

    Yüksek Lisans

    Türkçe

    Türkçe

    2003

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolYıldız Teknik Üniversitesi

    Mimarlık Ana Bilim Dalı

    PROF. DR. EMRE AYSU

  4. Tez No

    143253

    Proof of the theorem on concept lattices in Isabelle / HOL

    Kavram örgüleri hakkında temel teoremin Isabelle / HOL'da ispatı

    BARIŞ SERTKAYA

    Yüksek Lisans

    İngilizce

    İngilizce

    2003

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    YRD. DOÇ. HALİT OĞUZTÜZÜN

    YRD. DOÇ. ANDREAS TİEFENBACH

  5. Tez No

    905434

    Sistemli mimari tasarım sürecinde üretken bir yapay yardımcı önerisi

    Proposal for a productive artificial aid in the systematic architectural design process

    BETÜL ŞEN

    Yüksek Lisans

    Türkçe

    Türkçe

    2024

    Mimarlıkİstanbul Teknik Üniversitesi

    Bilişim Ana Bilim Dalı

    PROF. DR. YÜKSEL DEMİR

Geri Dön