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. Author
H. Wessel on Operators - Dictionary of Arguments
logical operators/Wessel: e.g. and, not, or, all, some, "the fact that", "the non-fact that".
>Connectives, >Logical constants.
Terms/Wessel: e.g "the fact that metals conduct electricity ’"H2O", "brother and sister", "divisible by three" ...
No terms are: and, all, in, or, "the earth revolves around the sun".
Operator/Wessel: must not occur more than once in provable formulas of propositional logic.
>Propositional logic, >Proofs, >Provability, >Logical formulas.
((s)Operator/(s): (e.g. subjunction) does not lead to paradoxes, because it is not "predicated of something" like predicates (implication).
((s) Operator / (s): rather purely formal - in contrast: predicate: content).
>Predicates, >Predication._____________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. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition.
Logik Berlin 1999
Ed. Martin Schulz, access date 2023-12-09