1. Fatos Históricos
1.1. Aristóteles (384 a.C.–322 a.C.)
1.1.1. Responsável por escrever os primeiros grandes trabalhos de lógica: – Coleção de regras para raciocínio dedutivo que pode ser usado em qualquer área do conhecimento.
1.2. Gottfried Wilhelm Leibniz (1646–1716)
1.2.1. Propõe o uso de símbolos para mecanizar o processo de raciocínio dedutivo.
1.3. George Boole (1815–1864) Augustus De Morgan (1806–1871)
1.3.1. Propõem as bases da lógica simbólica moderna usando as idéias de Leibniz.
2. Conceitos
2.1. Proposição
2.1.1. Consiste em um enunciado, uma frase declarativa. Partindo de frases declarativas, que podem ser verdadeiras (V) ou falsas (F).
2.1.1.1. - Os gorilas são mamíferos. - O porto é uma cidade.
2.1.1.1.1. Concluímos que: Os gorilas são mamíferos e O porto é uma cidade. Conjunção de proposições ( V ) Verdadeira.
2.1.1.2. - Um quadrado tem 6 lados. - No Brasil nunca faz sol.
2.1.1.2.1. Concluímos que: Um quadrado tem 6 lados. No Brasil nunca faz sol. Conjunção de proposições ( F ) Falsa.
2.2. Premissas
2.2.1. São as proposições utilizadas para construir um raciocínio.
2.3. Argumento
2.3.1. sequência de afirmações para demonstrar a validade de uma asserção.
2.3.1.1. afirmações que compõem o argumento – são aceitas como válidas, ou – podem ser deduzidas de afirmações anteriores.
2.4. silogismo
2.4.1. É o chamado raciocínio dedutivo, permite a dedução de uma conclusão a partir das premissas.
2.5. Falácia
2.5.1. É uma argumento incoerente, que não tem fundamento e falha em provar aquilo que alega.
3. Tipos
3.1. Lógica Formal
3.1.1. A Lógica Formal, também chamada de Lógica Simbólica, preocupa-se, basicamente, com a estrutura do raciocínio. A Lógica Formal lida com a relação entre conceitos e fornece um meio de compor provas de declarações.
3.2. Lógica Dedutiva
3.2.1. Raciocínio dedutivo ou dedução é um conceito utilizado em diversas áreas e que está relacionado com as distintas formas de raciocinar. É um processo de análise de informação que nos leva a uma conclusão. Dessa maneira, usa-se da dedução para encontrar o resultado final.
3.3. Lógica Indutiva
3.3.1. Parte do específico para o geral como forma de validar este conhecimento específico, observa-se uma determinada situação e busca-se por um padrão ou uma regra geral que explique esta situação e que se aplique a todos os casos análogos
3.4. Lógica Transcendental
3.4.1. Immanuel Kant (1724-1804)
3.4.1.1. atribui à lógica um caráter transcendental na medida em que se considera o conteúdo das representações, e não apenas a forma da relação entre elas. Apesar das evidências, nem sempre se tem observado que o caráter transcendental e o caráter formal da lógica não corresponde a duas lógicas distintas, mas à mesma ciência da "mera forma do pensar", cuja operação elementar é, como se sabe, o juízo.