Data de postagem: Jan 08, 2015 2:45:37 PM
Lógica é um substantivo feminino com origem no termo grego logiké, relacionado com o logos, razão,palavra ou discurso, que significa a ciência do raciocínio.
Em sentido figurado, a palavra lógica está relacionada com um maneira específica de raciocinar, de forma acertada. Por exemplo: Isso nunca vai funcionar! O teu plano não tem lógica nenhuma!
Os problemas ou jogos de lógica são atividades onde um indivíduo tem que usar um raciocínio lógico para resolver o problema.
De acordo com Aristóteles, a lógica tem como objeto de estudo o pensamento, assim como as leis e regras que o controlam, para que esse pensamento seja correto. Para o filósofo grego, os elementos constituintes da lógica são oconceito, juízo e raciocínio. As leis da lógica correspondem às ligações e relações que existem entre esses elementos.
Alguns sucessores de Aristóteles foram responsáveis pelos fundamentos da lógica medieval, que perdurou até o século XIII. Pensadores medievais como Galeno, Porfírio e Alexandre de Afrodísia classificavam a lógica como a ciência de julgar corretamente, que possibilita alcançar raciocínios corretos e formalmente válidos.
A lógica de programação é a linguagem usada para criar um programa de computador. A lógica de programação é essencial para desenvolver programas e sistemas informáticos, pois ela defina o encadeamento lógico para esse desenvolvimento. Os passos para esse desenvolvimento são conhecidos como algoritmo, que consiste em uma sequência lógica de instruções para que a função seja executada.
A lógica de argumentação permite verificar a validade ou se um enunciado é verdadeiro ou não. Não é feito com conceitos relativos nem subjetivos.São proposições tangíveis cuja validade podem ser verficada. Neste caso, a lógica tem como objetivo avaliar a forma das proposições e não o conteúdo. Os silogismos (compostos por duas premissas e uma conclusão), são um exemplo de lógica de argumentação. Por exemplo:
O Fubá é um cachorro.
Todos os cachorros são mamíferos.
Logo, o Fubá é um mamífero.
A lógica matemática (ou lógica formal) estuda a lógica segundo a sua estrutura ou forma. A lógica matemática consiste em um sistema dedutivo de enunciados que tem como objetivo criar um grupo de leis e regras para determinar a validade dos raciocínios. Assim, um raciocínio é considerado válido se é possível alcançar uma conclusão verdadeira a partir de premissas verdadeiras.
A lógica matemática também é usada para edificar raciocínios válidos mediante outros raciocínios. Os raciocínios podem ser dedutivos (a conclusão é obtida obrigatoriamente a partir da verdade das premissas) e indutivos(probabilísticos).
A lógica formal pode ser dividida em dois grupos: lógica proposicional e lógica de predicados.
Leibniz é visto por muitos como a mente que iniciou o conceito de lógica formal ou matemática, que aborda as questões centrais da matemática. No entanto, só depois de 1890, com Peano, começou a interrogação a respeito da consistência de axiomas. Alguns importantes princípios da lógica formal se encontram na obra The Mathematical Analysis of Logic (Análise Matemática da Lógica), da autoria de George Boole (autor da lógica ou álgebra de Boole).
A lógica proposicional é uma área da lógica que examina os raciocínios de acordo com as relações entre orações (proposições), as unidades mínimas do discurso, que podem ser verdadeiras ou falsas.
Referências:
http://www.significados.com.br/logica/, acessado em 08/01/2015