Logic and Philosophy of Math
Is math derived from logic or is logic derived from math?
| Forum | Topics | Posts | Latest Post | |
![]() |
Logic Homework
Questions about specific logic issues. Please attempt to solve the problem and show where you're lost. |
331 | 1,968 | In Stuck on Proving logical expre... By SBonez 11/19/09 - 07:42 PM ![]() |
| Show unanswered topics / topics with 10+ replies / all topics |
| Topic Title | Author | Replies | Views | Rating | Created | Last Post | |
|
|
Pinned: Recommended Reading
(1,
2,
3)
|
Timothy | 20 | 3484 | Apr 29, 2006 06:31 PM |
Sep 28, 2009 01:24 PM By Timothy ![]() |
|
|
|
Pinned: Very Basic Terms of Logic
|
dreamweaver | 8 | 1419 | Mar 06, 2004 07:08 AM |
Sep 28, 2009 07:47 AM By stax ![]() |
|
|
|
Places That Don't Exist.
|
throng | 8 | 77 | Nov 19, 2009 01:38 PM |
Nov 20, 2009 08:31 AM By rigelrover ![]() |
|
|
|
There is one infinite set
There is one infinite set. |
vectorcube | 1 | 26 | Nov 19, 2009 12:24 PM |
Nov 20, 2009 07:55 AM By throng ![]() |
|
|
|
Is there a Mathematical Proof that
(1,
2,
3,
4)
I do not believe that it is true, so is there a proof? |
James S Saint | 34 | 560 | Oct 31, 2009 11:32 AM |
Nov 20, 2009 02:35 AM By magpies ![]() |
|
|
|
Troubles with Quantificational Logic
|
Haven | 2 | 28 | Nov 19, 2009 10:13 PM |
Nov 19, 2009 10:24 PM By Haven ![]() |
|
|
|
Gentzen's Cut Elimination theorem
|
Sergei_Trop | 0 | 35 | Nov 17, 2009 06:42 AM |
Nov 17, 2009 06:43 AM By Sergei_Trop ![]() |
|
|
|
Proof that numbers exist
(1...
4,
5,
6)
|
ManiacJack | 53 | 1420 | Jul 05, 2009 02:05 PM |
Nov 16, 2009 10:23 AM By MarchHare ![]() |
|
|
|
proof of ~VxQx therefore Ex~Qx
|
kingoftsr | 0 | 24 | Nov 16, 2009 07:08 AM |
Nov 16, 2009 07:08 AM By kingoftsr ![]() |
|
|
|
Zeno's Paradox
(1,
2,
3,
4)
|
Samuel Locke | 31 | 575 | Oct 20, 2009 07:13 AM |
Nov 15, 2009 10:10 AM By mattmark ![]() |
|
|
|
n^4
(1,
2)
|
throng | 14 | 216 | Oct 25, 2009 08:22 AM |
Nov 13, 2009 09:51 PM By throng ![]() |
|
|
|
Hello, New here. Don't tear me apart too badly
Question about (I'm sure) very elementary logic. |
msquires9 | 7 | 112 | Nov 13, 2009 03:25 AM |
Nov 13, 2009 06:07 PM By TheSandman ![]() |
|
|
|
Infinity As Sphere
|
antsmars | 2 | 65 | Nov 11, 2009 12:48 PM |
Nov 12, 2009 01:04 PM By FloydMcHenry ![]() |
|
|
|
It is raining
(1...
6,
7,
8)
|
Banno | 71 | 771 | Oct 29, 2009 01:52 AM |
Nov 09, 2009 05:14 AM By MiyamotoMusashi ![]() |
|
|
|
Demarcating Logic
|
Timothy | 7 | 150 | Sep 15, 2009 11:40 AM |
Oct 31, 2009 01:14 PM By Timothy ![]() |
|
|
|
A Question?
|
oriental67 | 1 | 35 | Oct 28, 2009 03:22 AM |
Oct 28, 2009 06:17 AM By unenlightened ![]() |
|
|
|
Why mathematical logic?
(1,
2)
|
lullus | 12 | 261 | Oct 10, 2009 01:55 PM |
Oct 27, 2009 01:35 PM By lullus ![]() |
|
|
|
Negative Numbers
(1,
2,
3)
|
Samuel Locke | 29 | 319 | Oct 22, 2009 09:48 AM |
Oct 26, 2009 01:02 PM By Banno ![]() |
|
|
|
Metatheory for a Logic
I'm trying to construct the theorems for a Fitch style calculus. |
ronlongo | 0 | 68 | Oct 22, 2009 07:01 PM |
Oct 22, 2009 07:01 PM By ronlongo ![]() |
|
|
|
Counter examples
How do you give counter examples? |
Why exist? | 4 | 99 | Oct 22, 2009 06:32 AM |
Oct 22, 2009 11:00 AM By Postmodern Beatnik ![]() |
Page: 1 2 3 4 5 6 7 8 9 10 11 Last
|
|


