A general practice research project on ethics is underway at the University of New South Wales, funded by GPEP (General Practice Evaluation Program, Commonwealth Department of Human Services and Health, GPEP 386). Ethical issues, as defined and explored by general practitioners and consumers, are being examined across four areas of Sydney.So far, telephone interviews have been conducted (64% response rate) with a random sample of general practitioners (GPs). Face-to-face interviews have been conducted with 107 consumers, randomly sampled using ABS collection (...) district information. Focus groups have been formed to discuss acceptable solutions to GP and consumer identified ethical issues. This report will report on some preliminary findings to date and will explore professional and consumer roles in the formation of ethical solutions. (shrink)

A general practice research project on ethics is underway at the University of New South Wales, funded by GPEP. Ethical issues, as defined and explored by general practitioners and consumers, are being examined across four areas of Sydney.So far, telephone interviews have been conducted with a random sample of general practitioners. Face-to-face interviews have been conducted with 107 consumers, randomly sampled using ABS collection district information. Focus groups have been formed to discuss acceptable solutions to GP and consumer identified ethical (...) issues. This report will report on some preliminary findings to date and will explore professional and consumer roles in the formation of ethical solutions. (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)

The multifaceted work of the late Susan Leigh Star is explored through a selection of her writings and essays by friends and colleagues. Susan Leigh Star (1954–2010) was one of the most influential science studies scholars of the last several decades. In her work, Star highlighted the messy practices of discovering science, asking hard questions about the marginalizing as well as the liberating powers of science and technology. In the landmark work Sorting Things Out, Star and Geoffrey Bowker revealed the (...) social and ethical histories that are deeply embedded in classification systems. Star's most celebrated concept was the notion of boundary objects: representational forms—things or theories—that can be shared between different communities, with each holding its own understanding of the representation. Unfortunately, Leigh was unable to complete a work on the poetics of infrastructure that further developed the full range of her work. This volume collects articles by Star that set out some of her thinking on boundary objects, marginality, and infrastructure, together with essays by friends and colleagues from a range of disciplines—from philosophy of science to organization science—that testify to the wide-ranging influence of Star's work. Contributors Ellen Balka, Eevi E. Beck, Dick Boland, Geoffrey C. Bowker, Janet Ceja Alcalá, Adele E. Clarke, Les Gasser, James R. Griesemer, Gail Hornstein, John Leslie King, Cheris Kramarae, Maria Puig de la Bellacasa, Karen Ruhleder, Kjeld Schmidt, Brian Cantwell Smith, Susan Leigh Star, Anselm L. Strauss, Jane Summerton, Stefan Timmermans, Helen Verran, Nina Wakeford, Jutta Weber. (shrink)

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)

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)

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)

“Probably Peirce’s best-known works are the first two articles in a series of six that originally were collectively entitled Illustrations of the Logic of Science and published in Popular Science Monthly from November 1877 through August 1878. The first is entitled ‘The Fixation of Belief’ and the second is entitled ‘How to Make Our Ideas Clear.’ In the first of these papers Peirce defended, in a manner consistent with not accepting naive realism, the superiority of the scientific method over other (...) methods of overcoming doubt and ‘fixing belief.’” — Robert Burch, “Charles Sanders Peirce,” entry in the Stanford Encyclopedia of Philosophy (2021 revision) -/- “Pragmatist epistemologies often explore how we can carry out inquiries in a self-controlled and fruitful way. (Where much analytic epistemology centres around the concept of knowledge, considered as an idealised end-point of human thought, pragmatist epistemology centres around the concept of inquiry, considered as the process of knowledge-seeking and how we can improve it.) So pragmatists often provide rich accounts of the capacities or virtues that we must possess in order to inquire well, and the rules or guiding principles that we should adopt. A canonical account is Peirce’s classic early paper ‘The Fixation of Belief‘. Here Peirce states that inquiry is a struggle to replace doubt with “settled belief“, and that the only method of inquiry that can make sense of the fact that at least some of us are disturbed by inconsistent beliefs, and will subsequently reflect upon which methods of fixing belief are correct is the Method of Science, which draws on the Pragmatic Maxim described above. This contrasts with three other methods of fixing belief: i) refusing to consider evidence contrary to one’s favored beliefs (the Method of Tenacity), ii) accepting an institution’s dictates (the Method of Authority), iii) developing the most rationally coherent or elegant-seeming belief-set (the A Priori Method).“ — Catherine Legg, “Pragmatism,” entry in the Stanford Encyclopedia of Philosophy (2021 revision). (shrink)

According to most accounts of trust, you can only trust other people (or groups of people). To trust is to think that another has goodwill, or something to that effect. I sketch a different form of trust: the unquestioning attitude. What it is to trust, in this sense, is to settle one’s mind about something, to stop questioning it. To trust is to rely on a resource while suspending deliberation over its reliability. Trust lowers the barrier of monitoring, challenging, checking, (...) and questioning. Trust sets up open pipelines between yourself and parts of the external world. Trust permits external resources to have a similar relationship to one as one’s internal cognitive faculties. This creates efficiency, but at the price of exquisite vulnerability. We must trust in this way because we are cognitively limited beings in a cognitively overwhelming world. Crucially, we can hold the unquestioning attitude towards objects and technologies. When I trust my climbing rope, I stop worrying about its reliability. When I trust my online calendaring system, I simply go to the events indicated, without question. But, one might worry, how could one ever hold such a normatively loaded attitude as trust towards mere objects? How could it ever make sense to feel betrayed by an object? Trust is our engine for expanding and outsourcing our agency — for binding external processes into our practical selves. Thus, we can be betrayed by our smartphones in the same way that we can be betrayed by our memory. When we trust, we try to make something a part of our agency, and we are betrayed when our part lets us down. To unquestioningly trust something is to let it in—to attempt to bring it inside one’s practical functioning. This suggests a new form of gullibility: agential gullibility, which occurs when agents too hastily and carelessly integrate external resources into their own agency. (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)

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.

Value capture occurs when an agent’s values are rich and subtle; they enter a social environment that presents simplified — typically quantified — versions of those values; and those simplified articulations come to dominate their practical reasoning. Examples include becoming motivated by FitBit’s step counts, Twitter Likes and Re-tweets, citation rates, ranked lists of best schools, and Grade Point Averages. We are vulnerable to value capture because of the competitive advantage that such crisp and clear expressions of value have in (...) our private reasoning and our public justification. There is, however, a price. In value capture, we take a central component of our autonomy — our ongoing deliberation over the exact articulation of our values — and we outsource it. And the metrics to which we outsource usually engineered for the interests of some external force, like a large-scale institution’s interest in cross-contextual comprehensibility and quick aggregability. That outsourcing cuts off one of the key benefits to personal deliberation. In value capture, we no longer adjust our values and their articulations in light of own rich experience of the world. Our values should often be carefully tailored to our particular selves or our small-scale communities, but in value capture, we buy our values off the rack. In some cases – like decreasing CO2 emissions – the costs of non-tailored values are outweighed by the benefit of precise collective coordination. In other cases, like in our aesthetic lives, they are not. This suggests that we should want different values suited to different scales. We should want value federalism. Some values are perhaps best pursued at the largest-scale level, others at smaller scales. The problem occurs when we exhibit an excess preference for the largest-scale values – when we consistently let the universal metrics swamp our quieter interests. (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)

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)

Recent conversation has blurred two very different social epistemic phenomena: echo chambers and epistemic bubbles. Members of epistemic bubbles merely lack exposure to relevant information and arguments. Members of echo chambers, on the other hand, have been brought to systematically distrust all outside sources. In epistemic bubbles, other voices are not heard; in echo chambers, other voices are actively undermined. It is crucial to keep these phenomena distinct. First, echo chambers can explain the post-truth phenomena in a way that epistemic (...) bubbles cannot. Second, each type of structure requires a distinct intervention. Mere exposure to evidence can shatter an epistemic bubble, but may actually reinforce an echo chamber. Finally, echo chambers are much harder to escape. Once in their grip, an agent may act with epistemic virtue, but social context will pervert those actions. Escape from an echo chamber may require a radical rebooting of one's belief system. (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)

Criminalistics laboratories routinely provide cold hits in police investigations by comparing DNA profiles from crime scenes to offenders residing in the Combined DNA Index System. Forensic DNA analysis is often glamorized in popular culture, where the perpetrators are identified and crimes solved within a single television episode. In reality forensic DNA hits can identify perpetrators of violent offenses, link multiple crimes committed by the same individual, or exclude suspects and exonerate the falsely accused. Unlike the media portrayals, downstream activities after (...) a DNA identification or cold hit are often more complex. While the Federal Bureau of Investigation cites a national Data Bank of more than 7.2 million DNA profiles and 94,000 identifications nationwide, an in-depth analysis of public safety improvements made with CODIS is currently unavailable to forensic practitioners and public policy analysts. A review of case resolutions for 198 DNA database hits in San Francisco created performance metrics to provide a concrete measure of the effectiveness of DNA databasing efforts at the city and county level. (shrink)

Over the past decade, the Combined DNA Index System (CODIS) has increased solvability of violent crimes by linking evidence DNA profiles to known offenders. At present, an in-depth analysis of the United States National DNA Data Bank effort has not assessed the success of this national public safety endeavor. Critics of this effort often focus on laboratory and police investigators unable to provide timely investigative support as a root cause(s) of CODIS' failure to increase public safety. By studying a group (...) of nearly 200 DNA cold hits obtained in SFPD criminal investigations from 2001–2006, three key performance metrics (Significance of Cold Hits, Case Progression & Judicial Resolution, and Potential Reduction of Future Criminal Activity) provide a proper context in which to define the impact of CODIS at the City and County level. Further, the analysis of a recidivist group of cold hit offenders and their past interaction with law enforcement established five noteworthy criminal case resolution trends; these trends signify challenges to CODIS in achieving meaningful case resolutions. CODIS' effectiveness and critical activities to support case resolutions are the responsibility of all criminal justice partners in order to achieve long-lasting public safety within the United States. (shrink)

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)

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)

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)

In this paper we define a family of many-valued semantics for hybrid logic, where each semantics is based on a finite Heyting algebra of truth-values. We provide sound and complete tableau systems for these semantics. Moreover, we show how the tableau systems can be made terminating and thereby give rise to decision procedures for the logics in question. Our many-valued hybrid logics turn out to be "intermediate" logics between intuitionistic hybrid logic and classical hybrid logic in a specific sense explained (...) in the paper. Our results show that many-valued hybrid logic is indeed a natural enterprise. (shrink)

In this paper we define a family of many-valued semantics for hybrid logic, where each semantics is based on a finite Heyting algebra of truth-values. We provide sound and complete tableau systems for these semantics. Moreover, we show how the tableau systems can be made terminating and thereby give rise to decision procedures for the logics in question. Our many-valued hybrid logics turn out to be "intermediate" logics between intuitionistic hybrid logic and classical hybrid logic in a specific sense explained (...) in the paper. Our results show that many-valued hybrid logic is indeed a natural enterprise. (shrink)