Yazar: Vedat Kamer

VII. Mantık Çalıştayı Katılım Çağrısı

VII. Mantık Çalıştayı, 29 Haziran 2017-1 Temmuz 2017 tarihleri arasında Ondokuz Mayıs Üniversitesi Fen Edebiyat Fakültesi Felsefe Bölümü‘nün evsahipliğinde gerçekleştirilecektir.

Bu toplantıda “Mantık ve Ontoloji” konusu ayrı bir oturumda ve sempozyum formatında ele alınacaktır. Bu konuda bildiri vermek isteyenlerin Konuşmacı Katılım Formu’nda belirtmesi gerekmektedir.

Katılımcıların bildiri başlığını ve özetini 15 Nisan 2017 tarihine kadar https://goo.gl/xcCAyj adresindeki doldurmaları gerekmektedir.

Sempozyumda sunulacak bildirilen özetleri toplantı sırasında dağıtılması, tam metinlerin ise toplantı sonrası basılması planlanmaktadır. Sunulan bildirilerin de çalıştay sonrası düzenleme komitesine teslim edilmesi bu düzenlemelerin yapılabilmesine olanak verecektir.

Çalıştayda ele alıncak konular:

  • Mantık tarihi
  • Geleneksel mantık
  • Çağdaş mantık çalışmaları
  • İnformel mantık
  • Solipsist mantık
  • Puslu mantık
  • Dil ve mantık
  • Bilim ve mantık
  • Mantık ve matematik felsefesi
  • Mantık çeşitleri

Konuşmacı Katılım Formu: https://goo.gl/xcCAyj
Dinleyici Katılım Formu: https://goo.gl/rILc9r

Katkılarınızı bekleriz. Samsun’da görüşmek dileğiyle.

Prof. Dr. Şafak URAL
Mantık Uygulama ve Araştırma Derneği Başkanı
Web: https://calistay.mantik.org.tr
E-posta: [email protected]

VI. Mantık Çalıştayı Kitabı yayımlandı

Vedat Kamer ve Şafak Ural tarafından yayıma hazırlanan VI. Mantık Çalıştayı Kitabı, Mantık Derneği Yayınları tarafından e-kitap (ISBN: 978-605-66311-1-5) olarak yayımlandı.

PDF (Yüksek Çözünürlük: 32 Mb): https://goo.gl/OztE0E
PDF (Düşük Çözünürlük: 5 Mb): https://goo.gl/7PjxDp

Künye: VI. Mantık Çalıştayı Kitabı, Ed: Vedat Kamer, Şafak Ural, Mantık Derneği Yayınları, İstanbul, Aralık 2016, ss. 528.

İçindekiler:

  • Arş. Gör. Oğuz AKÇELİK (Orta Doğu Teknik Üniversitesi): Formel Ontoloji ve Betimleyici Mantıklar
  • Sezen ALTUĞ (Orta Doğu Teknik Üniversitesi): Çıkarım Yöntemlerinde Soru-Biçimli Öncüllerin Kullanımı
  • Arş. Gör. Mehmet ARSLAN (Ondokuz Mayıs Üniversitesi): Kantçı Geometri Anlayışının Öklid-dışı Geometriler Işığında Yeniden Ele Alınması
  • Doç. Dr. Samet BAĞÇE: Analiz Metodu ve Menon’daki Birinci Geometri Problemi
  • Prof. Dr. Mustafa BOZBUĞA: Klinik Tanıda Geriçıkarım Kullanımı
  • Arş. Gör. Samet BÜYÜKADA (İstanbul Medeniyet Üniversitesi): İbn Sina’da Modal Mantık
  • Arş. Gör. İbrahim Halil ÇETRES (İstanbul Üniversitesi): Semantik ve Sentaks Arasında: Saul A. Kripke
  • Yrd. Doç. Dr. Caner ÇİÇEKDAĞI (Artvin Çoruh Üniversitesi) & Yrd. Doç. Dr. Eray YAĞANAK (Mersin Üniversitesi): Aristoteles Mantığında «Belirsiz Adlar»
  • Doç. Dr. Ahmet Ayhan ÇİTİL (İstanbul 29 Mayıs Üniversitesi): Ontolojik Bir Bakış Açısından «P vs NP» Problemi
  • Prof. Dr. A. Kadir ÇÜÇEN (Uludağ Üniversitesi): Dursun Murat Çüçen’in Ödev Mantığı Üzerine Bir Değerlendirme
  • Arş. Gör. Volkan DURAN (Ondokuz Mayıs Üniversitesi): Mantıksal Muhakeme Becerileri, Düşünce Deneyleri ve Yaratıcılık
  • Öğr. Gör. Gülümser DURHAN (Muş Alparslan Üniversitesi): Mantık-Gerçeklik İlişkisi Bağlamında Mantık İlkelerinin Kaynağı Meselesi
  • Yrd. Doç. Dr. Ahmet Cüneyt GÜLTEKİN (Ankara Üniversitesi): Eleştirel Olarak Düşünmek Ne Kadar Zor Olabilir?
  • Aysun GÜR: 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
  • Yrd. Doç. Dr. Özgüç GÜVEN (İstanbul Üniversitesi): Brouwer’ın Görüselciliği
  • Doç. Dr. Nazlı İNÖNÜ (İstanbul Üniversitesi): Charles Sanders Peirce’ün Bağıntılar Mantığı Üzerine Yazdığı İkinci Makalenin Açımlanması
  • Yrd. Doç. Dr. Vedat KAMER (İstanbul Üniversitesi): Feshedilebilir Akılyürütme
  • Yrd. Doç. Dr. Hacı KAYA (Artvin Çoruh Üniversitesi): İbn Sina’da Bilimsel Kanıtlama Teorisi
  • Prof. Dr. Taşkıner KETENCİ (Mersin Üniversitesi): Saf Aklın Eleştirisinde Mantığın Yeri
  • Arş. Gör. Fatih KÖK (İstanbul Üniversitesi): Eukleides Geometrisinin Epistemolojik Temelleri
  • 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ı
  • Prof. Dr. Zekiye KUTLUSOY (Maltepe Üniversitesi): Dil Mantık İlişkisi: Dilin Mantığı, Mantığın Dili
  • Yrd. Doç. Dr. Svitlana NESTEROVA (Artvin Çoruh Üniversitesi): Dilsel Metaforların Yol Açtığı Mantıksal Paradokslar
  • Doç. Dr. Aytekin ÖZEL (Uludağ Üniversitesi): İbn Sina’nın Kıyas Tanımının Analizi
  • Dilek SATIOĞLU (Orta Doğu Teknik Üniversitesi): Süreler Mantığının Formel Temelleri ve Süreç Metafiziğine Etkileri
  • Beyhan ŞENER: Matematik Eğitimi Bağlamında Matematiksel Nesnenin Varlıksal Niteliği Üzerine
  • Tuncay TURNA: Saussure’da Gösterge ve Dilin Dizgeselliği
  • Arş. Gör. Serdal TÜMKAYA (Orta Doğu Teknik Üniversitesi): Bilim Ağında Tutarlılık
  • Prof. Dr. Şafak URAL (Mantık Derneği): Solipsist Açıdan «Nesne» Kavramı
  • Prof. Dr. Cafer Sadık YAREN (Ondokuz Mayıs Üniversitesi): İnformel Mantıkta Toulmin Modeli Kanıtlama: Özgün mü Kıyasın Tersine Çevrilmiş Hali mi?
  • Doç. Dr. Yücel YÜKSEL (İstanbul Üniversitesi): Mantıkta Bağıntı Kavramı

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