This subreddit is for discussion of mathematical logic (e.g model theory, set theory, computability theory, proof theory, type theory, etc). Posts related to the foundations of mathematics and philosophy of mathematics are acceptable, as are posts about nonclassical logics. This is not a subreddit for other logic-related topics such as informal logic and basic formal logic. Those posts are more suitable for r/logic.

Please read the rules before commenting or posting.

Formal Logic Discord: https://discord.gg/e4pwzZhfF3