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