The colloquial way of defining what it means for a statement to be true is that it corresponds to reality: if I say “it is raining” and it’s also the case that it’s raining, then what I said is true; if I say “it is raining” and it’s not the case that it’s raining, then what I said is false. This is an extensional truth condition – the extension of the proposition must be the case in reality for the statement to be true. But is this really how truth works? In what follows, I am riffing on some ideas floating around in my head, so feel free to point out any problems so as to help me clarify my thoughts.
