Skip to content

Latest commit

 

History

History
26 lines (19 loc) · 956 Bytes

README.md

File metadata and controls

26 lines (19 loc) · 956 Bytes

Visual Logic

Visual Logic is a tool to represent existential graphs, a visual notation for logic expressions developed by Charles Sanders Peirce. Built in Unity and C#. Currently supports propositional logic.

Try it: Web Demo

More about Existential Graphs

Features

  • Create and manipulate proofs using Existential graphs
  • Record and playback a proof as a 'movie'
  • Sandbox enviroment to learn logic

Development Install

Note: Unity installed on windows only supports windows line endings, git pulling through WSL may cause issues opening up the project

  1. Clone the repo locally
  2. Open Unity > Open project > VisualLogic
  3. Select s1 under the scenes folder

(Any version of Unity 2017 or higher should work)

License

VisualLogic is licensed under the Apache License 2.0