Contest: the Future of Logic

Modern logic (starting with George Boole at the mid of the XIX century) changed the world, it led to new understanding of reasoning, language, mathematics. It gave new directions in philosophy and gave birth to computation.

After 150 years we may wonder what is the future of so successful a science, nowadays much of the time in the shadow of its multifaceted offsprings

This contest wants to promote a reflexion on what can be the future of logic considering its 150-years history. Here are a few questions:

1) Will or can logic give a better understanding to sciences / fields such as physics, biology, economics, music, information?

2) How will evolve the internal life of logic, its objectives and tools?

3) How will develop the interactions between logic and philosophy, logic and mathematics, logic and computation?

To take part to the contest submit a paper of 10 to 15 pages by March 31st, 2015 to:

unilog.contest2015@gmail.com

Previous Winners of UNILOG contest are

• Till Mossakowski, Razvan Diaconescu and Andrzej Tarlecki
  UNILOG'2007= Translations between logical systems
• Vladimir Vasyukov
  UNILOG'2010 = Combination of logics
• Nate Ackerman
  UNILOG'2013 = Logical Theorems

The best papers will be selected for presentation in a special session during the event and a jury will decide during the event who is the winner.

Members of the Jury are Maria Manzano, Walter Carnielli (president) and Marcello D'Agostino.

The prize will be offered by Thomas Hempfling, managing director of

Contender 2015

Rodrigo de Almeida, Dept of Philosophy, Federal University of Rio de Janeiro, Brazil, "Investigations into a polynomial calculus for logics"

Walter Gomide, Dept of Philosophy, Federal University of Matto Grosso, Brazil, "The future of logic as a geometry of scientific thought" joint work with James Anderson (Reading Universiy, UK) and Tiago Reis (IFRJ – Brazil)

Florian Rabe, Jacobs University, Bremen, Germany, "The future of logic: foundation-independence"

Mohammad Shafie, Dept of Philosophy, University of Paris 1 - Panthéon Sorboone, France, "Unified logics, an alternative for combining logics"

Matt LaVine, Dept of Philosophy, University of Buffalo, and SUNY at Potsdam, USA, "The future of logic (and ethics)"

Hartely Slater, Dept of Philosophy, University of Western Australia, "The future of logic: as a moral science"

Erik Thomsen, Charles River Analytics Cambridge, MA USA, "Triggering a Copernican shift in logic through sequenced evaluations"