Welcome to /r/Formalism

Formalism is the philosophy of logic and mathematics that holds that statements can be considered to be statements about the consequences of the manipulation of formal language using established transformation rules.

• 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 Formalism.
• 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

Related subreddits

• /r/logic
• /r/math
• /r/philosophy
• /r/PhilosophyofMath
• /r/askphilosophy
• /r/AcademicPhilosophy

Branches of Philosophy

• /r/Metaphysics
• /r/logic2
• /r/epistemology
• /r/Ethics
• /r/aesthetics
  
• /r/SocialPhilosophy
• /r/PoliticalPhilosophy

History of Philosophy

• /r/historyofphilosophy
• /r/AncientPhilosophy
• /r/medievalphilosophy
• /r/modernphilosophy
• /r/contemporaryphil

Philosophical traditions

• /r/analyticphilosophy
• /r/continentaltheory
• /r/Marxism
• /r/EasternPhilosophy

Philosophy of other subject areas

• /r/philosophyoflanguage
• /r/PhilosophyofMind
• /r/PhilosophyofScience
• /r/PhilosophyofReligion
• /r/philosophyoflaw

Instruments of philosophy

• /r/Philosophers
• /r/Philosophicallit

Other related subreddits

• /r/MetaLogic
• /r/deduction
• /r/neologicism
• /r/intuitionism
• /r/Platonism
• /r/constructivism
• /r/conceptualism
• /r/conventionalism
• /r/fictionalism
• /r/dialetheism
• /r/paraconsistentlogic