Logic, Invariance and Self
When we study logic, we first study the definition of a proposition or assertion : A statement that can be assigned a true or false value. For instance, a statement like "It is raining" is an assertion-- it could be either true that it is indeed raining, or false. But a sentence like, "Come here" is an imperative statement that is calling for an action, and not an assertion-- there is no truth or false value we can assign to it. Assertions can be strung together using several logical operators like "and", "or", "not", "if-then" and so on. Hence for instance if we have two assertions: "It is raining" and "Our basement is flooded", then a statement of the form: "If it is raining then our basement is flooded" is also an assertion. Verifying the truth or falsity of this assertion often proceeds by an attempt at falsification. For instance, if we observe that it is indeed raining, and our basement is