Demonstração/argumentação

LÓGICA FORMAL – DEMONSTRAÇÃO | LÓGICA INFORMAL – ARGUMENTAÇÃO | Campo de aplicação | * Área das ciências lógico-dedutivas (matemática e lógica) | * Área das ciências sociais e humanas (direito, política e filosofia) e em situações de vida corrente | Ponto de partida | * Proposições indiscutíveis que são consideradas verdadeiras ou hipoteticamente verdadeiras * Parte de premissas previamente estabelecidas | * Proposições discutíveis, ideias capazes de gerar controvérsia. * Parte de premissas discutíveis e questionáveis | Tipo de lógica | * Lógica formal, bivalente (uma afirmação aceita-se porque é verdadeira ou falsa) * Critérios de validade lógica: a verdade das premissas passa necessariamente à conclusão * Constringente (visa uma verdade universal e necessária) * Necessidade * Não há lugar para discussão. Interessa o encadeamento do raciocínio. * Domínio da necessidade. | * Lógica informal, polivalente (admite múltiplas alternativas) * Critérios de plausibilidade: a plausibilidade das premissas autoriza uma decisão razoável * Verosímil (pode ser verdadeiro) * Contingência (pode ser de uma maneira ou de outra) * Preferível (o que é, provavelmente, o melhor) * Pertinência, relevância e a força persuasiva dos argumentos | Tipo de linguagem | * Linguagem específica, abstrata e simbólica * “linguagem perfeita”, inequívoca (sem erros) * Linguagem artificial, rigorosa, quase matemática e desprovida de antiguidades; reduz-se a um cálculo lógico e permite uma única interpretação | * Linguagem natural * Equívoca * Supõe diálogo, discussão usando a linguagem natural, com todas as suas ambiguidades. * Apresenta razões pró ou contra uma tese. * Permite uma pluralidade de interpretações | Relação com o contexto | * Independente ao contexto * A validade não depende do tempo, nem do sujeito que faz a demonstração. * O discurso é impessoal. * Independente/alheio a necessidades; desejos;