14 de janeiro é o Dia Mundial da Lógica.

Em um dia como hoje (14 de janeiro) é comemorado o Dia Mundial da Lógica
Lógica é um campo interdisciplinar que estuda a verdade e a raciocínio . Lógica informal procura caracterizar os argumentos válidos de informalmente, por exemplo, listando variedades de falácias .
A lógica desenvolveu-se independentemente em várias culturas durante os tempos antigos. Um importante colaborador inicial foi Aristóteles, que desenvolveu a lógica dos termos em seu Organon e Análise prévia.
A percepção monumental de Aristóteles foi a noção de que os argumentos podem ser caracterizados em termos de sua forma. O lógico posterior Łukasiewicz descreveu essa ideia como "uma das maiores invenções de Aristóteles".
A lógica aristotélica era muito apreciada na época clássica e medieval, tanto na Europa quanto no Oriente Médio. Permaneceu em uso generalizado no Ocidente até o início do século 19. Foi agora substituído por trabalhos posteriores, embora muitas de suas ideias-chave sobrevivam em sistemas modernos de lógica.
A lógica silogística desenvolvida por Aristóteles prevaleceu no Ocidente até meados do século XIX , quando o interesse pelos fundamentos da matemática estimulou o desenvolvimento da lógica simbólica (agora denominada lógica matemática ). Em 1854, George Boole publicou as leis do pensamento, a introdução da lógica simbólica e os princípios do que hoje é conhecido como lógica booleana .

A celebração mundial de um dia da lógica a partir do ano de 2020, visa promover o desenvolvimento da lógica na pesquisa e no ensino. Nas redes sociais você pode usar as hashtags #WorldLogicDay #logic #pensando #worldlogicday.

Como curiosidade, comente que la data s escolhida como homenagem a dois grandes pensadores lógicos do século 20:
  • Kurt Gödel, matemático e filósofo austríaco que desenvolveu o teorema da incompletude e transformou o estudo da lógica no século XX. Ele morreu em 14 de janeiro de 1978.
  • Alfred Tarski, matemático e lógico polonês nascido em 14 de janeiro de 1901 e formulou teorias que interagiram com as de Gödel.
-------------------------------------------- --------------------------------------------
- pai, o que era antes? A galinha ou o ovo?
- claramente era o ovo
- hein? sim?
- sim, é lógico
- porque é lógico?
- digamos que o ovo é "q"
-ok
- E a galinha é "p"
-ok
- temos que "q" vem de "p"
-ok
- mas também temos que "q" vem de "não p"
- como?
- então se "q" vem de "p" e de "não p", então "q" vem de qualquer que seja "p"
- o quê?
- então o ovo vem primeiro
- Não entendi nada, pai
- nem eu, filho
- e de onde você tirou esse raciocínio?
- desta revista
- mas isso é uma revista de humor
- ah... bem, não vejo sentido nisso
.

Deixe um comentário

Observe que os comentários devem ser aprovados antes de serem publicados