Logic and Philosophy of Math
Is math derived from logic or is logic derived from math?
Forum  Topics  Posts  Latest Post 

Logic and Math Homework
Questions about specific logic and math issues. Important: You must attempt to solve the problem and show where you're lost. Do not simply post a problem without making an effort. 
1,815  8,268 
In Proving disjunctive syllogism using introduction a...
By Barton SmithJohnson Mar 10, 2017  1:29 PM ► 
Show unanswered topics / topics with 10+ replies / all topics 
Topic Title  Replies  Views  Rating  Created  Last Post  

•  Infinitely Recursive Relation Definition  2  61  Nov 10, 2015 10:16 PM By bentHnau 
Nov 11, 2015 6:43 AM By Nagase ► 

•  Poll on necessity and possibility (1, 2)  15  238  Nov 06, 2015 4:13 PM By logik2 
Nov 10, 2015 7:43 AM By logical bob ► 

•  Writing sentences in predicate logic  4  105  Oct 29, 2015 5:59 PM By beanodog90 
Nov 05, 2015 10:32 PM By Uberwindung ► 

•  proof against actual infinities (1... 8, 9, 10)  92  1214  Sep 09, 2015 4:25 PM By elysiumleonardo 
Nov 03, 2015 12:56 PM By Elrog ► 

•  Derivation Help Symbolic Logic  0  68  Oct 29, 2015 1:51 PM By The logic struggle is real 
Oct 29, 2015 1:51 PM By The logic struggle is real ► 

•  Is there such a thing as research in logic?  4  132  Oct 10, 2015 12:01 PM By Zero Volt 
Oct 28, 2015 3:42 PM By saetia95 ► 

•  Proof of The Law of Excluded Middle (1, 2, 3, 4)  38  427  Oct 19, 2015 8:49 PM By Teocrates 
Oct 26, 2015 9:22 PM By Metaphysician Undiscovered ► 

•  Set membership relation (1, 2)  18  175  Oct 25, 2015 7:29 AM By litewave 
Oct 26, 2015 5:39 PM By andrewk ► 

•  using Disjunction introduction :)  1  34  Oct 24, 2015 3:06 PM By Inbarxz 
Oct 24, 2015 10:42 PM By canoluk2003 ► 

•  Do integers exist on the real line? (1, 2, 3)  23  273  Oct 09, 2015 7:48 PM By Hitches Mutinous Pony 
Oct 12, 2015 12:59 AM By Hitches Mutinous Pony ► 

•  Zermelo's 1904 paper on the WellOrdering Theorem (1, 2, 3)  21  396  Sep 29, 2015 5:49 AM By chrysippus323 
Oct 05, 2015 11:11 AM By FredJeffries ► 

•  What is mathematics? (1, 2)  11  200  Oct 02, 2015 10:23 AM By commoner 
Oct 03, 2015 1:01 PM By commoner ► 

•  The 5th order polynomial  1  52  Sep 26, 2015 11:50 AM By arupel 
Sep 26, 2015 1:28 PM By sonOfFishfry ► 

•  Biconditional connective proof  6  171  Sep 10, 2015 6:10 PM By JoukyuuKunitoshi 
Sep 22, 2015 4:08 AM By the.yangist ► 

•  Power Set  5  148  Sep 16, 2015 3:05 PM By St Aristotle 
Sep 19, 2015 2:04 AM By andrewk ► 

•  Probability and infinity (1... 7, 8, 9)  82  1131  Aug 18, 2015 1:45 AM By Marchesky 
Sep 08, 2015 10:58 PM By Elrog ► 

•  Why 1/2? (1, 2)  13  262  Sep 01, 2015 5:43 PM By ohk 
Sep 07, 2015 11:28 PM By oliveraandrew ► 

•  Fallacy of the Undistributed Middle (pls explain)  8  163  Aug 27, 2015 4:10 PM By Caligula 
Sep 06, 2015 9:19 PM By Caligula ► 

•  How is it possible that we can add two numbers? (1, 2)  11  395  Jul 19, 2015 2:15 AM By Zero Volt 
Sep 06, 2015 5:54 PM By oliveraandrew ► 

•  All tautologies are necessary  2  169  Sep 02, 2015 5:14 PM By kasabian 
Sep 03, 2015 8:52 AM By kasabian ► 
Actions 