Debates about the semantics and pragmatics of predicates of personal taste have largely centered on contextualist and relativist proposals. In this paper, I argue in favor of an alternative, absolutist analysis of PPT. Theorists such as Max Kölbel and Peter Lasersohn have argued that we should dismiss absolutism due to its inability to accommodate the possibility of faultless disagreement involving PPT. My aim in the paper is to show how the absolutist can in fact accommodate this possibility by drawing on (...) an account of faultless disagreement that improves upon a recent proposal due to Karl Schafer. In amending Schafer’s proposal, I put forward an empirically informed view of our beliefs regarding matters of personal taste, as well as an account of our assertions concerning such matters. I also argue that absolutists should take disagreement about these matters to be conative, rather than doxastic, in nature. The anticipated result is an independently compelling account of faultless disagreement about matters of personal taste that fits naturally with absolutism. (shrink)

The Anthropocene is a radical reconceptualisation of the relationship between humanity and nature. It posits that we have entered a new geological epoch in which the human species is now the dominant Earth-shaping force, and it is rapidly gaining traction in both the natural and social sciences. This article critically explores the scientific representation of the concept and argues that the Anthropocene is less a scientific concept than the ideational underpinning for a particular worldview. It is paradigm dressed as epoch. (...) In particular, it normalises a certain portion of humanity as the ‘human’ of the Anthropocene, reinserting ‘man’ into nature only to re-elevate ‘him’ above it. This move promotes instrumental reason. It implies that humanity and its planet are in an exceptional state, explicitly invoking the idea of planetary management and legitimising major interventions into the workings of the earth, such as geoen-gineering. I conclude that the scientific origins of the term have diminished its radical potential, and ask whether the concept's radical core can be retrieved. (shrink)

On a traditional view, the primary role of a mathematical proof is to warrant the truth of the resulting theorem. This view fails to explain why it is very often the case that a new proof of a theorem is deemed important. Three case studies from elementary arithmetic show, informally, that there are many criteria by which ordinary proofs are valued. I argue that at least some of these criteria depend on the methods of inference the proofs employ, and that (...) standard models of formal deduction are not well-equipped to support such evaluations. I discuss a model of proof that is used in the automated deduction community, and show that this model does better in that respect. (shrink)

A Correction to this paper has been published: 10.1007/s11229-021-03266-6.

Paul Cohen’s method of forcing, together with Saul Kripke’s related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mathematical logic, from set theory and model theory to constructive and categorical logic. Here, I argue that forcing also has a place in traditional Hilbert-style proof theory, where the goal is to formalize portions of ordinary mathematics in restricted axiomatic theories, and study those theories in constructive or syntactic terms. I will discuss the aspects (...) of forcing that are useful in this respect, and some sample applications. The latter include ways of obtaining conservation results for classical and intuitionistic theories, interpreting classical theories in constructive ones, and constructivizing model-theoretic arguments. (shrink)

A notion called Herbrand saturation is shown to provide the model-theoretic analogue of a proof-theoretic method, Herbrand analysis, yielding uniform model-theoretic proofs of a number of important conservation theorems. A constructive, algebraic variation of the method is described, providing yet a third approach, which is finitary but retains the semantic flavor of the model-theoretic version.

Intellectualism is the widespread view that practical reason is a species of theoretical reason, distinguished from others by its objects: reasons to act. I argue that if practical reason is a species of theoretical reason, practical judgments by nature have nothing to do with action. If they have nothing to do with action, I cannot act from my representation of reasons for me to act. If I cannot act from those representations, those reasons cannot exist. If they cannot exist, neither (...) can a species of theoretical reason about them. Intellectualism is thus self-undermining. (shrink)

The possibility of error conditions the possibility of normative principles. I argue that extant interpretations of this condition undermine the possibility of normative principles for our action because they implicitly treat error as a perfection of an action. I then explain how a constitutivist metaphysics of capacities explains why error is an imperfection of an action. Finally, I describe and defend the interpretation of the error condition which follows.

In 1837, Dirichlet proved that there are infinitely many primes in any arithmetic progression in which the terms do not all share a common factor. We survey implicit and explicit uses ofDirichlet characters in presentations of Dirichlet’s proof in the nineteenth and early twentieth centuries, with an eye toward understanding some of the pragmatic pressures that shaped the evolution of modern mathematical method.

In The Metaphysics of Truth, Doug Edwards offers a sustained case against deflationism about truth and in favour of his preferred pluralist theory of truth. Here, I take up three of the main components of that case. The first is Edwards' account of the distinctive metaphysical commitments of deflationism. His views about this issue have changed over the past few years, and I detail these changes as well as a concern for the views that he develops in the book. Second, (...) I take up the argument that Edwards offers for thinking that deflationism is, in a certain sense, internally unstable. I explain why this argument is inconclusive, outlining three responses to it on behalf of the deflationist. Third, I consider Edwards' novel argument for truth pluralism, which acts as an indirect argument against deflationism. After sorting out some interpretive nuances related to the use of definite descriptions in this argument, I show how the deflationist can resist it. Having responded to Edwards' critique of deflationism, I close by briefly explaining why I take the methodology of deflationism to be especially promising, insofar as it underscores the significance of empirically-informed inquiry about truth. (shrink)

This volume brings together a wide-ranging collection of the papers written by Jeremy Waldron, one of the most internationally respected political theorists writing today. The main focus of the collection is on substantive issues in modern political philosophy. The first six chapters deal with freedom, toleration and neutrality and argue for a robust conception of liberty. Waldron defends the idea that people have a right to act in ways others disapprove of, and that the state should be neutral vis-á-vis (...) religious and ethical systems. The chapters that follow are concerned with socio-economic rights. Waldron argues that poverty and homelessness are not to be understood apart from the value of freedom. On the contrary our moral response to them should be based on the same values that underlie traditional liberal philosophy. (shrink)

An enduring theme of Western philosophy is that we are all one another’s equals. Yet the principle of basic equality is woefully under-explored in modern moral and political philosophy. What does it mean to say we are all one another’s equals? Jeremy Waldron confronts this question fully and unflinchingly in a major new multifaceted account.

Currently the dominant interpretation of Hobbes in the field of moral and political philosophy is as a social contract theorist: that he legitimates moral rules and sovereign power by arguing that we would agree we are better off obeying a sovereign than living in a state of nature, and that we are best off if that sovereign is an absolute monarch. There are interesting alternatives to this reading of Hobbes—Warrender’s divine-command interpretation and Boonin-Vail’s virtue theory interpretation, to name just two—but (...) it is not my purpose here to debate their relative merits. Rather, I want to comment on one of the main features of the social contract view, namely, the means of maintaining political stability. (shrink)

Most studies on climate change response have examined reductions in greenhouse gas (GHG) emissions. Yet these studies do not take into account ecosystem services constraints and biophysical disruptions wrought by climate change that may require broader types of response. By studying a firm in the wine industry and using a research approach not constrained by structured methodologies or biased toward GHG emissions, the findings suggest that both “inside out” and “outside in” actions are taken in response to climate change. While (...) attempts are made by the firm to curtail and reverse climate change through management of carbon emissions, evidence suggests a clear pattern of actions designed to adjust to the adverse consequences of climate change as well. The results both confirm and extend previous findings and suggest that the level and breadth of response to climate change is shaped by situated attention, structural controls, and industry type. (shrink)

Political Imaginaries in Question Content Type Journal Article Pages 5-11 Authors Suzi Adams, School of Social and Policy Studies, Flinders University, Adelaide, Australia Jeremy C. A. Smith, School of Education and Arts, University of Ballarat, Victoria, Australia Ingerid S. Straume, University of Oslo Library, University of Oslo, Norway Journal Critical Horizons: A Journal of Philosophy & Social Theory Online ISSN 1568-5160 Print ISSN 1440-9917 Journal Volume Volume 13 Journal Issue Volume 13, Number 1 / 2012.

Having the emotion of pride requires taking oneself to stand in some special relation to the object of pride. According to agency accounts of this pride relation, the self and the object of pride are suitably related just in case one is morally responsible for the existence or excellence of the object of one's pride. I argue that agency accounts fail. This argument provides a strong prima facie defence of an alternate account of pride, according to which the self and (...) the object of pride are suitably related just in case one's relation to the object of pride indicates that one's life accords with some of one's personal ideals. I conclude that the pride relation, though distinct from the relation of moral responsibility, is nonetheless a relation of philosophical interest that merits further attention. (shrink)

We discuss the legacy of Alan Turing and his impact on computability and analysis.

Workplace ethics perceptions drive ethical behaviors, but our understanding of how context shapes the nature of this relationship is limited. Consequently, this article uses contingency theory to explore how perceptions of ethical priorities in the workplace—ethical work climate (EWC)—are differentially associated with ethical behavior based on the broader context. Specifically, we meta-analytically test theoretically relevant cultural values (i.e., collectivism, power distance) and work context factors (i.e., consequence of errors, job autonomy) as moderators of the connection between EWC perceptions and ethical (...) behavior. Our findings reveal that while higher power-distance societal contexts strengthen the connection between EWC perceptions and ethical behavior, work contexts with higher autonomy _weaken_ the connection. We found mixed support for collectivism as a contextual moderator, with results supporting theoretical expectations with one cultural conceptualization but not another. Contrary to expectations, the consequences of errors in work contexts did not moderate the association between EWC perceptions and ethical behavior. Taken together, this meta-analytic investigation highlights the meaningful role of the broader organizational context as a potential boundary condition for the influence of EWC perceptions on ethical behavior. (shrink)

We describe a formalization of asymptotic O notation using the Isabelle/HOL proof assistant.

An approach to ordinal analysis is presented which is finitary, but highlights the semantic content of the theories under consideration, rather than the syntactic structure of their proofs. In this paper the methods are applied to the analysis of theories extending Peano arithmetic with transfinite induction and transfinite arithmetic hierarchies.

According to the Furstenberg-Zimmer structure theorem, every measure-preserving system has a maximal distal factor, and is weak mixing relative to that factor. Furstenberg and Katznelson used this structural analysis of measure-preserving systems to provide a perspicuous proof of Szemer\'edi's theorem. Beleznay and Foreman showed that, in general, the transfinite construction of the maximal distal factor of a separable measure-preserving system can extend arbitrarily far into the countable ordinals. Here we show that the Furstenberg-Katznelson proof does not require the full strength (...) of the maximal distal factor, in the sense that the proof only depends on a combinatorial weakening of its properties. We show that this combinatorially weaker property obtains fairly low in the transfinite construction, namely, by the $\omega^{\omega^\omega}$th level. (shrink)

The paper proposes with Davidson that the talk of metaontology is literally meaningless, but with Wittgenstein that it is so in a way that grants a unique type of insight. More specifically, it argues both that Davidson’s arguments have a cogency that is hard to dismiss, and also that, since his own arguments are metaontological, they are self-referential, and consequently in turn undermine their own meaning as well. The paper argues further that metaontological statements cannot be avoided. Consequently, this kind (...) of statement constitutes an unavoidable self-referential paradox that means what it also excludes as capable of meaning. The result is a reinstatement of the meaning of ontological insight and in fact, the paper argues, a deep enrichment and also a particularly cogent justification of it. In addition, the logical peculiarity of the paradox involved has further useful consequences for the outcome of this justification, including a mutually illuminating commonality with some versions of metaethics. (shrink)

This study examined the drivers of climate change innovations and the effects of these innovations on firm outcomes in a sample of 203 firms in the South Australian wine cluster. The results of structural equation modeling analysis suggest that absorptive capacity has a direct effect on climate change innovations, and stimulates knowledge exchanges between firms in the cluster. KEs between firms in the cluster in turn directly affect the climate change innovations. The findings suggest a perhaps counterintuitive interrelationship between firm- (...) and cluster-level impacts, in which KEs between firms in the cluster play a partial mediating role in the innovation process. The study further finds that climate change innovations are related to firm performance and reductions in greenhouse gases : mitigative innovations lead to greater GHG reductions while adaptive innovations impact on FP. Contributions of the findings are discussed, as are future research directions. (shrink)

Deacon’s approach to resolving mechanism/semiotic duality exemplifies an innovative methodology for imposing greater rigor on abductive assumptions in biosemiotics and beyond. His approach specifies interpretive agents and their responsive effort as the categories of phenomena to be explained. Implicit in his approach are five standards for imposing greater rigor on abduction or categorization, here named and described by the author.

Many bioethicists view the primary task of bioethics as ‘value clarification’. In this article, I argue that the field must embrace two more ambitious agendas that go beyond mere clarification. The first agenda, critique, involves unmasking, interrogating, and challenging the presuppositions that underlie bioethical discourse. These largely unarticulated premises establish the boundaries within which problems can be conceptualized and solutions can be imagined. The function of critique, then, is not merely to clarify these premises but to challenge them and the (...) boundaries they define. The second agenda, integration, involves honoring and unifying what is right in competing values. Integration is the morally ideal response to value conflict, offering the potential for transcending win/lose outcomes. The function of integration, then, is to envision actions or policies that not only resolve conflicts, but that do so by jointly realizing many genuine values in deep and compelling ways. My argument proceeds in stages. After critically examining the role and dominant status of value clarification in bioethical discourse, I describe the nature and value of the two agendas, identify concrete examples of where each has been and could be successful, and explain why a critical integrative bioethics – one that appreciates the joint necessity and symbiotic potential of the two agendas – is crucial to the future of the field. The ultimate goal of all of this is to offer a more compelling vision for how bioethics might conduct itself within the larger intellectual and social world it seeks to understand and serve. (shrink)

Parmenides of Elea Parmenides of Elea was a Presocratic Greek philosopher. As the first philosopher to inquire into the nature of existence itself, he is incontrovertibly credited as the “Father of Metaphysics.” As the first to employ deductive, a priori arguments to justify his claims, he competes with Aristotle … Continue reading Parmenides →.

Given a sequence of sets An⊆{0,…,n−1}, the Furstenberg correspondence principle provides a shift-invariant measure on2N that encodes combinatorial information about infinitely many of the An's. Here it is shown that this process can be inverted, so that for any such measure, ergodic or not, there are finite sets whose combinatorial properties approximate it arbitarily well. The finite approximations are obtained from the measure by an explicit construction, with an explicit upper bound on how large n has to be to yield (...) a sufficiently good approximation. We draw conclusions for computable measure theory, and show, in particular, that given any computable shift-invariant measure on 2N, there is a computable element of 2N that is generic for the measure. We also consider a generalization of the correspondence principle to countable discrete amenable groups, and once again provide an effective inverse. (shrink)

The paper tries to show that when the deepest or foundational aspects of truth are at issue, both consequentially logical argument and rhetoric that aims to establish truth or justified conviction must engage with the being, or the irreplaceable particularity, of its audience’s members and also that of the arguer, what we refer to in ordinary language as who the person is. Beyond the existing discussion of existential rhetoric, the paper argues that this engagement with being is necessary to establish (...) not only truth that directly concerns or turns on the arguer’s and audience’s being, but also truth or justification about fundamental aspects of things and issues in general. Further, the address of being requires us to suspend both our own and our addressees’ familiar conceptual frameworks in order to allow being to emerge in its own terms. As a result, in contrast with our usual understanding of argumentation, the rhetorician’s initial aim and procedure will be to achieve a genuine suspension of conviction and even of the appropriate concepts under which to proceed, and so to produce a fundamental confusion. The paper then outlines some consequences for rhetoric and reasoning and also the structure of the process of working with this fundamental confusion. (shrink)

It is a challenge in teaching early modern philosophy to balance historical faithfulness to the arguments and concerns of early modern philosophers and interpreting them as relevant to the kinds of thinking that contemporary undergraduate students find plausible. Early modern philosophy is unique, however, in applying modern scientific method directly to problems concerning nonphysical aspects of reality that our contemporary scientific thought, and with it mainstream contemporary culture, no longer find amenable in their own, independent right to reliable reasoned approaches. (...) At the same time, early modern philosophy often also takes seriously purely conceptual or logically consequential thought in the investigation of these topics, as our mainstream contemporary culture does not. This kind of thought, we argue, is distinctive of philosophy in general and appropriate to nonphysical aspects of reality. Early modern philosophy, then, offers a bridge between the kind of reasoned, objective thought our mainstream culture finds plausible and thought about nonphysical reality or, in general, the thought that characterizes philosophy. (shrink)

This paper asks how we should regard the laws and customs of armed conflict, and specifically the rule prohibiting the targeting of civilians. What view should we take of the moral character and significance of such rules? Some philosophers have suggested that they are best regarded as useful conventions. This view is sometimes motivated by a "deep moral critique" of the rule protecting civilians: Jeff McMahan believes for example that the existing rules protect some who ought to be liable to (...) attack (on account of their having voluntarily contributed to the injustice or aggression being resisted). He thinks we would be better off with a different principle of discrimination in warfare. But McMahan acknowledges that for the time being we must stick with the rules that we have. The present paper does five things: (1) it explores and takes further some of McMahan's insights about the importance of existing positive law in this area; (2) it argues that some of the features that philosophers find problematic with the rule offering blanket protection to all civilians have to do with administrability; (3) it raises some questions about whether the rule protecting civilians can really be regarded as a convention (and it argues that certainly it cannot be regarded as a "Lewis-convention" in a strict sense); (4) to the extent that the rule can be regarded as conventional, the paper argues that it remains a deadly serious moral rule, partly because of the circumstances of death and destruction in which it operates and which it tries to ameliorate, and partly on account of its fragility. The fifth point is the most important. (5) The rule protecting civilians does not operate in circumstances in which, apart form positive law, civilians like everyone would be liable to attack. The rule operates against a moral background in which all deliberate killing is to be regarded as murder; some deliberate killings (of combatants) are privileged in warfare; but the rule about civilians reflects the fact that this is a strictly limited privilege and that those who target civilians do not get the benefit of it. Changing our view of the default position in this way enables us to better understand the distinctive work that this rule does. (shrink)

Four classes of naturally rare vascular plant species are described and classified, based on parameters of spatial distribution and longevity. Properties intrinsic to these time/space parameters are explored and an importance hierarchy of causes of rarity is proposed for each class. These hierarchies serve as the basis for a predictive classification. Human causes of rarity such as habitat destruction and taxonomic difficulties are not considered in detail here but are discussed as confounding factors in the elucidation of rarity in vascular (...) plants. Several examples are provided to illustrate this classification and provide testable hypotheses concerning the origins of natural rarity in plant species. (shrink)

For 15 years, former assistant football coach Jerry Sandusky used his Penn State University perquisites to lure young and fatherless boys by offering them special access to one of the most revered football programs in the country. He repeatedly used the football locker room as a space to groom, molest, and rape his victims. In February 2001, an eye-witness alerted Penn State’s top leaders that Sandusky was caught sexually assaulting a young boy in the showers. Instead of taking swift action (...) against Sandusky, leaders began a cover-up that is considered one of the worst scandals in sports history. While public outcry has focused on the leaders’ silence, we focus on the talk that occurred within the organization by key personnel. Drawing from court documents and internal investigative reports, we examine two euphemism clusters that unfolded in the scandal. The first cluster comprises reporting euphemisms, in which personnel used coded language to report the assault up the chain of command. The second cluster comprises responding euphemisms, in which Penn State’s top leaders relied on an innocuous, but patently false, interpretation of earlier euphemisms as a decision-making framework to chart their course of action. We use this case to demonstrate how euphemistic language impairs ethical decision-making, particularly by framing meaning and visibility of acts, encouraging mindless processing of moral considerations, and providing a shield against psychological and material consequences. Further, we argue that euphemism may serve as a disguised retort to critical upward communication in organizations. (shrink)

What are the opportunities for the maximum happiness, greatest satisfaction, and fulfilment of all in the business organisation? What quality of life can we have at work?

We describe a general method for verifying inequalities between real-valued expressions, especially the kinds of straightforward inferences that arise in interactive theorem proving. In contrast to approaches that aim to be complete with respect to a particular language or class of formulas, our method establishes claims that require heterogeneous forms of reasoning, relying on a Nelson-Oppen-style architecture in which special-purpose modules collaborate and share information. The framework is thus modular and extensible. A prototype implementation shows that the method is promising, (...) complementing techniques that are used by contemporary interactive provers. (shrink)

By the middle of the nineteenth century, it had become clear to mathematicians that the study of finite field extensions of the rational numbers is indispensable to number theory, even if one’s ultimate goal is to understand properties of diophantine expressions and equations in the ordinary integers. It can happen, however, that the “integers” in such extensions fail to satisfy unique factorization, a property that is central to reasoning about the ordinary integers. In 1844, Ernst Kummer observed that unique factorization (...) fails for the cyclotomic integers with exponent 23, i.e. the ring Z[ζ] of integers of the field Q(ζ), where ζ is a primitive twenty-third root of unity. In 1847, he published his theory of “ideal divisors” for cyclotomic integers with prime exponent. This was to remedy the situation by introducing, for each such ring of integers, an enlarged domain of divisors, and showing that each integer factors uniquely as a product of these. He did not actually construct these integers, but, rather, showed how one could characterize their behavior qua divisibility in terms of ordinary operations on the associated ring of integers. (shrink)

Let B be a p-uniformly convex Banach space, with p≥2. Let T be a linear operator on B, and let Anx denote the ergodic average ∑i.

V’yugin has shown that there are a computable shift-invariant measure on $2^{\mathbb{N}}$ and a simple function $f$ such that there is no computable bound on the rate of convergence of the ergodic averages $A_{n}f$ . Here it is shown that in fact one can construct an example with the property that there is no computable bound on the complexity of the limit; that is, there is no computable bound on how complex a simple function needs to be to approximate the (...) limit to within a given $\varepsilon$. (shrink)

The article argues that there is a central problem with the concept of public philosophy, in that philosophy is partly defined by questioning reflection on its own sense, while public or popular culture characteristically relies unreflectively on its ultimate givens, and these are mutually exclusive modes of thought. The article proposes, however, that because of philosophy’s reflection on and potential questioning of its own sense it has a paradoxical structure of foundational and comprehensive conflict with itself and its own procedure, (...) and that this self-divergence allows a genuinely philosophical role for public philosophy. In the public context, acknowledged failure to understand beyond a certain point makes room for a limitation of sense that incompletely but effectively substitutes for the properly philosophical explicit and questioning reflection on the nature of sense as such and on the possibility that even what we do understand about the relevant issues fails to have sense. (shrink)

While social epistemology is a diverse field, much of it still understands knowledge as an individual status—albeit an individual status that crucially depends on various social factors (such as testimony). Further, the literature on group knowledge until now has primarily focused on limited, specialized groups that may be said to know this or that as a group. I wish to argue, to the contrary, that all knowledge-attributions ascribe a collective status; and that this follows more or less directly from an (...) essential function of entitlement-ascriptions: Ascriptions of knowledge and entitlement serve a primarily social function in that they facilitate coordination by maintaining consensus around true beliefs, true theories, and truth-producing methodologies. This conclusion will shed light on ways in which traditional theories of knowledge (such as foundationalism and coherentism) fail to capture a central function of our epistemic practice. (shrink)