Analyzes the poem "On Nature" by Parmenides, arguing that is actually a philosophical argument disguised as Homer-like mythological journey. Original.

In this paper, we investigate the trust-based mechanisms underlying the relationship between ethical leadership and followers’ organisational citizenship behaviours (OCBs). Based on three-wave survey data obtained from 184 employees and their supervisors, we find that ethical leadership leads to higher levels of both affective and cognitive trust. In addition, we find support for a three-path mediational model, where cognitive trust and affective trust, in turn, mediate the relationship between ethical leadership and follower OCBs. That is to say, we found that (...) ethical leadership leads to the development of cognitive trust, which subsequently influences the development of affective trust. Affective trust, in turn, induces followers to exhibit OCBs as a means of reciprocating the leader’s favourable behaviour. Our findings suggest that both affective and cognitive trust plays an important role in the social exchange processes that underlie the relationship between ethical leadership and the discretionary behaviour of followers. (shrink)

John Rawls argues that it is possible to describe a suitably defined initial situation from which to form reliable judgements about justice. In this initial situation, rational persons are deprived of information that is . It is rational, Rawls argues, for persons choosing principles of justice from this standpoint to be guided by the maximin rule. Critics, however, argue that (i) the maximin rule is not the appropriate decision rule for Rawls's choice position; (ii) the maximin argument relies upon an (...) imprecise account of the satisfactory minimum to be secured under the maximin rule; or that (iii) Rawls relies upon unrealistic assumptions about diminishing marginal value. These critics, I will suggest, argue from a number of assumptions that are confused or false. The satisfactory minimum that choosers in the original position seek to achieve is not a minimum level of primary goods, nor is the satisfactory minimum sought under the maximin rule supplied by the difference principle. I will argue that the maximin argument is more robust than has generally been recognized and that this argument performs a number of important functions in clarifying the nature and implications of Rawls's argument for justice as fairness. (shrink)

Barry Maguire has recently argued that the nature of normative support for affective attitudes like fear and admiration differs fundamentally from that of reasons. These arguments appear to raise new and serious challenges for the popular ‘reasons-first’ view according to which normative support of any kind comes from reasons. In this paper, I show how proponents of the reasons-first view can meet these challenges. They can do so, I argue, if they can successfully meet some other well-known challenges to their (...) view: distinguishing between right and wrong kinds of reasons, distinguishing between reasons, enablers, and defeaters, and providing an account of the relation between reasons and rationality. Whether proponents of the reasons-first view can meet these other challenges remains controversial. I do not try to settle these questions here, but rather show that the debate about the nature of normative support for affective attitudes is not going to be settled in isolation from them. (shrink)

A lavishly decorated handbook of medicine was conceived for the lay public on topics such as human health, healing, medicine, and household management.

A LARGE NUMBER OF PEOPLE, ancient and modern alike, have always found in Socrates what seemed to them a suspicious, if not actually repugnant, aspect. This aspect, to put the point first in crude terms, is his devotion to philosophy, which presupposes an apparently unshakable faith in reason, in the power of understanding to secure goodness, and in the power of goodness to provide us with happiness.

The American Journal of Bioethics, Volume 11, Issue 11, Page 22-23, November 2011.

This article argues, against contemporary experimentalist criticism, that conceptual analysis has epistemic value, with a structure that encourages the development of interesting hypotheses which are of the right form to be valuable in diverse areas of philosophy. The article shows, by analysis of the Gettier programme, that conceptual analysis shares the proofs and refutations form Lakatos identified in mathematics. Upon discovery of a counterexample, this structure aids the search for a replacement hypothesis. The search is guided by heuristics. The heuristics (...) of conceptual analysis are similar to those in other interesting areas of scholarship, and so hypotheses generated by it are of the right form to be applicable to diverse areas. The article shows that the explanationist criterion in epistemology was developed and applied in this way. The epistemic value of conceptual analysis is oblique because it contributes not towards the main purpose of conceptual analysis but towards the reliable development of epistemically valuable hypotheses in philosophy and scholarship. (shrink)

This article discusses Xenophanes' “cloud astro-physics”. It analyses and explains all heavenly and meteorological phenomena in terms of clouds. It provides a view of this newer Xenophanes, who is now being recognized as an important philosopher-scientist in his own right and a crucial figure in the development of critical thought about human knowledge and its objects in the next generation of Presocratic thinkers. Xenophanes' account has been preserved in Aëtius, the doxographic compendium reconstructed by Hermann Diels late in the nineteenth (...) century mainly from two sources that show extensive parallelism: pseudo-Plutarch Placita Philosophorum or Epitome of Physical Opinions ; and Ioannes Stobaeus' Eclogae Physicae or Physical Extracts. In the Stobaeus version, which is also the one printed in the standard edition of the Pre-socratics. (shrink)

We prove the following Main Theorem: $ZF + AD + V = L(R) \Rightarrow DC$ . As a corollary we have that $\operatorname{Con}(ZF + AD) \Rightarrow \operatorname{Con}(ZF + AD + DC)$ . Combined with the result of Woodin that $\operatorname{Con}(ZF + AD) \Rightarrow \operatorname{Con}(ZF + AD + \neg AC^\omega)$ it follows that DC (as well as AC ω ) is independent relative to ZF + AD. It is finally shown (jointly with H. Woodin) that ZF + AD + ¬ DC (...) R , where DC R is DC restricted to reals, implies the consistency of ZF + AD + DC, in fact implies R # (i.e. the sharp of L(R)) exists. (shrink)

Let the chain antichain principle (CAC) be the statement that each partial order on $\mathbb{N}$ possesses an infinite chain or an infinite antichain. Chong, Slaman, and Yang recently proved using forcing over nonstandard models of arithmetic that CAC is $\Pi^1_1$-conservative over $\text{RCA}_0+\Pi^0_1\text{-CP}$ and so in particular that CAC does not imply $\Sigma^0_2$-induction. We provide here a different purely syntactical and constructive proof of the statement that CAC (even together with WKL) does not imply $\Sigma^0_2$-induction. In detail we show using a (...) refinement of Howard's ordinal analysis of bar recursion that $\text{WKL}_0^\omega+\text{CAC}$ is $\Pi^0_2$-conservative over PRA and that one can extract primitive recursive realizers for such statements. Moreover, our proof is finitary in the sense of Hilbert's program. CAC implies that every sequence of $\mathbb{R}$ has a monotone subsequence. This Bolzano-Weierstraß}-like principle is commonly used in proofs. Our result makes it possible to extract primitive recursive terms from such proofs. We also discuss the Erdős-Moser principle, which—taken together with CAC—is equivalent to $\text{RT}^2_2$. (shrink)

Clinical trials aim to minimise participant risk and generate new clinical knowledge for the wider population. Many military agencies are now investing efforts in pushing towards developing new treatments involving Brain-Computer Interfaces, Gene Therapy and Stem Cells interventions. These trials are targeting smaller disease groups, as such they give rise to novel participant risks of harms that are largely not accommodated by existing practice. This is of most concern with irreversible harms at early trial stages, where participants may forfeit any (...) future therapy, and in personalised medicine, where the individual participant assumes all of the trial risk. Given these new experimental interventions involve high risk of irreversible harms, how much risk should patients be exposed to when participating in experimental testing of innovative technologies? Designing clinical trials which better balance risk/benefit ratios for participants is crucial. The aim of this book chapter is to suggest a new stratified risk framework aimed at minimising the risk-benefit ratio to participants in clinical trials associated with high risk of irrevocable harms. We will argue it demands a higher-level of clinical data capture at earlier trial stages than predicated by current trial doctrine; it also requires publication of all trial data to minimise risk to participants of any future trial. (shrink)

Paul Horwich has argued that Kripke's Wittgenstein's 'sceptical challenge' to the notion of meaning and rule-following only gets going if an 'inflationary' conception of truth is presupposed, and he develops a 'use-theoretic' conception of meaning which he claims is immune to Kripke's Wittgenstein's sceptical attack. I argue that even if we grant Horwich his 'deflationary' conception of truth, that is not enough to undermine Kripke's Wittgenstein's sceptical argument. Moreover, Horwich's own 'use-theoretic' account of meaning actually falls prey to that sceptical (...) challenge. (publisher). (shrink)

In the work of interpreting Parmenides we have witnessed in the ’sixties and ’seventies, in English language scholarship, that rarest of phenomena in the study of ancient philosophy, the emergence of a consensus. Four interpretive theses now seem quite widely shared: Parmenides deliberately suppresses the subject of esti, “is,” or einai, “to be,” in his statement of the two “routes” in B2, his intention being to allow the subject to become gradually specified as the argument unfolds. The negative route, ouk (...) esti, “is not,” or mē einai, “not to be,” is banned because sentences that adhere to it fail to refer to actual entities—the latter to be understood broadly, as will shortly be stated in thesis. The argument does not depend on a confusion between the “is” of predication and the “is” of existence. In the relevant contexts, esti and einai involve a “fused” or “veridical” use of the verb “to be”; in other words, esti or einai have the force of “is actual” or “obtains,” or “is the case,” envisaging a variable subject x that ranges over states-of-affairs. (shrink)

§1. I will start with a quick definition of descriptive set theory: It is the study of the structure of definable sets and functions in separable completely metrizable spaces. Such spaces are usually called Polish spaces. Typical examples are ℝn, ℂn, Hilbert space and more generally all separable Banach spaces, the Cantor space 2ℕ, the Baire space ℕℕ, the infinite symmetric group S∞, the unitary group, the group of measure preserving transformations of the unit interval, etc.In this theory sets are (...) classified in hierarchies according to the complexity of their definitions and the structure of sets in each level of these hierarchies is systematically analyzed. In the beginning we have the Borel sets in Polish spaces, obtained by starting with the open sets and closing under the operations of complementation and countable unions, and the corresponding Borel hierarchy. After this come the projective sets, obtained by starting with the Borel sets and closing under the operations of complementation and projection, and the corresponding projective hierarchy.There are also transfinite extensions of the projective hierarchy and even much more complex definable sets studied in descriptive set theory, but I will restrict myself here to Borel and projective sets, in fact just those at the first level of the projective hierarchy, i.e., the Borel (), analytic () and coanalytic () sets. (shrink)

'A wonderfully assured and utterly riveting biography that captures not only the much-maligned Machiavelli, but also the spirit of his time and place. A monumental achievement.' - Jessie Childs, author of God's Traitors. 'A notorious fiend', 'generally odious', 'he seems hideous, and so he is.' Thanks to the invidious reputation of his most famous work, The Prince, Niccolò Machiavelli exerts a unique hold over the popular imagination. But was Machiavelli as sinister as he is often thought to be? Might he (...) not have been an infinitely more sympathetic figure, prone to political missteps, professional failures and personal dramas? Alexander Lee reveals the man behind the myth, following him from cradle to grave, from his father's penury and the abuse he suffered at a teacher's hands, to his marriage and his many affairs (with both men and women), to his political triumphs and, ultimately, his fall from grace and exile. In doing so, Lee uncovers hitherto unobserved connections between Machiavelli's life and thought. He also reveals the world through which Machiavelli moved: from the great halls of Renaissance Florence to the court of the Borgia pope, Alexander VI, from the dungeons of the Stinche prison to the Rucellai gardens, where he would begin work on some of his last great works. As much a portrait of an age as of a uniquely engaging man, Lee's gripping and definitive biography takes the reader into Machiavelli's world - and his work - more completely than ever before. (shrink)

Despite the frequency of stillbirths, the subsequent implications are overlooked and underappreciated. We present findings from comprehensive, systematic literature reviews, and new analyses of published and unpublished data, to establish the effect of stillbirth on parents, families, health-care providers, and societies worldwide. Data for direct costs of this event are sparse but suggest that a stillbirth needs more resources than a livebirth, both in the perinatal period and in additional surveillance during subsequent pregnancies. Indirect and intangible costs of stillbirth are (...) extensive and are usually met by families alone. This issue is particularly onerous for those with few resources. Negative effects, particularly on parental mental health, might be moderated by empathic attitudes of care providers and tailored interventions. The value of the baby, as well as the associated costs for parents, families, care providers, communities, and society, should be considered to prevent stillbirths and reduce associated morbidity. (shrink)

This paper describes the introduction of a new electronic identity card including an electronic identity (EID) for local physical and online authentication in 2006. The most significant difference to any European country is the decentralized issuing at 256 police stations employing an automatic printing machine. This is the most visible element in a high degree continuation, as the previous paper based ID cards were also personalized and issued at the police stations. Similarly the attributes defining the identity and the legal (...) framework were not changed either. While there was some delay in the planning phase, the role-out of the new eID cards was rather smooth. At the end of 2009, approx. 13 Mio Spanish citizens out of more than 46.5 Mio inhabitants (www.ine.es) were in possession of an eID card. But this does not necessarily mean that they are using the eID function for online authentication. The reasons for this application gap will be discussed with reference to online tax declaration, where the eID so far covers less than one percent of all online declarations while authentication by software certificates still make up for 98 percent. (shrink)

In this paper I will argue that Crispin Wright’s defence of the claim that the truth about intention is judgement-dependent is unstable because it can serve also to establish that the truth about shape is judgement-dependent, thereby violating his constraint that in developing the distinction between judgement-independent and judgement-dependent subject matters we have to be driven by the assumption that colour and shape will fall on different sides of the divide.

In his 1982 book Wittgenstein on Rules and Private Language, Saul Kripke develops a famous argument that purports to show that there are no facts about what we mean by the expressions of our language: ascriptions of meaning, such as “Jones means addition by ‘+’” or Smith means green by ‘green’”, are according to Kripke’s Wittgenstein neither true nor false. Kripke’s Wittgenstein thus argues for a form of non-factualism about ascriptions of meaning: ascriptions of meaning do not purport to state (...) facts. Define semantic realism to be the view that ascriptions of meaning are apt to be assessed in terms of truth and falsity, and are, at least in some instances, true. Semantic realism, thus defined, is a form of cognitivism about semantic judgement, according to which judgements ascribing meaning express beliefs, states apt for assessment in terms of truth and falsity. Kripke’s Wittgenstein thus argues against semantic realism, and in favour of a form of semantic non-cognitivism.1 En route to semantic non-cognitivism, Kripke’s Wittgenstein argues against dispositionalist theories of meaning, which hold something roughly along the lines of the following: Jones means magpie by “magpie” if and only if Jones is disposed to apply “magpie” to magpies in ideal conditions (where the ideal conditions can be specified in terms that don’t presuppose the notion of meaning, and are such that in those conditions Jones applies “magpie” to a thing if and only if that thing is a magpie). (shrink)

ONE of the central characteristics of Plato's later metaphysics is his view that Forms can participate in other Forms. At least part of what the Sophist demonstrates is that though not every Form participates in every other, every Form participates in some Forms, and that there are some Forms in which all Forms participate. This paper considers some of the reasons for this development, and some of the issues raised by it.

Traditionally, writing is viewed as a code that stands in one-to-one correspondence to spoken language, which is therefore also viewed as a code. However, this is a delusion, which is shared by educators and has serious consequences for cognition, both on individual and on social levels. Natural linguistic signs characteristic for the activity of languaging and their symbolizations are ontologically different phenomena; speech and writing belong to experiential domains of different dynamics. These dynamics impact differently on the linguistic/behavioral strategies of (...) individuals and communities, viewed as second- and third-order living systems operating in a consensual domain as structure-determined systems. Failure to acknowledge this contributes to the spread of functional illiteracy in modern societies, which may lead to cognitive/communicative dysfunction. Technology-enhanced new literacies challenge the value of traditional written culture, raising questions about the relationship between speech and writing and their roles in human evolution. (shrink)

The American Journal of Bioethics, Volume 12, Issue 8, Page 15-17, August 2012.

This paper addresses the strength of Ramsey's theorem for pairs ($RT^2_2$) over a weak base theory from the perspective of 'proof mining'. Let $RT^{2-}_2$ denote Ramsey's theorem for pairs where the coloring is given by an explicit term involving only numeric variables. We add this principle to a weak base theory that includes weak König's Lemma and a substantial amount of $\Sigma^0_1$-induction (enough to prove the totality of all primitive recursive functions but not of all primitive recursive functionals). In the (...) resulting theory we show the extractability of primitive recursive programs and uniform bounds from proofs of $\forall\exists$-theorems. There are two components of this work. The first component is a general proof-theoretic result, due to the second author, that establishes conservation results for restricted principles of choice and comprehension over primitive recursive arithmetic PRA as well as a method for the extraction of primitive recursive bounds from proofs based on such principles. The second component is the main novelty of the paper: it is shown that a proof of Ramsey's theorem due to Erdős and Rado can be formalized using these restricted principles. So from the perspective of proof unwinding the computational content of concrete proofs based on $RT^2_2$ the computational complexity will, in most practical cases, not go beyond primitive recursive complexity. This even is the case when the theorem to be proved has function parameters f and the proof uses instances of $RT^2_2$ that are primitive recursive in f. (shrink)

The American Journal of Bioethics, Volume 11, Issue 6, Page 41-42, June 2011.

The aim of this paper is to determine the logical and computational strength of instances of the Bolzano-Weierstraß principle and a weak variant of it.We show that BW is instance-wise equivalent to the weak König’s lemma for Σ01-trees . This means that from every bounded sequence of reals one can compute an infinite Σ01-0/1-tree, such that each infinite branch of it yields an accumulation point and vice versa. Especially, this shows that the degrees d ≫ 0′ are exactly those containing (...) an accumulation point for all bounded computable sequences.Let BWweak be the principle stating that every bounded sequence of real numbers contains a Cauchy subsequence . We show that BWweak is instance-wise equivalent to the cohesive principle and—using this—obtain a classification of the computational and logical strength of BWweak. Especially we show that BWweak does not solve the halting problem and does not lead to more than primitive recursive growth. Therefore it is strictly weaker than BW. We also discuss possible uses of BWweak. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim. (shrink)

The role of possible worlds in philosophy is hard to overestimate. Nevertheless, their nature and existence is very controversial. This is particularly serious, since their standard applications depend on there being sufficiently many of them. The paper develops an account of possible worlds on which it is particularly easy to believe in their existence: an account of possible worlds as pleonastic entities. Pleonastic entities are entities whose existence can be validly inferred from statements that neither refer to nor quantify over (...) them as a matter of conceptual necessity. Definitions are proposed that ensure that this is the case for possible worlds. (shrink)

In this paper we study with proof-theoretic methods the function(al) s provably recursive relative to Ramsey's theorem for pairs and the cohesive principle (COH). Our main result on COH is that the type 2 functional provably recursive from $RCA_0 + COH + \Pi _1^0 - CP$ are primitive recursive. This also provides a uniform method to extract bounds from proofs that use these principles. As a consequence we obtain a new proof of the fact that $WKL_0 + \Pi _1^0 - (...) CP + COH$ is $\Pi _1^0 $ -conservative over PRA. Recent work of the first author showed that $\Pi _1^0 + CP + COH$ is equivalent to a weak variant of the Bolzano-Weierstraß principle. This makes it possible to use our results to analyze not only combinatorial but also analytical proofs. For Ramsey's theorem for pairs and two colors $\left( {RT_2^2 } \right)$ we obtain the upper bounded that the type 2 functionals provable recursive relative to $RCA_0 + \sum\nolimits_2^0 {IA + RT_2^2 } $ are in T₁. This is the fragment of Gödel's system T containing only type 1 recursion—roughly speaking it consists of functions of Ackermann type. With this we also obtain a uniform method for the extraction of T₁-bounds from proofs that use RT2..... Moreover, this yields a new proof of the fact that $WKL_0 + \sum\nolimits_2^0 {IA} + RT_2^2 $ is $\Pi _1^0 $ -conservative over $RCA_0 + \sum\nolimits_2^0 { - IA} $ . The results are obtained in two steps: in the first step a term including Skolem functions for the above principles is extracted from a given proof. This is done using Gödel's functional interpretation. After this the term is normalized, such that only specific instances of the Skolem functions are used. In the second step this term is interpreted using $\Pi _1^0 $ -comprehension. The comprehension is then eliminated in favor of induction using either elimination of monotone Skolem functions (for COH) or Howard's ordinal analysis of bar recursion (for $RT_2^2 $. (shrink)

Recent years have seen increased interest in the question of whether it is possible to provide an evolutionary game-theoretic explanation for certain kinds of social norms. I sketch a proof of a general representation theorem for a large class of evolutionary game-theoretic models played on a social network, in hope that this will contribute to a greater understanding of the long-term evolutionary dynamics of such models, and hence the evolution of social norms.

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Pragmatism's Evolution: Organism and Environment in American Philosophy by Trevor PearceAlexander KleinTrevor Pearce. Pragmatism's Evolution: Organism and Environment in American Philosophy. Chicago: The University of Chicago Press, 2020. Pp. 384. Paperback, $35.00.Pragmatist pioneers were young lions in the days of Darwin. Evolutionary-biological thinking infused this philosophical movement from the start. And yet the last time a major monograph appeared on classic pragmatism and evolutionary biology—Philip Wiener's Evolution and (...) the Founders of Pragmatism (New York: Harper Torchbooks, 1949)—the author could personally thank Ralph Barton Perry, William James's junior colleague and eventual biographer. John Dewey himself wrote the foreword.Almost seventy-five years later, we have Trevor Pearce's painstakingly researched Pragmatism's Evolution. The author has graduate training in both biology and philosophy and is a former student of William Wimsatt and Robert Richards's (343). The book offers an intricate portrait of how debates about evolutionary biology informed the thinking of a loose-knit group of pragmatists between the years 1860 and 1910. While a remarkable variety of figures are discussed, ten pragmatists command the most attention: Chauncey Wright, C. S. Peirce, Francis Ellingwood Abbot, John Fiske, William James, Josiah Royce, John Dewey, Jane Addams, G. H. Mead, and W. E. B. Du Bois (18). Call them "the American Ten."Without downplaying Darwin, an overarching theme is the special significance of Herbert Spencer. Despite many specific disagreements with him (see e.g. 74, 207–8, 253–54, 281), the American Ten all accepted something more fundamental from Spencer: an intellectual framework that explains mind and morality in terms of functional relationships between organism and environment.After an introduction outlining what Pearce identifies as four chronological "cohorts" of pragmatists (more on this concept below), he examines the 1860s and 1870s reception of Darwin (chapter 1) and Spencer (chapter 2), showing how senior pragmatists like Wright, Peirce, and James defended evolution during this period. In chapter 2, we meet the Metaphysical Club's arch Spencerian, John Fiske, and we get a reading of James's critique of Spencer's psychology and sociology. Chapter 3 gives a highly detailed, reference-work-like portrait of the second cohort's training in evolutionary biology during the 1880s—chiefly Royce, Dewey, Addams, Mead, and Du Bois. In chapter 4, we learn that in the 1880s and 1890s, idealists like Edward Caird, Samuel Alexander, David George Ritchie, and Josiah Royce all co-opted ideas from evolutionary biology, which they apparently thought compatible with Hegelian dialectics. Chapter 5 shows that central planks of Peirce's metaphysics and Dewey's ethics are responsive to an 1890s dispute over the causes of the biological variation upon which selection acts (the so-called "factors" debate). The final two chapters show how pragmatist ethics (chapter 6) and epistemology (chapter 7) were infused with substantive ideas about evolution and about scientific experiment more generally.The depth and use of historical scholarship on offer here are both remarkable. On depth, Pearce draws from nineteen special collections and archives housed at institutions from California to Manchester, UK. The reference list (published on Pearce's website) runs [End Page 160] to 118 pages and was apparently too long for inclusion in the book. Archival research and lengthy bibliographies are to be expected in today's history of philosophy. But the sheer range of sources Pearce draws from is, by any measure, impressive.The use to which he puts those sources is provocative. Close reading, and in particular argument reconstruction, is usually the stock in trade for historians of philosophy. Pearce takes a different approach (7), seeking interpretive insight through a kind of philosophical network analysis. The nodes are mainly philosophers, scientists, and social critics. Unlike digital network analyses, Pearce connects his nodes by hand, via a great multiplicity of social, educational, and intellectual relations. We learn who studied evolution where, with whom, and when; what specific texts were assigned in classes taken, in classes taught; who attacked whom, who sided with whom; and so on.The resulting networks are rich, though they can be difficult to track due to their complexity. At its best, the book uses networks to produce genuine insights that... (shrink)