Lógica formal clássica

Definições:

Lógica – disciplina que estuda a forma dos raciocínios, isto é, do pensamento

humano.
Conceito – representação mental de uma coisa qualquer.
Termo – expressão linguística de um conceito.
Juízo – representação mental da ligação predicativa entre conceitos.
Proposição – Expressão linguística de um juízo.
Raciocínio – Representação mental da ligação entre juízos, ligação esta feita
com vistas a extrair uma conclusão.
Argumento – Expressão linguística de um raciocínio.
Premissas – Juízos internos a um raciocínio, nos quais nos baseamos para
extrair a conclusão.

Classificação dos juízos quanto à quantidade:

Universal – Juízo que se refere à totalidade dos elementos de um conjunto

qualquer.
Particular – Juízo que se refere a uma parte dos elementos de um conjunto
qualquer
Singular – Juízo que se refere a um indivíduo de um conjunto qualquer.

Características da dedução:

1) A conclusão é obtida por análise das premissas.

2) A verdade das premissas garante a verdade da conclusão.
3) A conclusão é um juízo de quantidade menor ou, no máximo, igual à das
premissas.
4) Para deduzir é preciso, antes, induzir.

Exemplo de dedução:

Se todo ser humano é mortal

e Sócrates é um ser humano,
então, Sócrates é mortal.
Características da indução:

1) A conclusão é obtida por síntese das premissas.

2) A verdade das premissas não é garantia absoluta da verdade da conclusão.
3) A conclusão é sempre um juízo universal.
4) Suas premissas expressam a repetição de um fenômeno.

Exemplo de indução:

Choveu no dia 02 de novembro de 2009.

Lembro que, em 02 de novembro de 2010, também choveu.
Em 2015, 2016 e no ano passado choveu com certeza no dia 02 de novembro.
É: todo Dia de Finados chove.

Sofisma – Argumento no qual as premissas dadas não justificam logicamente

a conclusão que é extraída, mas que é apresentado como válido logicamente,
sem que, na verdade, o seja. Portanto, é um falso argumento ou argumento
inválido. Sinônimo de falácia.