In this paper, I argue that not only PPs and adverbs can act as predicates of the event argument of the verb, but certain NPs and certain clauses can, as well. I will give syntactic and semantic arguments that NPs that are cognate objects and clauses of (at least some) nonbridge verbs are optional predicates of the event argument of the verb. With respect to clauses, I will argue that for independent reasons the meaning of both independent and embedded sentences (...) can be construed as event-properties, namely as properties of intentional events. (shrink)

This volume presents studies on pronouns in embedded contexts, and offers fundamental insights into this central area of research. Much of the recent research on pronouns has shown that embedded environments, such as clausal complements of attitude predicates, provide a window into the nature of pronouns. Pronouns in such environments not only exhibit familiar distinctions such as that between bound and referential pronouns; if they refer to the attitude holder, they also participate in a broader range of phenomena, e.g., (...) distinguishing between a de se reading and a de re reading. Topics covered include: the semantics of attitude reports that contain pronominal elements, the semantics of pronominal features and their connection to indexicality, new insights in the connection of pronominal typology and logophoricity or anti-logophoricity, and finally, the localization of embedded pronouns within a bigger picture involving the nature of perspective and the analysis of quasi-pronominal phenomena such as sequence of tense. (shrink)

This paper examines a particular case of embedded pragmatic effect, here dubbed "local pragmatic enrichment". I argue that local enrichment is fairly easily accommodated within semantic theories which take content to be structured. Two standard approaches to dynamic semantics, DRT and Heimian CCS, are discussed as candidates. Focusing on cases of local enrichment of disjuncts in clausal disjunctions, I point out that in these cases, local enrichment is driven by global felicity requirements, demonstrating that the local/global distinction is not (...) a simple dichotomy. (shrink)

Clausal complements of different kinds of attitude verbs such as believe, doubt, be surprised, wonder, say, and whisper behave differently semantically in a number of respects. For example, they differ in the inference patterns they display. This paper develops a semantic account of clausal complements using partial logic which accounts for such semantic differences on the basis of a uniform meaning of clauses. It focuses on explaining the heterogeneous inference patterns associated with different kinds of attitude verbs, but (...) it contributes also to explaining differences among clausal complements of attitude verbs regarding the possibility of de re reference, anaphora support, presupposition satisfaction, and the distribution of subjunctive in certain languages. Moreover, it gives a new account of factivity. The point of departure of this paper is the general observation that the failure of inferences from attitude reports is relative in that it depends both on the general type of attitude and on the particular instance of the attitude described. Thus, from John is surprised that P and Q one cannot infer John is surprised that P and John is surprised that Q, though this is possible with believe. Conversely, one can infer from John believes that P and John believes that Q, to John believes that P and Q, but only as long as the same belief state of John is involved. In order to capture this dependency of inferences from attitude reports on a particular mental state or act, I propose an account on which clausal complements of attitude verbs (as well as independent sentences) characterize the intentional state or act described by the attitude verb in question, rather than referring to independent propositions. The semantic account of attitude reports of this paper can hence be called an 'event-based account' of clauses. Formally, the denotation of any sentence, both independent and embedded, is construed as a function mapping an intentional state or act to a function from situations (which form the content of the state or act) to truth values.. (shrink)

This paper presents novel data regarding the logophoric pronoun in Ewe. We show that, contrary to what had been assumed in the absence of the necessary fieldwork, Ewe logophors are not obligatorily interpreted de se. We discuss the prima facie rather surprising nature of this discovery given the assumptions that de se construals arise via binding of the pronoun by an abstraction operator in the left periphery of the clausal complement of an attitude predicate, and that logophors are elements (...) that are obligatorily bound by such abstractors. We show that this approach can be reconciled with these facts given the additional assumption that elements that are ‘de se’ bound can interact with the concept generator variables posited by Percus and Sauerland to derive de re interpretations of embedded nominals. The proposed set-up has consequences for our understanding of puzzles raised by Heim and Sharvit concerning binding-theoretic effects with de re elements, and for the derivation of the obligatorily de se interpretation of controlled PRO. (shrink)

The pragmatic framework developed by H.P. Grice in “Logic and Conversation” explains how a speaker can mean something more than, or different from, the conventional meaning of the sentence she utters. But it has been argued that the framework cannot give a similar explanation for cases where these pragmatic effects impact the understood content of an embedded clause, such as the antecedent of a conditional, a clausal disjunct, or the clausal complement of a verb. In this paper, I (...) show that such an explanation is available. One of the central arguments of the paper is that in a significant subset of cases, local pragmatic effects are a consequence of a global pragmatic requirement. In these cases, local pragmatic effects are a consequence of ‘acting locally’ to resolve a potential global pragmatic violation. These cases do not require us to posit application of pragmatic principles to the contents of embedded clauses. The account does, though, require the assumption that interpreters can identify and reason about the contents of unasserted sub-parts of sentences, an assumption that I motivate in section 3. Building on this, in section 4 of the paper, I argue that once we have recognized that interpreters can, and do, reason independently about the contents of non-asserted clauses, it becomes unproblematic to assume that in some cases, Gricean conversational principles do apply directly to these contents, providing an alternative route to account for local pragmatic effects. In revisiting the ideas of this paper in my response to the commentaries, I consider in more detail the revisions to Grice’s broader program that are necessitated by these moves, in particular acknowledging the problematicity of Grice’s notion of what is said. I argue that the starting point for Gricean reconstructions should instead be merely what is expressed, which carries no pragmatic commitments regarding what is speaker meant. (shrink)

Clausal edges seem to have an effect on the scopes that arguments residing at those edges can have. In particular, they influence whether an argument may be interpreted at a lowered, or reconstructed, position within the clause. This is probably what is responsible for the difference between (1a) and (1b), which formed the focus for the debate in Stowell 1991 and Williams..

This unique book provides a gentle introduction to an increasingly important type of formal logic called CLAUSAL FORM LOGIC (CFL). Having evolved out of human reasoning, CFL represents the ideal to which all computer-based systems must approximate. Most present day computational logic systems are based on it, including the well-know artificial intelligence language PROLOG.

In Basque, wh-movement can pied-pipe an entire clause. The surface syntax of clausal pied-piping structures suggests that their syntax and semantics should be similar to scope marking constructions as analyzed in the Indirect Dependency approach. However, data having to do with presupposition projection and the interpretation of how many-questions show that clausal pied-piping structures are actually more similar to their long-distance wh-movement counterparts than to scope marking constructions. I develop an analysis which takes into account these facts. Specifically, (...) I show that pied-piped clauses must reconstruct, which makes the correct prediction that clausal pied-piping, unlike long-distance wh-movement, is sensitive to negative islands. Finally, I propose that reconstruction is forced by a condition on the interpretation of traces. (shrink)

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)

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)

A clausal logic allowing to handle term-graphs is defined. Term-graphs are a generalization of terms (in the usual sense) possibly containing shared subterms and cycles. The satisfiability problem for this logic is shown to be undecidable (not even semi-decidable), but some fragments are identified for which it is semi-decidable. A complete (w.r.t validity) calculus for these fragments is proposed. Some simple examples give a taste of this calculus at work.

This paper looks at one area of potential crosslinguistic variation in comparatives. It has recently been claimed that Japanese clausal comparatives lack degree abstraction structures in the complement of yori ‘than’. Based on data from several empirical domains such as predicative adjectival comparatives, intensional contexts, and negative islands, this paper shows that Japanese clausal comparatives do not in general contrast with their English counterparts in the way predicted by the above claim. The syntactic and semantic phenomena observed in (...) Japanese clausal comparatives receive straightforward accounts if we assume that they do involve degree abstraction and degree comparison, along the lines familiar from analyses of their English counterparts. (shrink)

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)

Dr Erskine's 'embedded cosmopolitanism' embraces the perspective of local loyalties, communities and cultures in the theory of why we have duties to 'strangers' and 'enemies' in world politics. Taking examples from the 'war on terror', she examines duties to 'enemies' through norms of non-combatant immunity and the prohibition against torture.

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)

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 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.

Attitude verbs fall in different categories depending on the kind of sentential complements which they can embed. In English, a verb like know takes both declarative and interrogative complements. By contrast, believe takes only declarative complements and wonder takes only interrogative complements. The present paper examines the hypothesis, originally put forward by Hintikka (1975), that the only verbs that can take both that -complements and whether -complements are the factive verbs. I argue that at least one half of the hypothesis (...) is empirically correct, namely that all veridical attitude verbs taking that -complements take whether -complements. I distinguish veridical verbs from factive verbs, and present one way of deriving the generalization. Counterexamples to both directions of the factivity hypothesis are discussed, in particular the case of emotive factive verbs like regret , and the case of non-veridical verbs that licence whether complements, in particular tell, guess, decide and agree . Alternative accounts are discussed along the way, in particular Zuber (1982), Ginzburg (1995) and Saebø (2007). (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)

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.'.

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.

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)

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.

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)

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.

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 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 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)

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)

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.

An embedded automaton is introduced to monitor the whole glycolysis process in pancreatic β-cell and it is a hybridization of both non-deterministic finite automaton and push-down automaton. The set of irreversible and reversible reactions in the glycolysis process are related to non-deterministic finite automaton and push-down automaton respectively. The embedded automaton is used to observe the glucose metabolism with the states of acceptance and rejection. The acceptance state of the embedded automaton depicts the normal level of glycolysis and insulin secretion. (...) The rejection state of this machine shows inhibition of glycolysis which obstructs the secretion of insulin. The subsequent low level of insulin leads to the high blood glucose level also known as hyperglycemia. In this study, the designed machine can be used to regulate the process of glycolysis through a group of regulatory glycolytic enzymes for the treatment of Diabetes mellitus at molecular level. (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)

Embedding Ethics questions why ethics have been divorced from scientific expertise. Invoking different disciplinary practices from biological, archaeological, cultural, and linguistic anthropology, contributors show how ethics should be resituated at the heart of, rather than exterior to, scientific activity. Positioning the researcher as a negotiator of significant truths rather than an adjudicator of a priori precepts enables contributors to relocate ethics in new sets of social and scientific relationships triggered by recent globalization processes--from new forms of intellectual and cultural (...) ownership to accountability in governance, and the very ways in which people are studied. Case studies from ethnographic research, museum display, archaeological fieldwork and professional monitoring illustrate both best practice and potential pitfalls. (shrink)

Speech acts have sometimes been considered as unembeddable, for principled reasons. In this paper, I argue that speech acts can be embedded under certain circumstances. In particular, I consider denegation and conjunction of speech acts, quantification into speech acts, conditionalization of speech acts, the embedding of speech acts by verbs like say and wonder, speechact-modifying adverbials like frankly, clauses commenting on speech acts, like certain uses of because-clauses, parentheticals, and appositive relative clauses. A crucial distinction is made between speech (...) acts and speech act potentials, linguistic objects that can be used to perform speech acts when applied in a specific communicative situation. I develop a semantic theory in which speech act potentials are captured as semantic functions that change a world-time index, reflecting the nature of speech acts as events that happen in the world. As index changers, speech act potentials become nearly regular semantic objects, with a proper semantic type on which other semantic objects can operate on. In this way, speech acts (or rather, speech-act potentials) become part of the recursive structure of language. (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)

It is shown that a set of semi-recursive logics, including many fragments of CL, can be embedded within CL in an interesting way. A logic belongs to the set iff it has a certain type of semantics, called nice semantics. The set includes many logics presented in the literature. The embedding reveals structural properties of the embedded logic. The embedding turns finite premise sets into finite premise sets. The partial decision methods for CL that are goal directed with (...) respect to CL are turned into partial decision methods that are goal directed with respect to the embedded logics. (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)

Based on the 2030 United Nations Agenda for Sustainable Development Goals (SDGs), it is urgent to effectively address the climate change’s urgency linked to all other 16 SDGs. This issue mainly reflects the progress made toward achieving the United Nation’s Sustainable Development Goals (SDGs), especially SDG 13 binding targets including improving education and public awareness-raising mechanisms for raising capacities of management, participation, mitigation, and adaptation strategies especially focusing on marginalized communities. The 2021 United Nations Climate Change Conference, also known as (...) the COP26 summit (UNFCCC), highlighted this importance by bringing 25,000 delegates from 200 countries together in order to enhance international ambition toward mitigating climate change as outlined in the Paris agreement. From the Kyoto Protocol to the recent 2021 COP26 International Summit and Paris Agreement, decision-makers continue to grapple... -/- . (shrink)