This paper suggests that logic consists of a collection of propositions and operations of negation, conjunction, disjunction, implication, and equivalence. It points out that the operations on dispositions depend upon the truth-value of the propositions involved. This raises the questions, How do we know whether a proposition is true or false? and How do we construct a proposition? (SOE)