5.2 Tableaux Calculi

We have discussed semantic construction methods at some length in earlier chapters. The next thing we need in order to really do natural language semantics is an appropriate calculus. In this section we will introduce a so-called tableaux calculus. Before we come to the formal characterization of our tableaux calculus, we will give you a more intuitive introduction.

• 5.2.1 Tableaux for Theorem Proving

• 5.2.2 Tableaux for Theorem Proving (continued)

• 5.2.3 Summing up

• 5.2.4 Using Tableaux to test Truth Conditions and Entailments

• 5.2.5 An Application: Conversational Maxims

• 5.2.6 The Maxim of Quality

• 5.2.7 The Maxim of Quantity