ISSN 2567-6458, 19.August 2022 – 19 August 2022
Author: Gerd Doeben-Henisch
This text is part of the subject COMMON SCIENCE as Sustainable Applied Empirical Theory, besides ENGINEERING, in a SOCIETY. It is a preliminary version, which is intended to become part of a book.
Formal Logic Inference: Preserving Truth
From the examples of boolean logic and predicate logic we can see that formal logic is operating with a set of expressions assumed to be true and then offers some rules how one can derive from this set of assumed true expressions some concrete expressions. The whole inference mechanism works strictly ‘conservative’ in the sense that it is not possible to ‘create’ by logical inference ‘something new’. Formal logical inference is preserving the truth.
— draft version —