Sentence examples for logical constant from inspiring English sources
noun
A word or phrase which has an invariant logical meaning and which is useful for forming argument forms.
- The logical connective OR can be seen to correspond to the logical constant "unless".
And, like McCarthy's, it requires appeal to a notion that does not seem any clearer than the notion of a logical constant: the notion of following (logically?) from the meaning of the connective.
The particle rules thus constitute the local semantics of a logic, for they determine the dialogical meaning of each logical constant but say nothing about the way this meaning may be related to anything else.
Is the sign for identity a logical constant?
Yet \(\dq{\forall}\) is presumably a logical constant.
So if we require that a logical constant be permutation invariant as a matter of epistemic necessity (or a priori), \(\dq\) does not count as a logical constant.
This does not mean that 'believes' is a logical constant in an absolute sense.
For logical constants and their logicality see the entry on logical constants.
We will not get into this debate here, but there is quite a large literature on what logical constants are, and how logic can be demarcated.
In his early papers on the foundations of logic, Popper (1947a; 1947b) gives inferential characterizations of logical constants in proof-theoretic terms.
He speaks of logic as preceding every discipline, in the sense that logical constants and logical laws are presupposed by and form part of every science.
CL was originally invented as a continuation of the reduction of the set of logical constants to a singleton in classical first-order logic (FOL).
