/r/logic

Photograph via snooOG

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 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

    Math related

    Branches of Philosophy

    History of Philosophy

    Philosophy of other subject areas

    Instruments of philosophy

    Other Related subreddits

    /r/logic

    5 Subscribers

    Back To Top