Silogismo condicional
Tratam-se de argumentos dedutivos onde existe um antecedente- se- e um consequente- então- presentes na primeira premissa, a segunda premissa (menor) nega ou afirma um dos dois.
Modus Ponens (afirma o antecedente)
Forma válida Forma inválida
A premissa menor tem que afirmar o antecedente (se) e a conclusão afirma o consequente (então). é um silogismo condicional positivo. Afirma o consequente, logo, nada se pode concluir necessariamente.
Ex: Se mente, então é imoral.
Ora, mente.
Logo, é imoral. Se mente, então é imoral.
Ora, é imoral.
Logo, mente.
Modus Tollens (nega o consequente)
Forma válida Forma inválida
A premissa menor tem que negar o consequente (então) e a conclusão nega o antecedente (se). é um silogismo condicional negativo. Nega o antecedente nada se pode concluir necessariamente.
Ex: Se mente, então é imoral.
Ora, não é imoral.
Logo, não mente. Se mente, então é imoral.
Ora, não mente.
Logo,não é imoral. Silogismo disjuntivo (ou…ou)
Este tipo de silogismo ocorre quando a premissa maior dá-nos 2 alternativas (premissa disjuntiva) e está dividido em dois modos:
Modus ponendo-tollensModus tolendo-ponensA premissa menor afirma a uma alternativa, sendo a outra alternativa negada na conclusão. A premissa menor nega a uma alternativa, sendo a outra alternativa afirmada na conclusão.
Ex: Ou é dia ou é noite.
É dia.
Logo, não é noite. Ou é dia ou é noite.
Não é dia.
Logo, é noite.
Lógica informal
-A