__smbhome.uscs.susx.ac.uk_tjk30_Documents_s10849-019-09299-y.pdf (1.59 MB)
Truth Diagrams versus extant notations for propositional logic
Version 2 2023-06-07, 08:26
Version 1 2023-06-07, 06:41
journal contribution
posted on 2023-06-07, 08:26 authored by Peter ChengPeter ChengTruth 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.
History
Publication status
- Published
File Version
- Published version
Journal
Journal of Logic, Language and InformationISSN
0925-8531Publisher
Springer VerlagExternal DOI
Department affiliated with
- Informatics Publications
Research groups affiliated with
- Creative Technology Publications
Full text available
- No
Peer reviewed?
- Yes
Legacy Posted Date
2019-08-14First Open Access (FOA) Date
2019-11-21First Compliant Deposit (FCD) Date
2019-08-13Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC