We investigate relationships between versions of derivability conditions for provability predicates. We show several implications and non-implications between the conditions, and we discuss unprovability of consistency statements induced by derivability conditions. First, we classify already known versions of the second incompleteness theorem, and exhibit some new sets of conditions which are sufficient for unprovability of Hilbert–Bernays’ consistency statement. Secondly, we improve Buchholz’s schematic proof of provable$\Sigma_1$-completeness. Then among other things, we show that Hilbert–Bernays’ (...) class='Hi'>conditions and Löb’s conditions are mutually incomparable. We also show that neither Hilbert–Bernays’ conditions nor Löb’s conditions accomplish Gödel’s original statement of the second incompleteness theorem. (shrink)

In _The World Computer_ Jonathan Beller forcefully demonstrates that the history of commodification generates information itself. Out of the omnipresent calculus imposed by commodification, information emerges historically as a new money form. Investigating its subsequent financialization of daily life and colonization of semiotics, Beller situates the development of myriad systems for quantifying the value of people, objects, and affects as endemic to racial capitalism and computation. Built on oppression and genocide, capital and its technical result as computation manifest as racial (...) formations, as do the machines and software of social mediation that feed racial capitalism and run on social difference. Algorithms, derived from for-profit management strategies, conscript all forms of expression—language, image, music, communication—into the calculus of capital such that even protest may turn a profit. Computational media function for the purpose of extraction rather than ameliorating global crises, and financialize every expressive act, converting each utterance into a wager. Repairing this ecology of exploitation, Beller contends, requires decolonizing information and money, and the scripting of futures wagered by the cultural legacies and claims of those in struggle. (shrink)

Using covariant derivatives and the operator definitions of quantum mechanics, gauge invariant Proca and Lehnert equations are derived and the Lorenz condition is eliminated in U(1) invariant electrodynamics. It is shown that the structure of the gauge invariant Lehnert equation is the same in an O(3) invariant theory of electrodynamics.

Outlines the core of the author's theory, according to which the concept of knowledge arises because of our interest in having true beliefs about our environment and thus in evaluating sources of information, and is used to flag approved ones. The hypothesis is used to account for epistemologists’ disagreement over the precise nature of the belief condition for knowledge. Ground is conceded to those who play down the requirement, in so far as an informant's being confident that p is not (...) always taken as necessary for her to be a good informant. Equally, cases in which an informant is regarded as good, yet lacks belief entirely, are freakish and thus of little practical use, which explains both the attraction of the requirement and the feeling that there are genuine counter‐examples to it. (shrink)

Example: which mathematical truths concerning the real numbers play a role in using real numbers to represent temperature? “temperature and other scalar fields used in physics are assumed to be continuous, and this guarantees that if point x has temperature ψ(x) and point z has temperature ψ(z) and r is a real number between ψ(x) and ψ(z), then there will be a point y spatio-temporally between x and z such that ψ(y ) = r ” (Field 1980, 57).

This note presents a very brief history of the observation that the probability of the material conditional A⊃B is in general different from, but cannot be less than, the conditional probability of B given A. The difference between the two probabilities is significant for the interpretation of conditionals and for the possibility of inductive probability. It can be quantitatively specified in so-called ‘excess laws’ for which Popper appears to have claimed priority. I argue that such a priority claim should be (...) rejected and credit should instead be given, if to anyone, to Boole and Reichenbach instead. (shrink)

Conditional attitudes are not the attitudes an agent is disposed to acquire in event of learning that a condition holds. Rather they are the components of agent's current attitudes that derive from the consideration they give to the possibility that the condition is true. Jeffrey's decision theory can be extended to include quantitative representation of the strength of these components. A conditional desirability measure for degrees of conditional desire is proposed and shown to imply that an agent's degrees of conditional (...) belief are conditional probabilities. Rational conditional preference is axiomatised and by application of Bolker's representation theorem for rational preferences it is shown that conditional preference rankings determine the existence of probability and desirability measures that agree with them. It is then proven that every conditional desirability function agrees with an agent's conditional preferences and, under certain assumptions, every desirability function agreeing with an agent's conditional preferences is a conditional desirability function agreeing with her unconditional preferences. (shrink)

The aim of this article is to study the notion of derivability and its semantic counterpart in the context of non-transitive and non-reflexive substructural logics. For this purpose we focus on the study cases of the logics _S__T_ and _T__S_. In this respect, we show that this notion doesn’t coincide, in general, with a nowadays broadly used semantic approach towards metainferential validity: the notion of local validity. Following this, and building on some previous work by Humberstone, we prove that (...) in these systems derivability can be characterized in terms of a notion we call absolute global validity. However, arriving at these results doesn’t lead us to disregard local validity. First, because we discuss the conditions under which local, and also global validity, can be expected to coincide with derivability. Secondly, because we show how taking into account certain families of valuations can be useful to describe derivability for different calculi used to present _S__T_ and _T__S_. (shrink)

Standard accounts of derivational morphology assume that it is incremental: some words are formed on the basis of others, and each derivational family has a base from which all of the other words are derived. The importance of the base has been questioned by paradigmatic approaches to morphology, which posit that word systems are about multidirectional relationships between words and paradigm cells, in which no word has a privileged status. This paper seeks to test which of these two views makes (...) more accurate predictions about speakers’ cognitive representations of derivational families. We perform an acceptability judgement experiment in which speakers are asked to evaluate the acceptability of a pseudoword conditional on another pseudoword in the same derivational family. We find that speakers are aware of implicative relationships between words in the same family, and that they opportunistically exploit probabilistic relationships between surface words, regardless of whether the base form is the predictor, the target of prediction, or not at all involved in the task. (shrink)

We investigate higher dimensional chain conditions, where the largeness notion is given by Fubini products of a given ideal. From strong saturation properties of an ideal, we derive abstractly versions of higher dimensional [Formula: see text]-system lemma, which imply many posets, including any finite support iteration of [Formula: see text]-centered posets and measure algebras, satisfy the higher dimensional chain conditions. We then show that if a poset satisfies a strengthening of the [Formula: see text]-finite chain condition by Horn (...) and Tarski, then it satisfies higher dimensional chain conditions. As an application, we derive Ramsey-theoretic consequences, namely various partition hypotheses as studied by Bannister, Bergfalk, Moore and Todorcevic, from the existence of ideals satisfying strong chain conditions. (shrink)

In this article, we make analysis of the implicit fractional differential equations involving integral boundary conditions associated with Stieltjes integral and its corresponding coupled system. We use some sufficient conditions to achieve the existence and uniqueness results for the given problems by applying the Banach contraction principle, Schaefer’s fixed point theorem, and Leray–Schauder result of the cone type. Moreover, we present different kinds of stability such as Hyers–Ulam stability, generalized Hyers–Ulam stability, Hyers–Ulam–Rassias stability, and generalized Hyers–Ulam–Rassias stability by (...) using the classical technique of functional analysis. At the end, the results are verified with the help of examples. (shrink)

While there is now considerable experimental evidence that, on the one hand, participants assign to the indicative conditional as probability the conditional probability of consequent given antecedent and, on the other, they assign to the indicative conditional the “defective truth-table” in which a conditional with false antecedent is deemed neither true nor false, these findings do not in themselves establish which multi-premise inferences involving conditionals participants endorse. A natural extension of the truth-table semantics pronounces as valid numerous inference patterns that (...) do seem to be part of ordinary usage. However, coupled with something the probability account gives us—namely that when conditional-free ϕ entails conditional-free ψ, “if ϕ then ψ” is a trivial, uninformative truth—we have enough logic to derive the paradoxes of material implication. It thus becomes a matter of some urgency to determine which inference patterns involving indicative conditionals participants do endorse. Only thus will we be able to arrive at a realistic, systematic semantics for the indicative conditional. (shrink)

We explore the relationship between analytic behavior of a computable real valued function and the computability-theoretic complexity of the individual values of its derivative almost-everywhere. Given a computable function f, the values of its derivative \\), where they are defined, are uniformly computable from \, the Turing jump of the input. It is known that when f is \, the values of \\) are actually computable from x. We construct a \ function f so that, almost everywhere, \\ge _T x'\). (...) Although the values \\) at each point x cannot uniformly compute the corresponding jumps \ of the inputs x almost everywhere for any \ function f, we produce an example of a \ function f such that \\ge _T \emptyset '\) uniformly on subsets of arbitrarily large measure, effectively. We also explore analogous questions for weaker smoothness conditions, such as for f differentiable everywhere, and f differentiable almost everywhere. (shrink)

In Bolzano's view, a proposition is necessarily true iff it is derivable from true propositions that include no intuition (Anschauung). This analysis is historically important because it displays close similarities to Quine's and Kripke's ideas. Its systematic significance, however, is reduced by the fact that derivability is defined with recourse to the method of variation, which we are allowed to apply even to propositions containing none of the respective variables. This liberality leads to the result that, according to Bolzano's (...) analysis, every truth is necessarily true. Even by introducing his condition of relevance (shared variables), Bolzano cannot avoid that some propositions come out as necessarily true which are merely contingently true. (shrink)

It is natural to ask under what conditions negating a conditional is equivalent to negating its consequent. Given a bivalent background logic, this is equivalent to asking about the conjunction of Conditional Excluded Middle (CEM, opposite conditionals are not both false) and Weak Boethius' Thesis (WBT, opposite conditionals are not both true). In the system CI.0 of consequential implication, which is intertranslatable with the modal logic KT, WBT is a theorem, so it is natural to ask which instances of (...) CEM are derivable. We also investigate the systems CIw and CI of consequential implication, corresponding to the modal logics K and KD respectively, with occasional remarks about stronger systems. While unrestricted CEM produces modal collapse in all these systems, CEM restricted to contingent formulas yields the Alt2 axiom (semantically, each world can see at most two worlds), which corresponds to the symmetry of consequential implication. It is proved that in all the main systems considered, a given instance of CEM is derivable if and only if the result of replacing consequential implication by the material biconditional in one or other of its disjuncts is provable. Several related results are also proved. The methods of the paper are those of propositional modal logic as applied to a special sort of conditional. (shrink)

I explore the question of when an agent is derivatively, rather than directly, culpable for an undesirable outcome. The undesirable outcome might be a harmful incompetent or unwitting act, or it might be a harmful event. By examining various cases, I develop a sophisticated account of indirect culpability that is neutral about controversies regarding normative ethical issues and the condition on direct culpability.

The standard rule of necessitation in systems of natural deduction for the modal logic S4 concludes □A from A whenever all assumptions A depends on are modal formulas. This condition prevents the composability and normalization of derivations, and therefore modifications of the rule have been suggested. It is shown that both properties hold if, instead of changing the rule of necessitation, all elimination rules are formulated in the manner of disjunction elimination, i.e. with an arbitrary consequence.

In elementary derivations of the quantization of azimuthal angular momentum the eigenfunction is determined to be exp(im φ), which is “oversensitive” to the rotation φ → φ+2π, unlessm is an integer. In a recent paper Kerner examined the classical system of charge and magnetic pole, and expressed Π, a vector constant of motion for the system, in terms of a physical angle ψ, to deduce a remarkable paradox. Kerner pointed out that Π(ψ) is “oversensitive” to ψ → ψ+2π unless a (...) certain charge quantization condition is met. Our explicandum of this paradox highlights the distinction between coordinates in classical and quantum physics. It is shown why the single-valuedness requirement on Π(ψ) is devoid of physical significance. We are finally led to examine the classical analog of the quantum mechanical argument that demonstrates the quantization of magnetic charge, to show that there is “no hope” of a classical quantization condition. (shrink)

This paper illustrates how an experimental discovery can prompt the search for a theoretical explanation and also how obtaining such an explanation can provide heuristic benefits for further experimental discoveries. The case considered begins with the discovery of Poiseuille’s law for steady fluid flow through pipes. The law was originally supported by careful experiments, and was only later explained through a derivation from the more basic Navier–Stokes equations. However, this derivation employed a controversial boundary condition and also relied on a (...) contentious approach to viscosity. By comparing two editions of Lamb’s famous Hydrodynamics textbook, I argue that explanatory considerations were central to Lamb’s claims about this sort of fluid flow. In addition, I argue that this treatment of Poiseuille’s law played a heuristic role in Reynolds’ treatment of turbulent flows, where Poiseuille’s law fails to apply. (shrink)

Porcine-derived medical products represent an effective solution for a wide range of human suffering, yet this may contradict Muslim and Jewish religious prohibitions against consuming pig. The present study evaluated the level to which Muslim and Jewish participants are knowledgeable about the conditions permitting porcine-based treatments and explored their attitudes toward the permissibility of these treatments. A questionnaire that presented fifteen medical uses of porcine-derived products was completed by 809 Muslims and 714 Jews. Neither Muslim nor Jewish participants are (...) knowledgeable about the religious rulings of their religions which permit the use of pig for life saving. Participants of both groups objected to the view that porcine-derived materials should be permitted. The findings imply that the attitude toward porcine-derived materials for medical use is contingent upon the knowledge or lack thereof that individuals have regarding the permissibility of such use. We offer useful recommendations to improve the informed consent process before conducting porcine-based treatments. (shrink)

In this article, I derive a weak version of Kant's categorical imperative within an informal game-theoretic framework. More specifically, I argue that Hobbesian agents would choose what I call the weak principle of universalization, if they had to decide on a rule of conflict resolution in an idealized but empirically defensible hypothetical decision situation. The discussion clarifies (i) the rationality requirements imposed on agents, (ii) the empirical conditions assumed to warrant the conclusion, and (iii) the political institutions that are (...) necessary to implement the derived principle. The analysis demonstrates the moral significance of the weak principle of universalization and its epistemic advantage over the categorical imperative. (shrink)

The analysis of dispositions is used to consider cases where the effect of one disposition operating is the existence of another disposition. This may arise from rearrangements within aggregated structures of dispositional parts, or, it is argued, also as stages of derivative dispositions within a set of multiple generative levels. Inspection of examples in both classical and quantum physics suggests a general principle of `Conditional Forward Causation': that dispositions act 'forwards' in a way conditional on certain circumstances or occasions already (...) existing at the `later' levels. (shrink)

Philosophers have long agreed that moral responsibility might not only have a freedom condition, but also an epistemic condition. Moral responsibility and knowledge interact, but the question is exactly how. Ignorance might constitute an excuse, but the question is exactly when. Surprisingly enough, the epistemic condition has only recently attracted the attention of scholars, and it is high time for a full volume on the topic. The chapters in this volume address the following central questions. Does the epistemic condition require (...) akrasia? Why does blameless ignorance excuse? Does moral ignorance sustained by one’s culture excuse? Does the epistemic condition involve knowledge of the wrongness or wrongmaking features of one’s action? Is the epistemic condition an independent condition, or is it derivative from one’s quality of will or intentions? Is the epistemic condition sensitive to degrees of difficulty? Are there different kinds of moral responsibility and thus multiple epistemic conditions? Is the epistemic condition revisionary? What is the basic structure of the epistemic condition? (shrink)

This paper aims to reconstruct Kant’s derivation with the help of the resources of speech act theory. The main exegetical hypothesis is that the derivation envisaged by Kant consists in deriving the formula from the success-conditions of giving categorical imperatives. These conditions, which are analogous to the success-conditions of giving ordinary orders, contain restrictions for the successful construction of a system of moral laws that determine what the content of moral laws must be.

The problem of finding sufficient doxastic conditions for backward induction in games of perfect information is analyzed in a syntactic framework with subjunctive conditionals. This allows to describe the structure of the game by a logical formula and consequently to treat beliefs about this structure in the same way as beliefs about rationality. A backward induction and a non-Nash equilibrium result based on higher level belief in rationality and the structure of the game are derived.

A paper by Schulz (Philos Stud 149:367–386, 2010) describes how the suppositional view of indicative conditionals can be supplemented with a derived view of epistemic modals. In a recent criticism of this paper, Willer (Philos Stud 153:365–375, 2011) argues that the resulting account of conditionals and epistemic modals cannot do justice to the validity of certain inference patterns involving modalised conditionals. In the present response, I analyse Willer’s argument, identify an implicit presupposition which can plausibly be denied and show that (...) accepting it would blur the difference between plain assumptions and their epistemic necessitations. (shrink)

Ranking theory is a formal epistemology that has been developed in over 600 pages in Spohn's recent book The Laws of Belief, which aims to provide a normative account of the dynamics of beliefs that presents an alternative to current probabilistic approaches. It has long been received in the AI community, but it has not yet found application in experimental psychology. The purpose of this paper is to derive clear, quantitative predictions by exploiting a parallel between ranking theory and a (...) statistical model called logistic regression. This approach is illustrated by the development of a model for the conditional inference task using Spohn's ranking theoretic approach to conditionals. (shrink)

As is well known the derivative of a computable and C1 function may not be computable. For a computable and C∞ function f, the sequence {f} of its derivatives may fail to be computable as a sequence, even though its derivative of any order is computable. In this paper we present a necessary and sufficient condition for the sequence {f} of derivatives of a computable and C∞ function f to be computable. We also give a sharp regularity condition on an (...) initial computable function f which insures the computability of its derivative f′. (shrink)

We bring out syntactic and semantic similarities of two types of conditionals with fronted antecedents [normal indicative conditionals and biscuit conditionals ] and two types of left dislocation constructions in German, which mark two types of topicality. On the basis of these similarities we argue that NCs and BCs are aboutness topics and relevance topics, respectively. Our analysis extends the approach to aboutness topicality of Endriss to relevance topics to derive the semantic and pragmatic contribution of left-dislocated DPs and applies (...) it to an analysis of conditionals as pluralities of possible worlds. We show how this uniform approach to the interpretation of topicality accounts for the nominal left dislocation constructions as well as for the semantic and pragmatic effects observed in connection with the two types of conditionals. We furthermore discuss the potential of our proposal to deal with subjunctive biscuit conditionals, if-clauses modifying speech acts different from assertions, conditionals with right-dislocated if-clauses, and nested conditionals. (shrink)

Zombies make trouble for physicalism. Intuitively, they seem conceivable, and many take this to support their metaphysical possibility – a result that, most agree, would refute physicalism. John Hawthorne (2002) [Philosophical Studies 109, 17–52] and David Braddon-Mitchell (2003) [The Journal of Philosophy 100, 111–135] have developed a novel response to this argument: phenomenal concepts have a conditional structure – they refer to non-physical states if such states exist and otherwise to physical states – and this explains the zombie intuition. I (...) argue that this strategy fails. The considerations Hawthorne and Braddon-Mitchell adduce in support of their analysis in fact do no such thing. Further, their main argument for the analysis is self-defeating: exactly similar reasoning would undermine the view it is meant to establish. Finally, on closer inspection the conditional analysis is incompatible with the zombie intuition. Thus, not only is the analysis incapable of explaining the intuition: the intuition’s plausibility indicates that the analysis is incorrect. I also suggest that the allure of the conditional-analysis strategy may derive from a questionable view about what explaining the intuition would require. (shrink)

We compare diverse degrees of compactness and finiteness in Boolean algebras with each other and investigate the influence of weak choice principles. Our arguments rely on a discussion of infinitary distributive laws and generalized prime elements in Boolean algebras. In ZF set theory without choice, a Boolean algebra is Dedekind finite if and only if it satisfies the ascending chain condition. The Denumerable Subset Axiom implies finiteness of Boolean algebras with compact top, whereas the converse fails in ZF. Moreover, we (...) derive from DS the atomicity of continuous Boolean algebras. Some of the results extend to more general structures like pseudocomplemented semilattices. (shrink)

I illustrate the subject of conditional theology through discussing John Webster’s theology. This is a form of philosophical theology, with interesting links to natural theology, but not subject to Barthian strictures about natural theology. Webster started out with a Barthian emphasis, but later increasingly drew on Aquinas, emphasising God’s aseity. Webster, though, continued to emphasise the priority of the revelation of God as triune, and to resist what he saw as abstract notions of God deriving from natural theology and philosophy (...) of religion. I argue, however, that his work illustrates an underlying reliance on philosophical theology, related to conditional theology, and that dogmatic theology cannot be formed without such reliance. I comment on divine self-naming and conclude my reflections on Webster by discussing dogmatic science and grace, drawing links between conditional theology, special revelation and natural theology. (shrink)

Emotional expressions constitute a rich source of information. Integrating theorizing on attribution, appraisal processes, and the use of emotions as social information, we examined how emotional expressions influence attributions of agency and responsibility under conditions of ambiguity. Three vignette studies involving different scenarios indicate that participants used information about others’ emotional expressions to make sense of ambiguous social situations. Expressions of regret fueled inferences that the expresser was responsible for an adverse situation, whereas expressions of anger fueled inferences that (...) someone else was responsible. Also, expressions of anger were interpreted as a sign of injustice, and expressions of disappointment increased prosocial intentions (i.e., to help the expresser). The results show that emotional expressions can help people understand ambiguous social situations by informing attributions that correspond with each emotion’s associated appraisal structures. The findings advance understanding of the ways in which emotional expressions help individuals understand and coordinate social life. (shrink)

This paper explores the conditions under which scientists are warranted in adding the one-dimensional heat equation to their theories and then using the equation to describe particular physical situations. Summarizing these derivation and application conditions motivates an account of idealized scientific representation that relates the use of mathematics in science to interpretative questions about scientific theories.

This paper separates conditional parameter estima- tion, which consistently raises test set accuracy on statistical NLP tasks, from conditional model struc- tures, such as the conditional Markov model used for maximum-entropy tagging, which tend to lower accuracy. Error analysis on part-of-speech tagging shows that the actual tagging errors made by the conditionally structured model derive not only from label bias, but also from other ways in which the independence assumptions of the conditional model structure are unsuited to linguistic sequences. The (...) paper presents new word-sense disambiguation and POS tagging experiments, and integrates apparently conflicting reports from other recent work. (shrink)

Einstein's gravitational redshift derivation in his famous 1916 paper on general relativity seems to be problematic, being mired in what looks like conceptual difficulties or at least contradictions or gaps in his exposition. Was this derivation a blunder? To answer this question, we will consider Einstein’s redshift derivations from his first one in 1907 to the 1921 derivation made in his Princeton lectures on relativity. This will enable to see the unfolding of an interdependent network of concepts and heuristic derivations (...) in which previous ideas inform and condition later developments. The resulting derivations and views on coordinates and clocks are in fact not without inconsistencies. However, we can see these difficulties as an aspect of an evolving network understood as a “work in progress”. (shrink)

Philippe Schlenker gives a method of deriving local contexts from an expression’s classical semantics. In this paper I show that this method, when applied to the traditional variably strict semantics for subjunctive conditionals of Robert Stalnaker, David Lewis, and Angelika Kratzer, delivers an empirically incorrect prediction. The prediction is that the antecedent of a conditional should have the whole domain of possible worlds as its local context and therefore should be allowed to have only necessary presuppositions. In the later part (...) of the paper, I suggest the outlines of a solution to the problem. The solution involves adding a shifting contextual restriction on the domain of possible worlds. (shrink)

Braddon-Mitchell , Hawthorne , and Stalnaker provide a physicalistic argument that depends on the following two conditionals. If we experience dualistic pain, zombies are possible. On the other hand, if the actual world is physicalistic, zombies are impossible. Based on these conditionals, it is derived that zombies are conceivable but this does not entail their possibility. This line of argument for physicalism is referred to as the Conditional Analysis Strategy . I claim that the CAS does not help physicalists defuse (...) the zombie argument. To show this, I first suggest that there are three possible interpretations of the strategy: the CAS explains the zombie intuition by virtue of the conceivability of zombies; the CAS conditionally disproves the entailment-link from conceivability to possibility; the CAS unconditionally denies the entailment-link. I argue that none of the three understandings brings good news to physicalism. (shrink)

I argue that a reasonable understanding of Leopold’s ‘Land Ethic’ is one that identifies possession of health as being a sufficient condition for moral consideration. With this, Leopold extends morality not only to biotic wholes, but to individual organisms, as both can have their health undermined. My argument centers on explaining why Leopold thinks it reasonable to analogize ecosystems both to an organism and to a community: both have a health. My conclusions undermine J. Baird Callicott’s rhetorical dismissal of the (...) organism analogy’s importance, a dismissal crucially serving his thesis that Leopoldians should hold community membership necessary for moral standing. (shrink)

This article focuses on defective conditionals ? namely indicative conditionals whose antecedents are false and whose truth-values therefore cannot be determined. The problem is to decide which formal connective can adequately represent this usage. Classical logic renders defective conditionals true whereas traditional mathematics dismisses them as irrelevant. This difference in treatment entails that, at the propositional level, classical logic validates some sentences that are intuitively false in plane geometry. With two proofs, I show that the same flaw is shared by (...) a family of trivalent logics. I go on to examine the strict conditional and its derivatives. This family is the only one to avoid the faulty inference but it does so without addressing the status of the truth-value assigned to defective conditionals. (shrink)

It has been suggested that future application of stem-cell derived gametes might lead to the possibility for same-sex couples to have genetically related children. Still, for this to become possible, the technique of gamete derivation and techniques of reprogramming somatic cells to a pluripotent state would have to be perfected. Moreover, egg cells would have to be derived from male cells and sperm cells from female cells, which is believed to be particularly difficult, if not impossible. We suggest a more (...) plausible scenario to provide same-sex couples with the possibility to parent a child who is genetically related to both parents. Although technical feasibility is an advantage, disadvantages are that cooperation of a donor of the opposite sex is still required and that the partners are genetically linked to the resulting child in a different degree. However, since in our scenario the donor's genetic contribution would not outweigh any of the parents' genetic contribution, this alternative route may ease the fear for a possible parental claim by the donor. Like many other applications in the field of infertility treatment, the goal to create SCD-gametes for reproductive purposes is largely based on the high value attributed to genetic parenthood. Although we believe that genetic relatedness is neither a necessary nor a sufficient condition for ‘good’ parenthood, we do believe that many people may consider our scenario a welcome alternative. (shrink)

In this paper Richard Jeffrey's 'Logic of Decision' is extended by examination of agents' attitudes to the sorts of possibilities identified by indicative conditional sentences. An expression for the desirability of conditionals is proposed and, along with Adams' thesis that the probability of a conditional equals the conditional probability of its antecedent given its consequent, is defended by informally deriving it from Jeffrey's notion of desirability and some weak constraints on rational preference for conditional possibilities. Finally a statement is given (...) of a representation theorem establishing the conditions under which a rational agent's preferences for conditionals determines the existence of unique measures (up to choice of scale) of her degrees of belief and desire. (shrink)

This paper develops a probabilistic model of belief change under interpretation shifts, in the context of a problem case from dynamic epistemic logic. Van Benthem [4] has shown that a particular kind of belief change, typical for dynamic epistemic logic, cannot be modelled by standard Bayesian conditioning. I argue that the problems described by van Benthem come about because the belief change alters the semantics in which the change is supposed to be modelled: the new information induces a shift in (...) the interpretation of the sentences. In this paper I show that interpretation shifts can be modeled in terms of updating by conditioning. The model derives from the knowledge structures developed by Fagin et al [8], and hinges on a distinction between the propositional and informational content of sentences. Finally, I show that Dempster-Shafer theory provides the appropriate probability kinematics for the model. (shrink)

The paper uses a de-relativized variant of Woodward’s definition of direct type-level causation to develop an account of causal ceteris paribus laws. It argues that the relation between X and Y needs to satisfy three conditions in order to qualify as one of direct type-level causation, that satisfaction of these conditions guarantees the applicability of claims of direct type-level causation, that the context of applicability motivates referring to these conditions as cp conditions, and that claims of (...) direct type-level causation qualify as laws if they are explanatorily deep. The account of causal cp laws defended by the paper derives from a de-relativized variant of Woodward’s definition of direct type-level causation but can be shown not to conflict with Woodward’s thesis that there is no such thing as a cp law. (shrink)

The conditions involved in the applicability of mathematics in science are the subject of ongoing debates. One of the best‐received approaches is the inferential account, which involves structural mappings and pragmatic considerations in a three‐step model. According to the inferential account, these pragmatic considerations happen in the immersion and interpretation stages, but not during derivation (symbol‐pushing in a mathematical formalism). In this work, I draw inspiration from the later Wittgenstein and make the case that the applicability of mathematics also (...) rests on pragmatic considerations at the mathematical derivation level. I make the further case that pragmatic considerations at the mathematical derivation level may substitute pragmatic considerations in the other two stages, thus showing how they are holistically interrelated. I illustrate these two points with the solution of a simple geometrical problem. (shrink)

In this paper, the author shows how one can independently prove, within the theory of abstract objects, some of the most significant claims, hypotheses, and background assumptions found in Kripke's logical and philosophical work. Moreover, many of the semantic features of theory of abstract objects are consistent with Kripke's views — the successful representation, in the system, of the truth conditions and entailments of philosophically puzzling sentences of natural language validates certain Kripkean semantic claims about natural language.