Mantık Araştırmaları Ödülü

Mantık Derneği olarak, ülkemizde yapılan mantık çalışmalarını değerlendirmek ve teşvik etmek maksadıyla, aşağıdaki konuları kapsayan bir yarışma düzenlenmiştir. Arzu edenler, https://mantik.org.tr/mantik-arastirmalari-odulu-yonetmeligi adresinde belirtilen koşullar çerçevesinde bu yarışmaya katılabilirler.

Yarışmada birinci gelecek makale sahibi, 16-26 Haziran 2018‘de Vichy/Fransa‘da gerçekleştirilecek UNILOG 2018: 6. Evrensel Mantık Dünya Kongresi ve Okulu‘na -diğer ülkelerin birincileri arasında yapılacak seçmeye- ülkemizi temsilen katılmaya hak kazanacaktır. Birincinin yol masrafları Mantık Derneği tarafından, kongre boyunca yatacak yer temini ise sözkonusu kongre düzenleme komitesi tarafından karşılanacaktır.

Yarışma konuları:

  • Mantık sistemleri ve mantık kavramları teorileri
  • Mantık ve diğer alanlar (özellikle fizik, müzik, ekonomi vs.) arasındaki ilişkilerin temelendirilmesi
  • Mantığın insan ve toplum yaşamına katkısı
  • Geleneksel mantık sorunlarının özgün bir şekilde incelenmesi

Başvurular odul@mantik.org.tr e-posta adresine yapılacaktır.

Yarışmaya son katılma tarihi 1 Aralık 2017‘dir.

UNILOG 2018: 6th World Congress and School on Universal Logic

The 6th UNILOG – WORLD CONGRESS AND SCHOOL ON UNIVERSAL LOGIC will take place in Vichy, France, June 16-26, 2018 after previous editions in Montreux 2005, Xi’an 2007, Lisbon 2010, Rio 2013 and Istanbul 2015: http://www.uni-log.org/vichy2018

Along these years UNILOG has been a leading international logical event with the participation of many famous logicians such as Wilfrid Hodges, Daniele Mundici, Saul Kripke, Jaakko Hintikka, Dov Gabbay, Arnon Avron, Benedikt Löwe, David Makinson, Yde Venema, Newton da Costa, Mike Dunn, Val Goranko, Yuri Gurevich, Janusz Czelakowski, Stephen Read, Sara Negri, Arnold Koslow, Peter Schröder-Heister, Gila Sher, Hiroakira Ono, John Corcoran, Hartry Field, Gerhard Jaeger, Ernest Lepore, Marcus Kracht, Melvin Fitting, Luciano Floridi, Patrick Blackburn, Jan Wolenski, Krister Segerberg, Dale Jacquette, Sun-Joo Shin, Jouko Väänänen, John Woods and many more.

UNILOG is a logic event in a broad sense. It gathers people from many horizons (philosophy, mathematics, linguistics, computer science, semiotics, cognitive science …) and the idea is to promote interaction between all these people.

The previous edition in Istanbul gathered more than 400 logicians from about 50 different countries.

For the 6th edition we will follow the same format:

  • A school of logic of 5 days with 30 tutorials
  • A congress of 6 days with about 30 sessions/workshops
  • A contest (the topic will be announced soon)
  • A secret speaker (speaker whose identity is revealed only at the time of her / its / his speech).

Vichy is a charming relaxing thermal city at the middle of France, developed by Napoleon III in the second half of the 19th century, who in particular created beautiful parks with species of trees from all over the world. Vichy, in the Duchy of Bourbon, a region full of castles, is a small city, where it is possible to go everywhere just by walking. The event will take place at the university campus nearby the Celestins spring, the banks of the Allier river (where it is possible to swim) and the city center. June is a very nice time to be in Vichy with lots of animations, including on June 21 a very lively musical day celebrating summertime.

TIMELINE

Deadline to submit an abstract: September 15, 2017

Looking forward to seeing you in Vichy in June 2018.

Jean-Yves Beziau (Federal University of Rio de Janeiro and CNPq)
Christophe Rey (University Clermont Auvergne, CNRS, LIMOS)
Organizers of UNILOG’2018

Web: http://www.uni-log.org/vichy2018

Mantık Yaz Okulu 2017

Mantık Yaz Okulu‘nun dördüncüsü 10-21 Temmuz 2017 tarihleri arasında Boğaziçi Üniversitesi Feza Gürsey Fizik ve Matematik Uygulama ve Araştırma Merkezi‘nde (Kandilli Kampüsü) yapılacaktır.

10-14 Temmuz 2017 (Temel Mantık Yaz Okulu)
17-21 Temmuz 2017 (İleri Düzey Mantık Yaz Okulu)

Genel Bilgi

Temel Mantık Yaz Okulu, mantık kavram ve yöntemlerini anlayabilmek için gerekli giriş dersinin ardından geleneksel mantık, çıkarım çeşitleri, dil-mantık ilişkisi ve mantık yanlışlıklarının öğretildiği derslerden oluşmaktadır.

İleri Düzey Mantık Yaz Okulu‘nda ise temel mantık bilgisi ile anlaşılabilecek özel mantık konuları ele alınmaktadır.

Amaç

Felsefe, Matematik veya Bilgisayar Mühendisliği gibi mantığa dayalı konuları içeren alanlardan gelen ve/veya mantığa ilgi duyan lisans ve yüksek lisans düzeyinde öğrencilere temel mantık bilgisi ve ileri düzey mantık konularını sunmak.

Düzenleyen Kurumlar

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

Düzenleme Kurulu

Prof. Dr. Şafak Ural (Mantık Derneği)
Doç. Dr. İskender Taşdelen (Anadolu Üniversitesi)
Doç. Dr. Ahmet Ayhan Çitil (İstanbul 29 Mayıs Üniversitesi)
Yrd. Doç. Dr. Vedat Kamer (İstanbul Üniversitesi)

Ders Verecek Akademisyenler

Prof. Dr. Şafak Ural (Mantık Derneği)
Prof. Dr. Zekiye Kutlusoy (İstanbul Maltepe Üniversitesi)
Prof. Dr. Hasan Bülent Gözkân (Mimar Sinan Güzel Sanatlar Üniversitesi)
Doç. Dr. İskender Taşdelen (Anadolu Üniversitesi)
Doç. Dr. Ahmet Ayhan Çitil (İstanbul 29 Mayıs Üniversitesi)
Doç. Dr. Mahbube Nazlı İnönü (İstanbul Üniversitesi)
Yrd. Doç. Dr. Mehmet Özturan (İstanbul Medeniyet Üniversitesi)
Yrd. Doç. Dr. Vedat Kamer (İstanbul Üniversitesi)
Arş. Gör. Dr. Elif Kartal (İstanbul Üniversitesi)
Arş. Gör. Dr. Zeki Özen (İstanbul Üniversitesi)
Arş. Gör. Hanife Bilgili (Yıldız Teknik Üniversitesi)

Asistanlar

Arş. Gör. Fatih Kök

Ders Programı

Katılım

Konaklamasız Katılım

Öğle yemeği, ikram ve kırtasiye ücreti günlük 40 TL olup, kesin kayıt öncesi daha sonra bildirilecek hesap numarasına gönderilmesi gerekmektedir.

Konaklamalı Katılım

Konaklama alanı olarak misafirhane bölümü derslerin gerçekleşeceği Erdal İnönü Seminer Salonu ile aynı binada bulunmaktadır. 8 ve 12 kişilik, yatakhane sistemi ile hazırlanan odalarda her öğrenci için yastık, nevresim takımı sağlanmaktadır. Banyo Havlusu, Şampuan, Terlik, Fön Makinası vb. kişisel malzemeler bulunmamaktadır. 2 adet wc ve banyo alanı kadın ve erkek öğrencilerin kullanımına sunulmaktadır. Misafirhane bölümünde günlük temizlik hizmeti sağlanmaktadır. Su sebili, sıcak su, çamaşır ve kurutma makinesi ve ütü vardır.

Yemek hizmeti sabah kahvaltısı, öğle yemeği ve akşam yemeği olmak üzere günde üç kez ve Feza Gürsey Binası’nda gerçekleşecektir.

Konaklama, ikram, yemek ve kırtasiye ücreti günlük 60 TL olup, kesin kayıt öncesi daha sonra bildirilecek hesap numarasına gönderilmesi gerekmektedir.

Konaklama şartları Boğaziçi Üniversitesi tarafından belirlenmektedir: http://fezagursey.boun.edu.tr/?sayfa=3

Başvuru Formu

Başvuru Formu: https://goo.gl/forms/17sSDO1m0MTlrco72
Son Başvuru Tarihi: 1 Temmuz 2017

Başvuru sonuçları 3 Temmuz 2017 tarihinde web sitesi ve e-posta üzerinden açıklanacaktır.

İletişim

Web: http://fezagursey.boun.edu.tr/?sayfa=45
E-posta: yazokulu@mantik.org.tr

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

VII. Mantık Çalıştayı, Prof. Dr. Nihat Keklik anısına, 29-30 Haziran 2017 tarihleri arasında, Ondokuz Mayıs Üniversitesi Rektörlüğü, Ondokuz Mayıs Üniversitesi Fen-Edebiyat Fakültesi Felsefe Bölümü, İstanbul Üniversitesi Edebiyat Fakültesi Felsefe Bölümü Mantık Anabilim Dalı, İstanbul Üniversitesi Mantık Uygulama ve Araştırma Merkezi ile Mantık Derneği tarafından, Ondokuz Mayıs Üniversitesi Fen-Edebiyat Fakültesi‘nde düzenleniyor.

Etkinlik Programı: https://goo.gl/JZrJ4Z

Düzenleyen Kurumlar:
Ondokuz Mayıs Üniversitesi Rektörlüğü
Ondokuz Mayıs Üniversitesi Fen-Edebiyat Fakültesi Felsefe Bölümü
İstanbul Üniversitesi Edebiyat Fakültesi Felsefe Bölümü Mantık Anabilim Dalı
İstanbul Üniversitesi Mantık Uygulama ve Araştırma Merkezi
Mantık Derneği

VII. Mantık Çalıştayı Tarih Değişikliği

31 Mayıs-3 Haziran 2017 tarihlerinde Ondokuz Mayıs Üniversitesi‘nde yapılacağı duyurulan VII. Mantık Çalıştayı‘nın tarihinde değişiklik yapılması gereği ortaya çıkmıştır. Toplantının yeni tarihi 29 Haziran-1 Temmuz 2017‘dur.

Prof. Dr. Şafak Ural
Mantık Derneği Başkanı

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: http://calistay.mantik.org.tr
E-posta: calistay@mantik.org.tr

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ı