Encontro 1

1. relação de dedução ou consequência lógica

2. Matematização da lógica

2.1. Nomes que merecem ser lembrados: George Boole, F. L. Gottlob Frege, Bertrand A. W. Russell, Alfred N. Whitehead, Ernst Zermelo e Abraham Fraenkel, Allan Turing, Kurt Godel, Alfred Tarski, Newton da Costa e outros.

3. Aristóteles

3.1. Platão

3.1.1. Socrates

3.1.1.1. Fundador da filosofia

3.1.1.1.1. É a base de todas as ciências

3.1.1.2. mestre de Platão

3.1.1.3. Conduzia os indivíduos por meio de perguntas

3.1.1.3.1. maiêutica

3.1.1.3.2. ou parto das ideias

3.1.2. Mestre de Aristóteles

3.1.3. Fundador de uma escola filosófica, a academia

3.1.3.1. Hekademia, que depois evoluiu para Akademia

3.1.3.2. “Que ninguém exceto os geómetras entrem aqui”. A matemática, na época fortemente ligada a` geometria, tinha uma forte influência em Platão.

3.2. Atribuído como criador da Lógica Matemática ocidental como conhecemos