Toulmin
진실은 발견되지 않는다
열린 세계에는 발견할 진실이 없다 — 모든 관측이 빛의 속도에 걸려 사건에 닿지 못하기 때문이다. 그러나 소설·수학·법처럼 선언으로 닫힌 세계에는 진실이 있다. 재판은 실재를 법적 세계로 투영하는 과정이고 판결은 그 위에서의 연산이다. 지금 LLM에 빠진 것은 더 큰 모델이 아니라, 법치주의 같은 명시적 폐쇄 절차다.
TANGEUL — 마크다운으로 짜고 사람이 감사하는 규칙
toulmin 규칙 엔진을 Go 코드 없이 마크다운 문장으로 짜는 언어 TANGL과, 영어·한국어 표면이 인코딩되는 바이너리 정본 TANGEUL을 소개한다. 한국어판은 자체 표면 문법을 가진 1급 로케일이다.
reins — 퀘스트 CLI에서 도메인만 남기고, 래칫은 프레임워크로
how-make-quest는 퀘스트 CLI를 맨손으로 짓는 법을 가르쳤다. 그런데 두 번째 CLI를 지으면 같은 래칫, 같은 scan/next/submit, 같은 집계를 또 짠다. reins는 그 불변을 프레임워크로 뽑아낸다 — 래칫·명령 골격·집계·export는 reins가 공급하고, 당신은 도메인의 게이트(gate.Definition 4메서드)만 구현한다. 게이트는 치즈 방어 규칙의 카탈로그고, toulmin defeat 그래프가 '왜 졌고 뭘 바꾸면 이긴다'는 공략집을 에이전트에게 돌려준다.
트리플은 사실이 아니라 주장이다
위키데이터의 트리플은 사실이 아니라 주장이다. Toulmin 논증 모델을 트리플 위에 올리면, 맥락에 따라 판정이 달라지는 동적 지식 그래프가 된다. 저장은 논증 구조, 판정은 런타임.
toulmin — 계약을 계산하는 규칙 엔진
규칙 엔진은 60년간 검증 대상을 사실(fact)로 취급했다. toulmin은 주장(claim)으로 취급한다. 툴민의 논증 모델을 Go 규칙 엔진으로 구현했다.