V. Mantık Çalıştayı Bildiri Kitabı yayımlandı

15-17 Mayıs 2015 tarihlerinde Bursa‘da, Dr. Dursun Murat Çüçen anısına, düzenlenen V. Mantık Çalıştayı‘nda sunulan bildirler Prof. Dr. A. Kadir Çüçen‘in editörlüğünde Sentez Yayıncılık tarafından kitap olarak yayımlandı.

Künye: V. Mantık Çalıştayı Bildiri Kitabı, Ed: A. Kadir Çüçen, Sentez Yayıncılık, Bursa, Aralık 2016, ss. 286.

Babil: http://www.babil.com/v-mantik-calistayi-bildiri-kitabi-kitabi-kolektif
Kitapyurdu: http://www.kitapyurdu.com/kitap/v-mantik-calistayi-bildiri-kitabi/412430.html

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: [email protected] / [email protected]
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 Hotel Atagen Toplantı Salonu (Burgaz/Bulgaristan)
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
13:00 Yemek Arası
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 Hotel Atagen Toplantı Salonu (Burgaz/Bulgaristan)
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ı
13:00 Yemek Arası
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 The Apple Palace Toplantı Salonu
10:00 Prof. Dr. Şafak Ural (İstanbul Üniversitesi): Solipsizm
11:00 Prof. Dr. Kadir Çüçen (Uludağ Üniversitesi): Kıyasların Denetlenmesi için Aritmetik Yöntem Önerisi
12:00 Öğle Yemeği
13:00 Prof. Dr. İbrahim Arslanoğlu (Gazi Üniversitesi): Toplumsal Hayatımızda Ne Kadar Mantıklıyız?
14:00 Öğr. Gör. Dr. Ekrem Ziya Duman (Gazi Üniversitesi): Mantık Öğretimi Üzerine
15:00 IV. Mantık Çalıştayı Organizasyonu
15:30 Mantık Araştırma ve Uygulama Merkezi Çalışmaları
16:00 Mantık Derneği Çalışmaları
16:30 Dilek ve Temenniler
18:00 Akşam Yemeği
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 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

I. Mantık Çalıştayı Bildirisi

Türkiye’de ilk kez bir Mantık Çalıştayı 25-26 Haziran 2012 tarihinde İstanbul Üniversitesi Edebiyat Fakültesi Felsefe Bölümü’nde gerçekleştirildi. Bu iki günlük çalıştayda toplam 8 bildiri tartışıldı.

Mantıkçıları ilk kez bir araya getiren bu çalıştayın ülkemizde bu konuda yapılacak etkinliklere temel teşkil etmesi umulmaktadır.

Yapılan çalıştayın amaçlarından birisi, mantık, matematiksel mantık, yapay zekâ ve dilbilim alanlarındaki araştırmacıların bir araya getirilmesini ve onların bir çatı altında toplanmasını sağlamaktır.

Bu çerçevesinde bir araştırma merkezi ve bir dernek kurulması fikri oybirliği ile benimsenmiştir.

Mantık Araştırmaları Merkezi”nin İstanbul Üniversitesi bünyesinde gerçekleştirilmesi katılımcıların ortak düşüncesipdir. İstanbul Üniversitesi Edebiyat Fakültesi Felsefe Bölümü Mantık Anabilim Dalı’nın mantık konusunda Türkiye’de çalışma yapan ilk ve tek birim olması, kurulacak merkezin İstanbul Üniversitesi bünyesinde olmasının temel nedenini oluşturmaktadır.

Böyle bir merkezin, özellikle yurtdışındaki üniversitelerdeki benzeri merkezler ile resmi ilişkiye girebilme olanağı taşıması son derece önemlidir. Bugüne kadar böyle bir olanağa sahip olunamaması, çok yönlü olumsuz etkileri olan büyük bir eksiklik olarak değerlendirilmiştir. Mantık çalışmaları hem sosyal bilimler hem de bilgisayar bilimleri gibi farklı alanların ortak konusu olup, stratejik bir öneme sahiptir.

Çalıştayda üzerinde fikir birliğine varılan diğer noktalar, “mantık çalışmalarına olan ilginin orta öğrenim düzeyinde başlatılması”, “üniversite düzeyinde başta Matematik, Bilgisayar Bilimleri, Dilbilim vb. Bölümlerinde okuyan öğrencilere konunun öneminin anlatılması” ve ayrıca “toplumun dikkatini mantık’ın önemine çekmek” şeklinde ifade edilmiştir. Bunun için yapılması gereken, bir sivil toplum kuruluşu olarak işlev görecek bir derneğin kurulmasıdır.

İstanbul Üniversitesi bünyesinde stratejik öneme sahip disiplinlerarası çalışmaların yapılabilmesi amacıyla bir Mantık Araştırma Merkezi’nin kurulması, mantık çalışmalarının tanıtımı ve yaygınlaştırılmasını hedef alan bir Derneğin açılması önerileri toplantıya katılan üyeler tarafından oybirliği ile benimsenmiştir.

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

25 Haziran 2012 Pazartesi Adalar Belediyesi Binası / Büyükada
12:30 – 13:00 Açılış Konuşmaları
Prof. Dr. Şafak Ural (İstanbul Üniversitesi Felsefe Bölümü Başkanı)
Dr. Mustafa Farsakoğlu (Adalar Belediyesi Başkanı)
13:00 – 13:45 Prof. Dr. Zekâi Şen (İstanbul Teknik Üniversitesi): Mühendislikte Sözellik, Felsefe ve Mantık
14:00 – 14:45 Doç. Dr. Samet Bağçe (Ortadoğu Teknik Üniversitesi): Bilgi Meselesi: Meta-Epistemolojik Bir Değerlendirme
14:45 – 15:00 Çay Molası
15:00 – 15:45 Yrd. Doç. Dr. A. Ayhan Çitil (İstanbul 29 Mayıs Üniversitesi): Sürey Varsayımı’nın Bir İspatı Verilebilir mi?
16:00 – 16:45 Doç. Dr. Yücel Yüksel (İstanbul Üniversitesi): Türkiye’de Mantık Çalışmalarının Yeri
17:00 – 18:00 Müze Ziyareti
19:00 Akşam Yemeği
26 Haziran 2012 Salı İstanbul Üniversitesi Edebiyat Fakültesi Felsefe Bölümü
12:30 – 13:00 Genel Konuşmalar
13:00 – 13:45 Prof. Dr. Zekiye Kutlusoy (Maltepe Üniversitesi): Sembolik Mantığın Gelişim Süreci İçinde Yaşanan Gelişmeler
14:00 – 14:45 Doç. Dr. İskender Taşdelen (Anadolu Üniversitesi): Bağdaşımcı Bir Biçimsel Tanım Kuramına Doğru
14:45 – 15:00 Çay Molası
15:00 – 15:45 Arş. Gör. Özgüç Güven (İstanbul Üniversitesi): Frege’nin “Düşünce” Anlayışı Üzerine Değerlendirmeler
16:00 – 16:45 Prof. Dr. Şafak Ural (İstanbul Üniversitesi): Solipsist Ontoloji