BEDROCK LOGIC. “When we undertake to express such a theory in a formal language, we naturally envisage adding the theory’s distinctive physical vocabulary, and axioms governing it, to a so-called ‘underlying logic’ that is much stronger than just basic logic and set theory; i.e., to one that contains standard mathematical operations sufficient to yield the mathematical apparatus; for example, calculus, which is needed by the theory.”

https://lnkd.in/dMm_YkR