I've compiled a list of definitions for terms commonly employed by logicians since logic is an essential part of academic theology. For without logic, there is no theo-logic:
(1) Ostensive Definition: Pointing toward an entity in order to signify a term (e.g., pointing toward a car in order to signify what "car" means).
(2) Extension: The set of individuals, objects, or events to which one can correctly apply a term (e.g., "boat"). Logicians also classify a set of individuals, objects or events as the denotation.
(3) Intension: The set of all and only those properties that a thing must possess in order for a term to have applicability for it (= connotation).
(4) Theory: Refers to a general approach to or belief about some subject matter that is expressed in a set of interrelated statements concerning the nature of the subject.
Secondly, theory may refer to a set of general but precise claims about the nature of society or the physical world.
(5) Epistemology: The branch of philosophy that concerns itself with theories regarding the sources, nature, and limits of knowledge (i.e., theory of knowledge). One writer defines "epistemology" as the critical analysis of cognition.
(6) Validity: If the premises of an argument happen to be true, then the conclusion of the argument has to be true.
(7) Conditional: A statement of the form "If P then Q," asserting that Q is, or will be, the case, so long as P obtains.
(8) Sound: Both the conclusion and premises are true. So the conclusion necessarily follows from the premises: a sound argument has all true premises and is valid.