Predicate (grammar) in the context of "Categories (Aristotle)"

In logic, a predicate is a non-logical symbol that represents a property or a relation, though, formally, does not need to represent anything at all. For instance, in the first-order formula ${\displaystyle P(a)}$, the symbol ${\displaystyle P}$ is a predicate that applies to the individual constant ${\displaystyle a}$ which evaluates to either true or false. Similarly, in the formula ${\displaystyle R(a,b)}$, the symbol ${\displaystyle R}$ is a predicate that applies to the individual constants ${\displaystyle a}$ and ${\displaystyle b}$. Predicates are considered a primitive notion of first-order, and higher-order logic and are therefore not defined in terms of other more basic concepts.

The term derives from the grammatical term "predicate", meaning a word or phrase that represents a property or relation.

In linguistics and grammar, a sentence is a linguistic expression, such as the English example "The quick brown fox jumps over the lazy dog." In traditional grammar, it is typically defined as a string of words that expresses a thought, or as a unit consisting of a subject and predicate. In non-functional linguistics it is typically defined as a maximal unit of syntactic structure such as a constituent. In functional linguistics, it is defined as a unit of written texts delimited by graphological features such as upper-case letters and markers such as periods, question marks, and exclamation marks. This notion contrasts with a curve, which is delimited by phonologic features such as pitch and loudness and markers such as pauses; and with a clause, which is a sequence of words that represents some process going on throughout time.A sentence can include words grouped meaningfully to express a statement, question, exclamation, request, command, or suggestion.

In linguistics, grammatical relations (also called grammatical functions, grammatical roles, or syntactic functions) are functional relationships between constituents in a clause. The standard examples of grammatical functions from traditional grammar are subject, direct object, and indirect object. In recent times, the syntactic functions (more generally referred to as grammatical relations), typified by the traditional categories of subject and object, have assumed an important role in linguistic theorizing, within a variety of approaches ranging from generative grammar to functional and cognitive theories. Many modern theories of grammar are likely to acknowledge numerous further types of grammatical relations (e.g. complement, specifier, predicative, etc.).

The role of grammatical relations in theories of grammar is greatest in dependency grammars, which tend to posit dozens of distinct grammatical relations. Every head-dependent dependency bears a grammatical function.

The analytic–synthetic distinction is a semantic distinction used primarily in philosophy to distinguish between propositions (in particular, statements that are affirmative subject–predicate judgments) that are of two types: analytic propositions and synthetic propositions. Analytic propositions are true or not true solely by virtue of their meaning, whereas synthetic propositions' truth, if any, derives from how their meaning relates to the world.

While the distinction was first proposed by Immanuel Kant, it was revised considerably over time, and different philosophers have used the terms in very different ways. Furthermore, some philosophers (starting with Willard Van Orman Quine) have questioned whether there is even a clear distinction to be made between propositions which are analytically true and propositions which are synthetically true. Debates regarding the nature and usefulness of the distinction continue to this day in contemporary philosophy of language.

In language, a clause is a constituent or phrase that comprises a semantic predicand (expressed or not) and a semantic predicate. A typical clause consists of a subject and a syntactic predicate, the latter typically a verb phrase composed of a verb with or without any objects and other modifiers. However, the subject is sometimes unexpressed if it is easily deducible from the context, especially in null-subject languages but also in other languages, including instances of the imperative mood in English.

A complete simple sentence contains a single clause with a finite verb. Complex sentences contain at least one clause subordinated to (dependent on) an independent clause (one that could stand alone as a simple sentence), which may be co-ordinated with other independents with or without dependents. Some dependent clauses are non-finite, i.e. they do not contain any element/verb marking a specific tense.

A subject is one of the two main parts of a sentence (the other being the predicate, which modifies the subject).

For the simple sentence John runs, John is the subject, a person or thing about whom the statement is made.

A predicative expression (or just predicative) is part of a clause predicate, and is an expression that typically follows a copula or linking verb, e.g. be, seem, appear, or that appears as a second complement (object complement) of a certain type of verb, e.g. call, make, name, etc. The most frequently acknowledged types of predicative expressions are predicative adjectives (also predicate adjectives) and predicative nominals (also predicate nominals). The main trait of all predicative expressions is that they serve to express a property that is assigned to a "subject", whereby this subject is usually the clause subject, but at times it can be the clause object. A primary distinction is drawn between predicative (also predicate) and attributive expressions. Further, predicative expressions are typically not clause arguments, and they are also typically not clause adjuncts. There is hence a three-way distinction between predicative expressions, arguments, and adjuncts.

The terms predicative expression on the one hand, and subject complement and object complement on the other hand overlap in meaning to a large extent.