Philosophy
Inferentialism and the Meaning of Logical Constants
Quick fact
Inferentialism turns the usual order on its head: instead of defining 'and' by a truth table, it defines 'and' by the simple rules that let you infer 'A and B' from A and B, and infer A from 'A and B'.
Why this is interesting
You’ve used words like 'and' and 'or' thousands of times—but have you ever wondered what makes them mean what they do? Is it the truth tables, or could it be something else?