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 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