Lógica

* Lógica Formal

A palavra "Lógica" deriva do termo grego logos que significa discurso ou razão, isto é, tudo o que se refere ao saber humano em ordem à conquista da verdade. Lógica formal (teórica, pura ou dialética). A Lógica formal interessa-se pelas formas mais gerais do pensamento – idéia, juízo e raciocínio – procurando que o pensamento seja coerente consigo mesmo. Por exemplo: como hoje é Sábado, e a seguir ao Sábado vem sempre o Domingo, então, amanhã será Domingo. Formalmente, este raciocínio é correto, pois é coerente consigo mesmo. Entretanto, pode não ser verdadeiro por engano daquele que o formulou ao equivocar-se no dia da semana: hoje pode não ser Sábado. O raciocínio pode ser inválido, embora a conclusão seja verdadeira. A lógica formal estuda alguns aspectos da sintaxe de um discurso, e sua categoria central é a noção de "validade de um raciocínio".

* Inferência e Argumento

As inferências são processos psíquicos por meio dos quais cada indivíduo chega às suas conclusões com base em dados e conhecimentos que ele já possui. Apenas para reforçar: a inferência é um processo. O conceito de argumento: é um conjunto de enunciados, onde um é a conclusão e os demais são as premissas(uma proposta que ajuda a chegar numa conclusão).

* Silogismo

O silogismo é a comparação de uma característica de uma coisa com outra, por meio de uma característica intermediária. É um termo filosófico com o qual Aristóteles designou a argumentação lógica perfeita, constituída de três proposições declarativas:
Todo homem é mortal (premissa maior)
Sócrates é homem (premissa menor)
Sócrates é mortal (conclusão)

* Proposições

A proposição é uma frase afirmativa ou negativa que exprime um sentido e “dá algo a entender” por si mesma. Em termos mais precisos, pode-se dizer que a proposição emite um juízo; afirma (ou nega) algo sobre alguma coisa. Somente uma proposição pode ser avaliada como verdadeira