Proposal for the formalization of dialectical logic (Q2358225)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Proposal for the formalization of dialectical logic
scientific article

    Statements

    Proposal for the formalization of dialectical logic (English)
    0 references
    0 references
    22 June 2017
    0 references
    Summary: Classical 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 \([0,1]\) that is the square of the modulus of a complex number. In this dialectical logic, contradictions of the neuter of an opposition may be true.
    0 references
    analysis
    0 references
    contradiction
    0 references
    dialectics
    0 references
    neuter
    0 references
    opposition
    0 references
    quality
    0 references
    quantity
    0 references
    synthesis
    0 references

    Identifiers