Iconic logic: the visual art of drawing the right conclusion

Most people, evidence suggests, have a hard time thinking straight. Symbolic logic is a tool that can help remedy this problem. Unfortunately, it is highly abstract and uses symbols whose meanings rely on unintuitive arbitrary conventions. Without sacrificing rigor, iconic logic is more concrete and uses icons that resemble what they stand for and whose meanings are thus easier to picture, process, and remember. Here I review and critique iconic existential graphs and concept diagrams—the former link iconic logic to iconic mathematics; the latter expand popular Euler or Venn diagrams and have, to some degree, been empirically investigated for user-friendliness. I lay out how expertise in perception, cognition, and genetics can inform and improve such empirical research to help make iconic logic more ergonomic. After all, logic is a tool, and tools should not only suit their use but also their user

Foundations of Information Technology Based on Bunge’s Systemist Philosophy of Reality

General ontology is a prominent theoretical foundation for information technology analysis, design, and development. Ontology is a branch of philosophy which studies what exists in reality. A widely used ontology in information systems, especially for conceptual modeling, is the BWW (Bunge–Wand–Weber), which is based on ideas of the philosopher and physicist Mario Bunge, as synthesized by Wand and Weber. The ontology was founded on an early subset of Bunge’s philosophy; however, many of Bunge’s ideas have evolved since then. An important question, therefore, is: do the more recent ideas expressed by Bunge call for a new ontology? In this paper, we conduct an analysis of Bunge’s earlier and more recent works to address this question. We present a new ontology based on Bunge’s later and broader works, which we refer to as Bunge’s Systemist Ontology (BSO). We then compare BSO to the constructs of BWW. The comparison reveals both considerable overlap between BSO and BWW, as well as substantial differences. From this comparison and the initial exposition of BSO, we provide suggestions for further ontology studies and identify research questions that could provide a fruitful agenda for future scholarship in conceptual modeling and other areas of information technology