Logical Truth and Logical Constants
Logical constants, including logical connectives and quantifiers, can all be reduced conceptually to logical truth. For instance, two statements or more are logically incompatible just in case their conjunction is logically false. One statement logically implies another when it is logically incompatible with the negation of the other. A statement is logically false just in case its negation is logically true, etc. In this way all logical connectives can be expressed in terms of preserving logical truth.
Read more about this topic: Logical Truth
Famous quotes containing the words logical and/or truth:
“Philosophy aims at the logical clarification of thoughts. Philosophy is not a body of doctrine but an activity. A philosophical work consists essentially of elucidations.”
—Ludwig Wittgenstein (1889–1951)
“And ye shall know the truth, and the truth shall make you free.”
—Bible: New Testament John 8:32.
These words of Jesus are inscribed on the wall of the main lobby at the CIA headquarters, Langley, Virginia.