We characterise explicitly the decidable predicates on integers of Infinite Time Turing machines, in terms of admissibility theory and the constructible hierarchy. We do this by pinning down ζ, the least ordinal not the length of any eventual output of an Infinite Time Turing machine (halting or otherwise); using this the Infinite Time Turing Degrees are considered, and it is shown how the jump operator coincides with the production of mastercodes for the constructible hierarchy; further that the natural ordinals associated (...) with the jump operator satisfy a Spector criterion, and correspond to the L ζ -stables. It also implies that the machines devised are "Σ 2 Complete" amongst all such other possible machines. It is shown that least upper bounds of an "eventual jump" hierarchy exist on an initial segment. (shrink)

We locate winning strategies for various ${\mathrm{\Sigma }}_{3}^{0}$ -games in the L-hierarchy in order to prove the following: Theorem 1. KP+Σ₂-Comprehension $\vdash \exists \alpha L_{\alpha}\ models"\Sigma _{2}-{\bf KP}+\Sigma _{3}^{0}-\text{Determinacy}."$ Alternatively: ${\mathrm{\Pi }}_{3}^{1}\text{\hspace{0.17em}}-{\mathrm{C}\mathrm{A}}_{0}\phantom{\rule{0ex}{0ex}}$ "there is a β-model of ${\mathrm{\Delta }}_{3}^{1}-{\mathrm{C}\mathrm{A}}_{0}\text{\hspace{0.17em}}\text{\hspace{0.17em}}+\text{\hspace{0.17 em}}{\mathrm{\Sigma }}_{3}^{0}$ -Determinacy." The implication is not reversible. (The antecedent here may be replaced with ${\mathrm{\Pi }}_{3}^{1}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\left({\mathrm{\Pi }}_{3}^{1}\right)-{\mathrm{C}\mathrm{A}}_{0}:\text{\hspace{0.17em}}{\mathrm{\Pi }}_{3}^{1}$ instances of Comprehension with only ${\mathrm{\Pi }}_{3}^{1}$ -lightface definable parameters—or even weaker theories.) Theorem 2. KP +Δ₂-Comprehension +Σ₂-Replacement + ${\mathrm{\Sigma }}_{3}^{0}\phantom{\rule{0ex}{0ex}}$ -Determinacy. (Here AQI (...) is the assertion that every arithmetical quasi-inductive definition converges.) Alternatively: $\Delta _{3}^{1}{\rm CA}_{0}+{\rm AQI}\nvdash \Sigma _{3}^{0}$ -Determinacy. Hence the theories: ${\mathrm{\Pi }}_{3}^{1}-{\mathrm{C}\mathrm{A}}_{0},\text{\hspace{0.17em}}{\mathrm{\Delta }}_{3}^{1}-{\mathrm{C}\mathrm{A}}_{0}+\text{\hspace{0.17em}}{\mathrm{\Sigma }}_{3}^{0}-\mathrm{D}\mathrm{e}\mathrm{t}\phantom{\rule{0ex}{0ex}}$ -Det, ${\mathrm{\Delta }}_{3}^{1}-{\mathrm{C}\mathrm{A}}_{0}+\mathrm{A}\mathrm{Q}\mathrm{I}$ , and ${\mathrm{\Delta }}_{3}^{1}-{\mathrm{C}\mathrm{A}}_{0}\phantom{\rule{0ex}{0ex}}$ are in strictly descending order of strength. (shrink)

We analyse the extent of possible computations following Hogarth ([2004]) conducted in Malament–Hogarth (MH) spacetimes, and Etesi and Németi ([2002]) in the special subclass containing rotating Kerr black holes. Hogarth ([1994]) had shown that any arithmetic statement could be resolved in a suitable MH spacetime. Etesi and Németi ([2002]) had shown that some relations on natural numbers that are neither universal nor co-universal, can be decided in Kerr spacetimes, and had asked specifically as to the extent of computational limits there. (...) The purpose of this note is to address this question, and further show that MH spacetimes can compute far beyond the arithmetic: effectively Borel statements (so hyperarithmetic in second-order number theory, or the structure of analysis) can likewise be resolved: Theorem A. If H is any hyperarithmetic predicate on integers, then there is an MH spacetime in which any query ? n H ? can be computed. In one sense this is best possible, as there is an upper bound to computational ability in any spacetime, which is thus a universal constant of that spacetime. Theorem C. Assuming the (modest and standard) requirement that spacetime manifolds be paracompact and Hausdorff, for any spacetime there will be a countable ordinal upper bound, , on the complexity of questions in the Borel hierarchy computable in it. Introduction 1.1 History and preliminaries Hyperarithmetic Computations in MH Spacetimes 2.1 Generalising SADn regions 2.2 The complexity of questions decidable in Kerr spacetimes An Upper Bound on Computational Complexity for Each Spacetime CiteULike Connotea Del.icio.us What's this? (shrink)

Consider the concept combination ‘pet human’. In word association experiments, human subjects produce the associate ‘slave’ in relation to this combination. The striking aspect of this associate is that it is not produced as an associate of ‘pet’, or ‘human’ in isolation. In other words, the associate ‘slave’ seems to be emergent. Such emergent associations sometimes have a creative character and cognitive science is largely silent about how we produce them. Departing from a dimensional model of human conceptual space, this (...) article will explore concept combinations, and will argue that emergent associations are a result of abductive reasoning within conceptual space, that is, below the symbolic level of cognition. A tensor-based approach is used to model concept combinations allowing such combinations to be formalized as interacting quantum systems. Free association norm data is used to motivate the underlying basis of the conceptual space. It is shown by analogy how some concept combinations may behave like quantum-entangled particles. Two methods of analysis were presented for empirically validating the presence of non-separable concept combinations in human cognition. One method is based on quantum theory and another based on comparing a joint probability distribution with another distribution based on a separability assumption using a chi-square goodness-of-fit test. Although these methods were inconclusive in relation to an empirical study of bi-ambiguous concept combinations, avenues for further refinement of these methods are identified. (shrink)

Experimental evidence strongly supports the view that the subdivision of organ anlagen into smaller structural units is an autonomous process. Dalcq &Pasteels' hypothesis which says that the boundaries between the different areas into which a morphogenetic field differentiates are determined by “Threshold values” in the “potential” of the field in question, is inconsistent with our present knowledge of biochemical reaction systems. Threshold values may only be used indescribing the spatial differentiation of a morphogenetic field. It is suggested that the latter (...) concept be replaced by the concept of “optimal values” in the intensity of a morphogenetic field-specific for the various chemo-differentiations characterizing the different regions into which a morphogenetic field will split up-and that each optimal value isdeterminative for the appearance of one particular differentiation within the morphogenetic field, each differentiation being formed within a certain range of intensity of the field. On the basis of the hypothesis formulated above a “virginal” morphogenetic field will necessarily differentiate into a number of smaller fields of second order, which in their turn will split up into fields of third order, etc. ” Pattern formation” may be defined as the differentiation of a morphogenetic field into an increasing number of smaller fields of higher order of qualitative different chemical and structural composition. Since differentiation of a morphogenetic field proceeds autonomously, the capacity for pattern formation is an intrinsic property of a morphogenetic field. In the light of these considerations it is suggested that a morphogenetic field action is responsible for the first differentiation of the developing embryo into regions with predominantly ectodermal, mesodermal or endodermal differentiation tendencies. The present knowledge about the characteristic pattern formation taking place in the axial mesoderm as well as in the overlying neural plate seems to be in good agreement with the implications of the present morphogenetic field concept. It is emphasized, however, that if the present morphogenetic field concept cannot be characterized further biochemically and biophysically, it will have to be replaced by another concept which can be defined more sharply and is more easily accessible to experimental analysis. Les preuves expérimentales confirment que la subdivision des ébauches des organes en unités structurelles plus petites est un processus autonome. L'hypothèse deDalcq &Pasteels disant que les bornes entre les différents domaines formées par la différenciation d'un champ morphogénétique sont déterminées par des „valeurs seuil” dans le „potentiel” du champ en question, n'est pas en harmonie avec notre connaissance actuelle des systèmes biochimiques. Des “valeurs seuil” ne peuvent être employés qu'en décrivant la différenciation spatiale d'un champ morphogénétique. On prend en considération de remplacer le concept des “valeurs seuil” par le concept des “valeurs optimales” dans l'intensité d'un champ morphogénétique. Ce seraient les valeurs spécifiques aux différenciations chimiques diverses qui caractérisent les différents domaines dans lesquels un champ morphogénétique se différencie. En outre, chaque valeur optimale serait déterminative à la formation d'une différenciation spéciale dans le champ morphogénétique, chaque différentiation se formant dans un certain trajet de l'intensité du champ. Par suite de l'hypothèse formulée ci-dessus un champ morphogénétique “virginal” va nécessairement se différencier en un nombre de champs plus petits de deuxième ordre, qui à leur tour se divisent en champs d'ordre troisième, etc. ... La régionalisation peut être définie comme la différenciation d'un champ morphogénétique dans un nombre de plus en plus élevé de champs plus petits d'ordre supérieur de composition chimique et structurelle qualitativement différente. Parce que la différenciation d'un champ morphogénétique se produit de façon autonome, le pouvoir de régionalisation est une propriété intrinsique d'un champ morphogénétique. Ces considérations nous mènent à proposer que l'action d'un champ morphogénétique est responsable de la première différenciation de l'embryon en régions qui possèdent des tendences de différenciation principalement ectodermiques, mésodermiques, ou bien endodermiques. La connaissance actuelle concernant la régionalisation caractéristique qui se produit dans le mésoderme axial ainsi que dans la plaque neurale superposée paraît se conformer aux conséquences du concept de champ morphogénétique. Cependant on souligne le fait que dans le cas òu le concept actuel du champ morphogénétique ne pourra pas être plus amplement caractérisé de façon biochimique et biophysique, il faudra le remplacer par un autre concept qui puit être défini plus nettement et qui est mieux accessible à l'analyse expérimentale. Die Auffassung, dass die Aufteilung von Organanlagen in kleineren Struktureinheiten ein selbständiger Prozess ist, findet Bestätigung in den experimentellen Ergebnissen. Die Hypothese vonDalcq &Pasteels , dass die Grenzen zwischen den unterschiedenen Gebieten, in denen ein morphogenetisches Feld sich differenziert, durch “Schwellenwerte” im “Potential” des genannten Feldes bestimmt werden, ist unvereinbar mit unserem heutigen Wissen über biochemischen Reaktionssystemen. Der Gebrauch des Begriffs “Schwellenwert” ist nur gestattet bei der Beschreibung der räumlichen Differenzierung eines morphogenetischen Feldes. Statt dieses Begriffs wird der Begriff “Optimaler Wert” vorgeschlagen; Werte also in der Intensität eines morphogenetischen Feldes, optimal und spezifisch für die verschiedene Chemodifferenzierungen, welche die Gebiete kennzeichnen, in denen ein morphogenetisches Feld sich differenzieren wird. Jeder optimaler Wert soll dann das Erscheinen einer bestimmten Differenzierung innerhalb des morphogenetischen Feldes veranlassen, welche Differenzierung sich bildet innerhalb eines bestimmten Bereichs der Feldintensität. Auf Grund der obigen Hypothese wird ein “virginelles” morphogenetisches Feld zwangsläufig sich differenzieren in eine Anzahl kleinerer Feldern zweiten Grades; diese in Felder dritten Grades, usw. Musterbildung könnte definiert werden als die Differenzierung eines morphogenetischen Feldes in eine zunehmende Anzahl kleinerer Felder höheren Grades von qualitativ verschiedener chemischen und strukturellen Zusammensetzung, Weil diese Differenzierung autonom vor sich geht, ist das Vermögen zur Musterbildung eine innewohnende Eigenschaft eines morphogenetischen Feldes. Im Lichte dieser Betrachtungen ist es naheliegend anzunehmen dass eine morphogenetische Feldwirkung verantwortlich ist für die erste Differenzierung des sich entwickelnden Embryos in Gebiete überwiegend ektodermalen, mesodermalen oder entodermalen Differenzierungstendenzen. Die heutigen Kenntnisse über die charakteristische Musterbildung im axialen Teil des Mesoderms und in der überliegenden Neuralplatte scheinen in guter Übereinstimmung zu sein mit den des morphogenetischen Feldbegriffs. Dennoch wird benachdruckt, dass, falls das gegenwärtige morphogenetische Feldbegriff nicht weiter biochemisch und biophysisch gekennzeichnet werden kann, anstatt dessen ein anderer Begriff entwickelt werden muß, der schärfer definiert werden kann und besser zugänglich ist für experimentelle Analyse. (shrink)

Suppose a computer prints out the following little "poem": The shooting of the hunters she heardBut to pity it moved her not. What can we say about the meaning of this "poem"? We can say that it is ambiguous. It could mean: She heard the hunters shooting at animals, people, etc., but she had no pity for the victims. . . . She heard the hunters being shot but did not pity them. . . . She heard the hunters shooting (...) at someone or something and she heard the hunters being shot but did not pity either. An author could use the above word sequence to convey either , , or . But since we cannot treat the text produced by the computer as anyone's use of the words in question, it would not make sense to decide among its linguistically possible readings, just as it would not make sense to choose among the linguistically possible readings of an ambiguous sentence if it is considered in abstraction from its use by a speaker on a particular occasion. For example, it would not make sense to say of the sentence "He saw the man carrying the suitcase" that it just means "He saw the man who is carrying the suitcase" if we know that and in which what ways the sentence is ambiguous. If someone did say this, we would be inclined to think either that he does not know that the sentence is ambiguous or that he is talking not about the sentence but about an utterance of that sentence by a speaker on some occasion. Hence all we can do in interpreting the computer "poem" is to specify the set of its linguistically possible readings, namely, {, , }. But it would not make sense to select , for example, and say, "That is what the computer poem means, not , nor ." P. D. Juhl is an assistant professor of German at Princeton University. The present essay, in a different form, will appear in his forthcoming book, The Nature of Literary Interpretation. See also: "Against Theory" by Steven Knapp and Walter Benn Michaels in Vol. 8, No. 4. (shrink)

There is a history of thinking that photographs provide a special kind of access to the objects depicted in them, beyond the access that would be provided by a painting or drawing. What is included in the photograph does not depend on the photographer’s beliefs about what is in front of the camera. This feature leads Kendall Walton to argue that photographs literally allow us to see the objects which appear in them. Current generative algorithms produce images in response to (...) users’ text prompts. Depending on the parameters, the output can resemble specific people or things which are named in the prompt. This resemblance does not depend on the user’s beliefs, so generated images are in this sense like photographs. Given this parallel, how should we think about AI-generated images? (shrink)

It is now commonly held that values play a role in scientific judgment, but many arguments for that conclusion are limited. First, many arguments do not show that values are, strictly speaking, indispensable. The role of values could in principle be filled by a random or arbitrary decision. Second, many arguments concern scientific theories and concepts which have obvious practical consequences, thus suggesting or at least leaving open the possibility that abstruse sciences without such a connection could be value-free. Third, (...) many arguments concern the role values play in inferring from evidence, thus taking evidence as given. This paper argues that these limitations do not hold in general. There are values involved in every scientific judgment. They cannot even conceivably be replaced by a coin toss, they arise as much for exotic as for practical sciences, and they are at issue as much for observation as for explicit inference. (shrink)

The Alagadd?pama Sutta is the 22nd discourse of the Majjhima-nik?ya of the Pali canon. In the sutta itself it is mentioned that the Buddha’s delivery of this discourse was necessitated by the need to refute a wrong view held by one of his disciples named Ari??ha. Parallel versions of the sutta are found preserved in the Chinese?gamas. The two main similes used in the sutta, those of the snake and of the raft, are referred to in the scriptures of a (...) number of non-Therav?da Buddhist traditions as well, showing that the Buddhist doctrine represented in it is early and authentic and the message contained in the sutta was considered to be extremely significant by many early Buddhist traditions. The Alagadd?pama Sutta shows the Buddha’s role as one of the earliest thinkers in the history of philosophy who engaged in a critique of the craving for metaphysics and dogma frequently exhibited in those who propound worldviews. The Buddha did not value a belief or a worldview on grounds of the logical skill with which it was constructed but on grounds of the transformative effect it could have on the character of an individual and the sense of wellbeing it could promote. There are several discourses of the Pali canon which give prominence to this aspect of the Buddha’s teaching. Among them the Brahmaj?la Sutta of the D?gha-nik?ya and the A??hakavagga of the Suttanip?ta need special mention. The Buddha is seen to have consistently avoided engagement in speculative metaphysics, pointing out that the goal of his teaching goes beyond all such engagement. The Buddha himself distinguished his own worldview as a Teaching in the Middle avoiding the common tendency of humankind to be trapped by either of the two extremes, Eternalism or Annihilationism. These distinctive standpoints of the Buddha are all seen to be amply represented in the Alagadd?pama Sutta. (shrink)

Some philosophers understand natural kinds to be the categories which are constraints on enquiry. In order to elaborate the metaphysics appropriate to such an account, I consider the complicated history of scurvy, citrus, and vitamin C. It may be tempting to understand these categories in a shallow way (as mere property clusters) or in a deep way (as fundamental properties). Neither approach is adequate, and the case instead calls for middle-range ontology: starting from categories which we identify in the world (...) and elaborating their structure, but not pretending to jump ahead to a complete story about fundamental being. (shrink)

Biblical authority is definitive for many Protestants in matters of faith and practice. The question this essay addresses is the deafening silence of this Scriptural authority on the controversial issue of abortion, especially because Christian scholars have argued vehemently against this practice. In particular, Michael Gorman's recent article ‘Why is the New Testament silent about abortion?’ raises many substantive issues with implications for the very meaning of authority, faith, and the life of the community. It is contended that elective abortion (...) poses significant substantive issues with which a woman, or couple, must struggle, and that it is inappropriate (perhaps unfaithful) to make such a profound decision according to unfeeling or out-modeled patriarchal rules. (shrink)

We sketch a broadening of the Gupta-Belnap notion of a circular or revision theoretic definition into that of a more generalized form incorporating ideas of Kleene’s generalized or higher type recursion. This thereby connects the philosophically motivated, and derived, notion of a circular definition with an older form of definition by recursion using functionals, that is functions of functions, as oracles. We note that Gupta and Belnap’s notion of ‘categorical in L’ can be formulated in at least one of these (...) schemes. (shrink)

Kyle Stanford has recently claimed to offer a new challenge to scientific realism. Taking his inspiration from the familiar Pessimistic Induction (PI), Stanford proposes a New Induction (NI). Contra Anjan Chakravartty’s suggestion that the NI is a ‘red herring’, I argue that it reveals something deep and important about science. The Problem of Unconceived Alternatives, which lies at the heart of the NI, yields a richer anti-realism than the PI. It explains why science falls short when it falls short, and (...) so it might figure in the most coherent account of scientific practice. However, this best account will be antirealist in some respects and about some theories. It will not be a sweeping antirealism about all or most of science. (shrink)

Homeostatic property clusters (HPCs) are offered as a way of understanding natural kinds, especially biological species. I review the HPC approach and then discuss an objection by Ereshefsky and Matthen, to the effect that an HPC qua cluster seems ill-fitted as a description of a polymorphic species. The standard response by champions of the HPC approach is to say that all members of a polymorphic species have things in common, namely dispositions or conditional properties. I argue that this response fails. (...) Instances of an HPC kind need not all be similar in their exhibited properties. Instead, HPCs should instead be understood as unified by the underlying causal mechanism that maintains them. The causal mechanism can both produce and explain some systematic differences between a kind’s members. An HPC kind is best understood not as a single cluster of properties maintained in stasis by causal forces, but as a complex of related property clusters kept in relation by an underlying causal process. This approach requires recognizing that taxonomic systems serve both explanatory and inductive purposes. (shrink)

There are two senses of ‘what scientists know’: An individual sense (the separate opinions of individual scientists) and a collective sense (the state of the discipline). The latter is what matters for policy and planning, but it is not something that can be directly observed or reported. A function can be defined to map individual judgments onto an aggregate judgment. I argue that such a function cannot effectively capture community opinion, especially in cases that matter to us.

This paper gives a characterization of distributed cognition (d-cog) and explores ways that the framework might be applied in studies of science. I argue that a system can only be given a d-cog description if it is thought of as performing a task. Turning our attention to science, we can try to give a global d-cog account of science or local d-cog accounts of particular scientific projects. Several accounts of science can be seen as global d-cog accounts: Robert Merton's sociology (...) of scientific norms, Philip Kitcher's 20th-century account of cognitive labor, and Kitcher's 21st-century notion of well-ordered science. Problems that arise for them arise just because of the way that they attribute a function to science. The paper concludes by considering local d-cog accounts. Here, too, the task is the crux of the matter. (shrink)

This work examines Richard Kilvington's Sophisma 47, in the context of the Doctrine of Obligations. Its aim is to revise the thesis of P. V. Spade, who attributes to Kilvington an intermediate position between Burley and Swyneshed, and interprets the Doctrine of Obligations in general as a Theory of Counterfactuals.

This paper focuses on the epistemic situation one faces when using a Large Language Model based chatbot like ChatGPT: When reading the output of the chatbot, how should one decide whether or not to believe it? By surveying strategies we use with other, more familiar sources of information, I argue that chatbots present a novel challenge. This makes the question of how one could trust a chatbot especially vexing.

For live-related kidney donation, the current UK guidance specifies that the donor has a right to know the recipient’s HIV status. This guidance may prevent some potential recipients from asking friends or family to donate, as they do not wish them to know they are HIV positive. Currently, it is felt necessary that the donor should know the HIV status of the recipient in order to give fully informed consent to the operation. However, the specific medical details are not required (...) in order to allow for donor informed consent. This consent requires knowledge of the general expectation for survival of a graft and the specific expectation for survival of this graft in the recipient; it does not require specific knowledge of the recipient’s medical condition. (shrink)

The underdetermination of theory by evidence is supposed to be a reason to rethink science. It is not. Many authors claim that underdetermination has momentous consequences for the status of scientific claims, but such claims are hidden in an umbra of obscurity and a penumbra of equivocation. So many various phenomena pass for `underdetermination' that it's tempting to think that it is no unified phenomenon at all, so I begin by providing a framework within which all these worries can be (...) seen as species of one genus: A claim of underdetermination involves (at least implicitly) a set of rival theories, a standard of responsible judgment, and a scope of circumstances in which responsible choice between the rivals is impossible. Within this framework, I show that one variety of underdetermination motivated modern scepticism and thus is a familiar problem at the heart of epistemology. I survey arguments that infer from underdetermination to some reëvaluation of science: top-down arguments infer a priori from the ubiquity of underdetermination to some conclusion about science; bottom-up arguments infer from specific instances of underdetermination, to the claim that underdetermination is widespread, and then to some conclusion about science. The top-down arguments either fail to deliver underdetermination of any great significance or (as with modern scepticism) deliver some well-worn epistemic concern. The bottom-up arguments must rely on cases. I consider several promising cases and find them to either be so specialized that they cannot underwrite conclusions about science in general or not be underdetermined at all. Neither top-down nor bottom-up arguments can motivate any deep reconsideration of science. (shrink)

Some philosophers think that there is a gap between is and ought which necessarily makes normative enquiry a different kind of thing than empirical science. This position gains support from our ability to explicate our inferential practices in a way that makes it impermissible to move from descriptive premises to a normative conclusion. But we can also explicate them in a way that allows such moves. So there is no categorical answer as to whether there is or is not a (...) gap. The question of an is-ought gap is a practical and strategic matter rather than a logical one, and it may properly be answered in different ways for different questions or at different times. (shrink)

I am grateful to the editors of the Canadian Journal of Philosophy for inviting me to write a comment on Kathleen Gill’s ‘On the Metaphysical Distinction Between Processes and Events’. I readily concede that she is right in the central criticism she makes of my 1978 paper: that a properly metaphysical or ontological distinction between processes and events, if it is to be made at all, cannot be sustained on the basis of the informal linguistic criteria I offered in ‘Events, (...) Processes, and States.’ My main concern in that paper was to show that discussions of the Kenny-Vendler typology of activities, performances, and states had focused too narrowly on verb types, on adverbial phrases, on the domain of human action, and on English-language intuitions. Mine was one of several voices urging in the late 1970s that issues of tense logic and of the logic of verb types had to be placed in the broader context of verb aspect — a salient and pervasive structure in natural languages generally, and one that had been studied by philologists and linguists since the nineteenth century. Captivated, as I and others had become at the time, by evidence that the distinction between count nouns and mass nouns appears to be mirrored in verb predications, I went on to make some rather venturesome ‘ontological’ claims. It is satisfying, of course, that Gill accepts not only that there is ‘substantial evidence in favor of recognizing a grammatical distinction between the language of processes and [the language of] events’ but also that ‘similarities with count and mass expressions will allow us to apply techniques for han dling nominal expressions to verbal expressions’. It is more than satisfying that the phenomenon of verb aspect is now noticed and investigated by philosophers as well as by linguists. (shrink)

According to many philosophers, psychological explanation canlegitimately be given in terms of belief and desire, but not in termsof knowledge. To explain why someone does what they do (so the common wisdom holds) you can appeal to what they think or what they want, but not what they know. Timothy Williamson has recently argued against this view. Knowledge, Williamson insists, plays an essential role in ordinary psychological explanation.Williamson's argument works on two fronts.First, he argues against the claim that, unlike knowledge, (...) belief is``composite'' (representable as a conjunction of a narrow and a broadcondition). Belief's failure to be composite, Williamson thinks, undermines the usual motivations for psychological explanation in terms of belief rather than knowledge.Unfortunately, we claim, the motivations Williamson argues against donot depend on the claim that belief is composite, so what he saysleaves the case for a psychology of belief unscathed.Second, Williamson argues that knowledge can sometimes provide abetter explanation of action than belief can.We argue that, in the cases considered, explanations that cite beliefs(but not knowledge) are no less successful than explanations that citeknowledge. Thus, we conclude that Williamson's arguments fail both coming andgoing: they fail to undermine a psychology of belief, and they fail tomotivate a psychology of knowledge. (shrink)

This paper offers a general characterization of underdetermination and gives a prima facie case for the underdetermination of the topology of the universe. A survey of several philosophical approaches to the problem fails to resolve the issue: the case involves the possibility of massive reduplication, but Strawson on massive reduplication provides no help here; it is not obvious that any of the rival theories are to be preferred on grounds of simplicity; and the usual talk of empirically equivalent theories misses (...) the point entirely. (If the choice is underdetermined, then the theories are not empirically equivalent!) Yet the thought experiment is analogous to a live scientific possibility, and actual astronomy faces underdetermination of this kind. This paper concludes by suggesting how the matter can be resolved, either by localizing the underdetermination or by defeating it entirely. Introduction A brief preliminary Around the universe in 80 days Some attempts at resolving the problem 4.1 Indexicality 4.2 Simplicity 4.3 Empirical equivalence 4.4 Is this just a philosophers' fantasy? Move along... ...nothing to see here 6.1 Rules of repetition 6.2 Some possible replies Conclusion. (shrink)

Peter Baumann offers the tantalizing suggestion that Thomas Reid is almost, but not quite, a pragmatist. He motivates this claim by posing a dilemma for common sense philosophy: Will it be dogmatism or scepticism? Baumann claims that Reid points to but does not embrace a pragmatist third way between these unsavory options. If we understand `pragmatism' differently than Baumann does, however, we need not be so equivocal in attributing it to Reid. Reid makes what we could call an argument from (...) practical commitment, and this is plausibly an instance of what William James calls the pragmatic method. (shrink)

The Argument from Inductive Risk (AIR) is taken to show that values are inevitably involved in making judgements or forming beliefs. After reviewing this conclusion, I pose cases which are prima facie counterexamples: the unreflective application of conventions, use of black-boxed instruments, reliance on opaque algorithms, and unskilled observation reports. These cases are counterexamples to the AIR posed in ethical terms as a matter of personal values. Nevertheless, it need not be understood in those terms. The values which load a (...) theory choice may be those of institutions or past actors. This means that the challenge of responsibly handling inductive risk is not merely an ethical issue, but is also social, political, and historical. (shrink)

Thomas Reid is often misread as defending common sense, if at all, only by relying on illicit premises about God or our natural faculties. On these theological or reliabilist misreadings, Reid makes common sense assertions where he cannot give arguments. This paper attempts to untangle Reid's defense of common sense by distinguishing four arguments: (a) the argument from madness, (b) the argument from natural faculties, (c) the argument from impotence, and (d) the argument from practical commitment. Of these, (a) and (...) (c) do rely on problematic premises that are no more secure than claims of common sense itself. Yet (b) and (d) do not. This conclusion can be established directly by considering the arguments informally, but one might still worry that there is an implicit premise in them. In order to address this concern, I reconstruct the arguments in the framework of subjective Bayesianism. The worry becomes this: Do the arguments rely on specific values for the prior probability of some premises? Reid's appeals to our prior cognitive and practical commitments do not. Rather than relying on specific probability assignments, they draw on things that are part of the Bayesian framework itself, such as the nature of observation and the connection between belief and action. Contra the theological or reliabilist readings, the defense of common sense does not require indefensible premises. (shrink)

An exposition of the views of literary critics of present day influence, presented to illustrate the thesis that the study of the humanities guided by a traditional mode of analysis, fails to encourage and produce the methodological habits and styles of thought needed by the citizen to understand social and political problems. Lane--a political scientist--proposes that the teaching of the humanities would contribute to the development of democratic citizenship if it were recognized that there is no logical or methodological difference (...) between the sciences and the humanities.--P. D. J. (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)

Background theories in science are used both to prove and to disprove that theory choice is underdetermined by data. The alleged proof appeals to the fact that experiments to decide between theories typically require auxiliary assumptions from other theories. If this generates a kind of underdetermination, it shows that standards of scientific inference are fallible and must be appropriately contextualized. The alleged disproof appeals to the possibility of suitable background theories to show that no theory choice can be timelessly or (...) noncontextually underdetermined: Foreground theories might be distinguished against different backgrounds. Philosophers have often replied to such a disproof by focussing their attention not on theories but on Total Sciences. If empirically equivalent Total Sciences were at stake, then there would be no background against which they could be differentiated. I offer several reasons to think that Total Science is a philosophers' fiction. No respectable underdetermination can be based on it. (shrink)

In this paper we describe the objectives of teaching medical ethics to undergraduates and the teaching methods used. We describe a workshop used in the University of Liverpool Department of Psychiatry, designed to enhance ethical sensitivity in psychiatry. The workshop reviews significant historical and current errors in the ethical practice of psychiatry and doctors' defence mechanisms against accepting responsibility for deficiencies in ethical practice. The workshop explores the student doctors' own group ethos in response to ethical dilemmas, and demonstrates how (...) the individual contributes to and is responsible for the group ethos through participation and also through nonparticipation. The student feedback about the workshop is reviewed. The Toronto Ethical Sensitivity Instrument was used to assess whether or not the workshop altered sensitivity. Compared to a control group the attenders' sensitivity was significantly increased (on Student's t-test p equals or is less than 0.002). (shrink)

It has been common wisdom for centuries that scientific inference cannot be deductive; if it is inference at all, it must be a distinctive kind of inductive inference. According to demonstrative theories of induction, however, important scientific inferences are not inductive in the sense of requiring ampliative inference rules at all. Rather, they are deductive inferences with sufficiently strong premises. General considerations about inferences suffice to show that there is no difference in justification between an inference construed demonstratively or ampliatively. (...) The inductive risk may be shouldered by premises or rules, but it cannot be shirked. Demonstrative theories of induction might, nevertheless, better describe scientific practice. And there may be good methodological reasons for constructing our inferences one way rather than the other. By exploring the limits of these possible advantages, I argue that scientific inference is neither of essence deductive nor of essence inductive. (shrink)

As a clear, well documented and relatively complete introduction to Wittgenstein's famous book this commentary fulfills a long felt need. Rules for structuring Wittgenstein's statements are helpfully discussed, the terminology of the English translation is significantly improved upon, and the ontological purport of the Tractatus, as well as its striking parallels to Kantian philosophy, are convincingly stressed. But in recasting Wittgenstein's thought in a series of interpretative theses some basic themes become distorted: the notion of "category" is foreign to Wittgenstein's (...) thought and fails to capture the gradual transition from picturing to the "ladder"; the interpretation of "thing" as covering both objects and predicates or relations is highly dubious.--A. P. D. M. (shrink)

The Bare Theory was offered by David Albert as a way of standing by the completeness of quantum mechanics in the face of the measurement problem. This paper surveys objections to the Bare Theory that recur in the literature: what will here be called the oddity objection, the coherence objection, and the context-of-the-universe objection. Critics usually take the Bare Theory to have unacceptably bizarre consequences, but to be free from internal contradiction. Bizarre consequences need not be decisive against the Bare (...) Theory, but a further objection—dubbed here the calibration objection—has been underestimated. This paper argues that the Bare Theory is not only odd but also inconsistent. We can imagine a successor to the Bare Theory—the Stripped Theory—which avoids the objections and fulfills the original promise of the Bare Theory, but at the cost of amplifying the bizarre consequences. The Stripped Theory is either a stunning development in our understanding of the world or a reductio disproving the completeness of quantum mechanics. The Bare Theory The usual objections The calibration objection Beyond the Bare Theory. (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work.This work is in the public domain in (...) the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

The familiar Vendler-Kenny scheme of verb-types, viz., performances (further differentiated by Vedler into accomplishments and achievements), activities, and states, is too narrow in two important respects. First, it is narrow linguistically. It fails to take into account the phenomenon of verb aspect. The trichotomy is not one of verbs as lexical types but of predications. Second, the trichotomy is narrow ontologically. It is a specification in the context of human agency of the more fundamental, topic-neutral trichotomy, event-process-state.The central component in (...) this ontological trichotomy, event, can be sharply differentiated from its two flanking components by adapting a suggestion by Geoffrey N. Leech and others that the contrast between perfective and imperfective aspect in verbs corresponds to the count/mass distinction in the domain of nouns. With the help of two distinctions, of cardinal count adverbials versus frequency adverbials, and of occurrence versus associated occasion, two interrelated criteria for event predication are developed. Accordingly, Mary capsized the boat is an event predication because (a) it is equivalent to There was at least one capsizing of the boat by Mary, or (b) because it admits cardinal count adverbials, e.g., at least once, twice, three times. Ontologically speaking, events are defined as those occurrences that are inherently countable. (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)

El artículo intenta presentar y explicar la distinctio formalis ex natura rei, noción que muchos estudiosos han visto como fundamental en la filosofía de Duns Scoto, puesto que a partir de ella se marcaría una importante novedad en relación con las clases de distinciones aristotélicas y tomasianas al tiempo que se inauguraría una nueva metafísica y un original abordaje del acto cognoscitivo. Asimismo, se intentará mostrar cómo la distinción formal se asimilaría al esse intelligibille o esse obiectivum, abriendo así un (...) ámbito intermedio entre lo real y lo inteligible al que podemos denominar objetivo. We attempt to present and explain the distinctio formalis ex-nature rei. a notion that many experts have regarded as fundamental in Duns Scoto´s philosophy, since this would signal an important novelty related Aristotelian and Thomistic types of distinctions, at the time a new metaphysics and an original approach of the cognitive act would emerge. Likewise, we will try to show how the formal distinction would be assimilated to the esse intelligibille or esse obiectivum, thus opening an intermediate area between the real and the intelligible thing which we can name objective. (shrink)

When a physician acts as both doctor and researcher conflicts can develop. When a doctor does not know whether a patient is taking active drug or placebo, any new medical problems can result in a dilemma. Is the patient's suffering a side effect of the medication or is this a new medical problem? Mrs W's case demonstrates the problem that can occur when the physician is blinded in the name of research.

The objective of this study was to assess the beliefs of parents of youth soccer players about Chronic Traumatic Encephalopathy, concussion, and retirement from sport decisions and compare them to those of concussion-specialized clinicians. An electronic survey was completed by parents of youth club soccer players and concussion-specialized clinicians located in a large U.S. urban center. Parents believed more strongly in the causal relationship between concussions and CTE, and between CTE and harm than did clinicians. Parents who themselves had participated (...) in sport at a high level had more conservative beliefs than other parents about the number of concussions after which an athlete should retire from contact or collision sport. Results are discussed in the context of ethical risk communication between clinicians and parents. This includes the importance of communicating information about CTE to parents and youth athletes in an understandable way so that they can make informed choices about contact and collision sport participation. Further research is encouraged to evaluate approaches of communicating evidence about CTE to a diverse population of families of youth athletes. (shrink)

The underdetermination of theory by data obtains when, inescapably, evidence is insufficient to allow scientists to decide responsibly between rival theories. One response to would-be underdetermination is to deny that the rival theories are distinct theories at all, insisting instead that they are just different formulations of the same underlying theory; we call this the identical rivals response. An argument adapted from John Norton suggests that the response is presumptively always appropriate, while another from Larry Laudan and Jarrett Leplin suggests (...) that the response is never appropriate. Arguments from Einstein for the special and general theories of relativity may fruitfully be seen as instances of the identical rivals response; since Einstein’s arguments are generally accepted, the response is at least sometimes appropriate. But when is it appropriate? We attempt to steer a middle course between Norton’s view and that of Laudan and Leplin: the identical rivals response is appropriate when there is good reason for adopting a parsimonious ontology. Although in simple cases the identical rivals response need not involve any ontological difference between the theories, in actual scientific cases it typically requires treating apparent posits of the various theories as mere verbal ornaments or computational conveniences. Since these would-be posits are not now detectable, there is no perfectly reliable way to decide whether we should eliminate them or not. As such, there is no rule for deciding whether the identical rivals response is appropriate or not. Nevertheless, there are considerations that suggest for and against the response; we conclude by suggesting two of them. (shrink)

Within philosophy of science, debates about realism often turn on whether posited entities exist or whether scientific claims are true. Natural kinds tend to be investigated by philosophers of language or metaphysicians, for whom semantic or ontological considerations can overshadow scientific ones. Since science crucially involves dividing the world up into categories of things, however, issues concerning classification ought to be central for philosophy of science. Muhammad Ali Khalidi's book fills that gap, and I commend it to readers with an (...) interest in scientific taxonomy and natural kinds. He works through general issues to craft a useful philosophical conception and uses the account to think through a wide range of specific examples. Although there are differences in the details, that one-sentence summary of Khalidi's book could just as well describe my own recent monograph on natural kinds. (shrink)

We show that, like singular cardinals, and weakly compact cardinals, Jensen's core model K for measures of order zero [4] calculates correctly the successors of Jónsson cardinals, assuming $O^{Sword}$ does not exist. Namely, if $\kappa$ is a Jónsson cardinal then $\kappa^+ = \kappa^{+K}$ , provided that there is no non-trivial elementary embedding $j:K \longrightarrow K$ . There are a number of related results in ZFC concerning $\cal{P}(\kappa)$ in V and inner models, for $\kappa$ a Jónsson or singular cardinal.

Abstract: There is a long tradition of trying to analyze art either by providing a definition (essentialism) or by tracing its contours as an indefinable, open concept (anti-essentialism). Both art essentialists and art anti-essentialists share an implicit assumption of art concept monism. This article argues that this assumption is a mistake. Species concept pluralism—a well-explored position in philosophy of biology—provides a model for art concept pluralism. The article explores the conditions under which concept pluralism is appropriate, and argues that they (...) obtain for art. Art concept pluralism allows us to recognize that different art concepts are useful for different purposes, and what has been feuding definitions can be seen as characterizations of specific art concepts. (shrink)

The comment endorses and reinforces Daniel W. Graham’s highly original and attractive proposal that early Greek cosmology develops in two stages. In what Graham calls the “meteorological stage” of the sixth century BCE, celestial objects are explained as formations either from fire or from watery exhalations in a roughly planar model of the cosmos. In the “lithic stage” of the mid- and late fifth century introduced by Anaxagoras, the model is that of a central earth around which solid stone-like celestial (...) objects revolve held aloft in a vortex. The change to the lithic stage comes about, according to Graham, as the implications of Parmenides’ epoch-making discovery that the moon is illuminated by the sun come to be understood and are then theoretically exploited. The present comment also proposes that the false explanations of lunar phases and lunar and solar eclipses in the meteorological-stage cosmologies, respectively, of Xenophanes and of Heraclitus may have played a helpful heuristic role in the theoretical breakthrough to heliophotism. (shrink)

Cover versions form a loose but identifiable category of tracks and performances. We distinguish four kinds of covers and argue that they mark important differences in the modes of evaluation that are possible or appropriate for each: mimic covers, which aim merely to echo the canonical track; rendition covers, which change the sound of the canonical track; transformative covers, which diverge so much as to instantiate a distinct, albeit derivative song; and referential covers, which not only instantiate a distinct song, (...) but for which the new song is in part about the original song. In order to allow for the very possibility of transformative and referential covers, we argue that a cover is characterized by relation to a canonical track rather than merely by being a new instance of a song that had been recorded previously. (shrink)