Lista de formas de argumento válidas - List of valid argument forms
Das muitas e variadas formas de argumento que podem ser construídas, apenas muito poucas são formas de argumento válidas . Para avaliar esses formulários, as declarações são colocadas de forma lógica . A forma lógica substitui quaisquer sentenças ou ideias por letras para remover qualquer parcialidade do conteúdo e permitir que se avalie o argumento sem qualquer parcialidade devido ao seu assunto.
Ser um argumento válido não significa necessariamente que a conclusão será verdadeira. É válido porque se as premissas são verdadeiras, então a conclusão tem que ser verdadeira. Isso pode ser provado para qualquer forma de argumento válida usando uma tabela verdade que mostra que não há nenhuma situação em que existam todas as premissas verdadeiras e uma conclusão falsa.
Formas silogísticas válidas
Na lógica silogística , há 256 maneiras possíveis de construir silogismos categóricos usando as formas de instrução A , E , I e O no quadrado da oposição . Dos 256, apenas 24 são formulários válidos. Dos 24 formulários válidos, 15 são incondicionalmente válidos e 9 são condicionalmente válidos.
Incondicionalmente válido
| figura 1 | Figura 2 | Figura 3 | Figura 4 | ||||
|---|---|---|---|---|---|---|---|
|
AAA EAE AII EIO |
AEE EAE EIO AOO |
AII IAI OAO EIO |
AEE IAI EIO |
||||
Condicionalmente válido
| figura 1 | Figura 2 | Figura 3 | Figura 4 | Condição exigida | |||||
|---|---|---|---|---|---|---|---|---|---|
|
AAI EAO |
AEO EAO |
AEO | Assunto existe | ||||||
|
AAI EAO |
EAO | Termo médio existe | |||||||
| AAI | Predicado existe | ||||||||
Formas proposicionais válidas
A seguir está uma lista de algumas formas de argumento válidas comuns na lógica proposicional. Ele está longe de ser exaustivo e fornece apenas alguns exemplos das formas de argumento válidas mais conhecidas.
Modus ponens
Uma forma de argumento válida é conhecida como modus ponens , que não deve ser confundida com modus tollens , que é outra forma de argumento válida que tem um nome e uma estrutura semelhantes. Modus ponens (às vezes abreviado como MP) diz que se uma coisa é verdade, então outra o será. Em seguida, afirma que a primeira é verdadeira. A conclusão é que a segunda coisa é verdade. É mostrado abaixo de forma lógica.
- Se A, então B
- UMA
- Portanto B
Antes de ser colocada em uma forma lógica, a declaração acima poderia ter sido algo como a seguir.
- Se Kelly não terminar o dever de casa, ele não irá para a aula
- Kelly não terminou o dever de casa
- Portanto, Kelly não irá para a aula
As duas primeiras declarações são as premissas, enquanto a terceira é a conclusão derivada delas.
Modus tollens
Outra forma de argumento é conhecida como modus tollens (comumente abreviado como MT). Desta forma, você começa com a mesma premissa inicial do modus ponens. No entanto, a segunda parte da premissa é negada, levando à conclusão de que a primeira parte da premissa também deve ser negada. É mostrado abaixo de forma lógica.
- Se A, então B
- Não ser
- Portanto, não A.
Quando o modus tollens é usado com o conteúdo real, é a seguinte aparência.
- Se o Saints vencer o Super Bowl, haverá uma festa em Nova Orleans naquela noite
- Não houve festa em Nova Orleans naquela noite
- Portanto, o Santos não ganhou o Super Bowl
Silogismo hipotético
Muito parecido com o modus ponens e o modus tollens, o silogismo hipotético (às vezes abreviado como HS) contém duas premissas e uma conclusão. No entanto, é um pouco mais complicado do que os dois primeiros. Em suma, afirma que, se uma coisa acontecer, outra também acontecerá. Se essa segunda coisa acontecer, uma terceira a seguirá. Portanto, se a primeira coisa acontecer, é inevitável que a terceira também aconteça. É mostrado abaixo de forma lógica.
- Se A, então B
- Se B, então C
- Portanto, se A, então C
Quando colocado em palavras, tem a seguinte aparência.
- Se chover hoje, vou usar minha capa de chuva
- Se eu usar minha capa de chuva, vou me manter seco
- Portanto, se chover hoje, vou me manter seco
Silogismo disjuntivo
O silogismo disjuntivo (às vezes abreviado como DS) tem uma das mesmas características do modus tollens por conter uma premissa; em seguida, em uma segunda premissa, nega uma afirmação, levando à conclusão. No Silogismo Disjuntivo, a primeira premissa estabelece duas opções. O segundo tira um, então a conclusão afirma que o restante deve ser verdadeiro. É mostrado abaixo de forma lógica.
- Ou a ou B
- Não um
- Portanto B
Quando usados, A e B são substituídos por exemplos da vida real, como mostrado abaixo.
- Ou você vai ver Joe na aula hoje ou ele vai dormir demais
- Você não viu o Joe na aula hoje
- Portanto, Joe dormiu demais
O silogismo disjuntivo pega duas opções e as reduz a uma.
Dilema construtivo
Outra forma válida de argumento é conhecida como dilema construtivo ou, às vezes, apenas "dilema". Isso não deixa o usuário com uma instrução sozinha no final do argumento; em vez disso, oferece a opção de duas instruções diferentes. A primeira premissa dá a opção de duas afirmações diferentes. Em seguida, afirma que se o primeiro acontecer, haverá um resultado específico e se o segundo acontecer, haverá um resultado separado. A conclusão é que o primeiro resultado ou o segundo resultado acontecerá. A crítica com esta forma é que não dá uma conclusão definitiva; apenas uma declaração de possibilidades. Quando escrito na forma de argumento, é semelhante a abaixo.
- Ou a ou B
- Se A, então C
- Se B, então D
- Portanto, C ou D
Quando o conteúdo é inserido no lugar das letras, tem a seguinte aparência.
- Bill vai pegar as escadas ou o elevador para seu quarto
- Se ele subir as escadas, ele ficará cansado quando chegar ao seu quarto
- Se ele pegar o elevador, perderá o início do jogo de futebol na TV
- Portanto, Bill estará cansado quando chegar ao seu quarto ou perderá o início do jogo de futebol
Existe uma versão ligeiramente diferente de dilema que usa a negação em vez de afirmar algo conhecido como dilema destrutivo . Quando colocado na forma argumentativa, tem a seguinte aparência.
- Se A, então C
- Se B, então D
- Não C ou não D
- Portanto, não é A ou não B