Positivismo
I
1') Nenhum dos meus filhos é gordo;
3) Todo o glutão, que seja uma das minhas crianças, é gordo;
6) Logo, nenhum glutão, que seja uma das minhas crianças, é meu filho.
Em segundo lugar, por CONVERSÃO e depois podemos reformular a proposição 2 na proposição equivalente 2': Todas as minhas crianças saudáveis fazem exercício. Por outro lado, tomando (no contexto) o termo geral
«filha» como equivalente ao termo geral «não filho», e, de novo por CONVERSÃO e depois
OBVERSÃO, podemos reformular a proposição 4 na proposição equivalente 4': Todas as minhas crianças que fazem exercício são meus filhos.
Juntando estas duas proposições como premissas, obtemos o seguinte silogismo válido:
OBVERSÃO,
II
2') Todas as minhas crianças saudáveis fazem exercício;
4') Todas as minhas crianças que fazem exercício são meus filhos;
7) Logo, todas as minhas crianças saudáveis são meus filhos.
Finalmente, tomamos as conclusões dos silogismos I e II como premissas e obtemos o seguinte silogismo válido:
III
7) Todas as minhas crianças saudáveis são meus filhos; 6) Nenhum glutão, que seja uma das minhas crianças, é meu filho;
5') Logo, nenhum glutão, que seja uma das minhas crianças, é saudável.
A proposição 5' é, por obversão, reformulável na conclusão geral 5. Nesta cadeia de silogismos, os silogismos I e II são ambos prossilogismos relativamente ao silogismo III; e este último é um epissilogismo relativamente a cada um daqueles silogismos. Ver também SILOGISMO; QUADRADO DE OPOSIÇÃO. JB
Carroll, L. 1976. Complete Works. Nova Iorque:
Random House.
positivismo lógico Um dos movimentos mais importantes do pensamento filosófico analítico, conhecido também por «neopositivismo» e por
«empirismo lógico». Tendo surgido nos anos vinte com o Círculo de Viena, o positivismo lógico manteve uma vasta influência durante cerca de trinta anos. Os elementos deste movimento, unidos por uma postura radicalmente empirista e