all tags

formal-logic

12 notes carry this tag — 7 claims, 1 question, 4 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.

• A Theory of Partial Truth for Scientific Statements (arXiv:2611.07179)
  capture promoted Tier 1 2026-11-06 · philosophy-of-science, partial-truth, verisimilitude, formal-logic, mario-bunge
• Romero's 2026 revision fixes a parenthesization-dependence flaw Gracia Di Rienzo (2025) found in Bunge's partial-truth axiomatization, by aggregating over a fixed elementary set instead of recursive pairwise averaging
  claim seedling Tier 1 2026-11-06 · philosophy-of-science, partial-truth, formal-logic, mario-bunge
• Romero's 2026 valuation function V_E scores factual adequacy, distinct from probability, confirmation, and Popperian verisimilitude
  claim seedling Tier 1 2026-11-06 · philosophy-of-science, partial-truth, verisimilitude, formal-logic, measurement-uncertainty
• É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