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,814  8,267 
In Expressing Conjunction and Negation
By MoeBlee Aug 4, 2016  5:57 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)  26  69898  Sep 25, 2009 9:42 AM By dreamweaver 
Jan 14, 2016 5:43 PM By mercywizard ► 

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

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

•  formalization  0  0  Sep 20, 2016 7:40 AM By chris11 
Sep 20, 2016 7:40 AM By chris11 ► 

•  Tips on introductions to logic and modal logic  0  0  Aug 02, 2016 4:42 AM By mauxdivers 
Aug 02, 2016 4:42 AM By mauxdivers ► 

•  Solution to the Monty Hall Problem  0  0  Jul 30, 2016 9:34 PM By ryanamk 
Jul 30, 2016 9:34 PM By ryanamk ► 

•  What sort of numbers are natural according to Peano Axioms? (1, 2, 3)  28  284  Jul 03, 2016 10:35 AM By sorrythatwasme 
Jul 17, 2016 9:43 PM By andrewk ► 

•  Do categorical propositions presuppose essentialism or... (1, 2)  14  110  Jul 15, 2016 9:17 PM By Q~uestion 
Jul 16, 2016 8:17 AM By Terrapin_Station ► 

•  Godel vs Wittgenstein (1, 2)  13  264  Jul 13, 2016 5:40 PM By Q~uestion 
Jul 15, 2016 9:29 AM By Nagase ► 

•  Help me find the Fallacy (1, 2)  11  172  Jul 07, 2016 11:56 PM By Southofheaven 
Jul 15, 2016 12:04 AM By Scott Mayers ► 

•  Paraconsistent intuitionist set theory  6  85  Jul 06, 2016 5:26 PM By viennacircle 
Jul 14, 2016 3:28 PM By Scott Mayers ► 

•  All A are B implies Some A are B. (1, 2)  13  262  Jul 04, 2016 7:11 AM By Owen 
Jul 11, 2016 1:27 PM By Dantesco ► 

•  How to recursively define a firstorder signature?  0  20  Jul 11, 2016 1:09 PM By Dantesco 
Jul 11, 2016 1:09 PM By Dantesco ► 

•  Is Turing's Theory Impredicative?  2  54  Jul 03, 2016 4:03 PM By Hitches Mutinous Pony 
Jul 09, 2016 12:23 PM By Timothy ► 

•  Deterministic machine vs free will (1, 2)  10  146  Jul 02, 2016 7:13 PM By JaimeLM 
Jul 05, 2016 7:19 AM By odo ► 

•  Can the Continuum Hypothesis be proven/disproven? (1, 2, 3, 4, 5)  47  797  Apr 10, 2016 5:17 AM By PhilX 
Jul 04, 2016 12:32 AM By noAxioms ► 

•  Is there any reason why 2 comes after 1? (1, 2, 3, 4)  31  483  May 11, 2016 10:09 AM By hughsmith23 
Jul 03, 2016 3:40 PM By sonOfFishfry ► 

•  layer logic  a new alternative only for aliens?  0  34  Jul 02, 2016 4:35 AM By Trestone 
Jul 02, 2016 4:35 AM By Trestone ► 

•  Disjunction Introduction  1  36  Jun 27, 2016 4:01 AM By MrOutsider 
Jun 27, 2016 5:14 AM By Owen ► 

•  semantically equivalent  2  72  Jun 26, 2016 6:56 AM By hany.mha.ibrahim 
Jun 26, 2016 8:35 PM By Owen ► 
Actions 