By and large, the conditional connective in three-valued logic has two different functions. First, by means of a deduction theorem, it can express a specific relation of logical consequence in the logical language itself. Second, it can represent natural language structures such as "if/then'' or "implies''. This chapter surveys both approaches, shows why none of them will typically end up with a three-valued material conditional, and elaborates on connections to probabilistic reasoning.

This paper develops a trivalent semantics for indicative conditionals and extends it to a probabilistic theory of valid inference and inductive learning with conditionals. On this account, (i) all complex conditionals can be rephrased as simple conditionals, connecting our account to Adams's theory of p-valid inference; (ii) we obtain Stalnaker's Thesis as a theorem while avoiding the well-known triviality results; (iii) we generalize Bayesian conditionalization to an updating principle for conditional sentences. The final result is a unified semantic and (...) probabilistic theory of conditionals with attractive results and predictions. (shrink)

Abstract: I argue that practically all vague language is context-sensitive in a covert and unfamiliar way. I first outline a novel puzzle concerning the interaction of conditionals and vagueness. I then argue that the best way of resolving the puzzle is through positing context-sensitive penumbral connections between sundry parts of language. I argue that these penumbral connections shift through a distinct form of Lewisian accommodation. The upshot is that meaning is a far shiftier thing than has typically been thought.

In natural language, conditionals are frequently used for giving explanations. Thus the antecedent of a conditional is typically understood as being connected to, being relevant for, or providing evidential support for the conditional's consequent. This aspect has not been adequately mirrored by the logics that are usually offered for the reasoning with conditionals: neither in the logic of the material conditional or the strict conditional, nor in the plethora of logics for suppositional conditionals that have been (...) produced over the past 50 years. In this paper I survey some recent attempts to come to terms with the problem of encoding evidential support or relevance in the logic of conditionals. I present models in a qualitative-modal and in a quantitative-probabilistic setting. Focussing on some particular examples, I show that no perfect match between the two kinds of settings has been achieved yet. (shrink)

This paper argues that the technical notion of conditional probability, as given by the ratio analysis, is unsuitable for dealing with our pretheoretical and intuitive understanding of both conditionality and probability. This is an ontological account of conditionals that include an irreducible dispositional connection between the antecedent and consequent conditions and where the conditional has to be treated as an indivisible whole rather than compositional. The relevant type of conditionality is found in some well-defined group of conditional (...) statements. As an alternative, therefore, we briefly offer grounds for what we would call an ontological reading: for both conditionality and conditional probability in general. It is not offered as a fully developed theory of conditionality but can be used, we claim, to explain why calculations according to the RATIO scheme does not coincide with our intuitive notion of conditional probability. What it shows us is that for an understanding of the whole range of conditionals we will need what John Heil (2003), in response to Quine (1953), calls an ontological point of view. (shrink)

Indicative conditionals and tendency causal claims are closely related (e.g., Frosch and Byrne, 2012), but despite these connections, they are usually studied separately. A unifying framework could consist in their dependence on probabilistic factors such as high conditional probability and statistical relevance (e.g., Adams, 1975; Eells, 1991; Douven, 2008, 2015). This paper presents a comparative empirical study on differences between judgments on tendency causal claims and indicative conditionals, how these judgments are driven by probabilistic factors, and how these factors (...) differ in their predictive power for both causal and conditional claims. (shrink)

Arguments and conditionals are powerful means language provides us to reason about possibilities and to reach conclusions from premises. These two kinds of constructions exhibit several affinities—e.g., they both come in different varieties depending on the mood; they share some of the same connectives (i.e., ‘then’); they allow for similar patterns of modal subordination. In the light of these affinities, it is not surprising that prominent theories of conditionals—old and new suppositionalisms as well as dynamic theories of conditionals—as well as (...) certain reductive theories of arguments tend to semantically assimilate conditionals and arguments. In this paper, I shall marshall some linguistic evidence as well as some theoretical considerations for thinking that, despite these similarities, arguments and conditionals should be given a different semantics and I shall lay out a framework that can capture at least some of their affinities while accounting for their outstanding differences. (shrink)

Complex human reasoning involves minimal abilities to extract conclusions implied in the available information. These abilities are considered “deductive” because they exemplify certain abstract relations among propositions or probabilities called deductive arguments. However, the electrophysiological dynamics which supports such complex cognitive pro- cesses has not been addressed yet. In this work we consider typically deductive logico- probabilistically valid inferences and aim to verify or refute their electrophysiological functional connectivity differences from invalid inferences with the same content (same relational variables, same (...) stimuli, same relevant and salient features). We recorded the brain electrophysiological activity of 20 participants (age 1⁄4 20.35 ± 3.23) by means of an MEG system during two consecutive reasoning tasks: a search task (invalid condition) without any specific deductive rules to follow, and a logically valid deductive task (valid condition) with explicit deductive rules as instructions. We calculated the functional connectivity (FC) for each condition and conducted a seed-based analysis in a set of cortical regions of interest. Finally, we used a cluster-based permutation test to compare the dif- ferences between logically valid and invalid conditions in terms of FC. As a first novel result we found higher FC for valid condition in beta band between regions of interest and left prefrontal, temporal, parietal, and cingulate structures. FC analysis allows a second novel result which is the definition of a propositional network with operculo-cingular, parietal and medial nodes, specifically including disputed medial deductive “core” areas. The experiment discloses measurable cortical processes which do not depend on content but on truth-functional propositional operators. These experimental novelties may contribute to understand the cortical bases of deductive processes. (shrink)

Grice argues that indicative conditionals ‘if p then q’ have conventional, truth conditional meaning according to the material conditional ‘p  q’. In order to explain away the known paradoxes with this interpretation, he distinguishes between truth conditions and assertion conditions, attempting to demonstrate that the assumed connection between ‘p’ and ‘q’ (the Indirectness Condition) is a conversational implicature; hence a matter only relevant for the assertion conditions of a conditional. This paper argues that Grice fails to (...) demonstrate i) that the Indirectness Condition is cancellable, hence a conversational implicature, ii) that the Indirectness Condition is not part of the conventional, truth-relevant meaning of ‘if’, and accordingly, iii) semantic or logical equivalence between indicative and material conditionals. (shrink)

Adam Rieger (2013) has carried out a survey of arguments in favour of the material account of indicative conditionals. These arguments involve simple and direct demonstrations of the material account. I extend the survey with new arguments and clarify the logical connections among them. I also show that the main counter-examples against these arguments are not successful either because their premises are just as counter-intuitive as the conclusions, or because they depend on contextual fallacies. The conclusion is that the unpopularity (...) of the material account is unjustified and that a more systematic approach in the analysis of arguments is long overdue in our attempts to understand the nature of conditionals. (shrink)

The problem of probabilities of conditionals is one of the long-standing puzzles in philosophy of language. We defend and update Adams' solution to the puzzle: the probability of an epistemic conditional is not the probability of a proposition, but a probability under a supposition. -/- Close inspection of how a triviality result unfolds in a concrete scenario does not provide counterexamples to the view that probabilities of conditionals are conditional probabilities: instead, it supports the conclusion that probabilities of (...) conditionals violate standard probability theory. -/- This does not call into question probability theory per se; rather, it calls for a more careful understanding of its role: probability theory is a theory of probabilities of propositions; but as conditionals do not express propositions, their probabilities are not subject to the standard laws. -/- We argue that both conditional probabilities and probabilities of conditionals are best understood in terms of the dynamics of supposing, modeled as a restriction operation on a probability space. This version of the suppositionalist view allows us to connect Adams' Thesis to the widely held restrictor view of the semantics of conditionals. -/- We address two common objections to Adams' view: that the relevant probabilities are ‘probabilities only in name’, and that giving up conditional propositions puts us at a disadvantage when it comes to interpreting compounds. -/- Finally, we argue that some putative counterexamples to Adams' Thesis can be diagnosed as fallacies of probabilistic reasoning: they arise from applying to conditionals laws of standard probability theory which are invalid for them. (shrink)

In my thesis, I develop two distinct themes. The first part of my thesis is devoted to indicative conditionals and approaching them from an empirically informed perspective. In the second part, I am developing classical topics of philosophy of science, specifically, scientific objectivity and the role of values in science, in connection to recent methodological developments, revolving around the Replication Crisis.

This article discusses the process of universalization of education in Brazil the count from a specific spatiality - the places on the edge of the Transmazonica highway. There being no need toquestion the scope and effectiveness of expanding access to basic education, given its wide acceptance in the country - we start from the principle of geographical connectivity/connection to problematize such educational universalization. We aim to reflect on the scope of basic education, its conditions and ability to potentiate or not (...) the diversity of the territory. Methodologically grounded in a dialogue between phenomenology and existentialism, we conduct a literature review taking as starting point the preliminary empirical research data. We conclude that the universalization of education is configured as extermination argument that effective the urbanocentric vision and one connectedness between places and territory, produces disconnection of the places themselves, removing their ability to communicative action that jeopardizes not only education the local, but regional and national. (shrink)

In my article, I present a new version of a probabilistic truth prescribing semantics for natural language indicative conditionals. The proposed truth conditions can be paraphrased as follows: an indicative conditional is true if the corresponding conditional probability is high and the antecedent is positively probabilistically relevant for the consequent or the probability of the antecedent of the conditional equals 0. In the paper, the truth conditions are defended and some of the logical properties of the proposed (...) semantics are described. (shrink)

There appears to be few, if any, limits on what sorts of logical connectives can be added to a given logic. One source of potential limitations is the motivating ideology associated with a logic. While extraneous to the logic, the motivating ideology is often important for the development of formal and philosophical work on that logic, as is the case with intuitionistic logic. One family of logics for which the philosophical ideology is important is the family of relevant logics. In (...) this paper, I explore the limits of what a relevant connective is, showing how some basic criteria motivated by the ideology of relevant logicians provide robust limits on potential connectives. These criteria provide some plausible necessary conditions on being a relevant connective. (shrink)

This paper makes two essential claims about the nature of shame and shame punishment. I argue that, if we properly understand the nature of shame, that it is sometimes justifiable to shame others in the context of a pluralistic multicultural society. I begin by assessing the accounts of shame provided by Cheshire Calhoun (2004) and Julien Deonna, Raffaele Rodogno, & Fabrice Teroni (2012). I argue that both views have problems. I defend a theory of shame and embarrassment that connects both (...) emotions to “whole-self” properties. Shame and embarrassment, I claim, are products of the same underlying emotion. I distinguish between moralized and nonmoralized shame in order to show when, and how, moral and non-moral shame may be justly deployed. Shame is appropriate, I argue, if and only if it targets malleable moral or non-moral normative imperfections of a person’s ‘whole-self.’ Shame is unjustifiable when it targets durable aspects of a person’s “whole-self.” I conclude by distinguishing shame punishments from guilt punishments and show that my account can explain why it is wrong to shame individuals on account of their race, sex, gender, or body while permitting us to sometimes levy shame and shame punishment against others, even those otherwise immune to moral reasons. (shrink)

Radical democratic thinking is becoming intrigued by the material situatedness of its political agents and by the role of nonhuman participants in political interaction. At stake here is the displacement of narrow anthropocentrism that currently guides democratic theory and practice, and its repositioning into what we call ‘the nonhuman condition’. This Critical Exchange explores the nonhuman condition. It asks: What are the implications of decentering the human subject via a new materialist reading of radical democracy? Does this reading dilute political (...) agency? Or should this be seen, on the contrary, as an invitation for new voices and demands to enter into democratic assemblages? How might engagement with the more-than-human disrupt or extend theories of radical democracy? Hans Asenbaum and Amanda Machin discuss the human democratic subject both through radical democratic and new materialist lenses. They suggest that a new materialist decentred subject does not lose agency but further gains political responsibility in radical democracy. Jean-Paul Gagnon highlights the possibility of becoming through loss. In losing our anthropocentric arrogance—our understanding of being other and better than animal—we become more connected and discover our place in human-nonhuman assemblages. Melissa Orlie agrees that something can be gained through renouncing dominant human fantasies and presents a ‘radical democratic naturalism’. By renouncing land violence and acknowledging nature’s subjectivity, we can further nonexploitative radical democratic politics. This is where the notion of ‘tidalectic’ processes introduced by James L. Smith is helpful. Focusing on water and the Indigenous knowledges around rivers, he considers how democracy and community can be reimagined as plural, cyclical and attentive to the nonhuman with which the human is inevitably entangled. Diana Leong offers a different approach. Considering the nonhuman from the perspective of Black Studies demands an awareness to how blackness has long been constituted as non- or partially human. (shrink)

In "A Modal Argument for Narrow Content" ("Journal of Philosophy", LXXXVIII, 1991, pp 5-26), Jerry Fodor proposes a necessary condition for the distinctness of causal powers. He uses this condition to support psychological individualism. I show that Fodor's argument relies on inconsistent interpretations of his condition on distinct causal powers. Moreover, on no consistent interpretation does Fodor's condition yield the results claimed for it.

What are the truth conditions of want ascriptions? According to an influential approach, they are intimately connected to the agent’s beliefs: ⌜S wants p⌝ is true iff, within S’s belief set, S prefers the p worlds to the not-p worlds. This approach faces a well-known problem, however: it makes the wrong predictions for what we call (counter)factual want ascriptions, wherein the agent either believes p or believes not-p—for example, ‘I want it to rain tomorrow and that is exactly what is (...) going to happen’ or ‘I want this weekend to last forever, but of course it will end in a few hours’. We solve this problem. The truth conditions for want ascriptions are, we propose, connected to the agent’s conditional beliefs. We substantiate this connection by pursuing a striking parallel between (counter)factual and non-(counter)factual want ascriptions on the one hand and counterfactual and indicative conditionals on the other. (shrink)

There is a profound, but frequently ignored relationship between logical consequence (formal implication) and material implication. The first repeats the patterns of the latter, but with a wider modal reach. It is argued that this kinship between formal and material implication simply means that they express the same kind of implication, but differ in scope. Formal implication is unrestricted material implication. This apparently innocuous observation has some significant corollaries: (1) conditionals are not connectives, but arguments; (2) the traditional examples of (...) valid argumentative forms are metalogical principles that express the properties of logical consequence; (3) formal logic is not a useful guide to detect valid arguments in the real world; (4) it is incoherent to propose alternatives to the material implication while accepting the classical properties of formal implication; (5) some of the counter-examples to classical argumentative forms and known conditional puzzles are unsound. (shrink)

*This work is no longer under development* Two major themes in the literature on indicative conditionals are that the content of indicative conditionals typically depends on what is known;1 that conditionals are intimately related to conditional probabilities.2 In possible world semantics for counterfactual conditionals, a standard assumption is that conditionals whose antecedents are metaphysically impossible are vacuously true.3 This aspect has recently been brought to the fore, and defended by Tim Williamson, who uses it in to characterize alethic necessity (...) by exploiting such equivalences as: A⇔¬A A. One might wish to postulate an analogous connection for indicative conditionals, with indicatives whose antecedents are epistemically impossible being vacuously true: and indeed, the modal account of indicative conditionals of Brian Weatherson has exactly this feature.4 This allows one to characterize an epistemic modal by the equivalence A⇔¬A→A. For simplicity, in what follows we write A as KA and think of it as expressing that subject S knows that A.5 The connection to probability has received much attention. Stalnaker suggested, as a way of articulating the ‘Ramsey Test’, the following very general schema for indicative conditionals relative to some probability function P: P = P 1For example, Nolan ; Weatherson ; Gillies. 2For example Stalnaker ; McGee ; Adams. 3Lewis. See Nolan for criticism. 4‘epistemically possible’ here means incompatible with what is known. 5This idea was suggested to me in conversation by John Hawthorne. I do not know of it being explored in print. The plausibility of this characterization will depend on the exact sense of ‘epistemically possible’ in play—if it is compatibility with what a single subject knows, then can be read ‘the relevant subject knows that p’. If it is more delicately formulated, we might be able to read as the epistemic modal ‘must’. (shrink)

Sertraline is one of the most commonly prescribed antidepressants. Major depressive disorder (MDD) is characterized by spontaneous thoughts that are laden with negative affect-a "malignant sadness". Prior neuroimaging studies have identified abnormal resting-state functional connectivity (rsFC) in the spontaneous brain networks of MDD patients. But how antidepressant medication acts to relieve the experience of depression as well as adjust its associated spontaneous networks and mood-regulation circuits remains an open question. In this study, we recruited 22 drug-naïve MDD patients along with (...) 35 normal controls and investigated whether the functional integrity of cortical networks associated with spontaneous thoughts is modulated by sertraline treatment. We attempted to predict post-treatment effects based upon what we observed in the pre-treatment rsFC of drug-naïve MDD patients. In the result, we demonstrated that (1) after the sertraline treatment, the medial temporal lobe of default network (DNMTL) and mood regulation pathway-the fronto-parietal control network (FPCN), the thalamus, and the salience network (SN)-were restored to normal connectivity, relative to the pre-treatment condition; however, the altered connections of FPCN-core DN (DNCORE), FPCN-SN, and intra-FPCN among MDD patients remained impaired; (2) thalamo-prefrontal connectivity provides moderate predictive power (r2 = 0.63) for the effectiveness of sertraline treatment. In summary, our findings contribute to a body of evidence that suggests salubrious effects of sertraline treatment primarily involve the FPCN-thalamus-SN pathway. The pre-treatment rsFC in this pathway could serve as a predictor of sertraline treatment outcome. (shrink)

This paper addresses Joseph Heath’s attempt to derive moral obligations from the conditions that are specified by the model of the perfectly competitive market. Through his market failures approach to business ethics he argues that firms should behave as if they are operating in a perfectly competitive market. However, I argue that this derivation of moral obligations runs counter to the metaethical principle that moral actions need to be voluntarily chosen from a set of alternatives. To the extent that Milton (...) Friedman’s derivation follows the same lines, my objection is also applicable to his approach to business ethics. I bring out the fact that the conditions required by the model of the perfectly competitive market cannot be realized in the actual world and argue that this causes problems for any moral obligations that might follow. My objection is illustrated by an intuitive example of someone set to an impossible task. I also bring in a way that Heath could work around this objection, but I argue that this would imply the collapse of his approach into another kind of theory that he wishes to distinguish himself from. More deeply, I show that my metaethical objection has epistemological consequences that undermine the very basis of the model of the perfectly competitive market. I conclude by stating that we need a different conception of competition, pointing to the facts that such a perspective would need to take into account, and suggesting that the concept of rivalry is up to the job. (shrink)

There exists a real dearth of literature available to Anglophones dealing with philosophical connections between transhumanism and Marxism. This is surprising, given the existence of works on just this relation in the other major European languages and the fact that 47 per cent of people surveyed in the 2007 Interests and Beliefs Survey of the Members of the World Transhumanist Association identified as “left,” though not strictly Marxist (Hughes 2008). Rather than seeking to explain this dearth here, I aim to (...) contribute to its being filled in by identifying three fundamental areas of similarity between transhumanism and Marxism. These are: the importance of material conditions, and particularly technological advancement, for revolution; conceptions of human nature; and conceptions of nature in general. While it is true that both Marxism and (especially) transhumanism are broad fields that encompass diverse positions, even working with somewhat generalized characterizations of the two reveals interesting parallels and dissimilarities fruitful for future work. -/- This comparison also shows that transhumanism and Marxism can learn important lessons from one another that are complementary to their respective projects. I suggest that Marxists can learn from transhumanists two lessons: that some “natural” forces may become reified forces and the extent to which the productive apparatus is now relevant to revolution. Transhumanists, on the other hand, can learn from Marxist theory the essentially social nature of the human being and the ramifications this has for the transformation of the human condition and for the forms of social organization compatible with transhumanist aims. Transhumanists can also benefit from considering the relevance of Marx’s theory of alienation to their goals of technological advancement. (shrink)

While it is a point of agreement in contemporary republican political theory that property ownership is closely connected to freedom as non-domination, surprisingly little work has been done to elucidate the nature of this connection or the constraints on property regimes that might be required as a result. In this paper, I provide a systematic model of the boundaries within which republican property systems must sit and explore some of the wider implications that thinking of property in these terms may (...) have for republicans. The boundaries I focus on relate to the distribution of property and the application of types of property claims over particular kinds of goods. I develop this model from those elements of non-domination most directly related to the operation of a property regime: (a) economic independence, (b) limiting material inequalities, and (c) the promotion of common goods. The limits that emerge from this analysis support intuitive judgments that animate much republican discussion of property distribution. My account diverges from much orthodox republican theory, though, in challenging the primacy of private property rights in the realization of economic independence. The value of property on republican terms can be realized without private ownership of the means of production. (shrink)

Big data and predictive analytics applied to economic life is forcing individuals to choose between authenticity and freedom. The fact of the choice cuts philosophy away from the traditional understanding of the two values as entwined. This essay describes why the split is happening, how new conceptions of authenticity and freedom are rising, and the human experience of the dilemma between them. Also, this essay participates in recent philosophical intersections with Shoshana Zuboff’s work on surveillance capitalism, but the investigation connects (...) on the individual, ethical level as opposed to the more prevalent social and political interaction. (shrink)

Abstract: This article examines risks associated with the program of passive search for alien signals (Search for Extraterrestrial Intelligence, or SETI) connected with the possibility of finding of alien transmission which includes description of AI system aimed on self-replication (SETI-attack). A scenario of potential vulnerability is proposed as well as the reasons why the proportion of dangerous to harmless signals may be high. The article identifies necessary conditions for the feasibility and effectiveness of the SETI-attack: ETI existence, possibility of AI, (...) small size of the Seed AI, small speed of physical interstellar travel and large distance between civilizations. Needed additions to the SETI protocol are considered: keep the signal existence, its content and source location in secret, don’t run alien programs, jam dangerous signals, wait until creation of humanity’s own AI. In addition, scenarios in which it may be reasonable to start an alien AI (if it has been downloaded) are explored. (shrink)

A few purported counterexamples to the Adams thesis have cropped up in the literature in the last few decades. I propose a theory that accounts for them, in a way that makes the connections between indicative conditionals and counterfactuals clearer.

How to say no less, no more about conditional than what is needed? From a logical analysis of necessary and sufficient conditions (Section 1), we argue that a stronger account of conditional can be obtained in two steps: firstly, by reminding its historical roots inside modal logic and set-theory (Section 2); secondly, by revising the meaning of logical values, thereby getting rid of the paradoxes of material implication whilst showing the bivalent roots of conditional as a speech-act (...) based on affirmations and rejections (Section 3). Finally, the two main inference rules for conditional, viz. Modus Ponens and Modus Tollens, are reassessed through a broader definition of logical consequence that encompasses both a normal relation of truth propagation and a weaker relation of falsity non-propagation from premises to conclusion (Section 3). (shrink)

Aphantasia is a condition characterised by a deficit of mental imagery. Since several psychopathologies are partially maintained by mental imagery, it may be illuminating to consider the condition against the background of psychological disorder. After outlining current findings and hypotheses regarding aphantasia and psychopathology, this paper suggests that some support for defining aphantasia as a lack of voluntary imagery may be found here. The paper then outlines potentially fruitful directions for future research into aphantasia in general and its relation to (...) psychopathology in particular, including rethinking use of the SUIS to measure involuntary imagery, whether aphantasia offers protection against addiction, and whether hyperphantasia is a potential risk factor for maladaptive daydreaming, among others. (shrink)

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...) I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

This chapter argues that Gilbert Ryle’s account of misleading expressions, which is rightly considered a milestone in the history of analytic philosophy, is continuous with Brentano’s. Not only did they identify roughly the same classes of misleading expressions, but their analyses are driven by a form of ontological parsimony which sharply contrasts with rival views in the Brentano School, like those of Meinong and Husserl. Section 1 suggests that Ryle and Brentano share a similar notion of analysis. Section 2 spells (...) out the notion of misleading expression by means of the surface-grammar/truth-conditions distinction, which I argue is implicit in their accounts. Section 3 zooms in on a specific class of misleading expressions, namely expressions about ficta. Finally, Section 4 draws the consequences of what precedes for a correct understanding of the notion of meaning. (shrink)

The program put forward in von Wright's last works defines deontic logic as ``a study of conditions which must be satisfied in rational norm-giving activity'' and thus introduces the perspective of logical pragmatics. In this paper a formal explication for von Wright's program is proposed within the framework of set-theoretic approach and extended to a two-sets model which allows for the separate treatment of obligation-norms and permission norms. The three translation functions connecting the language of deontic logic with the language (...) of the extended set-theoretical approach are introduced, and used in proving the correspondence between the deontic theorems, on one side, and the perfection properties of the norm-set and the ``counter-set'', on the other side. In this way the possibility of reinterpretation of standard deontic logic as the theory of perfection properties that ought to be achieved in norm-giving activity has been formally proved. The extended set-theoretic approach is applied to the problem of rationality of principles of completion of normative systems. The paper concludes with a plaidoyer for logical pragmatics turn envisaged in the late phase of Von Wright's work in deontic logic. (shrink)

This inquiry is addressed to two questions: (1) what if any logical relations might exist between the concepts of desire and action (as they and the distinctions to which they commit us are ensconced in ordinary parlance), and (2) what if any causal or significant non-causal (i.e., material) relations might ever exist between instances of desire and action? -/- It is held that any credible move to deal with such questions must initially, and at some length, specify the employment conditions (...) for the terms 'want' and 'desire'. This is accomplished in the first two chapters wherein a set of premises is generated for the argument of the inquiry which is presented in full and concluded in the third and final chapter. Premises generated devolve from treatment of the following major topics: (a) the grammar of 'want' and 'desire', (b) the ontological status of wants, (c) first-person and third-person want ascriptions, (d) the sorts of things which may be desired (desiderabilia), (e) wants and lacks, (f) wants and wishes, (g) the 'conflicts' of desires and reason and desire, (h) four major candidates for logical relations between wants and acts, (i) the issue of causation, and (j) the placement of Desire in an adequate ontology of persons. -/- It is argued that every major candidate for a logical relation between wants and acts (or our warrant for believing that such a connection exists) breaks down upon analysis; that little warrant exists for construing wants as causes of acts; that wants and acts are related in significant non-logical and non-causal (i.e., material) respects; and that any fully adequate theory of human action must undertake ontology, placing the category of Desire squarely in the foreground. This project represents neither a general theory of desire nor a general theory of human action. It is rather conceived as a propaedeutic to any such inquiry. It is essentially revisionist in intent, setting out on the one hand to challenge existing claims about wants and acts and, on the other hand, proposing a more satisfactory approach to the issue. In no sense is it suggested that recent Anglo-American contributions are without merit. It is rather argued that they are often inadequate contributions vis-a-vis the larger requirements for an adequate theory of human action. (shrink)

Braun explores the use of digital twin technology in medicine with a particular emphasis on the question of how such simulations can represent a person.1 In defining some first conditions for ethically justifiable forms of representation of digital twins, he argues that digital twins do not threaten an embodied person, as long as that person retains control over their simulated representation via dynamic consent, and ideally with the option to choose both form and usage of the simulation. His thoughtful elaboration (...) provides insight into the challenges inherent in interactions between a person and their digital twin, emphasising the modes of control required to respect personal modes of freedom. This individual-centric approach to the question of representation leaves out the important ethical consideration of ensuring that all, not merely some, can be represented. Braun describes dynamic consent as a necessary mode of control, arguing that where a person is unable to give consent, ‘such simulations threaten to become illegitimate representations. They would then shift the kind of interaction from representation to illegitimate forms of prediction or surveillance and thereby could lead to infringements to individual modes of freedom.’ Consequently, the implementation of digital twin technology in healthcare would seem to exclude the most vulnerable members of society from participation in and benefiting from medical innovation, …. (shrink)

There are a number of competing psychological accounts of the placebo effect, and much of the recent debate centers on the relative importance of classical conditioning and conscious beliefs. In this paper, I discuss apparent problems with these accounts and with?disjunctive? accounts that deny that placebo effects can be given a unified psychological explanation. The fact that some placebo effects seem to be mediated by cognitive states with content that is consciously inaccessible and inferentially isolated from a subject's beliefs motivates (...) an account of the placebo effect in terms of subdoxastic cognitive states. I propose that aliefs, subdoxastic cognitive states that are associative, automatic, and arational, can provide a unified psychological account of the placebo effect. This account also has the potential to illuminate interesting connections to other psychological phenomena. (shrink)

Resting state networks comprise several brain regions that exhibit complex patterns of interaction. Switching from eyes closed (EC) to eyes open (EO) during the resting state modifies these patterns of connectivity, but precisely how these change remains unclear. Here we use functional magnetic resonance imaging to scan healthy participants in two resting conditions (viz., EC and EO). Seven resting state networks were chosen for this study: salience network (SN), default mode network (DMN), central executive network (CEN), dorsal attention network (DAN), (...) visual network (VN), motor network (MN) and auditory network (AN). We performed functional connectivity (FC) analysis for each network, comparing the FC maps for both EC and EO. Our results show increased connectivity between most networks during EC relative to EO, thereby suggesting enhanced integration during EC and greater modularity or specialization during EO. Among these networks, SN is distinctive: during the transition from EO to EC it evinces increased connectivity with DMN and decreased connectivity with VN. This change might imply that SN functions in a manner analogous to a circuit switch, modulating resting state relations with DMN and VN, when transitioning between EO and EC. (shrink)

According to Brandom’s conceptual role semantics, to grasp a concept involves a commitment to drawing certain inferences. This is a consequence of the inferentialist thesis that the meaning of a term is given by its justification through assertibility conditions. Inferential commitments come out from a material notion of inference which underwrites human rational discourse and activity. In this paper I discuss a problem of Brandom’s semantics allegedly exposed in an argument by Paul Boghossian against Dummett’s and Brandom’s substantive conception of (...) meaning. I contend that Boghossian’s analysis is dubious because it overlooks an important difference between Dummett’s and Brandom’s positions related respectively to a monotonic and a non-monotonic view of the norm underwriting meaning. (shrink)

I argue for the thesis (UL) that there are certain logical abilities that any rational creature must have. Opposition to UL comes from naturalized epistemologists who hold that it is a purely empirical question which logical abilities a rational creature has. I provide arguments that any creatures meeting certain conditions—plausible necessary conditions on rationality—must have certain specific logical concepts and be able to use them in certain specific ways. For example, I argue that any creature able to grasp theories must (...) have a concept of conjunction subject to the usual introduction and elimination rules. I also deal with disjunction, conditionality and negation. Finally, I put UL to work in showing how it could be used to define a notion of logical obviousness that would be well suited to certain contexts—e.g. radical translation and epistemic logic—in which a concept of obviousness is often invoked. (shrink)

This short paper offers a preliminary inquiry into the impacts of driving automation on personal autonomy. Personal autonomy is a key ethical value in western culture, and one that buttresses fundamental components of the moral life such as the exercise of responsible behaviour and the full enjoyment of human dignity. Driving automation simultaneously enhances and constrains it in significant ways. Hence, its moral profile with reference to the value of personal autonomy is uncertain. Ethical analysis shows that such uncertainty is (...) due not just to the complexity of the technology, but also to the multifaceted normative profile of personal autonomy, which offers reasons to support both conditional and full driving automation. The paper sheds light on this duplicity, underlines the challenges this poses to the ethics of driving automation, and advocates for further research aimed at providing practitioners with more fine-grained guidelines on such a delicate issue. (shrink)

Inquiry into the meaning of logical terms in natural language (‘and’, ‘or’, ‘not’, ‘if’) has generally proceeded along two dimensions. On the one hand, semantic theories aim to predict native speaker intuitions about the natural language sentences involving those logical terms. On the other hand, logical theories explore the formal properties of the translations of those terms into formal languages. Sometimes, these two lines of inquiry appear to be in tension: for instance, our best logical investigation into conditional connectives (...) may show that there is no conditional operator that has all the properties native speaker intuitions suggest if has. Indicative conditionals have famously been the source of one such tension, ever since the triviality proofs of both Lewis (1976) and Gibbard (1981) established conclusions which are in prima facie tension with ordinary judgments about natural language indicative conditionals. In a recent series of papers, Branden Fitelson has strengthened both triviality results (Fitelson 2013, 2015, 2016), revealing a common culprit: a logical schema known as IMPORT-EXPORT. Fitelson’s results focus the tension between the logical results and ordinary judgments, since IMPORT-EXPORT seems to be supported by intuitions about natural language. In this paper, we argue that the intuitions which have been taken to support IMPORT-EXPORT are really evidence for a closely related, but subtly different, principle. We show that the two principles are independent by showing how, given a standard assumption about the conditional operator in the formal language in which IMPORT-EXPORT is stated, many existing theories of indicative conditionals validate one, but not the other. Moreover, we argue that once we clearly distinguish these principles, we can use propositional anaphora to show that IMPORT-EXPORT is in fact not valid for natural language indicative conditionals (given this assumption about the formal conditional operator). This gives us a principled and independently motivated way of rejecting a crucial premise in many triviality results, while still making sense of the speaker intuitions which appeared to motivate that premise. We suggest that this strategy has broad application and an important lesson: in theorizing about the logic of natural language, we must pay careful attention to the translation between the formal languages in which logical results are typically proved, and natural languages which are the subject matter of semantic theory. (shrink)

Conditional assertions are a peculiar language structure that manifests a specific cognitive operation. In order to express it, different languages have found different ways of using verb forms. Primary conditionals are here defined as those that presuppose the possibility of the falsity of both the antecedent and the consequent. In them, the truth of the antecedent appears as a sufficient condition for the truth of the consequent. The truth condition of primary conditionals is defined as the impossibility of the (...) conjunction of the truth of the antecedent with the falsity of the consequent. The demand for a connection between antecedent and consequent, expressed by Chrysippus as the incompatibility between the affirmation of the antecedent and the denial of the consequent, is thus satisfied. Counterfactuals are conditionals that speak of some aspect of reality through the imagination of an unreal situation. (shrink)

Essential for the concept of the law of nature is not only spatio-temporal universality, but also functionality in the sense of the dependency on physical conditions of natural entities. In the following it is explained in detail that just the neglect of this functional property is to be understood as the real reason for the occurrence of the Goodman paradox – with the consequence, that the behavior of things seems to be completely at the mercy of change of unique unrepeatable (...) temporal points. It is exactly this (mis-)understanding that also generated the induction problem. From the intrinsic connection between universality and functionality, however, – that is my claim – the ontological consequence of a nature results, for which lawfulness is coupled to essentially functionally defined time sequences, thereby implying a potentiality dimension of nature, too. (shrink)

This paper attempts to explain what a protest is by using the resources of speech-act theory. First, we distinguish the object, redress, and means of a protest. This provided a way to think of atomic acts of protest as having dual communicative aspects, viz., a negative evaluation of the object and a connected prescription of redress. Second, we use Austin’s notion of a felicity condition to further characterize the dual communicative aspects of protest. This allows us to distinguish protest from (...) some other speech acts which also involve a negative evaluation of some object and a connected prescription of redress. Finally, we turn to Kukla and Lance’s idea of a normative functionalist analysis of speech acts to advance the view that protests are a complex speech act constituted by dual input normative statuses and dual output normative statuses. (shrink)

Import-Export says that a conditional 'If p, if q, r' is always equivalent to the conditional 'If p and q, r'. I argue that Import-Export does not sit well with a classical approach to conjunction: given some plausible and widely accepted principles about conditionals, Import-Export together with classical conjunction leads to absurd consequences. My main goal is to draw out these surprising connections. In concluding I argue that the right response is to reject Import-Export and adopt instead a (...) limited version which better fits natural language data; accounts for all the intuitions that motivate Import-Export in the first place; and fits better with a classical conjunction. (shrink)

What is the connection between valid inference and true conditionals? Many conditional logics require that when A is a logical consequence of B, "if B then A" is true. Taking counterlogical conditionals seriously leads to systems that permit counterexamples to that general rule. However, this leaves those of us who endorse non-trivial accounts of counterpossible conditionals to explain what the connection between conditionals and consequence is. The explanation of the connection also answers a common line of objection to non-trivial (...) counterpossibles, which is based on a transition from valid arguments to the corresponding conditionals. It also contributes to the wider project of illuminating the connections between contexts of utterance, on the one hand, and the truth-conditions of conditionals uttered in those contexts, on the other. (shrink)

Richard Foley has presented a puzzle purporting to show that all attempts in trying to find a sufficient condition of rationality are doomed. The puzzle rests on two plausible assumptions. The first is a level-connecting principle: if one rationally believes that one's belief that p is irrational, then one's belief that p is irrational. The second is a claim about a structural feature shared by all promising sufficient conditions of rationality: for any such condition, it is possible that one's belief (...) satisfies it and yet one rationally believes that it doesn’t. With the two assumptions, Foley argues that a sufficient condition of rationality is impossible. I explain how exactly the puzzle goes and I try to offer a solution. If my solution works, all theorists of rationality who accept certain level-connecting principles need to add an extra condition to their favourite rationality-making condition. (shrink)

This paper motivates and develops a novel semantic framework for deontic modals. The framework is designed to shed light on two things: the relationship between deontic modals and substantive theories of practical rationality and the interaction of deontic modals with conditionals, epistemic modals and probability operators. I argue that, in order to model inferential connections between deontic modals and probability operators, we need more structure than is provided by classical intensional theories. In particular, we need probabilistic structure that interacts directly (...) with the compositional semantics of deontic modals. However, I reject theories that provide this probabilistic structure by claiming that the semantics of deontic modals is linked to the Bayesian notion of expectation. I offer a probabilistic premise semantics that explains all the data that create trouble for the rival theories. (shrink)

Essential for the concept of the law of nature is not only spatio-temporal universality, but also functionality in the sense of the dependency on physical conditions of natural entities. In the following it is explained in detail that just the neglect of this functional property is to be understood as the real reason for the occurrence of the Goodman paradox. As a consequence, the behavior of things seems to be completely at the mercy of the temporal change of unique absolute (...) temporal points. It is exactly this (mis-)understanding that also generated the induction problem. From the intrinsic connection between universality and functionality, however, - that is my claim - the ontological consequence of a nature results, for which the potentiality of lawfulness is coupled to essentially functionally defined time sequences. (shrink)