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

	PDF - Accepted Version Restricted to SRO admin only Download (979kB)
	PDF - Published Version Available under License Creative Commons Attribution. Download (1MB)

Abstract

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
URI:	http://sro.sussex.ac.uk/id/eprint/85445

View download statistics for this item

📧 Request an update