06.09.2021 Views

Mind, Body, World- Foundations of Cognitive Science, 2013a

Mind, Body, World- Foundations of Cognitive Science, 2013a

Mind, Body, World- Foundations of Cognitive Science, 2013a

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

combinations <strong>of</strong> the binary inputs p and q (Ladd, 1883). These primitive functions<br />

are provided in Table 2-2; each row <strong>of</strong> the table shows the truth values <strong>of</strong> each function<br />

for each combination <strong>of</strong> the inputs. An example logical notation for each function<br />

is provided in the last column <strong>of</strong> the table. This notation was used by Warren<br />

McCulloch (1988b), who attributed it to earlier work by Wittgenstein.<br />

Not surprisingly, an historical trajectory can also be traced for the binary logic<br />

defined in Table 2-2. Peirce’s student Christine Ladd actually produced the first five<br />

columns <strong>of</strong> that table in her 1883 paper, including the conversion <strong>of</strong> the first four<br />

numbers in a row from a binary to a base 10 number. However, Ladd did not interpret<br />

each row as defining a logical function. Instead, she viewed the columns in<br />

terms <strong>of</strong> set notation and each row as defining a different “universe.” The interpretation<br />

<strong>of</strong> the first four columns as the truth values <strong>of</strong> various logical functions arose<br />

later with the popularization <strong>of</strong> truth tables (Post, 1921; Wittgenstein, 1922).<br />

p=0<br />

p=1<br />

p=0<br />

p=1<br />

Number<br />

Notation<br />

q=0 q=0 q=1 q=1<br />

0 0 0 0 0 Contradiction<br />

0 0 0 1 1 p·q<br />

0 0 1 0 2 ~p·q<br />

0 0 1 1 3 q<br />

0 1 0 0 4 p·~q<br />

0 1 0 1 5 p<br />

0 1 1 0 6 p q<br />

0 1 1 1 7 p q<br />

1 0 0 0 8 ~p·~q<br />

1 0 0 1 9 p q<br />

1 0 1 0 10 ~p<br />

1 0 1 1 11 p q<br />

1 1 0 0 12 ~q<br />

1 1 0 1 13 q p<br />

1 1 1 0 14 p | q<br />

1 1 1 1 15 Tautology<br />

Table 2-2. Truth tables for all possible functions <strong>of</strong> pairs <strong>of</strong> propositions. Each<br />

function has a truth value for each possible combination <strong>of</strong> the truth values<br />

<strong>of</strong> p and q, given in the first four columns <strong>of</strong> the table. The Number column<br />

converts the first four values in a row into a binary number (Ladd, 1883). The<br />

logical notation for each function is taken Warren McCulloch (1988b).<br />

28 Chapter 2

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!