Morality may be logical, but logic does not equate to morality.
3. Strictly speaking, for Kant logic (general or pure logic) does not give us logical truths in the customary sense we have been using, which includes sentences involving empirical concepts.
Yet, however logical the system may be, its logic does not render the system predictable.
The outcome was the family of Gödel systems, and a result, namely, that intuitionistic logic does not have a characteristic logical matrix with only finitely many truth degrees.
The encoding we've just sketched of some of the familiar truth values and logical connectives of classical truth-table logic does not show that λ-calculus and classical logic are intimately related.
But logic does not win elections.
But cool logic does not govern his party's grassroots.
The twisted logic does not end with that nugget.
If that logic does not change any minds, Washington has other leverage.
Yet somehow that same logic does not apply to our manufacturing industry".
Logic does not describe how we actually think, but only how we should.
