Moreover, in search of characteristics of negation as a one-place connective, several dimensions of classification are available, depending on the logical vocabulary of the language under consideration (propositional, first-order, multi-modal, etc).
To multiply two numbers several places long, the scribe first broke the problem down into several multiplications, each by a one-place number, and then looked up the value of each product in the appropriate tables.
Consider a language with a one-place predicate symbol I (for individuals), a one-place predicate symbol S (for sets), and a two-place predicate symbol E (for the membership relation).
This restriction, together with the licensing condition on the alleged theme, suggests that perception verbs and cognition verbs start out as a one-place verb.
Add a one-place function symbol \ k\) to the machinery building up justification terms, and adopt the justification axiom scheme \ k(t)(tX{\rightarrow}X)\).
Consider the following definition of a one-place predicate \(G\): This definition is essentially circular; it is not reducible to one in normal form.
In familiar first-order languages, for instance, it is pointless to define, say, a one-place predicate \(G\) by a homogeneous definition.
Equivalently, we can say that Descartes took motion ('properly speaking') to be a complete predicate: that is, moves-properly-speaking is a one-place predicate.
The first is a two-place relation, with the identity pair <SUPERMAN, SUPERMAN> as relata; the second is a one-place property.
