Propositional n-Traces: Visualizing a Problem in Philosophical Logic

  • Authors:

  • Nathalie Prevost;Loki Jorgenson;Ray Jennings;F. David Fracchia

  • Affiliations:

  • Department of Philosophy, Simon Fraser University, Burnaby, B.C. CANADA;Centre for Experimental, & Constructive Mathematics, Department of Mathematics & Statistics, Simon Fraser University, Burnaby, B.C. CANADA;Department of Philosophy, Simon Fraser University, Burnaby, B.C. CANADA;Graphics and Multimedia Laboratory, School of Computing Science, Simon Fraser University, Burnaby, B.C. CANADA

  • Venue:
  • VIS '95 Proceedings of the 6th conference on Visualization '95
  • Year:
  • 1995

Quantified Score

Hi-index 0.00

Visualization

Abstract

As part of an inter-disciplinary effort, we are visually exploring a current problem in philosophical logic related to information processing. Given a set of inconsistent sentences or inputs, a processor cannot unambiguously infer any specific consequence. Traces represent subsets of possible consequences which can be inferred classically from partitions of the set of inputs. We are interested in the relationship between a given set of Boolean inputs and its respective trace(s). We have developed a visualization paradigm which allows us to view and explore this relationship effectively.