Proposal for the Formalization of Dialectical Logic
AbstractClassical logic is typically concerned with abstract analysis. The problem for a synthetic logic is to transcend and unify available data to reconstruct the object as a totality. Three rules are proposed to pass from classic logic to synthetic logic. We present the category logic of qualitative opposition using examples from various sciences. This logic has been defined to include the neuter as part of qualitative opposition. The application of these rules to qualitative opposition, and, in particular, its neuter, demonstrated that a synthetic logic allows the truth of some contradictions. This synthetic logic is dialectical with a multi-valued logic, which gives every proposition a truth value in the interval [
Share & Cite This Article
Usó-Doménech, J.L.; Nescolarde-Selva, J.A.; Segura-Abad, L. Proposal for the Formalization of Dialectical Logic. Mathematics 2016, 4, 69.
Usó-Doménech JL, Nescolarde-Selva JA, Segura-Abad L. Proposal for the Formalization of Dialectical Logic. Mathematics. 2016; 4(4):69.Chicago/Turabian Style
Usó-Doménech, José L.; Nescolarde-Selva, Josué A.; Segura-Abad, Lorena. 2016. "Proposal for the Formalization of Dialectical Logic." Mathematics 4, no. 4: 69.
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.