Chapter

Logic

Theodore Sider

in Writing the Book of the World

Published in print November 2011 | ISBN: 9780199697908
Published online January 2012 | e-ISBN: 9780191732096 | DOI: http://dx.doi.org/10.1093/acprof:oso/9780199697908.003.0010
Logic

Show Summary Details

Preview

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.