Colaboradores da Lógica
A lógica tem seu nascimento no período clássico e começa a se tornar uma diretriz da ciência a partir das contribuições do filósofo e matemático, Aristóteles, que contribuiu sobremaneira para o avanço da ciência com a criação da lógica formal que está ligada à sistematização científica, mas ainda com a lógica material atribuída ao juízo. Os postulados e as teorias do filósofo foram reunidos em uma obra intitulada Organun (Instrumento da ciência).
A observação dos fenômenos, a dedução como método usado para resolver determinados problemas foi imprescindível para Aristóteles, ou seja, para conseguir o caminho correto da investigação e da demonstração científica eram necessários esses pré- requisitos. Embora a lógica tenha sido muito limitada na idade clássica, ela foi aperfeiçoada na idade média tendo os escolásticos como seguidores e mantendo a dedução, assim como, no século IV, uma forma que possibilita provar ou tornar verdadeira alguma descoberta. Contudo, ainda na idade média, a lógica formal começa a ser questionada e substituída pelo método indutivo.
No campo da ciência voltada para tecnologia e principalmente relacionado a computadores eletrônicos baseados em dígitos binários, o grande destaque é para o matemático e inglês, George Boole, um autodidata que em meio às dificuldades encontradas para sua formação, conseguiu alargar as teorias da matemática com a modernização da álgebra e com publicações importantes sobre as equações diferenciais e transformação linear.
O pai da lógica moderna, Friedrich Frege, diferencia-se de Aristóteles e até mesmo de Boole, quando consegue sistematizar o raciocino matemático através de demonstrações de forma que pudesse provar os teoremas que muitas vezes não eram provadas consistentemente pelos matemáticos e cientistas de épocas passadas, mas, além disso, criou um sistema de demonstração simbólica para representar os cálculos de predicados e substituiu o sistema de proposições lógicos de sujeito e predicado que era usado para resolver determinados teoremas e formulou uma simbologia de quantificadores lógicos. Objetivo maior de Friedrich caracterizou-se pela simplificação das demonstrações de proposições e com a sistematização do cálculo matemático para predicados.
A observação dos fenômenos, a dedução como método usado para resolver determinados problemas foi imprescindível para Aristóteles, ou seja, para conseguir o caminho correto da investigação e da demonstração científica eram necessários esses pré- requisitos. Embora a lógica tenha sido muito limitada na idade clássica, ela foi aperfeiçoada na idade média tendo os escolásticos como seguidores e mantendo a dedução, assim como, no século IV, uma forma que possibilita provar ou tornar verdadeira alguma descoberta. Contudo, ainda na idade média, a lógica formal começa a ser questionada e substituída pelo método indutivo.
No campo da ciência voltada para tecnologia e principalmente relacionado a computadores eletrônicos baseados em dígitos binários, o grande destaque é para o matemático e inglês, George Boole, um autodidata que em meio às dificuldades encontradas para sua formação, conseguiu alargar as teorias da matemática com a modernização da álgebra e com publicações importantes sobre as equações diferenciais e transformação linear.
O pai da lógica moderna, Friedrich Frege, diferencia-se de Aristóteles e até mesmo de Boole, quando consegue sistematizar o raciocino matemático através de demonstrações de forma que pudesse provar os teoremas que muitas vezes não eram provadas consistentemente pelos matemáticos e cientistas de épocas passadas, mas, além disso, criou um sistema de demonstração simbólica para representar os cálculos de predicados e substituiu o sistema de proposições lógicos de sujeito e predicado que era usado para resolver determinados teoremas e formulou uma simbologia de quantificadores lógicos. Objetivo maior de Friedrich caracterizou-se pela simplificação das demonstrações de proposições e com a sistematização do cálculo matemático para predicados.
Nenhum comentário:
Postar um comentário