Packet
dharmakirti-pv3-reflexivity-claims
vendored research asset · dharmakirti-pv3-reflexivity-claims.json
{
"packet_id": "ip:dharmakirti-pv3-reflexivity",
"schema_version": 2,
"artifact_type": "argument_fabric_claim_packet",
"source": {
"source_id": "sanskritree:ground_truth:dharmakirti_claims",
"title": "Dharmakirti PV III Ground Truth Claims",
"author": "Dharmakirti",
"source_files": [
"/mnt/HC_Volume_106427611/sanskritree/ground_truth/dharmakirti_claims.json",
"/mnt/HC_Volume_106427611/sanskritree/proof_engine/phase1_dharmakirti.py"
],
"external_sources": [
{
"source_id": "sep:dharmakirti:apoha",
"title": "Dharmakirti",
"url": "https://plato.stanford.edu/archives/spr2026/entries/dharmakiirti/",
"section": "2.2 Aboutness: the theory of apoha",
"source_quality": "scholarly_secondary"
},
{
"source_id": "routledge:apoha:2023",
"title": "Apoha",
"url": "https://www.rep.routledge.com/articles/thematic/apoha/v-1",
"doi": "10.4324/9780415249126-ZB002R1-1",
"source_quality": "scholarly_secondary"
}
],
"tradition_scope": "dharmakirti_buddhist"
},
"target_question_id": "q:reflexivity-intrinsic-or-constructed",
"extracted_by": "codex",
"extracted_at": "2026-07-26",
"status": "draft_reviewed_from_sanskritree_ground_truth",
"claims": [
{
"claim_id": "cl:dharmakirti-pratyaksa-kalpanapodha",
"source_type": "sanskritree_ground_truth",
"source_id": "sanskritree:phase1_dharmakirti:pv3-3",
"source_span": {
"file": "/mnt/HC_Volume_106427611/sanskritree/proof_engine/phase1_dharmakirti.py",
"locator": "PHASE1_TERMS[pratyaksa]",
"quote": "pratyaksa (perception) of particulars (svalaksana) is free from conceptual construction (kalpanapodha)"
},
"claim_text": "Perception of particulars is free from conceptual construction; reflexive or recognitional structure must not be smuggled into bare perception as a conceptual owner-substance.",
"targets": [
{
"target_id": "cand:dharmakirti-conditioned-reflexivity",
"target_type": "candidate_explanation"
},
{
"target_id": "crux:recognition-requires-self-manifestation",
"target_type": "crux"
}
],
"tradition_scope": "dharmakirti_buddhist",
"paradigm": "dharmakirti_buddhist",
"evidence_dimension": "formal",
"pramana": "sabda",
"nn_expr": "vyapti(pratyaksa,not_kalpana)",
"hetu": "direct perception is defined as kalpanapodha",
"sadhya": "bare cognition does not require conceptual self-ownership",
"vyapti_statement": "If perception is defined as free from conceptual construction, then a theory of cognition may resist importing a constructed self or universal subject into perceptual givenness.",
"vyapti_confidence": 0.66,
"log_bayes_factor": 0.32,
"w_rel": 0.78,
"w_map": 0.58,
"w_aux": 0.72,
"falsifier": {
"type": "formal",
"condition": "Show that Dharmakirti's kalpanapodha definition logically entails intrinsic self-manifestation or an enduring owner-subject.",
"status": "untested"
},
"reasoning": "This is a textual/formal axiom in Sanskritree, not a Lean-proved theorem. It supports the Buddhist candidate by blocking a quick move from perception to owner-substance."
},
{
"claim_id": "cl:dharmakirti-svalaksana-ineffable-particular",
"source_type": "sanskritree_ground_truth",
"source_id": "sanskritree:ground_truth:dharmakirti_claims",
"source_span": {
"file": "/mnt/HC_Volume_106427611/sanskritree/ground_truth/dharmakirti_claims.json",
"locator": "claims[id=svalaksana]",
"quote": "The particular is the ineffable object of perception"
},
"claim_text": "The directly perceived particular is ineffable and pre-conceptual; conceptual identity is not the same as perceptual givenness.",
"targets": [
{
"target_id": "cand:dharmakirti-conditioned-reflexivity",
"target_type": "candidate_explanation"
},
{
"target_id": "crux:no-self-target",
"target_type": "crux"
}
],
"tradition_scope": "dharmakirti_buddhist",
"paradigm": "dharmakirti_buddhisSources & corrections: edit source →. source lives here.