Principia Mathematica’nın Ardından Mantığın 100 Yılı
| 3 Mayıs 2013 Cuma: Ontoloji Günü | Anadolu Üniversitesi, Yunusemre Kampüsü, Edebiyat Fakültesi, Zakine Çelik Öztürk Konferans Salonu / Eskişehir |
|---|---|
| 10:00 | Prof. Dr. Burhan Türkşen (TOBB Ekonomi ve Ticaret Üniversitesi): Bulanık Mantık’ta Tip 1 ve TamTip 2 [Açılış Konuşması] |
| 11:00 | Yrd. Doç. Dr. Ayhan Çitil (29 Mayıs Üniversitesi): Kaplam Belirleyici Yüklemcilik, Sonsuzluk ve Ontoloji |
| 12:00 | Yard. Doç. Dr. Aziz Zambak (Orta Doğu Teknik Üniversitesi): Yapay Zeka ve Mantık: Çerçeve Problemi için Çok-Geçişli Bir Mantık Modeli Önerisi |
| 13:00 | Yemek Arası | 14:00 | Prof. Dr. Zekiye Kutlusoy (Maltepe Üniversitesi): Mantık-Matematik İlişkisi Üzerine |
| 15:00 | Doç. Dr. Samet Bağçe (Orta Doğu Teknik Üniversitesi): Gökten Bir Elma Düşmüş ya da Fenomenlerden Çıkarımlama Metoduna Dair |
| 16:00 | Prof. Dr. Şafak Ural (İstanbul Üniversitesi): Soruların Ontolojik Önkabülleri |
| 17:00 | Zafer Özdemir (İstanbul Kültür Üniversitesi): Shalqvist Teori |
| 4 Mayıs 2013 Cumartesi: Russell Günü | Anadolu Üniversitesi, Yunusemre Kampüsü, Öğrenci Merkezi Salon 2009 / Eskişehir |
| 10:00 | Prof. Dr. Durmuş Günay (Zonguldak Karaelmas Üniversitesi): Düşüncenin Geometrisi Olarak Mantık |
| 11:00 | Doç. Dr. Bülent Gözkân (Mimar Sinan Güzel Sanatlar Üniversitesi): Gottlob Frege: Aritmetiğin Temellerinden Dilin Derin Yapısına |
| 12:00 | Prof. Dr. David Grünberg (Orta Doğu Teknik Üniversitesi): Towards a Convergence Theory of Truth |
| 13:00 | Yemek Arası |
| 14:00 | Doç. Dr. Yücel Yüksel (İstanbul Üniversitesi): Principia Mathematica Üzerine |
| 15:00 | Dr. Özgüç Güven (İstanbul Üniversitesi): Tipler Kuramı ve Russell’da Sayının Temellendirilmesi |
| 16:00 | Doç. Dr. İskender Taşdelen (Anadolu Üniversitesi): Küme-kuramsal Russell Çatışkısı ve Tip Kuramlarının Beklenmeyen Çekiciliği |
| 17:00 | Doç. Dr. Nazlı İnönü (İstanbul Üniversitesi): Russell’ın Tümevarım Hakkında Görüşleri |