# OpenLogicProject/OpenLogic

An open-source, customizable intermediate logic textbook

Repository: https://github.com/OpenLogicProject/OpenLogic
Canonical: https://ross.abutalabs.com/products/openlogic
Homepage: http://openlogicproject.org/
Language: TeX
License: CC-BY-4.0
License Family: other
Last push: 2026-08-14T15:51:07+00:00

## Health v2 (maintenance only)
Score: 66/100 (v2, computed 2026-09-03T02:20:16.233290+00:00)
- activity 97, release rhythm 8, longevity 100
- inputs: {"age_days": 4999, "days_push": 19, "days_rel": null, "gap_med": null, "n_releases_24m": 0}
- flags: none
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 1346, forks 287 (observed 2026-08-28T04:04:27.472103+00:00)

## What it is
An open-source, modular, collaboratively authored LaTeX textbook on intermediate and advanced logic, aimed at philosophers, computer scientists, and mathematicians. Its configurable build system lets instructors remix sections, notation, and exercises to produce custom course texts.

## Use cases
- build a custom logic textbook for a philosophy course
- find free teaching material on Gödel's incompleteness theorems
- learn first-order logic semantics and proof systems
- get LaTeX source for a set theory or model theory text
- adapt an open logic text for computer science students
- remix open educational resources on modal or intuitionistic logic

## When to choose
- you need a rigorous, free, remixable logic textbook with LaTeX source
- you teach intermediate/advanced logic and want configurable notation and topic selection
- you want open educational resource material on computability, incompleteness, or proof systems

## When to avoid
- you need an introductory 'what is an argument' logic course
- you want a polished commercial textbook with publisher support
- you need interactive exercises or auto-grading rather than a static PDF

## Facets
- artifact type: learning-resource
- maturity: active
- function: documentation, markdown
- domain: education, mathematics, tutorials
- platform: cross-platform
- tags: open-educational-resource, latex, logic, textbook, philosophy, set-theory, model-theory, computability, modal-logic

## Member repositories
- OpenLogicProject/OpenLogic (main) score 66

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:04:27.472103+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-30T04:42:40.665918+00:00, confidence not recorded.
  - readme: https://github.com/OpenLogicProject/OpenLogic (fetched 2026-08-28T04:04:27.472103+00:00, sha 5caf9c104fd8)
  - homepage: http://openlogicproject.org/ (fetched 2026-08-29T12:01:49.571921+00:00, sha c35347e32d5c)
  - site_page: https://openlogicproject.org/about (fetched 2026-08-29T12:01:49.581625+00:00, sha 91035c77b4c6)
- Data as of 2026-08-30T08:39:29.467469+00:00.