Concept calculus: Much better than
| Abstract | This is the initial publication on Concept Calculus, which establishes mutual interpretability between formal systems based on informal commonsense concepts and formal systems for mathematics through abstract set theory. Here we work with axioms for "better than" and "much better than", and the Zermelo and Zermelo Frankel axioms for set theory. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
  Try with proxy. Try with proxy. Try with proxy. Try with proxy. Try with proxy. Try with proxy. Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesHarvey Friedman (2000). Does Mathematics Need New Axioms? The Bulletin of Symbolic Logic 6 (4):401 - 446.
Jairo José Da Silva (2002). The Axioms of Set Theory. Axiomathes 13 (2):107-126.
Jairo José Da Silva (2002). The Axioms of Set Theory. Axiomathes 13 (2):107-126.
Edward N. Zalta (2000). A (Leibnizian) Theory of Concepts. Logical Analysis and History of Philosophy 3:137-183.
Michael Thielscher (2001). The Concurrent, Continuous Fluent Calculus. Studia Logica 67 (3):315-331.
Don Pigozzi & Antonino Salibra (1995). The Abstract Variable-Binding Calculus. Studia Logica 55 (1):129 - 179.
Maria Bulińska (2005). The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms. Studia Logica 81 (1):43 - 59.
Analytics
Monthly downloads |
Added to index2009-05-05Total downloads12 ( #93,475 of 549,737 )Recent downloads (6 months)1 ( #63,425 of 549,737 )How can I increase my downloads? |
My notes
Discussion
