Logos

REALIZATIONrlz.eng.polarity

polarity in English

English negates with a word attached to the finite auxiliary, supplying an auxiliary where none exists, and the standard variety permits only one negation per clause.

Clausal negation in English attaches to the finite auxiliary and not to the lexical verb. The negator has a full form and a reduced one, and the reduced one is a clitic fused to the auxiliary tightly enough that some of the resulting words are irregular in shape. Where the clause has no auxiliary, the language inserts do for the negator to attach to, exactly as it does for a question, and the lexical verb reverts to its plain form. That insertion is the reason this record reads explicit rather than periphrastic: the exponent is a bound element on a word, and the language will manufacture a host for it rather than leave it unattached.

Beside the clausal negator sits a set of words that incorporate negation lexically, covering a negated person, thing, time, place and determiner. These are single words, not phrases, which is the sense in which this dimension is marked at the level of the individual word rather than the clause.

The standard variety allows exactly one negation per clause, so a clause with a negative determiner cannot also carry the clausal negator on the same reading, and a speaker who does combine two is understood as cancelling one against the other rather than as reinforcing them. This is a real point of variety internal divergence and is recorded here rather than split into a separate node: many nonstandard varieties of the language use negative concord productively, where a second and third negative element reinforce a single negation instead of cancelling it, which is what a great many other languages do as their standard. The record describes the standard variety and says so.

The affirmative is unmarked, with one exception worth naming: emphatic affirmation uses the same inserted auxiliary under stress, so the language has a way of asserting a positive polarity out loud when it is at issue. The obligatoriness is recorded as obligatory because a clause that means a negation must carry the marking, and no clause can leave polarity undetermined.

statusstatus
documentedasserted, and the sources agree
provenanceprovenance
authoredwritten for Logos, from first principles
derivation statusderivation_status
unstatednobody has said whether it follows from anything
saliencesalience
No salience. Where no frequency source applies the object carries none, rather than a default or a guess (03-schema.md §3.5).
aliasesaliases
None recorded.
sourcessources
An empty list, which is an assertion: this rests on nothing external, and somebody checked. It is not the same as nobody having looked.

What this language does about this category

realization.state

One of five states, or the eleventh cell: nobody has recorded a state, which is not a claim that the language lacks the distinction.

statestate
explicit, documented: marked in the word itselfexplicit
obligatorinessobligatoriness
obligatorymarked wherever it applies

The realizers

realization.via

Every via edge: this realizer, this way. An explicit or periphrastic state is a summary of this list, recomputed on every build and never authored.

No realizer. For an absent or void state that is required rather than missing: those states have zero via edges by design (03-schema.md §6.1).

Everything joined to this object

One group per typed edge, in both directions. A1b guarantees no object node is an orphan, so this is the whole navigation: an object with no edges would have failed the build rather than reached this page.

What this object is a kind of

Walking this object's own `is-a` edges: what it is a kind of. Several branches from one object are several classification axes, not competing supertypes.

objects
1
places drawn
1
multi-parent
None in this view. This subgraph happens to be a tree, which the explorer draws as one without assuming it is one.

Siblings are listed by name, then by id to break ties. That is a display choice made here and not an order the graph asserts.

Fan-out per dimension

A4

One row per dimension, largest first. That is a display order, not a verdict: 03-schema.md declares no threshold above which fan-out is too much, so this reports the count and grades nothing.

  • case13 values
  • mood8 values
  • voice8 values
  • aspect7 values
  • aktionsart6 values
  • number6 values
  • person6 values
  • tense6 values
  • comparison4 values
  • evidentiality4 values
  • gender4 values
  • politeness4 values
  • valency4 values
  • animacy3 values
  • definiteness3 values
  • deixis3 values
  • finiteness2 values
  • information structure2 values
  • interrogativity2 values
  • polarity2 values
  • switch-reference2 values

What kinds of this object there are

Walking the `is-a` edges that point at this object: what kinds of it there are. An object reachable two ways is drawn in both places and is still one object.

objects
1
places drawn
1
multi-parent
None in this view. This subgraph happens to be a tree, which the explorer draws as one without assuming it is one.

Siblings are listed by name, then by id to break ties. That is a display choice made here and not an order the graph asserts.

has-a

edges.has-a

the parent carries this

this object carries

derives

edges.derives

the why-chain