21 - 26 June 2018, Workshop on Logical Correctness at UNILOG 2018, Vichy (France)
Typically, logical correctness is taken to concern whether or not an argument or proof follows a logical path from premises to conclusions. In recent years, however, such a view has been complicated by the proliferation of logics, approaches to logic, and uses of logic. In this workshop, we intend to discuss the philosophical and logical consequences of these changes with regard to how, or if, there is any sort of criteria by which a logical structure could be deemed correct, and whether or not those criteria are context-relevant in some specifiable manner.
Keynote speaker: Ole HJORTLAND (University of Bergen, Norway).
We invite abstracts for papers dealing with any of the workshop topics (though not necessarily limited to them).