Second, the book does not hide the great prominence it gives to Frege and his philosophy of mathematics throughout the chapters. I personally appreciate this honesty and I wish I could see it more in other publications.
We will read and discuss almost all of its chapters. To be prepared for our first few sessions I recommend reading chapters 1-4. In below, I have included additional supplementary materials for these chapters.
Corfield’s book is complementary to Linnebo’s book; It gives a pluralistic point of view to the philosophy and foundations of mathematics. It is only supplementary for the first phase. I think Corfield’s book will be a great source of ideas when we move on to the second phase of our reading group.
We shall talk about Frege’s “context principle”. Linnebo explains it in the book very well but the discussion of it is rather short. However, there is a very nice talk by him about the context principle: The role of Frege’s Context Principle in his epistemology of mathematics, Øystein Linnebo
A great complementary source is Awodey and Reck’s Frege’s Lectures on Logic: Carnap’s Student Notes, 1910–1914
Steve Awodey, A. W. Carus. The Turning Point and the Revolution: Philosophy of Mathematics in Logical Empiricism from Tractatus to Logical Syntax. Pages 6 & 7 are extremely relevanet to what we discuss regarding “mathematical objects and mathematical objectivity” in Frege’s philosophy.
For this track we have the following reading materials:
van Fraassen’s book is based on his lectures in logic at Yale 1966–1968 and Indiana 1969–1970. These lectures were intended specifically for philosophy students. We will have a selected reading of chapters 1-3.
Aristotle’s Prior Analytics is the first time in history when Logic is scientifically investigated. The book is famously about deductive reasoning, known as syllogism. This will be our first introduction to deductive reasoning.
Brentano’s doctoral dissertation Brentano saw himself not merely as a historical scholar of Aristotle, but as his intimate disciple. Brentano finds that (in Aristotle’s view) being in the sense of the categories, in particular substantial being, is the most basic; all other modes, potential and actual being, being in the sense of the true, etc., stand to it in a relation of well-foundedanalogy. Many of his mature views are prepared in this work. For example his discussion of being in the sense of being true appears to be the foundation of his later non-propositional theory of judgment.
The first paragraph of Prior Analytics From the beautiful translation by Gisela Striker gives a pretty good summary of what is in rest of the book:
First, to say about what and of what this is an investigation: it is about demonstration and of demonstrative science. Then, to define what is a premiss, what is a term, and what a syllogism, and which kind of syllogism is perfect and which imperfect. After that, what it is for this to be or not to be in that as in a whole, and what we mean by ‘to be predicated of all’ or ‘of none’.
Aristotle then continues to define
A syllogism is an argument in which, certain things being posited, something other than what was laid down results by necessity because these things are so. By ‘because these things are so’ I mean that it results through these, and by ‘resulting through these’ I mean that no term is required from outside for the necessity to come about.
Corcoran-Aristotle’S Natural Deduction System
It will be seen that Aristotie’s theory of deduction contains a self-sufficient natural deduction system which presupposes no other logic. Perhaps the reason that Aristotle’s theory of deduction has been overlooked is that it differs radically from many of the ‘standard’ modern systems. It has no axioms, it involves no truth-functional combinations and it lacks both the explicit and implicit quantifiers (in the modern sense). … My opinion is this: if the Lukasiewicz view is correct then Aristotle cannot be regarded as the founder of logic. Aristotle would merit this title no more than Euclid, Peano, or Zermelo insofar as these men are regarded as founders, respectively, of axiomatic geometry, axiomatie arithmetic and axiomatic set theory. (AristotIe would be merely the founder of ‘the axiomatic theory of universals’.) Each ofthe former three men set down an axiomatization of a body of information without explicitly developing the underlying logic. That is, each of these men put down axioms and regarded as theorems of the system the sentences obtainable from the axioms by logical deductions but without bothering to say what a logical deduction is.