{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:21:49Z","timestamp":1740122509273,"version":"3.37.3"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2019,9,12]],"date-time":"2019-09-12T00:00:00Z","timestamp":1568246400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2019,9,12]],"date-time":"2019-09-12T00:00:00Z","timestamp":1568246400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2020,6]]},"abstract":"<jats:title>Abstract<\/jats:title>\n<jats:p>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\u2019s conceptual notation, diagrams from Wittgenstein\u2019s Tractatus, Pierce\u2019s alpha graphs and Gardner\u2019s 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.<\/jats:p>","DOI":"10.1007\/s10849-019-09299-y","type":"journal-article","created":{"date-parts":[[2019,9,12]],"date-time":"2019-09-12T04:27:02Z","timestamp":1568262422000},"page":"121-161","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Truth Diagrams Versus Extant Notations for Propositional Logic"],"prefix":"10.1007","volume":"29","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0355-5955","authenticated-orcid":false,"given":"Peter C.-H.","family":"Cheng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,9,12]]},"reference":[{"issue":"1","key":"9299_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1080\/01445340.2011.621702","volume":"33","author":"IH Anellis","year":"2012","unstructured":"Anellis, I. H. (2012). Peirce\u2019s truth-functional analysis and the origin of the truth table. History and Philosophy of Logic,33(1), 87\u201397.","journal-title":"History and Philosophy of Logic"},{"key":"9299_CR2","volume-title":"Taski\u2019s world","author":"D Barker-Plummer","year":"2008","unstructured":"Barker-Plummer, D., Barwise, J., & Etchemendy, J. (2008). Taski\u2019s world. Stanford, CA: CSLI Publications."},{"key":"9299_CR3","first-page":"575","volume-title":"Proceedings of the 8th international conference on information visualisation","author":"R Barone","year":"2004","unstructured":"Barone, R., & Cheng, P. C.-H. (2004). Representations for problem solving: On the benefits of integrated structure. In E. Banissi, K. B\u00f6rner, C. Chen, M. Dastbaz, G. Clapwortht, F. A. E. Izquierdo, C. Maple, J. Roberts, C. Moore, A. Ursyn, & J. J. Zhang (Eds.), Proceedings of the 8th international conference on information visualisation (pp. 575\u2013580). Los Alamitos, CA: IEEE."},{"key":"9299_CR4","volume-title":"Language, proof and logic","author":"J Barwise","year":"2011","unstructured":"Barwise, J., Etchemendy, J., & Barker-Plummer, D. (2011). Language, proof and logic (2nd ed.). Stanford, CA: CSLI Press.","edition":"2"},{"key":"9299_CR5","volume-title":"Logic","author":"BA Brody","year":"1973","unstructured":"Brody, B. A. (1973). Logic. Englewood Cliffa, NJ: Prentice-Hall."},{"key":"9299_CR6","volume-title":"Introduction to symbolic logic and its applications","author":"R Carnap","year":"1958","unstructured":"Carnap, R. (1958). Introduction to symbolic logic and its applications. New York: Dover."},{"issue":"6","key":"9299_CR7","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1207\/s15516709cog2606_1","volume":"26","author":"PC-H Cheng","year":"2002","unstructured":"Cheng, P. C.-H. (2002). Electrifying diagrams for learning: Principles for effective representational systems. Cognitive Science,26(6), 685\u2013736.","journal-title":"Cognitive Science"},{"key":"9299_CR8","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-540-25931-2_25","volume-title":"Diagrammatic representation and inference: 3rd international conference, diagrams\u00a02004","author":"PC-H Cheng","year":"2004","unstructured":"Cheng, P. C.-H. (2004). Why diagrams are (sometimes) six times easier than words: Benefits beyond locational indexing. In A. Blackwell, K. Marriot, & A. Shimojima (Eds.), Diagrammatic representation and inference: 3rd international conference, diagrams\u00a02004 (pp. 242\u2013254). Berlin: Springer."},{"issue":"3","key":"9299_CR9","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1111\/j.1756-8765.2009.01065.x","volume":"3","author":"PC-H Cheng","year":"2011","unstructured":"Cheng, P. C.-H. (2011). Probably good diagrams for learning: Representational epistemic re-codification of probability theory. Topics in Cognitive Science,3(3), 475\u2013498.","journal-title":"Topics in Cognitive Science"},{"key":"9299_CR10","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1016\/j.jvlc.2013.08.008","volume":"25","author":"PC-H Cheng","year":"2014","unstructured":"Cheng, P. C.-H. (2014). Graphical notations for syllogisms: How alterative representations impact the accessibility of concepts. Journal of Visual Languages and Computing,25, 170\u2013185.","journal-title":"Journal of Visual Languages and Computing"},{"key":"9299_CR11","series-title":"Aarchen","first-page":"1","volume-title":"Proceedings of international workshop on set visualization and reasoning (SetVR 2018)","author":"PC-H Cheng","year":"2018","unstructured":"Cheng, P. C.-H. (2018). Sets for foundational representations? A design case study with probability and distributions. In Y. Sata & Z. Shams (Eds.), Proceedings of international workshop on set visualization and reasoning (SetVR 2018) (Vol. 2116, pp. 1\u201311)., Aarchen Germany: CEUR Workshop Proceedings."},{"issue":"2","key":"9299_CR12","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1080\/09500690210163206","volume":"25","author":"PC-H Cheng","year":"2003","unstructured":"Cheng, P. C.-H., & Shipstone, D. M. (2003). Supporting learning and promoting conceptual change with box and AVOW diagrams. Part 1: Representational design and instructional approaches. International Journal of Science Education,25(2), 193\u2013204.","journal-title":"International Journal of Science Education"},{"key":"9299_CR13","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1305\/ndjfl\/1093636009","volume":"33","author":"G Englebretsen","year":"1992","unstructured":"Englebretsen, G. (1992). Linear diagrams for syllogisms (with relations). Notre Dame Journal of Formal Logic,33, 37\u201369.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9299_CR14","volume-title":"Lettres a une princesse d\u2019Allemagne sur divers sujets de physique et de philosophie (tome second)","author":"L Euler","year":"1768","unstructured":"Euler, L. (1768). Lettres a une princesse d\u2019Allemagne sur divers sujets de physique et de philosophie (tome second). Saint Petersbourg: l\u2019Academie Imp\u00e9riale des Science."},{"key":"9299_CR15","unstructured":"Frege, G. (1879\/1972). Conceptual notation and related articles (T. W. Bynum, Trans.). London: Oxford University Press."},{"key":"9299_CR16","volume-title":"Logic machines and diagrams","author":"M Gardner","year":"1958","unstructured":"Gardner, M. (1958). Logic machines and diagrams. Brighton: Harvester."},{"key":"9299_CR99","volume-title":"Logic machines and diagrams","author":"M Gardner","year":"1983","unstructured":"Gardner, M. (1983). Logic machines and diagrams. Birghton, Sussex: Harvester."},{"volume-title":"Diagrammatic reasoning: Cognitive and computational perspectives","year":"1995","key":"9299_CR17","unstructured":"Glasgow, J., Narayanan, N. H., & Chandrasekaran, B. (Eds.). (1995). Diagrammatic reasoning: Cognitive and computational perspectives. Menlo Park, CA: AAAI Press."},{"issue":"4","key":"9299_CR18","doi-asserted-by":"publisher","first-page":"518","DOI":"10.1016\/j.jvlc.2014.04.003","volume":"25","author":"B Gottfried","year":"2014","unstructured":"Gottfried, B. (2014). Set space diagrams. Journal of Visual Languages and Computing,25(4), 518\u2013532.","journal-title":"Journal of Visual Languages and Computing"},{"issue":"2","key":"9299_CR19","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/BF03217454","volume":"19","author":"E Gray","year":"2007","unstructured":"Gray, E., & Tall, D. (2007). Abstraction as a natural process of mental compression. Mathematics Education Research Journal,19(2), 23\u201340.","journal-title":"Mathematics Education Research Journal"},{"key":"9299_CR20","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1017\/CBO9780511624797.004","volume-title":"Wittgenstein: Biography and philosophy","author":"K Hamilton","year":"2001","unstructured":"Hamilton, K. (2001). Wittgenstein and the mind\u2019s eye. In J. C. Klagge (Ed.), Wittgenstein: Biography and philosophy (pp. 53\u201397). Cambridge: Cambridge University Press."},{"key":"9299_CR21","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1111\/j.1756-8765.2011.01150.x","volume":"3","author":"M Hegarty","year":"2011","unstructured":"Hegarty, M. (2011). The cognitive science of visual-spatial displays: Implications for design. Topcis in Cognitive Science,3, 446\u2013474.","journal-title":"Topcis in Cognitive Science"},{"key":"9299_CR22","volume-title":"Logic","author":"W Hodges","year":"2001","unstructured":"Hodges, W. (2001). Logic (2nd ed.). London: Penguin.","edition":"2"},{"key":"9299_CR23","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1112\/S1461157000000942","volume":"8","author":"J Howse","year":"2005","unstructured":"Howse, J., Stapleton, G., & Taylor, J. (2005). Spider diagrams. LMS Journal of Computation and Mathematics,8, 145\u2013194. \nhttps:\/\/doi.org\/10.1112\/S1461157000000942\n\n.","journal-title":"LMS Journal of Computation and Mathematics"},{"key":"9299_CR24","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1016\/0010-0285(85)90009-X","volume":"17","author":"K Kotovsky","year":"1985","unstructured":"Kotovsky, K., Hayes, J. R., & Simon, H. A. (1985). Why are some problems hard? Cognitive Psychology,17, 248\u2013294.","journal-title":"Cognitive Psychology"},{"key":"9299_CR25","volume-title":"Beginning logic","author":"EJ Lemmon","year":"1965","unstructured":"Lemmon, E. J. (1965). Beginning logic. Wokingham, UK: Van Nostrand Reinhold."},{"issue":"3","key":"9299_CR26","doi-asserted-by":"publisher","first-page":"163","DOI":"10.2307\/2370324","volume":"43","author":"EL Post","year":"1921","unstructured":"Post, E. L. (1921). Introduction to a general theory of elementary propositions. American Journal of Mathematics,43(3), 163\u2013185.","journal-title":"American Journal of Mathematics"},{"issue":"6\u20139","key":"9299_CR27","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/0898-1221(92)90127-4","volume":"23","author":"D Roberts","year":"1992","unstructured":"Roberts, D. (1992). The existential graphs. Computers & Mathematics with Applications,23(6\u20139), 639\u2013663.","journal-title":"Computers & Mathematics with Applications"},{"key":"9299_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00302715","volume":"22","author":"A Sfard","year":"1991","unstructured":"Sfard, A. (1991). On the dual nature of mathematical conceptions: Reflections on processes and objects as different sides of the same coin. Educational Studies in Mathematics,22, 1\u201336.","journal-title":"Educational Studies in Mathematics"},{"key":"9299_CR29","volume-title":"Semantic properties of diagrams and their cognitive potentials","author":"A Shimojima","year":"2015","unstructured":"Shimojima, A. (2015). Semantic properties of diagrams and their cognitive potentials. Stanford, CA: CSLI Press."},{"key":"9299_CR100","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511574696","volume-title":"The logical status of diagrams","author":"S-J Shin","year":"1995","unstructured":"Shin, S.-J. (1995). The logical status of diagrams. Cambridge: Cambridge University Press."},{"key":"9299_CR96","doi-asserted-by":"crossref","unstructured":"Sowa, J. F. (2008). Chapter 5 Conceptual graphs. In F. van Harmelen, V. Lifschitz & B. Porter (Eds.), Foundations of artificial intelligence (Vol. 3, pp. 213\u2013237). Elsevier.","DOI":"10.1016\/S1574-6526(07)03005-2"},{"key":"9299_CR30","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1515\/semi.2011.060","volume":"2011","author":"JF Sowa","year":"2011","unstructured":"Sowa, J. F. (2011). Peirce\u2019s tutorial on existential graphs. Semiotica,2011, 347.","journal-title":"Semiotica"},{"key":"9299_CR31","volume-title":"Introduction to logic","author":"P Suppes","year":"1957","unstructured":"Suppes, P. (1957). Introduction to logic. Princeton, NJ: Van Nostrand Reinhold."},{"key":"9299_CR32","doi-asserted-by":"crossref","unstructured":"Venn, J. (1880\/1971). Symbolic logic (2nd ed.). New York: Burt Franklin.","DOI":"10.1037\/14127-000"},{"issue":"4","key":"9299_CR33","first-page":"351","volume":"20","author":"RB White","year":"1984","unstructured":"White, R. B. (1984). Peirce\u2019s Alpha Graphs: The completeness of propositional logic and the fast simplification of truth-functions. Transactions of the Charles S. Peirce Society,20(4), 351\u2013361.","journal-title":"Transactions of the Charles S. Peirce Society"},{"key":"9299_CR34","volume-title":"Logico tractatus-philosophicus","author":"L Wittgenstein","year":"1961","unstructured":"Wittgenstein, L. (1961). Logico tractatus-philosophicus. London: Routledge and Kegan Paul."},{"issue":"2","key":"9299_CR35","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1207\/s15516709cog2102_3","volume":"21","author":"J Zhang","year":"1997","unstructured":"Zhang, J. (1997). The nature of external representations in problem solving. Cognitive Science,21(2), 179\u2013217.","journal-title":"Cognitive Science"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-019-09299-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-019-09299-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-019-09299-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,10]],"date-time":"2020-09-10T23:09:25Z","timestamp":1599779365000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-019-09299-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,12]]},"references-count":38,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,6]]}},"alternative-id":["9299"],"URL":"https:\/\/doi.org\/10.1007\/s10849-019-09299-y","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[2019,9,12]]},"assertion":[{"value":"12 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}