CFP: Naming Logics II
Submission deadline: December 1, 2017
Conference date(s):
June 21, 2018 - June 26, 2018
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?