Logic, logicism, and intuitions in mathematics


Tezin Türü: Yüksek Lisans

Tezin Yürütüldüğü Kurum: Orta Doğu Teknik Üniversitesi, Fen Edebiyat Fakültesi, Felsefe Bölümü, Türkiye

Tezin Onay Tarihi: 2001

Tezin Dili: İngilizce

Öğrenci: BESİM KARAKADILAR

Danışman: DAVİD GRÜNBERG

Özet:

oz MATEMATİKTE MANTIK, MANTIKÇILIK VE SEZGİLER Karakadılar, Besim Yüksek Lisans, Felsefe Bölümü Tez Yöneticisi: Prof. Dr. Teo Grünberg Ortak Tez Yöneticisi: Y. Doç. Dr. David Grünberg Haziran 2001, 56 sayfa Bu çalışmada, mantıkçı matematik felsefesinin ana hatlarını gözden geçiriyorum. Başlıca iki sorunla ilgileniyorum: (1) Matematikte sezgiden ne ölçüde vazgeçilebilir? (2) Mantıkçı görüşün amaçlarına uygun olan mantık sistemi hangisidir? İncelemelerim aracılığıyla mantıkçılık görüşünün güçlü ve zayıf yanlarını belirlemeye çalışıyorum. Temel duruşum mantıkçı çizgiyi destekliyor. Anahtar sözcükler: Mantık, mantıkçılık, konu-yansızlığı, sezgi, Frege, yüksek-derece mantık iv