Silogismos Categ—ricos - CFH

Figura 10: Exemplo 1: superposição das premissas 1 e 2. O "x"mostra a possibilidade
de haver um canário que não é morcego em uma área que não foi eliminada.
Figura 11: Diagrama premissa P1 do exemplo 2.
garrafas". Mas, na maioria dos casos, não há como fazer isso, como em "Há infinitos
números primos" (teorema demonstrado por Euclides de Alexandria na antiguidade
grega) ou "Há duendes verdes em meu jardim". Na verdade, o que está por trás disso
é a questão de se saber o que significa "existir". O problema é complexo, e não tem
resposta fácil, tendo sido discutido amplamente na literatura filosófica.
Já na antiguidade grega, Parmênides colocada questões sobre a existência, mas não
adentraremos nesta questão aqui (para ver algo sobre o assunto, consulte o capítulo
inicial de [Kra.2013]).
Mesmo na ciência presente, há afirmações sobre certas entidades cuja "existência" é
vaga, como certas entidades supostas pelas teorias físicas. O físico não está muito preocupado
com isso, pois essas questões ontológicas não lhe dizem muito respeito. Em
15