It is commonly accepted that those embedded conditionals of the type "if A, then if B, then C" we do understand, we understand as equivalent to sentences without embedded conditionals. This reduction is in classical logic achieved with the use of laws of exportation and importation. V. McGee even presents counterexamples to modus ponens which are based on the classical treatment of embedded conditionals and proposes to trade the validity of modus ponens for the (...) validity of laws of importation and exportation. It is argued that for a large class of indicative conditionals the laws of exportation and importation are invalid. With the help of Stalnaker's selection function theory of conditionals and the distinction between valid and reasonable inferences it is shown that modus ponens is valid but can be unreasonable, whereas laws of importation and exportation are invalid, but still reasonable. (shrink)

Counterfactual analysis of causation between particular events, combined with standard semantics for counterfactual conditionals, cannot express the idea that the cause is sufficient for the effect. Several authors have suggested that a more complex pattern of nested counterfactual conditionals is a better candidate for expressing the idea of causal connection. The most systematic account is developed by Kadri Vihvelin. She argues that a complex pattern of causal dependence, expressed by embedded conditionals, covers all the cases of (...) causation and still yields an account of causal asymmetry. But the new account relies heavily on the use of backtracking conditionals, and no criterion is given for their evaluation. I will try to show that Vihvelin’s proposal is not superior to the standard account because it overlooks the disadvantages of a liberal theory of causal relata. (shrink)

The aim of this paper is to give a general solution to the paradoxes of the material conditional, including the paradoxes generated by embedded conditionals. The solution consists in a pragmatic reinterpretation of the formal languages of classical logic LK and relevant logic LR as presented in Paoli. In particular I argue that the material conditional in the classical logic LK captures the truth conditions of “if...then”, but ignores certain pragmatic enrichments that are associated to it, while relevant (...) logic LR can give a systematic diagnostic of the cases in which a conditional is pragmatically enriched and those cases in which it is not. This diagnostic shows the reason why the paradoxes seem unacceptable and why they are, nevertheless, truth-preserving. This reinterpretation will also cover the solution that Paoli gives to McGee’s paradoxes of the Modus Ponens. (shrink)

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.

We present a necessary and sufficient condition for the embeddability of a finite principally decomposable lattice into the computably enumerable degrees preserving greatest element.

We present a necessary and sufficient condition for the embeddability of a principally decomposable finite lattice into the computably enumerable degrees. This improves a previous result which required that, in addition, the lattice be ranked. The same condition is also necessary and sufficient for a finite lattice to be embeddable below every non-zero computably enumerable degree.

It has been suggested that external and/or internal limitations paradoxically may lead to superior learning, that is, the concepts of starting small and less is more (Elman, ; Newport, ). In this paper, we explore the type of incremental ordering during training that might help learning, and what mechanism explains this facilitation. We report four artificial grammar learning experiments with human participants. In Experiments 1a and 1b we found a beneficial effect of starting small using two types of simple recursive (...) grammars: right‐branching and center‐embedding, with recursive embedded clauses in fixed positions and fixed length. This effect was replicated in Experiment 2 (N = 100). In Experiment 3 and 4, we used a more complex center‐embedded grammar with recursive loops in variable positions, producing strings of variable length. When participants were presented an incremental ordering of training stimuli, as in natural language, they were better able to generalize their knowledge of simple units to more complex units when the training input “grew” according to structural complexity, compared to when it “grew” according to string length. Overall, the results suggest that starting small confers an advantage for learning complex center‐embedded structures when the input is organized according to structural complexity. (shrink)

I consider embeddings of one subjunctive conditional in the consequent of another, and argue that (if A then (if B then C)) is not equivalent to (if (A & B) then C ), given the meanings we usually give to the outer and the inner 'if'.

The fact that the standard probabilistic calculus does not define probabilities for sentences with embedded conditionals is a fundamental problem for the probabilistic theory of conditionals. Several authors have explored ways to assign probabilities to such sentences, but those proposals have come under criticism for making counterintuitive predictions. This paper examines the source of the problematic predictions and proposes an amendment which corrects them in a principled way. The account brings intuitions about counterfactual conditionals to bear (...) on the interpretation of indicatives and relies on the notion of causal (in)dependence. (shrink)

We define a class of finite partial lattices which admit a notion of rank compatible with embedding constructions, and present a necessary and sufficient condition for the embeddability of a finite ranked partial lattice into the computably enumerable degrees.

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)

Some left-nested indicative conditionals are hard to interpret while others seem fine. Some proponents of the view that indicative conditionals have No Truth Values (NTV) use their view to explain why some left-nestings are hard to interpret: the embedded conditional does not express the truth conditions needed by the embedding conditional. Left-nestings that seem fine are then explained away as cases of ad hoc, pragmatic interpretation. We challenge this explanation. The standard reasons for NTV about indicative (...) class='Hi'>conditionals (triviality results, Gibbardian standoffs, etc.) extend naturally to NTV about biconditionals. So NTVers about conditionals should also be NTVers about biconditionals. But biconditionals embed much more freely than conditionals. If NTV explains why some left-nested conditionals are hard to interpret, why do biconditionals embed successfully in the very contexts where conditionals do not embed? (shrink)

Conditional logics have traditionally been intended to formalize various intuitively correct modes of reasoning involving conditional expressions in natural language. Although conditional logics have by now been thoroughly studied in a classical context, they have yet to be systematically examined in an intuitionistic context, despite compelling philosophical and technical reasons to do so. This paper addresses this gap by thoroughly examining the basic intuitionistic conditional logic ICK, the intuitionistic counterpart of Chellas’ important classical system CK. I give ICK both worlds (...) semantics and algebraic semantics, and prove that these are equivalent. I give a Gödel-type embedding of ICK into CK and a Glivenko-type embedding of CK into ICK. I axiomatize ICK and prove soundness, completeness, and decidability results. Finally, I discuss extending ICK. (shrink)

The connection between the probabilities of conditionals and the corresponding conditional probabilities has long been explored in the philosophical literature, but its implementation faces both technical obstacles and objections on empirical grounds. In this paper I ?rst outline the motivation for the probabilistic turn and Lewis’ triviality results, which stand in the way of what would seem to be its most straightforward implementation. I then focus on Richard Jeffrey’s ’random-variable’ approach, which circumvents these problems by giving up the notion (...) that conditionals denote propositions in the usual sense. Even so, however, the random-variable approach makes counterintuitive predictions in simple cases of embedded conditionals. I propose to address this problem by enriching the model with an explicit representation of causal dependencies. The addition of such causal information not only remedies the shortcomings of Jeffrey’s conditional, but also opens up the possibility of a uni?ed probabilistic account of indicative and counterfactual conditionals. (shrink)

Building on previous works which argued that scalar implicatures can be computed in embedded positions, this paper proposes a constraint on exhaustification which restricts the conditions under which an exhaustivity operator can be licensed. We show that this economy condition allows us to derive a number of generalizations, such as, in particular, the ‘Implicature Focus Generalization’: scalar implicatures can be embedded under a downward-entailing operator only if the scalar term bears pitch accent. Our economy condition also derives specific (...) predictions regarding the licensing of so-called Hurford disjunctions. (shrink)

Bare conditionals, I argue, exhibit Conditional Duality in that when they appear in downward entailing environments they differ from bare conditionals elsewhere in having existential rather than universal force. Two recalcitrant phenomena are shown to find a new explanation under this thesis: bare conditionals under only, and bare conditionals in the scope of negative nominal quantifiers, or what has come to be known as Higginbotham’s puzzle. I also consider how bare conditionals behave when embedded (...) under negation, arguing that such conditionals often involve denial negation. One important conclusion that emerges from the discussion is that an account of bare conditionals that validates Conditional Excluded Middle is not warranted. By limiting the scope of the strict analysis Conditional Duality is also a way of maintaining such an account. (shrink)

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)

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)

A semantic embedding of quantified conditional logic in classical higher-order logic is utilized for reducing cut-elimination in the former logic to existing results for the latter logic. The presented embedding approach is adaptable to a wide range of other logics, for many of which cut-elimination is still open. However, special attention has to be payed to cut-simulation, which may render cut-elimination as a pointless criterion.

We show a transfer principle for the property that all types realised in a given elementary extension are definable. It can be written as follows: a Henselian valued field is stably embedded in an elementary extension if and only if its value group is stably embedded in its corresponding extension, its residue field is stably embedded in its corresponding extension, and the extension of valued fields satisfies a certain algebraic condition. We show for instance that all types (...) over the Hahn field $$\mathbb {R}((\mathbb {Z}))$$ are definable. Similarly, all types over the quotient field of the Witt ring $$W(\mathbb {F}_p^{\text {alg}})$$ are definable. This extends a work of Cubides and Delon and of Cubides and Ye. (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)

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)

We consider the investigation of the embedding of semigroups in groups, a problem which spans the early-twentieth-century development of abstract algebra. Although this is a simple problem to state, it has proved rather harder to solve, and its apparent simplicity caused some of its would-be solvers to go awry. We begin with the analogous problem for rings, as dealt with by Ernst Steinitz, B. L. van der Waerden and Øystein Ore. After disposing of A. K. Sushkevich’s erroneous contribution in this (...) area, we present A. I. Maltsev’s example of a cancellative semigroup which may not be embedded in a group, which showed for the first time that such an embedding is not possible in general. We then look at the various conditions that were derived for such an embedding to take place: the sufficient conditions of Paul Dubreil and others, and the necessary and sufficient conditions obtained by A. I. Maltsev, Vlastimil Pták and Joachim Lambek. We conclude with some comments on the place of this problem within the theory of semigroups, and also within abstract algebra more generally. (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)

Scholars concerned with the foundations of quantum mechanics (QM) usually think that contextuality (hence nonobjectivity of physical properties, which implies numerous problems and paradoxes) is an unavoidable feature of QM which directly follows from the mathematical apparatus of QM. Based on some previous papers on this issue, we criticize this view and supply a new informal presentation of the extended semantic realism (ESR) model which embodies the formalism of QM into a broader mathematical formalism and reinterprets quantum probabilities as conditional (...) on detection rather than absolute. Because of this reinterpretation a hidden variables theory can be constructed which justifies the assumptions introduced in the ESR model and proves its objectivity. When applied to special cases the ESR model settles long-standing conflicts (it reconciles Bell’s inequalities with QM), provides a general framework in which previous results obtained by other authors (as local interpretations of the GHZ experiment) are recovered and explained, and supports an interpretation of quantum logic which avoids the introduction of the problematic notion of quantum truth. (shrink)

We prove two embedding and extension theorems in the context of the constructive theory of metric spaces. The first states that Cantor space embeds in any inhabited complete separable metric space (CSM) without isolated points, X, in such a way that every sequentially continuous function from Cantor space to ℤ extends to a sequentially continuous function from X to ℝ. The second asserts an analogous property for Baire space relative to any inhabited locally non‐compact CSM. Both results rely on having (...) careful constructive formulations of the concepts involved.As a first application, we derive new relationships between “continuity principles” asserting that all functions between specified metric spaces are pointwise continuous. In particular, we give conditions that imply the failure of the continuity principle “all functions from X to ℝ are continuous”, when X is an inhabited CSM without isolated points, and when X is an inhabited locally non‐compact CSM. One situation in which the latter case applies is in models based on “domain realizability”, in which the failure of the continuity principle for any inhabited locally non‐compact CSM, X, generalizes a result previously obtained by Escardó and Streicher in the special case X = C[0, 1].As a second application, we show that, when the notion of inhabited complete separable metric space without isolated points is interpreted in a recursion‐theoretic setting, then, for any such space X, there exists a Banach‐Mazur computable function from X to the computable real numbers that is not Markov computable. This generalizes a result obtained by Hertling in the special case that X is the space of computable real numbers. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim). (shrink)

We report on the mechanisation of (preference-based) conditional normative reasoning. Our focus is on Åqvist's system E for conditional obligation, and its extensions. Our mechanisation is achieved via a shallow semantical embedding in Isabelle/HOL. We consider two possible uses of the framework. The first one is as a tool for meta-reasoning about the considered logic. We employ it for the automated verification of deontic correspondences (broadly conceived) and related matters, analogous to what has been previously achieved for the modal logic (...) cube. The equivalence is automatically verified in one direction, leading from the property to the axiom. The second use is as a tool for assessing ethical arguments. We provide a computer encoding of a well-known paradox (or impossibility theorem) in population ethics, Parfit's repugnant conclusion. While some have proposed overcoming the impossibility theorem by abandoning the presupposed transitivity of ‘better than’, our formalisation unveils a less extreme approach, suggesting among other things the option of weakening transitivity suitably rather than discarding it entirely. Whether the presented encoding increases or decreases the attractiveness and persuasiveness of the repugnant conclusion is a question we would like to pass on to philosophy and ethics. (shrink)

Many transnational corporations and international organizations have embraced corporate social responsibility to address criticisms of working and environmental conditions at subcontractors' factories. While CSR 'codes of conduct' are easy to draft, supplier compliance has been elusive. Even third-party monitoring has proven an incomplete solution. This article proposes that an alteration in the supply chain's governance, from an arms-length market model to a collaborative partnership, often will be necessary to effectuate CSR. The market model forces contractors to focus on price and (...) delivery as they compete for the lead firm's business, rendering CSR observance secondary, at best. A collaborative partnership where the lead firm gives select suppliers secure product orders and other benefits removes disincentives and adds incentives for CSR compliance. In time, the suppliers' CSR habit should shift their business philosophy toward pursuing CSR as an end in itself, regardless of buyer incentives and monitoring. This article examines these hypotheses in the context of the athletic footwear sector with Nike, Inc. and its suppliers as the specific case study. The data collected and conclusions reached offer strategies for advancing CSR beyond the superficial and often ineffectual 'code of conduct' stage. (shrink)

Non-cognitivism is an approach to metaphor that denies the existence of any metaphorical meanings. A metaphor’s only meaning is its literal meaning. The interpretation of metaphor, on this approach, does not consist in metaphorical contents being communicated by being either semantically encoded or pragmatically communicated. Rather, metaphor operates in an entirely non-linguistic way that does not require the postulation of such meanings. Metaphors cause people to see connections, even to grasp new thoughts, but they do not do so by meaning (...) those thoughts or connections. Non-cognitivism faces a stern challenge from the problem of embedding: metaphors embedded in propositional attitude reports seem to require metaphorical meanings in their truth conditions. In this paper, we argue that existing attempts to solve this problem for non-cognitivism have been unsuccessful. We then offer a new solution that differentiates two scope readings of embedded metaphors and explains each in turn. The paper thus suggests that non-cognitivism has enough rescores to account for embedded metaphors. (shrink)

This chapter was written in 2013 and was posted in the Semantics Archive in January 2014. The preprint of the published version has been in the Semantics Archive since 2016. The Semantics Archive is an electronic preprint archive hosted by the Linguistics Society of America. -/- The chapter looks at indicative conditionals embedded under quantifiers, with a special emphasis on ‘one-case’, episodic, conditionals as in "No query was answered if it came from a doubtful address." It agrees (...) with earlier assessments that a complete conditional (with antecedent and consequent) is embedded under a quantifier in those constructions, but then proceeds to create a dilemma by showing that we can’t always find the right interpretation for that conditional. Contrary to earlier assessments, Stalnaker’s conditional won’t always do. The paper concludes that the embedded conditional in the sentence above is a material implication, but the "if"-clause also plays a pragmatic role in restricting the domain of the embedding quantifier. That an appeal to pragmatics should be necessary at all goes with Edgington’s verdict that “we do not have a satisfactory general account of sentences with conditional constituents.” -/- One of the conclusions drawn at the end of the chapter is that the English modal "will" should be given a Stalnaker selection function analysis. The idea is implemented by attaching to "will" an accessibility function variable that receives its value from the context of use and can be dynamically updated by preceding "if"-clauses, as proposed in von Fintel (1994). The argument for a Stalnaker selection function analysis of "will" provided by the paper is that, together with the restrictor analysis of "if"-clauses, it yields the correct truth-conditions for "will"-conditionals (as opposed to episodic, 'one case', conditionals) embedded under quantifiers. The proposal that the English modal "will" should be given a Stalnaker selection function analysis has since been taken up and elaborated considerably in Cariani & Santorio's (2018) paper on "will" in Mind, and is a central idea in Cariani's (2021) book The Modal Future. (shrink)

In this paper we will show that for every cut I of any countable nonstandard model $\mathcal {M}$ of $\mathrm {I}\Sigma _{1}$, each I-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}$ iff I is 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)

The ability to process center‐embedded structures has been claimed to represent a core function of the language faculty. Recently, several studies have investigated the learning of center‐embedded dependencies in artificial grammar settings. Yet some of the results seem to question the learnability of these structures in artificial grammar tasks. Here, we tested under which exposure conditions learning of center‐embedded structures in an artificial grammar is possible. We used naturally spoken syllable sequences and varied the presence of prosodic (...) cues. The results suggest that mere distributional information does not suffice for successful learning. Prosodic cues marking the boundaries of the major relevant units, however, can lead to learning success. Thus, our data are consistent with the hypothesis that center‐embedded syntactic structures can be learned in artificial grammar tasks if language‐like acoustic cues are provided. (shrink)

To measure non-cognitive facets of competence, we developed and tested a new method that we refer to as Embedded Experience Sampling (EES). Domain-specific problem-solving competence is a multi-faceted construct that is not limited to cognitive facets such as domain knowledge or problem-solving strategies but also comprises non-cognitive facets in the sense of domain-specific emotional and motivational dispositions such as interest and self-concept. However, in empirical studies non-cognitive facets are usually either neglected or measured by generalized self-report questionnaires that are (...) detached from the performance assessment. To enable an integrated measurement, we developed the EES method to collect data on non-cognitive facets during scenario-based low-stakes assessments. Test-takers are requested to stop at certain times and spontaneously answer short items (EES items) regarding their actual experience of the problem situation. These EES items are embedded in an EES event that resembles typical social interactions with non-player characters. To evaluate the feasibility and validity of the method, we implemented EES in a series of three studies in the context of commercial vocational education and training (VET): A feasibility study with 77 trainees, a pilot study with 20 trainees, and the main study with 780 trainees who worked on three complex problem scenarios in a computer-based office simulation. In the present paper, we investigate how test-takers perceived the EES events, and whether social desirability biased their answers, and investigate the internal structure of the data and the relationship between EES data and data from several other sources. Interview data and survey data indicated no biases due to social desirability and no additional burden for the test-takers due to the EES events. A correlation analysis following the multitrait-multimethod approach as well as the calibration of a multidimensional model based on Item Response Theory (IRT) also supported the construct validity. Furthermore, EES data shows substantial correlations with test motivation but almost zero correlations with data from generalized retrospective self-report questionnaires on non-cognitive facets. Altogether, EES offers an alternative approach to measuring non-cognitive facets of competence under certain conditions. For instance, EES is also based on self-reporting and thus might not be suitable for high-stakes testing. (shrink)

The goal of this paper is to present and defend an empiricist, neo-Hempelian account of scientific explanation as ampliative, specialized embedding. The proposal aims to preserve what I take to be the core of Hempel’s empiricist account, by weakening it in some respects and strengthening it in others, introducing two new conditions that solve most of Hempel’s problems without abandoning his empiricist strictures. According to this proposal, to explain a phenomenon is to make it expectable by introducing new conceptual/ontological machinery (...) and using special, and non-ad hoc, non-accidental regularities. The new conditions are elaborated making essential use of two central structuralist ideas, namely T-theoreticity and specialization. I first introduce and qualify the project, then present the new account in detail and assess it vis-à-vis its rivals, and finally discuss some possible objections, concluding that the account fares better than its monistic rivals and well enough to qualify as a promising neo-Hempelian account. Even for those unpersuaded by its monistic goals, it has the merit of calling attention to two new necessary conditions not explicitly emphasized thus far and showing how they serve to answer many of the criticisms addressed against Hempel’s account. (shrink)

Stephen Barker argues that a possible worlds semantics for the counterfactual conditional of the sort proposed by Stalnaker and Lewis cannot accommodate certain examples in which determinism is true and a counterfactual Q > R is false, but where, for some P, the compound counterfactual P > (Q > R) is true. I argue that the completeness theorem for Lewis’s system VC of counterfactual logic shows that Stalnaker–Lewis semantics does accommodate Barker’s example, and I argue that its doing so should (...) be understood as showing that the example is an exception to Lewis’s Time’s Arrow requirements. (shrink)

Language is a collaborative act: To communicate successfully, speakers must generate utterances that are not only semantically valid but also sensitive to the knowledge state of the listener. Such sensitivity could reflect the use of an “embedded listener model,” where speakers choose utterances on the basis of an internal model of the listener's conceptual and linguistic knowledge. In this study, we ask whether parents’ spatial descriptions incorporate an embedded listener model that reflects their children's understanding of spatial relations (...) and spatial terms. Adults described the positions of targets in spatial arrays to their children or to the adult experimenter. Arrays were designed so that targets could not be identified unless spatial relationships within the array were encoded and described. Parents of 3–4-year-old children encoded relationships in ways that were well-matched to their children's level of spatial language. These encodings differed from those of the same relationships in speech to the adult experimenter. In contrast, parents of individuals with severe spatial impairments did not show clear evidence of sensitivity to their children's level of spatial language. The results provide evidence for an embedded listener model in the domain of spatial language and indicate conditions under which the ability to model listener knowledge may be more challenging. (shrink)

What is the status of empirical contributions to bioethics, especially to clinical bioethics? Where is the empirical approach discussed in bioethics related to the ongoing debate about principlism versus casuistry? Can we consider an integrative model of research in medical ethics and which empirical methodology could then be valuable, the quantitative or the qualitative? These issues will be addressed in the first, theoretical part of the paper. The concept of the “embedded researcher” presented in this article was stimulated by (...) the two questions, (1) how can we safeguard that our research will yield valid and meaningful results to practice? and (2), how can we convince clinical colleagues that medical ethics offers relevant contributions to the analysis and solution of problems? One tentative answer has been our effort to elaborate a coherent methodological research approach in the field of end-of-life issues integrating qualitative and quantitative as well as casuistic methodologies. This development is characterized in the second part describing the ECOPE Study (short title)“Ethical Conditions Of Passive Euthanasia.” The achievements and limitations of the suggested approach of the “embedded researcher” are discussed referring to 3 examples of our joint studies about ethical issues concerning(1) critical decision-making in neonatology(2) limitation of treatment in intensive care(3) problems with doctor-patient conversation at the end of life in oncologyConclusions from our studies are put to discussion in the final part of the paper about how to further develop research in the field of end-of-life care and, maybe,clinical bioethics as a whole. (shrink)

The concept of negative liberty as non-interference is operative in the concept of a free market and stipulates that market relations remain outside the purview of social control. As a purported self-regulating system, however, the market functions as a system of necessity that facilitates and rules social life. I argue that Isaiah Berlin’s defense of negative liberty leads to a paradox as it entails subjection to the external necessity of a self-regulating market. The argument for the self-defeating nature of negative (...) liberty relies on two philosophical insights that have their roots in G. W. F. Hegel’s theory of self-determination. First, negative liberty fails to account for the inner and outer conditions of freedom and thus reduces to mere whim or arbitrariness, subject to heteronomous forces but masquerading as license. Second, individual freedom is intersubjectively mediated in its deliberative process and framed by social and political institutions in its exercise; thus, free agency must be theorized as embedded agency. I challenge the association of freedom and the market and the automatic and unchallenged implication of deregulation and freedom. Deregulation, rather, leaves the community’s future development to the whims of economic players using a rhetoric of freedom as both lure and principle. (shrink)

Relationist theories of space or space-time based on embedding of a physical relational system A into a corresponding geometrical system B raise problems associated with the degree of uniqueness of the embedding. Such uniqueness problems are familiar in the representational theory of measurement (RTM), and are dealt with by imposing a condition of uniqueness of embeddings up to composition with an "admissible transformation" of the space B. Friedman (1983) presents an alternative treatment of the uniqueness problem for embedding relationist theories, (...) developed independently of RTM. Friedman's approach differs from that of RTM in securing uniqueness by adding new primitives to the physical system A in contrast to the RTM approach which adds new axioms. Friedman's proposal has recently been developed and defended by Catton and Solomon (1988). This method of solving the uniqueness problem is here argued to be substantially inferior to the RTM method, both in practice and in principle. In practice we find that in none of the concrete examples offered to illustrate the method is the uniqueness problem actually solved in general. Moreover we find that in the most interesting case (addition to the system A of a finite number of relations of finite degree) the method is in principle incapable of success for mathematical reasons. In addition to these technical difficulties there are compelling methodological reasons for preferring the RTM method to the method of adding primitives. (shrink)

In this paper, we discuss the problem of the relationship between legal concepts and legal norms. We argue that one of the widespread theories of legal concepts, which we call ‘the embedding theory’, is false. The theory is based on the assumption that legal norms are central for any legal system and that each legal norm establishes an inferential link between a certain class of facts and a certain class of legal consequences. Alf Ross’s embedding theory was presented in his (...) famous paper “Tu–Tu”. According to Ross, the sole function of legal concepts is to simplify normative information. Hence, the use of legal concepts may be a matter of convenience, rather than necessity. We criticize this approach mainly by pointing to the existence of so-called second order substantive concepts, which are not reducible to any determined set of conditional sentences (inferential links). In short, second order substantive concepts play the role of general standards, and general standards are used to provide flexibility for a particular legal system. In addition, general standards are ‘value loaded’, since they serve as a frame of reference for judges applying law to particular cases. To understand such general standards as a predefined set of conditionals means to overlook their ‘open’ content, and thus their function. In our opinion, the acceptance of the embedding theory means to misinterpret the function of general standards. We also argue that Giovani Sartor’s idea of defective legal concepts doesn’t help to clarify or defend the embedding theory. (shrink)

We show that the lattice L 20 is not embeddable into the lattice of ideals of computably enumerable Turing degrees (J). We define a structure called a pseudolattice that generalizes the notion of a lattice, and show that there is a Π 2 necessary and sufficient condition for embedding a finite pseudolattice into J.

Conditional logics were originally developed for the purpose of modeling intuitively correct modes of reasoning involving conditional—especially counterfactual—expressions in natural language. While the debate over the logic of conditionals is as old as propositional logic, it was the development of worlds semantics for modal logic in the past century that catalyzed the rapid maturation of the field. Moreover, like modal logic, conditional logic has subsequently found a wide array of uses, from the traditional (e.g. counterfactuals) to the exotic (e.g. (...) conditional obligation). Despite the close connections between conditional and modal logic, both the technical development and philosophical exploitation of the latter has outstripped that of the former, with the result that noticeable lacunae exist in the literature on conditional logic. My dissertation addresses a number of these underdeveloped frontiers, producing new technical insights and philosophical applications. -/- I contribute to the solution of a problem posed by Priest of finding sound and complete labeled tableaux for systems of conditional logic from Lewis' V-family. To develop these tableaux, I draw on previous work on labeled tableaux for modal and conditional logic; errors and shortcomings in recent work on this problem are identified and corrected. While modal logic has by now been thoroughly studied in non-classical contexts, e.g. intuitionistic and relevant logic, the literature on conditional logic is still overwhelmingly classical. Another contribution of my dissertation is a thorough analysis of intuitionistic conditional logic, in which I utilize both algebraic and worlds semantics, and investigate how several novel embedding results might shed light on the philosophical interpretation of both intuitionistic logic and conditional logic extensions thereof. -/- My dissertation examines deontic and connexive conditional logic as well as the underappreciated history of connexive notions in the analysis of conditional obligation. The possibility of interpreting deontic modal logics in such systems (via embedding results) serves as an important theoretical guide. A philosophically motivated proscription on impossible obligations is shown to correspond to, and justify, certain (weak) connexive theses. Finally, I contribute to the intensifying debate over counterpossibles, counterfactuals with impossible antecedents, and take—in contrast to Lewis and Williamson—a non-vacuous line. Thus, in my view, a counterpossible like "If there had been a counterexample to the law of the excluded middle, Brouwer would not have been vindicated" is false, not (vacuously) true, although it has an impossible antecedent. I exploit impossible (non-normal) worlds—originally developed to model non-normal modal logics—to provide non-vacuous semantics for counterpossibles. I buttress the case for non-vacuous semantics by making recourse to both novel technical results and theoretical considerations. (shrink)

The Local Computation Framework has been used to improve the efficiency of computation in various uncertainty formalisms. This paper shows how the framework can be used for the computation of logical deduction in two different ways; the first way involves embedding model structures in the framework; the second, and more direct, way involves embedding sets of formulae. This work can be applied to many of the logics developed for different kinds of reasoning, including predicate calculus, modal logics, possibilistic logics, probabilistic (...) logics and non-monotonic logics. (shrink)

This paper introduces the state space theory of consciousness, positing that the cortex processes information through delay coordinate embedding operationalized by recurrent neural network engines. This leverages the power of Takens' theorem, giving rise to representations of reality as points within state space. Consciousness is posited to arise at the highest order engines amongst hierarchical and parallel engine pathways. Consciousness is cast as a dynamic process rather than as a neuronal state, reconciling dualist intuitions with a monist perspective. Neuronal representations (...) develop uniquely in each individual due to history-dependent training of these engines, accounting for the privacy of qualia while also addressing cortical plasticity and the heuristic nature of cortical processing. Posited engines exhibit non-linear dynamics that are sensitive to initial conditions, explaining phenomena such as ambiguous figure interpretation and offering a pathway to explaining free will. The state space theory aligns with and expands upon major theories (e.g.higher-order theories, global workspace theories, integrated information theory), essentially providing a computational mechanism that unifies elements of these theories. Future work will explore neural mechanisms and validate predictions. (shrink)

Expressivism faces four distinct problems when evaluative sentences are embedded in unassertive contexts like: If lying is wrong, getting someone to lie is wrong, Lying is wrong, so Getting someone to lie is wrong. The initial problem is to show that expressivism is compatible with - being valid. The basic problem is for expressivists to explain why evaluative instances of modus ponens are valid. The deeper problem is to explain why a particular argument like - is valid. The deepest (...) problem is to explain the meanings of evaluative conditionals like . Expressivists can solve the initial and basic problems simply by acknowledging that evaluative sentences have minimal truth aptness, but the deeper and deepest problems require more. The deepest problem cannot be solved even with the semantics of Gibbard and Blackburn, as is shown by an extension of Dreier’s hiyo argument. (shrink)

Background: Although human dignity is an unconditional value of every human being, it can be shattered by extrinsic factors. It is necessary to discover the authentic meaning of patients’ dignity preservation from different religious perspectives to provide professional cross-cultural care in a diverse setting. Research objective: This article identifies common experiences of Iranian Muslim and Armenian Christian patients regarding dignified care at the bedside. Research design: This is a qualitative study of participants’ experiences of dignified care elicited by individual in-depth (...) semi-structured interviews. Participants and research context: A purposeful sample of 10 participants (five Iranian Muslims and five Iranian Armenians) from various private and governmental hospital settings was chosen. Ethical considerations: This study was approved by the ethics committee of Tehran University of Medical Sciences. All the participants were provided with information about the purpose and the nature of the study, the voluntary condition of their participation in this study, and the anonymous reporting of recorded interviews. Findings: The common experiences of Christian and Muslim patients regarding dignity preservation emerged as “exigency of respecting human nobility” and “providing person-centered care.” Discussion and conclusion: It is essential to recognize the humanness and individuality of each patient to preserve and promote human dignity in diverse cross-cultural settings. The findings support and expand current understanding about the objective and subjective nature of dignity preservation in cross-cultural nursing. (shrink)

ABSTRACT This essay explores the ways in which theories and entities are culturally and intellectually embedded in historical and disciplinary contexts by looking at the development of a set of related theories of perception that emerged in response to contemporary Sceptical criticisms of the very possibility of doing empirical science. At the same time, it attempts to bring into focus a puzzle about precisely how (and how deeply) seeing itself is conditioned.

The complementary properties and functions of cognitive artifacts and other external resources are integrated into the human cognitive system to varying degrees. The goal of this paper is to develop some of the tools to conceptualize this complementary integration between agents and artifacts. It does so by proposing a multidimensional framework, including the dimensions of information flow, reliability, durability, trust, procedural transparency, informational transparency, individualization, and transformation. The proposed dimensions are all matters of degree and jointly they constitute a multidimensional (...) space in which situated cognitive systems can be located and have certain dimensional configurations. These dimensions provide a new perspective on the conditions for cognitive extension. They are, however, not meant to provide a set of necessary and sufficient conditions, but to provide a toolbox for investigating the degree and nature of the integration of agent and artifact into “new systemic wholes”. The higher a situated system scores on the proposed dimensions, the more functional integration occurs, and the more tightly coupled the system is. (shrink)