Tag Archives: Logical Graphs

Peirce’s 1870 “Logic of Relatives” 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) … Continue reading →

Peirce’s 1870 “Logic of Relatives” • Comment 12.5 The equation can be verified by establishing the corresponding equation in matrices. If and are two 1-dimensional matrices over the same index set then if and only if for every   Thus, a routine way … Continue reading →

Peirce’s 1870 “Logic of Relatives” • Comment 12.4 Peirce next considers a pair of compound involutions, stating an equation between them analogous to a law of exponents from ordinary arithmetic, namely,  Then will denote whatever stands to every woman in … Continue reading →

Peirce’s 1870 “Logic of Relatives” • Comment 12.3 We now have two ways of computing a logical involution raising a dyadic relative term to the power of a monadic absolute term, for example, for “lover of every woman”. The first method … Continue reading →

Peirce’s 1870 “Logic of Relatives” • Comment 12.2 Let us make a few preliminary observations about the operation of logical involution which Peirce introduces in the following words. I shall take involution in such a sense that will denote everything … Continue reading →

Peirce’s 1870 “Logic of Relatives” • Comment 12.1 To get a better sense of why Peirce’s formulas in Selection 12 mean what they do, and to prepare the ground for understanding more complex relational expressions, it will help to assemble the … Continue reading →

On to the next part of §3. Application of the Algebraic Signs to Logic. Peirce’s 1870 “Logic of Relatives” • Selection 12 The Sign of Involution I shall take involution in such a sense that will denote everything which is … Continue reading →