Jump to ContentJump to Main Navigation
Science & Reason$
Users without a subscription are not able to see the full content.

Henry E. Kyburg

Print publication date: 1991

Print ISBN-13: 9780195062533

Published to Oxford Scholarship Online: October 2011

DOI: 10.1093/acprof:oso/9780195062533.001.0001

Show Summary Details
Page of

PRINTED FROM OXFORD SCHOLARSHIP ONLINE (oxford.universitypressscholarship.com). (c) Copyright Oxford University Press, 2021. All Rights Reserved. An individual user may print out a PDF of a single chapter of a monograph in OSO for personal use. date: 06 December 2021

Logic and Mathematics

Logic and Mathematics

(p.17) 2 Logic and Mathematics
Science & Reason

Jr. Henry E. Kyburg

Oxford University Press

This chapter discusses the philosophy and logic behind the mathematical ideas of first-order logic, metalanguages, arithmetic, and geometry. It familiarizes the reader to these mathematical ideas, which will be used in succeeding chapters. The chapter also contrasts that mathematical or logical theories can utilize these mathematical ideas, while scientific theories will find them inapplicable. First-order logic involves conclusions based on premises which are given to be true with no room for imprecision or vagueness, both of which are crucial to the productive use of scientific language. Metalanguage is contrasted with object language, in which scientific laws are expressed. Both arithmetic and geometry are used with idealized, abstract objects and have a limited physical application.

Keywords:   mathematics, logic, first-order logic, metalanguages, arithmetic, geometry

Oxford Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.

Please, subscribe or login to access full text content.

If you think you should have access to this title, please contact your librarian.

To troubleshoot, please check our FAQs , and if you can't find the answer there, please contact us .