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
Alternate math metaphor for the real positive numbers 9 215
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Jan 19, 2016
8:27 PM
By YaleLandsberg
Feb 16, 2016
6:01 PM
By sonOfFishfry
Continuum Hypothesis in formalized languages (1, 2) 11 139
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Jan 28, 2016
5:49 PM
By Abelius
Feb 16, 2016
5:49 PM
By MoeBlee
"Even if" connective 5 102
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Feb 14, 2016
9:22 PM
By yantinghee
Feb 15, 2016
6:43 PM
By MoeBlee
dd 0 61
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Feb 14, 2016
11:09 PM
By Chan Yoon
Feb 14, 2016
11:36 PM
By andrewk
Questions About Necessary Truths and Possible Worlds (1, 2) 10 193
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Jan 14, 2016
1:14 PM
By maplestreet
Feb 10, 2016
8:35 AM
By SophistiCat
Godel Escher Bach Pyramidal family and summarizing string and w-incomplete 3 104
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Feb 06, 2016
11:44 AM
By Sparky_
Feb 06, 2016
11:39 PM
By Nagase
Difference between Set Theory and Predicate Logic (1... 13, 14, 15) 140 1012
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Jan 21, 2016
6:11 PM
By ClairDeLune
Feb 03, 2016
3:59 PM
By MoeBlee
Self-Sealing Arguments (1, 2, 3, 4) 35 876
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Jan 16, 2016
8:35 AM
By Sam26
Jan 28, 2016
8:48 AM
By TheDivineFool
Difference between Two Not-Equivalent Forms 4 89
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Jan 24, 2016
4:44 AM
By moses88
Jan 25, 2016
4:43 AM
By moses88
Need help 7 68
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Jan 19, 2016
1:19 PM
By Eismeer
Jan 20, 2016
6:12 AM
By Eismeer
Personal Pronouns in Predicate Logic 6 104
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Jan 13, 2016
3:24 AM
By moses88
Jan 18, 2016
12:52 AM
By moses88
Does this modal logic make sense? 7 170
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Dec 10, 2015
2:48 PM
By Sleepwalk
Jan 17, 2016
11:30 AM
By the.yangist
Models of Yablo and Uzquiano 0 42
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Jan 15, 2016
3:08 PM
By Abelius
Jan 15, 2016
3:08 PM
By Abelius
To by-pass the Undecidable Gödel 2 164
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Jan 08, 2016
2:15 PM
By Abelius
Jan 10, 2016
2:46 PM
By Boethiusman
"This statement is false" is not a Proposition (1, 2, 3, 4) 33 634
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Sep 25, 2015
12:07 AM
By Nowthough
Jan 09, 2016
2:30 PM
By MindForgedManacle
Am I right to calculate the following sentences in predicate logic? 6 149
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Jun 21, 2015
6:12 AM
By moses88
Jan 05, 2016
6:28 PM
By Owen
Can you add 1 to 999...? (1, 2, 3, 4) 37 994
  • 20/5
  • 1
  • 2
  • 3
  • 4
  • 5
1/5 with 1 vote
Dec 18, 2015
4:34 AM
By Yahadreas
Jan 03, 2016
5:46 PM
By sonOfFishfry
Spectral Reality 2 87
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Dec 31, 2015
3:26 AM
By wg335910
Dec 31, 2015
1:57 PM
By Fourier
Proof that..The present King of France is bald, is false. 3 191
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Dec 20, 2015
3:46 AM
By Owen
Dec 28, 2015
8:17 AM
By Owen
How should we formalize it? 4 112
  • 0/5
  • 1
  • 2
  • 3
  • 4
  • 5
Dec 15, 2015
5:39 AM
By moses88
Dec 23, 2015
4:36 AM
By moses88
Search for in

Forum Stats

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