Esboço Desenvolvimento da Lógica by William Ataide https://padlet.com/wataide/eder4c2oh0mlotn6 Fórum Lógica Computacional en-us 2021-08-26 01:10:18 UTC 2021-08-26 01:20:17 UTC hello@padlet.com https://padlet.net/icons/png/1f60e.png PERÍODO ARISTOTÉLICO (± 390 a.C. a ± 1840 d.C.)A história da Lógica tem início com o filósofo grego ARISTÓTELES (384 - 322a.C.) de Estagira (hoje Estavo) na Macedônia. Aristóteles criou a ciência da Lógica cuja essência era a teoria do silogismo (certa forma de argumento válido). Seus escritos foram reunidos na obra denominada Organon ou Instrumento da Ciência.Na Grécia, distinguiram-se duas grandes escolas de Lógica, a PERIPATÉTICA (que derivava de Aristóteles) e a ESTÓICA fundada por Zenão (326-264a.C.). A escola ESTÓICA foi desenvolvida por Crisipo (280-250a.C.) a partir da escola MEGÁRIA (fundada por Euclides, um seguidor de Sócrates). Segundo Kneale e Kneale (O Desenvolvimento da Lógica), houve durante muitos anos uma certa rivalidade entre os Peripatéticos e os Megários e que isto talvez tenha prejudicado o desenvolvimento da lógica, embora na verdade as teorias destas escolas fossem complementares.GOTTFRIED WILHELM LEIBNIZ (1646-1716) merece ser citado, apesar de seus trabalhos terem tido pouca influência nos 200 anos seguidos e só foram apreciados e conhecidos no século XIX . wataide https://padlet.com/wataide/eder4c2oh0mlotn6/wish/1697202009 2021-08-26 01:14:13 UTC https://padlet.com/wataide/eder4c2oh0mlotn6/wish/1697202009 · PERÍODO BOOLEANO :(± 1840 a ± 1910)Inicia-se com GEORGE BOOLE (1815-1864) e AUGUSTUS DE MORGAN (1806-1871). Publicaram os fundamentos da chamada Álgebra da lógica, respectivamente com MATHEMATICAL ANALYSIS OF LOGIC e FORMAL LOGIC.GOTLOB FREGE (1848-1925) um grande passo no desenvolvimento da lógica com a obra BEGRIFFSSCHRIFT de 1879. As idéias de Frege só foram reconhecidas pelos lógicos mais ou menos a partir de 1905. É devido a Frege o desenvolvimento da lógica que se seguiu.GIUSEPPE PEANO (1858-1932) e sua escola com Burali-Forti, 🤬, Pieri, Pádoa, Vailati, etc. Quase toda simbologia da matemática se deve a essa escola italiana. wataide https://padlet.com/wataide/eder4c2oh0mlotn6/wish/1697204478 2021-08-26 01:15:02 UTC https://padlet.com/wataide/eder4c2oh0mlotn6/wish/1697204478 wataide https://padlet.com/wataide/eder4c2oh0mlotn6/wish/1697207724 · PERÍODO BOOLEANO :(± 1840 a ± 1910)
Inicia-se com GEORGE BOOLE (1815-1864) e AUGUSTUS DE MORGAN (1806-1871). Publicaram os fundamentos da chamada Álgebra da lógica, respectivamente com MATHEMATICAL ANALYSIS OF LOGIC e FORMAL LOGIC.

]]> 2021-08-26 01:16:11 UTC https://padlet.com/wataide/eder4c2oh0mlotn6/wish/1697207724 GOTLOB FREGE (1848-1925) um grande passo no desenvolvimento da lógica com a obra BEGRIFFSSCHRIFT de 1879. As idéias de Frege só foram reconhecidas pelos lógicos mais ou menos a partir de 1905. É devido a Frege o desenvolvimento da lógica que se seguiu. wataide https://padlet.com/wataide/eder4c2oh0mlotn6/wish/1697208923 2021-08-26 01:16:37 UTC https://padlet.com/wataide/eder4c2oh0mlotn6/wish/1697208923 GIUSEPPE PEANO (1858-1932) e sua escola com Burali-Forti, 🤬, Pieri, Pádoa, Vailati, etc. Quase toda simbologia da matemática se deve a essa escola italiana. wataide https://padlet.com/wataide/eder4c2oh0mlotn6/wish/1697209944 2021-08-26 01:17:00 UTC https://padlet.com/wataide/eder4c2oh0mlotn6/wish/1697209944 O que é lógica computacional?A lógica computacional pode ser entendida como a relação entre a lógica formal, mais tradicional, e a computação. Trata-se de um modo de pensar e estruturar ideias para escrever um software ou um algoritmo.A lógica formal estuda como provar a veracidade de algum argumento e as relações entre diferentes ideias, ao passo que a computacional estuda como organizar instruções e criar um raciocínio baseado em pequenas etapas para chegar a uma solução.Ambas estão ligadas ao pensamento computacional, que, por sua vez, não necessariamente está associado a contextos puramente tecnológicos. Essa estratégia tem como objetivo preparar alguém para resolver um problema, independentemente do seu escopo.No dia a dia, enfrentamos uma série de situações complexas, em que temos que organizar pensamentos e chegar a uma solução ordenada, sendo que o raciocínio lógico e o pensamento estruturado viabilizam essa etapa. Afinal, esses conceitos ajudam a separar o que é razoavelmente possível do que não faz sentido.Assim, você consegue avançar na solução sem se preocupar com aspectos que não serão úteis. O pensamento computacional, que utiliza a lógica como base, pode ser dividido em quatro etapas:decomposição do problema: quebrar a situação em pequenas partes, seguindo a ideia do “dividir para conquistar”;reconhecimento de padrões: separar categorias e identificar soluções específicas para cada uma, considerando as limitações e as características de cada grupo;abstração: dividir o problema em questões mais simples e profundas, enxergando além;algoritmo: criar uma série de etapas para a resolução de um problema.Essa separação em fases ajuda a pessoa a organizar suas ações e seu esforço, bem como o tempo para a resolução de um problema. Desse modo, é possível alcançar a eficiência e conseguir resultados mais claros.A etapa do algoritmo é fortemente baseada na lógica, de forma ainda mais prática que as outras. Nesse momento, é preciso organizar uma série de passos interconectados por estruturas de controle, como as cláusulas “se-então”.Por exemplo, “se acontecer X, então farei Y”. Nesse caso, existe uma estrutura condicional que indica que Y só será efetuado se X ocorrer.Outra estrutura comum é a de repetição. Consiste em um controle do fluxo para garantir que uma instrução se repita em um loop até que uma condição seja atendida. Por exemplo, “tentar fazer X até que Y ocorra e permita seguir adiante no algoritmo”.É possível formalizar essas estruturas e processos de uma forma que o computador compreenda. Assim, o sistema é capaz de seguir os passos e chegar a uma solução. wataide https://padlet.com/wataide/eder4c2oh0mlotn6/wish/1697219022 2021-08-26 01:20:08 UTC https://padlet.com/wataide/eder4c2oh0mlotn6/wish/1697219022