Logica formal e Informal

Lógica – definição e finalidade
Definição- A Logica é uma ciência que estuda e validade dos argumentos.
Objeto de estudo da Logica- A Logica formal dedica-se ao estudo dos instrumentos lógicos do pensamento e do discurso á elaboração dos princípios regras a que o pensamento deve obedecer para ter validade.
Finalidade da Logica- permite distinguir bons de maus argumentos ensina-nos a saber argumentos corretamente, a deletar erros de raciocínio (falacias), etc …

Raciocínio, argumento e inferência
O raciocínio é a 3ª operação lógica e é a capacidade mental de nos servirmos do que conhecemos para descobrir o que ignoramos.
A inferência é o processo que permite derivar uma conclusão através de premissas (raciocinar).
Um argumento é um conjunto de proposições organizadas tendo como objectivo a defesa de uma tese, de tal modo que a conclusão tirada justifique as restantes proposições (premissas). O argumento é a expressão verbal do raciocínio.

Frases declarativas e proposições
Uma frase declarativa afirma ou nega algo sobre a realidade. Tem valor de verdade, ou seja, pode ser verdadeira ou falsa.
A proposição é o pensamento expresso na frase declarativa.

Formas padrão ou forma canónica de um argumento
A forma canónica de um argumento diz respeito ao modo estabelecido para o apresentar, sendo enunciadas primeiro as premissas e a seguir a conclusão.

Valor de verdade das proposições e validade dos argumentos
O valor de verdade diz respeito às proposições, enquanto a validade diz respeito aos argumentos.
A validade depende da estrutura ou forma lógica dos argumentos. Assim, um argumento válido é aquele em que se as premissas forem verdadeiras a conclusão é necessariamente verdadeira.
A verdade refere-se à adequação do que afirmamos com a realidade. Uma proposição é verdadeira se aquilo que afirma se verifica no confronto com a realidade.

Argumento sólido
Um argumento sólido reúne a verdade das proposições e a validade do argumento. É um