inference schema
logic
Also known as: Inference schemata, inference form
Learn about this topic in these articles:
formal logic
- In formal logic: General observations
…above may be called an inference form, and (1) and (2) are then instances of that inference form. The letters—X, Y, and Z—in (3) mark the places into which expressions of a certain type may be inserted. Symbols used for this purpose are known as variables; their use is analogous…
Read More
Stoic logic
- In history of logic: The Megarians and the Stoics
Chrysippus regarded five valid inference schemata as basic or indemonstrable. They are:
Read More