ABSTRACT

In this chapter we study the following question: Was the choice of functors of logic (¬,∧,∨,⇒, and ≡) arbitrary, or was it somehow forced on us? Could we select other functors? If so, how? In fact, what is a functor?