Theodore Sider

in Writing the Book of the World

Published in print November 2011 | ISBN: 9780199697908
Published online January 2012 | e-ISBN: 9780191732096 | DOI:

Show Summary Details


The highly general notion of structure lets us raise metaphysical questions about logic. Is it conjunction or disjunction that is most fundamental? (An uncomfortable question! ‐ fortunately we may answer “both”; the joint‐carving notions can contain some redundancy.) Do logical notions carve at the joints? (Surely yes, since they are indispensable in fundamental theories.) Do metalogical notions ‐ such as logical truth and logical consequence ‐ carve at the joints? (Probably not; unlike logical notions they are not needed in fundamental theories.) Is logic classical? (At the fundamental level, yes; but in nonfundamental languages perhaps we should say not, because of vagueness and the liar paradox.)

Keywords: metalogic; logical consequence; logical truth; logical pluralism; intuitionism; dialetheism; vagueness; liar paradox; classical logic

Chapter.  11816 words. 

Subjects: Metaphysics

Full text: subscription required

How to subscribe Recommend to my Librarian

Buy this work at Oxford University Press »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.