filosofia do 11º

III. Racionalidade argumentativa e filosofia

1. Argumentação e lógica formal

Definição de Lógica Alguns autores definem-na como o estudo dos processos válidos e gerais pelos quais atingimos a verdade, outros como a ciência das leis do pensamento, ou somente como o estudo dos princípios da inferência válida.

1.1. Distinção validade – verdade A lógica foi criada por Aristóteles, no século IV a.C., como uma ciência autónoma que se dedica ao estudo dos atos do pensamento - Conceito, Juízo, Raciocínio, Demonstração- do ponto de vista da sua estrutura ou forma lógica, sem ter em conta qualquer conteúdo material. É por esta razão que esta lógica aristotélica se designa também por lógica formal.
Em contraposição a este conceito de lógica formal, surgiu um outro - o de lógica material - para designar o estudo do raciocínio no que ele depende quanto ao seu conteúdo ou matéria.

1.2. Formas de inferência válida

Fontes

Regras, Figuras e Modos do Silogismo 1. O silogismo categórico é uma inferência dedutiva. Não se pretende descobrir nada de novo, mas apenas demonstrar a validade de algo que já se conhece.
2. Aceitando certas premissas como verdadeiras, a conclusão é necessariamente válida, se foram cumpridas certas regras de inferência.
Exemplo de uma conclusão inválida com premissas verdadeiras Todas as baleias são mamíferos Todos os gatos são mamíferos. Logo, todos os gatos são baleias. 3. As regras de validade do silogismo são três segundo Aristóteles.
Regras do Silogismo Categórico
Regras dos Termos
Regras
Exemplos Inválidos
1
Ter três termos (sem equívocos): maior, médio e menor.
Todo o touro tem chifres
Touro é uma constelação
Logo, uma constelação tem chifres

T. Maior: chifres; T. Médio: Touro (animal); Menor: Constelação; 4º. Termo: Touro (constelação).
2
Os termos maior e menor não podem ter, na conclusão, maior extensão do que nas premissas.