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. |
334 | 1,977 | In formalisation By Jean Francoise 11/22/09 - 05:35 PM  |
| Show unanswered topics / topics with 10+ replies / all topics |
| Topic Title | Author | Replies | Views | Rating | Created | Last Post | |
|
Gentzen's Cut Elimination theorem
|
Sergei_Trop | 0 | 43 | Nov 17, 2009 06:42 AM |
Nov 17, 2009 06:43 AM By Sergei_Trop |
|
|
|
proof of ~VxQx therefore Ex~Qx
|
kingoftsr | 0 | 28 | Nov 16, 2009 07:08 AM |
Nov 16, 2009 07:08 AM By kingoftsr |
|
|
|
Metatheory for a Logic
I'm trying to construct the theorems for a Fitch style calculus. |
ronlongo | 0 | 71 | Oct 22, 2009 07:01 PM |
Oct 22, 2009 07:01 PM By ronlongo |
|
|
|
Can you check my formal logic?
File attached. |
emanswen | 0 | 97 | Sep 28, 2009 05:01 AM |
Sep 28, 2009 05:01 AM By emanswen |
|
|
|
Impredicative proofs
Trying to understand modern impredicativity. |
ClaudeHooper | 0 | 35 | Aug 12, 2009 05:38 AM |
Aug 12, 2009 05:38 AM By ClaudeHooper |
|
|
|
Lob's Theorem Cartoon
|
the.yangist | 0 | 38 | May 21, 2009 02:07 PM |
May 21, 2009 02:07 PM By the.yangist |
|
|
|
Predicate Calculus.
|
BeeT | 0 | 12 | Mar 24, 2009 03:57 AM |
Mar 24, 2009 03:57 AM By BeeT |
|
|
|
Confusion day!
|
Cadrache | 0 | 6 | Nov 22, 2008 01:19 PM |
Nov 22, 2008 01:19 PM By Cadrache |
|
|
|
inference related to cardinal numbers and "more"
|
wailoktam | 0 | 5 | Sep 20, 2008 11:06 AM |
Sep 20, 2008 11:06 AM By wailoktam |
|
|
|
Existential Assumptions
|
dowhat1can | 0 | 6 | Jul 09, 2008 10:28 AM |
Jul 09, 2008 10:28 AM By dowhat1can |
|
|
|
Dangerous Knowledge
|
Ichirin | 0 | 11 | Jan 17, 2008 09:38 AM |
Jan 17, 2008 09:38 AM By Ichirin |
|
|
|
Yoneda Philosophy and music
|
ludovico | 0 | 7 | Dec 12, 2007 06:46 AM |
Dec 12, 2007 06:46 AM By ludovico |
|
|
|
Help: Predicate Logic incorporating Spatiality
|
thr33of4 | 0 | 3 | Jun 26, 2007 12:03 PM |
Jun 26, 2007 12:03 PM By thr33of4 |
|
|
|
Tarski criterion and a generalisation.
|
The Bearded Monkey | 0 | 4 | Jun 20, 2007 09:22 AM |
Jun 20, 2007 09:22 AM By The Bearded Monkey |
|
|
|
distribution of predicate term
|
taffeta | 0 | 7 | Jun 08, 2007 04:16 PM |
Jun 08, 2007 04:16 PM By taffeta |
|
|
|
We don't need the logic homework forum anymore
|
The Bearded Monkey | 0 | 9 | May 20, 2007 04:40 AM |
May 20, 2007 04:40 AM By The Bearded Monkey |
|
|
|
Audio Tractatus - logic notation help sought
|
CarlManchester | 0 | 8 | Feb 19, 2007 06:10 AM |
Feb 19, 2007 06:10 AM By CarlManchester |
|
|
|
Did we really hope to get away with The Gödelian Argument?
|
Bhupinder Singh Anand | 0 | 5 | Jun 16, 2005 02:38 PM |
Jun 16, 2005 02:38 PM By Bhupinder Singh Anand |
|
|
|
Everything is less than something
|
Stanley | 0 | 3 | Dec 04, 2004 03:04 PM |
Dec 04, 2004 03:04 PM By Stanley |
|
|
|
Classical Predicate and Modal Logic Question
|
Hidigger | 0 | 2 | Nov 15, 2004 12:39 PM |
Nov 15, 2004 12:39 PM By Hidigger |
Page: 1 2 3 4 5 6 7 8 9 10 11 Last
 Actions |
Forum Stats