2023 Cilt 42 Sayı 2

Permanent URI for this collectionhttps://hdl.handle.net/11452/41006

Browse

Browsing by BUU Author "Erayman, İbrahim Oğulcan"

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Thumbnail Image
    Publication
    Dedüktif bir sistem olarak Aristoteles’in kıyası
    (Bursa Uludağ Üniversitesi, 2023-11-14) Erayman, İbrahim Oğulcan; İktisadi ve İdari Bilimler Fakültesi; Siyaset Bilimi ve Kamu Yönetimi Bölümü; 0000-0002-6687-9973
    Aristoteles'in kıyası tarihteki ilk dedüktif sistemdir. Yüzyıllar sonra, Aristoteles'in fikirleri, çalışmalarını geliştirmeye devam eden, onun ulaştığı sonuçlardan ve hatta yöntemlerinden ilham alan mantıkçıların ilgisini hala çekmeye devam etmektedir. Makalede, Aristotelesçi kıyas sisteminin temel unsurlarını ve Łukasiewicz'in bunu modern formel mantığın araçlarına dayalı olarak yeniden inşasını tartışıyoruz. Her iki yazar tarafından da tartışıldığı gibi, dedüktif sisteminin eksiksizliği (completeness) kavramına özel önem atfediyoruz. Bir aksiyomatik çürütme sistemi kullanarak, eksiksizliğin nasıl tanımlanabileceğini ve ispatlanabileceğini ayrıntılı olarak tanımlıyoruz. Son olarak, bu metodolojiyi Łukasiewicz, Lemmon ve Shepherdson tarafından sunulan kıyasın farklı aksiyomlaştırmalarına uyguluyoruz.