Truth Diagrams versus extant notations for propositional logic

Cheng, Peter C-H (2019) Truth Diagrams versus extant notations for propositional logic. Journal of Logic, Language and Information. ISSN 0925-8531

[img] PDF - Accepted Version
Restricted to SRO admin only

Download (979kB)
[img] PDF - Published Version
Available under License Creative Commons Attribution.

Download (1MB)


Truth diagrams (TDs) are introduced as a novel graphical representation for propositional logic (PL). To demonstrate their epistemic efficacy a set of 28 concepts are proposed that any comprehensive representation for PL should encompass. TDs address all the criteria whereas seven other existing representations for PL only provide partial coverage. These existing representations are: the linear formula notation, truth tables, a PL specific interpretation of Venn Diagrams, Frege’s conceptual notation, diagrams from Wittgenstein’s Tractatus, Pierce’s alpha graphs and Gardner’s shuttle diagrams. The comparison of the representations succeeds in distinguishing ideas that are fundamental to PL from features of common PL representations that are somewhat arbitrary.

Item Type: Article
Keywords: Diagrams; notations; Propositional logic; Sentential Calculus; Truth Diagrams; formula notation; truth-tables; Frege conceptual notation; Wittgenstein Tractatus, Venn diagrams, Gardner shuttle networks, Pierce existential graphs
Schools and Departments: School of Engineering and Informatics > Informatics
Research Centres and Groups: Creative Technology
Depositing User: Lucy Arnold
Date Deposited: 14 Aug 2019 11:11
Last Modified: 21 Nov 2019 16:15

View download statistics for this item

📧 Request an update