Filosofia
Quantificador: Qualquer dispositivo linguístico usado para dizer quantos particulares ( ou proprietários ) exemplificam uma dada propriedade, por exemplo, podemos dizer que alguns filósofos são gregos, estamos nesse caso a dizer que um numero indeterminado de particulares têm uma certa propriedade ( são gregos ).
Quantificador existencial: Expressões como “alguns”, “pelo menos” , por exemplo, são quantificadores existenciais. A negação de um quantificador existencial é um quantificador universal, porque negar que alguns filósofos são imortais é o mesmo que afirmar que todos os filósofos são imortais.
Quantificador universal: Expressões como “todos”, “nenhum”,por exemplo, são quantificadores universais. A negação de um quantificador universal é um quantificador existencial, porque negar que todos os filósofos são gregos é o mesmo que afirmar que alguns filósofos não são gregos.
Argumento * Dedutivo – um argumento dedutivo é valido quando é impossível ter premissas verdadeiras e conclusão falsa
* Não dedutivo – um argumento não dedutivo é valido quando é improvável, mas possível, ter premissas verdadeiras e conclusão falsa
Silogismo: É um argumento dedutivo com 2 permissas e uma conclusão e que tem as seguintes características: * Usa apenas proposições do tipo A, E, I, ou O; * Tem necessariamente 3 termos e não mais do que isso: o termo menor é o termo sujeito da conclusão e tem de ocorrer numa das premissas ( e só numa delas ), a que se chama por isso permissa menor; o termo médio não ocorre na conclusão mas ocorre nas 2 premissas; e o termo maior, que é o termo predicado da conclusão e que tem de ocorrer numa das premissas ( e só numa ), a que se chama por isso premissa maior.
Exemplo:
Todos os homens são mortais. Termo Médio Termo Menor
Termo Médio
Todos os mortais são infelizes. Termo Maior