Prerequisite

Notation

? No check.

Resources

https://philosophy.stackexchange.com/questions/39933/where-can-i-learn-mathematical-logic/39937#39937

Goal

Story

Informal logic

Formal logic, Formal system

Inductive logic

Mathematical Logic

Truth or beauty?

Definitions

Notes

https://ahelwer.ca/post/2020-04-05-lean-assignment/

https://math.stackexchange.com/questions/50607/definition-of-definition

https://link.springer.com/article/10.1007/s13194-018-0203-y

https://en.wikipedia.org/w/index.php?title=Definition&section=10#In_logic_and_mathematics

A Handbook of mathematical discourse, by Charles Wells. See concept, definition, and prototype.

https://abstractmath.org/MM/MMDefs.htm

https://journals.openedition.org/philosophiascientiae/1827?lang=en

Mechanization of Logical Inference and Proof Discovery

First-Order Logic

Complete Logical Calculi

Elements of Model Theory

Universe of Discourse

Incompleteness and Undecidability

On the Theory of Self-Reference

Probability

https://plato.stanford.edu/entries/logic-probability/

Chapter notes

Principia Mathematica,

Fuzzy logic

Puzzles

"LSAT Logical Reasoning Cheat Sheet." LawSchooli, 21 Feb. 2019, lawschooli.com/lsat-logical-reasoning-cheat-sheet.

Foundations of Logic Programming

Foundations of Logic Programming

Prolog

Artificial Intelligence

https://plato.stanford.edu/entries/logic-ai/

Proof assistant

Coq

Xena project

https://leanprover-community.github.io/learn.html

https://www.youtube.com/watch?v=Dp-mQ3HxgDE&ab_channel=MicrosoftResearch

Lean

https://leanprover.github.io/

https://www.edayers.com/ayers_thesis_final.pdf

Deontic Logic in Computer Science 11th International Conference, DEON 2012 Bergen, Norway, July 16-18, 2012 Proceedings Jan Broersen.

Proofs from the book by Martin Aigner, Gunter M. Ziegler.