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

ABSTRACT LOGIC, LOGICISM, AND INTUITIONS IN MATHEMATICS Karakadılar, Besim M. S., Department of Philosophy Supervisor: Prof. Dr. Teo Griinberg Co-Supervisor: Asst. Prof. Dr. David Griinberg June 2001, 56 pages In this work I study the main tenets of the logicist philosophy of mathematics. I deal, basically, with two problems: (1) To what extend can one dispense with intuition in mathematics? (2) What is the appropriate logic for the purposes of logicism? By means of my considerations I try to determine the pros and cons of logicism. My standpoint favors the logicist line of thought. Keywords: Logic, logicism, topic-neutrality, intuition, Frege, higher-order logic. in

56