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

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

Call for Workshops and Tutorials: Now – Deadline: April 11, 2017
First call for contributing talks: May 2017
Deadline to submit an abstract: September 15, 2017
Notification: November 15, 2017
Early registration: December 1st, 2017

If you want to submit a workshop or a tutorial, send a proposal to vichy@uni-log.org by April 11, 2017 following the format of the previous edition:

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

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ı

Mantık Derneği

Mantık Uygulama ve Araştırma Derneği olan ünvanımız, 6 Aralık 2016‘da kabul edilmiş tüzük değişikliğine istinaden Mantık Derneği olarak değişmiştir.

Mantık Uygulama ve Araştırma Derneği Yönetim Kurulu Başkanlığı’ndan Olağanüstü Genel Kurul İlanı

Mantık Uygulama ve Araştırma Derneği‘nin I. Olağanüstü Genel Kurul Toplantısı 8 Kasım 2016 Salı günü, saat 16:00’da, Kalenderhane Mh. 16 Mart Şehitleri Cd. Dr. Şevket Apt. No: 8 Vezneciler-Beyazıt-Fatih/İstanbul adresinde aşağıda yazılı gündeme göre yapılacaktır.

Belirtilen günde gereken toplantı yeter sayısı olan 2/3 çoğunluğun sağlanamadığı takdirde ikinci toplantı 22 Kasım 2016 günü, saat 16:00’da, aynı gündemle Kalenderhane Mh. 16 Mart Şehitleri Cd. Dr. Şevket Apt. No: 8 Vezneciler-Beyazıt-Fatih/İstanbul adresinde nisapsız olarak yapılacaktır.

Sayın üyelerin 8 Kasım 2016’daki toplantıya katılmaları saygı ile rica olunur.

Mantık Uygulama ve Araştırma Derneği Yönetim Kurulu

GÜNDEM

  1. Açılış konuşması, saygı duruşu ve İstiklâl Marşının okunması,
  2. Toplantı yeter sayısı ile karar yeter sayısının tespitine ilişkin tutanağın okunması,
  3. Divan kurulu seçimi,
  4. Dernek isminin Mantık Derneği olarak değiştirilmesinin teklif edilerek Genel Kurul onayına sunulması,
  5. Dernek isminin önüne Türkiye ifadesinin eklenmesi için başvuru yapılmasının teklif edilerek Genel Kurul onayına sunulması,
  6. Dernek ana tüzüğünde yapılması planlanan değişikliklerin görüşülmesi,
  7. Dilekler ve kapanış.

Handbook of the 5th World Congress and School on Universal Logic

UniLog 2015: 5. Evrensel Mantık Dünya Kongresi ve Okulu, 20-30 Haziran 2015 tarihleri arasında İstanbul Üniversitesi Edebiyat Fakültesi‘nde düzenlenmiş ve derneğimiz de organizasyonu içerisinde yer almıştı. Kongreye ait bildiri özetleri Handbook of the 5th World Congress and School on Universal Logic ismiyle, Mantık Derneği Yayınları‘nın ilk kitabı olarak ISBN: 978-605-66311-0-8 ile e-kitap biçiminde yayımlandı.

Handbook of the 5th World Congress and School on Universal Logic, Ed: Jean-Yves Beziau, Şafak Ural, Arthur Buchsbaum, İskender Taşdelen, Vedat Kamer, Mantık Derneği Yayınları, İstanbul, 2015, ss. 409.
ISBN: 978-605-66311-0-8
PDF: http://bit.ly/hunilog2015