posted by organizer: unilog || 305 views || tracked by 3 users: [display]

NALOG 2018 : Naming Logics II

FacebookTwitterLinkedInGoogle

Link: http://www.uni-log.org/wk6-naming-logic.html
 
When Jun 21, 2018 - Jun 26, 2018
Where Vichy, France
Abstract Registration Due Dec 31, 2017
Submission Deadline Dec 1, 2017
Notification Due Dec 15, 2017
Final Version Due Nov 1, 2018
Categories    logic   philosophy of logic   semiotics   analytic philosophy
 

Call For Papers

Workshops Organized at UNILOG'2018
http://www.uni-log.org/vichy2018

by
Jean-Yves Beziau
(University of Brazil, Rio de Janeiro)
and
Manuel Gustavo Isaac
Swiss National Science Foundation / University of Amsterdam, The Netherlands

Follow up of
Naming Logic(s) organized at the LMPS, in Helsinki, 2015
https://clmps2015.sched.com/event/31PW

Keynote speaker: Göran Sundholm
Dpt of Philosophy, University of Leiden, The Netherlands
"The Validity of Validity"

Blaise Pascal famously claimed: “Je ne dispute jamais du nom pourvu qu’on m’avertisse du sens qu’on lui donne” (I never quarrel about a name, provided I am apprised of the sense it which it is understood), Les Provinciales. However to find the right word for the right thing is a sophisticated art.

Modern logic has been qualified by various expressions: “symbolic logic”, “formal logic”, “mathematical logic”, “metamathematics”. What does all this mean? For example “mathematical logic” is typically an ambiguous expression since it can mean both logic treated in a mathematical way or/and the logic of mathematics. “Symbolic logic” is also a mixture of different things, it can make reference to the use of some formal mathematical signs, or some true symbols, like Venn’s diagrams. “Formal logic” is an expression put forward by Kant but ironically it has been often used to denote modern mathematical logic by opposition to traditional logic. “Metamathematics” was coined by Hilbert and he used it as synonymous to “Proof theory” (Beweistheorie) for him the. Although it has been quite popular, cf. the classical book of Kleene Introduction to metamathematics is not much used today probably because too much related with a speficic approach to logic.

Concerning the names of systems of logic, there is also a lot of ambiguity. In which sense “classical logic” is classical, “Intuitionistic logic” is intuitive, “linear logic” is linear, “relevant” logic is relevant, “free logic” is free, “intensional logic” is intensional? “Modal logic” encompasses many different systems, in which sense are they all dealing with modalities and what is a modality? “First-order logic” and “second order logic” are expression which are often used. What do they mean exactly, are the involved qualifiers appropriate? Do they make sense in relation to “third-order logic”? The expression “zero-order logic” is not much used. Does it make sense to use it to qualify propositional logic, or does it correspond to something else?

A careful analysis of names used in logic can provide a fresh look at the different logical systems and/or the concepts and methodologies used to study and develop them. It can clarify what has been done and give some clues for new developments. This is a follow up of the workshop Naming Logic(s) organized at the LMPS, in Helsinki, 2015

---------------------------------------------------------------------------------
We invite contributions discussing logical terminology, such as:

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 many truth values values for truth?
can we put truth in a table?
Abstracts (one page) should be sent by October 5, 2017 via e-mail to: isaac.manuelgustavo@gmail.com

Related Resources

FoIKS 2018   10th International Symposium on Foundations of Information and Knowledge Systems
SLIE 2018   Semantic, Logics, Information Extraction and AI
LICS 2018   Logic in Computer Science
SLIE 2017   Semantic, Logics, Information Extraction and AI
IJCAR 2018   9th International Joint Conference on Automated Reasoning
CONCUR 2018   29th International Conference on Concurrency Theory
Logica 2018   Logica 2018
RTDPCC II 2017   3rd International Symposium on Real-time Data Processing for Cloud Computing
LOGLEG 2018   Logic, Law and Legal Reasoning
COMPUTATION TOOLS 2018   The Ninth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking