logical connectives of classical logic, expressed in the form of a
standard truth table:
- A B A&B
- -----------
+ A B A and B
+ --------------
T T T
T F F
F T F
Given that a partial-function approach to presupposition failure is
coherent, let's consider one way to extend classical conjunction:
- p q p&q
- --------------
+ p q p and q
+ -----------------
a. T T T
b. T F F
c. F T F
So far, so good. Nothing so far undermines the static view. But now
consider the two remaining possibilities, one by one, starting with
line (h). Here is a concrete sentence fitting the pattern addressed
-by line (h), `F&#`:
+by line (h), `F and #`:
6. The sun is green and the King of France is bald.
outcome.
To be sure, it would also be coherent to choose a fully symmetric
-truth table by replacing line (h) with one that maps `F&#` to `#`, or
-by replacing line (i) with one that maps `#&F` to `F`. With respect
+truth table by replacing line (h) with one that maps `F and #` to `#`, or
+by replacing line (i) with one that maps `# and F` to `F`. With respect
to natural language, of course, which truth table is a better match
for a given natural language is an empirical question, and not one
that can be settled by logical argument. If native speakers behave as