This paper brings together two erstwhile distinct strands of philosophical inquiry: the extended mind hypothesis and the situationist challenge to virtue theory. According to proponents of the extended mind hypothesis, the vehicles of at least some mental states (beliefs, desires, emotions) are not located solely within the confines of the nervous system (central or peripheral) or even the skin of the agent whose states they are. When external props, tools, and other systems are suitably integrated into the functional apparatus of (...) the agent, they are partial bearers of her cognitions, motivations, memories, and so on. According to proponents of the situationist challenge to virtue theory, dispositions located solely within the confines of the nervous system (central or peripheral) or even the skin of the agent to whom they are attributed typically do not meet the normative standards associated with either virtue or vice (moral, epistemic, or otherwise) because they are too susceptible to moderating external variables, such as mood modulators, ambient sensibilia, and social expectation signaling. We here draw on both of these literatures to formulate two novel views – the embedded and extended character hypotheses – according to which the vehicles of not just mental states but longer-lasting, wider-ranging, and normatively-evaluable agentic dispositions are sometimes located partially beyond the confines of the agent’s skin. (shrink)

Seth Yalcin has pointed out some puzzling facts about the behaviour of epistemic modals in certain embedded contexts. For example, conditionals that begin ‘If it is raining and it might not be raining, … ’ sound unacceptable, unlike conditionals that begin ‘If it is raining and I don’t know it, … ’. These facts pose a prima facie problem for an orthodox treatment of epistemic modals as expressing propositions about the knowledge of some contextually specified individual or group. This (...) paper develops an explanation of the puzzling facts about embedding within an orthodox framework. (shrink)

Conversational implicatures do not normally fall within the scope of operators because they arise at the speech act level, not at the level of sub-locutionary constituents. Yet in some cases they do, or so it seems. My aim in this paper is to compare different approaches to the problem raised by what I call 'embedded implicatures': seeming implicatures that arise locally, at a sub-locutionary level, without resulting from an inference in the narrow sense.

We consider the very weak paracomplete and paraconsistent logics that are obtained by a straightforward weakening of Classical Logic, as well as some of their maximal extensions that are a fragment of Classical Logic. We prove that these logics may be faithfully embedded in Classical Logic, and that the interpolation theorem obtains for them.

This paper argues that we need to re-think the semantics/pragmatics distinction in the light of new evidence from embedding of irony. This raises a new version of the old problem of ‘embedded implicatures’. I argue that embedded irony isn’t fully explained by solutions proposed for other embedded implicatures. I first consider two strategies: weak pragmatics and strong pragmatics. These explain embedded irony as truth-conditional content. However, by trying to shoehorn irony into said-content, they raise problems of (...) their own. I conclude by considering how a modified Gricean model can explain that irony embeds qua implicature. This leads us to prefer a local implicature model. This has important consequences for how we draw the semantics/pragmatics distinction. (shrink)

ABSTRACTWide-ranging semantic flexibility is often considered a magic cure for contextualism to account for all kinds of troubling data. In particular, it seems to offer a way to account for our intuitions regarding embedded perspectival sentences. As has been pointed out by Lasersohn [2009. “Relative Truth, Speaker Commitment, and Control of Implicit Arguments.” Synthese 166 : 359â374], however, the semantic flexibility does not present a remedy for all kinds of embeddings. In particular, it seems ineffective when it comes to (...) embeddings under operators with truth evaluative adverbs such as ‘correctly believes that’ and ‘incorrectly believes that’ and under factive verbs. This paper takes a closer look at the problematic embedding data with respect to predicates of personal taste. It argues that there is indeed no semantic solution for contextualism but a pragmatic way out. (shrink)

This paper presents a puzzle involving embedded attitude reports. We resolve the puzzle by arguing that attitude verbs take restricted readings: in some environments the denotation of attitude verbs can be restricted by a given proposition. For example, when these verbs are embedded in the consequent of a conditional, they can be restricted by the proposition expressed by the conditional’s antecedent. We formulate and motivate two conditions on the availability of verb restrictions: a constraint that ties the content (...) of restrictions to the “dynamic effects” of sentential connectives and a constraint that limits the availability of restriction effects to present tense verbs with first-person subjects. However, we also present some cases that make trouble for these conditions, and outline some possible ways of modifying the view to account for the recalcitrant data. We conclude with a brief discussion of some of the connections between our semantics for attitude verbs and issues concerning epistemic modals and theories of knowledge. (shrink)

Some results on the upper end of the lattice of all modal propositional logics.

Organizations such as the EU High-Level Expert Group on AI and the IEEE have recently formulated ethical principles and (moral) values that should be adhered to in the design and deployment of artificial intelligence (AI). These include respect for autonomy, non-maleficence, fairness, transparency, explainability, and accountability. But how can we ensure and verify that an AI system actually respects these values? To help answer this question, I propose an account for determining when an AI system can be said to embody (...) certain values. This account understands embodied values as the result of design activities intended to embed those values in such systems. AI systems are here understood as a special kind of sociotechnical system that, like traditional sociotechnical systems, are composed of technical artifacts, human agents, and institutions but—in addition—contain artificial agents and certain technical norms that regulate interactions between artificial agents and other elements of the system. The specific challenges and opportunities of embedding values in AI systems are discussed, and some lessons for better embedding values in AI systems are drawn. (shrink)

This paper proposes a distinctive kind of agency that can vindicate the agency of members of marginalised groups while accommodating the autonomy-undermining influences of oppression. Socially-embedded agency—the locus of which is in the exercise of our ability to negotiate between different social features—is compatible with, and can explain, various phenomena, including double-consciousness and white fragility. Moreover, although socially-embedded agency is neither necessary nor sufficient for autonomy, exercising it is practically necessary for autonomy, at least for members of marginalised (...) groups in our non-ideal world. (shrink)

How should we account for the contextual variability of knowledge claims? Many philosophers favour an invariantist account on which such contextual variability is due entirely to pragmatic factors, leaving no interesting context-sensitivity in the semantic meaning of ‘know that.’ I reject this invariantist division of labor by arguing that pragmatic invariantists have no principled account of embedded occurrences of ‘S knows/doesn’t know that p’: Occurrences embedded within larger linguistic constructions such as conditional sentences, attitude verbs, expressions of probability, (...) comparatives, and many others, I argue, give rise to a threefold problem of embedded implicatures. (shrink)

We explore the possibilities for elementary embeddings $j : M \to N$, where M and N are models of ZFC with the same ordinals, $M \subseteq N$, and N has access to large pieces of j. We construct commuting systems of such maps between countable transitive models that are isomorphic to various canonical linear and partial orders, including the real line ${\mathbb R}$.

The concept of the receptive field, first articulated by Hartline, is central to visual neuroscience. The receptive field of a neuron encompasses the spatial and temporal properties of stimuli that activate the neuron, and, as Hubel and Wiesel conceived of it, a neuron’s receptive field is static. This makes it possible to build models of neural circuits and to build up more complex receptive fields out of simpler ones. Recent work in visual neurophysiology is providing evidence that the classical receptive (...) field is an inaccurate picture. The receptive field seems to be a dynamic feature of the neuron. In particular, the receptive field of neurons in V1 seems to be dependent on the properties of the stimulus. In this paper, we review the history of the concept of the receptive field and the problematic data. We then consider a number of possible theoretical responses to these data. (shrink)

The emergence of ethical concerns surrounding artificial intelligence (AI) has led to an explosion of high-level ethical principles being published by a wide range of public and private organizations. However, there is a need to consider how AI developers can be practically assisted to anticipate, identify and address ethical issues regarding AI technologies. This is particularly important in the development of AI intended for healthcare settings, where applications will often interact directly with patients in various states of vulnerability. In this (...) paper, we propose that an ‘embedded ethics’ approach, in which ethicists and developers together address ethical issues via an iterative and continuous process from the outset of development, could be an effective means of integrating robust ethical considerations into the practical development of medical AI. (shrink)

Previous research on scalar implicature has primarily relied on meta-linguistic judgment tasks and found varying rates of such inferences depending on the nature of the task and contextual manipulations. This paper introduces a novel interactive paradigm involving both a production and a comprehension side and a precise conversational goal. The main research question is what is reliably communicated by some in this communicative setting, both when the quantifier occurs in unembedded and embedded positions. Our new paradigm involves an action-based (...) task from which participants’ interpretation of utterances can be inferred. It incorporates a game-theoretic design, thereby including a precise model to predict participants’ behaviour in the experimental context. Our study shows that embedded and unembedded implicatures are reliably communicated by some. We propose two cognitive principles that describe what can be left unsaid. In our experimental context, a production strategy based on these principles is more efficient than a strategy based on literal descriptions. (shrink)

You can come to know that you believe that p partly by reflecting on whether p and then judging that p. Call this procedure “the transparency method for belief.” How exactly does the transparency method generate known self-attributions of belief? To answer that question, we cannot interpret the transparency method as involving a transition between the contents p and I believe that p. It is hard to see how some such transition could be warranted. Instead, in this context, one mental (...) action is both a judgment that p and a self-attribution of a belief that p. The notion of embedded mental action is introduced here to explain how this can be so and to provide a full epistemic explanation of the transparency method. That explanation makes sense of first-person authority and immediacy in transparent self-knowledge. In generalized form, it gives sufficient conditions on an attitude’s being known transparently. (shrink)

Suppose Alice asserts p, and the Caterpillar wants to disagree. If the Caterpillar accepts classical logic, he has an easy way to indicate this disagreement: he can simply assert ¬p. Sometimes, though, things are not so easy. For example, suppose the Cheshire Cat is a paracompletist who thinks that p ∨ ¬p fails (in familiar (if possibly misleading) language, the Cheshire Cat thinks p is a gap). Then he surely disagrees with Alice's assertion of p, but should himself be unwilling (...) to assert ¬p. So he cannot simply use the classical solution. Dually, suppose the Mad Hatter is a dialetheist who thinks that p ∧ ¬p holds (that is, he thinks p is a glut). Then he may assert ¬p, but it should not be taken to indicate that he disagrees with Alice; he doesn't. So he too can't use the classical solution. The Cheshire Cat and the Mad Hatter, then, have a common problem, and philosophers with opinions like theirs have adopted a common solution to this problem: appeal to denial. Denial, these philosophers suppose, is a speech act like assertion, but it is not to be understood as in any way reducing to assertion. Importantly, denial is something different from the assertion of a negation; this is what allows it to work even in cases where assertion of negation does not. Just as importantly, denial must express disagreement, since this is the job it's being enlisted to do. (shrink)

The goal of this paper is to encourage participants in the debate about the locus of cognition (e.g., extended mind vs embedded mind) to turn their attention to noteworthy anthropological and sociological considerations typically (but not uniquely) arising from transhumanist and posthumanist research. Such considerations, we claim, promise to potentially give us a way out of the stalemate in which such a debate has fallen. A secondary goal of this paper is to impress trans and post-humanistically inclined readers to (...) embrace (or at least seriously reflect on) the extended mind thesis as a potential gamechanger to the state of play in their own debates. We start off (Sect. 1) by reviewing two crucial ideas (homo faber and plasticity of the body schema) that are instrumental in setting up the dispute between extended and embedded. We then summarise (Sect. 2), the stalemate between these two competing accounts of cognition, and review some of the dialectics underlying it. In Sect. 3, to get out of the stalemate, we propose to focus on a series of important anthropological and sociological considerations derived from and related to trans and posthumanist research. In doing so, we claim (Sect. 4) that an extended approach to cognition becomes anthropologically preferable and morally as well as socially more desirable than an embedded one. (shrink)

Engaged scholarship is an intellectual movement sweeping across higher education, not only in the social and behavioral sciences but also in fields of natural science and engineering. It is predicated on the idea that major advances in knowledge will transpire when scholars, while pursuing their research interests, also consider addressing the core problems confronting society. For a workable engaged agenda in science and technology studies, one that informs scholarship as well as shapes practice and policy, the traditional terms of engagement (...) must be renegotiated to be more open and mutual than has historically characterized the nature of inquiry in this field. At the same time, it is essential to protect individual privacy and preserve government confidentiality. Yet there is a scientific possibility for and benefit to introducing more collaborative and deliberative research approaches between scholar and subject in ways that will not violate these first-order ethics. To make the case, this article discusses the possibilities and perils of engaged science and technology scholarship by drawing on our own recent experiences to conduct and apply STS research while embedded in the National Science Foundation. Brief accounts of these experiences reveal the opportunities as well as the challenges of engaged scholarship. They also provide lessons for those fellow travelers who might follow the authors to this or other like host organizations with ambitions of increasing fundamental knowledge about and applying research to the policies, programs, and decisions of the scientific enterprise. (shrink)

One of the standard ways of postulating large cardinal axioms is to consider elementary embeddings,j, from the universe,V, into some transitive submodel,M. See Reinhardt–Solovay [7] for more details. Ifjis not the identity, andκis the first ordinal moved byj, thenκis a measurable cardinal. Conversely, Scott [8] showed that wheneverκis measurable, there is suchjandM. If we had assumed, in addition, that, thenκwould be theκth measurable cardinal; in general, the wider we assumeMto be, the largerκmust be.

Paul Elbourne claims that Russellians cannot accommodate the behavior of certain embedded definite descriptions. Since Fregeans can handle such descriptions, Elbourne urges theorists to reject Russell's theory in favor of Frege's. Here, I show that such descriptions pose no threat to Russellianism. These descriptions, I argue, are neutral between the two camps.

In the present paper we give the first proof-theoretical example of an embedding of classical logic into a quantum-like logic. This is performed in the framework of basic logic, where a proof-theoretical approach to quantum logic is convenient. We consider basic orthologic, that corresponds to a sequential formulation of paraconsistent quantum logic, and which is given by basic orthologic added with weakening and contraction, in a language with Girard's negation. In the paper we first consider a convenient cut-free calculus for (...) classical logic, in the same language; then, in a language enriched with a new kind of literals, we introduce basic orthologic with a primitive modality, where classical logic is embeddable. Similarly to Girard's negation, our modality is not a connective but conceivable as an operator defined inductively on the set of formulae. This allows us to obtain a calculus which enjoys cut-elimination. (shrink)

In this paper we will show that for every cutIof any countable nonstandard model$\mathcal {M}$of$\mathrm {I}\Sigma _{1}$, eachI-small$\Sigma _{1}$-elementary submodel of$\mathcal {M}$is of the form of the set of fixed points of some proper initial self-embedding of$\mathcal {M}$iffIis a strong cut of$\mathcal {M}$. Especially, this feature will provide us with some equivalent conditions with the strongness of the standard cut in a given countable model$\mathcal {M}$of$ \mathrm {I}\Sigma _{1} $. In addition, we will find some criteria for extendability of initial (...) self-embeddings of countable nonstandard models of$ \mathrm {I}\Sigma _{1} $to larger models. (shrink)

This paper pertains to research works aiming at linking ethics and automated reasoning in autonomous machines. It focuses on a formal approach that is intended to be the basis of an artificial agent’s reasoning that could be considered by a human observer as an ethical reasoning. The approach includes some formal tools to describe a situation and models of ethical principles that are designed to automatically compute a judgement on possible decisions that can be made in a given situation and (...) explain why a given decision is ethically acceptable or not. It is illustrated on three ethical frameworks—utilitarian ethics, deontological ethics and the Doctrine of Double effect whose formal models are tested on ethical dilemmas so as to examine how they respond to those dilemmas and to highlight the issues at stake when a formal approach to ethical concepts is considered. The whole approach is instantiated on the drone dilemma, a thought experiment we have designed; this allows the discrepancies that exist between the judgements of the various ethical frameworks to be shown. The final discussion allows us to highlight the different sources of subjectivity of the approach, despite the fact that concepts are expressed in a more rigorous way than in natural language: indeed, the formal approach enables subjectivity to be identified and located more precisely. (shrink)

The particular design of any technology may have profound social implications. Computing technologies are deeply intermeshed with the activities of daily life, playing an ever more central role in how we work, learn, communicate, socialize, and participate in government. Despite the many ways they have improved life, they cannot be regarded as unambiguously beneficial or even value-neutral. Recent experience shows they can lead to unintended but harmful consequences. Some technologies are thought to threaten democracy through the spread of propaganda on (...) online social networks, or to threaten privacy through the aggregation of datasets that include increasingly personal information, or to threaten justice when machine learning is used in such high-stakes, decision-making contexts as loan application reviews, employment procedures, or parole hearings. It is insufficient to ethically assess technology after it has produced negative social impacts, as has happened, for example, with facial recognition software that discriminates against people of color and with self-driving cars that are unable to cope with pedestrians who jay-walk. Developers of new technologies should aim to identify potential harmful consequences early in the design process and take steps to eliminate or mitigate them. This task is not easy. Designers will often have to negotiate among competing values—for instance, between efficiency and accessibility for a diverse user population, or between maximizing benefits and avoiding harm. There is no simple recipe for identifying and solving ethical problems. -/- Computer science education can help meet these challenges by making ethical reasoning about computing technologies a central element in the curriculum. Students can learn to think not only about what technology they could create, but also whether they should create that technology. Learning to reason this way requires courses unlike those currently standard in computer science curricula. A range of university courses on topics in areas of computing, ethics, society and public policy are emerging to meet this need. Some cover computer science broadly, while others focus on specific problems like privacy and security; typically, these classes exist as stand-alone courses in the computer science curriculum. Others have integrated ethics into the teaching of introductory courses on programming, artificial intelligence, and human-computer interaction. (shrink)

We survey various results on the relationship among neat embeddings (a notion special to cylindric algebras), complete representations, omitting types, and amalgamation. A hitherto unpublished application of algebraic logic to omitting types of first-order logic is given.

We prove some embedding theorems for classical conditional logic, covering 'finitely cumulative' logics, 'preferential' logics and what we call 'semi-monotonic' logics. Technical tools called 'partial frames' and 'frame morphisms' in the context of neighborhood semantics are used in the proof.

Downey and Lempp 1215–1240) have shown that the contiguous computably enumerable degrees, i.e. the c.e. Turing degrees containing only one c.e. weak truth-table degree, can be characterized by a local distributivity property. Here we extend their result by showing that a c.e. degree a is noncontiguous if and only if there is an embedding of the nonmodular 5-element lattice N5 into the c.e. degrees which maps the top to the degree a. In particular, this shows that local nondistributivity coincides with (...) local nonmodularity in the computably enumerable degrees. (shrink)

Standard models of visual perception hold that vision is an inferential or interpretative process. Such models are said to be superior to competing, non-inferential views in explanatory power. In particular, they are said to be capable of explaining a number of otherwise mysterious, visual phenomena such as multi-stable perception. Multi-stable perception paradigmatically occurs in the presence of ambiguous figures, single images that can give rise to two or more distinct percepts. Different interpretations are said to produce the different percepts. In (...) this paper, I argue that a non-inferential account of visual perception is just as capable of explaining multi-stable perception. I propose an embedded understanding of vision, and show how the embedded account can, after properly qualifying them, use the explanatory resources of the inferential view to explain just what such a view explains. (shrink)

This paper is about Truth Minimalism, Norm Expressivism, and the relation between them. In particular, it is about whether Truth Minimalism can help to solve a problem thought to plague Norm Expressivism. To start with, let me explain what I mean by 'Truth Minimalism' and 'Norm Expressivism.'.

In this chapter, I am going to discuss a very interesting case brought to our attention by Saul and references therein: NP-related substitution failure in simple sentences. Whereas it is well known that opacity occurs in intensional contexts and that in such contexts it is not licit to replace an NP with a co-referential one, one would not expect that substitution failure should also be exhibited by simple sentences in the context of stories about Superman. The suggested explanation of these (...) cases is to posit an embedding explicature, that is to say the insertion of structure that ipso facto creates an intensional context capable of blocking substitution. I consider various complications to this story in the light of important objections by García-Carpintero and, finally, I consider how this story fares when one applies constraints on explicatures along the lines of those proposed by Hall in an interesting paper.In general, this chapter exploits interesting considerations by Norrick on the structural similarities between stories and indirect reports. Norrick believes there are important differences, but he is inclined to concede that we could study structural similarities. An important similarity, brought out by the examples discussed by Saul, is that the narrative frame, once it is inserted into the interaction, can be left implicit and, during the act of narrating or referring to the story, one need not repeat the words ‘the story says’ or ‘we are told that…’ every time. Although implicit, these words are heard because they do some work at the structural level, as is shown by this attempt to resolve an otherwise intractable philosophical problem. The explicatures of simple sentences are perceived because they are integrated into the speakers’/hearers’ perception of the overall plan of discourse, as Haugh most interestingly notes:As Haugh and Jaszczolt note, this means that any putative “communicative intention of A is embedded within his higher-order intention”. In other words, to figure out the implicature that evidently arises here, the participants are necessarily making inferences about some kind of overall aim. According to this view, then, inferences about the intended implicature arise concomitant with inferences about the overall aim of the speaker.It follows from the considerations by Haugh that, since the explicature connected with simple sentences depends on the perception of the overall aim or plan of the conversation, it is not easily cancelled. Readers can check by themselves that the explicatures due to simple sentences cannot be cancelled, as cancelling them would involve returning to illogical discourses.. Haugh’s considerations about the overall aim of the discourse are precious in explaining how the embedding explicatures I posit are calculated once and for all for the whole stretch of the discourse framed by the narrative act. (shrink)

In popular discussions, the nuances of AI are often abridged as “the algorithm”, as the specific arrangements of machine learning, deep learning and automated decision-making on social media platforms are typically shrouded in proprietary secrecy punctuated by press releases and transparency initiatives. What is clear, however, is that AI embedded on social media functions to recommend content, personalize ads, aggregate news stories, and moderate problematic material. It is also increasingly apparent that individuals are concerned with the uses, implications, and (...) fairness of algorithmic systems. Perhaps in response to concerns about “the algorithm” by individuals and governments, social media platforms utilize transparency initiatives and official statements, in part, to deflect official regulation. In the following paper, I draw from transparency initiatives and statements from representatives of Facebook and TikTok as case studies of how AI is embedded in these platforms, with attention to the promotion of AI content moderation as a solution to the circulation of problematic material and misinformation. This examination considers the complexity of embedded AI as a material-discursive apparatus, predicated on discursive techniques—what is seeable, sayable, knowable in a given time period—as well as the material arrangements—algorithms, datasets, users, platforms, infrastructures, moderators, etc. As such, the use of AI as part of the immensely popular platforms Facebook and TikTok demonstrates that AI does not exist in isolation, instead functioning as human–machine ensemble reliant on strategies of acceptance via discursive techniques and the changing material arrangements of everyday embeddedness. (shrink)

We study the computational content of various theorems with reverse mathematical strength around Arithmetical Transfinite Recursion (ATR_0) from the point of view of computability-theoretic reducibilities, in particular Weihrauch reducibility. Our main result states that it is equally hard to construct an embedding between two given well-orderings, as it is to construct a Turing jump hierarchy on a given well-ordering. This answers a question of Marcone. We obtain a similar result for Fraïssé's conjecture restricted to well-orderings.

The international organic agricultureand fair trade movements represent importantchallenges to the ecologically and sociallydestructive relations that characterize the globalagro-food system. Both movements critique conventionalagricultural production and consumption patterns andseek to create a more sustainable world agro-foodsystem. The international organic movement focuses onre-embedding crop and livestock production in ``naturalprocesses,'' encouraging trade in agriculturalcommodities produced under certified organicconditions and processed goods derived from thesecommodities. For its part, the fair trade movementfosters the re-embedding of international commodityproduction and distribution in ``equitable socialrelations,'' developing a (...) more stable and advantageoussystem of trade for agricultural and non-agriculturalgoods produced under favorable social andenvironmental conditions. The international market forboth organic and fair trade products has grownimpressively in recent years. Yet the success of thesemovements is perhaps better judged by their ability tochallenge the abstract capitalist relations that fuelexploitation in the global agro-food system. While theorganic movement currently goes further in revealingthe ecological conditions of production and the fairtrade movement goes further in revealing the socialconditions of production, there are signs that the twomovements are forging a common ground in definingminimum social and environmental requirements. I arguefrom a theoretical and empirical basis that what makesfair trade a more effective oppositional movement isits focus on the relations of agro-food trade anddistribution. By demystifying global relations ofexchange and challenging market competitiveness basedsolely on price, the fair trade movement creates aprogressive opening for bridging the wideningNorth/South divide and for wresting control of theagro-food system away from oligopolistic transnationalcorporations infamous for their socially andenvironmentally destructive business practices. (shrink)

The European Union Commission’s whitepaper on Artificial Intelligence proposes shaping the emerging AI market so that it better reflects common European values. It is a master plan that builds upon the EU AI High-Level Expert Group guidelines. This article reviews the masterplan, from a culture cycle perspective, to reflect on its potential clashes with current societal, technical, and methodological constraints. We identify two main obstacles in the implementation of this plan: the lack of a coherent EU vision to drive future (...) decision-making processes at state and local levels and the lack of methods to support a sustainable diffusion of AI in our society. The lack of a coherent vision stems from not considering societal differences across the EU member states. We suggest that these differences may lead to a fractured market and an AI crisis in which different members of the EU will adopt nation-centric strategies to exploit AI, thus preventing the development of a frictionless market as envisaged by the EU. Moreover, the Commission aims at changing the AI development culture proposing a human-centred and safety-first perspective that is not supported by methodological advancements, thus taking the risks of unforeseen social and societal impacts of AI. We discuss potential societal, technical, and methodological gaps that should be filled to avoid the risks of developing AI systems at the expense of society. Our analysis results in the recommendation that the EU regulators and policymakers consider how to complement the EC programme with rules and compensatory mechanisms to avoid market fragmentation due to local and global ambitions. Moreover, regulators should go beyond the human-centred approach establishing a research agenda seeking answers to the technical and methodological open questions regarding the development and assessment of human-AI co-action aiming for a sustainable AI diffusion in the society. (shrink)

I argue that both language acquisition and cultural and social factors contribute to the formation of schemata that facilitate false belief reasoning. While the proposal for an active role of language acquisition in this sense has been partially advanced by several voices in the mentalizing debate, I argue that other accounts addressing this issue present some shortcomings. Specifically, I analyze the existing proposals distinguishing between “structure-oriented” views :1858–1878, 2007; de Villiers in Why language matters for theory of mind. Oxford University (...) Press, New York, pp 186–219, 2005), that stress the role of language as a set of rules providing syntactic input and providing a representational format, and “cultural/social-oriented views”, that stress the role of social interaction. Starting from the analysis of these views, I defend my own account of the role of language acquisition in aiding false belief reasoning. I argue that language acquisition plays a pivotal role in the formation of schemata used by pre-schoolers to pass the false belief task. I propose a specific learning mechanism for exploiting linguistic information that taps into specific cognitive abilities, thus making a very concrete suggestion about the role of linguistic input in specific cultural contexts for the development of false belief skills. (shrink)

Next SectionIn recent years, the interpretation of scalar terms in embedded environments has been investigated extensively. Some experimentalists have been concerned with sentences like (1), in which a scalar term is embedded under a universal quantifier. The controversy involves the question whether ‘some’ in these sentences is interpreted as ‘some but not all’, thus leading to the embedded upper-bounded inference that no square is connected to all of the circles. (1) All the squares are connected with some (...) of the circles.Geurts & Pouscoulous (2009) conducted a verification task that seemed to prove that the inference is not licensed. In response, Clifton & Dube (2010) and Chemla & Spector (2011) gathered evidence suggesting the opposite conclusion. By experimentally investigating the typicality structure of complex quantified sentences like (1) above, I show how the results of the latter two experiments can be explained as typicality effects. Typicality plays a significant role in the comprehension of quantified sentences, thus complicating the interpretation of data from the kinds of experiments that have been employed to test between theories of upper-bounded inferences. (shrink)

We survey various results on the relationship among neat embeddings, complete representations, omitting types, and amalgamation. A hitherto unpublished application of algebraic logic to omitting types of first-order logic is given.

We are bombarded with epistemic norms. Respect your evidence. Don’t believe in contradictions. Don’t arbitrarily change beliefs. But how do such norms get their normative force? Why should we respect our evidence, for example? In this paper I offer a familiar type of answer, epistemic instrumentalism. Epistemic instrumentalism holds that epistemic norms get their normative force by being useful. You should respect your evidence because it will help you achieve some valuable ends. This answer, while familiar, is not very popular. (...) There is a widely accepted objection to epistemic instrumentalism, the too few reasons objection. The objection looms so large that standard developments of instrumentalism have become bloated with philosophical machinery to respond to it. This does a disservice to epistemic instrumentalism. Rather than focusing completely on the objection, I focus on describing a simple model for how conforming to the epistemic norms is broadly useful. Once I describe the simple model, the too few reasons objection becomes much easier to answer. This strategy results in a well-motivated philosophical theory based on uncontroversial facts that has many advantages over rival theories. (shrink)

Looking at the operation of forming neat $\alpha $ -reducts as a functor, with $\alpha $ an infinite ordinal, we investigate when such a functor obtained by truncating $\omega $ dimensions, has a right adjoint. We show that the neat reduct functor for representable cylindric algebras does not have a right adjoint, while that of polyadic algebras is an equivalence. We relate this categorial result to several amalgamation properties for classes of representable algebras. We show that the variety of cylindric (...) algebras of infinite dimension, endowed with the merry go round identities, fails to have the amalgamation property answering a question of Németi’s. We also study two variants of the so-called cylindric polyadic algebras introduced by Ferenczi (all are reducts of polyadic equality algebras, that are also varieties). We show that one is more cylindric than polyadic, and that the other is more polyadic than cylindric. Our classification is determined by results on neat embeddings and amalgamation expressed from the point of view of category theory, thereby witnessing, and, indeed, further emphasizing, the dichotomy between the cylindric and polyadic paradigms. For example, the first class does not have the unique neat embedding property, fails to have the amalgamation property and the neat reduct functor does not have a right adjoint, while the second class has the unique neat emdedding property, the superamalgamation property and the neat reduct functor is strongly invertible. Other results, like first order definability of the class of neat reducts and the class of completely representable algebras, confirming our classification along these lines are presented. (shrink)

Let w and M be the countable distributive lattices of Muchnik and Medvedev degrees of non-empty Π1 0 subsets of 2ω, under Muchnik and Medvedev reducibility, respectively. We show that all countable distributive lattices are lattice-embeddable below any non-zero element of w . We show that many countable distributive lattices are lattice-embeddable below any non-zero element of M.

In certain ways, many disabilities seem to occupy a middle ground between illnesses like cancer and identity-traits like race: like illnesses, they can present a wide variety of obstacles in a range of social and natural environments and, insofar as they do, they are something we should prevent potential people from having for their own sake; at the same time, those same types of disabilities can be, like race, a valuable part of the identity of the persons who already have (...) them. I consider this seemingly dual nature of a significant class of disabilities to attempt to understand the proper relation of those disabilities to persons and how we should value or respect them. I argue for a distinction between embedded disabilities and general disabilities ; importantly not everyone with a disability will turn out to have an embedded disability. I then show that expressing negative value judgments about general disabilities does not typically express disrespect for people with disabilities — thereby addressing a long-standing charge made by many in the disabilities community. Finally, I show that unlike with disabilities, expressing negative judgments about the general form of identity-traits like race does typically express disrespect for people with those identity-traits. (shrink)