Skip to content

feat: dialectical mappings#11

Merged
nathanorm merged 2 commits into
masterfrom
feat/dialectical-mapping
Apr 10, 2026
Merged

feat: dialectical mappings#11
nathanorm merged 2 commits into
masterfrom
feat/dialectical-mapping

Conversation

@nathanorm
Copy link
Copy Markdown
Owner

No description provided.

Introduce a DialecticalMap module that organises an unbounded collection of
structured Argument entities around a ContentiousClaim. Each argument carries
its own premises, sub-conclusion, target (claim / argument / premise), and
stance (supports / attacks / qualifies / undermines / concedes).

DialecticalMap.evaluate() performs propositional formal evaluation of each
argument's internal validity (premise-conjunction ⊨ sub-conclusion), the
relation of each sub-conclusion to the central claim, and a C(n,2) pairwise
tension matrix across all argument pairs. Argument strength is scored as
avg(premise.confidence) × validity weight.

Also exposes the previously private pairwise entailment machinery as a typed
public API: PairwiseRelation and PairwiseSentenceRelation<F> are promoted to
the shared Theory<F,V> interface and implemented on all three theory classes.

New files: src/engine/dialectic/{dialecticTypes,dialecticalMap,dialecticalMapBuilder,index}.ts
New tests: test/engine/dialectic/{dialecticalMap,dialecticalMapBuilder}.spec.ts
@nathanorm nathanorm self-assigned this Apr 10, 2026
@nathanorm nathanorm linked an issue Apr 10, 2026 that may be closed by this pull request
@nathanorm nathanorm merged commit 8b33862 into master Apr 10, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Arguments Engine

1 participant