Predicates

Predicates can themselves have quantificational structure and relational constituents.

Logical Form Pietroski, Paul 2009

Predicates also have extensions with respect to pairs of contexts and worlds.

Again 2009

Predicates have a fixed finite arity in FOL, and nothing precludes binding at once a variable in the first argument of one predicate and in the second argument of another predicate.

Combinatory Logic Bimbó, Katalin 2008

Brentlinger, J. 1972, ˜Incomplete Predicates and the Two-World Theory of the Phaedo,™ Phronesis,

Plato's Middle Period Metaphysics and Epistemology Silverman, Allan 2008

Predicates that implicitly refer to the class that they were to determine if such a class existed, do not determine a class.

Philosophy of Mathematics Horsten, Leon 2007

Predicates suitable as truth predicates for sublanguages of the language of arithmetic can be defined within the language of arithmetic, as long as the quantificational complexity of the formulas in the sublanguage is restricted.

Axiomatic Theories of Truth Halbach, Volker 2007

Predicates representing these notions can be inserted into a formal structure that contains a preference relation.

Preferences Hansson, Sven Ove 2006

“Predicates and Properties”, it is appropriate here to discuss some issues in which the distinction between predicates and properties intersects the distinction between determinables and determinates in ways not explicitly connected with conjunctive and disjunctive.

Determinates vs. Determinables Sanford, David H. 2006

Predicates not signifying substance which are predicated of a subject not identical with themselves or with a species of themselves are accidental or coincidental; e.g. white is a coincident of man, seeing that man is not identical with white or a species of white, but rather with animal, since man is identical with a species of animal.

Posterior Analytics Aristotle 2002

Predicates so related to their subjects that there are other predicates prior to them predicable of those subjects are demonstrable; but of demonstrable propositions one cannot have something better than knowledge, nor can one know them without demonstration.

Posterior Analytics Aristotle 2002