Truth-value relations and logical relations

After some generalities about connections between functions and relations in Sections 1 and 2 recalls the possibility of taking the semantic values of (Formula presented.) -ary Boolean connectives as (Formula presented.) -ary relations among truth-values rather than as (Formula presented.) -ary truth functions. Section 3, the bulk of the paper, looks at correlates of these truth-value relations as applied to formulas, and explores in a preliminary way how their properties are related to the properties of “logical relations” among formulas such as equivalence, implication (entailment) and contrariety (logical incompatibility), concentrating for illustrative purposes on binary logical relations such as those just listed. To avoid an excess of footnotes, some points have been deferred to an Appendix as “Longer Notes”.