From "Rational Utopia" to "Will-to-Utopia". On the "Post-modern" Turn in the Recent Work of Agnes Heller

Agnes Heller recently described her position as 'postmodernist', suggesting a move from a political radical to a politically liberal or 'neoconservative' position. The aim of this paper is to assess the degree to which Heller can still be regarded as a radical political thinker through an evaluation of her work on autonomy, democracy and contingency all of which remain key concepts in her thinking about the political. We find in each case that whilst many of the motifs of her critical Marxist period recur in her recent work, they are losing their oppositional or 'negative' character in the sense that making these motifs operational would require changes to the structure or functioning of liberal-capitalism. Whils remaining in some sense a radical thinker Heller has moved from the advocacy of a 'rational utopia' to a form of theorising which I describe as 'will-to-utopia': radical at the surface yet conservative at the core.

Moral Requirements are still not Rational Requirements

None

Efficient Solution of Rational Conics

We present efficient algorithms for solving Legendre equations over Q (equivalently, for finding rational points on rational conics) and parametrizing all solutions. Unlike existing algorithms, no integer factorization is required, provided that the prime factors of the discriminant are known.

Does the abundance of hoverfly mimics (Syrphidae) depend on the numbers of their hymenopteran models ?

We tested the prediction that, if hoverflies are Batesian mimics, this may extend to behavioral mimicry such that their numerical abundance at each hour of the day (the daily activity pattern) is related to the numbers of their hymenopteran models. After accounting for site, season, microclimatic responses and for general hoverfly abundance at three sites in north-west England, the residual numbers of mimics were significantly correlated positively with their models 9 times out of 17, while 16 out of 17 relationships were positive, itself a highly significant non-random pattern. Several eristaline flies showed significant relationships with honeybees even though some of them mimic wasps or bumblebees, perhaps reflecting an ancestral resemblance to honeybees. There was no evidence that good and poor mimics differed in their daily activity pattern relationships with models. However, the common mimics showed significant activity pattern relationships with their models, but the rarer mimics did not. We conclude that many hoverflies show behavioral mimicry of their hymenopteran models.

Integrating SVC and HOL with the PROSPER Toolkit

We describe an integration of the SVC decision procedure with the HOL theorem prover. This integration was achieved using the PROSPER toolkit. The SVC decision procedure operates on rational numbers, an axiomatic theory for which was provided in HOL. The decision procedure also returns counterexamples and a framework has been devised for handling counterexamples in a HOL setting.