Hegel: Formal Logic

By the beginning of the 19th century Hegel's dialectic turned contradiction (conceived as unity of a concept with its determined negation) into distinguished inference. In the course of 20th century a family of systems known as "paraconsistent" formalized dialectical logic according to the contemporary paradigm of inference, oriented to truth-preserving, and not powered anymore solely by contradiction. In this way, nevertheless, Hegel's idea of logic as unfolding of concepts ordered by degree of "determination" reached at every step of the process, (...) was put aside. We attempt to recover the importance of that idea for the hegelian concept of "logical necessity", pointing out in addition that it may well play the role of an order relation for dialectical inference. (shrink)

The concept of the subject, of what Hegel calls absolute negativity, already appears early in the logic of being.1 Absolute negativity, negation of the negation, occurs throughout the logic as identity in difference understood as self-identification under different descriptions. First, the subject refers to itself merely under an incomplete description. Secondly, it refers to something other than itself under a second description which is logically required by the first. (For example, the description of being in general requires some determinate description (...) of being in particular). But this second description is dialectically excluded by the assumption that the first description is complete. Thirdly, the subject negates its negation of the other. It discovers itself in the other, under the other description, and thus comes to refer to itself less incompletely. This is Hegel in the analytic mode. (shrink)