Logica

FORMAS DE INFERÊNCIA VÁLIDA: O SILOGISMOCATEGÓRICO
Silogismo raciocínio dedutivo geralmente formado por três proposições, em quede duas delas, que funcionam como premissas ou antecedente, se extrai outraproposição que é a sua conclusão ou consequente. Formas de inferência válida procura-se um silogismo perfeito (transformaçãode argumentar na forma corrente em argumentar na forma canónica). Silogismo Categórico raciocínio em que de duas premissas que ligam doistermos a um terceiro se extrai uma conclusão, que liga dois termos entre si. ESTRUTURA DO SILOGISMO CATEGÓRICO Premissa maior (geralmente é a primeira) Contêm o termo maior (T), que é sempre o predicado da conclusão e diz-nos qual é a premissa maior, da qual faz parte. Premissa menor (geralmente é a segunda) Contêm o termo menor (t), que é sempre o sujeito da conclusão e indica-nos qual é a premissa menor Conclusão Conhece-se por não conter o termo médio (M). Termo médio estabelece a ligação entre termo maior e termo menor. Aparecenas duas premissas, mas nunca aparece na conclusão. Todos os mamíferos são animais.Os cães são mamíferos.Logo, os cães são animais. termo maior:Animais Termo menor: cãesTermo médio: mamíferos REGRAS DO SILOGISMO CATEGÓRICO Regras relativas aos termos 1.ª Regra O silogismo tem três termos: o maior, o menor e o médio.Exemplo:As margaridas são flores.Algumas mulheres são Margaridas.Algumas mulheres são flores.“margaridas” e “Margaridas” é termo equívoco Não respeitamos esta regra, porque este silogismo tem 4 termos O termo “margaridas” está empregue em 2 sentidos, valendo por 2termos. 2.ª Regra Se um termo está distribuído na conclusão, tem de estar distribuído nas premissas.Exemplo:Os espanhóis São inteligentes. (Predicado não distribuído)Os portugueses não são espanhóis.Os portugueses não são inteligentes. Menor extensão na conclusão do que