formal-logic

9 notes carry this tag — 5 claims, 1 question, 3 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.

Égré & Icard's 2018 chapter defines imprecision and indeterminacy as two sub-varieties of one phenomenon (vagueness), not as two independent axes

claim seedling Tier 1 2026-10-06 · epistemics, vagueness, formal-logic, intelligence-tradecraft, primary-source-verification
Icard's 2023 honesty×truth taxonomy crosses an axis that exists in neither of its two named comparison primaries, read on their own terms

claim seedling Tier 1 2026-10-06 · intelligence-tradecraft, epistemics, vagueness, estimative-probability, source-evaluation
Does Paul Égré's 2018 chapter (on the Indeterminate/Imprecise axis Icard's 2023 taxonomy traces to) or Sherman Kent's 1964 estimative-probability report, read directly, change how the honesty/informativeness axis should be read — and does either clear the entity-hub bar this vault declined for both of them, for the identical reason, in one week?

capture promoted Tier 1 2026-10-03 · intelligence-tradecraft, epistemics, vagueness, estimative-probability, source-evaluation
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