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,731  8,028 
In Need help with a formal derivation
By Owen Nov 28, 2015  2:08 PM ► 
Show unanswered topics / topics with 10+ replies / all topics 
Topic Title  Replies  Views  Rating  Created  Last Post  

•  Pinned: Very Basic Terms of Logic (1, 2, 3)  25  64104  Sep 25, 2009 9:42 AM By dreamweaver 
Nov 04, 2015 4:30 AM By AvPhilo ► 

•  Pinned: Recommended Reading (1... 4, 5, 6)  51  19314  Apr 29, 2006 10:31 PM By Timothy 
Oct 02, 2013 4:00 AM By StaticAge ► 

•  Pinned: LaTeX guide (1, 2)  15  4209  Dec 09, 2005 5:43 PM By AKG 
Jul 15, 2012 3:54 PM By Paul ► 

•  Query about translation  4  61  Nov 26, 2015 1:04 PM By Humementalist 
Nov 28, 2015 11:59 AM By Humementalist ► 

•  Operator specialness  2  42  Nov 27, 2015 2:56 PM By nac 
Nov 28, 2015 9:31 AM By Owen ► 

•  Help on mock exam;  2  49  Nov 20, 2015 8:05 PM By ovechkin1313 
Nov 26, 2015 8:14 PM By asocratic ► 

•  n/0 does not exist, for all n. (1, 2)  10  148  Nov 20, 2015 7:56 AM By Owen 
Nov 21, 2015 10:51 AM By TheDivineFool ► 

•  Need help with solving Symbolic logic problem  1  36  Nov 20, 2015 1:41 PM By harisri 
Nov 20, 2015 9:13 PM By TheDivineFool ► 

•  Do Numbers Exist? Does Math exist? (1, 2, 3, 4)  33  608  Sep 19, 2015 11:15 PM By Bitasy 
Nov 18, 2015 5:26 PM By sonOfFishfry ► 

•  Textbooks for the Autodidact  3  73  Nov 16, 2015 7:36 AM By Logic Amateur 
Nov 16, 2015 7:26 PM By Logic Amateur ► 

•  The square root of NOT (1, 2, 3)  26  602  Apr 18, 2014 10:27 AM By odo 
Nov 16, 2015 5:56 PM By penrose14 ► 

•  LPL 11.16  0  45  Nov 12, 2015 5:22 PM By Sufering SoL 
Nov 12, 2015 5:22 PM By Sufering SoL ► 

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

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

•  Writing sentences in predicate logic  4  88  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  1112  Sep 09, 2015 4:25 PM By elysiumleonardo 
Nov 03, 2015 12:56 PM By Elrog ► 

•  Derivation Help Symbolic Logic  0  35  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  115  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  392  Oct 19, 2015 8:49 PM By Teocrates 
Oct 26, 2015 9:22 PM By Metaphysician Undiscovered ► 

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