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