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. Please attempt to solve the problem and show where you're lost. 
1,531  7,206 
In Fitch Problems 16.30 and 16.40 (Mathematical Induc...
By maxine94 Nov 22, 2014  11:50 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)  24  53905  Sep 25, 2009 6:42 AM By dreamweaver 
Nov 08, 2014 5:39 AM By servantofallah ► 

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

•  Pinned: LaTeX guide (1, 2)  16  3895  Dec 09, 2005 2:43 PM By AKG 
Sep 28, 2013 12:15 PM By Banno ► 

•  An incomplete sentence logic (1, 2)  14  104  Apr 01, 2014 3:41 PM By altusi 
Nov 23, 2014 10:10 AM By Nagase ► 

•  Is the border of a region part of the region? Do two objects that touch share space?  0  45  Nov 23, 2014 4:13 AM By Nowthough 
Nov 23, 2014 4:13 AM By Nowthough ► 

•  What, ontologically, is an 'external product' of Grassmannian algebra?  1  39  Nov 21, 2014 4:33 AM By taomath 
Nov 22, 2014 5:35 AM By FredJeffries ► 

•  Euclid's Axioms are SelfExplanatory  0  40  Nov 20, 2014 6:26 PM By jbmolineux 
Nov 20, 2014 6:26 PM By jbmolineux ► 

•  "Just in case" vs. "If and only if"  2  65  Nov 02, 2014 4:48 AM By pico 
Nov 20, 2014 6:18 PM By Philo1965 ► 

•  The Real Number Circle and the Gaussian 'Shell'  5  92  Oct 27, 2014 5:28 AM By taomath 
Nov 19, 2014 11:53 PM By taomath ► 

•  Why isn't my goal checking out!? LPL 6.32  0  29  Nov 17, 2014 7:26 PM By Kati3x421 
Nov 17, 2014 7:26 PM By Kati3x421 ► 

•  A complete description (1... 10, 11, 12)  117  1780  Oct 31, 2014 3:29 PM By Banno 
Nov 15, 2014 8:39 AM By Blaise St Mary ► 

•  □(p→q) → (□p→□q) (1, 2)  14  225  Nov 04, 2014 2:36 PM By logik2 
Nov 14, 2014 1:59 PM By logik2 ► 

•  Ex 12.13  1  93  Nov 09, 2014 7:38 PM By abirjepatil 
Nov 09, 2014 10:42 PM By Postmodern Beatnik ► 

•  Solving propsitional proofs  3  80  Oct 22, 2014 9:23 PM By purler 
Nov 09, 2014 3:19 PM By the.yangist ► 

•  Correlation between being good at symbolic logic and being good at making logical arguments  7  146  Oct 30, 2014 12:06 PM By aker12 
Nov 08, 2014 7:35 AM By The Endangered Wumpus ► 

•  Decidability, Soundness, Completeness and Modus Ponens (1, 2)  13  155  Oct 25, 2014 4:43 AM By MarchHare 
Nov 04, 2014 2:52 PM By logik2 ► 

•  Dimensionless Involutions  1  26  Nov 03, 2014 4:59 AM By taomath 
Nov 03, 2014 6:38 AM By FredJeffries ► 

•  A simple question  4  102  Oct 29, 2014 6:29 AM By Tipon 
Oct 30, 2014 1:20 PM By Tipon ► 

•  Is consciousness a decision problem? (1, 2)  19  247  Oct 14, 2014 8:59 AM By mtheoryrules 
Oct 30, 2014 5:31 AM By ssu ► 

•  Tacking Paradox and Deduction  3  57  Oct 27, 2014 8:22 PM By lousilver 
Oct 28, 2014 4:16 PM By Nagase ► 
Actions
