Explanatory Optimism about the Hard Problem of Consciousness argues that despite the worries of explanatory pessimists, consciousness can be fully explained in “easy” scientific terms. The widespread intuition that consciousness poses a hard problem is plausibly based on how consciousness appears to us in first-person access. The book offers a debunking argument to undercut the justificatory link between the first-person appearances and our hard problem intuitions. -/- The key step in the debunking argument involves the development and defense of an (...) empirical model of first-person access: Automated Compression Theory (ACT). ACT holds that first-person access to consciousness is accomplished by automated accessing of compressed sensory information. Because of the distorting nature of this compressed access, it seems to subjects that consciousness possesses “exceptional” properties—properties leading to the hard problem—even though no such properties are present. If there are no exceptional properties to explain, then an explanation in easy terms can fully account for conscious experience. The book presents a range of empirical evidence for ACT and concludes that the burden of proof is now on the pessimists to show why we shouldn’t be optimistic about explaining consciousness. (shrink)

The purpose of this paper is to re-examine the debate about cinematic motion in terms of the necessity for reception conditions in art. I shall argue that Gregory Currie’s rejection of weak illusionism – the view that cinematic motion is illusory – is sound, because cinematic images really move, albeit in a response-dependent rather than garden-variety manner. In §1 I present Andrew Kania’s rigorous and compelling critique of Currie’s realism. I assess Trevor Ponech’s response to Kania in §2, (...) and show that his focus on the cinematic experience is indicative of the direction the debate should take. §3 demonstrates that the issue is underpinned by the question of the role of reception conditions in the experience of art. In §4 I apply my observations on reception conditions to the problem of cinematic motion and conclude that Kania’s objections are unsuccessful due to his failure to acknowledge the necessary conditions for cinematic experience. (shrink)

Gregory Currie, arguing against recent psychoanalytic and semiotic film theory, has defended various realist theses about film. The strongest of these is that ‘weak illusionism’—the view that the motion of film images is an illusion—is false. That is, Currie believes film images really do move. In this paper I defend the common-sense position of weak illusionism, firstly by showing that Currie underestimates the power of some arguments for it, especially one based on the mechanics of projection, (...) and secondly by showing that film images exhibit neither garden-variety motion, nor a special response-dependent kind. (shrink)

I argue that there is a version of (quasi-Armstrongian) weak illusionism that intelligibly relates phenomenal concepts and introspective opacity, accounts for the (hard) problem intuitions Chalmers highlights (modal, epistemic, explanatory, and metaphysical), and undermines the most important arguments Chalmers deploys against type-B and type-C materialisms. If this is successful, we can satisfactorily account for the meta-problem of consciousness, mollify our hard problem intuitions, and remain genuine realists about phenomenal experience.

Ulysses, the strong illusionist, sails towards the Strait of Definitions. On his left, Charybdis defines “phenomenal consciousness” in a loaded manner, which makes it a problematic entity from a physicalist and naturalistic point of view. This renders illusionism attractive, but at the cost of committing a potential strawman against its opponents – phenomenal realists. On the right, Scylla defines “phenomenal consciousness” innocently. This seems to render illusionism unattractive. Against this, I show that Ulysses can pass the Strait of (...) Definitions. He should sail straight towards Scylla. Supposedly innocent definitions land a concept that makes illusionism attractive without committing a strawman. Indeed, this concept, which captures what the phenomenal realist means, is explicitly innocent but implicitly loaded. Beyond the Strait lies another danger: the Sirens of Redefinitions. They incite our hero to redefine his terms to salvage verbally (weak) phenomenal realism – judged preferable to overt strong illusionism. Ulysses should resist the Sirens’ songs and choose overt strong illusionism over its weak realist reformulation. (shrink)

Sir Peter Strawson’s ‘Freedom and Resentment’ was a landmark in the philosophical understanding of the free will problem. Building upon it, I attempt to defend a novel position, which purports to provide, in outline, the next step forward. The position presented is based on the descriptively central and normatively crucial role of illusion in the issue of free will. Illusion, I claim, is the vital but neglected key to the free will problem. The proposed position, which may be called ‘ (...) class='Hi'>Illusionism’, is shown to follow both from the strengths and from the weaknesses of Strawson’s position. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Mind and Purpose in Nature: A Reply to Donald A. CrosbyMikael Leidenhag (bio)One might say that there is a blurred line between panpsychism and emergentism. They are both committed to anti-reductionism and have often been construed as viable options to crude physicalism and Cartesian dualism. Yet, the panpsychist will find the bruteness of emergent properties concerning, in that they seem to emerge unpredictably and in defiance of any logical (...) explanation. In my book and article, I highlighted potential weaknesses in various forms of emergentism, including Donald Crosby’s way of using emergence theory to lay a metaphysical foundation for a Religion of Nature.1 In his most recent book Evolutionary Emergence of Purposive Goals and Values: A Naturalistic Teleology, Crosby responds to some of my criticisms.2 This short essay offers a reply to what I take to be the key issues in this important dialogue between panpsychism and emergentism.Before I proceed to respond to Crosby’s informative criticism, let me summarize some important commonalities between my own panpsychist view of consciousness and Crosby’s teleological emergentism.First, we both share a commitment to mental and teleological realism, in that our accounts take it as a fact that there is something to be explained. Mentality and teleological features of nature are not appearances to be explained (away) by some underlying, purely physical, level. In that regard, both Crosby and I take Daniel Dennett’s illusionist and eliminativist view of consciousness to be an insufficient metaphysical starting point. I agree with Crosby’s assessment in Evolutionary Emergence of Purposive Goals and Values that such an eliminative stance “provides no satisfying explanation for teleology or convincing interpretation of its critical role” in humans and non-human animals.3 [End Page 84]A second, important, common denominator is that our accounts reject what Crosby terms “mechanistic materialism” according to which, contra Dennett, there is something to be explained, but that consciousness/teleology (C/T) can be wholly accounted for in terms of physico-mechanical interactions, opening the door for wholescale causal determinism and denial of freedom in nature.4Third, albeit in significantly different ways, our accounts of C/T rely on something more fundamental to explain higher-level phenomena. I take mind/mindedness to be a fundamental and universal feature of existence, whereas Crosby suggests that novelty is a “pervasive trait of the temporal universe,” enabling the emergence of C/T through longer evolutionary trajectories.5Fourth, C/T can act as a pointer towards a Sacred dimension of reality. On Crosby’s Religion of Nature, the reality of C/T signifies the valuative dimensions of nature and a “sacredness that is not derivative from something else or from some other realm.”6 While I concede that there is no necessary connection between panpsychism and theism, I have previously made the argument that the former makes the latter significantly more reasonable.Given these commonalities, Crosby and I would occupy a rather similar spot on a hypothetical map of all the available positions in philosophy of mind.I outline these common denominators to make sure that the differences between our accounts are not exaggerated and that it hopefully makes it easier to follow my response to Crosby’s criticism below.I will, in particular, focus on three areas of contention: (1) That emergence theory does not entail a stronger notion of unpredictability/incomprehensibility, (2) that consciousness (and teleological norms) can arise naturally through the evolutionary process if given sufficient time; and (3) that emergence theory does not entail dualism.It should be emphasized that my arguments, and concerns about Crosby’s emergentism, are mostly based on philosophers that subscribe to some form of naturalism, materialism, or physicalism.Emergence Theory and UnpredictabilityIn my book Naturalizing God? and the article “Does Naturalism Make Room for Teleology?” I make the argument that the plausibility of emergentism is undercut by one of its core commitments; namely, that emergent properties, [End Page 85] while ontologically dependent on their material base, are unpredictable in relation to the subvenient base. That is, while consciousness depends on the brain structure, the coming into being of consciousness—our very ability to have thoughts, feelings, and perceptions... (shrink)

Perceptual illusionism is the view that perceptual experience is, in general, radically illusory. That is, perceptual experience presents objects as having certain sensible properties and standing in certain sensible relations, but nothing in the subject’s environment has those properties or stands in those relations. This paper makes the case for perceptual illusionism by showing how a broad set of philosophical and scientific considerations converge to support illusionism about the full range of sensible properties and relations. After clarifying (...) the illusionist thesis, I set out the argument in three parts. First, I briefly make the case for an illusionist view of color. I then argue for illusionism about the spatial/temporal properties presented in experience on the assumption that some “radical” view of space (and/or time) is correct—that is, some view according to which nothing like our ordinary three-dimensional space (or four-dimensional spacetime) exists at the fundamental level. Finally, I argue that there is a strong case for illusionism even if all radical views turn out to be false. (shrink)

In this paper we focus on some new normativist positions and compare them with traditional ones. In so doing, we claim that if normative judgments are involved in determining whether a condition is a disease only in the sense identified by new normativisms, then disease is normative only in a weak sense, which must be distinguished from the strong sense advocated by traditional normativisms. Specifically, we argue that weak and strong normativity are different to the point that one (...) ‘normativist’ label ceases to be appropriate for the whole range of positions. If values and norms are not explicit components of the concept of disease, but only intervene in other explanatory roles, then the concept of disease is no more value-laden than many other scientific concepts, or even any other scientific concept. We call the newly identified position “value-conscious naturalism” about disease, and point to some of its theoretical and practical advantages. (shrink)

Illusionists and a posteriori physicalists agree entirely on the metaphysical nature of reality — that all concrete entities are composed of fundamental physical entities. Despite this basic agreement on metaphysics, illusionists hold that phenomenal consciousness does not exist, whereas a posteriori physicalists hold that it does. One explanation for this disagreement would be that either the illusionists have too demanding a view about what consciousness requires, or the a posteriori physicalists have too tolerant a view. However, we will argue that (...) this divergence of opinion is merely an upshot of the semantic indeterminacy of the term 'conscious' and its cognates. We shall back up this diagnosis by showing how semantic indeterminacy of the kind in question is a pervasive feature of language. By illustrating this pattern with a range of historical examples, we shall show how the dispute between the illusionists and a posteriori physicalists is one instance of a common kind of terminological imprecision. The disagreement between them is thus not substantial. In effect, the two sides differ only about how to make an indeterminate term precise. The moral is that they should stop looking for arguments designed to settle the dispute in their favour. (shrink)

Kolodny and MacFarlane have made a pioneering contribution to our understanding of how the interpretation of deontic modals can be sensitive to evidence and information. But integrating the discussion of information-sensitivity into the standard Kratzerian framework for modals suggests ways of capturing the relevant data without treating deontic modals as “informational modals” in their sense. I show that though one such way of capturing the data within the standard semantics fails, an alternative does not. Nevertheless I argue that we have (...) good reasons to adopt an information-sensitive semantics of the general type Kolodny and MacFarlane describe. Contrary to the standard semantics, relative deontic value between possibilities sometimes depends on which possibilities are live. I develop an ordering semantics for deontic modals that captures this point and addresses various complications introduced by integrating the discussion of information-sensitivity into the standard semantic framework. By attending to these complexities, we can also illuminate various roles that information and evidence play in logical arguments, discourse, and deliberation. (shrink)

We develop measure theory in the context of subsystems of second order arithmetic with restricted induction. We introduce a combinatorial principleWWKL (weak-weak König's lemma) and prove that it is strictly weaker thanWKL (weak König's lemma). We show thatWWKL is equivalent to a formal version of the statement that Lebesgue measure is countably additive on open sets. We also show thatWWKL is equivalent to a formal version of the statement that any Borel measure on a compact metric space (...) is countably additive on open sets. (shrink)

Illusionism about consciousness is the thesis that phenomenal consciousness does not exist, but merely seems to exist. Embracing illusionism presents the theoretical advantage that one does not need to explain how consciousness arises from purely physical brains anymore, but only to explain why consciousness seems to exist while it does not. As Keith Frankish puts it, illusionism replaces the “hard problem of consciousness” with the “illusion problem.” However, a satisfying version of illusionism has to explain not (...) only why the illusion of consciousness arises, but also why it arises with its particular strength: Notably, why we are so deeply reluctant to recognize the illusory nature of consciousness. Explaining our strong intuitive resistance to illusionism means solving what I call the “illusion meta-problem,” which I think is a part of the illusion problem. In this paper, I argue that current versions of illusionism are unable to solve the illusion meta-problem. I focus on two of the most promising recent illusionist theories of consciousness, and I show why they fail to explain the peculiar reluctance we encounter whenever we try to accept that consciousness is an illusion. (shrink)

We prove that the forcing axiom [Formula: see text] (stratified) implies [Formula: see text]. Using this implication, we show that the forcing axiom [Formula: see text] is inconsistent. We also derive weak Chang’s Conjecture from [Formula: see text] (stratified) and use this second implication to give another proof of the inconsistency of [Formula: see text].

It is common in recent epistemology to distinguish different senses, or conceptions, of epistemic justification. The proposed oppositions include the objective/subjective, internalist/externalist, regulative/nonregulative, resource-relative/resource-independent, personal/verific, and deontological/evaluative conceptions of justification. In some of these cases, writers regard both members of the contrasting pair as legitimate; in other cases only one member. In this paper I want to propose another contrasting pair of conceptions of justification, and hold that both are defensible and legitimate. The contrast will then be used to construct (...) a modified version of reliabilism, one which handles certain problem cases more naturally than my previous versions of reliabilism. (shrink)

Weak emergence has been offered as an explication of the ubiquitous notion of emergence used in complexity science (Bedau 1997). After outlining the problem of emergence and comparing weak emergence with the two other main objectivist approaches to emergence, this paper explains a version of weak emergence and illustrates it with cellular automata. Then it explains the sort of downward causation and explanatory autonomy involved in weak emergence.

Proof-theoretic methods are developed for subsystems of Johansson’s logic obtained by extending the positive fragment of intuitionistic logic with weak negations. These methods are exploited to establish properties of the logical systems. In particular, cut-free complete sequent calculi are introduced and used to provide a proof of the fact that the systems satisfy the Craig interpolation property. Alternative versions of the calculi are later obtained by means of an appropriate loop-checking history mechanism. Termination of the new calculi is proved, (...) and used to conclude that the considered logical systems are PSPACE-complete. (shrink)

Journal of Mathematical Logic, Ahead of Print. We prove that the forcing axiom [math] (stratified) implies [math]. Using this implication, we show that the forcing axiom [math] is inconsistent. We also derive weak Chang’s Conjecture from [math] (stratified) and use this second implication to give another proof of the inconsistency of [math].

We show that Weak Vopěnka’s Principle, which is the statement that the opposite category of ordinals cannot be fully embedded into the category of graphs, is equivalent to the large cardinal principle Ord is Woodin, which says that for every class [Formula: see text] there is a [Formula: see text]-strong cardinal. Weak Vopěnka’s Principle was already known to imply the existence of a proper class of measurable cardinals. We improve this lower bound to the optimal one by defining (...) structures whose nontrivial homomorphisms can be used as extenders, thereby producing elementary embeddings witnessing [Formula: see text]-strongness of some cardinal. (shrink)

In light of many recent critiques of Western modernity and its conceptual foundations, the problem of adequately justifying our most basic moral and political values looms large. Without recourse to traditional ontological or metaphysical foundations, how can one affirm — or sustain — a commitment to fundamentals? The answer, according to Stephen White, lies in a turn to “weak” ontology, an approach that allows for ultimate commitments but at the same time acknowledges their historical, contestable character. This turn, White (...) suggests, is already underway. His book traces its emergence in a variety of quarters in political thought today and offers a clear and compelling account of what this might mean for our late modern self-understanding. (shrink)

Attitude verbs like ‘believe’ and ‘want’ exhibit neg-raising: an ascription of the form a doesn’t believe that p tends to convey that a disbelieves—i.e., believes the negation of—p. In ‘Belief is Weak’, Hawthore et al. observe that neg-raising does not occur with verbs like ‘know’ or ‘need’. According to them, an ascription of the form a believes that p is true just in case a is in a belief state that makes p more likely than not, and so—excepting cases (...) of complete indifference—a will either believe p or disbelieve p. I expand and revise this explanation: so-called ‘weak’ attitude verbs are used in ascriptions of an opinion about some subject matter S—a kind of selection from among the elements of S—and these ascriptions are themselves responsive to conversational topics that presuppose that the subject of the ascription has an opinion about S. ‘Strong’ attitude verbs denote more direct relationships between subject and world. (shrink)

Issues concerning naturalism have increasingly become the subject of philosophical reflections involving ontological, epistemological, and even ethics affairs. The most popular topic for contemporary philosophy has been the relationship between ontological results of Darwinism and epistemology. Despite the varied circumstances of its establishment, naturalism almost always produces recommendations that reflect a worldview much “weaker” (as in the case of Habermas) than the strong one more common among scientism. There are good structural reasons for this difference. The aim of this paper (...) is to elucidate some of distinctive social features of Habermas's conception of the human being and its implications in the Theory of Communicative Action (1982). Therefore, it is shown that his anthropology takes a naturalistic and Darwinist perspective in the weak naturalism perspective. In the first part, Darwin ́s legacy is analysed as a research program, and Habermas ́s studies on biological anthropology are compared with the latest research in genetics and palaeontology. In the second part, we will show Habermas's proposal to confront an epistemological dualism through a weak non‐reductionist naturalism as a critique of modern metaphysics, which structures a new pragmatic realism. (shrink)

In this paper we carry out an algebraic investigation of the weak nilpotent minimum logic and its t-norm based axiomatic extensions. We consider the algebraic counterpart of WNM, the variety of WNM-algebras and prove that it is locally finite, so all its subvarieties are generated by finite chains. We give criteria to compare varieties generated by finite families of WNM-chains, in particular varieties generated by standard WNM-chains, or equivalently t-norm based axiomatic extensions of WNM, and we study their standard (...) completeness properties. We also characterize the generic WNM-chains, i. e. those that generate the variety [MATHEMATICAL DOUBLE-STRUCK CAPITAL W]ℕ[MATHEMATICAL DOUBLE-STRUCK CAPITAL M], and we give finite axiomatizations for some t-norm based extensions of WNM. (shrink)

We study the first-order consequences of Ramsey’s Theorem fork-colourings ofn-tuples, for fixed$n, k \ge 2$, over the relatively weak second-order arithmetic theory$\mathrm {RCA}^*_0$. Using the Chong–Mourad coding lemma, we show that in a model of$\mathrm {RCA}^*_0$that does not satisfy$\Sigma ^0_1$induction,$\mathrm {RT}^n_k$is equivalent to its relativization to any proper$\Sigma ^0_1$-definable cut, so its truth value remains unchanged in all extensions of the model with the same first-order universe.We give a complete axiomatization of the first-order consequences of$\mathrm {RCA}^*_0 + \mathrm {RT}^n_k$for$n (...) \ge 3$. We show that they form a non-finitely axiomatizable subtheory of$\mathrm {PA}$whose$\Pi _3$fragment coincides with$\mathrm {B} \Sigma _1 + \exp $and whose$\Pi _{\ell +3}$fragment for$\ell \ge 1$lies between$\mathrm {I} \Sigma _\ell \Rightarrow \mathrm {B} \Sigma _{\ell +1}$and$\mathrm {B} \Sigma _{\ell +1}$. We also give a complete axiomatization of the first-order consequences of$\mathrm {RCA}^*_0 + \mathrm {RT}^2_k + \neg \mathrm {I} \Sigma _1$. In general, we show that the first-order consequences of$\mathrm {RCA}^*_0 + \mathrm {RT}^2_k$form a subtheory of$\mathrm {I} \Sigma _2$whose$\Pi _3$fragment coincides with$\mathrm {B} \Sigma _1 + \exp $and whose$\Pi _4$fragment is strictly weaker than$\mathrm {B} \Sigma _2$but not contained in$\mathrm {I} \Sigma _1$.Additionally, we consider a principle$\Delta ^0_2$-$\mathrm {RT}^2_2$which is defined like$\mathrm {RT}^2_2$but with both the$2$-colourings and the solutions allowed to be$\Delta ^0_2$-sets rather than just sets. We show that the behaviour of$\Delta ^0_2$-$\mathrm {RT}^2_2$over$\mathrm {RCA}_0 + \mathrm {B}\Sigma ^0_2$is in many ways analogous to that of$\mathrm {RT}^2_2$over$\mathrm {RCA}^*_0$, and that$\mathrm {RCA}_0 + \mathrm {B} \Sigma ^0_2 + \Delta ^0_2$-$\mathrm {RT}^2_2$is$\Pi _4$- but not$\Pi _5$-conservative over$\mathrm {B} \Sigma _2$. However, the statement we use to witness failure of$\Pi _5$-conservativity is not provable in$\mathrm {RCA}_0 +\mathrm {RT}^2_2$. (shrink)

Frankish positions his view, illusionism about qualia (a.k.a. eliminativist physicalism), in opposition to what he calls radical realism (dualism and neutral monism) and conservative realism (a.k.a. non-eliminativist physicalism). Against radical realism, he upholds physicalism. But he goes along with key premises of the Gap Arguments for radical realism, namely, 1) that epistemic/explanatory gaps exist between the physical and the phenomenal, and 2) that every truth should be perspicuously explicable from the fundamental truth about the world; and he concludes that (...) because physicalism is true, there could be no phenomenal truths, and no qualia. I think he is wrong to accept 2); and even if he was right to accept it, the more plausible response would be not to deny the existence of qualia but to deny physicalism. In either case, denying the existence of qualia is the wrong answer. I present a physicalist realist alterative that refutes premise 2 of the Gap Argument; I also make a general case against the scientism that accompanies Frankish’s metaphysics. (shrink)

Illusionists about phenomenal consciousness claim that phenomenal consciousness does not exist but merely seems to exist. At the same time, it is quite intuitive for there to be some kind of link between phenomenality and value. For example, some situations seem good or bad in virtue of the conscious experiences they feature. Illusionist views of phenomenal consciousness then face what I call the normative challenge. They have to say where they stand regarding the idea that there is a link between (...) phenomenality and value. If they accept that there is such a link, they might be committed to revisionary normative consequences (and some of them may prove to be uncomfortable). If they deny that there is such link, they might avoid revisionary normative consequences (without being guaranteed against them) but then they have to give reasons to deny that such link obtains, which is not a trivial task. The existence of the normative challenge does not show that illusionism is false, but it shows that illusionism might have important consequences in the normative domain, which have to be clarified. (shrink)

이 논문은 약한 결합 형식을 갖는 두 준선형 논리와 그것들의 누승적 확장 논리 사이의 동치 관계와 이러한 논리 체계 중 한 논리 체계의 표준 완전성을 다룬다. 좀더 구체적으로 먼저 논리 IWAUBUL을 약한 결합 형태를 갖는 준선형 논리 WAUBUL의 누승적 확장으로 소개하고 이 체계의 대수적 의미론을 다룬다. 특히 우리는 IWAUBUL이 WAUIBUL 체계와 동치라는 것을 보인다. 다음으로 우리는 관련된 약한 결합 힝식을 만족하는 누승적 미카놈을 소개한다. 마지막으로 이 논리를 위한 대수적 조건들에 바탕을 둔 표준 완전성을 다룬다.

Nathan Salmon has defended what might be called “weak modal anti-realism”—the view that possible-object names can refer to possible objects that neither exist nor are otherwise real. But rather than adopting a similar view in the fictional case, he instead defends fictional creationism—the view that fictional characters are existent but abstract entities created by authors of fiction. In this paper, I first argue that if weak modal antirealism is defensible then weak fictional antirealism is defensible as well. (...) Second, I argue that there is no reason to prefer fictional creationism over weak fictional antirealism but there is very good reason to prefer the latter over the former. And third, I defend weak fictional antirealism against the charge that it cannot provide a satisfactory account of statements that prima facie involve reference to or quantification over fictional characters. (shrink)

This paper offers a new and very simple alternative to Bochvar's well known nonsense -- or meaninglessness -- interpretation of Weak Kleene logic. To help orient discussion I begin by reviewing the familiar Strong Kleene logic and its standard interpretation; I then review Weak Kleene logic and the standard interpretation. While I note a common worry about the Bochvar interpretation my aim is only to give an alternative -- and I think very elegant -- interpretation, not necessarily a (...) replacement. (shrink)

When a study shows statistically significant correlation between an exposure and an outcome, the credence of a real connection between the two increases. Should that credence remain the same when it is discovered that further independent studies between the exposure and other independent outcomes were conducted? Matthew Kotzen argues that it should remain the same, even if the results of those further studies are discovered. However, we argue that it can differ dependent upon the results of the studies.

Weak ontic necessity is the ontic necessity expressed by “should/ought to” in English. An example of it is “I should be dead by now”. A feature of this necessity is that whether it holds at the present world is irrelevant to whether its prejacent holds at the present world. In this paper, by combining premise semantics and update semantics for conditionals, we present a logical theory for conditional weak ontic necessity based on context update. A context is a (...) set of ordered defaults, determining expected possible states of the present world. Sentences are evaluated with respect to contexts. When evaluating the conditional weak ontic necessity with respect to a context, we first update the context with the antecedent, then check whether the consequent holds with respect to the updated context. We compare this theory to some related works. The logic’s expressivity is studied. (shrink)

Following a previous elaboration of the concept of weak individuality and some examples of its instances in ecology and biology, the article focuses on general features of the concept, arguing that in any ontological field individuals are understood on the basis of our knowledge of interactions, through the application of these general formulas for extracting individuals from interactions. Then, the specificities of the individuality in the sense of this weak concept are examined in ecology; I conclude by addressing (...) the differences between ecosystems and organisms as they appear in the viewpoint of such concept. (shrink)

Dutch, like other Germanic languages, disposes of two strategies to express past tense: the strong inflection (e.g., rijden – reed ‘drive – drove’) and the weak inflection (spelen – speelde ‘play – played’). This distinction is for the most part lexically determined in that each verb occurs in one of the two inflections. Diachronically the system is in flux though, with the resilience of some verbs being mainly driven by frequency. Synchronically this might result in variable verbs (e.g., schuilen (...) – schuilde/school ‘hide – hid’ or raden – raadde/ried ‘guess – guessed’). This diachronic (1300–2000) corpus study shows that this variation is not haphazard, but that semantic factors are at play. We see two such effects. First of all, synchronically, the variation is exapted in an iconic manner to express aspect: durative meanings tend to be expressed by longer verb forms and punctual meanings tend to be expressed by shorter verb forms. Secondly, we see that metaphorical meanings come to be associated within obsolescent inflectional forms, as predicted by Kuryłowicz’s “fourth law of analogy”. (shrink)

We give a decision procedure for the ∀∃-theory of the weak truth-table (wtt) degrees of the recursively enumerable sets. The key to this decision procedure is a characterization of the finite lattices which can be embedded into the r.e. wtt-degrees by a map which preserves the least and greatest elements: a finite lattice has such an embedding if and only if it is distributive and the ideal generated by its cappable elements and the filter generated by its cuppable elements (...) are disjoint. We formulate general criteria that allow one to conclude that a distributive upper semi-lattice has a decidable two-quantifier theory. These criteria are applied not only to the weak truth-table degrees of the recursively enumerable sets but also to various substructures of the polynomial many-one (pm) degrees of the recursive sets. These applications to the pm degrees require no new complexity-theoretic results. The fact that the pm-degrees of the recursive sets have a decidable two-quantifier theory answers a question raised by Shore and Slaman in [21]. (shrink)

The article aims to analyse the concept of normativity within the philosophy of weak thought developed by Gianni Vattimo. Weak thought refers to the idea of weakening the existence in the era of metaphysical demise, as well as a challenge to the Cartesian concept of the subject. This philosophical tradition does not entirely abandon moral normativity. Vattimo proposes a weak notion of normativity, i.e. persuasion, without claims of universal applicability. Weak normativity derives from dialogue and respect (...) for tradition, as well as recommends compliance with specific moral principles. However, it does not consider their applicability to be universal. This kind of normativity is established on the basis of cultural heritage, agreement and social contract. (shrink)

In this paper, we examine a number of relevant logics’ variable sharing properties from the perspective of theories of topic or subject-matter. We take cues from Franz Berto’s recent work on topic to show an alignment between families of variable sharing properties and responses to the topic transparency of relevant implication and negation. We then introduce and defend novel variable sharing properties stronger than strong depth relevance—which we call cn-relevance and lossless cn-relevance—showing that the properties are satisfied by the (...) class='Hi'>weak relevant logics and , respectively. We argue that such properties address a sort of semantic lossiness of strong depth relevance. (shrink)

This paper extends Fitting's epistemic interpretation of some Kleene logics, to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting's "cut-down" operator is discussed, rendering a "track-down" operator later used to represent the idea that no consistent opinion can arise from a set including an inconsistent opinion. It is shown that, if some reasonable assumptions are made, the truth-functions of Paraconsistent Weak Kleene coincide with certain operations defined in this track-down fashion. Finally, (...) further reflections on conjunction and disjunction in the weak Kleene logics accompany this paper, particularly concerning their relation with containment logics. These considerations motivate a special approach to defining sound and complete Gentzen-style sequent calculi for some of their four-valued generalizations. (shrink)

In trying to explain the possibility of akrasia , it seems plausible to deny that there is a conceptual connection between motivation and evaluation ; akrasia occurs when the agent is motivated to do something that she does not judge to be good . However, it is hard to see how such accounts could respect our intuition that the akratic agent acts freely, or that there is a difference between akrasia and compulsion. It is also hard to see how such (...) accounts could be extended to the realm of theoretical reason, but this is generally not taken Ito be a problem, because it is generally assumed that there is no similar phenomenon in the realm of theoretical reason. This paper argues that there is such a thing as theoretical akrasia, and that we can find a characterization of this phenomenon in Descartes’s Meditations. Drawing on certain passages in the Meditations, we can construct an account of theoretical akrasia; this account can then be adapted to resolve the original problem of akrasia in the realm of practical reason. The account asserts that there is a conceptual connection between motivation and evaluation in free action; it also enables us to show how the akratic agent is still acting freely when he does something that he does not judge to be the best all things considered. (shrink)

Illusionism about consciousness entails that phenomenal consciousness doesn’t exist. The distribution question concerns the distribution of consciousness in the animal kingdom. Skepticism of animal consciousness is the view that few or no kinds of animals possess consciousness. Thus, illusionism seems to imply a skeptical view on the distribution question. However, I argue that illusionism and skepticism of animal consciousness are actually orthogonal to each other. If illusionism is true, then phenomenal consciousness does not ground intrinsic value (...) so that the non-existence of phenomenal consciousness would not have ethical implications. In this case, the adequate reaction is to reformulate the distribution question in terms of the quasi-phenomenal functional features associated with the illusion of phenomenal consciousness which do ground intrinsic value. Hence, either illusionism is false or the distribution question does not concern phenomenal consciousness. In any case, illusionism does not directly tell us anything about the distribution question. However, since illusionism forces us to revise our traditional conception of consciousness, it indirectly affects research on animal consciousness by questioning that consciousness is a unified and an all-or-nothing property. (shrink)