λ, etc)
(Chapa 1)


Logic for Children - Workshop at UniLog 2018 (Vichy)

Official pages (at uni-log.org):
http://www.uni-log.org/registration6.html (cheaper before Dec.1)
The workshop will happen during the "congress" (jun 21-26), not during the "school" (jun 16-20).

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,
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 circle-like 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 second-class 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 second-class - 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 well-known.


[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 21-26...

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 ad-hoc 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 Jean-Yves Beziau suggested to us, which is to send individual e-mails 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 e-mails... 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:
(55)(21)98884-2389 (Whatsapp / Telegram)
^ If you want to propose changes to this page chat may be the best way!