In this paper we review the most common forms of reflection and introduce a new form which we call sharp‐generated reflection. We argue that sharp‐generated reflection is the strongest form of reflection which can be regarded as a natural generalization of the Lévy reflection theorem. As an application we formulate the principle sharp‐maximality with the corresponding hypothesis. The statement is an analogue of the (Inner Model Hypothesis, introduced in ) which is compatible with the existence of large cardinals.

Various theories have been put forward in an attempt to explain what makes moral judgments justifiable. One of the main theories currently advocated in bioethics is a form of coherentism known as wide reflective equilibrium. In this paper, I argue that wide reflective equilibrium is not a satisfactory approach for justifying moral beliefs and propositions. A long-standing theoretical problem for reflective equilibrium has not been adequately resolved, and, as a result, the main arguments for wide reflective equilibrium are unsuccessful. (...) Moreover, practical problems that arise in using the method of wide reflective equilibrium undermine the idea that it is a viable approach for justifying moral judgments about cases and policies. Given that wide reflective equilibrium is the most prominent version of coherentism, these considerations call into question the coherentist approach to justification in bioethics. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 273 Verene, Donald Phillip. Vico's Science of Imagination. Ithaca, New York: Cornell University Press, 1981, Pp. 227. $19.5o. In Chapter 1 (Introduction: Vico's Originality), Verene announces two principal concerns, a two-fold approach, and the predominant contention of his study.. 1. Principal concerns: "to consider the philosophical truth of Vico's ideas themselves, rather than to examine their historical character" (p. 19); to consider "the importance of Vico's conception (...) of barbarism for understanding present society" (p. 28). 2. Two-fold approach: "to interpret the central theses of Vico's thought" from the inside in the spirit of the whole and, at the same time, "to develop the problems of Vico's philosophy themselves" (pp. 19--21 ). 3. Predominant contention: "that Vico's ideas constitute a philosophy of recollective universals which generates philosophical understanding fronl the image, not the rational category. This approach regards imagination as a method of pfiilosophical thought" (p. 19) and the imaginative universal as "a key to his conception of knowledge" (p. 67). Vico's philosophy is depicted and characterized by Verene as fi)llows. Beginning with the imagination (fantasia) as an original and independent power of mind, Vico builds his philosophy on the image, the imaginative universal, thereby creating a position outside Western philosophy as traditionally understood. His New Science is a process of recollective fantasia, a kind of memory, and the system built constitutes a system of memory for all of human reality. By means of his concept of memory, Vico works his way back to the world of original thought, the mythicopoeticfantasia of the first men. His discovery of the imaginative universal as their way of thinking and their kind of knowledge establishes a new genetic origin for philosophical thought. Recollective fantasia constitutes the subject-matter and form of Vico's science itself', i.e., the term designates a type of nlemory through which the New Science is acconlplished as well as the type of thought from which it must be understood. "The New Science is a metaphysical fable, h creates a vera narratio of the recollectire imagination. The storia ideale eterna is an ideal trnth, but not an a priori or fictional one. As the master image of the recollective mind, it precisely contains all of the human event. Metaphysical truth, achieved through the exercise of.[antasia.., is generated out of the mind itself.., as images that actually contain the providential structure of reality" (p. 125). Vico's per|ornlative science "is man's true production of a knowledge of" his own nature" (p. 133). "The proof of the science is found through the reader making it for himself" (p. 156). What is the "recollective imaginative universal"? (a term coined by Verene) as distinguished from the universale fantastico? Vico identifies the latter quite simply. Poetic imagination, he tells us, was active in the first men who, "not being able to form intelligible class concepts of things, had a natural need to create poetic characters ; that is, imaginative class concepts or universals, to which, as to certain models or ideal portraits, to reduce all the particular species that resembled them." (The New Science of Giambattista Vico, trans. Thomas Goddard Bergin and Max Harold Fisch. Cornell University Press, 1968; orig. pub. 1948, w ) Thus in the theological age, 274 HISTORY OF PHILOSOPHY "Jove was born naturally in poetry as a divine character or imaginative universal, to which everything having to do with the auspices was referred by all the ancient gentile nations, which must therefore all have been poetic by nature" (9 381). In the age of heroes, Achilles embodies the idea of valor common to all strong men and Ulysses the idea of prudence common to all wise men (9 403). The myths, fables, and allegories brought to birth by poetic imagination were true stories for their makers. Imaginative universals or genera, "as the human mind later learned to abstract forms and properties from subjects, passed over into intelligible genera, which prepared the way for philosophers.... " (9 934)- Abstracting, categorizing, and predicating on the basis of properties in common, the philosophers in their intelligible class concepts no hmger think in the same manner as the first men did... (shrink)

Blood supplies have become indexes of national security and the public good. While blood shortages can provoke anxiety, controversies continue to erupt in many countries over proper donor screening, especially with reference to HIV. This article sketches these dynamics in several global settings, focusing especially on activist efforts by gay men to reform exclusionary blood donor guidelines. The contours of the debate recall familiar conflicts between the putative demands of public health and the rights of individuals in the era of (...) AIDS. However, if gay activists marshal a discourse of individual rights vis-a-vis forms of institutional exclusion, they also seek a broader shift in social and cultural understandings of gay identity. To capture this complex interplay of citizenship and sociality, risk and responsibility, the article introduces the notion of `vital publics' to refer to the peculiar associational form represented by blood supplies. Vital publics are kinds of embodied association elicited through the generalized exchange of body — in this case, blood. Hailed to `give life' by the jargon of the pervasive social marketing of varied blood service systems, activists seek to contribute to the life of the `vital public' that transfusion medicine calls into being. (shrink)

Philosophy has long been concerned with ‘moral status’. Discussions about the moral status of children, however, seem often to promote confusion rather than clarity. Using the creation of ‘savior siblings’ as an example, this paper provides a philosophical critique of the moral status of children and the moral relevance of parenting and the role that formative experience, regret and relational autonomy play in parental decisions. We suggest that parents make moral decisions that are guided by the moral significance they attach (...) to children, to sick children and most importantly, to a specific sick child (theirs). This moral valorization is rarely made explicit and has generally been ignored by both philosophers and clinicians in previous critiques. Recognizing this, however, may transform not only the focus of bioethical discourse but also the policies and practices surrounding the care of children requiring bone marrow or cord blood transplantation by better understanding the values at stake behind parental decision making. (shrink)

In this article the background, development, therapeutical value and praxis of film therapy in Christian counselling will be addressed. The second part of the article shows what the scenery beyond film therapy may look like and how this form of therapy may extend to other areas of digital and electronic media in the current counselling and pastoral care praxis. Postmodernity, as the context within which the society finds itself, is discussed, as well as the place of films in postmodernity. (...) The important use and application of narratives in the postmodern era is discussed. Film therapy’s development as an outgrowth of bibliotherapy is explained. It is further shown how film therapy as a tool in the praxis of therapy may provide the ideal atmosphere for learning, enjoyment and edification. The scope of the article also reaches beyond the current use of film therapy by suggesting the use of other social and electronic media in a therapeutical way as an ever-increasing possibility. The article ends with some pointers in the use of film therapy. (shrink)

We introduce a new version of arithmetic in all finite types which extends the usual versions with primitive notions of extensionality and extensional equality. This new hybrid version allows us to formulate a strong form of extensionality, which we call converse extensionality. Inspired by Brouwer’s notion of apartness, we show that converse extensionality can be eliminated in a way which improves on results from our previous work. We also explain how standard proof-theoretic interpretations, like realizability and functional interpretations, (...) can be extended to such hybrid systems, and how that might be relevant to proof-mining. (shrink)

Transhumance is a form of extensive livestock production that involves seasonal movements among ecological zones or landscape types. Rangeland-based transhumance constitutes an important social and economic relationship to nature in many regions of the world, including across the Western US. However, social and ecological drivers of change are reshaping transhumant practices, and managers must adapt to increased demands for public rangeland use. Specifically, concerns for wildlife conservation have led to reduced access to seasonal public lands grazing for western US (...) livestock producers. To understand how managers adapt to loss of grazing areas (called “seasonal ranges”) we create agroecological calendars from manager records spanning 35 years (1986–2021) at the US Sheep Experiment Station in Idaho and Montana, US. The calendars illustrate how a loss of winter and summer ranges after 2013 coincided with shifts in the operation’s adaptive strategies, leading to more grazing of fall crop residue and purchased winter feed, and reducing flexibility to move livestock to cope with variable forage conditions. These changes shifted the job duties and experiences of farm workers and managers, and raised several new questions related to sheep production and vegetation management outcomes that merit future research. Transhumant system transformation has implications for human relationships with nature, rural communities, sheep genetics, production, and vegetation communities. For livestock operations that rely on government-managed lands to sustain transhumant traditions, innovative forms of collaboration and social adaptation that help secure access to seasonal ranges will be as important as technological innovations to address biodiversity conservation, climate change adaptation, and food system sustainability issues that are reshaping access to grazing lands. (shrink)

This book's importance is derived from three sources: careful conceptualization of teacher induction from historical, methodological, and international perspectives; systematic reviews of research literature relevant to various aspects of teacher induction including its social, cultural, and political contexts, program components and forms, and the range of its effects; substantial empirical studies on the important issues of teacher induction with different kinds of methodologies that exemplify future directions and approaches to the research in teacher induction.

American critical realism emerged in two forms: an ‘essentialist’ version defended, with some significant divergences, by George Santayana and C. A. Strong, and an ‘empirical’ version primarily defended by Roy Wood Sellars. Both forms of American critical realism aimed at an epistemologically convincing ‘representationalist’ account of perception. However, they were divided over issues of ontology. While Santayana and Strong invoked the notion of essence in order to ontologically reinforce their epistemological conceptions, Sellars attempted a more empirical, evolution-based approach. (...) It will be argued that Sellars’s view has more to recommend it because it better explains the actual mechanism of perceptual representation. (shrink)

Transhumance is a form of extensive livestock production that involves seasonal movements among ecological zones or landscape types. Rangeland-based transhumance constitutes an important social and economic relationship to nature in many regions of the world, including across the Western US. However, social and ecological drivers of change are reshaping transhumant practices, and managers must adapt to increased demands for public rangeland use. Specifically, concerns for wildlife conservation have led to reduced access to seasonal public lands grazing for western US (...) livestock producers. To understand how managers adapt to loss of grazing areas (called “seasonal ranges”) we create agroecological calendars from manager records spanning 35 years (1986–2021) at the US Sheep Experiment Station in Idaho and Montana, US. The calendars illustrate how a loss of winter and summer ranges after 2013 coincided with shifts in the operation’s adaptive strategies, leading to more grazing of fall crop residue and purchased winter feed, and reducing flexibility to move livestock to cope with variable forage conditions. These changes shifted the job duties and experiences of farm workers and managers, and raised several new questions related to sheep production and vegetation management outcomes that merit future research. Transhumant system transformation has implications for human relationships with nature, rural communities, sheep genetics, production, and vegetation communities. For livestock operations that rely on government-managed lands to sustain transhumant traditions, innovative forms of collaboration and social adaptation that help secure access to seasonal ranges will be as important as technological innovations to address biodiversity conservation, climate change adaptation, and food system sustainability issues that are reshaping access to grazing lands. (shrink)

Dutch, like other Germanic languages, disposes of two strategies to express past tense: the strong inflection (e.g., rijden – reed ‘drive – drove’) and the weak inflection (spelen – speelde ‘play – played’). This distinction is for the most part lexically determined in that each verb occurs in one of the two inflections. Diachronically the system is in flux though, with the resilience of some verbs being mainly driven by frequency. Synchronically this might result in variable verbs (e.g., schuilen (...) – schuilde/school ‘hide – hid’ or raden – raadde/ried ‘guess – guessed’). This diachronic (1300–2000) corpus study shows that this variation is not haphazard, but that semantic factors are at play. We see two such effects. First of all, synchronically, the variation is exapted in an iconic manner to express aspect: durative meanings tend to be expressed by longer verb forms and punctual meanings tend to be expressed by shorter verb forms. Secondly, we see that metaphorical meanings come to be associated within obsolescent inflectional forms, as predicted by Kuryłowicz’s “fourth law of analogy”. (shrink)

A set X⊆ℝ is strongly meager if for every measure zero set H, X+H ≠ℝ. Let [Formula: see text] denote the collection of strongly meager sets. We show that assuming [Formula: see text], [Formula: see text] is not an ideal.

The following strong form of density of definable types is introduced for theoriesTadmitting a fibered dimension functiond: given a modelMofTand a definable setX⊆Mn, there is a definable typepinX, definable over a code forXand of the samed-dimension asX. Both o-minimal theories and the theory of closed ordered differential fields are shown to have this property. As an application, we derive a new proof of elimination of imaginaries for CODF.

Speciesism, difference of treatment based on an appeal to species membership, is often likened to racism and sexism, and condemned on those grounds. Some philosophers, however, reject this argument by analogy and instead forward an argument for speciesism based on a postulated right of species to compete for survival. This paper attacks this strong form of speciesism by showing that the underlying concept of ‘species’ is incoherent in the context of morality, and that strong speciesism has unacceptable (...) corollaries. (shrink)

[This Masters Thesis stands primarily as a reference point in the development of culture and technology. Completed at the University of Oregon in 2012, when ideas of "Strong AI" (now AGI) had fallen into broad disrepute and most researchers predicted a timeline of centuries or never for AI to reach capacities it then reached in fifteen years, this work's predictions regarding the trajectory to come are in retrospect singularly prescient.] -/- "This study examines the role of the strong (...) artificial intelligence concept as an organizing principle in AI research. Strong AI, defined as artificial systems capable of performing any intellectual task that humans can, has become controversial following the field's unfulfilled promises of the 1960s-70s. Many researchers now avoid the term entirely. This work argues that abandoning the strong AI vision may be counterproductive for the field's development. -/- Through analysis of five major paradigms—the problem-solving paradigm, supercomputing, connectionism and mathematical modeling, data-driven AI (DDAI), and nouvelle AI—this thesis evaluates contemporary approaches to artificial intelligence. Each is analyzed for its contributions and limitations regarding strong AI. Based on current trajectories, the author anticipates that, considering exponential growth in computational resources and recent algorithmic advances, strong AI may emerge within decades rather than centuries, assuming scientific progress continues. -/- Examining IBM Watson's recent Jeopardy victory through statistical analysis rather than symbolic reasoning, the author anticipates that data-driven approaches will become increasingly dominant, suggesting that "statistical pattern analysis... may be at the core of cognition." Given recent successes and breakthroughs in cognitive sciences, the author recontextualizes statistical processes as potentially fundamental to intelligence mechanisms rather than merely computational tools. Connectionist architectures are evaluated not separately but conjoined to data-driven approaches, understood as most likely fusing towards large-scale parallel distributed processing capable of emergent intelligence rather than the symbolic reasoning, rule-based approaches that have dominated the field thus far. Given the limitations demonstrated by logic-based systems like Shakey and the General Problem Solver, this analysis suggests that intelligence will emerge from massive networks of simple processing units rather than from programmed logical rules. This bottom-up emergence through what the author calls "feedback and recursion" in dynamical systems appears to be more promising than top-down symbolic manipulation. This combination of such distributed statistical learning with increasingly digitized information is expected to enable capabilities previously thought impossible without explicit programming. -/- Drawing on Hofstadter's (2001) assertion that "analogy is the core of cognition," this analysis also predicts that pattern recognition and analogical reasoning will prove essential for artificial general intelligence. Systems will need to recognize patterns in one context and apply them in novel situations: capabilities the author expects to emerge from distributed statistical learning rather than explicit rules. -/- Regarding embodiment, the thesis cites Brooks' (1991) argument that high-level behaviors will be "very simple" for systems that have mastered sensorimotor fundamentals. The author links physicality with social processing, considering the two as fundamentally interconnected through somatic-emotional embodiment. While acknowledging Moravec's Paradox – that tasks easy for humans are difficult for computers and vice versa – the analysis notes that social processing capabilities appear as necessary for language acquisition and other fundamentally social aspects of human knowledge. Systems lacking these capabilities would "at best behave with extreme autism." The author concludes that some form of social interaction across developmental trajectories – whether in actual physical embodiment or simulated social environments – is likely necessary for Strong AI. Building on social intelligence, this thesis positions Strong AI not so much as a solitary development “within the machine” as an emergence occurring as a relationship with and within humankind. The author notes that technology has enhanced human capabilities "since the first paintings appeared on caves,” and anticipates increasing human-machine integration with AI functioning as a cognitive partner, whether through UI interactions or, eventually, through direct neural interfaces. -/- Considering Moore's Law and current supercomputing trajectories, the analysis suggests computational resources may become sufficient for brain-scale neural simulations within two decades, while emphasizing that "raw computational power alone will not suffice" without corresponding algorithmic advances. The thesis proposes that strong AI will likely require modular integration of multiple capabilities: logical reasoning, distributed processing or neural architectures at scale, pattern analysis with analogical representation, and embodied socioemotional processing. -/- Following Moravec (1988), the author anticipates that top-down and bottom-up approaches will eventually converge, with "fully intelligent machines" resulting when "the metaphorical golden spike is driven uniting the two efforts." The work concludes that the strong AI vision provides essential value as an organizing principle uniting these efforts, facilitating synthesis between disparate research areas. The author suggests that the current milieu’s dismissal of strong AI as impossible may underestimate convergent progress across multiple domains. While acknowledging technical challenges and timeline uncertainties, the thesis presents a compelling case for taking seriously the possibility that artificial general intelligence may emerge within current researchers' professional lifetimes." Published January 2012. DOI: 10.13140/RG.2.2.33546.99520. (shrink)

THIS PAPER CORRECTS AN ERROR IN MY EARLIER PAPER, "CONCEPTS OF SUPERVENIENCE" ("PHILOSOPHY AND PHENOMENOLOGICAL RESEARCH", VOLUME 45, 1984), AND PRESENTS FURTHER MATERIAL ON SUPERVENIENCE. THE ERROR IS THE CLAIM THAT "GLOBAL" SUPERVENIENCE ENTAILS "STRONG" SUPERVENIENCE. HOWEVER, IT IS ARGUED THAT THIS FAILURE OF ENTAILMENT ONLY GOES TO SHOW THE INADEQUACY OF GLOBAL SUPERVENIENCE AS AN EXPLICATION OF "DEPENDENCY" OR "DETERMINATION" RELATION, AND, IN PARTICULAR, THAT MATERIALISM FORMULATED IN TERMS OF GLOBAL SUPERVENIENCE APPEARS TOO WEAK. (IT IS POINTED OUT, (...) AMONG OTHER THINGS, THAT GLOBAL SUPERVENIENCE DOES NOT ENTAIL "WEAK" SUPERVENIENCE). A STRONGER FORM OF GLOBAL SUPERVENIENCE, BASED ON "SIMILARITY" RATHER THAN "INDISCERNIBILITY" BETWEEN WORLDS, IS FORMULATED AND BRIEFLY DISCUSSED. (shrink)

The four tenets of the Strong Program are compatible with a scientific realism founded on an externalist epistemology. Such an epistemology allows that appropriate norms of rationality may differ from time to time, and from community to community, and thereby enables the realist to embrace strong forms of the ‘symmetry principle’. It also suggests a fruitful collaborative research program in externalist social epistemology. Some of what the Edinburgh School says about truth can also be accepted. But the realist (...) should reject the School's argument for the claim that there is no distinction between being rational and being locally accepted as rational, which seems to rest on a kind of epistemological internalism. Introducing the Strong Program Realism and the four tenets A stronger reading of symmetry Conflict and cooperation A note on discovery and justification Relativism and realism Truth Points of contention: the restriction of explanatory contrasts Points of contention: standards of rationality. (shrink)

We show that there is a restriction, or modification of the finite-variable fragments of First Order Logic in which a weak form of Craig's Interpolation Theorem holds but a strong form of this theorem does not hold. Translating these results into Algebraic Logic we obtain a finitely axiomatizable subvariety of finite dimensional Representable Cylindric Algebras that has the Strong Amalgamation Property but does not have the Superamalgamation Property. This settles a conjecture of Pigozzi [12].

dialectical frameworks have been introduced as a formalism for modeling argumentation allowing general logical satisfaction conditions and the relevant argument evaluation. Different criteria used to settle the acceptance of arguments are called semantics. Semantics of ADFs have so far mainly been defined based on the concept of admissibility. However, the notion of strongly admissible semantics studied for abstract argumentation frameworks has not yet been introduced for ADFs. In the current work we present the concept of strong admissibility of interpretations (...) for ADFs. Further, we show that strongly admissible interpretations of ADFs form a lattice with the grounded interpretation as the maximal element. We also present algorithms to answer the following decision problems: whether a given interpretation is a strongly admissible interpretation of a given ADF, and whether a given argument is strongly acceptable/deniable in a given interpretation of a given ADF. In addition, we show that the strongly admissible semantics of ADFs forms a proper generalization of the strongly admissible semantics of AFs. (shrink)

Dispositional essentialism, a plausible view about the natures of (sparse or natural) properties, yields a satisfying explanation of the nature of laws also. The resulting necessitarian conception of laws comes in a weaker version, which allows differences between possible worlds as regards which laws hold in those worlds and a stronger version that does not. The main aim of this paper is to articulate what is involved in accepting the stronger version, most especially the consequence that all possible properties exist (...) in all worlds. I also suggest that there is no particularly strong reason for preferring the weaker to the stronger version. For example, Armstrong's instantiation condition on universals entails that according to strong necessitarianism every property is instantiated in all possible worlds. But first we do not need to accept Armstrong's instantiation condition, in part because his arguments for it are forceful only for a contingentist about laws and properties. Secondly, even if we do accept the condition, the consequence that all properties are instantiated is not itself contradictory, so long as any form of necessitarianism holds. Strong necessitarianism is prima facie counter-intuitive. But for that matter so is weak necessitarianism. Accepting either weak or strong necessitarianism requires denying the force of intuition in this area. And indeed we have every reason to deny the force of intuition and its primary source, imagination, concerning modal facts. (shrink)

Charles Taylor is one of the leading living philosophers. In this book Arto Laitinen studies and develops further Taylor's philosophical views on human agency, personhood, selfhood and identity. He defends Taylor's view that our ethical understandings of values play a central role. The book also develops and defends Taylor's form of value realism as a view on the nature of ethical values, or values in general. The book criticizes Taylor's view that God, Nature or Human Reason are possible constitutive (...) sources of value – Laitinen argues that we should drop the whole notion of a constitutive source. (shrink)

We argue that intentions are beliefs—beliefs that are held in light of, and made rational by, practical reasoning. To intend to do something is neither more nor less than to believe, on the basis of one’s practical reasoning, that one will do it. The identification of the mental state of intention with the mental state of belief is what we call strong cognitivism about intentions. It is a strong form of cognitivism because we identify intentions with beliefs, (...) rather than maintaining that beliefs are entailed by intentions or are components of them. (shrink)

The paper studies the relation between systems of modal logic and systems of consequential implication, a non-material form of implication satisfying "Aristotle's Thesis" (p does not imply not p) and "Weak Boethius' Thesis" (if p implies q, then p does not imply not q). Definitions are given of consequential implication in terms of modal operators and of modal operators in terms of consequential implication. The modal equivalent of "Strong Boethius' Thesis" (that p implies q implies that p does (...) not imply not q) is identified. (shrink)

The storage operators were introduced by J.L. Krivine ([6]); they are closed λ-terms which, for some fixed data type (the integers for example), allow to simulate “call by value” while using “call by name”. J.L. Krivine showed that such operators can be typed, in the type system, using Gödel's translation from classical to intuitionistic logic ([8]).This paper studies the existence of storage operators which give a normal form as result (strong storage operators) for recursive and iterative representation of (...) data in λ-calculus. We obtain the following result:We can find typed strong storage operators for the recursive representations of data type, but that is not the case for the iterative representations of an infinite data type.We give the proof of this result in the case of integers. (shrink)

Located at the intersection of philosophy of cognitive science and philosophy of biology, this thesis aims to provide a novel approach to understanding the strong continuity between life and mind. This thesis applies the Free Energy Framework, predictive processing and the conceptual apparatus from ecological psychology to reveal different manners in which the organizational processes and principles underlying life have been enriched so as to result in cognitive processes. By using these anticipatory cognitive frameworks this thesis unveils different forms (...) of cognition at work in surprising places and considers how such expressions of cognition are ultimately driven by various forms of environmental complexity. Importing the concepts of affordances, environmental information and perceptual medium from ecological psychology into predictive processing and the Free Energy Framework, an empirically grounded account of cognition as an anticipatory process that allows living systems to adapt to various degrees of uncertainty in their environments at distinct and yet overlapping timescales is argued for. In doing so, this thesis attempts to identify both the explanatory limits of ecological coupling accounts of perception and action, and the possible environmental conditions under which the predictive brain evolved from its decentralized non-neural predecessors as a solution to uncertainty. In contributing to a novel approach to constraining the mind, the various concepts deployed in both philosophy and cognitive science are sharpened, furthering the current debate on what cognition is and how it is related to life. (shrink)

A strong reducibility relation between partial numberings is introduced which is such that the reduction function transfers exactly the numbers which are indices under the numbering to be reduced into corresponding indices of the other numbering. The degrees of partial numberings of a given set with respect to this relation form an upper semilattice.In addition, Ershov’s completion construction for total numberings is extended to the partial case: every partially numbered set can be embedded in a set which results (...) from the given set by adding one point and which is enumerated by a total and complete numbering. As is shown, the degrees of complete numberings of the extended set also form an upper semilattice. Moreover, both semilattices are isomorphic.This is not so in the case of the usual, weaker reducibility relation for partial numberings which allows the reduction function to transfer arbitrary numbers into indices. (shrink)

Strong motivational internalists claim that the relation between moral judgment and motivation is necessary. It is widely accepted that strong motivational internalism is false because it cannot accommodate various phenomena from common experience. In order to make room for these phenomena, motivational internalists usually propose the weak formulation of their thesis. In the first part of the paper I differentiate between several versions of both strong and weak motivational internalism. In the second part I argue that the (...) reasons for endorsing weak motivational internalism of any form are not compelling. (shrink)

Fodor's and Pylyshyn's stand on systematicity in thought and language has been debated and criticized. Van Gelder and Niklasson, among others, have argued that Fodor and Pylyshyn offer no precise definition of systematicity. However, our concern here is with a learning based formulation of that concept. In particular, Hadley has proposed that a network exhibits strong semantic systematicity when, as a result of training, it can assign appropriate meaning representations to novel sentences (both simple and embedded) which contain words (...) in syntactic positions they did not occupy during training. The experience of researchers indicates that strong systematicity in any form is difficult to achieve in connectionist systems. Herein we describe a network which displays strong semantic systematicity in response to Hebbian, connectionist training. During training, two-thirds of all nouns are presented only in a single syntactic position (either as grammatical subject or object). Yet, during testing, the network correctly interprets thousands of sentences containing those nouns in novel positions. In addition, the network generalizes to novel levels of embedding. Successful training requires a, corpus of about 1000 sentences, and network training is quite rapid. The architecture and learning algorithms are purely connectionist, but ‘classical’ insights are discernible in one respect, viz, that complex semantic representations spatially contain their semantic constituents. However, in other important respects, the architecture is distinctly non-classical. (shrink)

Perhaps the most intractable aspect of gender inequality concerns inequalities within the family around the domestic division of labor, especially over child care and other forms of caregiving. These enduring gender inequalities constitute a significant obstacle to achieving “strong gender egalitarianism”—a structure of social relations in which the division of labor around housework and caregiving within the family and occupational distributions within the public sphere are unaffected by gender. This article explores three kinds of publicly supported parental caregiving leaves (...) that bear on the potential for public policy to transform this private realm of inequality: equality-impeding policies, equality-enabling policies, and equality-promoting policies. The authors defend the third of these as necessary, given the importance of cultural constraints on the slow erosion of the gender division of labor over caregiving activities. (shrink)

Many philosophers with hedonistic sympathies (e.g., Mill, Sidgwick, Sumner, Feldman, Crisp, Heathwood, and Bradley) have claimed that well-being is necessarily experiential. Kagan once claimed something slightly different, saying that, although unexperienced bodily events can directly impact a person’s well-being, it is nonetheless true that any change in a person’s well-being must involve a change in her (i.e., either in her mind or in her body). Kagan elaborated by saying that a person’s well-being cannot float freely of her such that it (...) is affected by events that do not affect her (Kagan 1992, 169–189). These two claims—that well-being is necessarily experiential and that changes in well-being must involve changes in the person—are two different ways of specifying the general intuition that a person’s well-being must be strongly tied to her. This general intuition imposes an adequacy constraint on welfare theorizing: To be adequate, a welfare theory cannot allow that someone can be directly benefited by events that are not strongly tied to her. Call this the strong-tie requirement. The strong-tie requirement is easily satisfied by welfare hedonism, but it poses problems for desire-fulfillment welfare theories and objective-list welfare theories. Though a great deal has been written about desire-fulfillment welfare theories in relation to the strong-tie requirement, not as much has been written about objective-list welfare theories in relation to the strong-tie requirement. This paper argues that objective-list welfare theories can satisfy the strong-tie requirement, though probably only if they take a perfectionist form, as opposed to a brute-list form. (shrink)

In the literature, regress arguments often take one of two different forms: either they conclude that a given solution fails to solve any problem of a certain kind (the strong conclusion), or they conclude that a given solution fails to solve all problems of a certain kind (the weaker conclusion). This gives rise to a logical problem: do regresses entail the strong or the weaker conclusion, or none? In this paper I demonstrate that regress arguments can in fact (...) take both forms, and clearly set out the logical difference between them. Throughout the paper, I confine myself to metaphysical examples from the early Russell. Only now that we know they are valid can we start to discuss whether they are sound. (shrink)

According to the view we may term “strong cognitivism”, all reasons for action are rooted in normative features that the motivated subject takes objects to have independently of her attitudes towards these objects. The main concern of this paper is to argue against strong cognitivism, that is, to establish the view that conative attitudes do provide subjects with reasons for action. The central argument to this effect is a top-down argument: it proceeds by an analysis of the complex (...) phenomenon of love and derives a conclusion regarding the nature of more basic mental phenomena—particular desires. More specifically, its starting point is the crude intuition that the significance conferred by love upon its objects is of a distinctively personal kind—an intuition that is expressed by the apparent non-substitutability of two similar subjects only one of whom is loved with respect to their importance for the lover. I argue that the initial notion of non-substitutability can be refined and modified so as to form a real challenge to all versions of strong cognitivism and to establish the existence of attitude-dependent reasons. (shrink)

Jaegwon Kim, and others, have recently posed a powerful challenge to both emergentism and nom-reductive physicalism by providing arguments that these positions are committed to an untenable combination of both ‘upward’ and ‘dounward’ determination. In section 1, I illuminate how the nature of the realization relation underlies such skeptical arguments However, in section 2, I suggest that such conclusions involve a confusion between the implications of physicalism and those of a related thesis the ‘Completeness of Physics' (Co?) I show that (...) the truth of CoP poses a very serious obstacle to realized properties being efficacious in a physicalist universe and suggest that abandoning CoP offers hope for defending non-reductive physicalism. I then formulate a schema for a physicalist metaphysics, in section 3, which rejects CoP. This scenario is one where microphysical properties have a few conditional powers that they contribute to individuals when they realize certain properties In such a situation, I argue, though physicalism holds true there is still plausibly both ‘upward’ and ‘downward’ determination, where the latter is crucially an underappreciated form of determination I temn 'non- causal'. Ultimately, I conclude that this metaphysical schema offers a coherent account of Strongly emergent properties that preserves the truth of NRP albeit, in a form that is purged of any commitment to CoP. Finally, in section: 4, I carefully explore which of Kim's assumptions and arguments this metaphysics undermines. (shrink)

Marušić & Schwenkler (Analytic Philosophy, 59, 309) offer a simple and elegant defense of strong cognitivism about intention: the view that an intention to φ is a form of belief that one will φ. I show that their defense fails: however simple and elegant, it fails to account for various aspects about intention and its expression, and faces distinctive challenges of its own, including a dilemma and counterexample. These also undermine Marušić & Schwenkler's claim to a best-explanation type (...) of account and recommend alternatives to strong cognitivism altogether. (shrink)

This article draws insights from a case study examining unanswered health questions of residents in two polluted towns in an industrial region in southern France. A participatory health study, as conducted by the author, is presented as a way to address undone science by providing the residents with relevant data supporting their illness claims. Local residents were included in the health survey process, from the formulation of the questions to the final data analysis. Through this strongly participatory science process, the (...) townspeople offered many creative ideas in the final report for how the data could be used to assist in improving their health and environment and policy work is already in evidence, resulting from the study. Drawing from the literature on participatory science and expertise as well as from the initial outcomes of the local health study, I propose that SPS produces a form of knowledge justice. Understanding knowledge and its making as part of a social justice agenda aligns well with environmental justice frames. Through SPS, local residents have a hermeneutical resource to make sense of their embodied lives and augment their claims with strong data supporting actions for improving their health and environment. (shrink)

A study in the philosophy of science, proposing a strong form of the doctrine of scientific realism' and developing its implications for issues in the philosophy of mind.

The general idea of strong foundationalism is that knowledge has a foundation in well warranted beliefs which do not derive any warrant from other beliefs and that all our other beliefs depend on these foundational ones for their warrant. Although inerrancy posits Scripture as a solid foundation for theology, the idea that the doctrine of biblical inerrancy involves a strong foundationalist epistemology is deeply problematic. In fact, inerrancy does not require any particular view of the structure of knowledge, (...) and notable sources on inerrancy tout it in ways inconsistent with most forms of strong foundationalism. (shrink)

Boycotts are among the most frequent forms of consumer expression against unethical or egregious acts by firms. Most current research explains consumers’ decisions to participate in a boycott using a universal cost-benefit model that mixes instrumental and expressive motives. To date, no conceptual framework accounts for the distinct behavioral motives for boycotting though. This article focuses on motivational heterogeneity among consumers. By distinguishing two stable behavioral models—a self-regarding type and a strongly reciprocal type—we introduce the notion of strong reciprocity (...) to the boycott literature. We argue that the presence of strongly reciprocal consumers can enhance boycott success. First, in interactions with the target firm, strongly reciprocal consumers perceive higher levels of egregiousness and are more willing to engage in boycotting behavior, even in unfavorable strategic conditions, which provides a stable basis for boycotting. Second, in interactions with self-regarding consumers, strongly reciprocal consumers are willing to sanction those others, according to whether they participate in the boycott, which increases overall participation in and the likelihood of success of a consumer boycott. These findings have implications for further research, as well as for firms, nongovernmental organizations, and boycotters. (shrink)

This Perspective traces the evolution of certain central notions in the theory of Generative Grammar (GG). The founding documents of the field suggested a relation between the grammar, construed as recursively enumerating an infinite set of sentences, and the idealized native speaker that was essentially equivalent to the relation between a formal language (a set of well-formed formulas) and an automaton that recognizes strings as belonging to the language or not. But this early view was later abandoned, when the focus (...) of the field shifted to the grammar's strong generative capacity as recursive generation of hierarchically structured objects as opposed to strings. The grammar is now no longer seen as specifying a set of well-formed expressions and in fact necessarily constructs expressions of any degree of intuitive “acceptability.” The field of GG, however, has not sufficiently acknowledged the significance of this shift in perspective, as evidenced by the fact that (informal and experimentally-controlled) observations about string acceptability continue to be treated as bona fide data and generalizations for the theory of GG. The focus on strong generative capacity, it is argued, requires a new discussion of what constitutes valid empirical evidence for GG beyond observations pertaining to weak generation. (shrink)

A general class of presupposition arguments holds that the background knowledge and theory required to design, develop, and interpret a machine learning (ML) system imply a strong upper limit to ML’s impact on science. I consider two proposals for how to assess the scientific impact of ML predictions, and I argue that while these accounts prioritize conceptual change, the presuppositions they take to be disqualifying for strong novelty are too restrictive. I characterize a general form of their (...) arguments I call the Concept-free Design Argument: that strong novelty is curtailed by utilizing prior conceptualizations of target phenomena in model design. However, I argue that if ML design choices (such as ground-truth labels for supervised ML and inductive biases) are based on prior conceptualizations of phenomena, it need not impede conceptual change. Furthermore, while their accounts focus narrowly on conceptual change, a variety of learning outcomes also contribute to strong scientific change. Thus, I present a variety of types of strong novelty from philosophy of creativity, epistemology, and philosophy of science that paint a more varied picture of how ML advances science. One of these is a form of local theory-independent learning from data that signals an aim to substantially revise existing theory, but it is not easily undermined by prior assumptions about target phenomena. Furthermore, generating surprise, reducing utility blindness, and eliminating deep ignorance also indicate high impact to scientific knowledge or research direction. I illustrate these types of strong novelty with several cases of scientific discovery with algorithms. My taxonomy clarifies several desiderata for machine-based exploration and should inform choices in designing for scientific change. (shrink)