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  

•  Statement logic must be the foundation of math (1, 2, 3, 4)  37  467  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  1448  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  155  Feb 24, 2015 8:42 PM By ouzododeka 
Feb 26, 2015 7:38 PM By ouzododeka ► 

•  What is infinity? (1... 4, 5, 6)  52  847  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  1587  Feb 11, 2015 4:23 AM By taomath 
Feb 17, 2015 6:05 PM By apokrisis ► 

•  Mathematically Moral Destinies and Paradoxes (1, 2)  13  193  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  220  Jan 28, 2015 5:44 PM By litewave 
Feb 13, 2015 12:12 PM By Nagase ► 

•  space of more than three dimension viewable  0  63  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  72  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  266  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  403  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  103  Jan 29, 2015 12:29 PM By arupel 
Jan 29, 2015 9:13 PM By tarkovsky ► 

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

•  'sequence' and transformation mereology (1, 2)  18  352  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  817  Dec 20, 2014 12:25 PM By Iakopa 
Jan 24, 2015 7:34 AM By Nowthough ► 

•  Assignments in an interpretation  9  149  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  679  Dec 30, 2014 5:50 AM By sophonax 
Jan 18, 2015 4:36 AM By tarkovsky ► 

•  Time in the foundations of mathematics (1, 2, 3, 4, 5)  42  558  Dec 10, 2014 10:08 AM By spoirier 
Jan 14, 2015 5:30 AM By spoirier ► 

•  What kind of fallacy?  2  111  Jan 11, 2015 4:35 PM By pico 
Jan 12, 2015 9:26 AM By dclements ► 

•  An incomplete sentence logic (1, 2, 3, 4)  33  492  Apr 01, 2014 6:41 PM By altusi 
Jan 10, 2015 5:17 PM By the.yangist ► 
Actions 