00:06
Antes de tudo, você precisa saber que esse é o primeiro episódio de uma mini-série que vai versar sobre a história da lógica. Fique à vontade para nos acompanhar por esse caminho. A história da lógica se inicia no século 4 antes de Cristo, no grupo de trabalhos conhecidos como o Organon, que é o conjunto das obras sobre lógica de Aristóteles, que significa instrumento ou ferramenta.
00:32
Pós a criação do Organon, Aristóteles criou a Teoria do Silogismo e axiomatizou-a de diversas formas, iniciando o desenvolvimento da lógica modal, lidando com as noções de necessidade, possibilidade e contingência.
00:49
Há indícios para associarmos a origem da lógica das proposições a Teofrasto, com os megáricos, escola de lógicos e dialéticos socrásticos do quarto século e aos estoicos. Teofrasto deu uma importante contribuição à lógica das expressões substantivas de Aristóteles, mas foi Galeno, um dos maiores médicos da antiguidade, quem deu a última e maior contribuição para a lógica das expressões substantivas na antiguidade,
01:14
desenvolvendo a Teoria da Propagação do Silogismo. A lógica medieval. Na lógica medieval, podemos falar de três caminhos para onde se seguiu a lógica, sendo eles os bisantinos, os árvores e os coleáticos, que abandonaram o uso de variáveis, proposições e expressões modais da lógica.
01:33
E após o período do renacintismo e humanismo, não houve desenvolvimento na lógica. Então, partimos para a lógica moderna, que iniciou-se no século XVII com Leibniz, que introduziu o projeto da construção de um sistema exato e universal de notação.
01:48
Este seria uma linguagem simbólica universal, baseada em um alfabeto do pensamento. Outros trabalhos importantes para a lógica moderna foram os de Bull, de Morgan e Peirce. No entanto, o verdadeiro fundador da lógica moderna foi Fridt.
02:02
Fridt introduziu o cálculo proposicional em sua forma logística moderna, com a noção de função proposicional, o uso de quantificadores e análise lógica de prova por indução matemática, além dos axiomas lógicos.
02:15
Fridt teve seu trabalho descoberto por Rüssel, outro grande contribuidor da lógica moderna. E chegamos ao fim do nosso primeiro episódio. Você pode continuar escutando sobre a história da lógica, que mesmo em nossa plataforma.