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
Show topics, ordered by
Topic Title Replies Views Rating Created Last Post
Pinned: Very Basic Terms of Logic (1, 2, 3) 26 69898
  • 90.6/5
  • 1
  • 2
  • 3
  • 4
  • 5
4.53/5 with 17 votes
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
  • 75.4/5
  • 1
  • 2
  • 3
  • 4
  • 5
3.77/5 with 13 votes
Apr 29, 2006
10:31 PM
By Timothy
Oct 02, 2013
4:00 AM
By StaticAge
Pinned: LaTeX guide (1, 2) 15 4415
  • 66/5
  • 1
  • 2
  • 3
  • 4
  • 5
3.3/5 with 10 votes
Dec 09, 2005
5:43 PM
By AKG
Jul 15, 2012
3:54 PM
By Paul
Tips on introductions to logic and modal logic 0 0
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Aug 02, 2016
4:42 AM
By mauxdivers
Aug 02, 2016
4:42 AM
By mauxdivers
Solution to the Monty Hall Problem 0 0
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
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
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
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
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
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
  • 60/5
  • 1
  • 2
  • 3
  • 4
  • 5
3/5 with 2 votes
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
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Jul 07, 2016
11:56 PM
By Southofheaven
Jul 15, 2016
12:04 AM
By Scott Mayers
Paraconsistent intuitionist set theory 6 85
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
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
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Jul 04, 2016
7:11 AM
By Owen
Jul 11, 2016
1:27 PM
By Dantesco
How to recursively define a first-order signature? 0 20
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Jul 11, 2016
1:09 PM
By Dantesco
Jul 11, 2016
1:09 PM
By Dantesco
Is Turing's Theory Impredicative? 2 54
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
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
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
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
  • 100/5
  • 1
  • 2
  • 3
  • 4
  • 5
5/5 with 1 vote
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
  • 40/5
  • 1
  • 2
  • 3
  • 4
  • 5
2/5 with 2 votes
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
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Jul 02, 2016
4:35 AM
By Trestone
Jul 02, 2016
4:35 AM
By Trestone
Disjunction Introduction 1 36
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Jun 27, 2016
4:01 AM
By MrOutsider
Jun 27, 2016
5:14 AM
By Owen
semantically equivalent 2 72
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Jun 26, 2016
6:56 AM
By hany.mha.ibrahim
Jun 26, 2016
8:35 PM
By Owen
Are intuitionist choice sequences like computable sequences? (1, 2, 3) 27 491
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
May 29, 2016
5:58 PM
By sonOfFishfry
Jun 10, 2016
11:54 AM
By MoeBlee
Search for in

Forum Stats

Moderators:
Subforums: 1
Topics: 1801 (3592 counting subforums)
Last topic added: Aug 2, 2016 - 8:31 PM