The enormous scale of the available information and products on the Internet has necessitated the development of algorithms that intermediate between options and human users. These algorithms attempt to provide the user with relevant information. In doing so, the algorithms may incur potential negative consequences stemming from the need to select items about which it is uncertain to obtain information about users versus the need to select items about which it is certain to secure high ratings. This tension is an (...) instance of the exploration–exploitation trade‐off in the context of recommender systems. Because humans are in this interaction loop, the long‐term trade‐off behavior depends on human variability. Our goal is to characterize the trade‐off behavior as a function of human variability fundamental to such human–algorithm interaction. To tackle the characterization, we first introduce a unifying model that smoothly transitions between active learning and recommending relevant information. The unifying model gives us access to a continuum of algorithms along the exploration–exploitation trade‐off. We then present two experiments to measure the trade‐off behavior under two very different levels of human variability. The experimental results inform a thorough simulation study in which we modeled and varied human variability systematically over a wide rage. The main result is that exploration–exploitation trade‐off grows in severity as human variability increases, but there exists a regime of low variability where algorithms balanced in exploration and exploitation can largely overcome the trade‐off. (shrink)

This essay in the "anthropology of science" is about how cognition constrains culture in producing science. The example is folk biology, whose cultural recurrence issues from the very same domain-specific cognitive universals that provide the historical backbone of systematic biology. Humans everywhere think about plants and animals in highly structured ways. People have similar folk-biological taxonomies composed of essence-based species-like groups and the ranking of species into lower- and higher-order groups. Such taxonomies are not as arbitrary in structure and content, (...) nor as variable across cultures, as the assembly of entities into cosmologies, materials or social groups. (shrink)

The target article contains a number of distinct but interrelated claims about the cognitive nature of folk biology based in part on cross-cultural work with urbanized Americans and forest-dwelling Maya Indians. Folk biology consists universally of a ranked taxonomy centered on essence-based generic species. This taxonomy is domain-specific, perhaps an innately determined evolutionary adaptation. Folk biology also plays a special role in cultural evolution in general, and in the development of Western biological science in particular. Even in our culture, however, (...) it retains an autonomy from other domains of thought and from science. These claims are questioned and clarified. (shrink)

What follows is a discussion of three sets of experimental results that deal with various aspects of universal biological understanding among American and Maya children and adults. The first set of experiments shows that by the age of four-to-five years urban American and Yukatek Maya children employ a concept of innate species potential, or underlying essence, as an inferential framework for understanding the affiliation of an organism to a biological species, and for projecting known and unknown biological properties to organisms (...) in the face of uncertainty. The second set of experiments shows that the youngest Maya children do not have an anthropocentric understanding of the biological world. Children do not initially need to reason about non-human living kinds by analogy to human kinds. The third set of results show that the same taxonomic rank is cognitively preferred for biological induction in two diverse populations: people raised in the Mid-western USA and Itza' Maya of the Lowland Meso-american rainforest. This is the generic species  the level of oak and robin. These findings cannot be explained by domain-general models of similarity because such models cannot account for why both cultures prefer species-like groups in making inferences about the biological world, although Americans have relatively little actual knowledge or experience at this level. The implication from these experiments is that folk biology may well represent an evolutionary design: universal taxonomic structures, centred on essence-based generic species, are arguably routine products of our ‘habits of mind,' which may be in part naturally selected to grasp relevant and recurrent ‘habits of the world.' The science of biology is built upon these domain-specific cognitive universals: folk biology sets initial cognitive constraints on the development of any possible macro-biological theory, including the initial development of evolutionary theory. Nevertheless, the conditions of relevance under which science operates diverge from those pertinent to folk biology. For natural science, the motivating idea is to understand nature as it is ‘in itself,' independently of the human observer. From this standpoint, the species-concept, like taxonomy and teleology, may arguably be allowed to survive in science as a regulative principle that enables the mind to readily establish stable contact with the surrounding environment, rather than as an epistemic concept that guides the search for truth. (shrink)

Although women have made important inroads in science and engineering since the early 1970s, their progress in these fields has stalled over the past several years. This study looks at women in science and engineering careers in the 1970s and 1980s, documenting differences in career outcomes between men and women and between women of different races and ethnic backgrounds. The panel presents what is known about the following questions and explores their policy implications: In what sectors are female Ph.D.s employed? (...) What salary disparities exist between men and women in these fields? How is marital status associated with career attainment? Does it help a career to have a postdoctoral appointment? How well are female scientists and engineers represented in management? Within the broader context of education and the labor market, the book provides detailed comparisons between men and women Ph.D.s in a number of measures: financial support for education, academic rank achieved, salary, and others. The study covers engineering; the mathematical, physical, life, and social and behavioral sciences; medical school faculty; and recipients of National Institutes of Health grants. Findings and recommendations in this volume will be of interest to practitioners, faculty, and students in science and engineering as well as education administrators, employers, and researchers in these fields. (shrink)

In this paper, we derive necessary and sufficient conditions on team based tasks in order for a selection criterion applied to individuals to produce optimal teams. We assume only that individuals have types and that a team’s performance depends on its size and the type composition of its members. We first derive the selection principle which states that if a selection criterion exists, it must rank types by homogeneous team performance, the performance of a team consisting only of that (...) type. We then prove that a selection criterion exists if and only if replacing the team’s lowest ranked type, as measured by homogeneous team performance, with a higher ranked type increases team performance. Finally, we show that the replace the lowest ranked property rules out most common types of team complementarities, including benefits to diverse types and types that fill structural holes. (shrink)

The greatest philosopher of the twentieth century may not have been Wittgenstein, or Russell, or Quine (and he certainly wasn’t Heidegger), but he may have been a somewhat obscure and conservative Australian named David Stove (1927-94). If he wasn’t the greatest philosopher of the century, Stove was certainly the funniest and most dazzling defender of common sense to be numbered among the ranks of last century’s thinkers, better even—by far—than G. E. Moore and J. L. Austin. The twentieth century was (...) not a period in which philosophers distinguished themselves as essayists, or even as capable of writing interestingly on any subject outside their speciality (or even within it). Stove, though, was an essayist, polemicist, and wit of the highest order, rather like a super-intelligent H. L. Mencken. A heavyweight admirer was once led to write that “Reading Stove is like watching Fred Astaire dance. You don’t wish you were Fred Astaire, you are just glad to have been around to see him in action.”. (shrink)

This paper tackles some issues arising from Plato's account of the democratic man in Rep. VIII. One problem is that Plato tends to analyse him in terms of the desires that he fulfils, yet sends out conflicting signals about exactly what kind of desires are at issue. Scholars are divided over whether all of the democrat's desires are appetites. There is, however, strong evidence against seeing him as exclusively appetitive: rather he is someone who satisfies desires from all three parts (...) of his soul, although his rational and spirited desires differ significantly from those of the philosopher or the timocrat. A second problem concerns the question why the democrat ranks so low in Plato's estimation, especially why he is placed beneath the oligarch. My explanation is that Plato presents him as a jumble of desires, someone in whom order and unity have all but disintegrated. In this way he represents a step beyond the merely bipolarised oligarch. The final section of the paper focuses on the democrat's rational part, and asks whether it plays any role in shaping his life as a whole. For the disunity criticism to hold, Plato ought to allow very little global reasoning: if there were a single deliberating reason imposing a life plan upon his life, the fragmentation of life and character discussed earlier would only be superficial. I argue that Plato attributes very little global reasoning to the democrat. Aside from the fact that the text fails to mention such reasoning taking place, Plato's views on the development of character and his use of the state-soul analogy show that the democrat's lifestyle is determined just by the strength of the desires that he happens to feel at any one time. (shrink)

The biggest problem facing schools having social justice curricula, beyond implementation of a programme, I claim, is the problem of justification: what grounds what in social justice and how do we make this manifest to ourselves and to the curricula? If we cannot address this, then social justice curricula are doomed to begging the question. I claim that a ranking of human rights is not only necessary to adjudicate competing claims for social justice and at the same time, thwart interference (...) with already agreed-upon human rights: it is necessary for any curriculum of social justice for schools. That is to say, curricular programs of social justice cannot justify social practices that interfere with human rights, nor can they teach otherwise than this. Due attention to the violation of human rights is necessary, I shall argue, and must be central in the discussion of education for social justice. (shrink)

Josiah Royce (1855?1916) was, in addition to being the pre-eminent metaphysician at the turn of the 19th century in the USA, regarded as ?a logician of the first rank?. At the time of his death in 1916, he had begun a substantial and potentially revolutionary project in logic in which he sought to show the connection between logic and ethics, aesthetics, and metaphysics. His system was developed in light of the work of Bertrand Russell and A. B. Kempe and (...) aimed to include Russell's logic as a subsystem. This more comprehensive logic, which Royce called system Σ, brought together an analysis of the character of experience and knowledge with the principles which served to organize interests and direct actions. The result was to be a logical theory framed by ?a profoundly ethical motive as well as a genuinely intellectual one? that would serve as ?a theory of the way in which activities must go on if they go on at all?. This paper examines three stages in the development of Royce's logical system, its relation to the logic of Principia Mathematica, and prospects for its further development. (shrink)

We argue that the mathematization of science should be understood as a normative activity of advocating for a particular methodology with its own criteria for evaluating good research. As a case study, we examine the mathematization of taxonomic classification in systematic biology. We show how mathematization is a normative activity by contrasting its distinctive features in numerical taxonomy in the 1960s with an earlier reform advocated by Ernst Mayr starting in the 1940s. Both Mayr and the numerical taxonomists sought to (...) formalize the work of classification, but Mayr introduced a qualitative formalism based on human judgment for determining the taxonomic rank of populations, while the numerical taxonomists introduced a quantitative formalism based on automated procedures for computing classifications. The key contrast between Mayr and the numerical taxonomists is how they conceptualized the temporal structure of the workflow of classification, specifically where they allowed meta-level discourse about difficulties in producing the classification. (shrink)

The well known Wiener-Kuratowski explicit definition of the ordered pair, which sets ⟨x, y⟩ = {{x}, {x, y}}, works well in many set theories but fails for those with classes which cannot be members of singletons. With the aid of the Axiom of Foundation, we propose a recursive definition of ordered pair which addresses this shortcoming and also naturally generalizes to ordered tuples of greater lenght. There are many advantages to the new definition, for it allows for uniform definitions working (...) equally well in a wide range of models for set theories. In ZFC and closely related theories, the of an ordered pair of two infinite sets under the new definition turns out to be equal to the maximum of the ranks of the sets. (shrink)

In this landmark work of economic sociology, Lucien Karpik introduces the theory and practical tools needed to analyze markets for singularities. Singularities are goods and services that cannot be studied by standard methods because they are multidimensional, incommensurable, and of uncertain quality. Examples include movies, novels, music, artwork, fine wine, lawyers, and doctors. Valuing the Unique provides a theoretical framework to explain this important class of products and markets that for so long have eluded neoclassical economics. With this innovative theory--called (...) the economics of singularities--Karpik shows that, because of the uncertainty and the highly subjective valuation of singularities, these markets are necessarily equipped with what he calls "judgment devices"--such as labels, brands, guides, critics, and rankings--which provide consumers with the credible knowledge needed to make reasonable choices. He explains why these markets are characterized by the primacy of competition by qualities over competition by prices, and he identifies the conditions under which singularities are constructed or are in danger of losing their uniqueness. After demonstrating how combinations of the numerous and multiform judgment devices can be used to identify different market models, Karpik applies his analytical tools to the functioning of a large number of actual markets, including fine wines, movies, luxury goods, pop music, and legal services. (shrink)

This note investigates the class of finite initial segments of the cumulative hierarchy of pure sets. We show that this class is first-order definable over the class of finite directed graphs and that this class admits a first-order definable global linear order. We apply this last result to show that FO = FO.

Makkai [10] produced an arithmetical structure of Scott rank $\omega _{1}^{\mathit{CK}}$. In [9]. Makkai's example is made computable. Here we show that there are computable trees of Scott rank $\omega _{1}^{\mathit{CK}}$. We introduce a notion of "rank homogeneity". In rank homogeneous trees, orbits of tuples can be understood relatively easily. By using these trees, we avoid the need to pass to the more complicated "group trees" of [10] and [9]. Using the same kind of (...) trees, we obtain one of rank $\omega _{1}^{\mathit{CK}}$ that is "strongly computably approximable". We also develop some technology that may yield further results of this kind. (shrink)

If [Formula: see text] is a proper Polish metric space and [Formula: see text] is any countable dense submetric space of [Formula: see text], then the Scott rank of [Formula: see text] in the natural first-order language of metric spaces is countable and in fact at most [Formula: see text], where [Formula: see text] is the Church–Kleene ordinal of [Formula: see text] which is the least ordinal with no presentation on [Formula: see text] computable from [Formula: see text]. (...) If [Formula: see text] is a rigid Polish metric space and [Formula: see text] is any countable dense submetric space, then the Scott rank of [Formula: see text] is countable and in fact less than [Formula: see text]. (shrink)

Let $T$ be a theory in a countable fragment of $\mathcal{L}_{\omega_{1},\omega}$ whose extensions in countable fragments have only countably many types. Sacks proves a bounding theorem that generates models of high Scott rank. For this theorem, a tree hierarchy is developed for $T$ that enumerates these extensions. In this paper, we effectively construct a predecessor function for formulas defining types in this tree hierarchy as follows. Let $T_{\gamma}\subseteq T_{\delta}$ with $T_{\gamma}$- and $T_{\delta}$-theories on level $\gamma$ and $\delta$, respectively. (...) Then if $\ulcorner p\urcorner $ is a formula that defines a type for $T_{\delta}$, our predecessor function provides a formula for defining its subtype in $T_{\gamma}$. By constructing this predecessor function, we weaken an assumption for Sacks’s result. (shrink)

We define some variations of the Scott rank for countable models and obtain some inequalities involving the ranks. For mono-unary algebras we prove that the game rank of any subtree does not exceed the game rank of the whole model. However, similar questions about linear orders remain unresolved.

We define the Scott complexity of a countable structure to be the least complexity of a Scott sentence for that structure. This is a finer notion of complexity than Scott rank: it distinguishes between whether the simplest Scott sentence is $\Sigma _{\alpha }$, $\Pi _{\alpha }$, or $\mathrm {d-}\Sigma _{\alpha }$. We give a complete classification of the possible Scott complexities, including an example of a structure whose simplest Scott sentence is $\Sigma _{\lambda (...) + 1}$ for $\lambda $ a limit ordinal. This answers a question left open by A. Miller.We also construct examples of computable structures of high Scott rank with Scott complexities $\Sigma _{\omega _1^{CK}+1}$ and $\mathrm {d-}\Sigma _{\omega _1^{CK}+1}$. There are three other possible Scott complexities for a computable structure of high Scott rank: $\Pi _{\omega _1^{CK}}$, $\Pi _{\omega _1^{CK}+1}$, $\Sigma _{\omega _1^{CK}+1}$. Examples of these were already known. Our examples are computable structures of Scott rank $\omega _1^{CK}+1$ which, after naming finitely many constants, have Scott rank $\omega _1^{CK}$. The existence of such structures was an open question. (shrink)

For countable structure, "Scott rank" provides a measure of internal, model-theoretic complexity. For a computable structure, the Scott rank is at most [Formula: see text]. There are familiar examples of computable structures of various computable ranks, and there is an old example of rank [Formula: see text]. In the present paper, we show that there is a computable structure of Scott rank [Formula: see text]. We give two different constructions. The first starts with (...) an arithmetical example due to Makkai, and codes it into a computable structure. The second re-works Makkai's construction, incorporating an idea of Sacks. (shrink)

For countable structure, "Scott rank" provides a measure of internal, model-theoretic complexity. For a computable structure, the Scott rank is at most [Formula: see text]. There are familiar examples of computable structures of various computable ranks, and there is an old example of rank [Formula: see text]. In the present paper, we show that there is a computable structure of Scott rank [Formula: see text]. We give two different constructions. The first starts with (...) an arithmetical example due to Makkai, and codes it into a computable structure. The second re-works Makkai's construction, incorporating an idea of Sacks. (shrink)

We give Scott sentences for certain computable groups, and we use index set calculations as a way of checking that our Scott sentences are as simple as possible. We consider finitely generated groups and torsion-free abelian groups of finite rank. For both kinds of groups, the computable ones all have computable \ Scott sentences. Sometimes we can do better. In fact, the computable finitely generated groups that we have studied all have Scott sentences that are (...) “computable d-\” sentence and a computable \ sentence). In [9], this was shown for the finitely generated free groups. Here we show it for all finitely generated abelian groups, and for the infinite dihedral group. Among the computable torsion-free abelian groups of finite rank, we focus on those of rank 1. These are exactly the additive subgroups of \. We show that for some of these groups, the computable \ Scott sentence is best possible, while for others, there is a computable d-\ Scott sentence. (shrink)

Every countable structure has a sentence of the infinitary logic $\mathcal {L}_{\omega _1 \omega }$ which characterizes that structure up to isomorphism among countable structures. Such a sentence is called a Scott sentence, and can be thought of as a description of the structure. The least complexity of a Scott sentence for a structure can be thought of as a measurement of the complexity of describing the structure. We begin with an introduction to the area, with short and (...) simple proofs where possible, followed by a survey of recent advances. (shrink)

We prove that every quasi-Hopfian finitely presented structure _A_ has a _d_- \(\Sigma _2\) Scott sentence, and that if in addition _A_ is computable and _Aut_(_A_) satisfies a natural computable condition, then _A_ has a computable _d_- \(\Sigma _2\) Scott sentence. This unifies several known results on Scott sentences of finitely presented structures and it is used to prove that other not previously considered algebraic structures of interest have computable _d_- \(\Sigma _2\) Scott sentences. In particular, (...) we show that every right-angled Coxeter group of finite rank has a computable _d_- \(\Sigma _2\) Scott sentence, as well as any strongly rigid Coxeter group of finite rank. Finally, we show that the free projective plane of rank 4 has a computable _d_- \(\Sigma _2\) Scott sentence, thus exhibiting a natural example where the assumption of quasi-Hopfianity is used (since this structure is not Hopfian). (shrink)

Let U and B be two countable relational models of the same first order language. If the models are nonisomorphic, there is a unique countable ordinal α with the property that $\mathfrak{U} \equiv^\alpha_{\infty\omega} \mathfrak{B} \text{but not} \mathfrak{U} \equiv^{\alpha + 1}_{\infty\omega} \mathfrak{B},$ i.e. U and B are L ∞ω -equivalent up to quantifier-rank α but not up to α + 1. In this paper we consider models U and B of cardinality ω 1 and construct trees which have a similar (...) relation to U and B as α above. For this purpose we introduce a new ordering T ≪ T' of trees, which may have some independent interest of its own. It turns out that the above ordinal α has two qualities which coincide in countable models but will differ in uncountable models. Respectively, two kinds of trees emerge from α. We call them Scott trees and Karp trees, respectively. The definition and existence of these trees is based on an examination of the Ehrenfeucht game of length ω 1 between U and B. We construct two models of power ω 1 with 2 ω 1 mutually noncomparable Scott trees. (shrink)

The first main result isolates some conditions which fail for the class of graphs and hold for the class of Abelian p-groups, the class of Abelian torsion groups, and the special class of "rank-homogeneous" trees. We consider these conditions as a possible definition of what it means for a class of structures to have "Ulm type". The result says that there can be no Turing computable embedding of a class not of Ulm type into one of Ulm type. We (...) apply this result to show that there is no Turing computable embedding of the class of graphs into the class of "rank-homogeneous" trees. The second main result says that there is a Turing computable embedding of the class of rank-homogeneous trees into the class of torsion-free Abelian groups. The third main result says that there is a "rank-preserving" Turing computable embedding of the class of rank-homogeneous trees into the class of Boolean algebras. Using this result, we show that there is a computable Boolean algebra of Scott rank ${\mathrm{\omega }}_{1}^{\mathrm{C}\mathrm{K}}$. (shrink)

We calculate the complexity of Scott sentences of scattered linear orders. Given a countable scattered linear order L of Hausdorff rank $\alpha $ we show that it has a ${d\text {-}\Sigma _{2\alpha +1}}$ Scott sentence. It follows from results of Ash [2] that for every countable $\alpha $ there is a linear order whose optimal Scott sentence has this complexity. Therefore, our bounds are tight. We furthermore show that every Hausdorff rank 1 linear order has (...) an optimal ${\Pi ^{\mathrm {c}}_{3}}$ or ${d\text {-}\Sigma ^{\mathrm {c}}_{3}}$ Scott sentence and give a characterization of those linear orders of rank $1$ with ${\Pi ^{\mathrm {c}}_{3}}$ optimal Scott sentences. At last we show that for all countable $\alpha $ the class of Hausdorff rank $\alpha $ linear orders is $\boldsymbol {\Sigma }_{2\alpha +2}$ complete and obtain analogous results for index sets of computable linear orders. (shrink)

This paper calculates, in a precise way, the complexity of the index sets for three classes of computable structures: the class $K_{\omega _{1}^{\mathit{CK}}}$ of structures of Scott rank $\omega _{1}^{\mathit{CK}}$ , the class $K_{\omega _{1}^{\mathit{CK}}+1}$ of structures of Scott rank $\omega _{1}^{\mathit{CK}}+1$ , and the class K of all structures of non-computable Scott rank. We show that I(K) is m-complete $\Sigma _{1}^{1},\,I(K_{\omega _{1}^{\mathit{CK}}})$ is m-complete $\Pi _{2}^{0}$ relative to Kleen's O, and $I(K_{\omega _{1}^{\mathit{CK}}+1})$ is (...) m-complete $\Sigma _{2}^{0}$ relative to O. (shrink)

Hjorth introduced a Scott analysis for general Polish group actions, and asked whether his notion of rank satisfies a boundedness principle similar to the one of Scott rank—namely, if the orbit equivalence relation is Borel, then Hjorth ranks are bounded. We answer Hjorth’s question positively. As a corollary we prove the following conjecture of Hjorth—for every limit ordinal \, the set of elements whose orbit is of complexity less than \ is a Borel set.

This article critically interrogates contemporary forms of addiction medicine that are portrayed by policy-makers as providing a ‘rational’ or politically neutral approach to dealing with drug use and related social problems. In particular, it examines the historical origins of the biological facts that are today understood to provide a foundation for contemporary understandings of addiction as a ‘disease of the brain’. Drawing upon classic and contemporary work on ‘styles of thought’, it documents how, in the period between the mid-1960s and (...) the mid-1970s, such facts emerged in relation to new neurobiological styles of explaining and managing social problems associated with drug abuse, and an alliance between a relatively marginal group of researchers and American policy-makers who were launching the ‘War on Drugs’. Beyond illustrating the political and material conditions necessary for the rise of addiction neuroscience, the article highlights the productivity of neurobiological thought styles, by focusing on the new biological objects, treatments and hopes that have emerged within the field of addiction studies over the last several decades. (shrink)

In an important and widely cited paper, Zerilli, Knott, Maclaurin, and Gavaghan (2019) argue that opaque AI decision makers are at least as transparent as human decision makers and therefore the concern that opaque AI is not sufficiently transparent is mistaken. I argue that the concern about opaque AI should not be understood as the concern that such AI fails to be transparent in a way that humans are transparent. Rather, the concern is that the way in which opaque AI (...) is opaque is very different than the way in which humans are opaque. What matters is the degree to which the opaque processes of a class of decision makers are stable, uniform, and safe. The degree to which such processes have these features in humans is higher than the degree to which such processes have these features in opaque AI. And therefore we should require AI to be more transparent than humans. (shrink)

The tradition descending from Frege and Russell has typically treated theories of meaning either as theories of meanings, or as theories of truth conditions. However, propositions of the classical sort don't exist, and truth conditions can't provide all the information required by a theory of meaning. In this book, one of the world's leading philosophers of language offers a way out of this dilemma. Traditionally conceived, propositions are denizens of a "third realm" beyond mind and matter, "grasped" by mysterious Platonic (...) intuition. As conceived here, they are cognitive-event types in which agents predicate properties and relations of things--in using language, in perception, and in nonlinguistic thought. Because of this, one's acquaintance with, and knowledge of, propositions is acquaintance with, and knowledge of, events of one's cognitive life. This view also solves the problem of "the unity of the proposition" by explaining how propositions can be genuinely representational, and therefore bearers of truth. The problem, in the traditional conception, is that sentences, utterances, and mental states are representational because of the relations they bear to inherently representational Platonic complexes of universals and particulars. Since we have no way of understanding how such structures can be representational, independent of interpretations placed on them by agents, the problem is unsolvable when so conceived. However, when propositions are taken to be cognitive-event types, the order of explanation is reversed and a natural solution emerges. Propositions are representational because they are constitutively related to inherently representational cognitive acts. Strikingly original, What Is Meaning? is a major advance. (shrink)

An original interpretation of Merleau-Ponty on subjectivity, drawing from and challenging both the continental and analytic traditions.

In the middle of the twentieth century a dispute erupted between the chief architect of Logical Empiricism, Rudolf Carnap, and Logical Empiricism’s chief reformer, Willard van Orman Quine -- who was attempting to save what he took to be its main insights by recasting them in a more acceptable form. Though both eschewed metaphysics of the traditional apriori sort, and both were intent on making the investigation of science the center of philosophy, they disagreed about how to do so. Part (...) of the disagreement involved the nature of ontological disputes. The central documents in the debate are: (i) Quine’s 1948 article, “On What There Is,” which tells us how to discern ontological.. (shrink)

It is widely believed that Perelman and Olbrechts-Tyteca’s theory of argumentation is vulnerable to the charge of relativism. This paper provides a more charitable interpretation of Perelman and Olbrechts-Tyteca’s normative views, one that properly considers the historical trajectory of their work and a wider range of texts than existing interpretations. It is argued that their views are better characterized as a form of “contrastivism about arguments” than any kind relativism. This more accurate depiction contributes to ongoing efforts to revive interest (...) in Perelman and Olbrechts-Tyteca’s work as well as build bridges with trends in contemporary argumentation theory. (shrink)

We prove that the Wadge order on the Borel subsets of the Scott domain is not a well-quasi-order, and that this feature even occurs among the sets of Borel rank at most 2. For this purpose, a specific class of countable 2-colored posets$\mathbb{P}_{emb} $equipped with the order induced by homomorphisms is embedded into the Wadge order on the$\Delta _2^0 $-degrees of the Scott domain. We then show that$\mathbb{P}_{emb} $admits both infinite strictly decreasing chains and infinite antichains with (...) respect to this notion of comparison, which therefore transfers to the Wadge order on the$\Delta _2^0 $-degrees of the Scott domain. (shrink)

_An original interpretation of Merleau-Ponty on subjectivity, drawing from and challenging both the continental and analytic traditions._.

Science and the originality of life -- Christian facticity -- Grasping life as a topic -- Ruinance -- The retrieval of history -- Facticity and ontology -- Factical speaking -- Rhetoric -- Sophistry.

Albert Einstein's bold assertion of the form-invariance of the equation of a spherical light wave with respect to inertial frames of reference became, in the space of six years, the preferred foundation of his theory of relativity. Early on, however, Einstein's universal light-sphere invariance was challenged on epistemological grounds by Henri Poincaré, who promoted an alternative demonstration of the foundations of relativity theory based on the notion of a light-ellipsoid. Drawing in part on archival sources, this paper shows how an (...) informal, international group of physicists, mathematicians, and engineers, including Einstein, Paul Langevin, Poincaré, Hermann Minkowski, Ebenezer Cunningham, Harry Bateman, Otto Berg, Max Planck, Max Laue, A. A. Robb, and Ludwig Silberstein, employed figures of light during the formative years of relativity theory in their discovery of the salient features of the relativistic worldview. (shrink)

Canada has followed the pattern of Benelux nations by legislating sufferingSuffering as the pivotal eligibilityEligibilitycriterionCriterion for euthanasiaEuthanasia/assisted death without requiring terminal prognosis as is needed in most permissive jurisdictions. This chapter will explore the relationship between sufferingSuffering and Medical Assistance in Dying (MAID) and the ways in which sufferingSuffering is understood in the Supreme Court of Canada, the federal Criminal Code legislation and by health care assessors. Based on this analysis, we will argue that the resulting sufferingSufferingeligibilityEligibilitycriterionCriterion leaves the law (...) open to unintended forms of interpretation, thus instituting perhaps the most unbounded and risk-prone form of assisted death in the world. A review of the literature on sufferingSuffering, the wish to dieWish to die, and reasons for MAIDReasons for MAID requests found sufferingSuffering of severe illness to be frequently associated with unstable mental health, social, and existentialExistential variables that are often amenable to therapy or remediation. While sufferingSuffering remains a powerful motivating force to seek opportunities to relieve distress, its use as an eligibilityEligibilitycriterionCriterion for MAID has significant ambiguity in its’ characterization of ‘enduring’ and ‘irremediable’ and thus fails to protect against abuse for the vulnerable. (shrink)

This study renders the complex corpus of the Guodian texts into a more easily manageable form, incorporating the past several years of scholarly activity on these texts and providing them with a comprehensive introduction along with a complete and well-annotated translation into English.