O documento discute a influência da lógica matemática nas obras de Lewis Carroll, notadamente no livro "Alice no País das Maravilhas". Apresenta brevemente a história da lógica, os problemas lógicos no livro e a inspiração de Carroll na lógica simbolista de Boole. Também sugere atividades e links relacionados ao tema.
3. • O escritor Lewis Carrol.
• Alice, Lorina e Edite.
• A maior inspiração de Lewis:
4. • A história da lógica (Grécia).
• A lógica como disciplina.
• Os megáricos (habitantes de Mégara - Grécia).
• A lógica moderna.
• A lógica simbolista.
• Boole
5. • Os problemas matemáticos do livro de Lewis.
• O possível mundo de Alice.
6. • Alice (a) é uma rapariga (r), mas as raparigas
(r) comem ovos, tal como as serpentes (s),
portanto por subordinação, Alice não é uma
serpente (s>r>a).
7. • P.: Em que se aparece um corvo (raven) com uma
secretária?
R.: Ambos podem produzir algumas notas. Numa
secretária podemos produzir (escrever) algumas
notas. O corvo, enquanto ave, também pode
produzir (palrar) algumas notas. Na secretária
NUNCA se escreve de trás para frente e no corvo a
palavra NUNCA (nevar) escreve-se de trás para frente
(raven).
8. • Excesso de abstrações no ensino matemático.
• Contrabalanceando o ensino matemático.