Jump to ContentJump to Main Navigation
Battle in the Mind Fields$
Users without a subscription are not able to see the full content.

John A. Goldsmith and Bernard Laks

Print publication date: 2019

Print ISBN-13: 9780226550800

Published to Chicago Scholarship Online: September 2019

DOI: 10.7208/chicago/9780226550947.001.0001

Show Summary Details
Page of

PRINTED FROM CHICAGO SCHOLARSHIP ONLINE (www.chicago.universitypressscholarship.com). (c) Copyright University of Chicago Press, 2021. All Rights Reserved. An individual user may print out a PDF of a single chapter of a monograph in CHSO for personal use.date: 25 September 2021

Logic, 1900–1940

Logic, 1900–1940

(p.435) Chapter Eight Logic, 1900–1940
Battle in the Mind Fields

John A. Goldsmith

Bernard Laks

University of Chicago Press

This chapter looks at the ways in which mathematicians and logicians rethought the nature of mathematical proof during the first four decades of the twentieth century. Three styles of thinking about mathematics emerged: logicism, intuitionism, and formalism, and all three styles can be seen in the ways linguists think about grammar formalism today. The nature of formal proof would later lead to the derivational approach to grammatical description that lies at the heart of generative grammar.

Keywords:   logicism, intuitionism, formalism, mathematical proof, Emil Post

Chicago 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.