This paper considers questions about continuity and discontinuity between life and mind. It begins by examining such questions from the perspective of the free energy principle (FEP). The FEP is becoming increasingly influential in neuroscience and cognitive science. It says that organisms act to maintain themselves in their expected biological and cognitive states, and that they can do so only by minimizing their free energy given that the long-term average of free energy is entropy. The paper then argues that (...) there is no singular interpretation of the FEP for thinking about the relation between life and mind. Some FEP formulations express what we call an independence view of life and mind. One independence view is a cognitivist view of the FEP. It turns on information processing with semantic content, thus restricting the range of systems capable of exhibiting mentality. Other independence views exemplify what we call an overly generous non-cognitivist view of the FEP, and these appear to go in the opposite direction. That is, they imply that mentality is nearly everywhere. The paper proceeds to argue that non-cognitivist FEP, and its implications for thinking about the relation between life and mind, can be usefully constrained by key ideas in recent enactive approaches to cognitive science. We conclude that the most compelling account of the relationship between life and mind treats them as strongly continuous, and that this continuity is based on particular concepts of life (autopoiesis and adaptivity) and mind (basic and non-semantic). (shrink)

I argue that Descartes' Second Causal Proof of God in the Third Meditation evidences, and commits him to, the belief that time is "strongly discontinuous" -- that is, that there is actually a gap between each consecutive moment of time. Much of my article attempts to reconcile this interpretation, the "received view," with Descartes' statements about time, space, and matter in his other writings, including his correspondence with various philosophers.

The situated potentials for action between material things in the world and the interactional processes thereby afforded need to be seen as not only constituting the possibility of agency, but thereby also comprising it. Eo ipso, agency must be de-fused from any local, "contained" subject and be understood as a situational property in which subjects and objects can both participate. Any technological artifact should thus be understood as a complex of agential capacities that function relative to any number of social (...) and material factors. Keeping in mind that we are co-constituted by webs of relations involving increasingly complex collections of artefacts, networks, niches, and communities of practice, our investigation will be guided by interrogating the functional potential of a thing that in the last fifteen years has seamlessly worked its way into the everyday life of millions of human agents. This "thing," the smartphone, is merely a nodal point in a highly complex network. Recognizing this massive "collective," we nevertheless want to show some of the ways in which something as seemingly mundane as a smartphone can reflexively alter the range of actions available to a cognitive agent (Latour 1994). Specifically, we hope to shed light on some of the social-cognitive consequences of technological mediation by looking at the complementary, if not mutually implied, domains of memory and knowledge. (shrink)

The (dis)continuism debate in the philosophy and cognitive science of memory concerns whether remembering is continuous with episodic future thought and episodic counterfactual thought in being a form of constructive imagining. I argue that settling that dispute will hinge on whether the memory traces (or “engrams”) that support remembering impose arational, perception-like constraints that are too strong for remembering to constitute a kind of constructive imagining. In exploring that question, I articulate two conceptions of memory traces—the replay theory and (...) the prop theory—that return conflicting answers to whether remembering is constructive imagining. The prop theory’s vision of traces is suggestive of continuism, while the replay theory’s is a natural fit for discontinuism. Which view of traces is in fact correct remains undetermined by current empirical work. Nevertheless, it may already be possible to reach a compromise in the (dis)continuism debate, through the development of a conciliatory continuist causal theory. This view—only outlined here—accepts the continuism-friendly prop theory of traces, while still requiring that genuine remembering fulfills an appropriate causation condition, as required by the kinds of causal theories of remembering typically favored by discontinuists. (shrink)

We present an abstract social aggregation theorem. Society, and each individual, has a preorder that may be interpreted as expressing values or beliefs. The preorders are allowed to violate both completeness and continuity, and the population is allowed to be infinite. The preorders are only assumed to be represented by functions with values in partially ordered vector spaces, and whose product has convex range. This includes all preorders that satisfy strong independence. Any Pareto indifferent social preorder is then shown (...) to be represented by a linear transformation of the representations of the individual preorders. Further Pareto conditions on the social preorder correspond to positivity conditions on the transformation. When all the Pareto conditions hold and the population is finite, the social preorder is represented by a sum of individual preorder representations. We provide two applications. The first yields an extremely general version of Harsanyi's social aggregation theorem. The second generalizes a classic result about linear opinion pooling. (shrink)

We give two social aggregation theorems under conditions of risk, one for constant population cases, the other an extension to variable populations. Intra and interpersonal welfare comparisons are encoded in a single ‘individual preorder’. The theorems give axioms that uniquely determine a social preorder in terms of this individual preorder. The social preorders described by these theorems have features that may be considered characteristic of Harsanyi-style utilitarianism, such as indifference to ex ante and ex post equality. However, the theorems are (...) also consistent with the rejection of all of the expected utility axioms, completeness, continuity, and independence, at both the individual and social levels. In that sense, expected utility is inessential to Harsanyi-style utilitarianism. In fact, the variable population theorem imposes only a mild constraint on the individual preorder, while the constant population theorem imposes no constraint at all. We then derive further results under the assumption of our basic axioms. First, the individual preorder satisfies the main expected utility axiom of strong independence if and only if the social preorder has a vector-valued expected total utility representation, covering Harsanyi’s utilitarian theorem as a special case. Second, stronger utilitarian-friendly assumptions, like Pareto or strong separability, are essentially equivalent to strong independence. Third, if the individual preorder satisfies a ‘local expected utility’ condition popular in non-expected utility theory, then the social preorder has a ‘local expected total utility’ representation. Fourth, a wide range of non-expected utility theories nevertheless lead to social preorders of outcomes that have been seen as canonically egalitarian, such as rank-dependent social preorders. Although our aggregation theorems are stated under conditions of risk, they are valid in more general frameworks for representing uncertainty or ambiguity. (shrink)

This paper reconsiders the challenge presented to scientific realism by the semantic incommensurability thesis. A twofold distinction is drawn between methodological and semantic incommensurability, and between semantic incommensurability due to variation of sense and due to discontinuity of reference. Only the latter presents a challenge to scientific realism. The realist may dispose of this challenge on the basis of a modified causal theory of reference, as argued in the author’s 1994 book, The incommensurability thesis. This referential response has been (...) the subject of a charge of meta-incommensurability by Hoyningen-Huene et al., who argue that the realist’s referential response begs the question against anti-realist advocates of incommensurability. In reply, it is noted that a tu quoque rejoinder is available to the realist. It is also argued that the dialectical situation favours the scientific realist, since the anti-realist defence of incommensurability depends on an incoherent distinction between phenomenal world and world-in-itself. In light of such incoherence, and a strong commonsense presumption in favour of realism, the referential response to semantic incommensurability may be justifiably based on realism. (shrink)

In this paper, I argue that there is neither valid deductive support nor strong inductive support for Kuhn’s incommensurability thesis. There is no valid deductive support for Kuhn’s incommensurability thesis because, from the fact that the reference of the same kind terms changes or discontinues from one theoretical framework to another, it does not necessarily follow that these two theoretical frameworks are taxonomically incommensurable. There is no strong inductive support for Kuhn’s incommensurability thesis, since there are rebutting defeaters (...) against it in the form of episodes from the history of science that do not exhibit discontinuity and replacement, as Kuhn’s incommensurability thesis predicts, but rather continuity and supplementation. If this is correct, then there are no compelling epistemic reasons to believe that Kuhn’s incommensurability thesis is true or probable. (shrink)

Violence is signaled by a mark of discontinuity, interruption, rupture. The tripartite temporality of violence, with its strong focus on the present, points to the originary violence. Moreover, the violent event is structuring the order of the action sequences in an actual violent (embodied) interaction. The interactional dynamics in violent encounters between co-present actors shapes the specific forms of the experiencing in (and of) the violent interaction. Based on how violence is experienced in an interactive situation, the phenomenon (...) of violence articulates itself according to three coordinates: directedness, co-performativity and de-capabilisation. The outlining of the structure of the lived experience of violence is revealing something irreducible in it. To understand the experience of violence as such, I propose that we accept the idea of violence per se and depart from the idea that the acts of violence are essentially moral actions. The core of the ethical-moral discussion concerning violence should be grounded instead on the moment of conversion identifiable when we take into account the reaction to violence. (shrink)

Berry, Daniels, and Ladin make a strong argument for discontinuing the use of, “lack of social support,” as an organ transplantation listing criterion. This argument, however, actually leads to conclusions much stronger than those that the authors’ propose: The argument works equally well against using, (1) any “psychosocial” factors at all as a listing criterion, and, (2) any criteria other than factors that directly relate to empirically established medical need, and/or empirically established survival rate. Moreover, while the authors rightly (...) point to a lack of empirical evidence connecting social support to survivability, they neglect mentioning that the empirical literature on social support provides grounds to favor listing persons who seem to, sadly, lack a social support system. (shrink)

The aim of this study is to justify the belief that there are biological normative mechanisms that fulfill non-trivial causal roles in the explanations (as formulated by researchers) of actions and behaviors present in specific systems. One example of such mechanisms is the predictive mechanisms described and explained by predictive processing (hereinafter PP), which (1) guide actions and (2) shape causal transitions between states that have specific content and fulfillment conditions (e.g. mental states). Therefore, I am guided by a specific (...) theoretical goal associated with the need to indicate those conditions that should be met by the non-trivial theory of normative mechanisms and the specific models proposed by PP supporters. In this work, I use classical philosophical methods, such as conceptual analysis and critical reflection. I also analyze selected studies in the field of cognitive science, cognitive psychology, neurology, information theory and biology in terms of the methodology, argumentation and language used, in accordance with their theoretical importance for the issues discussed in this study. In this sense, the research presented here is interdisciplinary. My research framework is informed by the mechanistic model of explanation, which defines the necessary and sufficient conditions for explaining a given phenomenon. The research methods I chose are therefore related to the problems that I intend to solve. In the introductory chapter, “The concept of predictive processing”, I discuss the nature of PP as well as its main assumptions and theses. I also highlight the key concepts and distinctions for this research framework. Many authors argue that PP is a contemporary version of Kantianism and is exposed to objections similar to those made against the approach of Immanuel Kant. I discuss this thesis and show that it is only in a very general sense that the PP framework is neo-Kantian. Here we are not dealing with transcendental deduction nor with the application of transcendental arguments. I argue that PP is based on reverse engineering and abduction inferences. In the second part of this chapter, I respond to the objection formulated by Dan Zahavi, who directly accuses this research framework of anti-realistic consequences. I demonstrate that the position of internalism, present in the so-called conservative PP, does not imply anti-realism, and that, due to the explanatory role played in it by structural representations directed at real patterns, it is justified to claim that PP is realistic. In this way, I show that PP is a non-trivial research framework, having its subject, specific methods and its own epistemic status. Finally, I discuss positions classified as the socalled radical PP. In the chapter “Predictive processing as a Bayesian explanatory model” I justify the thesis according to which PP offers Bayesian modeling. Many researchers claim that the brain is an implemented statistical probabilistic network that is an approximation of the Bayesian 7 rule. In practice, this means that all cognitive processes are to apply Bayes' rule and can be described in terms of probability distributions. Such a solution arouses objections among many researchers and is the subject of wide criticism. The purpose of this chapter is to justify the thesis that Bayesian PP is a non-trivial research framework. For this purpose, I argue that it explains certain phenomena not only at the computational level described by David Marr, but also at the level of algorithms and implementation. Later in this chapter I demonstrate that PP is normative modeling. Proponents of the use of Bayesian models in psychology or decision theory argue that they are normative because they allow the formulation of formal rules of action that show what needs to be done to make a given action optimal. Critics of this approach emphasize that such thinking about the normativity of Bayesian modeling is unjustified and that science should shift from prescriptive to descriptive positions. In a polemic with Shira Elqayam and Jonathan Evans (2011), I show that the division they propose into prescriptivism and Bayesian descriptivism is apparent, because, as I argue, there are two forms of prescriptivism, i.e. the weak and the strong. I argue that the weak version is epistemic and can lead to anti-realism, while the strong version is ontic and allows one to justify realism in relation to Bayesian models. I argue that a weak version of prescriptivism is valid for PP. It allows us to adopt anti-realism in relation to PP. In practice, this means that you can explain phenomena using Bayes' rule. This does not, however, imply that they are Bayesian in nature. However, the full justification of realism in relation to the Bayesian PP presupposes the adoption of strong prescriptivism. This position assumes that phenomena are explained by Bayesian rule because they are Bayesian as such. If they are Bayesian in nature, then they should be explained using Bayesian modeling. This thesis will be substantiated in the chapters “Normative functions and mechanisms in the context of predictive processing” and “Normative mechanisms and actions in predictive processing”. In the chapter “The Free Energy Principle in predictive processing”, I discuss the Free Energy Principle (hereinafter FEP) formulated by Karl Friston and some of its implications. According to this principle, all biological systems (defined in terms of Markov blankets) minimize the free energy of their internal states in order to maintain homeostasis. Some researchers believe that PP is a special case of applying this principle to cognition, and that predictive mechanisms are homeostatic mechanisms that minimize free energy. The discussion of FEP is important due to the fact that some authors consider it to be important for explanatory purposes and normative. If this is the case, then FEP turns out to be crucial in explaining normative predictive mechanisms and, in general, any normative biological mechanisms. To define the explanatory possibilities of this principle, I refer to the discussion of its supporters on the issue they define as the problem of continuity and discontinuity between life and mind. A critical analysis of this discussion and the additional arguments I have formulated have allowed me to revise the explanatory ambitions of FEP. I also reject the belief that this principle is necessary to explain the nature of predictive mechanisms. I argue that the principle formulated and defended by Friston is an important research heuristic for PP analysis. 8 In the chapter “Normative functions and mechanisms in predictive processing”, I start my analyzes by formulating an answer to the question about the normative nature of homeostatic mechanisms. I demonstrate that predictive mechanisms are not homeostatic. I defend the view that a full explanation of normative mechanisms presupposes an explanation of normative functions. I discuss the most important proposals for understanding the normativity of a function, both from a systemic and teleosemantic perspective. I conclude that the non-trivial concept of a function must meet two requirements which I define as explanatory and normative. I show that none of the theories I have invoked satisfactorily meets both of these requirements. Instead, I propose a model of normativity based on Bickhard's account, but supplemented by a mechanistic perspective. I argue that a function is normative when: (1) it allows one to explain the dysfunction of a given mechanism; (2) it contributes to the maintenance of the organism's stability by shaping and limiting possible relations, processes and behaviors of a given system; and when (3) (according to the representational and predictive functions) it enables explaining the attribution of logical values of certain representations / predictions. In such an approach, a mechanism is normative when it performs certain normative functions and when it is constitutive for a specific action or behavior, despite the fact that for some reason it cannot realize it either currently or in the long-term. Such an understanding of the normativity of mechanisms presupposes the acceptance of the epistemic hypothesis. I argue that this hypothesis is not cognitively satisfactory, and therefore the ontic hypothesis should be justified, which is directly related to adopting the position of ontic prescriptivism. For this reason, referring to the mechanistic theory of scientific explanations, I formulate an ontical interpretation of the concept of a normative mechanism. According to this approach, a mechanism or a function is normative when they perform such and such causal roles in explaining certain actions and behaviors. With regard to the normative properties of predictive mechanisms and functions, this means that they are the causes of specific actions an organism carries out in the environment. In this way, I justify the necessity of accepting the ontic hypothesis and rejecting the epistemic hypothesis. The fifth chapter, “Normative mechanisms and actions in predictive processing”, is devoted to the dark room problem and the related exploration-exploitation trade-off. A dark room is the state that an agent could be in if it minimized the sum of all potential prediction errors. I demonstrate that, in accordance with the basic assumption of PP about the need for continuous and long-term minimization of prediction errors, such a state should be desirable for the agent. Is it really so? Many authors believe it is not. I argue that the test of the value of PP is the possibility of a non-trivial solution of this problem, which can be reduced to the choice between active and uncertainty-increasing exploration and safe and easily predictable exploitation. I show that the solution proposed by PP supporters present in the literature does not enable a fully satisfactory explanation of this dilemma. Then I defend the position according to which the full explanation of the normative mechanisms, and, subsequently, the solution to the dilemma of exploration and exploitation, involves reference to the existence of constraints present in the environment. The constraints 9 include elements of the environment that make a given mechanism not only causal but also normative. They are therefore key to explaining the predictive mechanisms. They do not only play the role of the context in which the mechanism is implemented, but, above all, are its constitutive component. I argue that the full explanation of the role of constraints in normative predictive mechanisms presupposes the integration of individual models of specific cognitive phenomena, because only the mechanistic integration of PP with other models allows for a non-trivial explanation of the nature of normative predictive mechanisms that would have a strong explanatory value. The explanatory monism present in many approaches to PP makes it impossible to solve the problem of the dark room. Later in this chapter, I argue that the Bayesian PP is normative not because it enables the formulation of such and such rules of action, but because the predictive mechanisms themselves are normative. They are normative because they condition the choice of such and such actions by agents. In this way, I justify the hypothesis that normative mechanisms make it possible to explain the phenomenon of agent motivation, which is crucial for solving the dark room problem. In the last part of the chapter, I formulate the hypothesis of distributed normativity, which assumes that the normative nature of certain mechanisms, functions or objects is determined by the relations into which these mechanisms, functions or objects enter. This means that what is normative (in the primary sense) is the relational structure that constitutes the normativity of specific items included in it. I suggest that this hypothesis opens up many areas of research and makes it possible to rethink many problems. In the “Conclusion”, I summarize the results of my research and indicate further research perspectives. (shrink)

Continuists maintain that, aside from their distinct temporal orientations, episodic memory and future-oriented mental time travel (FMTT) are qualitatively continuous. Discontinuists deny this, arguing that, in addition to their distinct temporal orientations, there are qualitative metaphysical or epistemological differences between episodic memory and FMTT. This chapter defends continuism by responding both to arguments for metaphysical discontinuism, based on alleged discontinuities between episodic memory and FMTT at the causal, intentional, and phenomenological levels, and to arguments for epistemological discontinuism, based on alleged (...) discontinuities with respect to the epistemic openness of the past and future, the directness or indirectness of our knowledge of past and future, and immunity to error through misidentification. The chapter concludes by sketching a positive argument for continuism. (shrink)

Undoubtedly, the topic of discontinuity has got to an extent where it has captured the attention of a good number of researchers. These researchers devote themselves to reflect on the philosophy of the French thinker. Focusing on discontinuity promises to open a new line of analysis that, perhaps, will allow the revaluation of its scope in relation to its philosophical contributions. For such a task, first, we will approach the notion of history in Foucauldian thought to study the (...) development this notion has with the discontinuity; followed by a study of the archaeological method to unravel whether it is possible to analyze discontinuity through an archaeological view. Would it be possible to look at the topic of discontinuity as a characteristic feature of this French philosopher's thinking? This document aims to answer this question. (shrink)

In 2004 in Prague, I met Slovak philosopher Miroslav Marcelli, who had attended Foucault's lectures in Paris in 80s. We talked about the legacy of Foucault and contemporary philosophy. Mr. Marcelli taught me philosophy at Comenius University in 1995.. I never visited his lectures, I only passed the exam.. The most interesting point was his answer to my 'provocations' replicating the common prejudice about impracticability of the philosophy. He answered "Do you think that e.g. Descartes didn't know about it?" In (...) fact, people tend to think that philosophers or mathematicians, are "asocial" without "social" intelligence, while their occasional isolation (e.g. Nietzsche) is a product of social exclusion, rather than their choice. In 2013 I applied Foucault's concept of Discontinuity to short 10 minutes movie: Discontinuity, projected in my exhibition "From Animation" in Holland Park, London. The film has 3 parts, ends as it starts to show the significant historical events in 4 windows, when the same idea appears to disappear to re-appear.. Foucault's philosophy doesn't seem to me so unique now, e.g. the idea that many historical changes or progress itself is often illusionary - masking the power structure, had already been explored 515 BC, in depth by Parmenides who concluded: the change is impossible. (shrink)

According to an influential contextualist solution to skepticism advanced by Keith DeRose, denials of skeptical hypotheses are, in most contexts, strong yet insensitive. The strength of such denials allows for knowledge of them, thus undermining skepticism, while the insensitivity of such denials explains our intuition that we do not know them. In this paper we argue that, under some well-motivated conditions, a negated skeptical hypothesis is strong only if it is sensitive. We also consider how a natural response (...) on behalf of DeRose appears to be equally available to his primary rival (viz., the sensitivity theorist). (shrink)

Bodily sensations, such as pain, hunger, itches, or sexual feelings, are commonly characterized in terms of their phenomenal character. In order to account for this phenomenal character, many philosophers adopt strong representationalism. According to this view, bodily sensations are essentially and entirely determined by an intentional content related to particular conditions of the body. For example, pain would be nothing more than the representation of actual or potential tissue damage. In order to motivate and justify their view, strong (...) representationalists often appeal to the reliable causal covariance between bodily sensations and certain kinds of bodily conditions or to the corresponding biological function that these bodily sensations are supposed to fulfill. In this paper, I argue on the basis of recent empirical research that arguments from reliable causal covariance and biological function cannot motivate the introduction of corresponding intentional content. In particular, I argue that bodily sensations are caused by a heterogeneous class of physiological and psychological factors and their biological functions are too diverse to be reduced to the representation of a particular bodily condition. Responses are available to strong representationalists, but they either require substantial alterations to their core assumptions or incur a significant empirical burden. (shrink)

A strongly deterministic theory of physics is one that permits exactly one possible history of the universe. In the words of Penrose (1989), "it is not just a matter of the future being determined by the past; the entire history of the universe is fixed, according to some precise mathematical scheme, for all time.” Such an extraordinary feature may appear unattainable in any realistic and simple theory of physics. In this paper, I propose a definition of strong determinism and (...) contrast it with those of standard determinism and super-determinism. Next, I discuss its consequences for explanation, causation, prediction, fundamental properties, free will, and modality. Finally, I present the first example of a realistic, simple, and strongly deterministic physical theory--the Everettian Wentaculus. As a consequence of physical laws, the history of the Everettian multiverse could not have been different. If the Everettian Wentaculus is empirically equivalent to other quantum theories, we can never empirically find out whether or not our world is strongly deterministic. Even if strong determinism fails to be true, it is closer to the actual world than we have presumed, with implications for some of the central topics in philosophy and foundations of physics. (shrink)

One of the most plausible and widely discussed examples of strong emergence is molecular structure. The only detailed account of it, which has been very influential, is due to Robin Hendry and is formulated in terms of downward causation. This paper explains Hendry’s account of the strong emergence of molecular structure and argues that it is coherent only if one assumes a diachronic reflexive notion of downward causation. However, in the context of this notion of downward causation, the (...) strong emergence of molecular structure faces three challenges that have not been met and which have so far remained unnoticed. First, the putative empirical evidence presented for the strong emergence of molecular structure equally undermines supervenience, which is one of the main tenets of strong emergence. Secondly, it is ambiguous how the assumption of determinate nuclear positions is invoked for the support of strong emergence, as the role of this assumption in Hendry’s argument can be interpreted in more than one way. Lastly, there are understandings of causation which render the postulation of a downward causal relation between a molecule’s structure and its quantum mechanical entities, untenable. (shrink)

Relevant logics infamously have the property that they only validate a conditional when some propositional variable is shared between its antecedent and consequent. This property has been strengthened in a variety of ways over the last half-century. Two of the more famous of these strengthenings are the strong variable sharing property and the depth relevance property. In this paper I demonstrate that an appropriate class of relevant logics has a property that might naturally be characterized as the supremum of (...) these two properties. I also show how to use this fact to demonstrate that these logics seem to be constructive in previously unknown ways. (shrink)

Science and scientific knowledge have been questioned in many ways for a long period of time. Especially, after the scientific revolution of 16th- and 17th-century Europe, science and its knowledge have been mainly accepted one of the most valuable and trustable information. However, in 20th century, autonomy of scientific knowledge and its dominant position over other kinds of knowledge have been mainly criticised. Social and other factors that were tried to be excluded before have been incorporated into the work by (...) the influence of the Strong Programme. In this article, it will be argued that while people are presenting scientific knowledge, their interests, beliefs and the communities they are involved in are also shown to be effective in producing this information. Thus, the desired result is that it is not reasonable to talk about the absolute autonomy of scientific knowledge. (shrink)

The received view holds that there is a significant divide between full-blown representational states and so called ‘detectors’, which are mechanisms set off by specific stimuli that trigger a particular effect. The main goal of this paper is to defend the idea that many detectors are genuine representations, a view that I call ‘Strong Liberal Representationalism’. More precisely, I argue that ascribing semantic properties to them contributes to an explanation of behavior, guides research in useful ways and can accommodate (...) misrepresentation. (shrink)

The literature on counterfactuals is dominated by strict accounts and variably strict accounts. Counterexamples to the principle of Antecedent Strengthening were thought to be fatal to SA; but it has been shown that by adding dynamic resources to the view, such examples can be accounted for. We broaden the debate between VSA and SA by focusing on a new strengthening principle, Strengthening with a Possibility. We show dynamic SA classically validates this principle. We give a counterexample to it and show (...) that extra dynamic resources cannot help SA. We then show VSA accounts for the counterexample if it allows for orderings on worlds that are not almost-connected, and that such an ordering naturally falls out of a Kratzerian ordering source semantics. We conclude that the failure of Strengthening with a Possibility tells strongly against Dynamic SA and in favor of an ordering source-based version of VSA. (shrink)

In The Philosophy of Information, Luciano Floridi presents a theory of “strongly semantic information”, based on the idea that “information encapsulates truth” (the so-called “veridicality thesis”). Starting with Popper, philosophers of science have developed different explications of the notion of verisimilitude or truthlikeness, construed as a combination of truth and information. Thus, the theory of strongly semantic information and the theory of verisimilitude are intimately tied. Yet, with few exceptions, this link has virtually pass unnoticed. In this paper, we briefly (...) survey both theories and offer a critical comparison of strongly semantic information and related notions, like truth, verisimilitude, and partial truth. (shrink)

Tsui and Weymark (Economic Theory, 1997) have shown that the only continuous social welfare orderings on the whole Euclidean space which satisfy the weak Pareto principle and are invariant to individual-specific similarity transformations of utilities are strongly dictatorial. Their proof relies on functional equation arguments which are quite complex. This note provides a simpler proof of their theorem.

Epistemic deontology maintains that our beliefs and degrees of belief are open to deontic evaluations—evaluations of what we ought to believe or may not believe. Some philosophers endorse strong internalist versions of epistemic deontology on which agents can always access what determines the deontic status of their beliefs and degrees of belief. This paper articulates a new challenge for strong internalist versions of epistemic deontology. Any version of epistemic deontology must face William Alston’s argument. Alston combined a broadly (...) voluntarist conception of responsibility, on which ought implies can, with doxastic involuntarism, the position that our beliefs are not under our control. Together, those views imply that epistemic deontology is false. A promising response to Alston’s argument is to embrace a compatibilist account of control—specifically a reason-responsive version of compatibilism—and use it to criticism his doxastic involuntarism. I argue that while reason-responsive compatibilism about control does undermine Alston’s argument, it comes at a cost. Specifically, it is inconsistent with strong internalist versions of epistemic deontology. The surprising upshot is that so long as we retain a voluntarist conception of responsibility, we have reason for rejecting strong internalist versions of epistemic deontology. (shrink)

In “What is it like to be boring and myopic?” Kathleen Akins offers an interesting, empirically driven, argument for thinking that there is nothing that it is like to be a bat. She suggests that bats are “boring” in the sense that they are governed by behavioral scripts and simple, non-representational, control loops, and are best characterized as biological automatons. Her approach has been well received by philosophers sympathetic to empirically informed philosophy of mind. But, despite its influence, her work (...) has not met with any critical appraisal. -/- It is argued that a reconsideration of the empirical results shows that bats are not boring automatons, driven by short input-output loops, instincts, and reflexes. Grounds are provided for thinking that bats satisfy a range of philosophically and scientifically interesting elaborations of the general idea that consciousness is best understood in terms of representational functions. A more complete examination of bat sensory capabilities suggests there is something that it is like after all. -/- The discussion of bats is also used to develop an objection to strongly neurophilosophical approaches to animal consciousness. (shrink)

We extend Barbanera and Berardi's symmetric lambda calculus [2] to second-order classical propositional logic and prove its strong normalization.

A strongly independent preorder on a possibly in finite dimensional convex set that satisfi es two of the following conditions must satisfy the third: (i) the Archimedean continuity condition; (ii) mixture continuity; and (iii) comparability under the preorder is an equivalence relation. In addition, if the preorder is nontrivial (has nonempty asymmetric part) and satisfi es two of the following conditions, it must satisfy the third: (i') a modest strengthening of the Archimedean condition; (ii') mixture continuity; and (iii') completeness. Applications (...) to decision making under conditions of risk and uncertainty are provided. (shrink)

One common objection against the Principle of Sufficient Reason is that it leads to a highly counterintuitive position, namely, necessitarianism. In this paper, drawing on Avicenna’s modal theory, I differentiate between two versions of necessitarianism: strong necessitarianism and weak necessitarianism. I argue that the modal intuition driving this objection pertains to strong necessitarianism, while the Principle of Sufficient Reason, at most, leads to weak necessitarianism.

This paper investigates the role of visual experience in Wittgenstein's work. The specific thesis is that visual experience provides not only diverse illustrative examples of what could be an explanation of meaning, but that it also provides a recurrent metaphor for the whole process of meaning and understanding. Wittgenstein uses a great number of visual examples in his texts. Their diversity may be accounted for by the great diversity of ways in which he attempts to describe the relationship between a (...) word and its meaning. The resultant variety of visual examples may be summarised by what I call the Visual Discontinuity Thesis. However, beneath this diversity there lies a thread of continuity. This is provided by the persistent use of visual experience in the description of the word-meaning relation. This use underlies the projection relationship of the Tractatus and the "seeing-as" relationship of the Investigations. This recurrent visual metaphor may be summarised by what I call the Visual Continuity Thesis. This paper presents the latter thesis in the context of a description of the former. (shrink)

Propositional dynamic logic is complete but not compact. As a consequence, strong completeness requires an infinitary proof system. In this paper, we present a short proof for strong completeness of $$\mathsf{PDL}$$ relative to an infinitary proof system containing the rule from [α; β n ]φ for all $$n \in {\mathbb{N}}$$, conclude $$[\alpha;\beta^*] \varphi$$. The proof uses a universal canonical model, and it is generalized to other modal logics with infinitary proof rules, such as epistemic knowledge with common knowledge. (...) Also, we show that the universal canonical model of $$\mathsf{PDL}$$ lacks the property of modal harmony, the analogue of the Truth lemma for modal operators. (shrink)

In the article “A Tension in the Strong Program: The Relation between the Rational and the Social,” I stated that David Bloor, citing the principle of symmetry, expresses that rational and irrational beliefs must be explained in the same way, that is, by causes of the same kind. On this wise, he rejects the methodology of traditional philosophers and historians of science as asymmetrical; since they explain evidence-based beliefs with epistemic reasons and unreasonable beliefs—e.g. beliefs based on indoctrination, propaganda, (...) ideology, and superstition—citing social factors. On the other hand, Bloor argues that the rational is made entirely of the social and, therefore, is itself a kind of social factor. But by admitting this maximum conception of social constructivism, Bloor can no longer consider the rational and the social as two separate identities and accuse the traditional view of asymmetry. However, Professor Finn Collin says that Bloor’s critique of the traditional model never commits him to the duality of the rational and the social. (shrink)

We provide conditions under which an incomplete strongly independent preorder on a convex set X can be represented by a set of mixture preserving real-valued functions. We allow X to be infi nite dimensional. The main continuity condition we focus on is mixture continuity. This is sufficient for such a representation provided X has countable dimension or satisfi es a condition that we call Polarization.

A natural problem from elementary arithmetic which is so strongly undecidable that it is not even Trial and Error decidable (in other words, not decidable in the limit) is presented. As a corollary, a natural, elementary arithmetical property which makes a difference between intuitionistic and classical theories is isolated.

A common feature of all standard theories of the laws of nature is that they are "absolutist": They take laws to be either all metaphysically necessary or all contingent. Science, however, gives us reason to think that there are laws of both kinds, suggesting that standard theories should make way for "non-absolutist" alternatives: theories which accommodate laws of both modal statuses. In this paper, we set out three explanatory challenges for any candidate non-absolutist theory and discuss the prospects of the (...) two extant candidates in light of these challenges. We then develop our own non-absolutist theory, the essentialist DTA account, which combines the nomic-necessitation or DTA account with an essentialist approach to metaphysical modality in order to meet the three explanatory challenges. Finally, we argue that the distinction between kinematical and dynamical laws found in physical theories supports both non-absolutism in general and our proposed essentialist DTA view in particular. (shrink)

The general composition question asks “what are the necessary and jointly sufficient conditions any xs and any y must satisfy in order for it to be true that those xs compose that y?” Although this question has received little attention, there is an interesting and theoretically fruitful answer. Namely, strong composition as identity (SCAI): necessarily, for any xs and any y, those xs compose y iff those xs are identical to y. SCAI is theoretically fruitful because if it is (...) true, then there is an answer to one of the most difficult and intractable questions of mereology (The Simple Question). In this paper, I introduce the identity account of simplicity and argue that if SCAI is true then this identity account of simplicity is as well. I consider an objection to the identity account of simplicity. Ultimately, I find this objection unsuccessful. (shrink)

To act akratically is to act, knowingly, against what you judge is best for you to do, and it is traditionally assumed that to do this is to be weak-willed. Some have rejected this identification of akrasia and weakness of will, arguing that the latter is instead best understood as a matter of abandoning one's reasonable resolutions. This paper also rejects the identification of akrasia and weakness of will, but argues that this alternative conception is too broad, and that weakness (...) of will is best understood in relation to certain kinds of pain and pleasure. Moreover, the phenomenon of strong-willed akrasia, cases in which a person must exhibit strength of will to do precisely what she judges she should not do, suggests that strength of will is an executive virtue, and that being weak-willed is just one way (among others) in which a person can fail to manifest this virtue. (shrink)

Naturalism has typically been entangled with a physicalist view. Physicalism, on the other hand, falls short of accounting for qualitative states of mental phenomena. The hard problem of consciousness seems to be a natural epistemic boundary in such a way that we do not even have any conceptualization as to how we can possibly account for mental states in physicalist terms in the future, which leads us to some version of causal/ontological plurality in the sense that it does not seem (...) possible to explain everything with the same parameters even though the world fundamentally consists in a single substance. If plurality in multiple levels of scientific explanation is necessary, I argue that strong emergentism is, as a metaphysical framework, the best candidate to account for this fact. I will tackle two major physicalist views by Kim and Sider. Kim shows us that non-reductive physicalism is a bankrupt project whereas Sider’s physicalism that postulates a pure and complete fundamental level renders higher-level phenomena (including mental reality) metaphysically spurious. In relation to Kim and Sider’s accounts, I will try to elaborate on my view that physicalism, when pursued to the end, is inherently reductive and ultimately falls short of accounting for the mental reality. I emphasize that the causal identification of brain and mind rests on an arbitrary carving of world, namely a description of the world which cannot be intrinsic to nature. These are the main reasons why I conclude that our revised naturalism should be disentangled from physicalism and embrace the causal/ontological plurality of strong emergentism without falling for substance dualism. (shrink)

This paper develops an account of the meaning of `ought', and the distinction between weak necessity modals (`ought', `should') and strong necessity modals (`must', `have to'). I argue that there is nothing specially ``strong'' about strong necessity modals per se: uses of `Must p' predicate the (deontic/epistemic/etc.) necessity of the prejacent p of the actual world (evaluation world). The apparent ``weakness'' of weak necessity modals derives from their bracketing whether the necessity of the prejacent is verified in (...) the actual world. `Ought p' can be accepted without needing to settle that the relevant considerations (norms, expectations, etc.) that actually apply verify the necessity of p. I call the basic account a modal-past approach to the weak/strong necessity modal distinction (for reasons that become evident). Several ways of implementing the approach in the formal semantics/pragmatics are critically examined. The account systematizes a wide range of linguistic phenomena: it generalizes across flavors of modality; it elucidates a special role that weak necessity modals play in discourse and planning; it captures contrasting logical, expressive, and illocutionary properties of weak and strong necessity modals; and it sheds light on how a notion of `ought' is often expressed in other languages. These phenomena have resisted systematic explanation. In closing I briefly consider how linguistic inquiry into differences among necessity modals may improve theorizing on broader philosophical issues. (shrink)

An endomorphism on an algebra \ is said to be strong if it is compatible with every congruence on \; and \ is said to have the strong endomorphism kernel property if every congruence on \, other than the universal congruence, is the kernel of a strong endomorphism on \. Here we characterise the structure of those double MS-algebras that have this property by the way of Priestley duality.

According to strong pluralism, objects distinct by virtue of their modal properties can coincide. The most common objection towards such view invokes the so-called Grounding Problem according to which the strong pluralist needs to explain what the grounds are for supposed modal differences between the coincidents. As recognized in the literature, the failure to provide an answer to the Grounding Problem critically undermines the plausibility of strong pluralism. Moreover, there are strong reasons to believe that (...) class='Hi'>strong pluralists cannot provide an explanation of the Grounding Problem. In this paper, we argue that strong pluralism can be motivated independently of the successful answer to the Grounding Problem. In order to achieve that aim, we provide a haecceitistic interpretation of strong pluralism according to which strong pluralism should be read as a position committed to the existence of primitive individuals, i.e., the individuals that have their criteria of individuation independently of their qualitative profiles. That said, we do not aim at defending haecceitism. Instead, our aim is rather modest: we want to provide a new way for the strong pluralist to supplement his view to make it more watertight. (shrink)

Advocating a sociological explanation of scientific knowledge, David Bloor protests against the adherents of the autonomy of knowledge; i.e., those who asymmetrically explain the credibility of theories in the history of science. These philosophers and historians regard the credibility of true and rational theories due to their proper reasons, while accounting for the acceptance of false or irrational beliefs by citing social causes. Bloor assumes that the credibility of all beliefs is socially influenced, and therefore considers all in need of (...) sociological explanation. To substantiate this claim, he argues that all epistemic factors that are appealed to in explaining true or rational beliefs are really social. However, this argument aligns rational entities with social factors, and thus, undermines the ground of this division. Therefore, his prior complaint of the autonomy of knowledge would be invalidated. Hence, there is a conflict between Bloor’s objection to the asymmetrical explanation of scientific theories and his account of the social construction of epistemic reasons. In this paper, we reveal this concealed conflict and attempt to suggest ways to resolve it. (shrink)

This paper examines Charles Taylor’s claim that personal identity is a matter of strong evaluations. Strong evaluations are in this paper analyzed as stable preferences, which are strongly identified with and which are based on qualitative distinctions concerning the non-instrumental value of options. In discussing the role of strong evaluations in personal identity, the focus is on "self-identity", not on the criteria of personhood or on the logical relation of identity. Two senses of self-identity can be distinguished: (...) identity as practical orientation and identity as self-definition in a more encompassing sense. The former consists of one’s strong evaluations only, the latter is a more comprehensive notion, in which strong evaluations have a double role. Strong evaluations are first of all directly a constituent of self-definitions, and secondly, self-definition with respect to other features proceeds in the light of the strong evaluations. (shrink)

The causal efficacy of a material system is usually thought to be produced by the law-like actions and interactions of its constituents. Here, a specific system is constructed and explained that produces a cause that cannot be understood in this way, but instead has novel and autonomous efficacy. The construction establishes a proof-of-feasibility of strong emergence. The system works by utilizing randomness in a targeted and cyclical way, and by relying on sustained evolution by natural selection. It is not (...) vulnerable to standard arguments against strong emergence, in particular ones that assume that the physical realm is causally closed. Moreover, it does not suffer from epiphenomenalism or causal overdetermination. The system uses only standard material components and processes, and is fully consistent with naturalism. It is discussed whether the emergent cause can still be viewed as ‘material’ in the way that term is commonly understood. (shrink)

A crucial question for both philosophy and for science concerns the kind of relationship that obtains between entities—objects, properties, states, processes, kinds and so on—that exist at apparently higher and lower ‘levels’ of reality. According to reductionism, seeming higher-level entities can in fact be fully accounted for by more fundamental, lower-level entities. Conversely, emergentists of various stripes hold that whilst higher-level entities depend in some important sense on lower-level entities, they are nevertheless irreducible to them. This introductory paper outlines the (...) context of the debate between emergentists and reductionists; offers a broad characterisation of ‘strong’ or ontological emergence, and provides summaries of each of the papers to come in this special issue. (shrink)

Un gran número de comentaristas de Foucault afirman que la biopolítica forma parte de manera fundamental del corpus de su obra. La discusión acerca de esta noción está imbricada en la política contemporánea, pero dicha interpretación se aleja de las ideas mismas de Foucault. En ese sentido, ¿en qué consisten esas modificaciones que se desprenden de la obra foucaultiana? ¿Se trata de movimientos propios de la noción o de innovaciones investigativas ulteriores? ¿Existe una lógica que sigue el concepto y si (...) es así qué lógica interna juega esta noción dentro del pensamiento del filósofo francés? La biopolítica se comprende a partir del sentido y significado de la vida en los siglos XVIII-XIX y, de esa manera, en torno a la estrategia política que circula en esos siglos. Una relación entre la política y la biopolítica o, si se prefiere, un problema discontinuo, es decir, una relación que intenta unir áreas que hasta ahora no han sido consideradas: la discontinuidad y la misma biopolítica. ¿Es posible considerar la biopolítica como un problema discontinuo y como un método en el que la discontinuidad es preeminente? Es una pregunta que pretendemos desplegar en este trabajo. (shrink)

The dissertation has two parts, each dealing with a problem, namely: 1) What is the most adequate account of fuzziness -the so-called phenomenon of vagueness?, and 2) what is the most plausible solution to the sorites, or heap paradox? I will try to show that fuzzy properties are those which are gradual, amenable to be possessed in a greater or smaller extent. Acknowledgement of degrees in the instantiation of a property allows for a gradual transition from one opposite to the (...) other, each intermediate stage constituting an overlap in certain proportion of both contraries. Hence, degrees in the possession of a property give rise to simple contradictions. The reason why I have chosen those two questions is that they provide the main philosophical motivation for a particular brand of an infinite valued and paraconsistent logic. I will claim that Classical logic (CL) is not adequate to handle fuzzy situations, and, being deficient, is in need of being expanded to make room for degrees of truth and weak contradictions. One can hardly deny the importance of the debate, since what is ultimately at stake is what the limits of truth, rationality, intelligibility and possibility are. The main disciplines within which the research moves are the philosophy of language, philosophy of logic, and ontology. (shrink)

Assertion is widely regarded as an act associated with an epistemic position. To assert is to represent oneself as occupying this position and/or to be required to occupy this position. Within this approach, the most common view is that assertion is strong: the associated position is knowledge or certainty. But recent challenges to this common view present new data that are argued to be better explained by assertion being weak. Old data widely taken to support assertion being strong (...) has also been challenged. This paper examines such challenges and finds them wanting. Far from diminishing the case for strong assertion, carefully considering new and old data reveals that assertion is as strong as ever. (shrink)

While other philosophers have pointed out that Libet's experiment is compatible with compatibilist free will and also with weak libertarian free will, this article argues that it is even compatible with strong libertarian free will (SLF), \ie a person's ability to initiate causal processes. Contrary to what Libet suggested, the actions in the experiment were motivated by urges. It is in accordance with SLF that the urges had preceding unconcious causes. Furthermore, Libet's observation that vetoing is possible confirmes SLF.