
Logic for Children  Workshop at UniLog 2018 (Vichy)
Official pages (at unilog.org):
http://www.unilog.org/start6.html
http://www.unilog.org/wk6logicforchildren.html
http://www.unilog.org/registration6.html (cheaper before Dec.1)
The workshop will happen during the "congress" (jun 2126), not during the "school" (jun 1620).
This page is uglier than the official one but
we can update it more easily.
We will use it for information that is mostly for the speakers.
Quick index:
First description,
Second description,
Presentations,
Other people / related work,
Our next step: getting more submissions,
If you would like to help us,
How to contact us.
Our first description of what the
workshop is about (from the official page):
When we explain a theorem to children  in the strict sense of
the term  we focus on concrete examples, and we avoid generalizations, abstract
structures and infinite objects.
When we present something to "children", in a wider sense of the
term that means "people without mathematical maturity", or even
"people without expertise in a certain area", we usually do
something similar: we start from a few motivating examples, and then
we generalize.
One of the aims of this workshop is to discuss techniques for particularization and generalization. Particularization is
easy; substituing variables in a general statement is often enough
to do the job. Generalization is much harder, and one way to
visualize how it works is to regard particularization as a
projection: a coil projects a circlelike shadow on the ground, and
we can ask for ways to "lift" pieces of that circle to the coil
continously. Projections lose dimensions and may collapse
things that were originally different; liftings try to
reconstruct the missing information in a sensible way. There may be
several different liftings for a certain part of the circle, or
none. Finding good generalizations is somehow like finding good
liftings.
The second of our aims is to discuss diagrams. For example,
in Category Theory statements, definitions and proofs can be often
expressed as diagrams, and if we start with a general diagram and
particularize it we get a second diagram with the same shape as the
first one, and that second diagram can be used as a version "for
children" of the general statement and proof. Diagrams were for a
long time considered secondclass entities in CT literature ([2]
discusses some of the reasons), and were omitted; readers who think
very visually would feel that part of the work involved in
understanding CT papers and books would be to reconstruct the
"missing" diagrams from algebraic statements. Particular cases, even
when they were the motivation for the general definition, are also
treated as somewhat secondclass  and this inspires a possible
meaning for what can call "Category Theory for Children": to start
from the diagrams for particular cases, and then "lift" them to the
general case. Note that this can be done outside Category Theory
too; [1] is a good example.
Our third aim is to discuss models. A standard example is
that every topological space is a Heyting Algebra, and so a model
for Intuitionistic Predicate Logic, and this lets us explain visually some
features of IPL. Something similar can be done for some modal and
paraconsistent logics; we believe that the figures for that should
be considered more important, and be more wellknown.
References:
[1]: Jamnik, Mateja: Mathematical Reasoning with Diagrams: From Intuition to Automation.
CSLI, 2001.
[2]: Krömer, Ralf: Tool and Object: A History and Philosophy of Category Theory.
Birkhäuser, 2007.
A second description of what the
workshop is about (used in a call for help):
Hi list,
we  me and Fernando Lucatelli  are trying to organize a
workshop called "Logic for Children", that will happen in the UniLog
2018 in Vichy, France, in june 2126...
The "children" in "logic for children" means "people without
mathematical maturity", which in its turn means people who:
 have trouble with very abstract definitions,
 prefer starting from particular cases (and then generalize),
 handle diagrams better than algebraic notations,
 like to use diagrams and analogies (as in [BP2006]).
If we say that categorical definitions are "for adults"  because
they may be very abstract  and that particular cases, diagrams, and
analogies are "for children", then our intent ith this workshop
becomes easy to state. "Children" are willing to use "tools for
children" to do mathematics, even if they will have to translate
everything to a language "for adults" to make their results
dependable and publishable, and even if the bridge between their
tools "for children" and "for adults" is somewhat defective, i.e.,
if the translation only works on simple cases...
We are interested in that bridge between maths "for adults"
and "for children" in several areas. Maths "for children" are hard
to publish, even informally as notes (see this thread in the
Categories mailing list), so often techniques are rediscovered over
and over, but kept restricted to the "oral culture" of the area.
Our main intents with this workshop are:
 to discuss (over coffe breaks!) the techniques of the "bridge"
that we currently use in seemingly adhoc ways,
 to systematize and "mechanize" these techniques to make them
quicker to apply,
 to find ways to publish those techniques  in journals or
elsewhere,
 to connect people in several areas working in related ideas,
and to create repositories of online resources.
Presentations:
Keynote speakers:
Other people / related work:
Our next step: getting more
submissions
Note: there is still a tiny chance that the workshop
won't happen "officially" and that people would have to present their
work either on other workshops at the UniLog or at the main
conference, and meet informally... officially each workshop needs at
least 10 presenters that are neither organizers nor keynotes, so we
(Ochs/Lucatelli) are going to try a trick that JeanYves Beziau
suggested to us, which is to send individual emails to people that
can be interested in participating (he said that sending "about 100
invitations" usually works)...
If you have people to suggest please send us their names, and, if
possible, their emails... we work mostly on Category Theory, and we
think that this workshop could of interest to people working on, e.g.,
Education, Diagrammatic reasoning, Visualization of algorithms  and
we don't know many people in these areas yet...
If you would like to help us, here are some
trivial ways:
 you can send us pointers to related work,
 you can send us pointers to people that we should get in touch
with,
 you can ask to receive updates from us (that keeps our spirits
high!), and maybe contribute in the future.
And here are some less trivial ways:
 you can send us folklore ideas (without pointers),
 you can attend the workshop,
 you can submit something to the workshop. =)
My contacts:
eduardoochs@gmail.com
https://www.facebook.com/eduardo.ochs
(55)(21)988842389 (Whatsapp / Telegram)
^ If you want to propose changes to this page chat may be the best way!
