December 2023

In symbolic logic, a valid inference in a system of truth-functional rules. In a derivation, two statements can be inferred using the conjunction symbol, since a statement governed by the…

In symbolic logic, a valid inference in a system of truth-functional rules. Because a statement governed by a conjunction is true if, and only if, each of the conjuncts is…

The ordinary language name for the Boolean connective that corresponds to, for example, “and,” “both…and,” and “but.” On a truth table, the conjunction of sentences is true if, and only…

A component of a sentence governed by the Boolean connective, conjunction. https://youtube.com/shorts/OhZPnIUdcjA?feature=share

In symbolic logic, a valid inference in a system of truth-functional rules. Conditional introduction is the method of proof whereby a conditional claim is proved by deriving a statement Q…

In symbolic logic, a valid inference in a system of truth-functional rules. The consequent of a conditional claim is inferred when the antecedent of that claim is affirmed. (See also…

The set of objects not included in a class; expressed by “non-.” https://youtube.com/shorts/2GsWpAip_v0?feature=share

A theory of justice that requires the restoration of any loss to the person wronged. https://youtube.com/shorts/wpthWV_8OTo?feature=share

The view that free will (in some sense) and determinism are compatible https://youtube.com/shorts/aKgNq8htPXk?feature=share

An ethical theory that values community and communal relationships, whichform individuals. https://youtube.com/shorts/D5QXiE6fwHc?feature=share