Functional calculus: The Functional Calculus in logic is a way of applying mathematical functions to logical operators. It is used to extend the expressiveness of logical languages and to reason about complex relationships between propositions. For example, a functional calculus can be used to define new logical operators, such as the modal operators of necessity and possibility, or the temporal operators of past and future. See also Operators, Functions, Propositions, Modal operator, Modal logic, Possibility, Necessity._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. |