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  

•  Godel's Completeness Theorem  8  305  Mar 13, 2015 5:03 AM By SynodOfDordt 
Mar 20, 2015 4:17 PM By Timothy ► 

•  What kind of fallacy is this? (1, 2)  13  308  Mar 01, 2015 6:01 PM By Maxwell27 
Mar 11, 2015 11:39 AM By dclements ► 

•  pi day question,by aetzbar  4  360  Mar 03, 2015 11:01 AM By aetzbar 
Mar 06, 2015 10:52 AM By aetzbar ► 

•  Statement logic must be the foundation of math (1, 2, 3, 4)  37  476  Feb 12, 2015 12:49 AM By logik2 
Mar 02, 2015 12:18 AM By Uberwindung ► 

•  Pi plus Pi equal two times Pi? (1, 2, 3, 4, 5)  49  1549  Jan 19, 2015 2:53 AM By nemesis45 
Feb 28, 2015 6:27 AM By sinequanon ► 

•  Question on natural deduction proof of a negated conclusion without the use of reductio ad absurdum  7  158  Feb 24, 2015 8:42 PM By ouzododeka 
Feb 26, 2015 7:38 PM By ouzododeka ► 

•  What is infinity? (1... 4, 5, 6)  52  885  Feb 04, 2015 2:09 AM By FunnyBoy 
Feb 18, 2015 10:37 PM By jorndoe ► 

•  Why is 'positive angle' anticlockwise? (1, 2, 3, 4)  33  1612  Feb 11, 2015 4:23 AM By taomath 
Feb 17, 2015 6:05 PM By apokrisis ► 

•  Mathematically Moral Destinies and Paradoxes (1, 2)  13  198  Feb 14, 2015 6:25 PM By ryanredwood 
Feb 17, 2015 8:42 AM By ryanredwood ► 

•  Logical deduction interpreted in set theory (1, 2)  18  225  Jan 28, 2015 5:44 PM By litewave 
Feb 13, 2015 12:12 PM By Nagase ► 

•  space of more than three dimension viewable  0  66  Feb 09, 2015 3:14 PM By lemgruber 
Feb 09, 2015 3:14 PM By lemgruber ► 

•  Defining mathematical aesthetics: what is beautiful in demonstrations?  1  75  Feb 05, 2015 6:18 PM By Socialscientist 
Feb 05, 2015 8:00 PM By tarkovsky ► 

•  Is every argument is an instance of an invalid argument form?  3  269  Jan 31, 2015 12:28 PM By kingboonz 
Jan 31, 2015 12:48 PM By Nagase ► 

•  what is the most important mathematical/logic result of the 20th century? (1, 2)  18  408  Jan 17, 2015 10:50 PM By dragonknight500 
Jan 30, 2015 6:23 PM By andrewk ► 

•  Proof of a solution for a 5th order polynomial?  2  106  Jan 29, 2015 12:29 PM By arupel 
Jan 29, 2015 9:13 PM By tarkovsky ► 

•  Goldbach's Conjecture and Godel  2  213  Jan 29, 2015 12:20 PM By arupel 
Jan 29, 2015 4:08 PM By sonOfFishfry ► 

•  'sequence' and transformation mereology (1, 2)  18  357  Jan 13, 2015 5:54 AM By taomath 
Jan 24, 2015 8:05 PM By FunnyBoy ► 

•  Can something be both true and untrue at the same time? (1, 2, 3, 4, 5)  49  834  Dec 20, 2014 12:25 PM By Iakopa 
Jan 24, 2015 7:34 AM By Nowthough ► 

•  Assignments in an interpretation  9  152  Dec 29, 2014 12:53 PM By casey33 
Jan 22, 2015 10:20 PM By Nagase ► 

•  How does Cantor diagonal proof solve Zeno's paradox? (1, 2)  10  688  Dec 30, 2014 5:50 AM By sophonax 
Jan 18, 2015 4:36 AM By tarkovsky ► 
Actions 