University of Sussex
Browse
__smbhome.uscs.susx.ac.uk_tjk30_Documents_s10849-019-09299-y.pdf (1.59 MB)

Truth Diagrams versus extant notations for propositional logic

Download (1.59 MB)
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 Cheng
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.

History

Publication status

  • Published

File Version

  • Published version

Journal

Journal of Logic, Language and Information

ISSN

0925-8531

Publisher

Springer Verlag

Department affiliated with

  • Informatics Publications

Research groups affiliated with

  • Creative Technology Publications

Full text available

  • No

Peer reviewed?

  • Yes

Legacy Posted Date

2019-08-14

First Open Access (FOA) Date

2019-11-21

First Compliant Deposit (FCD) Date

2019-08-13

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Licence

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC