News for hackers. Stuff that matters.
Re:The Hoare Cube by DiscourseFan on Thursday December 05, 2024 @06:23AM (#42327084)
You could try the OG book of modern logic, to which all 20th century tracts on logic are responses to, Hegel's Science of Logic. Though its very different from what you might expect out of a logic text.
Re:The Hoare Cube by 082349872349872 on Thursday December 05, 2024 @06:08PM (#42333887)
Pedantry: (wrt all) an arbitrary counterexample would be Abramsky, Domain Theory in Logical Form (1991), which is a 20th century tract on logic, but (although they may share a common Limit between them) is also something Other than a response to Hegel.
Re:The Hoare Cube by DiscourseFan on Friday December 06, 2024 @04:11AM (#42337884)
Its difficult to tease these things out, but Hegel was the dominant philosophical force of the 19th century in the UK, so any logic immediately following that period had to deal with the immensity of his influence. True, once we get to the 90s, its not clear if the authors are entirely aware of the intellectual history and are just building off of ontologies that they have uncritically adopted as "logic," but in broad strokes it is still the case that the development of logic in the 20th century is as a direct response to Hegelian philosophy.
Re:The Hoare Cube by 082349872349872 on Friday December 06, 2024 @02:42PM (#42343494)
In other words, Nothing called so much of 20th century logic into Being as Hegelian Becoming?
Re:The Hoare Cube by DiscourseFan on Sunday December 08, 2024 @02:31AM (#42355593)
There is no becoming in Hegel
Re:The Hoare Cube by 082349872349872 on Sunday December 08, 2024 @08:01AM (#42356875)
I'd have to read more (or get clarification here) to understand what you mean; pp82-106* of a translation appear to cover a fair amount of Becoming to me?

https://archive.org/details/georg-wilhelm-friedrich-hegel-sc...

* including subheads such as "Moments of Becoming" and "Sublation of Becoming".

(ok, reading pp106-108 suggests that although Becoming is not Nothing for Hegel, it is self-contradictory and hence a special kind of a non-being, a determinate being?)

Re:The Hoare Cube by DiscourseFan on Monday December 09, 2024 @02:43PM (#42369730)
You should start with the Phenomenology of Spirit