Logic, Spatial Algorithms and Visual Reasoning

Logica Universalis 16 (4):535-543 (2022)
  Copy   BIBTEX

Abstract

Spatial and diagrammatic reasoning is a significant part not only of logical abilities, but also of logical studies. The authors of this paper consider some novel trends in studying this type of reasoning. They show that there are the following two main trends in spatial logic: (i) logical studies of the distribution of various objects in space (logic of geometry, logic of colors, etc.); (ii) logical studies of the space algorithms applied by nature itself (logic of swarms, logic of fungi colonies, etc.).

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Prolegomena to a cognitive investigation of Euclidean diagrammatic reasoning.Yacin Hamami & John Mumma - 2013 - Journal of Logic, Language and Information 22 (4):421-448.
Neuroanatomical Correlates of Human Reasoning.Vinod Goel, Brian Gold, Shitij Kapur & Sylvain Houle - 1998 - Journal of Cognitive Neuroscience 10 (3):293-302.
Relational proof systems for spatial reasoning.Joanna Golińska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):409-431.
Spatial Reasoning and Ontology: Parts, Wholes, and Locations.Achille C. Varzi - 2007 - In Marco Aiello, Ian E. Pratt-Hartmann & Johan van Benthem (eds.), Handbook of Spatial Logics. Springer Verlag. pp. 945-1038.
Modal Logics for Topological Spaces.Konstantinos Georgatos - 1993 - Dissertation, City University of New York
Modal Logics for Qualitative Spatial Reasoning.Brandon Bennett - 1996 - Logic Journal of the IGPL 4 (1):23-45.
A Bitstring Semantics for Calculus CL.Fabien Schang & Jens Lemanski - 2022 - In Jean-Yves Beziau & Ioannis Vandoulakis (eds.), The Exoteric Square of Opposition. Birkhauser. pp. 171–193.

Analytics

Added to PP
2022-09-13

Downloads
41 (#377,987)

6 months
17 (#142,297)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Andrew Schumann
University of Information Technology and Management In Rzeszow
Jens Lemanski
University of Münster

Citations of this work

Sign-inferences in Greek and Buddhist Logic.Andrew Schumann - forthcoming - History and Philosophy of Logic:1-33.

Add more citations