Both Lowe and Tsai have presented their own versions of the theory that both indicative and subjunctive conditionals are strict conditionals. We critically discuss both versions and we find each version wanting.

von Fintel and Gillies : 329–360, 2007) have proposed a dynamic strict conditional account of counterfactuals as an alternative to the standard variably strict account due to Stalnaker and Lewis. Von Fintel’s view is motivated largely by so-called reverse Sobel sequences, about which the standard view seems to make the wrong predictions. More recently Moss :561–586, 2012) has offered a pragmatic/epistemic explanation that purports to explain the data without requiring abandonment of the standard view. So far the (...) small amount of subsequent literature has focused primarily on the original class of cases motivating the strict conditional view. What is needed in the debate is an examination of the predictions of the dynamic strict conditional account for a broader range of data. I undertake this task here, presenting a slew of cases that are problematic for the strict conditional view but not for Moss’s view, and considering some possible responses. Ultimately I take my contribution to constitute a significant blow to the dynamic strict conditional view, though not a decisive verdict against it. (shrink)

This paper defends the thesis that counterfactuals are strict conditionals. Its purpose is to show that there is a coherent view according to which counterfactuals are strict conditionals whose antecedent is stated elliptically. Section 1 introduces the view. Section 2 outlines a response to the main argument against the thesis that counterfactuals are strict conditionals. Section 3 compares the view with a proposal due to Aqvist, which may be regarded as its direct predecessor. Sections 4 and 5 (...) explain how the view di ers from the theories of counterfactuals advocated by Stalnaker and Lewis, and from some contextualist strict conditional accounts of counterfactuals that have emerged recently. Finally, section 6 addresses the thorny issue of disjunctive antecedents. (shrink)

This paper is intended to show that, at least in a considerably wide class of cases, indicative conditionals are adequately formalized as strict conditionals. The first part of the paper outlines three arguments that support the strict conditional view, that is, three reasons for thinking that an indicative conditional is true just in case it is impossible that its antecedent is true and its consequent is false. The second part of the paper develops the strict (...) conditional view and defends it from some foreseeable objections. (shrink)

Jonathan Lowe has argued that a particular variation on C.I. Lewis' notion of strict implication avoids the paradoxes of strict implication. We show that Lowe's notion of implication does not achieve this aim, and offer a general argument to demonstrate that no other variation on Lewis' notion of constantly strict implication describes the logical behaviour of natural-language conditionals in a satisfactory way.

.This paper discusses Aristotle’s thesis and Boethius’ thesis, the most distinctive theorems of connexive logic. Its aim is to show that, although there is something plausible in Aristotle’s thesis and Boethius’ thesis, the intuitions that may be invoked to motivate them are consistent with any account of indicative conditionals that validates a suitably restricted version of them. In particular, these intuitions are consistent with the view that indicative conditionals are adequately formalized as strict conditionals.

Modus ponens is the argument from premises of the form If A, then B and A to the conclusion B. Nearly all participants agree that the modus ponens conclusion logically follows when the argument appears in this Basic form. However, adding a further premise can lower participants’ rate of agreement—an effect called suppression. We propose a theory of suppression that draws on contemporary ideas about conditional sentences in linguistics and philosophy. Semantically, the theory assumes that people interpret an indicative (...) conditional as a context-sensitive strict conditional: true if and only if its consequent is true in each of a contextually determined set of situations in which its antecedent is true. Pragmatically, the theory claims that context changes in response to new assertions, including new conditional premises. Thus, the conclusion of a modus ponens argument may no longer be accepted in the changed context. Psychologically, the theory describes people as capable of reasoning about broad classes of possible situations, ordered by typicality, without having to reason about individual possible worlds. The theory accounts for the main suppression phenomena, and it generates some novel predictions that new experiments confirm. (shrink)

This paper extends Kripke’s theory of truth to a language with a variably strict conditional operator, of the kind that Stalnaker and others have used to represent ordinary indicative conditionals of English. It then shows how to combine this with a different and independently motivated conditional operator, to get a substantial logic of restricted quantification within naive truth theory.

According to the view of conditionals named 'inferentialism', a conditional holds when its consequent can be inferred from its antecedent. This paper identifies some major challenges that inferentialism has to face, and uses them to assess three accounts of conditionals: one is the classical strict account, the other two have recently been proposed by Douven and Rott. As will be shown, none of the three proposals meets all challenges in a fully satisfactory way. We argue through novel formal (...) results that a variation of the evidential account of conditionals suggested by Crupi and Iacona is the most promising candidate to develop inferentialism in a coherent formal framework. (shrink)

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)

I present two Triviality results for Kratzer's standard “restrictor” analysis of indicative conditionals. I both refine and undermine the common claim that problems of Triviality do not arise for Kratzer conditionals since they are not strictly conditionals at all.

In this article I define a strong conditional for classical sentential logic, and then extend it to three non-classical sentential logics. It is stronger than the material conditional and is not subject to the standard paradoxes of material implication, nor is it subject to some of the standard paradoxes of C. I. Lewis’s strict implication. My conditional has some counterintuitive consequences of its own, but I think its pros outweigh its cons. In any case, one can (...) always augment one’s language with more than one conditional, and it may be that no single conditional will satisfy all of our intuitions about how a conditional should behave. Finally, I suspect the strong conditional will be of more use for logic rather than the philosophy of language, and I will make no claim that the strong conditional is a good model for any particular use of the indicative conditional in English or other natural languages. Still, it would certainly be a nice bonus if some modified version of the strong conditional could serve as one. -/- I begin by exploring some of the disadvantages of the material conditional, the strict conditional, and some relevant conditionals. I proceed to define a strong conditional for classical sentential logic. I go on to adapt this account to Graham Priest’s Logic of Paradox, to S. C. Kleene’s logic K3, and then to J. Łukasiewicz’s logic Ł, a standard version of fuzzy logic. (shrink)

Our understanding of subjunctive conditionals has been greatly enhanced through the use of possible world semantics and, more precisely, by the idea that they involve variably strict quantification over possible worlds. I propose to extend this treatment to ceteris paribus conditionals – that is, conditionals that incorporate a ceteris paribus or ‘other things being equal’ clause. Although such conditionals are commonly invoked in scientific theorising, they traditionally arouse suspicion and apprehensiveness amongst philosophers. By treating ceteris paribus conditionals as a (...) species of variably strict conditional I hope to shed new light upon their content and their logic. (shrink)

The present thesis focuses on counterfactuals. Specifically, we will address new questions and open problems that arise for the standard semantic accounts of counterfactual conditionals. The first four chapters deal with the Lewisian semantic account of counterfactuals. On a technical level, we contribute by providing an equivalent algebraic semantics for Lewis' variably strict conditional logics, which is notably absent in the literature. We introduce a new kind of algebra and differentiate between local and global versions of each of (...) Lewis' variably strict conditional logics. We study the algebraic properties of Lewis' logics and the structure theory of our newly introduced algebras. Additionally, we employ a new algebraic construction, based on the framework of Boolean algebras of conditionals, to provide an alternative semantics for Lewisian counterfactual conditionals. This semantic account allows us to establish new truth conditions for Lewisian counterfactuals, implying that Lewisian counterfactuals are definable conditionals, and each counterfactual can be characterized as a modality of a corresponding probabilistic conditional. We further extend these results by demonstrating that each Lewisian counterfactual can also be characterized as a modality of the corresponding Stalnaker conditional. The resulting formal semantic framework is much more expressive than the standard one and, in addition to providing new truth conditions for counterfactuals, it also allows us to define a new class of conditional logics falling into the broader framework of weak logics. On the philosophical side, we argue that our results shed new light on the understanding of Lewisian counterfactuals and prompt a conceptual shift in this field: Lewisian counterfactual dependence can be understood as a modality of probabilistic conditional dependence or Stalnakerian conditional dependence. In other words, whether a counterfactual connection occurs between A and B depends on whether it is "necessary" for a Stalnakerian/probabilistic dependence to occur between A and B. We also propose some ways to interpret the kind of necessity involved in this interpretation. The remaining two chapters deal with the probability of counterfactuals. We provide an answer to the question of how we can characterize the probability that a Lewisian counterfactual is true, which is an open problem in the literature. We show that the probability of a Lewisian counterfactual can be characterized in terms of belief functions from Dempster-Shafer theory of evidence, which are a super-additive generalization of standard probability. We define an updating procedure for belief functions based on the imaging procedure and show that the probability of a counterfactual A > B amounts to the belief function of B imaged on A. This characterization strongly relies on the logical results we proved in the previous chapters. Moreover, we also solve an open problem concerning the procedure to assign a probability to complex counterfactuals in the framework of causal modelling semantics. A limitation of causal modelling semantics is that it cannot account for the probability of counterfactuals with disjunctive antecedents. Drawing on the same previous works, we define a new procedure to assign a probability to counterfactuals with disjunctive antecedents in the framework of causal modelling semantics. We also argue that our procedure is satisfactory in that it yields meaningful results and adheres to some conceptually intuitive constraints one may want to impose when computing the probability of counterfactuals. (shrink)

This paper presents a new system of conditional logic B2, which is strictly intermediate in strength between the existing systems B1 and B3 from John Burgess (1981) and David Lewis (1973a). After presenting and motivating the new system, we will show that it is characterized by a natural class of frames. These frames correspond to the idea that conditionals are about which worlds are nearly closest, rather than which worlds are closest. Along the way, we will also give new (...) characterization results for B1 and B3, along with two other new systems B1.1 and B1.2. (shrink)

Recent work in contemporary compatibilist theory displays considerable sophistication and subtlety when compared with the earlier theories of classical compatibilism. Two distinct lines of thought have proved especially influential and illuminating. The first developed around the general hypothesis that moral sentiments or reactive attitudes are fundamental for understanding the nature and conditions of moral responsibility. The other important development is found in recent compatibilist accounts of rational self-control or reason responsiveness. Strictly speaking, these two lines of thought have developed independent (...) of each other. However, in the past decade or so they have been fused together in several prominent statements of compatibilist theory. I will refer to theories that combine these two elements in this way as RS theories. RS theories face a number of familiar difficulties that relate to each of their two components. Beyond this, they also face a distinct set of problems concerning how these two main components relate or should be integrated. My concerns in this paper focus primarily on this set of problems. According to one version of RS compatibilism, the role of moral sentiments is limited to explaining what is required for holding an agent responsible. In contrast with this, the role of reason responsiveness is to explain what moral capacities are required for an agent to be responsible, one who is a legitimate or fair target of our moral sentiments. More specifically, according to this view, moral sense is not required for rational selfcontrol or reason responsiveness. There is, therefore, no requirement that the responsible agent has some capacity to feel moral sentiment. Contrary to this view, I argue that a responsible agent must be capable of holding herself and others responsible. Failing this, an agent’s powers of rational self-control will be both limited and impaired. In so far as holding responsible requires moral sense, it follows that being responsible also requires moral sense. (shrink)

This essay calls attention to a set of linguistic interactions between counterfactual conditionals, on one hand, and possibility modals like could have and might have, on the other. These data present a challenge to the popular variably strict semantics for counterfactual conditionals. Instead, they support a version of the strict conditional semantics in which counterfactuals and possibility modals share a unified quantificational domain. I’ll argue that pragmatic explanations of this evidence are not available to the variable analysis. (...) And putative counterexamples to the unified strict analysis, on careful inspection, in fact support it. Ultimately, the semantics of conditionals and modals must be linked together more closely than has sometimes been recognized, and a unified strict semantics for conditionals and modals is the only way to fully achieve this. (shrink)

ABSTRACT The apparent consistency of Sobel sequences famously motivated David Lewis to defend a variably strict conditional semantics for counterfactuals. If Sophie had gone to the parade, she would have seen Pedro. If Sophie had gone to the parade and had been stuck behind someone tall, she would not have seen Pedro. But if the order of the counterfactuals in a Sobel sequence is reversed—in the example, if is asserted prior to —the second counterfactual asserted no longer rings (...) true. This is the Heim sequence problem. That the order of assertion makes this difference is surprising on the variably strict account. Some argue that this is reason to reject the Lewis-Stalnaker semantics outright. Others argue that the problem motivates a contextualist rendering of counterfactuals. Still others maintain that the explanation for the phenomenon is merely pragmatic. I argue that none of these is right, and I defend a novel way to understand the phenomenon. My proposal avoids the problems faced by the alternative analyses and enjoys independent support. There is, however, a difficulty for my view: it entails that many ordinarily accepted counterfactuals are not true. I argue that this cost is acceptable. (shrink)

This paper develops a probabilistic analysis of conditionals which hinges on a quantitative measure of evidential support. In order to spell out the interpreta- tion of ‘if’ suggested, we will compare it with two more familiar interpretations, the suppositional interpretation and the strict interpretation, within a formal framework which rests on fairly uncontroversial assumptions. As it will emerge, each of the three interpretations considered exhibits specific logical features that deserve separate consideration.

According to existing accounts of indicative conditionals, any argument of the following form is valid: ϕ → ψ, ( ϕ ∧ ψ ) → χ ∴ ϕ → χ. Here, I present a set of counterexamples to show that there exist invalid arguments of this form. I argue that this data poses serious problems to variably strict accounts of conditionals, as such accounts are structurally unable to accommodate it. Dynamic strict accounts, however, are a different story. While existing (...) dynamic strict accounts do not accommodate the data, they are in principle able to, and I propose a modified dynamic strict account, drawing from von Fintel, that does. The key modification is this: whereas existing dynamic strict accounts take into account only the effects of conditional antecedents in changing the semantic context, the data shows that we must also take into account the effects of conditional consequents in changing the semantic context. (shrink)

The currently used humanity model is chaotic, devoid of logic or coherence. In Part 1 of this two-part paper, we examined human traits of a scientific model in absence of ‘born sinner’ starting point. We demonstrated that the so-called ‘viceroy model’ that is characterized as scientifically sustainable can replace the existing models that are based on fear and scarcity. Part Two of the paper deals with adequate definition of moral campus that conforms to the viceroy model. In this paper, it (...) is shown that the talk of morality or a moral compass is aphenomenal in absence of strict necessary and sufficient conditions. It also follows that natural justice can only be followed after defining the term ‘natural’ with the same scientific rigor as that of the viceroy model. Once these terms are consistently defined, one is well poised to talk about inalienable rights, moral compass, environmental sustainability, and humanity. The immediate consequence of this model is the demonstration that currently used governance models, such as democracy, is inherently implosive and must be replaced with a new model that is in conformance with the scientific definition of ‘natural’. This emerging model is free from inconsistencies and will remain effective as a governance tool that optimizes individual rights and balances with the right of the state as well as a Creator. It is concluded that this model offers the only hope of maximizing individual liberty without compromising universal peace and natural justice. At this point, morality and legality become equivalent to each. The implications of this paper are overwhelming, making all current judicial actions immoral, in essence repudiating the entire Establishment as little more than a mafia entity, bringing back ‘might is right’ mantra, packaged as ‘social progress’. The paper finally shows how a standard that is necessarily and sufficiently universal can become impetus for a true knowledge. (shrink)

The logico-algebraic study of Lewis's hierarchy of variably strict conditional logics has been essentially unexplored, hindering our understanding of their mathematical foundations, and the connections with other logical systems. This work aims to fill this gap by providing a comprehensive logico-algebraic analysis of Lewis's logics. We begin by introducing novel finite axiomatizations for varying strengths of Lewis's logics, distinguishing between global and local consequence relations on Lewisian sphere models. We then demonstrate that the global consequence relation is strongly (...) algebraizable in terms of a specific class of Boolean algebras with a binary operator representing the counterfactual implication; in contrast, we show that the local consequence relation is generally not algebraizable, although it can be characterized as the degree-preserving logic over the same algebraic models. Further, we delve into the algebraic semantics of Lewis's logics, developing two dual equivalences with respect to particular topological spaces. In more details, we show a duality with respect to the topological version of Lewis's sphere models, and also with respect to Stone spaces with a selection function; using the latter, we demonstrate the strong completeness of Lewis's logics with respect to sphere models. Finally, we draw some considerations concerning the limit assumption over sphere models. (shrink)

A widely accepted claim about counterfactuals is that they differ from strict conditionals, that is, there is no adequate representation of them as sentences of the form   . To justify this claim, Stalnaker and Lewis have argued that some fallacious inferences would turn out valid if counterfactuals were so represented. However, their argument has a flaw, as it rests on a questionable assumption about the relation between surface grammar and logical form. Without that assumption, no consequence of (...) the alleged kind is obtained, hence the claim may be rejected. (shrink)

The main disciples of Socrates criticise the use of city walls. However, their attacks are less grounded in a deep strategic reflexion than related to the traumatic consequences of Pericles’ strategy at the beginning of the Peloponnesian war. The Lacedemonians’ opposition to the erection of surrounding walls is more likely linked to their aristo- cratic ideology and interests than to moral imperatives. Though Plato and Xenophon’s motives are to avoid political divisions in the city, their positions on fortifications reveal their (...) aristocratic bias and the question of the walls appears to be part of a more general questioning on the spatial and political organisation of the city. On that issue, Aristotle criticises Plato from a pragmatic point of view and defends the use of walls, but under strict conditions only. The Spartan and Socratic critique of the building of the walls, as well as Aristotle reluctance to fully accept them, could be traced back to a common Greek archaic ideal. (shrink)

The practice of screening potential users of reproductive services is of profound social and political significance. Access screening is inconsistent with the principles of equality and self-determination, and violates individual and group human rights. Communities that strive to function in accord with those principles should not permit access screening, even screening that purports to be a benign exercise of professional discretion. Because reproductive choice is controversial, regulation by law may be required in most jurisdictions to provide effective protection for reproductive (...) rights. In Canada, for example, equal access can, and should be, guaranteed by federal regulations imposing strict conditions on the licences of fertility clinics. (shrink)

Assessment of those with whom one finds oneself in dispute is indispensable in the epistemology of disagreement. The assessment of one’s opponents is necessary in order to determine whether a particular disagreement constitutes evidence of a likely error in one’s own understanding. However, assessment of an opponent’s capacity to know the matter in dispute is only possible when the conditions for knowledge are not themselves open to debate. Consequently, epistemic significance can only be recognised in disagreements among those who are (...) in tacit or explicit agreement about what constitutes justification in a given case. The result is that the epistemic significance that disagreement possesses is always strictly conditional upon prior assumptions. The difference between a peer disagreement and a non-peer disagreement cannot indicate whether one is or is not more likely to be right than one’s opponent in an absolute sense, only whether one is or is not more likely to be right given the presupposed conditions. (shrink)

Recent revelations of Iran’s hitherto undisclosed uranium enrichment programs have once again incited western fears that Tehran seeks nuclear weapons’ capability. Their fears seem motivated by more than the concern for compliance with the Nuclear Nonproliferation Treaty (NPT). Rather, they seem strongly connected to the western moral assumptions about what kind of government or people can be trusted with a nuclear arsenal. In this paper, I critically examine the western assumptions of the immorality of contemporary nuclear proliferation from an international (...) ethical stance that otherwise might be expected to give it unequivocal support – the stance of Kantian nonideal theory. In contrast to the uses of Kant that were prominent during the Cold War, I advance and apply a sketch of a Kantian nonideal theory that specifies the conditions (although strict conditions) under which nuclear proliferation for states like Iran is morally permissible even though the NPT forbids it. (shrink)

Generic statements (‘Tigers have stripes’) are pervasive and developmentally early-emerging modes of generalization with a distinctive linguistic profile. Previous experimental work suggests that generics display a unique asymmetry between the prevalence levels required to accept them and the prevalence levels typically implied by their use. This asymmetry effect is thought to have serious social consequences: if speakers use socially problematic generics based on prevalence levels that are systematically lower than what is typically inferred by their recipients, then using generics will (...) likely exacerbate social stereotypes and biases. This paper presents evidence against the popular hypothesis that this asymmetry effect is unique to generics. Correcting for various shortcomings of previous studies, we found a generalized asymmetry effect across generics and various kinds of explicitly quantified statements (‘most’, ‘some’, ‘typically’, ‘usually’). In addition, to better understand the conditions under which generalized asymmetry effects may exacerbate biases, we examine whether speakers choose generalizing sentences based simply on their acceptance conditions, or are systematically sensitive to the implications likely drawn by their typical recipients. In support of the latter view, we found that, in neutral or cooperative scenarios, speakers reliably choose generalizing sentences whose implied prevalence levels closely match the actual ones. In non-cooperative scenarios, speakers exploit asymmetry effects to further their own goals by choosing generalizing sentences that are strictly true but likely to mislead their recipients. These results refine our understanding of the source of asymmetry effects and the conditions under which they may introduce biased beliefs into social networks. (shrink)

This article begins with some common or well-known sentiments about the present pandemic era and our experience of it, and moves by way of these toward discussion of the concepts of human existence and the “world” in the broadest sense of both terms. Departing from but also radicalizing the notion that “everything changed” in this pandemic time, I discuss certain logical difficulties that pertain to conceiving of or coherently talking about strict totalities which would include our own selves. This (...) will have significant consequences for our conception of the world (when taken in its absolute or broadest sense), and in what sense there are or could be multiple such immersive wholes of experience. Ultimately, I will suggest that in being able to name such pervasive or all encompassing phenomena, phenomena which are “always more” than what it is possible for us to indicate, that human existence is fundamentally liminal, or essentially between and borderline. Being essential or fundamental, this liminality or betweenness will form the basis which precedes and makes possible the apparently simple activities of, for instance, counting time or comparing and contrasting ordinary things, activities which would otherwise seem to require no outside support or conditions. (shrink)

Daniel Dennett has offered a set of necessary and sufficient conditions for something's being the proper object of our moral commitment, that is, for something's being a person. Strict application of these largely pragmatic conditions, however, would result in a moral community with quite a surprising membership roster, because of both who is on it and who isn't. The problem is that "your" being a person should amount to more than a function of "my" goals and cleverness.

Phenomenology has been described as a “non-argumentocentric” way of doing philosophy, reflecting that the philosophical focus is on generating adequate descriptions of experience. But it should not be described as an argument-free zone, regardless of whether this is intended as a descriptive claim about the work of the “usual suspects” or a normative claim about how phenomenology ought to be properly practiced. If phenomenology is always at least partly in the business of arguments, then it is worth giving further attention (...) to the role and form of phenomenological argumentation, how it interacts with its more strictly descriptive component, and the status of phenomenological claims regarding conditions for various kinds of experience. I contend that different versions of phenomenological reasoning encroach upon argument forms that are commonly thought to be antithetical to phenomenology, notably abductive reasoning, understood in terms of its role in both hypothesis generation and in terms of justification. This paper identifies two main steps to making this case. The first step takes seriously the consequences of the intrinsically dialectical aspect of phenomenology in intersection with other modes of philosophy, the natural attitude, and non-philosophy. The second step focuses on transcendental reflection and arguments about the conditions/structures they contain. Together, these two steps aim to rescue phenomenology from the objection that it has an “ostrich epistemology” with regard to the ostensible purity of description, the intuition of essences, or the “conditions” ascertained through transcendental reflection. (shrink)

Klein's target article argues that autonoetic consciousness is a necessary condition for memory; this unusually narrow view of the scope of memory implies that only episodic memory is, strictly speaking, memory. The narrow view is opposed to the standard broad view, on which causal connection with past experience is sufficient for memory; on the broad view, both declarative (i.e., episodic and semantic) and procedural memory count as genuine forms of memory. Klein mounts a convincing attack on the broad view, arguing (...) that it opens the "doors of memory" too far, but this commentary contends that the narrow view does not open them far enough. It may be preferable to adopt an intermediate view of the scope of memory, on which causal connection is sufficient for memory only when it involves encoding, storage, and retrieval of content. More demanding than the simple causal condition but less demanding than the autonoesis condition, the encoding-storage-retrieval condition implies that both episodic and semantic memory count as genuine forms of memory but that procedural memory does not. (shrink)

Husserl famously argues that it is essential to perception to present the perceived object in perspectives. Hence, there is no – and there cannot be – perception without perspectival givenness. Yet, it seems that there are counterexamples to this essentialist claim, for we seem to be able to imagine beings that do not perceive in perspectives. Recently, there have been some accounts in the literature that critically discuss those counterexamples and assess to what extent they succeed in challenging Husserl’s essentialist (...) claim. In this paper I discuss three different answers to these counterexamples, all of them are found wanting. I offer a novel solution, taking into account some crucial findings of the contemporary debate about imagination and modality. I argue that this new solution is capable of fully vindicating Husserl’s essentialist claim. Finally, I reconstruct Husserl’s own way to treat such counterexamples, in order to showcase the notion of modality Husserlian phenomenology relies on. I argue for the hitherto widely underappreciated point that Husserl’s transcendental phenomenology cannot appeal to strictly absolute modality but that the kind of modality in Husserlian phenomenology is conditional on the facticity that we have the transcendental structure we do in fact have. (shrink)

Physical translation of a mental content must involve a set of causal antecedents A and a set of causal consequents B which instantiate properties that figure in strict laws as antecedent and consequent conditions respectively. Only if there are double-role events in common between A and B capable of migrating to purely A or to purely B in future depending on the role that the mental content play then, psychological anomalism can be established but without any need to give (...) up the type-identity of mental and physical events. This paper argues that belief and desire are explanatorily inextricable likewise. (shrink)

This paper argues that proper functions are proximal functions. In other words, it rejects the notion that there are distal biological functions – strictly speaking, distal functions are not functions at all, but simply beneficial effects normally associated with a trait performing its function. Once we rule out distal functions, two further positions become available: dysfunctions are simply failures of proper function, and pathological conditions are dysfunctions. Although elegant and seemingly intuitive, this simple view has had surprisingly little uptake in (...) the literature. Indeed, our position departs from that of almost every theorist who has engaged with the issue at any depth. We start by presenting three arguments for the position that proper functions are proximal: one from the specificity of functions, one from their relation to intervention, and one from their relation to pathology. We then consider two case studies evidencing the trouble that accepting distal functions causes for philosophical reflection on the nature of pathological conditions. Finally, we anticipate and respond to three objections: that there can be failure of function without dysfunction; that our account is unacceptably revisionary in respect of normal function-talk; and that our thesis over-generalises from a narrow set of cases. (shrink)

Formal symptoms of relevance usually concern the propositional variables shared between the antecedent and the consequent of provable conditionals. Among the most famous results about such symptoms are Belnap’s early results showing that for sublogics of the strong relevant logic R, provable conditionals share a signed variable between antecedent and consequent. For logics weaker than R stronger variable sharing results are available. In 1984, Ross Brady gave one well-known example of such a result. As a corollary to the main result (...) of the paper, we give a very simple proof of a related but strictly stronger result. (shrink)

This paper argues that the notion of a single object or 'being one' does not require worldly or perceived conditions of integrity and even less so concept-relative atomicity. It generally is based on conditions of integrity of some sort, but not strictly so. It rather is imposed by the use of count categories in natural language and thus makes a case for linguistic idealism.

According to a view called 'nihilism', sentences containing vague expressions cannot strictly speaking be true or false, because they lack definite truth conditions. While most theorists of vagueness tend to regard nihilism as a hopeless view, a few isolated attempts have been made to defend it. This paper aims to develop such attempts in a new direction by showing how nihilism, once properly spelled out, can meet three crucial explanatory challenges that respectively concern truth, assertibility, and communication.

This paper is about four inferences patterns governing conditionals: Transitivity, Simplification, Contraposition, and Antecedent Strengthening. Transitivity, Simplification, and Contraposition are intuitively compelling. Although Antecedent Strengthening may seem less attractive at first, close attention to the full range of data reveals that it too has considerable appeal. An adequate theory of conditionals should account for these facts. The strict theory does so by validating them. But the variably strict theory invalidates them. So the variably strict theorist faces a (...) question: why do we find these inferences so compelling? In this paper, I suggest an answer on her behalf: that they are reasonable inferences in the sense introduced by Stalnaker (1975). -/- . (shrink)

In this thesis, I compare Kant and Wittgenstein’s critical philosophies with respect to Transcendental Idealism, as a doctrine meant to “prove” the possibility of Metaphysics. My Central Question is: Is the early Wittgenstein a transcendental idealist? In virtue of a distinction between Transcendentalism and Transcendental Idealism, I answer “No”, by arguing that the early Wittgenstein is a transcendental philosopher, but not a transcendental idealist of any kind. In particular, I distinguish two variants of Transcendental Idealism, namely an effable variant, which (...) Kant endorsed, and an ineffable variant, often ascribed to Wittgenstein. And I argue that Wittgenstein cannot commit to either variant. This raises questions as to what kind of transcendental philosopher Wittgenstein is, if not an idealist one, and how his stance may bear on Metaphysics. I answer both questions by the end of the work. -/- The dissertation’s core is structured into two parallel Parts, one on Kant (PartK) and one on Wittgenstein (PartW). Each Part is composed of 3 Chapters. In PartK, I give a general account of -/- (1K) Transcendental Philosophy—based on Kant’s one, but less restrictive than his; (2K) Effable Transcendental Idealism—by expounding Kant’s doctrine; (3K) Ineffable Transcendental Idealism—inspired by Kant, but not strictly Kantian. -/- In PartW, I argue that -/- (1W) the early Wittgenstein is a transcendental philosopher; (2W) the early Wittgenstein is not an effable transcendental idealist; (3W) the early Wittgenstein is not an ineffable transcendental idealist. -/- By the final Chapter of the work, I argue that -/- (7) the early Wittgenstein is a transcendental quietest, -/- namely, someone who accepts that there are transcendental conditions of cognition, while refraining from commitment over their metaphysical nature and status. However, Wittgenstein’s (ineffable) version of Transcendental Quietism is extreme, as it turns the whole of Metaphysics into mere nonsense. I will thus conclude the work by sketching a moderate (effable) version, whereby Transcendental Metaphysics is possible, but while we should engage with it, we should not engage in it. (shrink)

Autism spectrum disorder (ASD) is a psychopathological condition characterized by persistent deficits in social interaction and communication, and restricted, repetitive patterns of behavior and interests. To build an ecological-enactive account of autism, I propose we should endorse the affordance-based approach of the skilled intentionality framework (SIF). In SIF, embodied cognition is understood as skilled engagement with affordances in the sociomaterial environment of the ecological niche by which an individual tends toward the optimal grip. The human econiche offers a whole landscape (...) of affordances, and situated individuals respond to a field of relevant affordances. An important part of SIF is an ecological-enactive interpretation of the free energy principle and predictive processing. Predictive processing accounts indicate that in ASD too much precision is assigned to prediction errors. Autistic persons depend heavily on current sensory information and less on prior beliefs and cannot attune to stable regularities. To reduce uncertainty, they over-rely on routines, strict habits, and a familiar environment—a predictable ecological niche they construct. I argue that skilled intentionality gives us the framework from which to analyze the autistic field of affordances. Autistic patterns of affordance-related bodily states of action readiness are only sensitive to very specific solicitations in the environment and achieve optimal grip in well-known situations. Autism is to be understood as a disorder of bodily normativity. Taking this approach helps us figure out what neurotypical people can do to attune their environment in order to scaffold the needs of autistic individuals by redesigning the landscape of affordances. (shrink)

Accuracy arguments for the core tenets of Bayesian epistemology differ mainly in the conditions they place on the legitimate ways of measuring the inaccuracy of our credences. The best existing arguments rely on three conditions: Continuity, Additivity, and Strict Propriety. In this paper, I show how to strengthen the arguments based on these conditions by showing that the central mathematical theorem on which each depends goes through without assuming Additivity.

This metatheoretical paper develops a list of new research targets by exploring particularly promising interdisciplinary contact points between empirical dream research and philosophy of mind. The central example is the MPS-problem. It is constituted by the epistemic goal of conceptually isolating and empirically grounding the phenomenal property of “minimal phenomenal selfhood,” which refers to the simplest form of self-consciousness. In order to precisely describe MPS, one must focus on those conditions that are not only causally enabling, but strictly necessary to (...) bring it into existence. This contribution argues that research on bodiless dreams, asomatic out-of-body experiences, and full-body illusions has the potential to make decisive future contributions. Further items on the proposed list of novel research targets include differentiating the concept of a “first-person perspective” on the subcognitive level; investigating relevant phenomenological and neurofunctional commonalities between mind-wandering and dreaming; comparing the functional depth of embodiment across dream and wake states; and demonstrating that the conceptual consequences of cognitive corruption and systematic rationality deficits in the dream state are much more serious for philosophical epistemology (and, perhaps, the methodology of dream research itself) than commonly assumed. The paper closes by specifying a list of potentially innovative research goals that could serve to establish a stronger connection between dream research and philosophy of mind. (shrink)

Feminist epistemology aims to propose epistemic reasons for increasing the representation of women or socially subordinated people in science. This is typically done—albeit often only implicitly—by positing a causal mechanism through which the representation of sociodemographic minorities exerts a positive effect on scientific advancement. Two types of causal theories can be identified. The “epistemic diversity thesis” presents a causal path from sociodemographic diversity to scientific progress mediated by epistemic diversity. The “thesis of epistemic advantage” proposes a causal path from social (...) subjugation to capacity for inquiry. The latter theory is defined with substantial ambiguity in the existing literature, and I present an explicit causal reformulation that disambiguates it. The epistemic diversity thesis focuses on the effect of group composition on collective epistemic performance and is largely silent about what kind of characteristics lead to individual epistemic excellence. On the other hand, the thesis of epistemic advantage seeks to identify sociodemographic background conditions that make certain epistemic agents strictly better knowers or inquirers than others and pays little attention to the synergistic effects of diverse group composition. Such a difference in the causal structure reflects the diverging political characteristics of the two theories. (shrink)

Therefore, if a strict report is to be drawn, the Gospel always takes precedence over any older or newer culture. Contrarily, there is a danger that the Gospel turn into several “gospels”, one for each particular culture, becoming more a kind of human community’s aspiration, and not the message of Godʼs love for all people. That is why it is necessary to set the criteria for inculturation, that is, for the outcomes arising from the encounter between the Gospel and (...) the cultures of the world. Under these conditions, any cultural expression of the Christian faith must remain united with the other expressions, resulting into faith harmony. Gospel teaching is transhistorical and transcultural, naturally speaking. This means that the way Christianity was understood and preached in the early Church is still relevant and bears existential significance to all people, regardless of the historical contexts they live in; the moment faith has reached inculturation stage. A new contextual expression of the Gospel must keep the same direction as the Apostolic and Patristic Tradition. As an act of the Holy Spirit, such a theology makes people experience more and more personal and collective meetings with God. A contextualized theology becomes a genuine expression of the Gospel when related to the doctrinal and liturgical life of the Church. Thus, the connection to “a new heaven and a new earth” promised by Our Lord is achieved. (shrink)

In this article, I outline a logic of design of a system as a specific kind of conceptual logic of the design of the model of a system, that is, the blueprint that provides information about the system to be created. In section two, I introduce the method of levels of abstraction as a modelling tool borrowed from computer science. In section three, I use this method to clarify two main conceptual logics of information inherited from modernity: Kant’s transcendental logic (...) of conditions of possibility of a system, and Hegel’s dialectical logic of conditions of in/stability of a system. Both conceptual logics of information analyse structural properties of given systems. Strictly speaking, neither is a conceptual logic of information about the conditions of feasibility of a system, that is, neither is a logic of information as a logic of design. So, in section four, I outline this third conceptual logic of information and then interpret the conceptual logic of design as a logic of requirements, by introducing the relation of “sufficientisation”. In the conclusion, I argue that the logic of requirements is exactly what we need in order to make sense of, and buttress, a constructionist approach to knowledge. (shrink)

The purpose of this chapter is to determine what is to remember something, as opposed to imagining it, perceiving it, or introspecting it. What does it take for a mental state to qualify as remembering, or having a memory of, something? The main issue to be addressed is therefore a metaphysical one. It is the issue of determining which features those mental states which qualify as memories typically enjoy, and those states which do not qualify as such typically lack. In (...) sections 2 and 3, I will discuss the two main existing conceptions of the conditions that a mental state must satisfy to count as an episode of remembering. The first of these approaches is backward-looking. It puts forward conditions that strictly concern the aetiology of the mental state. I will argue that the conditions offered by the backward-looking approach are both too strong and too weak: They rule out mental states which, intuitively, count as memories while including mental states which, intuitively, do not qualify as memories. The second approach is forward-looking. It puts forward conditions that only concern the use that the subject makes of the mental state while forming beliefs about their own life. I will argue that the conditions proposed by the forward-looking approach are both too weak and too strong as well. However, the discussion of the two approaches will allow us to extract some helpful lessons on the constraints that any proposal about the nature of remembering should respect. An alternative approach aimed at incorporating those lessons will be offered in section 4 by drawing on the literature on functionalism. In section 5, I will argue that this approach can, on the one hand, accommodate as memories those mental states which indicate that the backward-looking approach and the forward-looking approach are too strict while, on the other hand, excluding those mental states which suggest that the two alternative approaches are too permissive. Accordingly, I will conclude that construing memory along functionalist lines is a satisfactory approach to the nature of remembering. (shrink)

In response to recent work on the aggregation of individual judgments on logically connected propositions into collective judgments, it is often asked whether judgment aggregation is a special case of Arrowian preference aggregation. We argue for the converse claim. After proving two impossibility theorems on judgment aggregation (using "systematicity" and "independence" conditions, respectively), we construct an embedding of preference aggregation into judgment aggregation and prove Arrow’s theorem (stated for strict preferences) as a corollary of our second result. Although we (...) thereby provide a new proof of Arrow’s theorem, our main aim is to identify the analogue of Arrow’s theorem in judgment aggregation, to clarify the relation between judgment and preference aggregation, and to illustrate the generality of the judgment aggregation model. JEL Classi…cation: D70, D71.. (shrink)

Logical Probability (LP) is strictly distinguished from Statistical Probability (SP). To measure semantic information or confirm hypotheses, we need to use sampling distribution (conditional SP function) to test or confirm fuzzy truth function (conditional LP function). The Semantic Information Measure (SIM) proposed is compatible with Shannon’s information theory and Fisher’s likelihood method. It can ensure that the less the LP of a predicate is and the larger the true value of the proposition is, the more information there is. (...) So the SIM can be used as Popper's information criterion for falsification or test. The SIM also allows us to optimize the true-value of counterexamples or degrees of disbelief in a hypothesis to get the optimized degree of belief, i. e. Degree of Confirmation (DOC). To explain confirmation, this paper 1) provides the calculation method of the DOC of universal hypotheses; 2) discusses how to resolve Raven Paradox with new DOC and its increment; 3) derives the DOC of rapid HIV tests: DOC of “+” =1-(1-specificity)/sensitivity, which is similar to Likelihood Ratio (=sensitivity/(1-specificity)) but has the upper limit 1; 4) discusses negative DOC for excessive affirmations, wrong hypotheses, or lies; and 5) discusses the DOC of general hypotheses with GPS as example. (shrink)