Skip to content
Program to express formal logic visually using existential graphs
C#
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
Assets
Logs
Packages
ProjectSettings
UnityPackageManager
docs
.gitignore
LICENSE
README.md

README.md

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

You can’t perform that action at this time.