December 2023

In symbolic logic, a valid inference in a system of truth-functional rules. From a contradiction, anything follows. So, once a contradiction has been established in a proof, any statement is…

In symbolic logic, a valid inference in a system of truth-functional rules. The rule whereby a contradiction (P and ¬ P) is proved on separate lines in a proof or…

That which is logically incompatible. A statement is self-contradictory when it is necessarily false; a contradiction obtains between two sentences when they cannot be simultaneously true or simultaneously false. https://youtube.com/shorts/WS25vKIYPA8?feature=share

A truth dependent on facts. As such, it is neither logically necessary nor logically impossible. In propositional logic, a contingently true statement is true on at least one row of…

First used in a technical way by Immanuel Kant (1724-1804), and later by Edmund Husserl (1859-1938), to synthesize experience through a priori categories. https://youtube.com/shorts/k0sOmOeJ9LE?feature=share

Non-contradictory principles or statements. https://youtube.com/shorts/V2VH7P0Xw8s?feature=share

The ethical view that the rightness or wrongness of an action is determined by itsconsequences. https://youtube.com/shorts/WS3xSCC4V8s?feature=share

The “then” clause in an “if…then” (conditional) claim is the consequent. https://youtube.com/shorts/f_xpmIj9CWw?feature=share

One’s internal moral compass, as in the view that God instills in us a moral sense. Conscience is a sort of moral intuition—that is, an undefended or unexamined moral sense.…

In symbolic logic, a connective (negation, conjunction, disjunction, conditional, andbiconditional) is used to make new statements out of simpler ones. https://youtube.com/shorts/HSdrQUSwJT8?feature=share