Hypercube algebra: a diagrammatic and sentential notation to support inferences in logic - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Hypercube algebra: a diagrammatic and sentential notation to support inferences in logic

Abstract

Motivation - Our objective was to design a Boolean algebra allowing both a diagrammatic and sentential representation of logical propositions in an intuitive manner. The purpose of this notation is to support inferential activity without heavy deductive procedure to follow. Research approach - This research is founded on the notions of logical space proposed by Wittgenstein and of hypercube proposed by Pólya. Findings/Design - Complex propositions in propositional logic can be depicted by hypercube within a coordinate system, and by sequences of lexical symbols allowing operations on hypercube with more than three dimensions. Research limitations/Implications - Empirical studies are now required to validate the intuitiveness of this notation. Its scope of application must also be delimited. Originality/Value - Contrary to classical diagrammatic notations based on Euler topological diagrams in logic, the hypercube algebra involves a coordinate-based representation combining diagrams and lexical symbols. This is a new form of notation. Take away message - Rather than the format, the important variables in designing a representational system are those specifying the cognitive activity induced, e.g. straightforward inferences, abstraction level of symbols.
Fichier principal
Vignette du fichier
TM_ECCE2012_communication.pdf (132.72 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00722696 , version 1 (03-08-2012)

Identifiers

  • HAL Id : hal-00722696 , version 1

Cite

Thierry Morineau. Hypercube algebra: a diagrammatic and sentential notation to support inferences in logic. European Conference on Cognitive Ergonomics, Aug 2012, Edinburgh, United Kingdom. ⟨hal-00722696⟩
193 View
263 Download

Share

Gmail Facebook X LinkedIn More