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

VI. Mantık Çalıştayı, Prof. Dr. İsmail Tunalı anısına, 26-27 Mayıs 2016 tarihleri arasında, Artvin Çoruh Üniversitesi Rektörlüğü, Artvin Çoruh Üniversitesi Fen-Edebiyat Fakültesi Felsefe Bölümü, Mantık Uygulama ve Araştırma Derneği, İstanbul Üniversitesi Edebiyat Fakültesi Felsefe Bölümü Mantık Anabilim Dalı ile İstanbul Üniversitesi Mantık Uygulama ve Araştırma Merkezi tarafından, Artvin Çoruh Üniversitesi Şehir Yerleşkesi Nihat Gökyiğit Kongre ve Kültür Merkezi‘nde düzenleniyor.

Etkinlik Programı: https://goo.gl/wnJI1E
Bildiri Özetleri: https://goo.gl/HWJm2A

Artvin Çoruh Üniversitesi Şehir Yerleşkesi Nihat Gökyiğit Kongre ve Kültür Merkezi
26 Mayıs 2016 Perşembe Mavi Salon Kırmızı Salon Yeşil Salon
10:00 Açılış Konuşmaları:
Doç. Dr. A. Ayhan Çitil (Mantık Uygulama ve Araştırma Derneği İkinci Başkanı)
Doç. Dr. Yücel Yüksel (İstanbul Üniversitesi Mantık Uygulama ve Araştırma Merkezi Müdürü)
Prof. Dr. Abdulkuddüs Bingöl (Artvin Çoruh Üniversitesi Rektör Yardımcısı)
Prof. Dr. Mehmet Duman (Artvin Çoruh Üniversitesi Rektörü)
Mehmet Kocatepe (Artvin Belediye Başkanı)
Kemal Cirit (Artvin Valisi)
11:00 Ara Ara Ara
10:30 Doç. Dr. Ayhan Çitil (İstanbul 29 Mayıs Üniversitesi): Ontolojik Bir Bakış Açısından “P vs NP” Problemi Prof. Dr. A. Kadir Çüçen (Uludağ Üniversitesi): Ödev Mantığı Doç. Dr. Aytekin Özel (Uludağ Üniversitesi): İbn Sina’nın Kıyas Tanımının Analizi
11:30 Doç. Dr. Aziz F. Zambak (Orta Doğu Teknik Üniversitesi): Otomatik Teorem Kanıtlama Teknikleri Çerçevesinde Eksik Öncül Bulma Programı Gülden Alaz Meriç (Orta Doğu Teknik Ünivesitesi): Ödev Mantığının Kipsel Mantıkla Olan Gerçel Bağıntısının İspatı Arş. Gör. Samet Büyükada (İstanbul Medeniyet Üniversitesi): İbn Sina’da Modal Mantık
12:00 Yrd. Doç. Dr. Svitlana Nesterova (Artvin Çoruh Üniversitesi): Dilsel Metaforların Yol Açtığı Mantıksal Paradokslar Dilek Satıoğlu (Orta Doğu Teknik Üniversitesi): Süreler Mantığının Formel Temelleri ve Süreç Metafiziğine Etkileri Yrd. Doç. Dr. Hacı Kaya (Artvin Çoruh Üniversitesi): İbn Sina’da Bilimsel Kanıtlama Teorisi (Burhan Teorisi)
12:30 Öğle Yemeği Öğle Yemeği Öğle Yemeği
14:30 Doç. Dr. Yücel Yüksel (İstanbul Üniversitesi): Bağıntı Sezen Altuğ (Orta Doğu Teknik Üniversitesi): Çıkarım Yöntemlerinde Soru-Biçimli Öncüllerin Kullanımı Arş. Gör. Fatma Karaismail (İstanbul Üniversitesi): Kıyasın Dördüncü Şekli Var mı?: İslam Mantık Literatürü Bağlamında Bir Tartışma
15:00 Doç. Dr. M. Nazlı İnönü (İstanbul Üniversitesi): Pierce’te Bağıntı Kavramı Arş. Gör. Oğuz Akçelik (Orta Doğu Teknik Üniversitesi): Formel Ontoloji ve Betimleyici Mantıklar Beyhan Şener (Maltepe Üniversitesi): Matematik Eğitimi Bağlamında Matematiksel Nesnenin Varlıkssal Niteliği Üzerine
15:30 Ara Ara Ara
16:00 Yrd. Doç. Dr. Özgüç Güven (İstanbul Üniversitesi): Brouwer’in Sezgiciliği Öğr. Gör. Gülümser Durhan (Muş Alparslan Üniversitesi): Mantık-Gerçeklik İlişkisi Bağlamında Mantık İlkelerinin Kaynağı Meselesi Arş. Gör. Fatih Kök (İstanbul Üniversitesi): Eukleides Geometrisinin Epistemolojik Temelleri
16:30 Arş. Gör. Dr. Vedat Kamer (İstanbul Üniversitesi): Feshedilebilir Akılyürütme Tuncay Turna (İstanbul Üniversitesi): F. De Saussure’da Gösterge ve Gösteren-Gösterilen İlişkisi Arş. Gör. Mehmet Arslan (On Dokuz Mayıs Üniversitesi): Kant’çı Geometri Anlayışının Öklid Dışı Geometriler Işığında Yeniden Ele Alınması
Artvin Çoruh Üniversitesi Şehir Yerleşkesi Nihat Gökyiğit Kongre ve Kültür Merkezi
27 Mayıs 2016 Cuma Mavi Salon Kırmızı Salon Yeşil Salon
10:00 Prof. Dr. Taşkıner Ketenci (Mersin Üniversitesi): Saf Aklın Eleştirisi’nde Mantığın Yeri Prof. Dr. Cafer Sadık Yaren (On Dokuz Mayıs Üniversitesi): İnformel Mantıkta Toulmin Modeli Kanıtlama: Özgün mü Kıyasın Tersine Çevrilmiş Hali mi? Prof. Dr. Zekiye Kutlusoy (Maltepe Üniversitesi): Dil Mantık İlişkisi: Dilin Mantığı, Mantığın Dili
10:30 Prof. Dr. H. Bülent Gözkân (Mimar Sinan Güzel Sanatlar Üniversitesi): Frege’den Wittgenstein’a Mantıksal Uzay Yrd. Doç. Dr. Ahmet Cüneyt Gültekin (Ankara Üniversitesi): Eleştirel Olarak Düşünmek Ne Kadar Zor Olabilir? Doç. Dr. Samet Bağçe (Orta Doğu Teknik Üniversitesi): Analiz Metodu ve Menon’daki Birinci Geometri Problemi
11:00 Ara Ara Ara
11:30 Arş. Gör. Berk Polat (Boğaziçi Üniversitesi): Mantıkçılık ve Gödel’in Eksiklik Teoremleri Arş. Gör. Volkan Duran (On Dokuz Mayıs Üniversitesi): Mantıksal Muhakeme Becerileri, Düşünce Deneyleri ve Yaratıcılık Prof. Dr. Şafak Ural (Mantık Uygulama ve Araştırma Derneği): Nesne Kavramının Solipsist Açıdan İrdelenmesi
12:00 Arş. Gör. Serdal Tümkaya (Ortadoğu Teknik Üniversitesi): Bilim Felsefesinde Mantığın Yeri: Quine’ın Epistemolojisi Işığında Arş. Gör. Kenan Evren Yaşar (Yalova Üniversitesi): Perelman, Hukuksal Uslamlama ve Ceza Hukukunda Kastin Ispat Edilmesi Problemi Arş. Gör. Yasin Karaman (Ankara Üniversitesi): Erken Platon Diyalogları ve Sofistik Tüketme Yöntemi
12:30 Öğle Yemeği Öğle Yemeği Öğle Yemeği
14:30 Arş. Gör. İbrahim Halil Çetres (İstanbul Üniversitesi): Semantik ve Sentaks Arasında: Saul A. Kripke Prof. Dr. Mustafa Bozbuğa (İstanbul Üniversitesi): Tıbbi Tanıda Geriçıkarım Kullanımı Yrd. Doç. Dr. Caner Çiçekdağı (Artvin Çoruh Üniversitesi) & Yrd. Doç. Dr. Eray Yağanak (Mersin Ünviersitesi): Aristoteles Mantığında “Belirsiz Adlar”
15:00 Prof. Dr. Nezih Hekim (İstanbul Kemerburgaz Üniversitesi): Öğrenmenin Nörobiyolojisi Doç. Dr. Ali Kurt (Sağlık Bilimleri Üniversitesi): Erzurum Bölge Eğitim ve Araştırma Hastanesi Hekimlerinin Mantık Bilimine İlişkin Bilgi Düzeyleri Üzerine Anket Çalışması Aysun Gür (Uludağ Üniversitesi): Aristoteles Geleneğine Bağlı Bilim Anlayışının Modern Bilim Anlayışına Geçiş Sürecinde Uğradığı Dönüşümün Mantıksal Zemini
15:30 Ara Ara Ara
16:00 Değerlendirme

Düzenleyen Kurumlar:
Artvin Çoruh Üniversitesi Rektörlüğü
Artvin Çoruh Üniversitesi Fen-Edebiyat Fakültesi Felsefe Bölümü
Mantık Uygulama ve Araştırma Derneği
İstanbul Üniversitesi Edebiyat Fakültesi Felsefe Bölümü Mantık Anabilim Dalı
İstanbul Üniversitesi Mantık Uygulama ve Araştırma Merkezi

Bir Cevap Yazın