Kaminsky, Jack - Language and Ontology

In all pure calculi which are designed to form the structure of a formalized language serving scientific needs the assumption is made that some minimum number of marks will be used to signify "negation," "existential quantification," "class membership," "or," "if ... then ---," "and," and perhaps "is identical to."