Anscombe guides us through the Tractatus and, thereby, Wittgenstein's early philosophy as a whole. She shows in particular how his arguments developed out of the discussions of Russell and Frege. This reprint is of the fourth, corrected edition.

This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.

This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.

We propose a reconstruction of the constellation of problems and philosophical positions on the nature and number of the primitives of logic in four authors of the nineteenth century logical scene: Peano, Padoa, Frege and Peirce. We argue that the proposed reconstruction forces us to recognize that it is in at least four different senses that a notation can be said to be simpler than another, and we trace the origins of these four senses in the writings of these authors. (...) We conclude that Frege, and even more so Peirce, developed new notations not to make drawing logical conclusions easier but in order to answer the needs of logical analysis. (shrink)

Peirce considered the principal business of logic to be the analysis of reasoning. He argued that the diagrammatic system of Existential Graphs, which he had invented in 1896, carries the logical analysis of reasoning to the furthest point possible. The present paper investigates the analytic virtues of the Alpha part of the system, which corresponds to the sentential calculus. We examine Peirce’s proposal that the relation of illation is the primitive relation of logic and defend the view that this idea (...) constitutes the fundamental motive of philosophy of notation both in algebraic and graphical logic. We explain how in his algebras and graphs Peirce arrived at a unifying notation for logical constants that represent both truth-function and scope. Finally, we show that Shin’s argument for multiple readings of Alpha graphs is circular. (shrink)

This is the first complete English translation of Gottlob Frege's Grundgesetze der Arithmetik, with introduction and annotation. The importance of Frege's ideas within contemporary philosophy would be hard to exaggerate. He was, to all intents and purposes, the inventor of mathematical logic, and the influence exerted on modern philosophy of language and logic, and indeed on general epistemology, by the philosophical framework.

This first volume of the Logic of the Future edition collects Peirce's writings on the historical development, theory and application of his graphical method and diagrammatic reasoning. Its 28 selections of texts and extensive general and volume int.

Deduction is decisive but nonetheless mysterious, as I argue in the introduction. I identify the mystery of deduction as surprise-effect and demonstration-difficulty. The first section delves into how the mystery of deduction is connected with the representation of information and lays the groundwork for our further discussions of various kinds of representation. The second and third sections, respectively, present a case study for the comparison between symbolic and diagrammatic representation systems in terms of how two aspects of the mystery of (...) deduction – surprise-effect and demonstration-difficulty – are handled. The fourth section illustrates several well-known examples to show how diagrammatic representation suggests more clues to the mystery of deduction than symbolic representation and suggests some conjectures and further work. (shrink)

1 INTRODUCTION Above the other titles he might justly have claimed, Charles S. Peirce prized the title 'logician'. He expressed in several places his ...

The book features the complete text of the Notesi in a critical edition, with a detailed discussion of the circumstances in which they were compiled, leading to ...

The following two articles comprise two sets of Charles Peirce’s manuscripts, “Recent Developments of Existential Graphs and their Consequences for Logic” (MS 498, MS 499, MS 490 & S-36, 1906) and “Assurance through Reasoning” (MS 669 & MS 670, 1911), written for the National Academy of Sciences meetings in 1906 and 1911. The papers are deposited at Houghton Library, Harvard University. Only some parts of MS 470 have been published before, and in somewhat defective form. Although “Assurance” follows “Recent Developments” (...) chronologically, given the expository style of the former it is recommended to be read before “Recent Developments”. As the title indicates, in the latter Peirce goes on to describe his latest discoveries concerning the method and the logic of existential graphs. The transcription reproduces all significant deletions that appear in the original sheets. Editorial comments and additions are given in brackets. [Alt.:] means the beginning of an alternative sequence. [Del. (shrink)

The theory of existential graphs, which Peirce ultimately divided into four quadrants , is a rich method of analysis in the philosophy of logic. Its $$\upbeta $$ β -part boasts a diagrammatic theory of quantification, which by 1902 Peirce had used in the logical analysis of natural-language expressions such as complex donkey-type anaphora, quantificational patterns describing new mathematical concepts, and cognitive information processing. In the $$\upbeta $$ β -quadrant, he came close to inventing independence-friendly logic, the idea of which he (...) found indispensable in fulfilling the tasks –. (shrink)

This article investigates Charles Peirce’s development of logical calculi for classical propositional logic in 1880–1896. Peirce’s 1880 work on the algebra of logic resulted in a successful calculus for Boolean algebra. This calculus, denoted byPC, is here presented as a sequent calculus and not as a natural deduction system. It is shown that Peirce’s aim was to presentPCas a sequent calculus. The law of distributivity, which Peirce states in 1880, is proved using Peirce’s Rule, which is a residuation, inPC. The (...) transitional systems of the algebra of the copula that Peirce develops since 1880 paved the way to the 1896 graphical system of the alpha graphs. It is shown how the rules of the alpha system reinterpret Boolean algebras, answering Peirce’s statement that logical graphs supply a new system of fundamental assumptions to logical algebra. A proof-theoretic analysis is given for the connection betweenPCand the alpha system. (shrink)

Throughout its long history, mathematics has involved the use ofsystems of written signs, most notably, diagrams in Euclidean geometry and formulae in the symbolic language of arithmetic and algebra in the mathematics of Descartes, Euler, and others. Such systems of signs, I argue, enable one to embody chains of mathematical reasoning. I then show that, properly understood, Frege’s Begriffsschrift or concept-script similarly enables one to write mathematical reasoning. Much as a demonstration in Euclid or in early modern algebra does, a (...) proof in Frege’s concept-script shows how it goes. (shrink)

The most enlightening examination to date of the developments of Frege's thinking about his logic, this book introduces a new kind of logical language, one that ...

In 1943 the first edition of the main work of the great Danish linguist Louis Hjelmslev (1899-1965) appeared, and bore the title "Omkring Sprogteoriens Grundlæggelse". The work was translated into English as "Prolegomena to a Theory of Language" This work came to represent a breakthrough in linguistics and formed an entirely new branch of this field. The author begins by ascertaining that language is an inexhaustible wealth of manifold values; language is the tool with which man moulds thought and feeling, (...) mood, aspiring, will and action, the tool with which he influences and is influenced, the last and deepest condition of human society. Although his analysis of the forms of language employs mathematical models, Hjelmslev was also determined not to neglect the human subject who uses language, which led him to an interest in psychology and Psychoanalysis. (shrink)

Wittgenstein's Tractatus has generated many interpretations since its publication in 1921, but over the years a consensus has developed concerning its criticisms of Russell's philosophy. In Wittgenstein's Apprenticeship with Russell, Gregory Landini draws extensively from his work on Russell's unpublished manuscripts to show that the consensus characterises Russell with positions he did not hold. Using a careful analysis of Wittgenstein's writings he traces the 'Doctrine of Showing' and the 'fundamental idea' of the Tractatus to Russell's logical atomist research program, which (...) dissolves philosophical problems by employing variables with structure. He argues that Russell and his apprentice Wittgenstein were allies in a research program that makes logical analysis and reconstruction the essence of philosophy. His sharp and controversial study will be essential reading for all who are interested in this rich period in the history of analytic philosophy. (shrink)