Lógica/Lógica Tradicional: diferenças entre revisões

[edição não verificada][edição não verificada]
Conteúdo apagado Conteúdo adicionado
Linha 130:
:Este sistema é consistente, ou seja, as verdades não são contrárias ou contraditórias entre si. Não há nada de contraditório em estar estipulada a punição para um crime que nunca ocorreu. Contudo, se “todos assassinos são executados” for premissa de um raciocínio de subalternação, teremos como conclusão “alguns executados são assassinos”, o que é contraditório com “nunca ocorreu um assassinato”, ou seja, “assassinos não existem [no contexto em questão]”.
:Assim, para se realizar a inferência “Todo A é B. Logo alguns Bs são As.” deve-se assumir que o conjunto dos As (e conseqüentemente o dos Bs) não é vazio. O que, na concepção contemporânea de lógica, significa que deve haver uma premissa que afirme que As existem.
:Da mesma forma, para se realizar a inferência “Nenhum A é B. Logo alguns Bs não são As.” deve-se assumir que o conjunto dos Bs não é vazio (podendo o conjunto dos As ser ou não vazio). O que, na concepção contemporânea de lógica, significa que deve haver uma premissa que afirme que Bs existem.
:Algo semelhante também ocorre com alguns silogismos, como veremos adiante.