The Ontology of Language: Properties, Individuals and Discourse
The book offers contributions to a number of topics in semantics, while at the same time providing an engaging discussion of key foundational issues and of what Property Theory can contribute to them. The book starts from a version of Property Theory which stems out of a combination of the lambda calculus with Aczel's Frege structures (a combination originally developed by Raymond Turner).
In this textbook, Michael Morris offers a critical introduction to the central issues of the philosophy of language. Each chapter focusses on one or two texts which have had a seminal influence on work in the subject, and uses these as a way of approaching both the central topics and the various traditions of dealing with them. Texts include classic writings by Frege, Russell, Kripke, Quine, Davidson, Austin, Grice and Wittgenstein.
The Handbook of the History of Logic - Volume 3 The Rise of Modern Logic: From Leibniz to Frege
With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise of modern logic. The period covered is 1685-1900, with this volume carving out the territory from Leibniz to Frege. What is striking about this period is the earliness and persistence of what could be called 'the mathematical turn in logic'. Virtually every working logician is aware that, after a centuries-long run, the logic that originated in antiquity came to be displaced by a new approach with a dominantly mathematical character.
The nineteenth century is widely and rightly held to be the century in which the mathematical revolution in logic achieved its breakthrough. W.V. Quine once remarked that logic is an ancient discipline, but since 1879 it has been a great one. Of course, 1879 marks the publication of Gottlob Frege’s Begriffsschrift, and 1870 and 1883 the appearance of Charles Peirce’s “Description of a Notation for the Logic of Relatives” and “Note B: The Logic of Relatives”. Frege and Peirce are the independent co-founders of modern quantification theory. Frege (1848–1925) was a German and Peirce (1839–1914) an American (their contributions are chronicled in volume three of this Handbook, The Rise of Mathematical Logic: Leibniz to Frege). Although Frege’s work was little recognized and little appreciated by British logicians of the period — Russell was a late exception — important steps toward the mathematicization of logic were taken in Britain. Augustus De Morgan (1806–1871) made significant contributions to the logic of relatives, of which Peirce took respectful heed, and also to probability theory, an interest in which he did much to revive...
