Béziau J.-Y., Desclés J.-P., Moktefi A., Pascu A.C. (Eds.) Logic in Question: Talks from the Annual Sorbonne Logic Workshop (2011-2019)

Springer, 2022. — 744 p. — (Studies in Universal Logic). — ISBN 978-3-030-94451-3, 978-3-030-94452-0.We are commemorating in 2020, a decade of existence of the workshop LIQ: Logic in Question – La Logique en Question.
Logic goes back to the beginning of time. But what exactly is it, what does it consist of, what are its methods, and how did it develop? The answers to these questions are not necessarily clear.
Logic in Question, since 2011, is an annual spring workshop conducted at the Sorbonne on logic examining the following questions and trying to answer them:
Is Aristotle the first logician?
Are Cartesians logical animals?
Modern logic: Boole or/and Frege?
Should logic be mathematical?
Does logic solve any philosophical problem?
What is the difference between logic and metalogic, if any?
Is reasoning computing?
Is logic multiple?
Is logic relative?
Is logic necessary?
Many topics have been dealt with as well represented by the papers gathered in this volume, and a list of speakers is provided below (with their affiliations at the time of their participation).Preface
Historical Questions
Philosophical Questions
Mathematical Questions
Contributions of Logical Analysis for Mathematics Education
The Unification of Mathematics via Topos Theory
Back and Forth in Positive Logic
Quasi-Topological Structure of Extensions Within Logic of Typicals and Atypicals (LTA)
On the Logical Expressive Power of Natural Languages
A Categorical Aspect of the Analogy Between Quantifiers and Modalities
Algebraic and Logical Operations on Operators One Application to Semantic Computation
The Relevance Logic Programme: Failed or Just Stalled?
Is Logic Relevant to Classifications?
Logic and Theory of RepresentationTrue PDF