Premium
Existence and Predication from Aristotle to Frege
Author(s) -
VILKKO Risto,
HINTIKKA Jaakko
Publication year - 2006
Publication title -
philosophy and phenomenological research
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.7
H-Index - 39
eISSN - 1933-1592
pISSN - 0031-8205
DOI - 10.1111/j.1933-1592.2006.tb00622.x
Subject(s) - predicate (mathematical logic) , existentialism , dual polyhedron , term (time) , mathematics , philosophy , epistemology , proposition , quantifier (linguistics) , linguistics , pure mathematics , computer science , physics , quantum mechanics , programming language
One of the characteristic features of contemporary logic is that it incorporates the Frege‐Russell thesis according to which verbs for being are multiply ambiguous. This thesis was not accepted before the nineteenth century. In Aristotle existence could not serve alone as a predicate term. However, it could be a part of the force of the predicate term, depending on the context. For Kant existence could not even be a part of the force of the predicate term. Hence, after Kant, existence was left homeless. It found a home in the algebra of logic in which the operators corresponding to universal and particular judgments were treated as duals, and universal judgments were taken to be relative to some universe of discourse. Because of the duality, existential quantifier expressions came to express existence. The orphaned notion of existence thus found a new home in the existential quantifier.