Update • 10 April 2022
This brings me to the end of the notes on Peirce’s 1870 Logic of Relatives I began posting to the web in various discussion groups a dozen (now a score) years ago. Apart from that there are only the assorted notes and bits of discussion with other people I archived on the InterSciWiki talk page linked here.
I rushed through my last few comments a little too hastily, giving no more than sketches of proofs for Peirce’s logical formulas, and I won’t be reasonably well convinced of them until I examine a few more concrete examples and develop one or two independent lines of proof. So I have that much unfinished business to do before moving on to the rest of Peirce’s paper.
But I’ll take a few days to catch my breath, rummage through those old notes of mine to see if they hide any hints worth salvaging, and then start fresh, raveling out the rest of Peirce’s clues to the maze of logical relatives.
- Peirce, C.S. (1870), “Description of a Notation for the Logic of Relatives, Resulting from an Amplification of the Conceptions of Boole’s Calculus of Logic”, Memoirs of the American Academy of Arts and Sciences 9, 317–378, 26 January 1870. Reprinted, Collected Papers 3.45–149, Chronological Edition 2, 359–429. Online (1) (2) (3).
- Peirce, C.S., Collected Papers of Charles Sanders Peirce, vols. 1–6, Charles Hartshorne and Paul Weiss (eds.), vols. 7–8, Arthur W. Burks (ed.), Harvard University Press, Cambridge, MA, 1931–1935, 1958.
- Peirce, C.S., Writings of Charles S. Peirce : A Chronological Edition, Peirce Edition Project (eds.), Indiana University Press, Bloomington and Indianapolis, IN, 1981–.