Boolestation se trata de uma plataforma para o aprendizado de lógica. Idealizado em 2023 por cinco estudantes da Etec de Peruíbe, o projeto visa viabilizar o aprendizado da lógica formal, tornando-o mais prático, divertido e fácil. Para conhecer mais acerca do projeto, considere visitar nosso Instagram e Github.
Aristóteles cria sua teoria dos silogismos e seu "Órganon", a teoria da lógica.
150 a.CEuclides desenvolve os fundamentos da geometria e lógica em "Elementos".
300 a.CBoécio contribui para a lógica com sua obra "Consolação da Filosofia" e tradução de textos lógicos gregos.
480 d.CGottlob Frege introduz a lógica de predicados e fundamenta a lógica moderna.
1848Bertrand Russell e Alfred North Whitehead publicam "Principia Mathematica", uma obra fundamental na lógica matemática.
1910A Lógica pode te ajudar a identificar falácias, seja em falas corriqueiras ou até mesmo discursos políticos.
A falácia em questão se chama afirmação do consequente. Numa expressão condicional (P ⇒ Q), não se pode afirmar o consequente (Q) para concluir o antecedente (P), apesar do contrário ser possível.
A Lógica nos ajuda a identificar essas falácias que estão contidas na própria forma do argumento, de modo que não sejamos enganados tão facilmente!