Precision livestock farming promises to allow modern, large-scale farms to replicate, at scale, caring farmers who know their animals. PLF refers to a suite of technologies, some only speculative. The goal is to use networked devices to continuously monitor individual animals on large farms, to compare this information to expected norms, and to use algorithms to manage individual animals automatically. Supporters say this could not only create an artificial version of the partially mythologized image of the good steward caring for (...) his or her animals, but to also improve on it. As one paper in favor of PLF has said, “We can not only replace the farmer’s ‘eyes and ears’ to each individual animal as in the past, but several other variables will soon be measurable in practice” Livestock production and society, Wageningen Academic Publishers, Wageningen, pp 287–292, 2006). Yet these methods of monitoring and control raise a host of ethical issues, including alienation of laborers, further consolidation of farms, and further cover for meat consumption. In this paper, I will address these ethical issues, and suggest a different, under-examined concern: namely, that though PLF may indeed improve the lives of livestock, and the sustainability of livestock operations, it is possible that it will do so at the cost of a loss of identity and relationships for farmers, as well as for the animals in their charge. (shrink)

The invention of computer simulations used for practicing surgical maneuvers in a video game-like format has an ancestry in the artificial limbs of history and is reflected, grotesquely, in Edgar Allan Poe’s short story, “The Man That Was Used Up” (1850). The nineteenth century worked to ensure that the incomplete body did indeed retain a sense of self by creating prostheses to mimic corporeal wholeness. Our present-day technology seems intent on doing precisely the opposite, deliberately fragmenting the body and challenging (...) our understanding of the body and the prosthetic. (shrink)

Patrizia Pedrini | : In this paper, I argue that paradigmatic-state accounts of self-deception suffer from a problem of restrictedness that does not do justice to the complexities of the phenomenon. In particular, I argue that the very search for a paradigmatic state of self-deception greatly overlooks the dynamic dimension of the self-deceptive process, which allows the inclusion of more mental states than paradigmatic-state accounts consider. I will discuss the inadequacy of any such accounts, and I will argue that we (...) should replace them with a dynamic view of self-deception that is more liberal regarding the mental states in which self-deceivers may find themselves. | : Dans cet article, je soutiens que les explications de l’auto-illusion en termes d’un état « paradigmatique » souffrent d’un problème de limitation qui ne rend pas justice à la complexité du phénomène. Plus précisément, j’avance que la recherche même d’un état paradigmatique néglige tout à fait la dimension dynamique du processus d’auto-illusion, de sorte à inclure davantage d’états mentaux que ne le font les explications en termes d’un état paradigmatique. Après avoir démontré l’insuffisance de ces dernières, je proposerai que nous devrions les remplacer par une conception dynamique de l’auto-illusion qui serait plus flexible quant aux états mentaux potentiellement vécus par des personnes sous l’emprise de l’auto-illusion. (shrink)

Singer’s much-discussed replaceability argument states that non-self-conscious animals may be killed and replaced by new animals that will lead equally valuable lives. If sound, this argument can be used to justify the cycle of raising and killing animals for food. Thus, many have argued that Singer’s theory, and utilitarianism in general, while committed to this argument, offers inadequate protection to animals. However, some utilitarians reject the argument and Singer himself was rather tentative in preventing its additional application to self-conscious beings. (...) This tension, within utilitarianism, about how to best deal with the argument is the core of what I call ‘the problem of replaceability’. My main goal here is to provide a precise description of this problem. Firstly, I distinguish between the general question of replacement permissibility and the specific question of whether (a certain version of) utilitarianism implies the replaceability argument. Focusing on the specific question I set the problem apart from other known objections to utilitarianism, like the value receptacles objection and some replacement-like difficulties. I also compare two versions of the replaceability argument and advance a better one. Finally, I point out how different interpretations of the argument affect the way out of the problem. I hope this understanding of the problem offers helpful insight to possible solutions and to further investigate its importance to animal food production and animals’ moral status. (shrink)

PRECISELY BECAUSE OF ITS RICHNESS, Richard's Rorty's latest book evokes the question: Is there any relation between the three components of its title, Contingency, Irony and Solidarity?

Alvin Plantinga has recently turned his attention to materialism. More precisely, he has turned his attention to the thesis that philosophers of mind call materialism.[i] This thesis can be variously formulated. In this essay, I will take “materialism” to be the conjunction of the following two theses.

Consideration is given to recent attempts to solve the objectification problem of quantum mechanics by considering nonlinear and stochastic modifications of Schrödinger's evolution equation. Such theories agree with all predictions of standard quantum mechanics concerning microsystems but forbid the occurrence of superpositions of macroscopically different states. It is shown that the appropriate interpretation for such theories is obtained by replacing the probability densities of standard quantum mechanics with mass densities in real space. Criteria allowing a precise characterization of the (...) idea of similarity and difference of macroscopic situations are presented and it is shown how they lead to a theoretical picture which is fully compatible with a macrorealistic position about natural phenomena. (shrink)

Problems for 'precise replacements' as a way out of sorites paradoxes.

On swizzle sticks, sorites paradoxes, and precise replacements.

What I hope to show here is that the costs of taking sorites arguments seriously, in particular the costs with respect to hopes for precise replacement are significantly greater than proponents of sorites arguments have estimated.

'Precise replacements' for ordinary terms such as 'swizzle stick,' proposed by Unger and Quine, won't escape sorites arguments so easily.

The standard semantic definition of consequence with respect to a selected set X of symbols, in terms of truth preservation under replacement (Bolzano) or reinterpretation (Tarski) of symbols outside X, yields a function mapping X to a consequence relation ⇒x. We investigate a function going in the other direction, thus extracting the constants of a given consequence relation, and we show that this function (a) retrieves the usual logical constants from the usual logical consequence relations, and (b) is an inverse (...) to—more precisely, forms a Galois connection with—the Bolzano-Tarski function. (shrink)

We characterize, more precisely than before, what Rawls calls the “analytical” method of drawing up a list of basic liberties. This method employs one or more general conditions that, under any just social order whatever, putative entitlements must meet for them to be among the basic liberties encompassed, within some just social order, by Rawls’s first principle of justice (i.e., the liberty principle). We argue that the general conditions that feature in Rawls’s own account of the analytical method, which employ (...) the notion of necessity, are too stringent. They ultimately fail to deliver as basic certain particular liberties that should be encompassed within any fully adequate scheme of liberties. To address this under-generation problem, we provide an amended general condition. This replaces Rawls’s necessity condition with a probabilistic condition and it appeals to the standard liberal prohibition on arbitrary coercion by the state. We defend our new approach both as apt to feature in applications of the analytical method and as adequately grounded in justice as fairness as Rawls articulates the theory’s fundamental ideas. (shrink)

In Tyranny of the Gene: Personalized Medicine and Its Threat to Public Health (Knopf, 2023), James Tabery traces the ascendance of personalized or precision medicine in America, arguing that America's emphasis on genetics offers more hype than transformational power. In his examination of the power struggles, social relationships, and technological advances that centered the gene in American health policy, Tabery demonstrates how an intensive focus on genetics draws attention away from both the fundamental causes of health disparities and more‐effective changes (...) that could be made to developmental, physical, and social environments. American policy‐makers, health care institutions, funders, and bioethicists should not let the technological shine and attractive politics of personalized medicine continue to replace the hard but necessary work of addressing sociopolitical causes of disease and illness. (shrink)

The founder of modern linguistics, Ferdinand de Saussure inaugurated semiology, structuralism, and deconstruction and made possible the work of Jacques Derrida, Roland Barthes, Michel Foucault, and Jacques Lacan, thus enabling the development of French feminism, gender studies, New Historicism, and postcolonialism. Based on Saussure's lectures, _Course in General Linguistics_ (1916) traces the rise and fall of the historical linguistics in which Saussure was trained, the synchronic or structural linguistics with which he replaced it, and the new look of diachronic linguistics (...) that followed this change. Most important, Saussure presents the principles of a new linguistic science that includes the invention of semiology, or the theory of the "signifier," the "signified," and the "sign" that they combine to produce. This is the first critical edition of _Course in General Linguistics_ to appear in English and restores Wade Baskin's original translation of 1959, in which the terms "signifier" and "signified" are introduced into English in this precise way. Baskin renders Saussure clearly and accessibly, allowing readers to experience his shift of the theory of reference from mimesis to performance and his expansion of poetics to include all media, including the life sciences and environmentalism. An introduction situates Saussure within the history of ideas and describes the history of scholarship that made _Course in General Linguistics_ legendary. New endnotes enlarge Saussure's contexts to include literary criticism, cultural studies, and philosophy. (shrink)

Bayesian epistemology addresses epistemological problems with the help of the mathematical theory of probability. It turns out that the probability calculus is especially suited to represent degrees of belief (credences) and to deal with questions of belief change, confirmation, evidence, justification, and coherence. Compared to the informal discussions in traditional epistemology, Bayesian epis- temology allows for a more precise and fine-grained analysis which takes the gradual aspects of these central epistemological notions into account. Bayesian epistemology therefore complements traditional epistemology; (...) it does not re- place it or aim at replacing it. (shrink)

The link between the high-order metaphysics and abstractions, on the one hand, and choice in the foundation of set theory, on the other hand, can distinguish unambiguously the “good” principles of abstraction from the “bad” ones and thus resolve the “bad company problem” as to set theory. Thus it implies correspondingly a more precise definition of the relation between the axiom of choice and “all company” of axioms in set theory concerning directly or indirectly abstraction: the principle of abstraction, (...) axiom of comprehension, axiom scheme of specification, axiom scheme of separation, subset axiom scheme, axiom scheme of replacement, axiom of unrestricted comprehension, axiom of extensionality, etc. (shrink)

This paper discusses some issues concerning the definition of moral virtue in Nicomachean Ethics 1106b 36- 1107a 2. It is reasonable to expect from a definition the complete enumeration of the relevant features of its definiendum, but the definition of moral virtue seems to fail in doing this task. One might be tempted to infer that this definition is intended by Aristotle as a mere preliminary account that should be replaced by a more precise one. The context of the (...) argument Aristotle develops in Book II of his NE give us some help. I argue that the definition of moral virtue, once considered in the light of its context, is far from being an incomplete and provisional account: it rather introduces coherently the same notion of moral virtue that Aristotle employs in other texts (as in Nicomachean Ethics VI 13). My main proposal is that the way in which "hexis" is understood in the context of previous chapters allows Aristotle to encode in it the notion of an ability to do the right things regularly. Thus, moral virtue is a "hexis prohairetike etc.", but the ability to do the right things regularly is already encoded in the occurrence of "hexis" in the definiens account of moral virtue, as if Aristotle meant "hexis [praktike] prohairetike". (shrink)

This paper examines the state of the field of “science and values”—particularly regarding the implications of the thesis of transient underdetermination for the ideal of value-free science, or what I call the “ideal of epistemic purity.” I do this by discussing some of the main arguments in the literature, both for and against the ideal. I examine a preliminary argument from transient underdetermination against the ideal of epistemic purity, and I discuss two different formulations of an objection to this argument—an (...) objection that requires the strict separation of the epistemic from the practical. A secondary aim of the paper is to suggest some future directions for the field, one of which is to replace the vocabulary of values that is often employed in the literature with a more precise one. (shrink)

The usual meaning of the word continuous is “unbroken” or “uninterrupted”: thus a continuous entity —a continuum—has no “gaps.” We commonly suppose that space and time are continuous, and certain philosophers have maintained that all natural processes occur continuously: witness, for example, Leibniz's famous apothegm natura non facit saltus—“nature makes no jump.” In mathematics the word is used in the same general sense, but has had to be furnished with increasingly precise definitions. So, for instance, in the later 18th (...) century continuity of a function was taken to mean that infinitesimal changes in the value of the argument induced infinitesimal changes in the value of the function. With the abandonment of infinitesimals in the 19th century this definition came to be replaced by one employing the more precise concept of limit. (shrink)

This collection of essays explores the metaphysical thesis that the living world is not made up of substantial particles or things, as has often been assumed, but is rather constituted by processes. The biological domain is organised as an interdependent hierarchy of processes, which are stabilised and actively maintained at different timescales. Even entities that intuitively appear to be paradigms of things, such as organisms, are actually better understood as processes. Unlike previous attempts to articulate processual views of biology, which (...) have tended to use Alfred North Whitehead’s panpsychist metaphysics as a foundation, this book takes a naturalistic approach to metaphysics. It submits that the main motivations for replacing an ontology of substances with one of processes are to be found in the empirical findings of science. Biology provides compelling reasons for thinking that the living realm is fundamentally dynamic, and that the existence of things is always conditional on the existence of processes. The phenomenon of life cries out for theories that prioritise processes over things, and it suggests that the central explanandum of biology is not change but rather stability, or more precisely, stability attained through constant change. This edited volume brings together philosophers of science and metaphysicians interested in exploring the consequences of a processual philosophy of biology. The contributors draw on an extremely wide range of biological case studies, and employ a process perspective to cast new light on a number of traditional philosophical problems, such as identity, persistence, and individuality. (shrink)

An early work in which Baudrillard became Baudrillard. When Fatal Strategies was first published in French in 1983, it represented a turning point for Jean Baudrillard: an utterly original, and for many readers, utterly bizarre book that offered a theory as proliferative, ecstatic, and hallucinatory as the postmodern world it endeavored to describe. Arguing against the predetermined outcomes of dialectical thought with his renowned, wry, ambivalent passion, with this volume Jean Baudrillard mounted an attack against the “false problems” posed by (...) Western philosophy. If his Marxist days were firmly behind him, Baudrillard here indicated that metaphysics had also gone the way of sociology and politics: the contemporary world demanded nothing less than Pataphysics, Alfred Jarry's absurdist philosphy that described the laws of the universe supplementary to this one. In effect, with Fatal Strategies, Baudrillard became Baudrillard. In his extrapolationist manner, Baudrillard sought to replace Western philosophy's circular arguments with a ritualistic Theater of Cruelty. Using this line of thought developed in Fatal Strategies, Baudrillard went on, throughout the 1980s, to find new and shatteringly accurate ways of discussing American corporatocracy, arms build-up, and hostage taking. Fatal Strategies asserts a profound critique of American politics, and it is an important step towards his examination of evil.Jean Baudrillard was a philosopher, sociologist, cultural critic, and theorist of postmodernity who challenged all existing theories of contemporary society with humor and precision. An outsider in the French intellectual establishment, he was internationally renowned as a twenty-first century visionary, reporter, and provocateur. His Simulations instantly became a cult classic and made him a controversial voice in the world of politics and art. (shrink)

The aim of the paper is this: Instead of presenting a provisional and necessarily insufficient characterization of what mathematical physics is, I will ask the reader to take it just as that, what he or she thinks or believes it is, yet to be prepared to revise his opinion in the light of what I am going to tell. Because this is precisely, what I intend to do. I will challenge some of the received or standard views about mathematical physics (...) and replace them by a more sophisticated picture, which takes into account the methodological and philosophical roots of mathematical physics in Göttingen. (shrink)

In this book, the author develops a new form of structural realism and deals with the problem of representation. The work combines two distinguished developments of the Semantic View of Theories, namely Structural Realism, a flourishing theory from contemporary philosophy of science, and Ronald Giere and colleagues’ Cognitive Models of Science approach. Readers will see how replacing the model-theoretic structures that are at issue in SR with connectionist networks and activations patterns helps us to deal with the problem of representation. (...) The author suggests that cognitive structures are not only the precise formal tools for regimenting the structure of scientific theories but also the tools that the biological brain uses to capture the essential features of its environment. Therefore, replacing model-theoretic structures with cognitive structures allows us to account for the theories-reality relationship on the basis of the most reliable theories of neurology. This is how a new form of SR, called Cognitive Structural Realism is introduced through this book, which articulates and defends CSR, and shows how two diverging branches of SVT can be reconciled. This ground-breaking work will particularly appeal to people who work in the philosophy of science, philosophy of mind and cognitive sciences. (shrink)

This doctoral dissertation is on the semantics of propositional attitude ascriptions. To be more precise, it is mainly concerned with various kinds of analyses of singular propositional attitude ascriptions. These are sentences of the general form 'X Øs that a is F', where 'X' can be replaced by the name of the person who is in the particular mental state, 'Ø' can be replaced by a propositional attitude verb, like 'believe', 'doubt', 'hope', 'desire', etc., 'a' can be replaced by (...) the name of the individual/object about whom/which the particular attitude is held, and 'F' can be replaced by the name of the property that the individual/object is said to have. The dissertation takes belief to be a paradigmatic example of a propositional attitude, and, thus, focuses mainly on the semantics of ascriptions of beliefs. The thesis it defends is that while a correct analysis of belief ascriptions in general involves a relation between the believer and the proposition which is believed, a semantic distinction still needs to be made between de re and de dicto beliefs. This distinction can be made by distinguishing between two different kinds of propositions -- Russellian propositions corresponding to de re beliefs, and Fregean propositions corresponding to de dicto beliefs. This approach is motivated by arguing that the recent proposals of the 'hybrid' type concerning the semantics of belief reports, advocated by such philosophers as Schiffer, Crimmins, Richard, etc., fail. These proposals fail because of overgeneralisation, and, therefore, fail to capture the de re/de dicto distinction. Therefore, if the de re/de dicto distinction is genuine, and the propositions occurring within these two kinds of reports are essentially different, then a single account of belief ascriptions cannot be given. We need two different semantical accounts to capture the distinction. A de re report is best understood by a semantics of the broadly Russellian variety, while a de dicto belief report is best understood by a semantics of the Fregean variety. (shrink)

Hermann Weyl was one of the greatest mathematicians of the 20th century, with contributions to many branches of mathematics and physics. In 1918 he wrote a famous book, “Das Kontinuum”, on the foundations of mathematics. In that book he described mathematical analysis as a ‘house built on sand’, and tried to ‘replace this shifting foundation with pillars of enduring strength’. In this paper we reexamine and explain the philosophical and mathematical ideas that underly Weyl’s system in “Das Kontinuum”, and show (...) that they are still useful and relevant. We propose a precise formalization of that system, which is the first to be completely faithful to what is written in the book. Finally, we suggest that a certain set-theoretical modern system reflects better Weyl’s ideas than previous attempts (most notably by Feferman) of achieving this goal. (shrink)

One of the fundamental problems of epistemology is to say when the evidence in an agent’s possession justifies the beliefs she holds. In this paper and its sequel, we defend the Bayesian solution to this problem by appealing to the following fundamental norm: Accuracy An epistemic agent ought to minimize the inaccuracy of her partial beliefs. In this paper, we make this norm mathematically precise in various ways. We describe three epistemic dilemmas that an agent might face if she (...) attempts to follow Accuracy, and we show that the only inaccuracy measures that do not give rise to such dilemmas are the quadratic inaccuracy measures. In the sequel, we derive the main tenets of Bayesianism from the relevant mathematical versions of Accuracy to which this characterization of the legitimate inaccuracy measures gives rise, but we also show that Jeffrey conditionalization has to be replaced by a different method of update in order for Accuracy to be satisfied. (shrink)

This paper investigates the question of characterizing first-order LFIs (logics of formal inconsistency) by means of two-valued semantics. LFIs are powerful paraconsistent logics that encode classical logic and permit a finer distinction between contradictions and inconsistencies, with a deep involvement in philosophical and foundational questions. Although focused on just one particular case, namely, the quantified logic QmbC, the method proposed here is completely general for this kind of logics, and can be easily extended to a large family of quantified paraconsistent (...) logics, supplying a sound and complete semantical interpretation for such logics. However, certain subtleties involving term substitution and replacement, that are hidden in classical structures, have to be taken into account when one ventures into the realm of nonclassical reasoning. This paper shows how such difficulties can be overcome, and offers detailed proofs showing that a smooth treatment of semantical characterization can be given to all such logics. Although the paper is well-endowed in technical details and results, it has a significant philosophical aside: it shows how slight extensions of classical methods can be used to construct the basic model theory of logics that are weaker than traditional logic due to the absence of certain rules present in classical logic. Several such logics, however, as in the case of the LFIs treated here, are notorious for their wealth of models precisely because they do not make indiscriminate use of certain rules; these models thus require new methods. In the case of this paper, by just appealing to a refined version of the Principle of Explosion, or Pseudo-Scotus, some new constructions and crafty solutions to certain non-obvious subtleties are proposed. The result is that a richer extension of model theory can be inaugurated, with interest not only for paraconsistency, but hopefully to other enlargements of traditional logic. (shrink)

We examine Paul Halmos’ comments on category theory, Dedekind cuts, devil worship, logic, and Robinson’s infinitesimals. Halmos’ scepticism about category theory derives from his philosophical position of naive set-theoretic realism. In the words of an MAA biography, Halmos thought that mathematics is “certainty” and “architecture” yet 20th century logic teaches us is that mathematics is full of uncertainty or more precisely incompleteness. If the term architecture meant to imply that mathematics is one great solid castle, then modern logic tends to (...) teach us the opposite lesson, namely that the castle is floating in midair. Halmos’ realism tends to color his judgment of purely scientific aspects of logic and the way it is practiced and applied. He often expressed distaste for nonstandard models, and made a sustained effort to eliminate first-order logic, the logicians’ concept of interpretation, and the syntactic vs semantic distinction. He felt that these were vague, and sought to replace them all by his polyadic algebra. Halmos claimed that Robinson’s framework is “unnecessary” but Henson and Keisler argue that Robinson’s framework allows one to dig deeper into set-theoretic resources than is common in Archimedean mathematics. This can potentially prove theorems not accessible by standard methods, undermining Halmos’ criticisms. (shrink)

A combination of emerging life support technologies and entrenched organ donation practices are complicating the physician's task of determining death. On the one hand, technologies that support or replace ventilation and circulation may render the diagnosis of death ambiguous. On the other, transplantation of vital organs requires timely and accurate declaration of death of the donor to keep the organs as healthy as possible. These two factors have led to disagreements among physicians and scholars on the precise moment of (...) death. In this article, I suggest that the debate about exactly when a person dies can benefit from distinguishing the strict biological concept of death from the medical standards for determining human death, and I show how an appreciation of the difference between the permanent and irreversible cessation of circulation is helpful in understanding the reasons for the two approaches to determining when death should be declared. (shrink)

In the course of theorising, it can be appropriate to replace one concept—a folk concept, or one drawn from an earlier stage of theorising—with a more precise counterpart. The best-known account of concept replacement is Rudolf Carnap’s ‘explication’. P.F. Strawson famously critiqued explication as a method in philosophy. As the critique is standardly construed, it amounts to the objection that explication is ‘irrelevant’, fails to be ‘illuminating’, or simply ‘changes the subject’. In this paper, I argue that this is (...) an unfair characterisation of Strawson’s critique, spelling out the critique in more detail and showing that, fully understood, it is not undermined by extant responses. In light of both the critique and extant responses, I close by making some substantive comments about what explication can, and cannot, be used to do in philosophy. (shrink)

The founder of modern linguistics, Ferdinand de Saussure inaugurated semiology, structuralism, and deconstruction and made possible the work of Jacques Derrida, Roland Barthes, Michel Foucault, and Jacques Lacan, thus enabling the development of French feminism, gender studies, New Historicism, and postcolonialism. Based on Saussure's lectures, _Course in General Linguistics_ traces the rise and fall of the historical linguistics in which Saussure was trained, the synchronic or structural linguistics with which he replaced it, and the new look of diachronic linguistics that (...) followed this change. Most important, Saussure presents the principles of a new linguistic science that includes the invention of semiology, or the theory of the "signifier," the "signified," and the "sign" that they combine to produce. This is the first critical edition of _Course in General Linguistics_ to appear in English and restores Wade Baskin's original translation of 1959, in which the terms "signifier" and "signified" are introduced into English in this precise way. Baskin renders Saussure clearly and accessibly, allowing readers to experience his shift of the theory of reference from mimesis to performance and his expansion of poetics to include all media, including the life sciences and environmentalism. An introduction situates Saussure within the history of ideas and describes the history of scholarship that made _Course in General Linguistics_ legendary. New endnotes enlarge Saussure's contexts to include literary criticism, cultural studies, and philosophy. (shrink)

This paper starts by investigating Ackermann's interpretation of finite set theory in the natural numbers. We give a formal version of this interpretation from Peano arithmetic (PA) to Zermelo-Fraenkel set theory with the infinity axiom negated (ZF−inf) and provide an inverse interpretation going the other way. In particular, we emphasize the precise axiomatization of our set theory that is required and point out the necessity of the axiom of transitive containment or (equivalently) the axiom scheme of ∈-induction. This clarifies (...) the nature of the equivalence of PA and ZF−inf and corrects some errors in the literature. We also survey the restrictions of the Ackermann interpretation and its inverse to subsystems of PA and ZF−inf, where full induction, replacement, or separation is not assumed. The paper concludes with a discussion on the problems one faces when the totality of exponentiation fails, or when the existence of unordered pairs or power sets is not guaranteed. (shrink)

Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis. In Part One, he applies Scott- Solovay's Boolean-valued models of set theory to analysis by means of complete Boolean algebras of projections. In Part Two, he develops classical analysis including complex analysis in Peano's arithmetic, showing that (...) any arithmetical theorem proved in analytic number theory is a theorem in Peano's arithmetic. In doing so, the author applies Gentzen's cut elimination theorem. Although the results of Part One may be regarded as straightforward consequences of the spectral theorem in function analysis, the use of Boolean- valued models makes explicit and precise analogies used by analysts to lift results from ordinary analysis to operators on a Hilbert space. Essentially expository in nature, Part Two yields a general method for showing that analytic proofs of theorems in number theory can be replaced by elementary proofs. Originally published in 1978. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These paperback editions preserve the original texts of these important books while presenting them in durable paperback editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

The emergence of analytic philosophy has often been seen as inaugurating a linguistic turn in philosophy, a turn with profound anti-metaphysical implications. Metaphysics and epistemology, on this view, were replaced by logic and philosophy of language as forming the basis of philosophy. But if we look at the work of the four founders of analytic philosophy, Frege, Russell, Moore and Wittgenstein, we find metaphysical conceptions at the heart of their endeavours. Frege, for example, regarded numbers and the truth-values as logical (...) objects, and the ontological distinction between concept and object was fundamental to his philosophy. Both Russell and Moore in their early work developed a realist view of propositions, and even when Russell abandoned the metaphysics of propositions in his later work, this was simply replaced by a metaphysics of facts. Wittgenstein, too, in the Tractatus, articulated a raft of theses that seem paradigmatically metaphysical, though their precise status has been controversial. In this paper I outline some of the key metaphysical conceptions of Frege, Russell, Moore and the early Wittgenstein, and explore the connections with their logical views, taking as my main example the problem of relational propositions. I end by addressing the question of the status of the metaphysical statements that Frege and Wittgenstein, in particular, found themselves making. (shrink)

In business ethics journals, Kant’s ethics is often portrayed as overly formalistic, devoid of substantial content, and without regard for the consequences of actions or questions of character. Hence, virtue ethicists ride happily to the rescue, offering to replace or complement Kant’s theory with their own. Before such efforts are undertaken, however, one should recognize that Kant himself wrote a “virtue theory” (Tugendlehre), wherein he discussed the questions of character as well as the teleological nature of human action. Numerous Kant (...) scholars argue that Kant already erected precisely the kind of integrative moral architecture that some of his modern interpreters (while aiming to supersede him) wish to construct. For business ethics, this divergence of scholarly opinion is of crucial importance. It shows first that the standard portrayals of Kant’s ethics in business ethics textbooks—as rigidly deontological, narrowly individualistic, and hence unsuitable for the specific demands of corporate agency—might have to be revised. Second, discussions in the business ethics literature on stakeholder-engagement and managerial decision-making likewise stand to gain from a more nuanced picture of Kant’s moral philosophy. Third, a reassessment of Kant’s ethics with regard to questions of personal character and moral sentiments might also lead to a more favorable view of the relevance of his ethics for managerial practice. Last, but not least, the many current attempts to reconcile Kant’s freedom-oriented philosophy with virtue theories stand to benefit considerably from a better understanding of how Kant himself conceived of one such synthesis between the formal and substantial aspects of morality. This, ultimately, could lead to an important overlapping consensus in the academic literature as to the role and relevance of virtuous conduct in business. (shrink)

This paper proposes new semantics for propositional dynamic logic (PDL), replacing the standard relational semantics. Under these new semantics, program execution is represented as fundamentally deterministic (i.e., functional), while nondeterminism emerges as an epistemic relationship between the agent and the system: intuitively, the nondeterministic outcomes of a given process are precisely those that cannot be ruled out in advance. We formalize these notions using topology and the framework of dynamic topological logic (DTL) (Kremer and Mints in Ann Pure Appl Logic (...) 131:133–158, 2005). We show that DTL can be used to interpret the language of PDL in a manner that captures the intuition above, and moreover that continuous functions in this setting correspond exactly to deterministic processes. We also prove that certain axiomatizations of PDL remain sound and complete with respect to the corresponding classes of dynamic topological models. Finally, we extend the framework to incorporate knowledge using the machinery of subset space logic (Dabrowski et al. in Ann Pure Appl Logic 78:73–110, 1996), and show that the topological interpretation of public announcements as given in Bjorndahl (in: van Ditmarsch and Sandu (eds) Jaakko Hintikka on knowledge and game theoretical semantics, outstanding contributions to Logic, vol 12, Springer, 2018) coincides exactly with a natural interpretation of test programs. (shrink)

Several advocates of the lively field of “metaphysics of science” have recently argued that a naturalistic metaphysics should be based solely on current science, and that it should replace more traditional, intuition-based, forms of metaphysics. The aim of the present paper is to assess that claim by examining the relations between metaphysics of science and general metaphysics. We show that the current metaphysical battlefield is richer and more complex than a simple dichotomy between “metaphysics of science” and “traditional metaphysics”, and (...) that it should instead be understood as a three dimensional “box”, with one axis distinguishing “descriptive metaphysics” from “revisionary metaphysics”, a second axis distinguishing a priori from a posteriori metaphysics, and a third axis distinguishing “commonsense metaphysics”, “traditional metaphysics” and “metaphysics of science”. We use this three-dimensional figure to shed light on the project of current metaphysics of science, and to demonstrate that, in many instances, the target of that project is not defined with enough precision and clarity. (shrink)

The recognition that human minds/brains are finite systems with limited resources for computation has led some researchers to advance theTractable Cognition thesis: Human cognitive capacities are constrained by computational tractability. This thesis, if true, serves cognitive psychology by constraining the space of computational‐level theories of cognition. To utilize this constraint, a precise and workable definition of “computational tractability” is needed. Following computer science tradition, many cognitive scientists and psychologists define computational tractability as polynomial‐time computability, leading to theP‐Cognition thesis. This (...) article explains how and why the P‐Cognition thesis may be overly restrictive, risking the exclusion of veridical computational‐level theories from scientific investigation. An argument is made to replace the P‐Cognition thesis by theFPT‐Cognition thesisas an alternative formalization of the Tractable Cognition thesis (here, FPT stands for fixed‐parameter tractable). Possible objections to the Tractable Cognition thesis, and its proposed formalization, are discussed, and existing misconceptions are clarified. (shrink)

In computer simulations of physical systems, the construction of models is guided, but not determined, by theory. At the same time simulations models are often constructed precisely because data are sparse. They are meant to replace experiments and observations as sources of data about the world; hence they cannot be evaluated simply by being compared to the world. So what can be the source of credibility for simulation models? I argue that the credibility of a simulation model comes not only (...) from the credentials supplied to it by the governing theory, but also from the antecedently established credentials of the model building techniques employed by the simulationists. In other words, there are certain sorts of model building techniques which are taken, in and of themselves, to be reliable. Some of these model building techniques, moreover, incorporate what are sometimes called “falsifications.” These are contrary-to-fact principles that are included in a simulation model and whose inclusion is taken to increase the reliability of the results. The example of a falsification that I consider, called artificial viscosity, is in widespread use in computational fluid dynamics. Artificial viscosity, I argue, is a principle that is successfully and reliably used across a wide domain of fluid dynamical applications, but it does not offer even an approximately “realistic” or true account of fluids. Artificial viscosity, therefore, is a counter-example to the principle that success implies truth – a principle at the foundation of scientific realism. It is an example of reliability without truth. (shrink)

We propose that human self-domestication favored the emergence of a less aggressive phenotype in our species, more precisely phenotype prone to replace (reactive) physical aggression with verbal aggression. In turn, the (gradual) transition to verbal aggression and to more sophisticated forms of verbal behavior favored self-domestication, with the two processes engaged in a reinforcing feedback loop, considering that verbal behavior entails not only less violence and better survival, but also more opportunities to interact longer and socialize with more conspecifics, ultimately (...) enabling the emergence of more complex forms of language. Whereas in the case of self-domestication sexual selection has been proposed to work against physical aggression traits, in the case of verbal insult the selection has been proposed to work in favor of verbal aggression. The tension between these two seemingly opposing forces gets resolved/alleviated by a tendency to replace physical aggression with verbal aggression, and with verbal behavior more generally. This also helps solve the paradox of the Self Domestication Hypothesis regarding aggression, more precisely why aggression in humans has been reduced only when it comes to reactive aggression, but not when it comes to proactive aggression, the latter exhibiting an increase with the advent of modern language. We postulate that this feedback loop was particularly important during the time period before 50 kya, arguably between 200 kya and 50 kya, when humans were not fully modern, neither in terms of their skull/brain morphology and their behavior/culture, nor in terms of their self-domestication. The novelty of our approach lies (i) in giving an active role to early forms of language in interacting with self-domestication processes; (ii) in providing specific linguistic details and functions of this early stage of grammar (including insult and humor); (iii) in supplying neurobiological, ontogenetic, and clinical evidence of a link between (reactive) aggression and (reactive) verbal behavior; (iv) in identifying a variety of proxies of the earlier stages in evolution among cognitive disorders; and (v) in identifying specific points of contact and mutual reinforcement between these two processes (self-domestication and early language evolution), including reduction in physical aggression and stress/tension, as well as sexual selection. (shrink)

The primary quantum mechanical equation of motion entails that measurements typically do not have determinate outcomes, but result in superpositions of all possible outcomes. Dynamical collapse theories (e.g. GRW) supplement this equation with a stochastic Gaussian collapse function, intended to collapse the superposition of outcomes into one outcome. But the Gaussian collapses are imperfect in a way that leaves the superpositions intact. This is the tails problem. There are several ways of making this problem more precise. But many authors (...) dismiss the problem without considering the more severe formulations. Here I distinguish four distinct tails problems. The first (bare tails problem) and second (structured tails problem) exist in the literature. I argue that while the first is a pseudo-problem, the second has not been adequately addressed. The third (multiverse tails problem) reformulates the second to account for recently discovered dynamical consequences of collapse. Finally the fourth (tails problem dilemma) shows that solving the third by replacing the Gaussian with a non-Gaussian collapse function introduces new conflict with relativity theory. (shrink)

In The Force of Nonviolence, Judith Butler argues that nonviolent movements must replace a dominant neurotic identitarianism with a commitment to preserving relational life. However, Butler also argues that because relationality is volatile, freedom and equality cannot be accomplished through a simple negation of separation. Instead, nonviolence must be directed at moments of relational volatility precisely when violence is compelled. Drawing on Klein’s theory of subjectivity—in which imagining ourselves as other is a precondition for imagining ourselves independent—and on Benjamin’s vision (...) of conflict resolution in encountering the other without instrumentality, Butler asks that we meet such moments by honoring interdependence. While affirming much in Butler’s analysis, this article locates (1) a tension between Butler’s poststructuralist and psychoanalytic commitments, (2) the reification of a non-relational liberal subject as hegemonic, and (3) a tendency towards theoretical exclusivity. Through addressing these weaknesses, we can retain more of a positive role than Butler affords to traditional elements of the nonviolent toolkit such as love, morality, and upholding human rights prefaced on the integrity and dignity of the individual, to augment their theory as one among many resources for a diverse and multicultural nonviolent pursuit of social and political progress. (shrink)

Modern empirical psychology, as a reductionist, materialist, and positivist science, has to a great extent replaced philosophical psychology – or more precisely philosophical anthropology– in our contemporary world, and this has caused modern psychology to lose sight of what was most interesting in pre-modern psychology, namely the attempt to situate the human person in his experience of reality in the lifeworld (lebenswelt). This has resulted in the practice of psychology becoming detached from the realities of lived experience as its view (...) of human nature becomes increasingly narrow, rigid and scientistic. This is evidenced by the current “replication crisis” in modern psychology, which has severely impacted the credibility of modern psychology as a field of enquiry. This crisis arose with an increasing methodological standardisation that is being pursued at the expense of interrogating the scientistic presuppositions that ground the study of modern psychology. (shrink)

Amartya Sen argues that for the advancement of justice identification of ‘perfect’ justice is neither necessary nor sufficient. He replaces ‘perfect’ justice with comparative justice. Comparative justice limits itself to comparing social states with respect to degrees of justice. Sen’s central thesis is that identifying ‘perfect’ justice and comparing imperfect social states are ‘analytically disjoined’. This essay refutes Sen’s thesis by demonstrating that to be able to make adequate comparisons we need to identify and integrate criteria of comparison. This is (...) precisely the aim of a theory of justice (such as John Rawls’s theory): identifying, integrating and ordering relevant principles of justice. The same integrated criteria that determine ‘perfect’ justice are needed to be able to adequately compare imperfect social states. Sen’s alternative approach, which is based on social choice theory, is incapable of avoiding contrary, indeterminate or incoherent directives where plural principles of justice conflict. (shrink)

The purpose of this article is to define the limits of technocentrism through the analysis of the limiting opportunities of technique and technology from certain value positions. Theoretical basis. The philosophical anthropology of Helmut Plessner was the research methodology. Originality. The institutional use of technology gives it the character of a social phenomenon and turns it into technology. The ability of individuals, which is aimed at achieving a certain goal with the help of certain sustainable techniques, is not yet technology (...) in itself but is only a certain author’s technique. Such subjectively acquired technique can be turned into socially used technology, otherwise, it will be lost. Technology is a technique that has gained recognition and has been mastered by those who did not invent it but used the algorithm proposed by the inventor, a detailed and functionally sound explanation, a method of constructing this technique. But the main thing is that technology is a technique that has received an acceptable justification for society. Conclusions. Technology is not only a means of achieving the goal, it is a way for a human being to transform the world. As such, technology is a component of human himself/herself and changes human – more precisely, a human being changed himself/herself with the help of technologies that he/she creates. However, this creates certain limits of such transformations: technology cannot replace humans in their ability to self-reproduce. Technology is always an element of social communication: the success of communication is interdependent on the success of the technology. Social modernization includes new technologies, but a more important component of social modernization is the new values for which these new technologies are created. Human evolution generates the technocratism at a certain stage. But to the extent that technocracy begins to contradict the values of humans and society, it loses its source of development – human creativity. (shrink)

Prevention of age-related disorders is increasingly in focus of health policies, and it is hoped that early intervention on processes of deterioration can promote healthier and longer lives. New opportunities to slow down the aging process are emerging with new fields such as personalized nutrition. Data-intensive research has the potential to improve the precision of existing risk factors, e.g., to replace coarse-grained markers such as blood cholesterol with more detailed multivariate biomarkers. In this paper, we follow an attempt to develop (...) a new aging biomarker. The vision among the project consortium, comprising both research and industrial partners, is that the new biomarker will be predictive of a range of age-related conditions, which may be preventable through personalized nutrition. We combine philosophical analysis and ethnographic fieldwork to explore the possibilities and challenges of managing aging through bodily signs that are not straightforwardly linked to symptomatic disease. We document how the improvement of measurement brings about new conceptual challenges of demarcating healthy and unhealthy states. Moreover, we highlight that the reframing of aging as risk has social and ethical implications, as it is generative of normative notions of what constitutes successful aging and good citizenship. (shrink)

This collection of five essays by Germany’s most prominent and influential social thinker both links Luhmann’s social theory to the question “What is modern about modernity?” and shows the origins and context of his theory. In the introductory essay, “Modernity in Contemporary Society,” Luhmann develops the thesis that the modern epistemological situation can be seen as the consequence of a radical change in social macrostructures that he calls “social differentiation,” thereby designating the juxtaposition of and interaction between a growing number (...) of social subsystems without any hierarchical structure. “European Rationality” defines rationality as the capacity to see the difference between systems and their environment as a unity. Luhmann argues that, in a world characterized by contingency, rationality tends to become coextensive with imagination, a view that challenges their classical binary opposition and opens up the possibility of seeing modern rationality as a paradox. In the third essay, “Contingency as Modern Society’s Defining Attribute,” Luhmann develops a further and probably even more important paradox: that the generalization of contingency or cognitive uncertainty is precisely what provides stability within modern societies. In the process, he argues that medieval and early modern theology can be seen as a “preadaptive advance” through which Western thinking prepared itself for the modern epistemological situation. In “Describing the Future,” Luhmann claims that neither the traditional hope of learning from history nor the complementary hope of cognitively anticipating the future can be maintained, and that the classical concept of the future should be replaced by the notion of risk, defined as juxtaposing the expectation of realizing certain projects and the awareness that such projects might fail. The book concludes with “The Ecology of Ignorance,” in which Luhmann outlines prospective research areas “for sponsors who have yet to be identified.”. (shrink)

Until recently, the notions of function and multiple realization were supposed to save the autonomy of psychological explanations. Furthermore, the concept of supervenience presumably allows both dependence of mind on brain and non-reducibility of mind to brain, reconciling materialism with an independent explanatory role for mental and functional concepts and explanations. Eliminativism is often seen as the main or only alternative to such autonomy. It gladly accepts abandoning or thoroughly reconstructing the psychological level, and considers reduction if successful as equivalent (...) with elimination. In comparison with the philosophy of mind, the philosophy of biology has developed more subtle and complex ideas about functions, laws, and reductive explanation than the stark dichotomy of autonomy or elimination. It has been argued that biology is a patchwork of local laws, each with different explanatory interests and more or less limited scope. This points to a pluralistic, domain-specific and multi-level view of explanations in biology. Explanatory pluralism has been proposed as an alternative to eliminativism on the one hand and methodological dualism on the other hand. It holds that theories at different levels of description, like psychology and neuroscience, can co-evolve, and mutually influence each other, without the higher-level theory being replaced by, or reduced to, the lower-level one. Such ideas seem to tally with the pluralistic character of biological explanation. In biological psychology, explanatory pluralism would lead us to expect many local and non-reductive interactions between biological, neurophysiological, psychological and evolutionary explanations of mind and behavior. This idea is illustrated by an example from behavioral genetics, where genetics, physiology and psychology constitute distinct but interrelated levels of explanation. Accounting for such a complex patchwork of related explanations seems to require a more sophisticated and precise way of looking at levels than the existing ideas on (reductive and non-reductive) explanation in the philosophy of mind. (shrink)