# Open Logic Project

- **Website:** <https://openlogicproject.org>
- **Primary alias:** `openlogicproject.org`

## Description

The Open Logic Project is an open-source, collaborative textbook focused on logic and formal methods designed for a non-mathematical audience. This project offers a comprehensive collection of teaching materials covering topics such as set theory, syntax and semantics of logic, proof systems, model theory, computability theory, and various other logic-related subjects. The text is modular, configurable, and adaptable, allowing users to customize their learning experience. With a commitment to openness and collaboration, the material is available for free under a Creative Commons Attribution license. The project team, which includes Andy Arana, Jeremy Avigad, and others, continually develops and enhances the content. Users can contribute their insights, report errors, and request additional material, fostering a community-driven educational resource. For those interested in formal logic and looking for a flexible and rigorous learning experience, the Open Logic Project provides a valuable resource.

## Industries

- 🧪 Science and Education
- 🧪 Education _(under Science and Education)_
- 🧪 Philosophy _(under Science and Education)_

## Links

- [twitter](https://twitter.com/OpenLogicProj)
- [github](https://github.com/OpenLogicProject)
- [facebook](https://facebook.com/openlogicproject)

## Logos & icons

- logo _(primary)_ — PNG — [download](https://cdn.brandfetch.io/idSRHpzQ3F/w/487/h/192/theme/dark/logo.png?c=1bxid64Mup7aczewSAYMX&t=1778087302963)
- icon _(primary)_ — PNG — [download](https://cdn.brandfetch.io/idSRHpzQ3F/w/398/h/398/theme/dark/icon.png?c=1bxid64Mup7aczewSAYMX&t=1778087303077)

## Colors

| Name | Hex | Theme |
| --- | --- | --- |
| Periwinkle Gray | #b3c7e3 | accent |
| Ultramarine | #0c1c8c | dark |
| Alto | #d3d3d3 | light |

## Fonts

- Work Sans — asset _(google)_
- Work Sans — asset _(google)_

## Imagery

- banner _(primary)_ — JPEG — [download](https://cdn.brandfetch.io/idSRHpzQ3F/w/1500/h/500/id3DNTYmYT.jpeg?c=1bxid64Mup7aczewSAYMX&t=1778087303336)

---

_Source: <https://brandfetch.com/openlogicproject.org>_
_See [/llms.txt](/llms.txt) for a full list of agent-readable pages, and [/auth.md](/auth.md) for how agents authenticate._