This essay considers the dependency of trans youth by bridging transgender studies with feminist care ethics to emphasize a trans wisdom about solidarity through dependency. The first major section of the essay argues for reworking Sara Ruddick's philosophy of mothering in the context of trans and gender‐creative youth. This requires, first, stressing a more robust interaction among her divisions of preservative love, nurturance for growth, and training for acceptability, and second, creating a more nuanced account of “nature” in relation to (...) nurturance for growth to avoid casting transition as contrary to a trans youth's healthy development. In the second major section of the essay, I depart from Ruddick's framework to emphasize the difference of care for trans youth by trans and/or queer communities and through mutual caregiving, stressing a trans wisdom about dependency and solidarity found in the work of Sylvia Rivera and Marsha P. Johnson. Turning to Eva Feder Kittay's links between dependency work and equality, I argue that Rivera and Johnson's work contains a distinct knowledge derived from practice necessitating the connection between solidarity and dependency in particular communities. I then call for more work on trans care ethics, trans ethics, and trans wisdom more broadly. (shrink)

Do the ethical features of an artwork bear on its aesthetic value? This movie endorses misogyny, that song is a civil rights anthem, the clay constituting this statue was extracted with underpaid labor—are facts like these the proper bases for aesthetic evaluation? I argue that this debate has suffered from a false presupposition: that if the answer is yes (for at least some such ethical features), such considerations feature as pro tanto contributions to an artwork's overall aesthetic value, i.e., as (...) merits or flaws which make something have more or less overall aesthetic value. As the case of ethically laden, aesthetic evaluation makes clear, however, good aesthetic judgement is irreducibly multi-dimensional, e.g., "the movie has an engaging soundtrack, tasteful camera work, and takes a misogynistically prurient perspective on its female lead.'' Such a "non-summative" judgement refuses to reduce those various dimensions of aesthetic value to a single aggregate aesthetic evaluation, like "it's a 6/10" or "it's a pretty good movie!" I defend both the modest claim that such non-summative evaluations are not mistaken and the extremist claim that summative (i.e., unidimensional) aesthetic evaluation is defective by considering other domains of normative assessment in which summing seems inappropriate, notably including evaluations of people's character. (shrink)

This is a transcript of a conversation between P F Strawson and Gareth Evans in 1973, filmed for The Open University. Under the title 'Truth', Strawson and Evans discuss the question as to whether the distinction between genuinely fact-stating uses of language and other uses can be grounded on a theory of truth, especially a 'thin' notion of truth in the tradition of F P Ramsey.

It is our great pleasure to announce that the recipient of the 2020 Everett Mendelsohn Prize is Daniel Liu, whose essay, “The Cell and Protoplasm as Container, Object, and Substance, 1835–1861,” appeared in the Journal of the History of Biology, Volume 50, 4 (2017), pp. 889–925.

Pekakak adalah salah satu tokoh yang memiliki pengetahuan mendalam dan perencanaan yang cermat. Saat fajar menyingsing, ia terlihat bertengger di atas pohon. Dengan kemampuan sempurna untuk mengontrol kecepatan penerbangan miliknya, seperti kapan harus memperlambat atau mempercepat, dia dapat dengan mudah menghitung cara optimal untuk menangkap ikan.

That every expression of language that is {true on the basis of its meaning expressed using language} must have a connection by truth preserving operations to its {meaning expressed using language} is a tautology. The accurate model of the actual world is expressed using formal language and formalized natural language.

Traditional encryption is safe but slows data recovery, especially for keyword searches. Secure, fine-grained access control and quick keyword searches over encrypted data are possible using attribute-based keyword search (ABKS). This study examines how ABKS might optimize search efficiency and data security in cloud storage systems. We examine index compression, query processing improvement, and encryption optimization to decrease computational cost and preserve security. After a thorough investigation, the article shows how these methods may boost cloud storage system performance, security, and (...) usability. Tests show that improved ABKS speeds up search searches and lowers storage costs, making it a viable cloud storage alternative. (shrink)

Cloud storage's scalability, accessibility, and affordability have made it essential in the digital age. Data security and privacy remain a major issue due to the large volume of sensitive data kept on cloud services. Traditional encryption is safe but slows data recovery, especially for keyword searches. Secure, fine-grained access control and quick keyword searches over encrypted data are possible using attribute-based keyword search (ABKS). This study examines how ABKS might optimize search efficiency and data security in cloud storage systems. We (...) examine index compression, query processing improvement, and encryption optimization to decrease computational cost and preserve security. (shrink)

Given the fact that many people use Wikipedia, we should ask: Can we trust it? The empirical evidence suggests that Wikipedia articles are sometimes quite good but that they vary a great deal. As such, it is wrong to ask for a monolithic verdict on Wikipedia. Interacting with Wikipedia involves assessing where it is likely to be reliable and where not. I identify five strategies that we use to assess claims from other sources and argue that, to a greater of (...) lesser degree, Wikipedia frustrates all of them. Interacting responsibly with something like Wikipedia requires new epistemic methods and strategies. (shrink)

Imperatives cannot be true, but they can be obeyed or binding: `Surrender!' is obeyed if you surrender and is binding if you have a reason to surrender. A pure declarative argument — whose premisses and conclusion are declaratives — is valid exactly if, necessarily, its conclusion is true if the conjunction of its premisses is true; similarly, I suggest, a pure imperative argument — whose premisses and conclusion are imperatives — is obedience-valid (alternatively: bindingness-valid) exactly if, necessarily, its conclusion is (...) obeyed (alternatively: binding) if the conjunction of its premisses is. I argue that there are two kinds of bindingness, and that a vacillation between two corresponding variants of bindingness-validity largely explains conflicting intuitions concerning the validity of some pure imperative arguments. I prove that for each of those two variants of bindingness-validity there is an equivalent variant of obedience-validity. Finally, I address alternative accounts of pure imperative inference. (shrink)

A considerable literature has grown up around the claim of Uniqueness, according to which evidence rationally determines belief. It is opposed to Permissivism, according to which evidence underdetermines belief. This paper highlights an overlooked third possibility, according to which there is no rational doxastic attitude. I call this 'Nihilism'. I argue that adherents of the other two positions ought to reject it but that it might, nevertheless, obtain at least sometimes.

Some scientific categories seem to correspond to genuine features of the world and are indispensable for successful science in some domain; in short, they are natural kinds. This book gives a general account of what it is to be a natural kind and puts the account to work illuminating numerous specific examples.

Sol LeWitt is probably most famous for wall drawings. They are an extension of work he had done in sculpture and on paper, in which a simple rule specifies permutations and variations of elements. With wall drawings, the rule is given for marks to be made on a wall. We should distinguish these algorithmic works from impossible-to-implement instruction works and works realized by following preparatory sketches. Taking the core feature of a wall drawing to be that it is algorithmic, some (...) of LeWitt's later works are wall drawings in name only. (shrink)

The sample size of the study was conducted in Tiruchirappalli city with 75 respondents through Non-Probability Random Sampling Method. The tools and techniques used were simple percentage, chi-square and ANOVA. The obtained result of the study that majority of the women prefer TVS Scooty and most of the respondents prefer two wheelers due to convenient while driving and majority of the respondents have great impact on colour and model prefer the vehicle. New inventions and designs were introduced to meet the (...) requirements of the current day affaires. (shrink)

The no-miracles argument and the pessimistic induction are arguably the main considerations for and against scientific realism. Recently these arguments have been accused of embodying a familiar, seductive fallacy. In each case, we are tricked by a base rate fallacy, one much-discussed in the psychological literature. In this paper we consider this accusation and use it as an explanation for why the two most prominent `wholesale' arguments in the literature seem irresolvable. Framed probabilistically, we can see very clearly why realists (...) and anti-realists have been talking past one another. We then formulate a dilemma for advocates of either argument, answer potential objections to our criticism, discuss what remains (if anything) of these two major arguments, and then speculate about a future philosophy of science freed from these two arguments. In so doing, we connect the point about base rates to the wholesale/retail distinction; we believe it hints at an answer of how to distinguish profitable from unprofitable realism debates. In short, we offer a probabilistic analysis of the feeling of ennui afflicting contemporary philosophy of science. (shrink)

When we ask what natural kinds are, there are two different things we might have in mind. The first, which I’ll call the taxonomy question, is what distinguishes a category which is a natural kind from an arbitrary class. The second, which I’ll call the ontology question, is what manner of stuff there is that realizes the category. Many philosophers have systematically conflated the two questions. The confusion is exhibited both by essentialists and by philosophers who pose their accounts in (...) terms of similarity. It also leads to misreading philosophers who do make the distinction. Distinguishing the questions allows for a more subtle understanding of both natural kinds and their underlying metaphysics. (shrink)

P. F. Strawson; II*—Scruton and Wright on Anti-Realism Etc., Proceedings of the Aristotelian Society, Volume 77, Issue 1, 1 June 1977, Pages 15–22, https://doi.

The accepted narrative treats John Stuart Mill’s Kinds as the historical prototype for our natural kinds, but Mill actually employs two separate notions: Kinds and natural groups. Considering these, along with the accounts of Mill’s nineteenth-century interlocutors, forces us to recognize two distinct questions. First, what marks a natural kind as worthy of inclusion in taxonomy? Second, what exists in the world that makes a category meet that criterion? Mill’s two notions offer separate answers to the two questions: natural groups (...) for taxonomy and Kinds for ontology. This distinction is ignored in many contemporary debates about natural kinds and is obscured by the standard narrative that treats our natural kinds just as a development of Mill’s Kinds. (shrink)

The Twin Earth thought experiment invites us to consider a liquid that has all of the superficial properties associated with water (clear, potable, etc.) but has entirely different deeper causal properties (composed of “XYZ” rather than of H2O). Although this thought experiment was originally introduced to illuminate questions in the theory of reference, it has also played a crucial role in empirically informed debates within the philosophy of psychology about people’s ordinary natural kind concepts. Those debates have sought to accommodate (...) an apparent fact about ordinary people’s judgments: Intuitively, the Twin Earth liquid is not water. We present results from four experiments showing that people do not, in fact, have this intuition. Instead, people tend to have the intuition that there is a sense in which the liquid is not water but also a sense in which it is water. We explore the implications of this finding for debates about theories of natural kind concepts, arguing that it supports views positing two distinct criteria for membership in natural kind categories – one based on deeper causal properties, the other based on superficial, observable properties. (shrink)

This paper was published in an issue of the ANTW, Dutch General Journal of Philosophy, dedicated to the work of Paul Churchland. It criticizes Churchland for neglecting the relationships of animals to their environments and their innate subjectivity, which guides them through their environment. The concept of an emotional a priori is introduced, 'the innate structures of experience', analogue to Kant's cognitive a priori. Subjectivity is an evolved property which enables organisms to adapt their genetic interests to a particular environment.

The problem of underdetermination is thought to hold important lessons for philosophy of science. Yet, as Kyle Stanford has recently argued, typical treatments of it offer only restatements of familiar philosophical problems. Following suggestions in Duhem and Sklar, Stanford calls for a New Induction from the history of science. It will provide proof, he thinks, of “the kind of underdetermination that the history of science reveals to be a distinctive and genuine threat to even our best scientific theories” (Stanford 2001, (...) p. S12). This paper examines Stanford’s New Induction and argues that it – like the other forms of underdetermination that he criticizes – merely recapitulates familiar philosophical conundra. (shrink)

Psychoanalytic self-psychology as outlined by such depth psychologists as Jung, Fordham, Winnicott and Kohut provide a framework for conceptualizing a relationship of complementarity between psychic and immune defence as well as loss of bodily and self integration in disease. Physicist Erwin Schrödinger’s thesis that the so-called “arrow of time” does not necessarily deal a mortal blow to its creator is reminiscent of the concept of timeless dimensions of the unconscious mind and the Self in Analytical Psychology, manifest for instance, in (...) dream content and archetypal symbols. These notions are not only consistent with the concepts of timelessness and meaningful coincidence (synchronicity) in psychoanalysis. They are also implicitly spiritual with intimations of a numinous dimension of the evolutionary process in which humanity participates. This includes the idea that an evolving God becomes conscious through and is completed by humankind in a process (Incarnational) theology which regards the numinous as both immanent and transcendent. And concepts of mind which transcend the individual in a transpersonal sense. The treatment of the psychophysical problem by depth psychologist Carl Jung and physicist Wolfgang Pauli with their notion of the unconscious archetypes as timeless, cosmic ordering and regulating principles creating a bridge between mind and matter in a relationship of complementarity is compatible with such a perspective on the numinous which might in turn be useful for contemporary theology and spirituality. (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)

According to the standard narrative, natural kind is a technical notion that was introduced by John Stuart Mill in the 1840s and the recent craze for natural kinds, launched by Putnam and Kripke, is a continuation of that tradition. I argue that the standard narrative is mistaken. The Millian tradition of kinds was not particularly influential in the 20th-century, and the Putnam-Kripke revolution did not clearly engage with even the remnants that were left of it. The presently active tradition of (...) natural kinds is less than half a century old. Recognizing this might help us better appreciate both Mill and natural kinds. (shrink)

Philosophy in Africa has for more than a decade now been dominated by the discussion of one compound question, namely, is there an African philosophy, and if there is, what is it? The first part of the question has generally been unhesitatingly answered in the affirmative. Dispute has been primarily over the second part of the question as various specimens of African philosophy presented do not seem to pass muster. Those of us who refuse to accept certain specimens as philosophy (...) have generally been rather illogically said also to deny an affirmative answer to the first part of the question. In a paper presented at the International Symposium in Memory of Dr William Amo, the Ghanaian philosopher who taught in German universities in the early part of the eighteenth century, Professor Odera Oruka identified four trends, perhaps more appropriately approaches, in current African philosophy. (shrink)

Tradução para o português do ensaio "Freedom and Resentment”, de P. F. Strawson. Publicado originalmente em Proceedings of the British Academy, v. 48, 1960. Republicado em Freedom and Resentment and Other Essays. Londres: Methuen, 1974. [Routledge, 2008, p. 2-28]. Publicado na coletânea: Ensaios sobre a filosofia de Strawson: com a tradução de Liberdade e ressentimento & Moralidade social e ideal individual. Organizadores: Jaimir Conte & Itamar Luís Gelain. Editora da UFSC, 2015. ISBN: 9788532807250.

Tradução para o português do ensaio "Social Morality and Individual Ideal”. Publicado originalmente em Philosophy: The Journal of the Royal Institute of Philosophy, vol. XXXVI, n. 136, p. 1-17, Jan. 1961. Republicado em: STRAWSON, P. F. Freedom and Resentment and Other Essays. Londres: Methuen, 1974. [Routledge, 2008, p. 26-44]. ]. Publicado na coletânea: Ensaios sobre a filosofia de Strawson: com a tradução de Liberdade e ressentimento & Moralidade social e ideal individual. Organizadores: Jaimir Conte & Itamar Luís Gelain. Editora da (...) UFSC, 2015. ISBN: 9788532807250. (shrink)

Introduction: The Faculty of Medicine, University of Moratuwa, established during the COVID-19 pandemic, was compelled to conduct the teaching activities online for the first intake of students until their first bar examination. Online learning is known to be linked to several health issues. This study aims to explore the academic performance and perceived health effects related to online learning in the Faculty of Medicine, Moratuwa. Methods: A descriptive cross-sectional study was conducted among all 104 first-intake students using an anonymous online (...) self-administered questionnaire to explore health effects and academic performance after ethical clearance. Results: Out of 104 students, 82 students responded (response rate=78.85%). Majority participated from home using their own laptop (74.4%) and personal Wi-Fi (69.5%) and spent 5-10 hours daily for online academic activities (72%). Majority complained of related physical (86.6%), and psychological (81.7%) health issues: eye problems (69.5%), headache (47.6%), backache (43.9%), stress (46.3%) and concentration difficulties (45.1%). The first bar examination was cleared by 84.1% with the majority (52.4%) obtaining classes. There was a statistically significant positive association (p< .05) between physical and psychological health concerns with the average screen-time spent on academic activities, but not with the academic performance. There was also no statistically significant association between screen-time and academic performance. Conclusions: Majority of students using online learning had related physical and psychological health issues which were positively associated with the screen-time though not with academic performance. Designing online activities with less screen time may be considered as a strategy to minimise health effects related to online learning. (shrink)

In this paper, I reply to 18 of the essays on panpsychism in this issue. Along the way, I sketch out what a post-Galilean science of consciousness, one in which consciousness is taken to be a fundamental feature of reality, might look like.

Sociology, as conceived by Comte, was to put an end to the anarchy of opinions characteristic of liberal democracy by replacing opinion with the truths of sociology, imposed through indoctrination. Later sociologists backed away from this, making sociology acceptable to liberal democracy by being politically neutral. The critics of this solution asked 'whose side are we on?' Burawoy provides a novel justification for advocacy scholarship in sociology. Public sociology is intended to have political effects, but also to be funded by (...) the politically neutral state. He argues that public sociology is institutionally neutral, but that committing to an organic relation with a social movement is legitimate as a matter of the sociologist's personal value choice. Although this produces side-taking sociology, by improving the case for particular standpoints it serves to improve democratic discussion generally, which is an appropriately neutral public aim. (shrink)

The notion of a simulating termination analyzer is examined at the concrete level of pairs of C functions. This is similar to AProVE: Non-Termination Witnesses for C Programs. The termination status decision is made on the basis of the dynamic behavior of the input. This paper explores what happens when a simulating termination analyzer is applied to an input that calls itself.

The Homeostatic Property Cluster (HPC) account of natural kinds has become popular since it was proposed by Richard Boyd in the late 1980s. Although it is often taken as a defining natural kinds as such, it is easy enough to see that something's being a natural kind is neither necessary nor sufficient for its being an HPC. This paper argues that it is better not to understand HPCs as defining what it is to be a natural kind but instead as (...) providing the ontological realization of (some) natural kinds. (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)

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)

The influential proposal that the analytical component of a theory is captured by its ‘Carnap sentence’ is critically scrutinized. A counterexample which makes the suggestion problematic is presented.

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)

It seems obvious that a community of one thousand scientists working together to make discoveries and solve puzzles should arrange itself differently than would one thousand scientist-hermits working independently. Because of limited time, resources, and attention, an independent scientist can explore only some of the possible approaches to a problem. Working alone, each hermit would explore the most promising approaches. They would needlessly duplicate the work of others and would be unlikely to develop approaches which look unpromising but really have (...) tremendous potential. Contrariwise, a large community can more rigorously explore the space of possible approaches. Most scientists should work on the most promising approaches, but a smaller number can be committed to approaches that initially look less promising. Exploratory work can reveal if one of those initially unpromising approaches has unrealized potential, and more scientists can adopt it once its potential becomes more apparent. (shrink)

Tradução para o português do livro "Ceticismo e naturalismo: algumas variedades", Strawson, P. F. . São Leopoldo, RS: Editora da Unisinos, 2008, 114 p. Coleção: Ideias. ISBN: 9788574313214. Capítulo 1 - Ceticismo, naturalismo e argumentos transcendentais 1. Notas introdutórias; 2. Ceticismo tradicional; 3. Hume: Razão e Natureza; 4. Hume e Wittgenstein; 5. “Apenas relacionar”: O papel dos argumentos transcendentais; 6. Três citações; 7. Historicismo: e o passado.

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.

Hypothesis: WFF(x) can be applied syntactically to the semantics of formalized declarative sentences such that: WFF(x) ↔ (x ↦ True) ∨ (x ↦ False) (see proof sketch below) For clarity we focus on simple propositions without binary logical connectives.

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...) It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

Charles Perrow used the term normal accidents to characterize a type of catastrophic failure that resulted when complex, tightly coupled production systems encountered a certain kind of anomalous event. These were events in which systems failures interacted with one another in a way that could not be anticipated, and could not be easily understood and corrected. Systems of the production of expert knowledge are increasingly becoming tightly coupled. Unlike classical science, which operated with a long time horizon, many current forms (...) of expert knowledge are directed at immediate solutions to complex problems. These are prone to breakdowns like the kind discussed by Perrow. The example of the Homestake mine experiment shows that even in modern physics complex systems can produce knowledge failures that last for decades. The concept of knowledge risk is introduced, and used to characterize the risk of failure in such systems of knowledge production. (shrink)

This is an open-access introductory logic textbook, prepared by Jonathan Ichikawa, based on P.D. Magnus's forallx. This (v2.0, July 2020) is intended as a stable, ready-for-teaching edition.

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)

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)

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)

The novel concept of a simulating halt decider enables halt decider H to to correctly determine the halt status of the conventional “impossible” input D that does the opposite of whatever H decides. This works equally well for Turing machines and “C” functions. The algorithm is demonstrated using “C” functions because all of the details can be shown at this high level of abstraction. ---------------------------------------------------------------------------------------------------- ---- Simulating halt decider H correctly determines that D correctly simulated by H would remain stuck in (...) recursive simulation never reaching its own final state. D cannot do the opposite of the return value from H because this return value is unreachable by every correctly simulated D. This same result is shown to be derived in the Peter Linz Turing machine based proof. (shrink)