[classical logic] is what will be discussed in this chapter