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 Smith-Johnson
Mar 10, 2017 - 1:29 PM
Show unanswered topics / topics with 10+ replies / all topics
Show topics, ordered by
Topic Title Replies Views Rating Created Last Post
All A are B implies Some A are B. (1, 2) 13 344
  • 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 57
  • 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 87
  • 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 207
  • 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 829
  • 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 523
  • 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 234
  • 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 49
  • 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 80
  • 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 516
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
May 29, 2016
5:58 PM
By sonOfFishfry
Jun 10, 2016
11:54 AM
By MoeBlee
Hypothetical statements contradicting each other (1, 2) 16 258
  • 60/5
  • 1
  • 2
  • 3
  • 4
  • 5
3/5 with 1 vote
Jun 01, 2016
11:36 AM
By mauxdivers
Jun 06, 2016
9:49 AM
By MoeBlee
Modal logic where what's possible is necessary. (1, 2) 14 270
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
May 19, 2016
6:48 AM
By MathematicalPhysics Wizard
May 29, 2016
2:51 PM
By MathematicalPhysics Wizard
How Many 'truths' Exist?... (1, 2, 3, 4) 36 293
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
May 28, 2016
2:43 PM
By Scott Mayers
May 29, 2016
1:35 PM
By GB_Cobber
What is the name of this sequence? (1, 2, 3, 4, 5) 49 574
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
May 11, 2016
7:49 AM
By YaleLandsberg
May 29, 2016
12:58 PM
By YaleLandsberg
Counting Past Infinity (1... 12, 13, 14) 132 1767
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Apr 15, 2016
3:16 PM
By DaedalusPrhyme
May 29, 2016
3:35 AM
By enkidu
A paradox or maybe not? (1, 2, 3, 4) 37 456
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
May 25, 2016
12:07 PM
By YaleLandsberg
May 28, 2016
10:29 PM
By YaleLandsberg
Card Trick Fallacy - informal fallacy 1 52
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
May 25, 2016
6:30 PM
By Steve Mattos
May 28, 2016
1:24 AM
By Dantesco
Modal Logic Axiom System 1 48
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
May 26, 2016
11:08 AM
By whatisit
May 28, 2016
1:13 AM
By Dantesco
Does a true statement exist? (1... 4, 5, 6) 59 631
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
May 19, 2016
12:04 AM
By sealight
May 27, 2016
2:35 AM
By GB_Cobber
Godel 1st incompleteness theorem 2 91
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
May 25, 2016
12:13 AM
By arupel
May 26, 2016
12:26 AM
By Scott Mayers
Search for in

Forum Stats

Moderators:
Subforums: 1
Topics: 1811 (3603 counting subforums)
Last topic added: Oct 5, 2017 - 6:12 AM