3 Post - Lógica
O termo lógica tem um significado vasto. Dentre outras palavras para definir-la podemos usar: pensamento, idéias, razão lógica, argumentos e relatos. Tendo sua base na matemática mas fortemente ligada à Filosofia onde tem por objetivo garantir que pensemos corretamente para chegar a conclusões verdadeiras.
Aristóteles
Em seu conjunto de 6 obras conhecido como 'Organon', Aristóteles (considerado o maior lógico de todos os tempos) vê a lógica como um instrumento, uma introdução para o saber, tendo verdades para contrução do conhecimento. Tem como sua base o silogismo - teoria que chega a uma conclusão através de 2 premissas (ou proposições). Como clássico exemplo temos:
Todo grego é homem
George Boole
Criador da Álgebra Booleana, muito usada na matemática e Ciência da Computação. Baseia-se nos conectivos lógicos E, OU e NÃO (denotados por ∧,∨ ¬), ainda muito usados hoje. A álgebra booleana mais importante só tem valores verdadeiros ou falsos (1 e 0) para suas proposições. Tendo como exemplo o silogismo de Aristóteles:
Todo grego é homem <- denotaremos como "a"
Criador da Lógica Matemática Moderna, sempre trabalhou na fronteira entre Matemática e Lógica, sendo considerado, depois de Aristóteles, o maior lógico do mundo. A grande contribuição de Frege para a lógica matemática foi o criação de um sistema de representação simbólica para representar a estrutura dos enunciados lógicos e suas relações. A mairo preocupação dele era em sistematizar o raciocínio matemático, contrariamente a Aristóteles. Observando que os matemáticos da época cometiam erros na demonstração de seus teoremas, Frege resolveu formalizar as regras de demonstração, iniciando com regras elementares, bem simples, que em sua aplicação não restassem dúvidas.
----------------------------------------
Fontes: http://pt.wikipedia.org/wiki/L%C3%B3gica
http://www.pucsp.br/~logica/
Aristóteles
Em seu conjunto de 6 obras conhecido como 'Organon', Aristóteles (considerado o maior lógico de todos os tempos) vê a lógica como um instrumento, uma introdução para o saber, tendo verdades para contrução do conhecimento. Tem como sua base o silogismo - teoria que chega a uma conclusão através de 2 premissas (ou proposições). Como clássico exemplo temos:
Todo grego é homem
- Todo homem é mortal
- Logo, tendo as premissas como verdade, com certeza a afirmação será também verdadeira:
- Todo grego é mortal.
- Assim, nasce a lógica clássica - e considerada por ele perfeita.
George Boole
Criador da Álgebra Booleana, muito usada na matemática e Ciência da Computação. Baseia-se nos conectivos lógicos E, OU e NÃO (denotados por ∧,∨ ¬), ainda muito usados hoje. A álgebra booleana mais importante só tem valores verdadeiros ou falsos (1 e 0) para suas proposições. Tendo como exemplo o silogismo de Aristóteles:
Todo grego é homem <- denotaremos como "a"
- Todo homem é mortal <- denotaremos como "b"
- A conclusao: Todo grego é mortal <-denotaremos como "c"
- Logo: a e b são verdades (1):
- a =1
- b=1
- então: a ∧ b também é uma verdade: a ∧ b = c, c=1
- Concluimos que "c" é verdadeiro.
Criador da Lógica Matemática Moderna, sempre trabalhou na fronteira entre Matemática e Lógica, sendo considerado, depois de Aristóteles, o maior lógico do mundo. A grande contribuição de Frege para a lógica matemática foi o criação de um sistema de representação simbólica para representar a estrutura dos enunciados lógicos e suas relações. A mairo preocupação dele era em sistematizar o raciocínio matemático, contrariamente a Aristóteles. Observando que os matemáticos da época cometiam erros na demonstração de seus teoremas, Frege resolveu formalizar as regras de demonstração, iniciando com regras elementares, bem simples, que em sua aplicação não restassem dúvidas.
----------------------------------------
Fontes: http://pt.wikipedia.org/wiki/L%C3%B3gica
http://www.pucsp.br/~logica/