Naming Logics II

June 21, 2018 - June 26, 2018
LIMOS, CNRS, Université Clermont Auvergne

Campus Albert Londres
1 Avenue des Célestins
Vichy 03200

This will be an accessible event, including organized related activities

View the Call For Papers


Jean-Yves Béziau
Federal University of Rio de Janeiro
Manuel Gustavo Isaac
SNSF - Amsterdam

Topic areas

Talks at this conference

Add a talk


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

Supporting material

Add supporting material (slides, programs, etc.)




November 1, 2017, 11:45pm CET

External Site

Who is attending?

No one has said they will attend yet.

Will you attend this event?

Let us know so we can notify you of any change of plan.

RSVPing on PhilEvents is not sufficient to register for this event.

This event has been submitted and is maintained by:

(Universidade Federal do Rio de Janeiro)

You should login and contact this user if you believe the information on this page needs updating.

If you judge that this event entry is inappropriate, please login and report it.