All'interno del vasto mondo della divulgazione, una delle serie più di successo mai realizzata nel mondo anglosassone è quella degli
Introducing. Ognuno di questi libri, che vengono ancora oggi prodotti, assegnati, per quel che riguarda i testi, ad abili accademici, ha certamente un vantaggio che ne permette una buona diffusione spesso indipendentemente dal valore dell'opera stessa: uniscono il saggio scientifico con il racconto a fumetti.
Più che un vero e proprio racconto a fumetti, però, ognuno degli
Introducing è più un libro illustrato, dove solo in alcune occasioni spuntano delle pagine a fumetti classiche, mentre l'impostazione è spesso molto più quella dei poster (o delle infografiche, come si dice nel mondo 2.0). Il primo editore in assoluto a portare gli
Introducing in Italia è stata la
Feltrinelli: è d'obbligo citare titoli storici come
Einstein,
Darwin,
Wittgenstein, ma soprattutto i libri di produzione più recente sono arrivati in Italia grazie alla
Raffaello Cortina Editore. Sono così arrivati sugli scaffali titoli come
La relatività a fumetti,
L'evoluzione a fumetti,
Il tempo a fumetti, tutti certamente argomenti più o meno complessi, ma a ben guardare il più complesso di tutti è sicuramente quello che affronta
La logica a fumetti di
Dan Cryan e
Sharron Shatil, rispettivamente dello University College di Londra e della Open University di Israele, illustrato da
Bill Mayblin.
L'argomento trattato dai tre coraggiosi autori è sicuramente di quelli difficili. La logica non è certo una disciplina banale, a incominciare dalla sua formulazione più semplice, quella che fino a qualche anno fa era praticamente obbligatoria nei programmi scolastici di matematica. Il primo ostacolo che bisogna affrontare è dare una buona definizione di logica, una di quelle che sia solida e salda nel tempo, e assolutamente indipendente dal tipo di logica utilizzata (perché di logiche ce ne sono più d'una, come vedremo). Una buona definizione è certamente quella proposta in fondo alla prima pagina dell'
Introducing di oggi:
La logica è semplicemente lo studio delle argomentazioni che conservano la verità.
Se però adesso inizio a fare il pignolo e scrivo che si potrebbe definire la logica usando la
conservazione della falsità e non cambierebbe assolutamente nulla nella bontà della definizione poc'anzi proposta, probabilmente qualcuno inizierebbe a lasciare questo articolo in questo punto preciso. Questa precisazione, però, è semplicemente un modo per far comprendere quanto, in effetti, la logica non sia una strada così semplice da percorrere, e che spesso, invece, è usata un po' troppo alla leggera un po' in ogni ambito (fateci caso, magari prima di andare a letto, ripensando alla giornata).
Molto spesso, infatti, pretendiamo dalla logica che questa ci dica se una tale affermazione sia vera o falsa, ma in realtà la logica semplicemente ci dice se un ragionamento è corretto o meno, ovvero se a partire da una data argomentazione posso dedurre la verità o la falsità di una tesi a partire dalle ipotesi iniziali.
Chiarito questo punto iniziale, possiamo provare ad addentrarci un po' nella storia della logica, che poi è proprio quello che fa
La logica a fumetti.
Tutto iniziò con
Aristotele, che pose le prime regole della logica interessandosi agli enunciati, in particolare a degli enunciati semplici contenenti un singolo predicato. Grazie agli enunciati, Aristotele fu in grado di costruire dei sillogismi, ovvero una serie di tre enunciati, legati uno all'altro in modo logico, tali per cui la conclusione risulta automaticamente vera a partire dalla verità dei primi due enunciati. Ovviamente basta che uno solo dei due enunciati sia falso o che non ci sia alcun nesso tra i primi due enunciati per rendere falsa o invalida la conclusione.
Il primo salto di qualità la logica lo fece quasi subito grazie a
Crisippo di Soli, il primo ad utilizzare i connettivi logici (ovvero paroline come
e,
o,
se), assolutamente mancanti nella prima formulazione aristotelica. Per riscorpire i risultati di Crisippo e poter anche avanzare sulla strada della logica, però, si dovette attendere il XVII secolo e l'arrivo di
Leibniz che scardinò, in questo caso nella logica, il predominio della filosofia aristotelica, sponsorizzata dalla chiesa cattolica, un po' come fecero Galileo e soci nel campo della fisica e dell'astronomia.
Leibniz, però, oltre a fornirci una logica simbolica, ci lasciò anche la così detta
reductio ad absurdum o
dimostrazione per assurdo. Il metodo funziona molto semplicemente negando una delle ipotesi di partenza: se questa negazione porta a una contraddizione, allora l'enunciato che è conseguenza dell'ipotesi negata è vero. Il metodo viene proficuamente applicato in particolare quando è molto complicato dimostrare direttamente la verità di un qualche teorema, mentre spesso arrivare a una contraddizione logica è decisamente più semplice.
