- Formally complete(used in discussions of what counts as a successful explanation)
- Meeting all the strict logical and mathematical requirements of a system or framework, even if other concerns aren't addressed.
- Kemeny-Oppenheim(named after philosophers who developed this theory of reduction)
- A framework created by two philosophers (Kemeny and Oppenheim) that sets out rules for when a reduction counts as successful, based on logical and mathematical standards.
- Legitimate reduction(used in philosophy of science to discuss what makes a reduction count as real or acceptable)
- A reduction that is considered valid, acceptable, and successful according to the rules and standards being used.
- Materialist adequacy(used when evaluating if a reduction meets the standards of materialism)
- Whether an explanation successfully fits with the materialist belief that everything reduces to the physical.
- Materialist constraints(used in philosophy of mind when debating what must be true for an explanation to be acceptable)
- Requirements that come from materialism—the view that everything in the universe is ultimately made of physical stuff, and can be explained in physical terms.
- necessary condition(Counterfactual analysis of causation; Mackie 1965, 1974)
- A condition C is necessary for event E if E would not have occurred in the absence of C
- reduction (in philosophy)(used in this statement about whether one question can be reduced to another)
- A claim that something complex can be completely explained or replaced by something simpler—the idea that one thing really just boils down to another.