1 | VI. Mantık Çalıştayı (26-27 Mayıs 2016, Artvin) | ||||||
---|---|---|---|---|---|---|---|
2 | Artvin Çoruh Üniversitesi Şehir Yerleşkesi Nihat Gökyiğit Kongre ve Kültür Merkezi | ||||||
3 | 26 Mayıs 2016 Perşembe | 27 Mayıs 2016 Cuma | |||||
4 | Mavi Salon | Kırmızı Salon | Yeşil Salon | Mavi Salon | Kırmızı Salon | Yeşil Salon | |
5 | 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) | 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 | ||
6 | 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 | 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 |
7 | 11:00 | ARA | ARA | ARA | ARA | ARA | ARA |
8 | 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 | 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 |
9 | 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) | 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 |
10 | 12:30 | ÖĞLE YEMEĞİ | ÖĞLE YEMEĞİ | ÖĞLE YEMEĞİ | ÖĞLE YEMEĞİ | ÖĞLE YEMEĞİ | ÖĞLE YEMEĞİ |
11 | 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 | 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" |
12 | 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 | 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 |
13 | 15:30 | ARA | ARA | ARA | ARA | ARA | ARA |
14 | 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 | Değerlendirme | ||
15 | 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ı |