CFP: Naming Logics II

Submission deadline: December 1, 2017

Conference date(s):
June 21, 2018 - June 26, 2018

Go to the conference's page

Conference Venue:

LIMOS, CNRS, Université Clermont Auvergne
Vichy, France

Topic areas

Details

We invite contributions discussing logical terminology (including but no restricted to):

in which sense symbolic logic is symbolical?
in which sense mathematical logic is mathematical?
in which sense formal logic is formal?
in which sense classical negation is classical?
in which sense intensional logic is intensional?
in which sense minimal logic is minimal?
in which sense free logic is free?
in which sense relevant logic is relevant?
Are there many truth values values for truth?
can we put truth in a table?

Supporting material

Add supporting material (slides, programs, etc.)