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.


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

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

Google’ın Filozofu Prof. Dr. Luciano Floridi UNILOG 2015 kapsamında Türkiye’ye geliyor


UNILOG 2015: 5. Evrensel Mantık Dünya Kongresi ve Okulu, 20 Haziran 2015 tarihinde İstanbul Üniversitesi Edebiyat Fakültesi‘nde başlıyor.

Oxford Internet Institute öğretim üyesi ve Google Danışma Konseyi üyesi Prof. Dr. Luciano Floridi; UNILOG 2015: 5. Evrensel Mantık Dünya Kongresi, Workshop on Logic and Information kapsamında, 30 Haziran 2015 tarihinde, saat 09:30‘da, “In search for a conceptual logic of information” başlıklı bir konuşma yapacaktır.

UNILOG 2015: 5. Evrensel Mantık Okulu (20-24 Haziran 2015):

UNILOG 2015: 5. Evrensel Mantık Dünya Kongresi (25-30 Haziran 2015):

Davetli Konuşmacıların Listesi

  • Melving Fitting (Dpt of Mathematics and Computer Sciences, City University of New York, USA): “Cut-free proofs for more and more logics”
  • Graham Priest (City University of New York, USA): Workshop Philosophy of Non-Classical Logics
  • JC Beall (Department of Philosophy, University of Connecticut, USA and University of Tasmania, Australia): “There is no logical negation”
  • Storrs McCall (McGill, Canada): “Connexive logic based on an incompatibility operator”
  • Luciano Floridi (Oxford Internet Institute, Oxford, UK): “In search for a conceptual logic of information”
  • Ernest Lepore (Rutgers Center for Cognitive Science, Rutgers University, USA): “Discourse and logical form”
  • Olivia Caramello (Dpt of Mathematics, University of Paris 7, France): “The theory of topos-theoretic ‘bridges’, five years later”
  • Juliana Bueno Soler (State University of Campinas – UNICAMP, Brazil): “Paraconsistent probability theory: betting rationally under contradiction”
  • Elena Dragalina-Chernaya (University Higher School of Economics, Moscow, Russia)
  • Ahti-Veikko Pietarinen (University of Helsinki, Finland and Tallinn University of Technology, Estonia): “The idea of scope in logical diagrams”
  • Irina Starikova (University of São Paulo, Brazil): “Creativity and visualisations in mathematics”
  • Ekaterina Kubyshkina (University Panthéon Sorbonne, Paris 1, France): “Truth-functional alternative to epistemic logic and it’s application to Fitch’s paradox”
  • Julie Brumberg-Chaumont (CNRS, Paris, France and European University Institute, Florence, Italy): “From syllogisms to syllogistic consequences: a turning point in the history
  • João Marcos (Department of Informatics and Applied Mathematics, UFRN, Natal, Brazil): “Consequiland: on logics with many dimensions”
  • Roman Murawski (Adam Mickiewicz University, Poznan, Poland): “On the way to modern logic — the case of Polish logic” of logic”
  • Una Stojnic (Dept of Philosophy, Rutgers University, USA): “One’s Modus Ponens: classical logic and semantics for modality”
  • Samet Büyükada (Department of Philosophy, Istanbul Medeniyet University): “Hypothetical syllogism in Avicenna”
  • Christian Strasser joint work with Jesse Heyninck (Ruhr-University, Bochum, Germany): “Argumentation semantics for adaptive logics”
  • Rodrigo Freire (University of Brasilia, Brazil): “First-order logic and first-order function”
  • Gordana Dodig-Crnkovic (Mälardalen University, Sweden): “A dual representation theory of quantum Systems and its ontological consequences”
  • Ahmet Çevik (Middle East Technical University, Ankara, Turkey): “Is the Church-Turing thesis the new Pythagoreanism?”
  • Gianfranco Basti (Pontifical Lateran University, Vatican City): “A dual representation theory of quantum Systems and its ontological consequences”
  • Eros Corraza (LCLI, The University of the Basque Country, Carleton University, Ottawa ON, Canada): “Identity Statements, Doxastic Co-Indexation, and Frege’s Puzzle”
  • Jaan Valsiner (Clark University, USA): “James Mark Baldwin’s developmental logic: a century later”
  • Vinod Goel (York University, Toronto, Canada): “Is there a logical reasoning module in the brain?”
  • Tony Veale (UCD School of Computer Science and Informatics, Dublin, Ireland)
  • Maarten McKubre-Jordens (University of Canterbury, Christchurch, New Zealand): “Invitation to non-classical mathematics”

Düzenleyen Kurumlar