Paraconsistent Logic - Paraconsistent Logics Are Propositionally Weaker Than Classical Logic

Paraconsistent Logics Are Propositionally Weaker Than Classical Logic

Paraconsistent logics are propositionally weaker than classical logic; that is, they deem fewer propositional inferences valid. The point is that a paraconsistent logic can never be a propositional extension of classical logic, that is, propositionally validate everything that classical logic does. In some sense, then, paraconsistent logic is more conservative or cautious than classical logic. It is due to such conservativeness that paraconsistent languages can be more expressive than their classical counterparts including the hierarchy of metalanguages due to Alfred Tarski et al. According to Solomon Feferman : "…natural language abounds with directly or indirectly self-referential yet apparently harmless expressions—all of which are excluded from the Tarskian framework." This expressive limitation can be overcome in paraconsistent logic.

Read more about this topic:  Paraconsistent Logic

Famous quotes containing the words logics, weaker, classical and/or logic:

    “When logics die,
    The secret of the soil grows through the eye,
    And blood jumps in the sun;
    Above the waste allotments the dawn halts.”
    —Dylan Thomas (1914–1953)

    “Women have their heads in their hearts. Man seems to have been destined for a superior being; as things are, I think women generally better creatures than men. They have weaker appetites and weaker intellects but much stronger affections. A man with a bad heart has been sometimes saved by a strong head; but a corrupt woman is lost forever.”
    —Samuel Taylor Coleridge (1772–1834)

    “Et in Arcadia ego.
    [I too am in Arcadia.]”
    —Anonymous, Anonymous.

    Tomb inscription, appearing in classical paintings by Guercino and Poussin, among others. The words probably mean that even the most ideal earthly lives are mortal. Arcadia, a mountainous region in the central Peloponnese, Greece, was the rustic abode of Pan, depicted in literature and art as a land of innocence and ease, and was the title of Sir Philip Sidney’s pastoral romance (1590)

    “Neither Aristotelian nor Russellian rules give the exact logic of any expression of ordinary language; for ordinary language has no exact logic.”
    —Sir Peter Frederick Strawson (b. 1919)