Field on Restall’s Paradox | Possibly Philosophy
I’m glad you’re thinking about this stuff. I agree that Field has a way out, as he describes, but I think it comes at a significant cost. My initial statement of the problem wasn’t directed at Field, of course (I’d been working on this before Hartry was working on non-classical approaches to the paradoxes). Rather, the original problem was a dilemma for non-classical logicians of all stripes. Now,
Set Theory: Constructive and Intuitionistic ZF (Stanford Encyclopedia of Philosophy)
Note that in IZF the schema of separation is unrestricted. In CZF, Collection is strengthened to compensate for restricted separation. Subset collection is a strengthening of Myhill’s exponentiation axiom, thus substituting for ZF’s Powerset. 4. Constructive Choice Principles When discussing the role of classical set theory as a foundation for mathematics, one usually considers the theory ZFC, tha
PhilPapers: Online Research in Philosophy
PhilPapers is a comprehensive index and bibliography of philosophy maintained by the community of philosophers. We monitor all sources of research content in philosophy, including journals, books, and open access archives. We also host the largest open access archive in philosophy. Our index currently contains 2,861,583 entries categorized in 5,907 categories. PhilPapers has over 350,000 registere
Keith DeRose – Allison Foundation Professor of Philosophy, Yale University
Keith DeRose Allison Foundation Professor of Philosophy, Yale University Yale University Department of Philosophy Yale University P.O. Box 208306 New Haven, CT 06520-8306 E-mail: keith.derose@yale.edu Dept. phone: 432-1686 Allison Foundation Professor of Philosophy, Yale University office: 451 College St., room 302 (203) 432-1674 keith.derose@yale.edu I’ve been a member of the Yale Philosophy depa
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
William J. Greenberg, The Paradox of Identity - PhilPapers
Otávio Bueno & Scott A. Shalkowski, Modalism and Logical Pluralism - PhilPapers
https://academic.oup.com/philmat
Oxford University Press: Spandrels of Truth: Jc Beall
Logic and Scientific Methods
Dr Daniel Isaacson - Faculty of Philosophy
http://www3.interscience.wiley.com/journal/118904154/abstract?CRETRY=1&SRETRY=0
ANALYSIS Web
speculative logic project
http://www3.interscience.wiley.com/journal/117997241/abstract?CRETRY=1&SRETRY=0
Truth and reflection - Journal of Philosophical Logic
Carrara_Sacchi_df.PDF
Inferentialism: Logic and Language
http://www.sakura.cc.tsukuba.ac.jp/~khashimo/papers.html
Computer Proofs Give A Priori Knowledge
http://www.phil.ucalgary.ca/philosophy/files/Knowledge%20in%20an%20Uncertain%20World_0.pdf