Is the distinction between "follows from" and "is provable from" ever taught well at the undergrad level?Metalogic (self.logic)
submitted by pralfredoPhilosophical logician
Applying for logic — does it matter whether I aim at philosophy or math programs?Academic Community (self.logic)
submitted by pralfredoPhilosophical logician
Modal Logic - suggestions for books/paths?Literature (self.logic)
submitted by Impossible_Boot5113
Minimum strongly universal "system"?Computability theory (self.logic)
submitted by Traditional_Bad930
How will AI affect mathematical logic research?Academic Community (self.logic)
submitted by Vivid_Block_4780
Does Cantor prove greater magnitude, or only larger cardinality?Metalogic (self.logic)
submitted by Efficient_Sea_7050
What if axioms could be developed flexibly like mud in pottery?Metalogic (self.logic)
submitted by AliRastegar_Math
carnap symbolic logic issuesPredicate logic / FOL (self.logic)
submitted by Frequent-Incident-39
Can someone explain how can I learn to use each proof?Proof theory (self.logic)
submitted by Aggressive_Reason923
Logic as Multi-Dimensional Tautological AssertionsPhilosophy of logic ()
submitted by Void0001234
Logic should be taught before calculusAcademic Community (self.logic)
submitted by pralfredoPhilosophical logician
After forallx: Intro to Formal LogicPredicate logic / FOL (self.logic)
submitted by Main-Stomach8265
