===== SILOGISMO HIPOTÉTICO =====
Chama-se [[lexico:s:silogismo-hipotetico:start|silogismo hipotético]] o [[lexico:s:silogismo:start|silogismo]] no qual a maior é constituída por uma [[lexico:p:proposicao:start|proposição]] hipotética e a menor assegura ou destrói uma das partes da maior.

[[lexico:e:exemplo:start|exemplo]]:

Se a [[lexico:t:terra:start|Terra]] gira ela se move

Ora, a terra gira

Logo ela se move

Podem-se distinguir [[lexico:q:quatro:start|Quatro]] espécies de proposições hipotéticas: condicionais, conjuntivas, disjuntivas, copulativas. Mas, como das copulativas [[lexico:n:nao:start|não]] se pode, em [[lexico:l:logica:start|lógica]], [[lexico:n:nada:start|nada]] retirar, de válido, restam três espécies de maiores que dão três formas diferentes de silogismos hipotéticos: o silogismo condicional, o conjuntivo e o [[lexico:d:disjuntivo:start|disjuntivo]]. Exemplos das duas últimas formas:

Disjuntivo:

Ou o [[lexico:c:circulo:start|círculo]] é uma curva ou é uma reta

Ora, o círculo é uma curva

Logo, ele não é uma reta

Conjuntivo:

O [[lexico:h:homem:start|homem]] não pode ao mesmo [[lexico:t:tempo:start|tempo]] servir a [[lexico:d:deus:start|Deus]] e a Mammon

Ora, ele serve a Deus

Logo, ele não serve a Mammon

É o silogismo (raciocínio), cujas premissas contêm pelo menos um  [[lexico:j:juizo:start|juízo]] [[lexico:h:hipotetico:start|hipotético]] (em [[lexico:s:sentido:start|sentido]] lato). No silogismo condicional, de várias proposições condicionais pode concluir-se outra na [[lexico:f:forma:start|forma]]: se A, logo B; se B, logo C; portanto, se A, logo C. — Mas de uma proposição condicional pode-se também, com o auxílio de uma [[lexico:p:proposicao-categorica:start|proposição categórica]], inferir outra proposição categórica. Neste caso são possíveis duas formas: concluir da [[lexico:c:condicao:start|condição]] o condicionado (= [[lexico:m:modus-ponens:start|modus ponens]]: se A é, B é; A é, logo B também é), ou concluir da [[lexico:n:negacao:start|negação]] do condicionado a negação da condição (= [[lexico:m:modus-tollens:start|modus tollens]]: se A é, B é; B não é, logo A também não é). Deve notar-se A ou B são tomados negativamente na maior, a negação deve manter-se na conclusão. No "modus tollens", da dupla negação segue-se, na conclusão uma [[lexico:a:afirmacao:start|afirmação]] (Se não-A, logo B; B não é; logo não não-A = logo A é). — E ilegítimo inferir da [[lexico:v:verdade:start|verdade]] do condicionado a verdade da condição ou da [[lexico:f:falsidade:start|falsidade]] da condição a falsidade do condicionado. Concluir do condicionado para a sua condição necessária é concluir segundo o "modus tollens" (se não-A, logo não-B; B é = não não-B; logo A é = não não-A). — No silogismo disjuntivo, a [[lexico:p:premissa:start|premissa]] maior consta de uma [[lexico:d:disjuncao:start|disjunção]]. Se esta é exclusiva, da negação de um membro (ou de todos, exceto um) pode concluir-se a afirmação do [[lexico:o:outro:start|outro]], e da afirmação de um membro a negação do outro (ou de todos os outros) (ou A ou B; A não é, logo B é; ou então: A é, logo B não é). Se pelo contrário, a disjunção não for exclusiva, só se pode concluir da negação de um membro (ou de todos exceto um) a afirmação do outro. Também aqui, se se dá o caso, importa [[lexico:t:ter:start|ter]] presente, se houver negação nos membros, uma dupla negação na conclusão. — No silogismo conjuntivo, a premissa maior consta de um juízo conjuntivo (na forma: A e B podem não [[lexico:s:ser:start|ser]] simultaneamente verdadeiros). Da verdade de um membro infere-se a falsidade do outro. Ao invés, da falsidade de um não se segue [[lexico:c:coisa:start|coisa]] alguma a [[lexico:r:respeito:start|respeito]] do outro, porque ambos podem, mas não devem, ser falsos ao mesmo tempo. — Afim ao silogismo condicional e ao disjuntivo é o [[lexico:d:dilema:start|dilema]]. Sua premissa maior é constituída por uma proposição condicional, cujo [[lexico:c:consequente:start|consequente]] é um juízo disjuntivo exclusivo (se a disjunção consta de mais de dois membros, o [[lexico:r:raciocinio:start|raciocínio]] chama-se [[lexico:p:polilema:start|polilema]]); a premissa menor nega todos os membros do juízo disjuntivo; daí se segue então que deve negar-se também o [[lexico:a:antecedente:start|antecedente]] da condicional (se A, logo B ou C; mas nem B nem C são; logo A também não é). — [[lexico:b:brugger:start|Brugger]].

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}