Logic, logicism, and intuitions in mathematics
Matematikte mantık, mantıkçılık ve sezgiler
- Tez No: 105103
- Danışmanlar: PROF. DR. TED GRÜNBERG, YRD. DOÇ. DR. DAVİD GRÜNBERG
- Tez Türü: Yüksek Lisans
- Konular: Felsefe, Philosophy
- Anahtar Kelimeler: Mantık, mantıkçılık, konu-yansızlığı, sezgi, Frege, yüksek-derece mantık iv, Felsefe, Matematik, Logic, logicism, topic-neutrality, intuition, Frege, higher-order logic. in, Philosophy, Mathematics, Intuition
- Yıl: 2001
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Sosyal Bilimler Enstitüsü
- Ana Bilim Dalı: Felsefe Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Ö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.
Özet (Çeviri)
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.
Benzer Tezler
- Necmeddin Ali Bin Ömer El-Katibi El-Kazvini`nin hayatı ve mantıktaki yeri
Başlık çevirisi yok
HÜSEYİN ÇALDAK
Yüksek Lisans
Türkçe
1998
FelsefeAtatürk ÜniversitesiFelsefe Ana Bilim Dalı
PROF. DR. ABDULKUDDÜS BİNGÖL
- Logic SSI ve MSI devrelerinin bilgisayarla bulanık (fuzzy) benzetimi
Fuzzy simulation of SSI and MSI logic circuits with computer
ÖKKEŞ ÇİRÇİR
Yüksek Lisans
Türkçe
1997
Elektrik ve Elektronik MühendisliğiDumlupınar ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
PROF. DR. HAMDİ ATMACA
- İkili karar diyagramları yardımıyla lojik devre tasarımı
Logic design with binary decision diagrams
UTKU ÖZCAN
Yüksek Lisans
Türkçe
2001
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiPROF. DR. AHMET DERVİŞOĞLU
- Programmable logic controller-based modernization of a plate normalizing furnace
Başlık çevirisi yok
N.SERDAR TUNABOYLU
Yüksek Lisans
İngilizce
1990
Elektrik ve Elektronik MühendisliğiOrta Doğu Teknik ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
DOÇ. DR. MUAMMER ERMİŞ
- The Logic of plan modifications: Ankara-1984-1988
Başlık çevirisi yok
LEVENT ÖZDEŞ
Yüksek Lisans
İngilizce
1990
Şehircilik ve Bölge PlanlamaOrta Doğu Teknik ÜniversitesiŞehir Planlama Ana Bilim Dalı
PROF. DR. GÖNÜL TANKUT