úterý 5. července 2011

Kdopak by se matematiky bál.

Z hlediska rozlišení explicitního a implicitního se tvrzení existence předmětu, podobně jako tvrzení jeho identity se sebou samým, stává na objektové (explicitní) úrovni trivialitou, jinými slovy: existence buďto není vlastností předmětů, nebo je jejich vlastností triviální, tj. přísluší každému prvku univerza. To je také závěr Fregova (1983, s. 71) dialogu s Pünjerem. Netriviální přípis existence má podle Frega vždy charakter predikace druhořádové vlastnosti prvořádovému pojmu, jak to ještě zmíníme v oddíle 4.6  v souvislosti s Fregovou analýzou pojmu čísla.

Citováno z práce prof. Vojtěcha Kolmana : Filosofie čísla.