Raportul dintre logica matematică și logica clasică
The Relation between the Mathematical Logic and the Classical Logic
Author(s): Marius DobreSubject(s): Philosophy
Published by: Editura Academiei Române
Keywords: Theory of Logical-Classical Forms; Theory of Logical-Mathematical Forms; The Application of Logic
Summary/Abstract: Theapproach starts from the dual status of logic, instrument of science and science itself.Classical Logic is a tool for sciences, as they need demonstration in the exposition oftheir theories, but, in order to formulate a correct demonstration method, the logicalforms used in the demonstration (syllogism, judgment and notion) must be studied sothat logic becomes a science to study these forms. Mathematical Logic also emerged asan instrument (first as the logical foundation of mathematics), then, the logical-mathematicalcomputation, with its new forms, began to be studied in itself, emerging an independentscience. As sciences, Classical Logic and Mathematical Logic are different, by objectof study and by method, but, as instruments, they have the same purpose, to base thesciences.
Journal: Revista de filosofie
- Issue Year: LXV/2018
- Issue No: 1
- Page Range: 15-34
- Page Count: 20
- Language: Romanian, Moldavian