English / 繁體中文 glossary

English names remain canonical in Cogitatum’s language and machine contracts. The Traditional Chinese terms below are suggested readings; they do not change the marks or compiler contracts. Prose can use any language; marks and names follow the syntax reference.

Concepts / 概念

English 繁體中文 Latin Short meaning / 短義
Point 點 punctum An identity-bearing piece of marked material. / 具有個別身份的標記內容。
Bearing 係 nexus An individually identified relation from source Points to a Point or Bearing, whether written explicitly or derived from indentation; a target Bearing need not be named. / 從來源點指向點或係、具有個別身份的關係；無論明示寫出或由縮排推得，所指的係不必命名。
Linked 聯結 — Several premises in one supporting step. / 多項前提共同參與一個支持步驟。
Convergent 匯聚 — Separate supporting steps toward one conclusion. / 不同支持步驟指向同一結論。
Serial 串聯 — A conclusion serving as a later premise. / 一步的結論成為後一步的前提。
Joint participation 共同參與 conjunctim (adverb / 副詞) Sources participating together in a linked step. / 來源共同參與一個聯結步驟。

See argument structures for examples. Linked names an argument structure; a [linked] block is one way to write it, and it may also have a single source.

Writing terms / 書寫用語

English 繁體中文 Short meaning / 短義
Occurrence 出現處 One place in the source where a Point or Bearing is declared, constructed or used. / 點或係在原文中被宣告、建構或使用的一處。
Role 角色 What a Point’s content does at one occurrence: Q, C, G, O, R or D; not truth, a successful argument or a permanent type. / 內容在某一出現處的作用；不表示為真、論證成功或固定類型。
Local mark 局部標記 The mark written at an occurrence: a role, ., ? or a selector; it applies only there. / 寫在某一出現處的標記，只作用於該處。
Explicit 明示 Written in the annotation itself: an operator clause or edge states its kind and endpoints, unlike a relation derived from indentation. / 由標注本身寫明種類與端點，有別於由縮排推得的關係。
Body 正文 Unmarked prose; it adds no Point or Bearing, and attachment by indentation passes through it. / 未標記的文字；不產生點或係，依縮排的附接可穿過它。
Note 附註 A [note] subtree kept as literal prose outside the graph. / 以 [note] 開頭、保留為字面文字且不入圖的子樹。
Handle 係名 An authored name for a Bearing, written after ;. / 以 ; 寫在後面、為係所取的名字。
Attachment 附接 The Bearing a Point occurrence constructs to its target, by default or with an operator; G/ and O/ beneath it select that attachment. / 點的某一出現處（依預設或以運算子）向其目標建構的係；其下的 G/ 與 O/ 選取它。
Route 路徑 Informal word for a Bearing seen as a step of reasoning, often named by a handle; not a separate type. / 把係視作推理步驟時的非正式說法，常以係名指稱；並非另一種類型。

Points / 點

Mark Canonical English 繁體中文讀法 短義
[Q] Question 問題 待考察的問題或議題。
[C] Claim 主張 此處呈現的主張、立場或可能答案。
[G] Ground 依據 用以支持所論的理由或材料。
[O] Objection 駁議 對所論提出的異議或反對解釋。
[R] Reply 回應 對異議所作的答覆。
[D] Distinction 辨別 指出有助釐清所論的區別。
[?] Gap 闕漏 明示尚待補足之處。
[.], [. @passage] Neutral Point 中性點 沒有指定角色的內容，可選擇命名。
[. use @p], [G use @p] Point use 點的引用 再次使用同一個點；此處所寫的標記只作用於此處。
— Declaration 宣告 引入一個新點，並寫明其初始標記。
G/, O/ Local selector 局部選取 支持或質疑最近建構處所呈現的係。

See Points for roles, Gap openness, and names.

Bearings / 係

Mark or placement Canonical English 繁體中文讀法 短義
+> supports 支持 正面作用於目標；不認證推論有效或依據充分。
-> challenges 質疑 對目標 Point 提出反對。
/> challenges 質疑 對已命名的 Bearing 提出反對。
~> about 關涉 記錄相關性，不承諾正面或反面作用。
Claim beneath Question answers 回答 最近的外層 Point 是 Q 時，C 回答它。
Reply beneath Objection repliesTo 回應異議 最近的外層 Point 是 O 時，R 回應它。
Distinction beneath a Point clarifies 釐清 D 用來釐清最近的外層 Point。

See Bearings for indentation, joint support, and target restrictions, and the quick start for a reconstruction example.