Abstract

Analytical commentary -- Fruits upon one tree -- The continuation of the early draft into philosophy of mathematics -- Hidden isomorphism -- A common methodology -- The flatness of philosophical grammar -- Following a rule 185-242 -- Introduction to the exegesis -- Rules and grammar -- The tractatus and rules of logical syntax -- From logical syntax to philosophical grammar -- Rules and rule-formulations -- Philosophy and grammar -- The scope of grammar -- Some morals -- Exegesis 185-8 -- Accord with a rule -- Initial compass bearings -- Accord and the harmony between language and reality -- Rules of inference and logical machinery -- Formulations and explanations of rules by examples -- Interpretations, fitting and grammar -- Further misunderstandings -- Exegesis 189-202 -- Following rules, mastery of techniques and practices -- Following a rule -- Practices and techniques -- Doing the right thing and doing the same thing -- Privacy and the community view -- On not digging below bedrock -- Private linguists and private linguists : Robinson Crusoe sails again -- Is a language necessarily shared with a community of speakers? -- Innate knowledge of a language -- Robinson Crusoe sails again -- Solitary cavemen and monolinguists -- Private languages and private languages -- Exegesis 203-37 -- Agreement in definitions, judgements, and form of life -- The scaffolding of facts -- The role of our nature -- Forms of life -- Agreement : consensus of human beings and their actions -- Exegesis 238-42 -- Grammar and necessity -- Setting the stage -- Leitmotifs -- External guidelines -- Necessary propositions and norms of representation -- Concerning the truth and falsehood of necessary propositions -- What necessary truths are about illusions of correspondence : ideal objects, kinds of reality, and ultra-physics -- The psychology of the A priori -- Knowledge -- Belief -- Certainty -- Surprise -- Discoveries and conjectures -- Compulsion -- Propositions of logic and laws of thought -- Alternative forms of representation -- The arbitrariness of grammar -- A kinship to the non-arbitrary -- Proof in mathematics -- Conventionalism