aif version: AIF-Core-2011
mesh aif profile: 1.0
exported at: 2026-08-30T19:16:45.404Z
attestation:
  identifier: mNX63sib
  argument id: cmj213sjy001lg1rsbt71kwhu
  permalink: https://www.isonomia.app/a/mNX63sib
  version: 1
  immutable permalink: https://www.isonomia.app/a/mNX63sib@5e43089713cdf31377d03e9eff1ea43a92732d9a63677c612e2350233bd899ea
  iso id: iso:argument:mNX63sib
  iso url: https://www.isonomia.app/iso/argument/mNX63sib
  retrieved at: 2026-08-30T19:16:45.248Z
  created at: 2025-12-11T22:47:43.438Z
  updated at: 2025-12-11T22:47:43.438Z
  conclusion:
    claim id: cmj213qip001dg1rs11d5azf7
    text: Carbon tax revenue could fund a $2,000/year dividend to offset household costs.
  premises:
    claim id: cmj213r3g001fg1rsyjjsl3dt
    text: A $50/ton tax would generate approximately $300 billion annually.
    is implicit: false
  premises:
    claim id: cmj213rok001hg1rsh657sybh
    text: Distributing revenue equally would give each household ~$2,000/year.
    is implicit: false
  premises:
    claim id: cmj213s9c001jg1rs69yjcox6
    text: Canada's carbon dividend program shows this is administratively feasible.
    is implicit: false
  scheme:
    id: cmghcuqw50009zq6mungs49z2
    key: practical_reasoning
    name: Practical Reasoning (Goal→Means→Ought)
    canonical key: practical_reasoning
    catalogue health:
      is argument pattern: true
      is dialogue meta: false
      is test placeholder: false
      canonical key: practical_reasoning
      cluster tag missing: false
      fingerprint materialised: true
  critical questions:
    scheme key: practical_reasoning
    total: 6
    unanswered:
      cq key: PR.ALTERNATIVES
      text: Is there a better alternative than A to achieve G?
      attack kind: REBUTS
      scheme key: practical_reasoning
      premise type: ASSUMPTION
      is scheme required: false
      inherited from parent scheme: false
      challenged: false
      challenge count: 0
      cq requires evidence: false
      cq burden: PROPONENT
      answer self canonical: false
      answer author kind: HUMAN
      status: missing
    unanswered:
      cq key: PR.FEASIBILITY
      text: Is A feasible for the agent (ability, resources, time)?
      attack kind: UNDERMINES
      scheme key: practical_reasoning
      premise type: ASSUMPTION
      is scheme required: false
      inherited from parent scheme: false
      challenged: false
      challenge count: 0
      cq requires evidence: false
      cq burden: PROPONENT
      answer self canonical: false
      answer author kind: HUMAN
      status: missing
    unanswered:
      cq key: PR.GOAL_ACCEPTED
      text: Is the goal/value G explicit and acceptable?
      attack kind: UNDERMINES
      scheme key: practical_reasoning
      premise type: ASSUMPTION
      is scheme required: false
      inherited from parent scheme: false
      challenged: false
      challenge count: 0
      cq requires evidence: false
      cq burden: PROPONENT
      answer self canonical: false
      answer author kind: HUMAN
      status: missing
    unanswered:
      cq key: PR.MEANS_EFFECTIVE
      text: Will doing A actually achieve G in the present context?
      attack kind: UNDERCUTS
      scheme key: practical_reasoning
      premise type: ORDINARY
      is scheme required: true
      inherited from parent scheme: false
      challenged: false
      challenge count: 0
      cq requires evidence: false
      cq burden: PROPONENT
      answer self canonical: false
      answer author kind: HUMAN
      status: missing
    unanswered:
      cq key: PR.PERMISSIBILITY
      text: Is doing A permissible/appropriate given norms or constraints?
      attack kind: REBUTS
      scheme key: practical_reasoning
      premise type: ASSUMPTION
      is scheme required: false
      inherited from parent scheme: false
      challenged: false
      challenge count: 0
      cq requires evidence: false
      cq burden: PROPONENT
      answer self canonical: false
      answer author kind: HUMAN
      status: missing
    unanswered:
      cq key: PR.SIDE_EFFECTS
      text: Do negative consequences of A outweigh achieving G?
      attack kind: REBUTS
      scheme key: practical_reasoning
      premise type: ASSUMPTION
      is scheme required: false
      inherited from parent scheme: false
      challenged: false
      challenge count: 0
      cq requires evidence: false
      cq burden: PROPONENT
      answer self canonical: false
      answer author kind: HUMAN
      status: missing
  dialectical status:
    incoming attacks: 0
    incoming supports: 0
    incoming attack edges: 0
    critical questions required: 6
    critical questions answered: 0
    critical questions open: 6
    standing score: 0.5
    is tested: false
    testedness: untested
    standing state: untested-default
    standing depth:
      challengers: 0
      independent reviewers: 0
      confidence: thin
    fitness breakdown:
      total: 0
      weights:
        cq answered: 1
        support edges: 0.5
        attack edges: -0.7
        attack c as: -1
        evidence with provenance: 0.25
  deliberation: Ludics Forest Demo - Phase 1-4 Features
    id: ludics-forest-demo
  author:
    id: 12
    display name: Barthes
    kind: HUMAN
round trip soundness:
  scheme key: practical_reasoning
  groups:
    ORDINARY:
      cq count: 1
      aif exposure: exposed
    ASSUMPTION:
      cq count: 5
      aif exposure: absent
    EXCEPTION:
      cq count: 0
      aif exposure: absent
  lossy: true

cmj213qip001dg1rs11d5azf7
type: InformationNode
text: Carbon tax revenue could fund a $2,000/year dividend to offset household costs.

cmj213r3g001fg1rsyjjsl3dt
type: InformationNode
text: A $50/ton tax would generate approximately $300 billion annually.

cmj213rok001hg1rsh657sybh
type: InformationNode
text: Distributing revenue equally would give each household ~$2,000/year.

cmj213s9c001jg1rs69yjcox6
type: InformationNode
text: Canada's carbon dividend program shows this is administratively feasible.

cmj213sjy001lg1rsbt71kwhu
type: RA
type: practical reasoning
uses scheme: practical_reasoning
name: Practical Reasoning (Goal→Means→Ought)
applies scheme key: practical_reasoning

Premise
from: I:cmj213r3g001fg1rsyjjsl3dt
to: S:cmj213sjy001lg1rsbt71kwhu

Premise
from: I:cmj213rok001hg1rsh657sybh
to: S:cmj213sjy001lg1rsbt71kwhu

Premise
from: I:cmj213s9c001jg1rs69yjcox6
to: S:cmj213sjy001lg1rsbt71kwhu

Conclusion
from: S:cmj213sjy001lg1rsbt71kwhu
to: I:cmj213qip001dg1rs11d5azf7

count: 0
weight: 1
contribution: 0

count: 0
weight: 0.5
contribution: 0

count: 0
weight: -0.7
contribution: 0

count: 0
weight: -1
contribution: 0

count: 0
weight: 0.25
contribution: 0