|Operators, logic: operators are symbols for performing a function, e.g. and; or; if; then; etc._____________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. |
Books on Amazon
Backwards Operator/Retrospective/Hintikka: (Lit: "Rome paper", 1955): "retrospective" operators can make quantified standard modal logic extremely strong.
One can say that the absence of such operators in modal logic is only a coincidence and should be inserted.
Necessity operator/Hintikka: a necessity operator interpreted as standard performs exactly the same as a standard interpreted universal quantifier of a higher level._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.
Jaakko and Merrill B. Hintikka
The Logic of Epistemology and the Epistemology of Logic Dordrecht 1989
J. Hintikka/M. B. Hintikka
Untersuchungen zu Wittgenstein Frankfurt 1996