Explains the strengths and weaknesses of Frege's logical notation. The bits on the concavity notation, on sinn/bedeutung and on Basic Law V are all fascinating.
***
Take two. What I care about in this book is the close reading of the diagrammatic notation that got formal logic started. The solution Frege came up with is rather brilliant: represent the consequences of propositions in a vertical stack. The technical term for this construction, in Frege's vocabulary, is an auxiliary language. Unlike NatLangs, which excel at navigating ambiguity, formal auxiliary language aren't obviously embedded in everyday life. No one expects or needs the begrifftschrift when they are in the middle of preparing a meal. Concept script is designed for a specific purpose: exhibiting the internal structure of an argument. Clearly, it accomplishes this task successfully. Macbeth's thesis turns out to be correct, I think. No diagrams, no concepts.