| Calendar |
Quick Links
|
Help | Register |
Logic and Philosophy of Math
| Forum | Topics | Posts | Latest Post | |
![]() |
Logic Homework
|
191 | 1,208 | In Modal Logic and Provability By muxol 05/09/08 - 03:08 PM ![]() |
| Show unanswered topics / topics with 10+ replies / all topics |
| Topic Title | Author | Replies | Views | Rating | Created | Last Post | |
|
|
Pinned: Recommended Reading
|
Timothy | 11 | 1866 | Apr 29, 2006 07:31 PM |
Mar 31, 2008 04:35 PM By 7 ![]() |
|
|
|
Pinned: LaTeX guide
|
AKG | 8 | 1231 | Dec 09, 2005 02:43 PM |
Apr 29, 2007 05:27 PM By Paul ![]() |
|
|
|
Pinned: Very Basic Terms of Logic
|
dreamweaver | 7 | 9290 | ![]() ![]() ![]() ![]() 4.67/5 with 3 votes | Mar 06, 2004 07:08 AM |
Sep 15, 2006 08:43 AM By Timothy ![]() |
|
|
Logic exams
Do you have old logic exams that you can share? |
loolooapples | 1 | 19 | May 11, 2008 09:24 PM |
May 12, 2008 02:05 PM By The_Rational_Animal ![]() |
|
|
|
Are illogical worlds possible?
|
nawitus | 11 | 98 | May 07, 2008 05:00 AM |
May 11, 2008 04:41 PM By 7 ![]() |
|
|
|
On Snarks and Boojums
|
hds | 4 | 77 | May 07, 2008 12:52 PM |
May 08, 2008 12:08 PM By unenlightened ![]() |
|
|
|
Avicennan Logic
|
quddusaliquddus | 2 | 62 | May 05, 2008 10:02 AM |
May 07, 2008 10:33 AM By quddusaliquddus ![]() |
|
|
|
Syllogism - Monty Python
|
Devon8822 | 3 | 60 | May 05, 2008 10:50 AM |
May 07, 2008 07:48 AM By Devon8822 ![]() |
|
|
|
The Two envelope Paradox
(1,
2)
O so simple... |
unenlightened | 31 | 316 | Mar 31, 2008 11:37 AM |
May 06, 2008 01:45 AM By Death Monkey ![]() |
|
|
|
Can something stop existing?
|
haxyo | 11 | 175 | Apr 07, 2008 05:02 PM |
May 02, 2008 11:43 PM By The_Rational_Animal ![]() |
|
|
|
HELP w/ countable downward L-S theorem
|
Patrick R | 14 | 191 | Apr 20, 2008 11:25 PM |
Apr 25, 2008 04:08 AM By 7 ![]() |
|
|
|
Humean Skepticism and Logic
|
despinozist | 8 | 87 | Apr 07, 2008 07:05 PM |
Apr 22, 2008 02:25 AM By the.yangist ![]() |
|
|
|
examples and definitions
Which should we start from? The definition or the example? |
alliop | 2 | 70 | Apr 20, 2008 10:31 AM |
Apr 20, 2008 05:53 PM By alliop ![]() |
|
|
|
need some help
looking for computer programs |
sl3v3n | 2 | 57 | Apr 18, 2008 08:40 PM |
Apr 20, 2008 11:38 AM By Timothy ![]() |
|
|
|
What is Logic?
|
Ryzor | 19 | 299 | Jan 15, 2008 01:36 PM |
Apr 18, 2008 08:19 AM By Reformed Nihilist ![]() |
|
|
|
Mathmatics doesn't conform to the universe.
(1,
2)
Is mathmatics universal? |
SisyphusInAgony | 27 | 409 | Jan 31, 2008 10:53 AM |
Apr 18, 2008 02:17 AM By Baudin ![]() |
|
|
|
Higher-Order Logic
|
TecnoTut | 6 | 129 | Apr 10, 2008 11:45 AM |
Apr 16, 2008 04:12 PM By muxol ![]() |
|
|
|
The semantics of equality in FOL
(1,
2)
Are the remplacements axioms for equality enough in FOL? |
moonlight | 28 | 67 | Apr 01, 2008 05:50 AM |
Apr 03, 2008 05:35 PM By MoeBlee ![]() |
|
|
|
Finitizing Pi
pi-based number system? |
jposamen | 14 | 76 | Mar 17, 2008 09:52 PM |
Apr 03, 2008 10:48 AM By rabeldin ![]() |
|
|
|
naivete of intuitionism
(1,
2,
3)
|
Monroe | 50 | 373 | Feb 21, 2008 08:02 PM |
Apr 02, 2008 10:05 AM By MoeBlee ![]() |
|
|
|
Proofs of Church's Theorem for FOL
(1,
2)
|
7 | 49 | 345 | Mar 24, 2008 02:17 AM |
Apr 01, 2008 02:19 AM By moonlight ![]() |
|
|
|
Logical Defense of Arsitotle's Categories
Need help with predication |
JasB19 | 14 | 106 | Mar 30, 2008 12:35 PM |
Mar 31, 2008 06:03 PM By Timothy ![]() |
|
|
|
A probabilistic analysis of the resurrection of Jesus
|
emanswen | 13 | 112 | Mar 21, 2008 08:15 PM |
Mar 27, 2008 04:38 AM By swstephe ![]() |
|
|
|
Validating formulas in modal logic
a problem |
muxol | 18 | 391 | Jan 24, 2005 10:35 PM |
Mar 26, 2008 04:53 PM By 7 ![]() |
|
|
|
Relevant (or Relevance) Logic
|
phenyl_engine_rods | 11 | 251 | Jul 02, 2004 02:38 AM |
Mar 24, 2008 12:55 AM By 7 ![]() |
Page: 1 2 3 4 5 6 7 8 9 10 11 Last
|
|




