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

VI. Mantık Çalıştayı’na Katılım Çağrısı

VI. Mantık Çalıştayı, 26-28 Mayıs 2016 tarihlerinde Artvin Çoruh Üniversitesi‘nde yapılacaktır.

Bu çalıştaya bildiriyle veya dinleyici olarak katılmak isteyenlerin aşağıdaki linkte yer alan formu doldurmaları gerekmektedir:

VI. Mantık Çalıştayı Katılım Formu: https://goo.gl/ffTmk5

Çalıştay Konuları şunlardır:

  • Mantık tarihi
  • Geleneksel mantık
  • Günümüz mantığı
  • İnformel mantık
  • Solipsist mantık
  • Puslu mantık
  • Dil ve mantık
  • Bilim ve mantık
  • Mantık ve matematik felsefesi

Bildiriyle katılmak isteyenler, 1 Nisan 2016 tarihine kadar bildiri başlığını ve 300-400 karakterlik bir özet yollamaları gerekmektedir.

Not: Bildiri sunanlara Artvin Çoruh Üniversitesi Rektörlüğü ücretsiz kalacak yer temin edecektir. Bu olanak Dinleyici olarak katılacaklar için de temin edilmeye çalışılacaktır.

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

V. Mantık Çalıştayı, Dursun Murat Çüçen anısına, 15-16 Mayıs 2015 tarihleri arasında, Mantık Uygulama ve Araştırma Derneği, Uludağ Üniversitesi Felsefe Bölümü, İstanbul Üniversitesi Felsefe Bölümü ile İstanbul Üniversitesi Mantık Uygulama ve Araştırma Merkezi tarafından, Bursa Ördekli Kültür Merkezi‘nde düzenleniyor.

15 Mayıs 2015 Cuma Salon A Salon B
09:30 – 10:00 Açılış Konuşmaları
Prof. Dr. Şafak Ural
Prof. Dr. Kadir Çüçen
 
10:00 – 12:00 Solipsist Matematik
Prof. Dr. Şafak Ural

Klasik Bir Mantık Metninin “İçindekiler” Kısmı Nasıl Oluşturulur?
Yrd. Doç. Dr. Mehmet Özturan

Endülüs’te Mantık
Prof. Dr. Ahmet Kayacı

Meşrutiyet Dönemi Osmanlıda Bir Mantık Sorunu Olarak İlimlerin Tasnifi
Doç. Dr. İrfan Görkaş

İbn Sina’da Şartlı Kıyaslar
Arş. Gör. Samet Büyükada

14:00 – 16:00 İndirgeyici Çizelgenin İkilisi Üzerine Bir Yorum
Prof. Dr. Kadir Çüçen

Klasik-Dışı Mantıklarda Türetim Kuralları
Prof. Dr. Çiğdem Gencer & İlayda Ateş

Church-Turing Hipotezi’ndeki İfadesel Tamlık ve Hipotezin Alternatifleri
Dr. Ahmet Çevik

Aristoteles’in Ecthesis (Ektez) Yöntemi
Doç. Dr. Aytekin Özel

Yükleme Mantığı ve Olay-Temelli Anlambilim Yaklaşımları
Arş. Gör. Murat Özgen & Özgün Koşaner

Aristoteles’in Siyah/Beyaz Dünyası
Caner Çiçekdağı

16:30 – 18:00 Graham Priest, Gerçek Çelişkiler ve Ahlak Felsefesi
Doç. Dr. A. Ayhan Çitil

Sonsuz Gerileme Uslamlamaları Üzerine
Doç. Dr. İskender Taşdelen

Wittgenstein’da Dil, Dünya ve Mantık
Prof. Dr. Veli Urhan

Edgar Allan Poe, Arthur Conan Doyle ve Agatha Christie’nin Bazı Polisiye Hikâye ve Romanlardaki Akılyürütmeler Üzerine
Yrd. Doç. Dr. Fikret Osman

16 Mayıs 2015 Cumartesi Salon A Salon B
10:00 – 12:00 Mantık Felsefesinde Semantik Tartışmalar
Prof. Dr. Zekiye Kutlusoy

Apaçık Olmak Ne Demek?
Yrd. Doç. Dr. Özgüç Güven

Tutarlılık-üstü (Paraconsistent) Mantık Nedir?
Arş. Gör. Dr. Vedat Kamer

Dildeki Çokanlamlılık ve Belirsizlik Hep Yanıltıcı mıdır?
Prof. Dr. İbrahim Emiroğlu

Ortaçağ Azerbeycan Filozoflarının Mantıkla İlgili Eserleri
Doç. Dr. Faiq Elekberov

Frege’nin Begriffsschrift’i: Mantıksal ve Felsefi Konular
Öğr. Gör. Mustafa Yıldırım

14:00 – 16:00 Mantık Dersleri Açısından “Dildeki Belirsizlik” Konusunun Öğretimi: Dereceli Soru Örnekleri
Yrd. Doç. Dr. Ekrem Ziya Duman

Erken Yaşta Çocuklarda Bilimsel Süreç Becerilerinin El Çırpma Oyunlarıyla Öğretiminin Mantığı Geliştirmeye Etkisi
Seval Orak

Öğretmen Adaylarının Özdeşlik, Doğru, Gerçeklik ve Çelişki Kavramlarına İlişkin Kavram Yanılgıları
Dilek Başerer

Hegel Mantığında Olumsuzlamanın Aşılması
Yrd. Doç. Dr. Ufuk Bircan & Yrd. Doç. Dr. Banu Alan Sümer

Tarih, Tarihçi ve Yeni Dünya Düzeni: Saçaklılık Perspektifinde Bir Yol Arama
Yrd. Doç. Dr. Leyla Aksu Kılıç

Atasözleri Halk Mantığının Aynasıdır
Dr. Aytan Mammadova

16:30 – 18:00 Değerlendirme ve Kapanış  

Çalıştay Programı: PDF

Düzenleyen Kurumlar:
Mantık Uygulama ve Araştırma Derneği
Uludağ Üniversitesi Felsefe Bölümü
İstanbul Üniversitesi Felsefe Bölümü
İstanbul Üniversitesi Mantık Uygulama ve Araştırma Merkezi

Destekleyen Kurumlar:
Bursa Büyükşehir Belediyesi
BUSKİ
Sentez Yayıncılık
Türk Felsefe Derneği
Uludağ Felsefe Derneği

V. Mantık Çalıştayı’na Katılım Çağrısı

V. Mantık Çalıştay‘ı 15-17 Mayıs 2015 tarihinde Uludağ Üniversitesi, Fen-Edebiyat Fakültesi, Felsefe Bölümü’nce Bursa Şehir Merkezi’nde bulunan Ördekli Kültür Merkezi’nde yapılacaktır.

Mantık Uygulama ve Araştırma Derneği tarafından Dursun Murat Çüçen Anısına düzenlenen bu çalıştaya bildiriyle veya dinleyici olarak katılmak isteyenlerin aşağıdaki adreste yer alan formu doldurmaları gerekmektedir:

V. Mantık Çalıştayı Katılım Formu: http://goo.gl/Y08xtO

Çalıştay Konuları şunlardır:

  • Mantık tarihi
  • Geleneksel mantık
  • Günümüz mantığı
  • İnformel mantık
  • Solipsist mantık
  • Puslu mantık
  • Dil ve mantık
  • Bilim ve mantık
  • Mantık felsefesi

Not: Katılımcıların yol ve kalacak yer masrafları olanak sağlandığı taktirde desteklenecektir.

Bildiriyle katılmak isteyenler, 1 Nisan 2015 tarihine kadar bildiri başlığını ve 300-400 karakterlik bir özet yollamaları gerekmektedir.

Başvurular için:

Katılım Formu: http://goo.gl/Y08xtO
E-posta: mantikcalistayi@gmail.com / kadir@uludag.edu.tr
Telefon: (0224) 294 18 26
Faks: (0224) 294 28 45

Destekleyen kurumlar:

  • BUSKİ
  • İstanbul Üniversitesi Felsefe Bölümü Mantık Anabilim Dalı
  • İstanbul Üniversitesi Mantık Uygulama ve Araştırma Merkezi
  • Türk Felsefe Derneği
  • Uludağ Felsefe Derneği

Uluslararası IV. Mantık Çalıştayı Etkinlik Programı

10486334_10152267061377684_6458733309855441905_o

19 Haziran 2014 Perşembe

  • [10:00] Prof. Dr. Şafak Ural (İstanbul Üniversitesi): Ural Mekanları ve Özdeşlik
  • [11:00] Prof. Dr. Kadir Çüçen (Uludağ Üniversitesi): İndirgeyici Çizelge ile Çözümleyici Çizelgenin Karşılaştırılması
  • [12:00] Prof. Dr. Sevinç Gülseçen & Yard. Doç. Dr. Hulusi Gülseçen (İstanbul Üniversitesi)İnsan-Makina Etkileşiminin Disiplinlerarası ve Çok-disiplinli Ruhu
  • [14:00] Prof. Dr. Bülent Gözkan (Mimar Sinan Güzel Sanatlar Üniversitesi)Kant’ın Transandantal Mantığı Bugün Bize Ne Söylüyor
  • [15:00] Doç. Dr. Yücel Yüksel (İstanbul Üniversitesi)Karma Yöntem

20 Haziran 2014 Cuma

  • [10:00] Doç. Dr. Nazlı İnönü (İstanbul Üniversitesi): Charles Sanders Peirce’ün Mantık Anlayışı
  • [11:00] Yard. Doç. Dr. Özgüç Güven (İstanbul Üniversitesi): Peirce’de Sayının Temellendirilmesi
  • [12:00] Öğr. Gör. Mustafa Yıldırım (İnönü Üniversitesi)Frege’nin Begriffsschrift’teki Mantık Notasyonu ve Sembolik Mantıkla Karşılaştırılması
  • [14:00] Arş. Gör. Mehmet Arslan (19 Mayıs Üniversitesi): Aritmetiğin Temelleri Bağlamında Bir Kant, Frege Karşılaştırması
  • [15:00] Ali Ekber Kaya: Gödel Teoremleri ve Felsefi Yansımaları

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

28 Şubat 2014 – Cuma / Amasya Gezisi ve Ziyaretler

1 Mart 2014 – Cumartesi

  • Prof. Dr. Şafak Ural – Solipsizm
  • Prof. Dr. Kadir Çüçen – Kıyasların Denetlenmesi için Aritmetik Yöntem Önerisi
  • Prof. Dr. İbrahim Arslanoğlu – Toplumsal Hayatımızda Ne Kadar Mantıklıyız?
  • Öğr. Gör. Dr. Ekrem Ziya Duman – Mantık Öğretimi Üzerine
  • IV. Mantık Çalıştayı Organizasyonu
  • Mantık Araştırma ve Uygulama Merkezi Çalışmaları
  • Mantık Derneği
  • Dilek ve Temenniler

2 Mart 2014 – Pazar / Taşova Gezisi

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 Bulanık Mantık’ta Tip 1 ve TamTip 2 (Açılış Konuşması)
Prof. Dr. Burhan Türkşen / TOBB Ekonomi ve Ticaret Üniversitesi
11:00 Kaplam Belirleyici Yüklemcilik, Sonsuzluk ve Ontoloji
Yard. Doç. Dr. Ayhan Çitil / 29 Mayıs Üniversitesi
12:00 Yapay Zeka ve Mantık: Çerçeve Problemi için Çok-Geçişli Bir Mantık Modeli Önerisi
Yard. Doç. Dr. Aziz Zambak / Ortadoğu Teknik Üniversitesi
14:00 Mantık-Matematik İlişkisi Üzerine
Prof. Dr. Zekiye Kutlusoy / Maltepe Üniversitesi
15:00 Gökten Bir Elma Düşmüş ya da Fenomenlerden Çıkarımlama Metoduna Dair
Doç. Dr. Samet Bağçe / Ortadoğu Teknik Üniversitesi
16:00 Soruların Ontolojik Önkabülleri
Prof. Dr. Şafak Ural / İstanbul Üniversitesi
17:00 Shalqvist Teori
Uzm. Zafer Özdemir / İstanbul Kültür Üniversitesi

4 Mayıs 2013 Cumartesi – Russell Günü
Anadolu Üniversitesi, Yunusemre Kampüsü, Öğrenci Merkezi Salon 2009 / Eskişehir

10:00 Düşüncenin Geometrisi Olarak Mantık
Prof. Dr. Durmuş Günay / Zonguldak Karaelmas Üniversitesi
11:00 Gottlob Frege: Aritmetiğin Temellerinden Dilin Derin Yapısına
Doç. Dr. Bülent Gözkân / Mimar Sinan Güzel Sanatlar Üniversitesi
12:00 Towards a Convergence Theory of Truth
Prof. Dr. David Grünberg / Ortadoğu Teknik Üniversitesi
14:00 Principia Mathematica Üzerine
Doç. Dr. Yücel Yüksel / İstanbul Üniversitesi
15:00 Tipler Kuramı ve Russell’da Sayının Temellendirilmesi
Dr. Özgüç Güven / İstanbul Üniversitesi
16:00 Küme-kuramsal Russell Çatışkısı ve Tip Kuramlarının Beklenmeyen Çekiciliği
Doç. Dr. İskender Taşdelen / Anadolu Üniversitesi
17:00 Russell’ın Tümevarım Hakkında Görüşleri
Doç. Dr. Nazlı İnönü / İstanbul Üniversitesi