II. Mantık Çalıştayı Etkinlik Programı

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

Bir Cevap Yazın