In recent years, a number of critics of liberalism have focused on its supposed dependence on a voluntaristic and impoverished conception of the self and its inability in consequence to recognise and do justice to those moral phenomena – ideas regarding allegiance, desert and responsibility in particular – that are connected to the situatedness of embodied selves. Samuel Scheffler’s strategy in...

Neoliberalism has become a key object of analysis in human geography in the last decade. Although the words neoliberal and neoliberalism have been around for a long while, it is only since the end of the 1990s that they have taken on the aura of grand theoretical terms. 'Neoliberalism' emerges as an object of conceptual and empirical reflection in the process of restoring to view a sense of pol...

Crowdsourcing initiatives are becoming an increasing popular tool for new idea generation for firms. Although such initiatives are widely adopted in many different industries, the number of ideas generated often decline over time and the implementation rates (percentage of posted ideas that are implemented by the firm) are very low. Critics of crowdsourcing often attribute these observations to...

Discovering unknown lemmas, generalisations and other eureka steps is a major challenge for automated theorem proving. Proof-planning critics can help automate these steps by making use of information from failed proof attempts. Our proposed research will extend existing critics for higher-order logic in the IsaPlanner system, as well as develop new critics. With the assistance of critics we ex...