Lukasiewicz logic, deduction theorem and complete calculi

343 Views Asked by At

3-valued Lukasiewicz logics is known to lack a “semantical" deduction theorem, i.e. $$A\vDash B\not\Leftrightarrow\vDash A\supset B$$ if we define $A\vDash B$ as $\forall v(v(A)=1\Rightarrow v(B)=1)$ with $1$ being the designated value. For example $$p\wedge\neg p\vDash q\text{ but }\nvDash(p\wedge\neg p)\supset q$$

There are Hilbert style and hypersequent calculi for $L_3$ (cf. e.g. Natural 3-valued logics — characterization and proof theory by Avron) which are complete w.r.t. all valid formulas of $L_3$, i.e. $$\vdash A\Leftrightarrow\vDash A$$ They, of course, have “syntactical” deduction theorem, i.e. $$A\vdash B\Leftrightarrow\vdash A\supset B$$

They are, because of this, incomplete w.r.t. $\vDash$ in the following way $$A\vDash B\not\Leftrightarrow A\vdash B$$ since, obviously $\nvdash(p\wedge\neg p)\supset q$ and therefore $p\wedge\neg p\nvdash q$.

The question is, therefore, as follows.

Is it possible to construct such a calculus for $L_3$ that $\Gamma\vdash A\Leftrightarrow\Gamma\vDash A$ for any $\Gamma$?

1

There are 1 best solutions below

2
On BEST ANSWER

Lewis and Langford (Symbolic Logic, 1932, p219) observed that modus ponens in its conventional form CApCpqq fails. Using p $\rightarrow$ q for the Lukasiewiz conditional Cpq,

(p & (p $\rightarrow$ q)) $\rightarrow$ q

is not a tautology in L3.

However, examination of the truth table reveals that this is for good reason. Where p has the third value U, and Cpq has also has the third value U, CApCpqq has a value of U when q has the value F.

This means that if p and Cpq are both doubtful, then applying unrestricted modus ponens can result in a false conclusion q. This is not and should not be valid reasoning, and the truth table correctly identifies it as problematic.

However, if the conditional is asserted as certain or necessary, LCpq, matters are different. CApLCpqq is valid. Using the symbolism of modal logic, we have

(p & $\Box$ (p $\rightarrow$ q)) $\rightarrow$ q

which is a tautology.

There are a great many theorems of classical two-valued logic which are not considered valid in L3 that would be if this version of the strict conditional were used instead. The strict conditional used by Lewis $\Box$ (p $\supset$ q) where $\supset$ signifies the ordinary material conditional is not adequate.

Given these conditions, it appears that the answer to the question would be yes.