"Life-world" constitution of propositional logic and elementary predicate logic

Lothar Eley

pp. 333-353

in: Anna-Teresa Tymieniecka (ed), The later Husserl and the idea of phenomenology, Dordrecht, Reidel, 1972

Abstract

According to Bochenski and Menne, ‘Symbolic Logic’ can be characterized as the theory of logical calculus, its premises and its application. In their opinion it is the task of ‘Metalogic’ to investigate the formal premises of logical calculus. The fields of syntax, semiotics and semantics belong primarily to this discipline. They further distinguish between Metalogic and, what they term, Metalogy, which is the discipline which investigates the philosophical fundaments of the logical calculus.1