Jump to ContentJump to Main Navigation
Philosophy and Model Theory$
Users without a subscription are not able to see the full content.

Tim Button and Sean Walsh

Print publication date: 2018

Print ISBN-13: 9780198790396

Published to Oxford Scholarship Online: May 2018

DOI: 10.1093/oso/9780198790396.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: 28 October 2021

Logics and languages

Logics and languages

(p.7) 1 Logics and languages
Philosophy and Model Theory

Tim Button

Sean Walsh

Oxford University Press

This chapter introduces the concepts of signature and structure, and describes the semantics for first- and second-order logic. We outline three different but extensionally equivalent treatments of quantifiers and variables (the Tarskian approach, the Robinsonian approach, and a hybrid approach) and discuss their philosophical merits concerning compositionality, and Fine’s antinomy of the variable. We also outline two extensionally distinct semantics for second-order logic (Henkin, full). The appendix to the chapter presents the formal definitions of some theories of arithmetic and set theory that we employ frequently throughout the remainder of the book.

Keywords:   signature, structure, Tarskian approach to variables, Robinsonian approach to variables, second-order logic (Henkin semantics, full semantics

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 .