Bias-Conditioned Negation: A Shared Licensing Predicate #

@cite{napoli-nespor-1976} @cite{romero-han-2004} @cite{repp-2013} @cite{farkas-bruce-2010} @cite{hohle-1992} @cite{romero-2024}

Bias-conditioned negation is the cluster of phenomena where a negation marker appears not to negate truth-conditionally but to mark the speaker's presupposition that their assertion contradicts a prior belief — their own or one attributed to the addressee.

@cite{napoli-nespor-1976} first identified the cluster for Italian non₂ in comparative clauses and indirect questions. The same licensing predicate has been independently rediscovered for biased English polar questions (@cite{romero-han-2004}, @cite{romero-2024}), VERUM focus (@cite{hohle-1992}, @cite{repp-2013}), and discourse rejection moves (@cite{farkas-bruce-2010}). This module provides the framework-neutral licensing predicate; specific historical and modern implementations consume it.

The Four Conditions #

@cite{napoli-nespor-1976} §2 establish that bias-conditioned negation is licensed exactly when ALL of the following hold:

Contradicts prior belief — the speaker presupposes the assertion contradicts a belief held prior to the discourse turn.
Assertive force — the move is an assertion. Encoded as illocutionaryMood = .declarative (derived through isAssertive).
Matrix unnegated — the matrix predicate is not negated.
Imprecise / inferred — the speaker's evidence is inferred, not explicit.

The four conditions are logically independent (one-axis blocking witnessed below) and jointly necessary and sufficient for the Italian non₂ paradigm.

Prop, not Bool #

licenses is a Prop (not a Bool). The four atomic axes remain Bool fields — they are user-supplied empirical data — but the conjunctive licensing predicate exposes its logical structure (∧ rather than &&) so consumers can use obtain/rintro directly. Decidability is provided.

Cross-construction connections #

§6 connects the predicate to @cite{greco-2020}'s weak-EN polarity profile in Phenomena.Negation.ExpletiveNegation.PolarityLicensing. The Romero-2024 HiNQ bridge — a predicate-level correspondence between this licensing condition and Romero's bias requirement — lives in Phenomena/Questions/Studies/Romero2024.lean, so that this file does not have to import the BiasedPQ stack.

These are predicate-level correspondences, not stipulated maps. An earlier draft had toRomeroForm := if licenses then HiNQ else none (a two-cell table dressed as a function); the relocated bridge instead proves the relationship between the licensing condition and Romero's bias requirement directly.

Historical Note #

@cite{napoli-nespor-1976}'s original implementation routed the licensing condition through an abstract higher S in deep structure with non₂ base-generated in S₃ and optionally deleted by transformation. The deep-structure-with-deletion-rule machinery is a Generative Semantics artifact (1968–1976); the licensing predicate itself is foundational and is the unit shared with covert-VERUM (@cite{romero-han-2004}) and commitment-update (@cite{farkas-bruce-2010}) reanalyses.