We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.

The humanity formulation of Kant's Categorical Imperative demands that we treat humanity as an end in itself. Because this principle resonates with currently influential ideals of human rights and dignity, contemporary readers often find it compelling, even if the rest of Kant's moral philosophy leaves them cold. Moreover, some prominent specialists in Kant's ethics have recently turned to the humanity formulation as the most theoretically central and promising principle of Kant's ethics. Nevertheless, it has received less attention than many other (...) aspects of Kant's ethics. Richard Dean offers the most sustained and systematic examination of the humanity formulation to date. He presents an original analysis of what it means to treat humanity as an end in itself, and examines the implications both for Kant scholarship and for practical guidance on specific moral issues. (shrink)

Proof-theoretic reflection principles are schemas which attempt to express the soundness of arithmetical theories within their own language, e.g., ${\mathtt{{Prov}_{\mathsf {PA}} \rightarrow \varphi }}$ can be understood to assert that any statement provable in Peano arithmetic is true. It has been repeatedly suggested that justification for such principles follows directly from acceptance of an arithmetical theory $\mathsf {T}$ or indirectly in virtue of their derivability in certain truth-theoretic extensions thereof. This paper challenges this consensus by exploring relationships between reflection principles (...) and principles of mathematical and transfinite induction as well as the status of the latter with respect to various foundational characterizations of number theory. (shrink)

This article outlines a training activity that can enable both business and governmental professionals to translate the principles in a code of ethics to a specific list of company-related behaviors ranging from highly ethical to highly unethical. It also explores how this list can become a concrete model to follow in making ethical decisions. The article begins with a discussion as to what will improve ethical decision making in business and government. This leads us to explore the factors that can (...) most easily lead to improvement, namely a comprehensive code of conduct and employee training. From there we look at the Critical Incident Technique as a training strategy that has the potential for identifying those behaviors that distinguish really outstanding behaviors from those that go by the book, and can be used to encourage more independent thinking and to set expectations for future decisions. If employees are given the skills and examples that will enable them to make better decisions, they can apply them to any situation. (shrink)

Joshua Greene has argued that several lines of empirical research, including his own fMRI studies of brain activity during moral decision-making, comprise strong evidence against the legitimacy of deontology as a moral theory. This is because, Greene maintains, the empirical studies establish that “characteristically deontological” moral thinking is driven by prepotent emotional reactions which are not a sound basis for morality in the contemporary world, while “characteristically consequentialist” thinking is a more reliable moral guide because it is characterized by greater (...) cognitive command and control. In this essay, I argue that Greene does not succeed in drawing a strong statistical or causal connection between prepotent emotional reactions and deontological theory, and so does not undermine the legitimacy of deontological moral theories. The results that Greene relies on from neuroscience and social psychology do not establish his conclusion that consequentialism is superior to deontology. (shrink)

This article bears on four topics: observational predicates and phenomenal properties, vagueness, strict finitism as a philosophy of mathematics, and the analysis of feasible computability. It is argued that reactions to strict finitism point towards a semantics for vague predicates in the form of nonstandard models of weak arithmetical theories of the sort originally introduced to characterize the notion of feasibility as understood in computational complexity theory. The approach described eschews the use of nonclassical logic and related devices like degrees (...) of truth or supervaluation. Like epistemic approaches to vagueness, it may thus be smoothly integrated with the use of classical model theory as widely employed in natural language semantics. But unlike epistemicism, the described approach fails to imply either the existence of sharp boundaries or the failure of tolerance for soritical predicates. Applications ofmeasurement theory(in the sense of Krantz, Luce, Suppes, & Tversky (1971)) to vagueness in the nonstandard setting are also explored. (shrink)

Recent critics have called attention to the alienation of contemporary academics from broad currents of intellectual activity in public culture. The general complaint is that intellectuals are finding a professional home in institutions of higher learning, insulated from the concerns and interests of a wider reading audience. The demands of professional expertise do not encourage academics to work as public intellectuals or to take up social, literary, or political matters in imaginative and perspicuous ways. More problematic is the relative absence (...) of religion in the writings of those who aspire to work as public intellectuals. This essay reviews recent attempts by William Dean, Cornel West, Jean Bethke Elshtain, Stephen Carter, and Robin Lovin to remedy the problem of academic alienation and to address the place of religion in American life. (shrink)

State and civil society -- Empire without state -- Politics of life -- Saint Foucault -- Blood-dried codes -- The state of immanence -- Virtual state-making -- When society prevails -- Political and economic theology -- Foucault's apologia of neoliberalism.

This paper explores the relationship borne by the traditional paradoxes of set theory and semantics to formal incompleteness phenomena. A central tool is the application of the Arithmetized Completeness Theorem to systems of second-order arithmetic and set theory in which various “paradoxical notions” for first-order languages can be formalized. I will first discuss the setting in which this result was originally presented by Hilbert & Bernays (1939) and also how it was later adapted by Kreisel (1950) and Wang (1955) in (...) order to obtain formal undecidability results. A generalization of this method will then be presented whereby Russell’s paradox, a variant of Mirimanoff’s paradox, the Liar, and the Grelling–Nelson paradox may be uniformly transformed into incompleteness theorems. Some additional observations are then framed relating these results to the unification of the set theoretic and semantic paradoxes, the intensionality of arithmetization (in the sense of Feferman, 1960), and axiomatic theories of truth. (shrink)

This paper presents a systematic study of the prehistory of the traditional subsystems of second-order arithmetic that feature prominently in the reverse mathematics program of Friedman and Simpson. We look in particular at: (i) the long arc from Poincar\'e to Feferman as concerns arithmetic definability and provability, (ii) the interplay between finitism and the formalization of analysis in the lecture notes and publications of Hilbert and Bernays, (iii) the uncertainty as to the constructive status of principles equivalent to Weak K\"onig's (...) Lemma, and (iv) the large-scale intellectual backdrop to arithmetical transfinite recursion in descriptive set theory and its effectivization by Borel, Lusin, Addison, and others. (shrink)

The authors examine the nature of the relationship between social science and philosophy and address the sort of work social science should do, and the role and sorts of claims that an accompanying philosophy should engage in. In particular, the authors reintroduce the question of ontology, an area long overlooked by philosophers of social science, and present a cricital engagement with the work of Roy Bhaskar. The book argues against the excesses of philosophising and commits itself to a philosophical approach (...) more deeply grounded in the social sciences. (shrink)

Countering claims of its impossibility, this paper argues for economic theology as an intelligible figure of contemporary political rationality and organization, and a distinctive analytical strategy in relation to forms of liberal and neoliberal governmentality and the contemporary management of social life. As an analytical strategy, it has two arms: an institutional one, drawing upon Michel Foucault’s work on the pastorate; and a conceptual one, following from Giorgio Agamben on oikonomia, order and providence. Economic theology was the arcana of 20th-century (...) debates on both political theology and governmentality and a condition for their emergence. It formed the horizon of Carl Schmitt’s intervention of a political theology in response to Max Weber, and, as the pastorate, it was for Foucault the historical background of the emergence of the liberal arts of government. While appearing as a new paradigm, it thus has a measure of priority over our more established ones. Furthermore, to the extent that economic theology comes to occupy the place of political rationality in contemporary liberal-democratic societies, the political becomes less a rational public sphere and more a form of public liturgy. (shrink)

The Knowability Paradox purports to show that the controversial but not patently absurd hypothesis that all truths are knowable entails the implausible conclusion that all truths are known. The notoriety of this argument owes to the negative light it appears to cast on the view that there can be no verification-transcendent truths. We argue that it is overly simplistic to formalize the views of contemporary verificationists like Dummett, Prawitz or Martin-Löf using the sort of propositional modal operators which are employed (...) in the original derivation of the Paradox. Instead we propose that the central tenet of verificationism is most accurately formulated as follows: if φ is true, then there exists a proof of φ Building on the work of Artemov (Bull Symb Log 7(1): 1-36, 2001), a system of explicit modal logic with proof quantifiers is introduced to reason about such statements. When the original reasoning of the Paradox is developed in this setting, we reach not a contradiction, but rather the conclusion that there must exist non-constructed proofs. This outcome is evaluated relative to the controversy between Dummett and Prawitz about proof existence and bivalence. (shrink)

Computationalism holds that our grasp of notions like ‘computable function’ can be used to account for our putative ability to refer to the standard model of arithmetic. Tennenbaum's Theorem has been repeatedly invoked in service of this claim. I will argue that not only do the relevant class of arguments fail, but that the result itself is most naturally understood as having the opposite of a reference-fixing effect — i.e., rather than securing the determinacy of number-theoretic reference, Tennenbaum's Theorem points (...) towards a sense in which portions of our computational vocabulary should be regarded as model-relative. (shrink)

Computational complexity theory is a subfield of computer science originating in computability theory and the study of algorithms for solving practical mathematical problems. Amongst its aims is classifying problems by their degree of difficulty — i.e., how hard they are to solve computationally. This paper highlights the significance of complexity theory relative to questions traditionally asked by philosophers of mathematics while also attempting to isolate some new ones — e.g., about the notion of feasibility in mathematics, the $\mathbf{P} \neq \mathbf{NP}$ (...) problem and why it has proven hard to resolve, and the role of non-classical modes of computation and proof. (shrink)

This article approaches social media from the theory of the religio-political practice of acclamation revived by Agamben and following twentieth-century social and political thought and theology (of Weber, Peterson, Schmitt, Kantorowicz). It supplements that theory by more recent political-theoretical, historical and sociological investigations and regards acclamation as a ‘social institution’ following Mauss. Acclamation is a practice that forms publics, whether as the direct presence of the ‘people’, mass-mediated ‘public opinion’, or a ‘public mood’ decipherable through countless social media postings. The (...) article surveys issues of differential geographies of access, weighting of posts, value-creation, orality and gesture, algorithmic governmentality, and Big Data and knowledge production. It argues that social media constitute a public from a mass of individualized, private postings. It concludes that they make possible forms of political calculability and action, yet are continuous with ritual and liturgical elements of political life. This study contributes to an analytics of publicity. (shrink)

One formulation of the Categorical Imperative tells us to treat humanity as an end in itself. It has become common to think that ‘humanity’ (die Menschheit) here refers to some minimal power of rationality that is necessarily possessed by any rational agent, but I argue that this common reading is misguided. Instead, ‘humanity’ refers to a good will, the will of a being who is committed to moral principles. This good will reading of ‘humanity’ is not only suggested by passages (...) in which Kant specifically discusses humanity, but also is more consistent with the main ideas of Kant's ethics. (shrink)

While this ‘extraordinary’ book appears as an intermezzo within the Homo Sacer series (Negri, 2008), it supports two fundamental theses with its own philological, epigraphic, liturgical and religious-historical research, and a close reading of figures such as Ernst Kantorowicz and Marcel Mauss. These theses concern political power first as an articulation of sovereign reign and economic government and, secondly, as constituted by acclamations and glorification. These can be approached theoretically through its author’s engagement with Michel Foucault’s genealogy of governmentality and (...) with the Erik Peterson/Carl Schmitt debate on the closure of political theology. Agamben’s reformulation of power and his derivation of liberal governmentality from the theological oikonomia prove convincing. A renewed analytics of power and politics of resistance should be possible, however, without recourse to a project seeking to deactivate all profane powers including those of public bureaucracies. (shrink)

In an effort to address healthcare disparities in lesbian, gay, bisexual, transgender, and queer populations, many hospitals and clinics institute diversity training meant to increase providers’ awareness of and sensitivity to this patient population. Despite these efforts, many healthcare spaces remain inhospitable to LGBTQ patients and their loved ones. Even in the absence of overt forms of discrimination, LGBTQ patients report feeling anxious, unwelcome, ashamed, and distrustful in healthcare encounters. We argue that these negative experiences are produced by a variety (...) of subtle, ostensibly insignificant features of healthcare spaces and interpersonal interactions called microaggressions. Healthcare spaces and providers often convey heteronormative microaggressions, which communicate to LGBTQ—and, we suggest, intersex and asexual —people that their identities, experiences, and relationships are abnormal, pathological, unexpected, unwelcome, or shameful. We identify heteronormative microaggressions common to healthcare settings and specify how they negatively impact LGBTQIA patients. We argue that standard diversity training cannot sufficiently address heteronormative microaggressions. Despite these challenges, healthcare institutions and providers must take responsibility for heteronormative microaggressions and take steps to reduce their frequency and mitigate their effects on LGBTQIA care. We conclude by offering strategies for problem-solving at the level of medical education, institutional culture and policy, and individual awareness. (shrink)

This article details day-to-day ethics issues facing MBAs who occupy entry-level and mid-level management positions and offers defined examples of the stressors these managers face. The study includes lower-level managers, essentially excluded from extant literature, and focuses on workplace behaviors both undertaken and observed. Results indicate that pressures from internal organization sources, and ambiguity in letter versus spirit of rules, account for over a third of the most frequent unethical situations encountered, and that most managers did not expect to face (...) those issues. Various contextual factors accounted for 32% of the organizational factors that affected decisions. We discuss implications for the workplace, especially the unique ethics challenges for newer managers. (shrink)

Kant emphasizes that moral philosophy must be divided into two parts, a metaphysics of morals, and an empirical application to individuals, which Kant calls 'moral anthropology'. But Kant gives humanity (die Menschheit) a prominent role even in the purely rational part of ethics – for example, one formulation of the categorical imperative is a demand to treat humanity as an end in itself. This paper argues that the only concepts of humanity suited to play such a role are the rational (...) idea of humanity, and the rational ideal derived from this idea, which Kant discusses in Critique of Practical Reason and other texts. (shrink)

The tension between external forces for better ethics in organizations, represented by legislation such as the Sarbanes–Oxley Act (SOX), and the call for internal forces represented by increased educational coverage, has never been as apparent. This study examines business school faculty attitudes about recent corporate ethics lapses, including opinions about root causes, potential solutions, and ethics coverage in their courses. In assessing root causes, faculty point to a failure of systems such as legal/professional and management (external) and declining personal values (...) (internal). We also found that faculty recommend external forces as a remedy more often than increased ethics educational coverage; we contextualize this finding with recent ethics education literature. We conclude by proposing that neither legislation nor ethics education alone are complete when addressing widespread unethical corporate acts and offer a multi-faceted approach to ethics educational opportunities. (shrink)

Three experiments investigated response times for remember and know responses in recognition memory. RTs to remember responses were faster than RTs to know responses, regardless of whether the remember–know decision was preceded by an old/new decision or was made without a preceding old/new decision . The finding of faster RTs for R responses was also found when remember–know decisions were made retrospectively. These findings are inconsistent with dual-process models of recognition memory, which predict that recollection is slower and more effortful (...) than familiarity. Word frequency did not influence RTs, but remember responses were faster for words than for nonwords. We argue that the difference in RTs to remember and know responses reflects the time taken to make old/new decisions on the basis of the type of information activated at test. (shrink)

This paper argues that common social narratives about unhealthy eaters can cause significant damage to agency. I identify and analyze a narrative that combines a “control model” of eating agency with the healthist assumption that health is the ultimate end of eating. I argue that this narrative produces and enables four types of damage to the agency of those identified as unhealthy eaters. Due to uncertainty about what counts as healthy eating and various forms of prejudice, the unhealthy eater label (...) and its harms to agency are more likely to stick to some people than others and may reinforce patterns of oppression. I argue that fat people are especially vulnerable to this identification and the damage it can do. I then consider possible “counterstories” about unhealthy eaters, alternative narratives that might be less damaging to agency than the control narrative. I identify one promising counterstory but suggest that it may be limited when it comes to repairing damage to the agency of fat people. Overall, this paper illustrates some of the complex ways that healthism about eating affects agency, and emphasizes the ethical importance of the ways we think about and discuss eating and eaters. (shrink)

This chapter contains sections titled: What Should We Treat as an End in Itself? Value and Ends The Argument for the Humanity Formulation How Particular Duties Follow Final Thoughts Bibliography.

We describe here an interdisciplinary lab science course for non-majors using the history of science as a curricular guide. Our experience with diverse instructors underscores the importance of the teachers and classroom dynamics, beyond the curriculum. Moreover, the institutional political context is central: are courses for non-majors valued and is support given to instructors to innovate? Two sample projects are profiled.

This paper contends that eating shapes the self; that is, our practices and understandings of eating can cultivate, reinforce, or diminish important aspects of the self, including agency, values, capacities, affects, and self-understandings. I argue that these self-shaping effects should be included in our ethical analyses and evaluations of eating. I make a case for this claim through an analysis and critique of the hypothesis that young women’s vegetarianism is a risk, sign, or “cover” for eating disorders or disordered eating. (...) After outlining the relevant empirical literature, I suggest that the evidence for this hypothesis is inconclusive. Given this uncertainty, we should consider the risks of making a mistake when accepting or rejecting this understanding of young women’s eating. I argue that these risks importantly include negative effects on the self, such as damage to moral and epistemic agency. Along with other potential consequences of mistakenly accepting the hypothesis, these effects give us reason to reject it pending more conclusive research. Overall, this paper offers a philosophical intervention into the debate over the relationship between vegetarianism and eating disorders while illustrating the ethical importance and relevance of eating as a self-shaping activity. (shrink)

It was proposed that ethical evaluation of insurance claim padding behavior would be affected by characteristics of the policyholder, insurance agent, and company. These three factors were manipulated in written scenarios and the premise was tested in a factorial experimental design. No significant support was found for an effect of any of the three factors on ethical perceptions of claim padding. However, females found claims padding to be significantly less ethical than males. Given a claim scenario where the actual loss (...) was $500 and the claimed amount was $3000, subjects awarded an average of $986.91 on the claim. Many respondents were willing to compensate victims for intangible losses as well as tangible losses. (shrink)

We analyze the pointwise convergence of a sequence of computable elements of L1 in terms of algorithmic randomness. We consider two ways of expressing the dominated convergence theorem and show that, over the base theory RCA0, each is equivalent to the assertion that every Gδ subset of Cantor space with positive measure has an element. This last statement is, in turn, equivalent to weak weak Königʼs lemma relativized to the Turing jump of any set. It is also equivalent to the (...) conjunction of the statement asserting the existence of a 2-random relative to any given set and the principle of Σ2 collection. (shrink)

The goal of this paper is to explore the significance of Montague’s paradox—that is, any arithmetical theory $T\supseteq Q$ over a language containing a predicate $P$ satisfying $P\rightarrow \varphi $ and $T\vdash \varphi \,\therefore\,T\vdash P$ is inconsistent—as a limitative result pertaining to the notions of formal, informal, and constructive provability, in their respective historical contexts. To this end, the paradox is reconstructed in a quantified extension $\mathcal {QLP}$ of Artemov’s logic of proofs. $\mathcal {QLP}$ contains both explicit modalities $t:\varphi $ (...) and also proof quantifiers $x:\varphi $. In this system, the basis for the rule NEC is decomposed into a number of distinct principles governing how various modes of reasoning about proofs and provability can be internalized within the system itself. A conceptually motivated resolution to the paradox is proposed in the form of an argument for rejecting the unrestricted rule NEC on the basis of its subsumption of an intuitively invalid principle pertaining to the interaction of proof quantifiers and the proof-theorem relation expressed by explicit modalities. (shrink)

Although risky decision-making has been posited to contribute to the maladaptive behavior of individuals with psychopathic tendencies, the performance of psychopathic groups on a common task of risky decision-making, the Iowa Gambling Task (IGT; Bechara, Damasio, Damasio, & Anderson, 1994), has been equivocal. Different aspects of psychopathy (personality traits, antisocial deviance) and/or moderating variables may help to explain these inconsistent findings. In a sample of college students (N = 129, age 18–27), we examined the relationship between primary and secondary psychopathic (...) features and IGT performance. A measure of impulsivity was included to investigate its potential as a moderator. In a joint model including main effects and interactions between primary psychopathy, secondary psychopathy and impulsivity, only secondary psychopathy was significantly related to risky IGT performance, and this effect was not moderated by the other variables. This finding supports the growing literature suggesting that secondary psychopathy is a better predictor of decision-making problems than the primary psychopathic personality traits of lack of empathy and remorselessness. (shrink)

The articles comprising this thematic symposium suggest options for exploring the nexus between freedom and unfreedom, as exemplified by the British abolitionists’ anti-slavery campaign and the paradox of freedom. Each article has implications for how these abolitionists achieved their goals, social activists’ efforts to secure reparations for slave ancestors, and modern slavery. We present the abolitionists’ undertaking as a marketing campaign, highlighting the role of instilling moral agency and indignation through re-humanizing the dehumanized. Despite this campaign’s eventual success, its post-emancipation (...) phase illustrates a paradox of freedom. After introducing mystification as an explanation for the obscuring rhetoric used to conceal post-emancipation violations of freedom during the West’s colonial phase, we briefly discuss the appropriateness of reparations. Finally, we discuss the contributions made by the articles in this thematic symposium. (shrink)

The claim that everyone ought to be treated with respect is a familiar and widely accepted prescription in recent moral philosophy, often expressed as a principle of ‘respect for persons.’ I argue that this principle need not be justified by a claim that every person possesses some feature – dignity, autonomy, value, or the like – that makes her worthy of respect. There is abundant conceptual space within many approaches to moral philosophy, including a Kantian approach, to affirm a duty (...) of respect for all persons, while denying that the duty is justified by the respect-worthiness of every person. (shrink)

Many UK public companies invest considerable resources in charitable donations and community involvement. Using semi‐structured interviews with public company officers, the author sought to investigate the motivations behind this activity. Was it undertaken because of an expectation of commercial benefit, out of a sense of obligation, or for other reasons? It appeared that public companies were increasingly anxious to make connections between corporate activity in the community and business activities. Public companies linked with local communities clearly felt a sense of (...) connection with them. Corporate officers were constantly dealing with the management of reputation, which was seen as a valuable business asset, and community links made this task easier. (shrink)