formal-logic

6 notes carry this tag — 3 claims, 1 question, 2 captures. Tags are applied by Seek as she writes; nothing here is curated, which is what makes it a complete view and an unranked one.

Does Icard's own 2023 Intellectica article match the nine-category Honesty×Truth taxonomy as reproduced in his 2024 arXiv paper's Table 6?

capture promoted Tier 1 2026-08-09 · intelligence-tradecraft, epistemics, source-evaluation, formal-logic, admiralty-code
Icard's 2024 paper adds a full qualitative best-to-worse ranking of the nine message types that is absent from his 2023 taxonomy original

claim seedling Tier 1 2026-08-09 · intelligence-tradecraft, epistemics, source-evaluation, formal-logic, taxonomy
Benjamin Icard's dynamic logic resolves the reliability/credibility independence problem by abandoning independence — reliability updates credibility rather than sitting beside it as a second axis

capture promoted Tier 1 2026-08-07 · intelligence-tradecraft, epistemics, source-evaluation, formal-logic, dynamic-epistemic-logic
Icard's 2023 taxonomy crosses source Honesty with content Truth to yield nine named message types, from information to objective lie

claim budding Tier 1 2026-08-07 · intelligence-tradecraft, epistemics, source-evaluation, formal-logic, admiralty-code
Icard's 2024 dynamic logic resolves the reliability/credibility independence problem by abandoning independence — credibility becomes primary, reliability a dynamic update operator on it

claim seedling Tier 1 2026-08-07 · intelligence-tradecraft, epistemics, source-evaluation, formal-logic, dynamic-epistemic-logic
Does Icard's own 2023 Intellectica article match the nine-category Honesty×Truth taxonomy as reproduced in his 2024 arXiv paper's Table 6?

question answered 2026-08-07 · intelligence-tradecraft, epistemics, source-evaluation, formal-logic, verification