nLab logical connective

A logical connective is an function (possibly of several variables) between propositions or the like. The term ‘connective’ is used in mathematical logic because ‘function’ and ‘operator’ are often features of what the logic describes. So ‘connective’ refers to a feature of the metalanguage, while ‘function’ or ‘operator’ usually refer to features of the object language.

Created on June 25, 2013 at 07:31:15. See the history of this page for a list of all contributions to it.