This dissertation intends to contribute to the discussion about the asymmetry W. V. Quine sees between indeterminacy of translation and underdetermination of theory. Quine often formulates the asymmetry by saying that there is a fact of the matter to physics but none to translation. The first chapters of the dissertation constitute an attempt of clarification of that notion of fact of the matter. They contain an analysis of the relations between Quine's notion of fact of the matter, his physicalism, and (...) his conception of truth. The main conclusion of those chapters is that the notion of fact of the matter is physicalistic, which means that it is what, according to Quine, embodied the nature of extralinguistic reality that determines truth. The next chapters contain an analysis of Quine's indeterminacy of translation thesis and underdetermination of theory. The main conclusions of those chapters are the following: indeterminacy of translation is an ontological thesis, and its content has not changed through Quine's writings, although the formulations of the thesis have varied; Quine's definitive arguments for indeterminacy of translation are not to be found in his physicalism, but in his behaviorism; underdetermination of theory is a methodological doctrine, for it concerns the evidential link between observation and theory; there is an asymmetry between indeterminacy of translation and underdetermination of theory. The remaining chapters of the dissertation constitute a review of the main texts by other authors addressing Quine's claim that there is an asymmetry between indeterminacy of translation and underdetermination of theory. The positions of Noam Chomsky, Richard Rorty, and Micheal Friedman are analyzed and criticized. The positions of Dagfinn Follesdal and Roger Gibson have appeared to our lights as the ones that should be taken most seriously. Follesdal is the one who seems to have accomplished the last progresses in the discussion over the asymmetry between underdetermination of theory and indeterminacy of translation by distinguishing clearly Quine's epistemological arguments for indeterminacy of translation thesis from the ontological content of that thesis. (shrink)

Philosophy and Phenomenological Research, EarlyView.

The Analysis of Matter is perhaps best known for marking Russell's rejection of phenomenalism and his development of a variety of Lockean representationalism–-Russell's causal theory of perception. This occupies Part 2 of the work. Part 1, which is certainly less well known, contains many observations on twentieth-century physics. Unfortunately, Russell's discussion of relativity and the foundations of physical geometry is carried out in apparent ignorance of Reichenbach's and Carnap's investigations in the same period. The issue of conventionalism in its then (...) contemporary form is simply not discussed. The only writers of the period who appear to have had any influence on Russell's conception of the philosophical issues raised by relativity were Whitehead and Eddington. Even the work of A. A. Robb fails to receive any extended discussion;1 although Robb's causal theory is certainly relevant to many of Russell's concerns, especially those voiced in Part 3, regarding the construction of points and the topology of space-time. In the case of quantum mechanics, the idiosyncrasy of Russell's selection of topics is more understandable, since the Heisenberg and Schrödinger theories were only just discovered. Nevertheless, it seems bizarre to a contemporary reader that Russell should have given such emphasis2 to G. N. Lewis's suggestion that an atom emits light only when there is another atom to receive it–-a suggestion reminiscent of Leibniz, and one to which Russell frequently returns. In short, the philosophical problems of modern physics with which Russell deals seem remote from the perspective of post-positivist philosophy of physics. (shrink)

Few novel or emerging infectious diseases have posed such vital ethical challenges so quickly and dramatically as the novel coronavirus SARS‐CoV‐2. The World Health Organization declared a public health emergency of international concern and recently classified Covid‐19 as a worldwide pandemic. As of this writing, the epidemic has not yet peaked in the United States, but community transmission is widespread. President Trump declared a national emergency as fifty governors declared state emergencies. In the coming weeks, hospitals will become overrun, stretched (...) to their capacities. When the health system becomes stretched beyond capacity, how can we ethically allocate scarce health goods and services? How can we ensure that marginalized populations can access the care they need? What ethical duties do we owe to vulnerable people separated from their families and communities? And how do we ethically and legally balance public health with civil liberties? (shrink)

Scientific disagreements are an important catalyst for scientific progress. But what happens when scientists disagree amidst times of crisis, when we need quick yet reliable policy guidance? In this paper we provide a normative account for how scientists facing disagreement in the context of ‘fast science’ should respond, and how policy makers should evaluate such disagreement. Starting from an argumentative, pragma-dialectic account of scientific controversies, we argue for the importance of ‘higher-order evidence’ (HOE) and we specify desiderata for scientifically relevant (...) HOE. We use our account to analyze the controversy about the aerosol transmission of COVID-19. (shrink)

'...a 'must read' for all students of constitutional law, whatever their academic discipline...this excellent book accomplishes the author's purpose: it forces us to take textualism seriously.'-LEGAL STUDIES FORUM.

Legal systems often rule that people own objects in their territory. We propose that an early-developing ability to make territory-based inferences of ownership helps children address informational demands presented by ownership. Across 6 experiments (N = 504), we show that these inferences develop between ages 3 and 5 and stem from two aspects of the psychology of ownership. First, we find that a basic ability to infer that people own objects in their territory is already present at age 3 (Experiment (...) 1). Children even make these inferences when the territory owner unintentionally acquired the objects and was unaware of them (Experiments 2 and 3). Second, we find that between ages 3 and 5, children come to consider past events in these judgments. They move from solely considering the current location of an object in territory-based inferences, to also considering and possibly inferring where it originated (Experiments 4 to 6). Together, these findings suggest that territory-based inferences of ownership are unlikely to be constructions of the law. Instead, they may reflect basic intuitions about ownership that operate from early in development. (shrink)

The appearance of consciousness in the universe remains one of the major mysteries unsolved by science or philosophy. Absent an agreed-upon definition of consciousness or even a convenient system to test theories of consciousness, a confusing heterogeneity of theories proliferate. In pursuit of clarifying this complicated discourse, we here interpret various frameworks for the scientific and philosophical study of consciousness through the lens of social insect evolutionary biology. To do so, we first discuss the notion of a forward test versus (...) a reverse test, analogous to the normal and revolutionary phases of the scientific process. Contemporary theories of consciousness are forward tests for consciousness, in that they strive to become a means to classify the level of consciousness of arbitrary states and systems. Yet no such theory of consciousness has earned sufficient confidence such that it might be actually used as a forward test in ambiguous settings. What is needed now is thus a legitimate reverse test for theories of consciousness, to provide internal and external calibration of different frameworks. A reverse test for consciousness would ideally look like a method for referencing theories of consciousness to a tractable model system. We introduce the Ant Colony Test as a rigorous reverse test for consciousness. We show that social insect colonies, though disaggregated collectives, fulfill many of the prerequisites for conscious awareness met by humans and honey bee workers. A long lineage of philosophically-neutral neurobehavioral, evolutionary, and ecological studies on social insect colonies can thus be redeployed for the study of consciousness in general. We suggest that the ACT can provide insight into the nature of consciousness, and highlight the ant colony as a model system for ethically performing clarifying experiments about consciousness. (shrink)

How can metaphors account for the formation of mathematical concepts, for changes in mathematical practices, or for the handling of mathematical problems? Following Hans Blumenberg’s thought, this paper aims to unfold a possible answer to these questions by viewing the metaphorical frameworks accompanying these changes as essential for an understanding of how changes in mathematical practices have been accounted for. I will focus especially on cases in which these changes were caused by encounters with a mathematical object which did not (...) yet have a well-defined concept, but also show that such indeterminacy remains with the mathematical concept even after it is considered ‘well-defined’. As the paper will show, this ‘forefield’ [Vorfeld] of the concept is addressed by Blumenberg’s account of metaphorology on the one hand, and accompanied by his later account of nonconceptuality [Unbegrifflichkeit] on the other hand. While Blumenberg himself did not develop a full-fledged philosophy of mathematics or of mathematical practices, I aim to show that one can nevertheless extract from his writings a unique position concerning the role metaphors play in mathematics. To this end, Blumenberg’s account of nautical and oceanic metaphors and Alexandre Grothendieck’s philosophy of mathematical practice provide fruitful starting points. (shrink)

People use commonsense science knowledge to flexibly explain, predict, and manipulate the world around them, yet we lack computational models of how this commonsense science knowledge is represented, acquired, utilized, and revised. This is an important challenge for cognitive science: Building higher order computational models in this area will help characterize one of the hallmarks of human reasoning, and it will allow us to build more robust reasoning systems. This paper presents a novel assembled coherence theory of human conceptual change, (...) whereby people revise beliefs and mental models by constructing and evaluating explanations using fragmentary, globally inconsistent knowledge. We implement AC theory with Timber, a computational model of conceptual change that revises its beliefs and generates human-like explanations in commonsense science. Timber represents domain knowledge using predicate calculus and qualitative model fragments, and uses an abductive model formulation algorithm to construct competing explanations for phenomena. Timber then scores competing explanations with respect to previously accepted beliefs, using a cost function based on simplicity and credibility, identifies a low-cost, preferred explanation and accepts its constituent beliefs, and then greedily alters previous explanation preferences to reduce global cost and thereby revise beliefs. Consistency is a soft constraint in Timber; it is biased to select explanations that share consistent beliefs, assumptions, and causal structure with its other, preferred explanations. In this paper, we use Timber to simulate the belief changes of students during clinical interviews about how the seasons change. We show that Timber produces and revises a sequence of explanations similar to those of the students, which supports the psychological plausibility of AC theory. (shrink)

Recovery is a commonly used concept in both professional and everyday contexts. Yet despite its extensive use, it has not drawn much philosophical attention. In this paper, I question the common understanding of recovery, show how the concept is inadequate, and introduce new and much needed terminology. I argue that recovery glosses over important distinctions and even misrepresents the process of moving away from malady as "going back" to a former state of health. It does not invite important nuances needed (...) to distinguish between biomedical, phenomenological, and social perspectives. In addition, I claim that there are many conditions where we are making use of the concept of recovery, although the person recovered from the condition in question, has not regained the same degree of soundness. I show how the concept of recovery leads to conceptual discrepancies that can result in worsening patients' conditions. To gain a fuller understanding, I propose to rethink the direction of the process in question. I define the process of moving away from malady as a move forward towards a new state of soundness. I also suggest three terms, corresponding to different perspectives, to describe this movement forward: 'curing', 'healing', and 'habilitating'. This new terminology provides a more nuanced understanding of the states of both malady and soundness and an attentiveness as to how they differ and relate. (shrink)

Recent discussions of logical pluralism trace its origins to Rudolf Carnap’s principle of tolerance; indeed, the principle is seen as one of Carnap’s lasting philosophical contributions. In this paper, I will argue that Carnap’s reasons for adopting this principle are not purely logical, but are rather founded in the Vienna Circle’s manifesto—a programmatic document that brings the Circle’s philosophical work together with a program of social change. Building on work by Uebel, Romizi, and others, I argue that we must understand (...) the principle in light of Carnap’s role in writing the manifesto, and thus as integrated into the larger philosophical and political goals of the Circle. This history illuminates the often-ignored relationship between Carnap’s logical pluralism and his political views. Finally, I turn to the political situation of the post-World War 2 period in the United States. During this time, the Circle’s emigres in the USA transitioned their work from active efforts to reform society to the technical work that we recognize as the foundation of American analytic philosophy today. In this final section, I argue that the reasons that Carnap distanced himself from the political foundations of his view were due in large part to McCarthy-era persecution of left-wing academics. (shrink)

The subtle, almost ineffable, and ineffable cardinals were introduced in an unpublished 1971 manuscript of R. Jensen and K. Kunen. The concepts were extended to that of k-subtle, k-almost ineffable, and k-ineffable cardinals in 1975 by J. Baumgartner. In this paper we give a self contained treatment of the basic facts about this level of the large cardinal hierarchy, which were established by J. Baumgartner. In particular, we give a proof that the k-subtle, k-almost ineffable, and k-ineffable cardinals define three (...) properly intertwined hierarchies with the same limit, lying strictly above “total indescribability” and strictly below “arrowing ω”. The innovation here is presented in Section 2, where we take a distinctly minimalist approach. Here the subtle cardinal hierarchy is characterized by very elementary properties that do not mention closed unbounded or stationary sets. This development culminates in a characterization of the hierarchy by means of a striking universal second-order property of linear orderings. (shrink)

: Subpart D of 45 CFR 46 focuses on research involving children. Section 46.407 addresses research that is not otherwise approvable. The research is not otherwise approvable because either (1) it seeks to enroll healthy children, but offers no prospect of direct benefit and entails more than minimal risk; or (2) it seeks to enroll children with a disorder or condition, but offers no prospect of direct benefit and entails more than a minor increase over minimal risk. According to 46.407, (...) such research can be permissible if it is approved by a panel of experts. Prior to 2000, only two 407 panels had been convened, but in 2001, the Office for Human Research Protections received more than 20 protocols for 407 review. The first, entitled "Precursors to Diabetes in Japanese American Youth," serves here as a case study in human subject protections. (shrink)

Boyer proposes that ownership intuitions depend on tracking cues predictive of agents’ motivations to compete for resources. However, the account may mis-predict people's intuitions about ownership, and it may also be too cognitively costly to be feasible. Even so, alternative accounts could benefit by taking inspiration from how the account handles thorny issues in the psychology of ownership.

Set-theoretic and category-theoretic foundations represent different perspectives on mathematical subject matter. In particular, category-theoretic language focusses on properties that can be determined up to isomorphism within a category, whereas set theory admits of properties determined by the internal structure of the membership relation. Various objections have been raised against this aspect of set theory in the category-theoretic literature. In this article, we advocate a methodological pluralism concerning the two foundational languages, and provide a theory that fruitfully interrelates a ‘structural’ perspective (...) to a set-theoretic one. We present a set-theoretic system that is able to talk about structures more naturally, and argue that it provides an important perspective on plausibly structural properties such as cardinality. We conclude the language of set theory can provide useful information about the notion of mathematical structure. (shrink)

We can equivalently present this by the recursion equations f1(n) = 2n, fk+1(1) = fk(1), fk+1(n+1) = fk(fk+1(n)), where k,n ≥ 1. We define A(k,n) = fk(n).

This paper addresses the knowledge required for individuals to evaluate Information and Communications Technologies decisions that relate to the organization and management of cyberspace, and to hold accountable the parties responsible for those decisions, whether the responsible party is a government actor, market actor or private individual. The authors argue that the Open Systems Interconnection model, with certain modifications, should serve as a primary educational tool in helping individuals to gain the understanding of ICT necessary to protect public interests related (...) to cyberspace. (shrink)

Preview: /Review: Paul Giladi, ed., Responses to Naturalism: Critical Perspectives from Idealism and Pragmatism (New York, NY, Routledge, 2020), 330 pages./ Although Bergson does not have a prominent place in this outstanding new volume of essays edited by Paul Giladi, Responses to Naturalism: Critical Perspectives from Idealism and Pragmatism, the book helped me follow through from my ongoing study of Bergson’s work. The book shows the development and continued dominance of the naturalistic position in philosophy. The book also shows the (...) increasing efforts by contemporary philosophers to make a creative use of the history of philosophy in order to engage with contemporary naturalism and to appropriate what is of value in it and in other philosophical traditions in moving forward. The book suggests how various strands of idealism and pragmatism may have much to contribute in formulating alternatives to or enriching philosophical naturalism. (shrink)

In recent years higher recursion theory has experienced a deep interaction with other areas of logic, particularly set theory (fine structure, forcing, and combinatorics) and infinitary model theory. In this paper we wish to illustrate this interaction by surveying the progress that has been made in two areas: the global theory of the κ-degrees and the study of closure ordinals.

Robert Frost read "The Gift Outright" to the Phi Beta Kappa Society at William & Mary College almost one hundred years after Emerson delivered his famous lecture "The American Scholar" before the Society's Harvard chapter. In his talk, Emerson proclaims, "Our day of dependence, our long apprenticeship to the learning of other lands, draws to a close" (Essays and Poems 53). It is no accident that Frost's poem brings to mind Emerson.1 The possession of the American imagination by other lands (...) and its "withholding from our land of living" declare the same distractions. The distance between ourselves and our own possibilities represents for Emerson the misdirection backwards toward Europe, and not forward to the land .. (shrink)

The stable core, an inner model of the form $\langle L[S],\in, S\rangle $ for a simply definable predicate S, was introduced by the first author in [8], where he showed that V is a class forcing extension of its stable core. We study the structural properties of the stable core and its interactions with large cardinals. We show that the $\operatorname {GCH} $ can fail at all regular cardinals in the stable core, that the stable core can have a discrete (...) proper class of measurable cardinals, but that measurable cardinals need not be downward absolute to the stable core. Moreover, we show that, if large cardinals exist in V, then the stable core has inner models with a proper class of measurable limits of measurables, with a proper class of measurable limits of measurable limits of measurables, and so forth. We show this by providing a characterization of natural inner models $L[C_1, \dots, C_n]$ for specially nested class clubs $C_1, \dots, C_n$, like those arising in the stable core, generalizing recent results of Welch [29]. (shrink)

We construct two Borel equivalence relations on the generalized Baire space κκ, κ ω, with the property that neither of them is Borel reducible to the other. A small modification of the construction shows that the straightforward generalization of the Glimm-Effros dichotomy fails.

The essay is an attempt to examine aspects of legal interpretation from an external, sociological point of view. “Interpretation”, in its normal juristic sense, is primarily a process in which decision‐makers with secondary legitimacy link their decisions to authority of primary legitimacy. The type of legitimacy which is dominant within the legal system greatly influences the style of interpretation ‐ in “closed” systems, where the stock of premises is fixed, “legalism” will abound. Legal interpretation is not concerned with what a (...) text really means, in any literal sense; and standards for judging legal interpretation are different from the standards of judging other forms of communication, for example, literature. Indeed, a judge can be considered great precisely because of his creative acts of misinterpretation. (shrink)

Does the materiality of a three-dimensional model have an effect on how this model operates in an exploratory way, how it prompts discovery of new mathematical results? Material mathematical models were produced and used during the second half of the nineteenth century, visualizing mathematical objects, such as curves and surfaces—and these were produced from a variety of materials: paper, cardboard, plaster, strings, wood. However, the question, whether their materiality influenced the status of these models—considered as exploratory, technical, or representational—was hardly (...) touched upon. This article aims to approach this question by investigating two case studies: Beltrami’s paper models vs. Dyck’s plaster ones of the hyperbolic plane; and Chisini’s string models of braids vs. Artin’s and Moishezon’s algebraization of these braids. These two case studies indicate that materiality might have a decisive role in how the model was taken into account mathematically: either as an exploratory or rather as a technical or pedagogical object. (shrink)

The book attempts to develop an account of simplicity in terms of testability, and to use this account to provide an adequate characterization of induction, one immune to the class of problems suggested by Nelson Goodman. It is then shown that the past success of induction, thus characterized, constitutes evidence for its future success. A qualitative measure of confirmation is developed, and this measure - along with the considerations of simplicity - is used to provide an account of the consilience (...) of inductions, and also an inductivist account of the structure and progress of scientific theory. An appendix extends the treatment of simplicity to statistical distributions and provides a reasonable interpretation of the maximum entropy principle. Thus, this book is an attempt to characterize induction in terms of a well-defined notion of simplicity and to use that characterization as a basis of an account of empirical, and in particular, scientific reasoning. (shrink)

i. Proofless text is based on a variant of ZFC with free logic. Here variables always denote, but not all terms denote. If a term denotes, then all subterms must denote. The sets are all in the usual extensional cumulative hierarchy of sets. There are no urelements.

There is a PCA well-ordering of the real line if and only if there is a real from which every real is constructible.

This essay examines the implications for modernist studies of using the term after in After Modernism to suggest three meanings: after assuming an end-date for modernism based on linear periodizati...

Reading a book for a review is not the same as reading for pleasure or research. The voice of the ‘critic’—or the critic one would like to be—muffles the voice of the text. Reviewing a book on reading, written by a writer, is as disconcerting as speaking with an old high school English teacher. I take courage from Emerson. In “The Poet,” an essay to which Richard Deming often returns, Emerson offers: Doubt not, O poet, but persist. Say, “It is (...) in me, and shall out.” Stand there, baulked and dumb, stuttering and stammering, hissed and hooted, stand and strive, until, at last, rage draw out of thee that dream-power which every night shows thee is thine own; a power... (shrink)

In the great kingdoms of ancient Mesopotamia, the king’s power was often evoked by means of lion symbolism. This has led scholars to conclude that lion motifs, and especially that of the lion-slaying hero, in early Greek art and literature were cultural borrowings from the more populous and urbanised civilisations to the east. Yet it is also notable that the Greek tradition, at least from the time of the Homeric poems, tended to problematise the ethics of the leonine man. This (...) article explores the function of lion imagery in narratives of elite masculinity in western Asia and early Greece respectively. It will argue that Greek myth and epic reflect on and problematise any potential equation between lions and kingly prestige, power and masculinity, instead drawing attention to the savagery and social isolation of the lion-like man-of-power, and his difficulty in conforming to the expectations of civilised society. (shrink)