estudante

Argumentação e Elementos de
Lógica Formal

Professor Fabiano de Almeida
Oliveira

Elementos de Lógica Formal: Definição

• A lógica formal procura estabelecer a relação entre a forma de um argumento e a sua validade, sendo um argumento válido aquele que depende exclusivamente da relação de inferência entre as premissas e a conclusão, independente de seu conteúdo.
• Os fundamentos da lógica formal foram estabelecidos por Aristóteles.

Elementos de Lógica Formal

• Raciocínio:
– Raciocinar é o processo mental de fazer inferências a partir de informações ou suposições disponíveis, delas extraindo consequências com a finalidade de passar daquilo que se conhece para aquilo que não se conhece ainda;

• Inferência:
– Inferir é tirar consequências, por implicação, de dois (silogismo) ou mais princípios ou proposições;
– Comumente os raciocínios lógicos por inferência operam por meio de dedução ou/e indução.

• Silogismo:
– Um silogismo simples é basicamente uma forma de inferência estabelecida por
Aristóteles em que a conclusão é deduzida de duas premissas (uma maior, geral ou universal e outra menor ou particular), eliminando-se o termo médio (termo médio é o termo comum às duas premissas).
• Todos os homens (Tm) são mortais
• Sócrates é homem (Tm)
• Logo Sócrates é mortal

Elementos de Lógica Formal

• Dedução, Indução e Abdução:
– Raciocinar por dedução é partir de premissas gerais ou universais para se extrair conclusões particulares; • Todos os homens são mortais (premissa universal)
• Fabiano é homem (premissa particular)
• Logo, Fabiano é mortal (conclusão particular);

– Uma das mais tradicionais formas de raciocínio dedutivo é o silogismo aristotélico (duas premissas declarativas de onde se extrai uma conclusão);

Dedução, Indução e Abdução

• Raciocinar por indução é tirar consequências gerais ou universais a partir de premissas particulares (oposto da dedução): – José morreu, Maria morreu, Ana morreu,