Prague Seminar: The Future of Mathematical Fuzzy Logic

Prague, 16–18 June 2016

Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated also by philosophical and computational problems of vagueness and imprecision, Mathematical Fuzzy Logic (MFL) has become a significant subfield of mathematical logic.  Research in this area focuses on many-valued logics with linearly ordered truth values and has yielded elegant and deep mathematical theories and challenging problems, thus continuing to attract an ever increasing number of researchers. However, the time has come to reevaluate whether current research has lived up to the initial goals.

This seminar was intended create an opportunity to take a critical stance on MFL motivations and applications and discuss its future. We invited contributions to rethink the research directions of MFL from the point of view of pure mathematical logic, its philosophical motivations and (computer science) applications.

Venue: the event  took place in the Institute of Computer Science of the Academy of Sciences
of the Czech Republic.

Photos: few photos from the event can be found here.

Organized by:
• Petr Cintula, Czech Academy of Sciences, Czech Republic
• Carles Noguera, Czech Academy of Sciences, Czech Republic
• Nick Smith, University of Sydney, Australia


Thursday 16.6.
1330–1400    Petr Cintula and Carles Noguera (slides): The glorious past! A grim future?
1400–1430    Petr Cintula and Carles Noguera (slides): A light at the end of the tunnel ...
1430–1445    coffee break
1445–1530    Nick Smith (slides): Fuzzy Logic and Psychology
1530–1600    coffee&cake break
1600–1645    Thomas Vetterlein (slides): What should a logic of vagueness be useful for?
1645–1700    coffee break
1700–1745    Vilém Novák and Irinia Perfilieva (slides): Future of MFL: Fuzzy Natural Logic and AST

Friday 17.6.
0930–1015    Rossella Marrano (slides): Vagueness, graded truth and pairwise valuations
1015–1045    coffee&cake break
1045–1115    Hykel Hosni (slides): Mathematical Fuzzy Logic in the foundations of uncertain reasoning
1115–1200    Chris Fermuller (slides): The future of MFL: pure math or seriously interdisciplinary?

1200–1330    lunch break

1330–1400    Matthias Hoffer (slides): Natural language processing with Mathematical Fuzzy Logic
1400–1430    Lluis Godo and Francesc Esteva (slides): On the role of MFL in knowledge representation 
1430–1445    coffee break
1445–1530    Pilar Dellunde (slides): Perspectives in Model Theory of Fuzzy Logic
1530–1600    coffee&cake break
1600–1645    Peter Vojtáš: Preferential fuzzy sets
1645–1700    coffee break
1700–1830    round table: The future of MFL

Saturday 18.6.
1000–1200    Unstructured discussion