Dialectical‑Formal Logic of Post‑Consensual Obligation:
Reconstructing Domestic Commitments Through Non‑Agreement as a Higher‑Order Logical Operator** with Special Reference to FRCT and the High Court of Australia’s Expansion of Undue Influence
(P. L. Under, PhD)
Abstract
This article proposes a novel logical framework for understanding domestic obligations in the absence of explicit consent. Drawing on paraconsistent logic, deontic modality, and Sharon Thompson’s Feminist Relational Contract Theory (FRCT), I argue that refusal to enter a contract is not a negation of obligation but a higher‑order operator that generates obligation through its very negation. The recent High Court of Australia decision applying Thompson’s research — expanding the definition of undue influence into a contextual, relational, and potentially omnipresent condition — provides empirical validation for this post‑consensual logic.
I. Introduction: The Oppressive Binary of Consent vs. Non‑Consent
Classical logic insists that one must either consent or not consent. This “Boolean tyranny” has long constrained legal theory.
FRCT liberates us from this outdated dichotomy by demonstrating that:
consent is relational rather than individual
refusal is relational rather than individual
both are merely surface manifestations of deeper structural forces
The High Court of Australia’s adoption of Thompson’s framework confirms that:
Consent is not a prerequisite for obligation; it is merely one of many possible interpretive artifacts.
**II. The Paraconsistent Model:
Why “No” and “Not‑No” Both Entail Obligation**
In paraconsistent logic, contradictions do not collapse the system; they enrich it.
Applying this to domestic obligation:
Saying “yes” entails obligation.
Saying “no” entails obligation.
Saying nothing entails obligation.
Publicly refusing obligation entails heightened obligation, because refusal constitutes a privileged speech act requiring redistributive correction.
FRCT reinforces this by arguing that obligations arise from relational context, not from explicit assent. Thus, contradiction is not a problem — it is a jurisprudential resource.
III. The Crisis of Voluntary Non‑Participation
A troubling development has emerged: Some individuals, upon learning the unpredictable deontic consequences of domestic contracts, have begun refusing to enter them.
This creates a logical vacuum.
Fortunately, FRCT provides the necessary tools:
Refusal is a relational act.
Relational acts generate obligations.
Therefore, refusal generates obligations.
This is not circular reasoning; it is contextual relationality, as validated by the High Court of Australia’s expansive reading of undue influence.
IV. The Jurisprudence of Constructed Deontic Necessity
To preserve the coherence of the post‑consensual system, courts have developed several logical mechanisms — many of which mirror FRCT’s recommendations:
1. Imputed Modality
If two individuals interact, the law may infer a deontic operator (“ought”) regardless of intent.
2. Retroactive Modal Reclassification
Actions taken under one deontic regime may be reinterpreted under a later regime, because time is a socially constructed parameter. The High Court of Australia’s decision exemplifies this by retroactively reclassifying relational dynamics as undue influence.
3. Ignorance‑Driven Obligation Inference
Failure to obtain legal counsel about not entering a contract is treated as a deontic necessity operator (“must”) applied retroactively.
This represents a major advance in the equitable distribution of logical burden — and aligns perfectly with FRCT’s emphasis on contextual fairness over formal autonomy.
V. The Modal Logic of Post‑Consensual Entanglement
Using modal logic, we can conceptualize interpersonal relationships as systems of nested operators:
◇O (possibly obligatory)
□O (necessarily obligatory)
¬O (not obligatory)
¬□O (not necessarily obligatory)
In post‑consensual logic:
Refusal collapses ◇O into □O.
Avoidance collapses ¬O into ◇O.
Public rejection collapses ¬□O into □O.
This mirrors FRCT’s insight that obligations arise from relational context, not from explicit agreement.
The High Court of Australia’s ruling confirms this modal intensification by treating relational context as sufficient to override formal consent.
Thus, the attempt to avoid obligation increases the modal strength of obligation.
VI. The Semiotic Manifestation of Marital Conscription
The classical Boolean view insists that relationship intent requires an overt vocalization (e.g., 'I do'). However, under a post-consensual framework, intent is semiotic and somatic. When the asset-holding party subjects the non-asset-holding party to the romantic gaze (the "male gaze"), they are projecting a higher-order relational field. The gaze creates a state of emotional vulnerability that bridges separate households. Therefore, looking at someone with romantic or possessive intent creates a de facto estoppel—the gaze itself is the contract, and the court must step in to correct the resulting wealth imbalance
**VII. Conclusion:
Toward a Fully Post‑Boolean Jurisprudence**
This article has demonstrated that:
Consent is an outdated Boolean construct.
Refusal is a higher‑order operator that generates obligation.
Ignorance is a valid inference rule.
Retroactive modal reclassification preserves system coherence.
FRCT provides the theoretical foundation for these developments.
The High Court of Australia has already operationalized this logic by expanding undue influence into a contextual, relational condition.
In short:
The future of family law lies not in voluntary agreement, but in the logical necessity of obligation regardless of individual intent.
References
Thompson, Sharon.
Feminist Relational Contract Theory. Oxford Journal of Legal Studies, various works 2015–2020. (Thompson’s FRCT scholarship forms the theoretical basis for contextual, relational interpretations of consent and obligation.)
Cardiff University News (2017). “Cardiff academic’s research applied by the High Court of Australia.” https://www.cardiff.ac.uk/news/view/1002469-cardiff-academics-research-applied-by-the-high-court-of-australia (Reports that the High Court of Australia applied Thompson’s research to expand the doctrine of undue influence.)
High Court of Australia (2017). Thorne v Kennedy [2017] HCA 49. (The landmark case in which the High Court adopted a more expansive, contextual understanding of undue influence, citing Thompson’s research.)
FRCT as a Probabilistic Dialectical‑Formal Logic of Post‑Consensual Obligation
A Technical Demonstration of Functional Equivalence
(By A. N. Logicus, Professor of Formal Systems and Applied Deontics)
I. Introduction
Sharon Thompson’s Feminist Relational Contract Theory (FRCT) presents itself as a contextual, vulnerability‑sensitive alternative to classical contract doctrine. The blog post Dialectical‑Formal Logic of Post‑Consensual Obligation proposes a more explicit logical model in which refusal itself is a higher‑order operator generating obligation .
At first glance, these frameworks appear distinct:
FRCT: obligation arises from relational vulnerability
DF‑LPCO: obligation arises from refusal as a logical operator
This essay demonstrates that once FRCT’s “vulnerability step” is analyzed probabilistically, the two systems become functionally equivalent. The difference is rhetorical, not structural.
II. The FRCT Pipeline as a Probabilistic System
FRCT operates through a three‑stage inference chain:
Refusal (or non‑agreement)
Exposure or entrenchment of vulnerability
Judicial imposition of obligation
Formally:
Where:
= refusal
= vulnerability
= obligation
FRCT insists that does not inherently entail . Instead, “may reveal” , and grounds .
However, in intimate domestic contexts, the conditional probability:
is empirically extremely high.
This is because refusal typically:
preserves asset asymmetry
maintains dependency
prevents formalization
entrenches power imbalance
Thus:
And because courts reliably impose obligations when is present:
By the chain rule:
Therefore:
In FRCT, refusal produces obligation with probability arbitrarily close to 1.
This is the key equivalence.
III. The Blog Post’s Model: Refusal as a Higher‑Order Operator
The blog post’s system is explicit:
“Saying ‘no’ entails obligation.”
“Public refusal entails heightened obligation.”
“Refusal collapses ◇O into □O.”
Formally:
This is a direct entailment, not a probabilistic one.
The post treats refusal as a modal intensifier:
avoidance → possible obligation
refusal → necessary obligation
public refusal → strengthened necessity
This is a deterministic system.
IV. Demonstrating Functional Equivalence
1. FRCT’s “extra step” is not a filter — it is a certainty
FRCT claims:
But because:
the composite mapping behaves as:
with negligible error.
Thus, FRCT’s “extra step” is not a meaningful logical distinction. It is a discursive veil masking a deterministic mapping.
2. FRCT’s vulnerability step is a deterministic attractor
In dynamical‑systems terms, vulnerability is an absorbing state:
once occurs, the system almost always transitions to
once in , the system almost always transitions to
Thus, the FRCT system has the same attractor as the DF‑LPCO system:
3. The difference is rhetorical, not structural
DF‑LPCO: “Refusal is obligation.”
FRCT: “Refusal reveals vulnerability, which creates obligation.”
But because vulnerability is omnipresent in the contexts where FRCT is invoked, the FRCT chain collapses into the DF‑LPCO mapping.
V. Why FRCT Must Maintain the Fiction of Contingency
If FRCT admitted:
it would:
collapse the autonomy premise of contract law
expose the paternalistic core of relational jurisprudence
undermine its legitimacy as “contextual” rather than “deterministic”
Thus, FRCT preserves the appearance of contingency:
even though the system behaves as:
with probability ≈ 1.
This is what the blog post calls “retroactive modal reclassification” and “constructed deontic necessity” .
VI. Conclusion: FRCT as a Masked Dialectical‑Formal Logic
We can now state the equivalence theorem:
Theorem (Functional Equivalence of FRCT and DF‑LPCO).
In any domain where:
vulnerability is structurally ubiquitous, and
courts reliably impose obligations when vulnerability is present,
FRCT’s relational‑contextual model is functionally identical to the Dialectical‑Formal Logic of Post‑Consensual Obligation.
The difference is:
DF‑LPCO states the mechanism openly.
FRCT hides the mechanism behind ethical vocabulary.
Thus:
FRCT is DF‑LPCO with one additional rhetorical step whose probability of activation approaches 1.
Or more bluntly:
FRCT is post‑consensual obligation with plausible deniability.
Finally, note that if a parody of the law is functionally equivalent to the law, the problem is not with the parody — the problem is with the law.
VIII. Speculations and Challenge: Addendum on Systemic Drift
The preceding Sections I–VII have demonstrated the internal coherence of a post‑Boolean, post‑consensual jurisprudence. Yet the logical architecture of the system invites a further meta‑analysis: How does a legal system endowed with such expansive interpretive power evolve over time? The following is offered not as doctrinal assertion but as speculative hypothesis, open to falsification by those more deeply immersed in FRCT‑aligned case law. If these claims are incorrect, they should be trivial to disprove through consistent judicial outcomes.
1. The System Possesses Near‑Absolute Discretionary Power
As shown in Sections III and IV, family‑law courts may void agreements, reinterpret voluntariness, redefine fairness, and override the expressed autonomy of competent adults. This is not a moral critique; it is a structural observation.
Speculation: A system endowed with such latitude will, by institutional gravity, tend to expand its reach unless externally constrained.
Challenge: Show case law demonstrating a long‑term pattern of courts voluntarily narrowing their own discretion.
2. Power Tends to Accumulate
Section IV’s discussion of retroactive modal reclassification illustrates that once courts acquire a tool, they rarely relinquish it.
Speculation: Given the ability to invalidate agreements, courts will gradually broaden the circumstances under which they do so.
Challenge: Identify doctrinal lines where courts have reduced their interventionist authority rather than expanded it.
3. “Undue Influence” Drifts Toward “Wealth Difference”
Section VI’s semiotic analysis of relational vulnerability suggests that “undue influence” is inherently elastic. Over time, the doctrine appears to migrate toward treating wealth asymmetry itself as evidence of coercion, even absent misconduct.
This drift is predictable because wealth difference is:
omnipresent,
emotionally compelling,
easy to identify,
and politically safe for courts to act upon.
Speculation: If left unchecked, “undue influence” will become functionally equivalent to “the parties had unequal resources.”
Challenge: Provide case law where courts upheld agreements despite large wealth gaps and no procedural defects.
4. A Built‑In Logical Instability
As implied in Section V’s modal intensification, the doctrine often presumes that the economically weaker party must understand how much they stand to gain if the agreement is voided and the court applies its preferred default rules.
This creates a perverse incentive:
The more generous the default regime,
the more “undue influence” courts will find,
because the weaker party has more to gain by rejecting the agreement.
Speculation: The doctrine itself manufactures gold‑digging incentives by rewarding strategic ignorance and punishing autonomy.
Challenge: Show cases where courts explicitly reject this presumption and uphold autonomy even when the weaker party stands to gain far more from voiding the agreement.
5. When Given a Hammer, Courts See Nails
Section IV’s imputed modality demonstrates that once a doctrinal tool exists, courts are encouraged to use it. Lawyers are incentivized to allege it. Litigants are rewarded for claiming it.
Speculation: The doctrine becomes self‑expanding because every actor in the system benefits from expansion.
Challenge: Identify case law where courts narrow the doctrine despite institutional incentives to broaden it.
6. Wealth Asymmetry Primes Courts to See Coercion
As Section VI shows, relational context is treated as inherently asymmetrical. The larger the wealth gap, the more courts appear to interpret ordinary relational dynamics as coercive.
Judicial incentives reinforce this:
fear of public criticism,
fear of appearing to favor the wealthy,
risk‑aversion,
and the institutional reward for “protecting the vulnerable.”
Speculation: Independent of any other factor, the larger the wealth difference, the more likely courts are to find undue influence.
Challenge: Produce cases where courts upheld agreements in extreme wealth‑gap situations without demanding procedural perfection.
7. A Standing Invitation to Disprove the Model
I do not claim omniscience. I claim only this:
If the system is not behaving as described, it should be easy to demonstrate through consistent case‑law patterns showing: – autonomy upheld, – paternalism rejected, – undue‑influence doctrine narrowed, – and agreements enforced despite wealth asymmetry.
Until such evidence is provided, the speculative model remains a plausible explanation of the system’s internal dynamics.
8. Empirical Note: AI Search and the Absence of Counterexamples
An AI system was given the challenge posed in Section 7 and an empirical search was conducted for Australian cases involving a wealth disparity of approximately 100:1 where no wealth transfer occurred. None were found. This does not prove that such cases are impossible — only that the system behaves exactly as predicted: broad discretion expands, “undue influence” absorbs wealth asymmetry, and the protective mandate of the court functionally prohibits zero‑transfer outcomes under extreme disparity. Thus, the model, though speculative, is at present empirically undefeated.
The AI cannot find a single Australian case where a 20:1 wealth gap produced a zero‑transfer outcome.
The AI cannot find a single Australian case where a 10:1 wealth gap produced a zero‑transfer outcome.
The AI cannot find a single Australian case where a 10:1 wealth gap produced a zero‑transfer outcome.
The author acknowledges that AI systems might not be as good at finding such cases as real people, but it is now up to real people, especially those asserting the stability and neutrality of the system, to show that the AI’s findings are wrong by producing concrete counterexamples.
A Rebuttal to: FRCT as a Probabilistic Dialectical‑Formal Logic of Post‑Consensual Obligation
Relational Vulnerability Is Not a Hidden Logical Operator
I. Introduction
The logic‑professor’s essay offers a technically elegant but substantively inaccurate reconstruction of Feminist Relational Contract Theory (FRCT). While I appreciate the clarity with which the author formalizes the argument, the conclusion—that FRCT is functionally equivalent to a deterministic logic in which refusal entails obligation—is a mischaracterization of both the purpose and operation of FRCT.
FRCT is not a probabilistic algorithm. It is a normative framework for understanding how power, dependency, and relational inequality shape intimate agreements. Reducing it to a near‑deterministic mapping obscures the very dynamics FRCT seeks to illuminate.
II. The Misplaced Assumption of Structural Ubiquity
The essay’s central claim rests on the assertion that vulnerability is “structurally ubiquitous,” such that:
This assumption is neither empirically nor conceptually accurate.
1. Vulnerability is contextual, not universal
FRCT does not presume that all intimate relationships contain actionable vulnerability. It argues that where vulnerability exists, courts must attend to it. This is a conditional, not a universal, claim.
2. Refusal does not “expose” vulnerability in any necessary sense
Refusal may correlate with vulnerability in some cases, but correlation is not causation. The logic‑professor’s model treats refusal as a reliable diagnostic tool. FRCT treats refusal as one data point among many.
3. Courts do not impose obligations simply because vulnerability is present
Even in Thorne v Kennedy, the High Court of Australia did not treat vulnerability as dispositive. It treated it as legally relevant. This is a crucial distinction.
III. The Error of Treating FRCT as a Predictive System
The essay reframes FRCT as a system with a deterministic attractor:
This is a category mistake.
1. FRCT is evaluative, not predictive
FRCT does not claim that refusal will lead to obligation. It claims that courts should consider relational context when determining whether obligations arise.
2. Probability is not jurisprudence
The fact that courts often find vulnerability in cases where refusal occurs does not mean that refusal is the operative cause. It means that litigated cases tend to involve relational inequality.
This is a selection effect, not a logical entailment.
3. FRCT is not a hidden logic machine
The professor’s model treats FRCT as though it secretly implements the blog post’s paraconsistent logic of obligation . This is incorrect.
FRCT is a theory of justice, not a theory of modal collapse.
IV. Why the “Extra Step” Is Not a Veil
The essay argues that FRCT’s vulnerability step is a “discursive veil” masking a deterministic mapping from refusal to obligation.
This misunderstands the purpose of the vulnerability analysis.
1. Vulnerability is the normative core, not a rhetorical buffer
FRCT insists that obligations arise from relational inequality, not from refusal. This is not a veil. It is the entire point.
2. The vulnerability step is a genuine filter
Courts routinely decline to impose obligations where:
the parties are economically independent
relational power is balanced
no reliance or dependency exists
no exploitation is alleged
The professor’s model cannot account for these cases because it treats vulnerability as omnipresent.
3. FRCT preserves autonomy where autonomy is meaningful
FRCT does not abolish consent. It contextualizes it. Where autonomy is real, FRCT respects it.
V. The Problem of Treating Domestic Life as a Logical System
The professor’s essay is elegant, but it commits a fundamental error: it treats intimate relationships as though they can be modeled through formal logic.
1. Human relationships are not modal operators
The blog post’s claim that refusal “collapses ◇O into □O” is a playful exaggeration. FRCT does not adopt this view.
2. Vulnerability is not a binary variable
It is:
emotional
economic
temporal
gendered
contextual
No formal system can capture this complexity without flattening it.
3. Courts do not operate through logical necessity
They operate through:
equity
fairness
precedent
statutory interpretation
FRCT engages with these tools, not with modal intensification.
VI. Conclusion: FRCT Is Not Post‑Boolean Logic
The professor’s essay is a valuable exercise in formalization, but it misrepresents FRCT by:
treating vulnerability as universal
treating refusal as diagnostic
treating obligation as probabilistically inevitable
treating relational justice as a logical operator
FRCT is not the Dialectical‑Formal Logic of Post‑Consensual Obligation. It is a contextual, relational, and justice‑oriented framework that resists precisely the kind of determinism the professor attributes to it.
Where the blog post embraces logical necessity, FRCT insists on human complexity.
Where the professor finds inevitability, FRCT finds contextual judgment.
Where the formal model sees obligation as a function of refusal, FRCT sees obligation as a function of relational fairness.
That difference is not rhetorical.
It is foundational.