Wikipedia says about Truth Functions:
Classical propositional logic is a truth-functional propositional logic, in that every statement has exactly one truth value which is either true or false, and every logical connective is truth functional (with a correspondent truth table), thus every compound statement is a truth function. On the contrary, modal logic is non-truth-functional.
On Logical Connectives they also say:
Semantics of a logical connective is often, but not always, presented as a truth function.
I was under the assumption that logic formulas always return a true/false value. Wondering if one could show some examples of logical connectives that are not truth-functional. Looking at the Modal Logic modalities, all the logical statements read to me as true/false statements:
The traditional alethic modalities, or modalities of truth, include possibility ("Possibly, p", "It is possible that p"), necessity ("Necessarily, p", "It is necessary that p"), and impossibility ("Impossibly, p", "It is impossible that p"). Other modalities that have been formalized in modal logic include temporal modalities, or modalities of time (notably, "It was the case that p", "It has always been that p", "It will be that p", "It will always be that p"), deontic modalities (notably, "It is obligatory that p", and "It is permissible that p"), epistemic modalities, or modalities of knowledge ("It is known that p") and doxastic modalities, or modalities of belief ("It is believed that p").
For example, "It is obligatory that p". To me this says "It is obligatory that p is true", ah, but maybe the return value of this "function" would be "obligatory" instead of true. Wondering if that's what they mean, and if one could explain a little more on what kinds of non-truth-functional logical connectives exist. Trying another example, "It is possible that p", to me that says "It is true that it is possible that p". This is making me wonder if logical connectives are about conclusions rather than true/false statements, but I can't think of an example where the conclusion would be something like "hello world" instead of true/false. Wondering also if Universal Quantification falls under this category somehow.