Have employment equity programs achieved the goal of equity for women in the workplace? We argue that they have not because gender stereotypes still persist. In fact, they may have created resentment and antagonism towards successful women and employment equity initiatives. Arguments are developed for the Canadian government to create a self-regulating system, in which the government plays a role of educator as opposed to monitor.

The tragedy of critique -- The sound and the fury : the insights and limits of the critique of critique -- The experience of critique : inside permanent liminality -- Critique is history? : understanding a tradition of tradition-breaking -- Unthinking critical thinking : the reduction of philosophy to negative logic -- The cacophony of critique : populist radicals and hegemonic dissent -- Asocial media : an auto-ethnography of on-line critiques -- Towards acritical theory -- Bibliography -- Index.

The context in which Thomas Aquinas reflects on teaching is discussed, as are the texts in which he does so. We learn how he understands teaching from two other considerations, how he went about the task, and the pedagogical concerns that persist through his writing career. The most important source for his convictions about pedagogy is the Bible, and Jesus is ‘the most excellent of teachers’. His account of teaching is ultimately theological, then, in line with his concerns in Summa (...) theologiae, such that creation may be understood as teaching and redemption as learning. (shrink)

In this paper, we investigate the use of event models for automated planning. Event models are the action defining structures used to define a semantics for dynamic epistemic logic. Using event models, two issues in planning can be addressed: Partial observability of the environment and knowledge. In planning, partial observability gives rise to an uncertainty about the world. For single-agent domains, this uncertainty can come from incomplete knowledge of the starting situation and from the nondeterminism of actions. In multi-agent domains, (...) an additional uncertainty arises from the fact that other agents can act in the world, causing changes that are not instigated by the agent itself. For an agent to successfully construct and execute plans in an uncertain environment, the most widely used formalism in the literature on automated planning is “belief states”: sets of different alternatives for the current state of the world. Epistemic logic is a significantly more expressive and theoretically better founded method for representing knowledge and ignorance about the world. Further, epistemic logic allows for planning according to the knowledge (and iterated knowledge) of other agents, allowing the specification of a more complex class of planning domains, than those simply concerned with simple facts about the world. We show how to model multi-agent planning problems using Kripke-models for representing world states, and event models for representing actions. Our mechanism makes use of slight modifications to these concepts, in order to model the internal view of agents, rather than that of an external observer. We define a type of planning domain called epistemic planning domains, a generalisation of classical planning domains, and show how epistemic planning can successfully deal with partial observability, nondeterminism, knowledge and multiple agents. Finally, we show epistemic planning to be decidable in the single-agent case, but only semi-decidable in the multi-agent case. (shrink)

While contemporary welfare processes have widely been analysed through the concepts of governmentality and pastoral power, this article diagnoses the dimension of confession or avowal within unemployment, job seeking and CV writing. This argument draws together the threads of Foucault’s work on confession within disciplinary institutions, around sexuality and genealogies of monasticism, adding the insights of writers in ‘economic theology’. Empirically the focus is on UK JobCentrePlus, whose governmentality is traced from laws and regulations, street-level forms, websites and CV advice. (...) From the requirement of avowals of unemployment as a personal fault in interviews to professions of faith in oneself and the labour market, a distinctly confessional practice emerges – with the welfare officer as ‘pastor’ but with the market as the ultimate ‘test’ of worth. Furthermore, the pressure to transform the self through ‘telling the truth’ about oneself is taken as a normalising pressure which extends from the institutions of welfare across the labour market as a whole. In conclusion, the demand for self-transformation and the insistence on tests within modernity is problematised. (shrink)

Plausibility models are Kripke models that agents use to reason about knowledge and belief, both of themselves and of each other. Such models are used to interpret the notions of conditional belief, degrees of belief, and safe belief. The logic of conditional belief contains that modality and also the knowledge modality, and similarly for the logic of degrees of belief and the logic of safe belief. With respect to these logics, plausibility models may contain too much information. A proper notion (...) of bisimulation is required that characterises them. We define that notion of bisimulation and prove the required characterisations: on the class of image-finite and preimage-finite models, two pointed Kripke models are modally equivalent in either of the three logics, if and only if they are bisimilar. As a result, the information content of such a model can be similarly expressed in the logic of conditional belief, or the logic of degrees of belief, or that of safe belief. This, we found a surprising result. Still, that does not mean that the logics are equally expressive: the logics of conditional and degrees of belief are incomparable, the logics of degrees of belief and safe belief are incomparable, while the logic of safe belief is more expressive than the logic of conditional belief. In view of the result on bisimulation characterisation, this is an equally surprising result. We hope our insights may contribute to the growing community of formal epistemology and on the relation between qualitative and quantitative modelling. (shrink)

Although Foucault was clearly a critical thinker, his approach also provides for the possibility of a genealogy of critique. Such an approach problematizes critique, and I trace the emergent problematization of critique in Foucault’s later works, and briefly in Latour and Boltanski. From this I move on to the ‘critical problematic’, that is, how critique operates as a form of power/knowledge, as a discourse that creates subjects through a critical regime of truth and critical truth-games. Specifically, I argue that critique (...) is a discourse which transforms and unmasks other ‘truth-claims’, replacing them with a starker vision of reality, which in the end is also a specific cultural vision. To elaborate this view, I return to Foucault’s discussion of Kant, his late lectures on Cynicism and also on ordo-liberalism. The wider circulation of critical discourses is demonstrated through an analysis of ‘cool’ or critical consumerism. In conclusion, the relationship between critique, crisis and modernity is considered. (shrink)

In this paper we show how to formalise false-belief tasks like the Sally-Anne task and the second-order chocolate task in Dynamic Epistemic Logic. False-belief tasks are used to test the strength of the Theory of Mind of humans, that is, a human’s ability to attribute mental states to other agents. Having a ToM is known to be essential to human social intelligence, and hence likely to be essential to social intelligence of artificial agents as well. It is therefore important to (...) find ways of implementing a ToM in artificial agents, and to show that such agents can then solve false-belief tasks. In this paper, the approach is to use DEL as a formal framework for representing ToM, and use reasoning in DEL to solve false-belief tasks. In addition to formalising several false-belief tasks in DEL, the paper introduces some extensions of DEL itself: edge-conditioned event models and observability propositions. These extensions are introduced to provide better formalisations of the false-belief tasks, but expected to have independent future interest. (shrink)

Plausibility models are Kripke models that agents use to reason about knowledge and belief, both of themselves and of each other. Such models are used to interpret the notions of conditional belief, degrees of belief, and safe belief. The logic of conditional belief contains that modality and also the knowledge modality, and similarly for the logic of degrees of belief and the logic of safe belief. With respect to these logics, plausibility models may contain too much information. A proper notion (...) of bisimulation is required that characterises them. We define that notion of bisimulation and prove the required characterisations: on the class of image-finite and preimage-finite models, two pointed Kripke models are modally equivalent in either of the three logics, if and only if they are bisimilar. As a result, the information content of such a model can be similarly expressed in the logic of conditional belief, or the logic of degrees of belief, or that of safe belief. This, we found a surprising result. Still, that does not mean that the logics are equally expressive: the logics of conditional and degrees of belief are incomparable, the logics of degrees of belief and safe belief are incomparable, while the logic of safe belief is more expressive than the logic of conditional belief. In view of the result on bisimulation characterisation, this is an equally surprising result. We hope our insights may contribute to the growing community of formal epistemology and on the relation between qualitative and quantitative modelling. (shrink)

This article addresses contemporary concerns about critique through an interpretation of the “writing prophets.” This approach draws on Foucauldian genealogy and suggests that alongside Greek parrhesia, Old Testament prophecy is a key forerunner of contemporary critical discourses. Our analysis draws upon Weber’s interpretative historical sociology and Gadamerian hermeneutics but shifts the emphasis from charisma to critique, through a direct engagement with prophetic texts. In particular, prophetic discourse claims to reveal injustice and idolatry and speaks from a position of transcendence within (...) immanent historical moments. Prophets position their own era as a moment of crisis, and themselves as liminal figures, opposed to the delusion of others and “false prophets” which resonates with contemporary conceptions of “ideology.” Rather than focusing on historical individuals, we approach prophecy as a discourse, multiple and hybrid, discontinuous, and contradictory, yet constituting a distinctive precursor which informs contemporary critique. (shrink)

An anthology of previously unpublished essays from some of the most outstanding scholars working in philosophy, mathematics, and computer science today, _Self-Reference_ reexamines the latest theories of self-reference, including those that attempt to explain and resolve the semantic and set-theoretic paradoxes. With a thorough introduction that contextualizes the subject for students, this book will be important reading for anyone interested in the general area of self-reference and philosophy.

Concern about the role and the limits of modeling has heightened after repeated questions were raised regarding the dependability and suitability of the models that were used in the run-up to the 2008 financial crash. In this book, Lawrence Boland provides an overview of the practices of and the problems faced by model builders to explain the nature of models, the modeling process, and the possibility for and nature of their testing. In a reflective manner, the author raises serious (...) questions about the assumptions and judgments that model builders make in constructing models. In making his case, he examines the traditional microeconomics-macroeconomics separation with regard to how theoretical models are built and used and how they interact, paying particular attention to the use of equilibrium concepts in macroeconomic models and game theory and to the challenges involved in building empirical models, testing models, and using models to test theoretical explanations. (shrink)

This book is about forming effective critiques of neoclassical economics. Its focus is on constructive criticism of the foundations neoclassical theory, beginning with what Alfred Marshall called the `Principles of Economics'. It concludes that there is still much that can be done to make neoclassical economics more realistic.

Roughly speaking all economists can be divided into two groups--those who agree with Milton Friedman and those who do not. Both groups, however, espouse the view that science is a series of approximations to a demonstrated accord with reality. Methodological controversy in economics is now merely a Conventionalist argument over which comes first--simplicity or generality. Furthermore, this controversy in its current form is not compatible with one important new and up and coming economic (welfare) theory called "the theory of the (...) Second Best." In this paper I offer a Second Best meta-theory that says that (1) any compromise between simplicity and generality must yield a theory which is "third best" by these Conventionalist criteria; and (2) there exists a better way than a compromise. (shrink)

Despite acknowledgment that performance failure among new salespeople is a prevalent issue for organizations, researchers do not fully understand the consequences of repetitive periods of failure on new salespeople’s unethical selling behaviors. Further, little is known about how a sales force’s reward structure and managerial attempts to intervene following failure affect new salespeople’s behavior. Combining an experiment with longitudinal growth models, we show that repetitive periods of failure increase unethical behaviors, and interventions intended to remind the salesperson to behave in (...) the customer’s best interests attenuate this effect under a non-contingent reward structure. However, counter to managerial assumptions, under a contingent reward structure these customer-oriented interventions actually backfire by amplifying the original relationship between repetitive failure and unethical behaviors. The results have potentially important managerial implications for those who manage new salespeople learning how to sell or during other failure-prone periods. (shrink)

We present a logic which we call Hybrid Duration Calculus. HDC is obtained by adding the following hybrid logical machinery to the Restricted Duration Calculus : nominals, satisfaction operators, down-arrow binder, and the global modality. RDC is known to be decidable, and in this paper we show that decidability is retained when adding the hybrid logical machinery. Decidability of HDC is shown by reducing the satisfiability problem to satisfiability of Monadic Second-Order Theory of Order. We illustrate the increased expressive power (...) obtained in hybridizing RDC by showing that HDC, in contrast to RDC, can express all of the 13 possible relations between intervals. (shrink)

Until the late 1970s, it was difficult publishing economic methodology research in any mainstream economics journal. Today there are at least two journals devoted to articles about economic methodology. However, it is important to keep in mind that there are two types of economic methodology. There is what has been called small-m methodology which is about the assumptions made by economic model builders, and there is big-M methodology which is about matters of interest to philosophers but not to economists. The (...) recent history of economic methodology literature and conferences has displayed the hijacking of economic methodology research by philosophers with the result that those of us who wish to do research on small-m methodology are back where we were in the 1960s and 1970s. (shrink)

This article considers `critique' as performative, being on the one hand a reiterative performance, that enacts the `critic' through the act of critique, and on the other hand reflecting the constitution of the subject. While this approach takes on the conceptual framework of Judith Butler's work, it differs by refusing critique — or its correlates; parody, subversion or similar — any special status. Like any other performance critique is taken here as a cultural practice, as a Foucauldian `technique of self', (...) though the complex genealogy of such a technique lies outside the scope of this article. In order to illustrate this argument I interpret a number of Butler's prefaces, interviews and digressions which diverge from her own theoretical framework, and argue that these `fictions' arise from critical `disavowals': that is, a `self-transformative' turn against power. The subjective `crisis' that prompts critique is then elaborated by comparison to Girard's work on imitation and sacrifice. (shrink)