Conditional statements (i.e., statements of the form “If p, then q”, where p and q are statements) are staples of logic and are used widely in mathematics, science, philosophy, and everyday life. How do we judge whether such statements are true or not? Normally this is achieved by looking at whether each of the statements p and q are true or not, and whether the consequence follows from the antecedent. But it is not always that simple. [Read more…]
