/r/logic
This subreddit is a venue for discussion and questions on the subject of logic, the branch of philosophy and mathematics concerned with reasoning. Both philosophical and mathematical logic is welcome here.
Please do let the community know what you are working on in the area of logic. Let everyone know about any academic publications in the area of logic that may be of interest. Debates and discussions on all topics related to logic are welcome. Please make an effort to engage the community rather than simply stating your views.
Questions on all of the following topics are welcome. Please make them clear.
- Informal logic
- Critical thinking
- Propositional logic
- Predicate logic
- Set theory
- Proof theory
- Model theory
- Computability theory
- Modal logic
- Metalogic
- Philosophy of logic
- Paradoxes
- History of logic
In general,
- Please be civil. No personal attacks. No name calling.
- No commercial activity. No ads. No promotions. No fundraising.
- Relevant posts only. The post has to have something to do with the subject area of logic.
- No duplicates. A repeated post may be removed. Please try to keep a discussion on a single issue within the same post.
- No empty posts.
- Openness. In general, no post, comment, or member shall be removed, except for a serious and compelling reason. This subreddit is public.
Common symbols
| Symbol | Meaning |
|---|---|
| ~ , ¬ | negation; NOT |
| ∧ | conjunction; AND |
| ∨ | disjunction; OR |
| → , ⊃ | conditional; If... Then... |
| ↔ , ≡ | biconditional; ...if and only if... |
| ∀ | universal quantifier; For all... |
| ∃ | existential quantifier; There exists... |
| ⊢ | ...syntactically entails... |
| ⊨ | ...semantically entails... |
| □ | It is necessary that... |
| ◊ | It is possible that... |
| ∈ | ...is an element/member of... |
| ∅ | empty set |
| ⊆ | ...is a subset of... |
| ⊂ | ...is a proper subset of... |
| ∪ | union |
| ∩ | intersection |
Logic related
- /r/arguments
- /r/Computability
- /r/Constructivism
- /r/criticalthinking
- /r/Formalism
- /r/fuzzylogic
- /r/modeltheory
- /r/neologicism
- /r/paradoxes
- /r/PhilosophyofMath
- /r/philosophy_of_logic
- /r/Platonism
- /r/semantics
- /r/SetTheory
- /r/syntax
Math related
- /r/math
- /r/mathematics
- /r/learnmath
- /r/mathbooks
- /r/matheducation
- /r/casualmath
- /r/puremathematics
- /r/mathpics
- /r/mathriddles
- /r/mathmemes
- /r/algorithms
- /r/statistics
Branches of Philosophy
History of Philosophy
- /r/historyofphilosophy
- /r/AncientPhilosophy
- /r/medievalphilosophy
- /r/modernphilosophy
- /r/contemporaryphil
Philosophy of other subject areas
- /r/philosophyoflanguage
- /r/PhilosophyofMind
- /r/PhilosophyofScience
- /r/PhilosophyofReligion
- /r/philosophyoflaw
Instruments of philosophy
Other Related subreddits
- /r/compsci
- /r/contradiction
- /r/CriticalThinking101
- /r/deduction
- /r/ExclusiveOr
- /r/FactsAndLogic
- /r/GEB
- /r/Godel
- /r/InclusiveOr
- /r/Logic101
- /r/logicalfallacy
- /r/LogicProblems
- /r/LogicPuzzles
- /r/masteroflogic
- /r/QuestionableSources
- /r/Reasonable
- /r/steelmanning
- /r/tautologies
- /r/Tautology
- /r/TautologyClub
/r/logic
1 Subscribers
Prof Gillian Russell - Logical Nihilism: Could There Be No Logic?
15:44 UTC
best books to start studying logic
14:27 UTC
Best books to start studying philosophy of logic
14:25 UTC
has the idea of God influenced the idea of logic we have today?
14:23 UTC
What are the most important questions for future works in philosophy of Logic?
14:21 UTC