Everyday Abstract Conditional Reasoning: in Light of a 2,400 Year-Old Mistake in Logic
Imagine mathematicians saying that the sum of two numbers not necessarily equals what would follow from what is denoted, because we can arbitrarily add any number to them without explicitly denoting this number. Assume they argue the equality is hence not symmetric. However absurd this may be, this is precisely how the conditional statement is interpreted in logic. This book shows that when denoting these undenoted components, human inferences and logic immediately become compatible with each other, and numerous logical paradoxes can be immediately solved.