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)

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.

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 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)

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.

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)

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)

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.

dialectical frameworks have been introduced as a formalism for modeling argumentation allowing general logical satisfaction conditions and the relevant argument evaluation. Different criteria used to settle the acceptance of arguments are called semantics. Semantics of ADFs have so far mainly been defined based on the concept of admissibility. However, the notion of strongly admissible semantics studied for abstract argumentation frameworks has not yet been introduced for ADFs. In the current work we present the concept of strong admissibility of interpretations (...) for ADFs. Further, we show that strongly admissible interpretations of ADFs form a lattice with the grounded interpretation as the maximal element. We also present algorithms to answer the following decision problems: whether a given interpretation is a strongly admissible interpretation of a given ADF, and whether a given argument is strongly acceptable/deniable in a given interpretation of a given ADF. In addition, we show that the strongly admissible semantics of ADFs forms a proper generalization of the strongly admissible semantics of AFs. (shrink)

This note evaluates the claim of Steven Pinker in The Better Angels of Our Nature that the advent of strong states led to a decline in violence. I test this claim in the modern context, measuring the effect of the strength of government in lower-income countries on reductions in homicide rates. The strength of government is measured using Polity IV, Worldwide Governance Indicators, and government consumption as a percentage of GDP. The data do not support Pinker’s hypothesis.

The article deals with a pivotal conceptual distinction employed in philosophical discussions about global justice. Cosmopolitans claim that arguing from the perspective of moral cosmopolitanism does not necessarily entail defending a global coercive political authority, or a "world-state", and suggest that ambitious political and economic (social) goals implied in moral cosmopolitanism may be achieved via some kind of non-hierarchical, dispersed and/or decentralised institutional arrangements. I argue that insofar as moral cosmopolitans retain "strong" moral claims, this is an untenable position, (...) and that the goals of cosmopolitan justice, as explicated by its major proponents, require nothing less than a global state-like entity with coercive powers. My background ambition is to supplement some existing works questioning the notion of "governance without government" with an argument that goes right to the conceptual heart of cosmopolitan thought. To embed my central theoretical argument in real-world developments, I draw on some recent scholarship regarding the nature of international organizations, European Union, or transnational democratization. Finally I suggest that only after curbing moral aspirations in the first place can a more self-consciously moderate position be constructed, one that will carry practical and feasible implications for institutional design. (shrink)

Future-bias is the preference, all else being equal, for negatively valenced events be located in the past rather than the future, and positively valenced ones to be located in the future rather than the past. Strong risk aversion is the preference to pay some cost to mitigate the badness of the worst outcome. People who are both strongly risk averse and future-biased can face a series of choices that will guarantee them more pain, for no compensating benefit: they will (...) be pain pumped. Thus, combining these preferences is rationally impermissible. Dougherty (2011) argues that this gives us reason to think that future-bias is rationally impermissible. This argument, and a similar one presented by Greene and Sullivan (2015), relies on the idea that if several preferences are not rationally combinable, then in the absence of some explanation of why they are not combinable, we should conclude that (at least) one of them is rationally impermissible. We take up this question by, inter alia, reflecting on the empirical results of a study we ran that probes people’s risk averse and future-biased preferences. We argue that the data, in conjunction with other considerations, suggests that we should not infer from the irrationality of the combination of these preferences to the irrationality of one of the preferences singly. We also argue that given the descriptive data about these preferences, there is no reason to think that, if one of them is rationally impermissible, then it is future-bias. (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)

We discuss models that attempt to provide an explanation for the violation of Bell inequalities at a distance in terms of hidden influences. These models reproduce the quantum correlations in most situations, but are restricted to produce local correlations in some configurations. The argument presented in (Bancal et al. Nat Phys 8:867, 2012) applies to all of these models, which can thus be proved to allow for faster-than-light communication. In other words, the signalling character of these models cannot remain hidden.

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

In this paper I defend an eudaimonistic reading of Spinoza’s ethical philosophy. Eudaimonism refers to the mainstream ethical tradition of the ancient Greeks, which considers happiness a naturalistic, stable, and exclusively intrinsic good. Within this tradition, we can also draw a distinction between weak eudaimonists and strong eudaimonists. Weak eudaimonists do not ground their ethical conceptions of happiness in complete theories of metaphysics, epistemology, or psychology. Strong eudaimonists, conversely, build their conceptions of happiness around an overall philosophical system (...) that extends far beyond ethics, while nevertheless being directed at the promotion of a happy life. I will show that Spinozistic happiness is not only naturalistic, stable, and exclusively intrinsically good, but that Spinoza is also a strong eudaimonist because his ethical account of happiness is incomprehensible without appeal to metaphysical, epistemological, and psychological doctrines. As well, I will explain how the apparent subjective and relativistic features of Spinoza’s ethics do not undermine the eudaimonistic reading, because both Spinoza and the ancient eudaimonists grant that the beliefs/feelings of the subject play a necessary (but insufficient) role in happiness as the highest good. (shrink)

Strong Composition as Identity is the thesis that necessarily, for any xs and any y, those xs compose y iff those xs are non-distributively identical to y. Some have argued against this view as follows: if some many things are non-distributively identical to one thing, then what’s true of the many must be true of the one. But since the many are many in number whereas the one is not, the many cannot be identical to the one. Hence is (...) mistaken. Although I am sympathetic to this objection, in this paper, I present two responses on behalf of the theorist. I also show that once the defender of accepts one of these two responses, that defender will be able to answer The Special Composition Question. (shrink)

In the trust-health relationship, how trusting other people in society may promote good health is a topic often examined. However, the other direction of influence – how health may affect trust – has not been well explored. In order to investigate this possible effect, we employed Bayesian Mindsponge Framework (BMF) analytics to go deeper into the information processing mechanisms underlying the expressions of trust. Conducting Bayesian analysis on a dataset of 1237 residents from Cali, Colombia, we found that general health (...) status is positively associated with generalized trust, but recent experiences of illnesses/injuries have a negative moderating effect. Personalized trust is largely unchanged across different general health conditions, but the trust level becomes higher with recent experiences of illnesses/injuries. Psychophysiological mechanisms of increasing information filtering intensity toward unfamiliar sources during a vulnerable state of health is a plausible explanation of found patterns in generalized trust. Because established personal relationships are reinforced information channels, personalized trust is not affected as much. Rather, the results suggest that people may rely even more on loved ones when they are in bad health conditions. This exploratory study shows that the trust-health relationship can be examined from a different angle that may provide new insights. (shrink)

The Aristotelian view of universals, according to which each universal generically depends for its existence on its instantiations, has recently come under attack by a series of ground-theoretic arguments. The last such arguments, presented by Raven, promises to offer several significant improvements over its predecessors, such as avoiding commitment to the transitivity of ground and offering new reasons for the metaphysical priority of universals over their instantiations. In this paper, we argue that Raven's argument does not effectively avoid said commitment (...) and that Raven's new reasons fail. Moreover, we present a novel ground-theoretic interpretation of the Aristotelian view, referred to as strong immanence, and introduce a new argument against the Aristotelian view, intended to sidestep any commitment to the transitivity of ground. (shrink)

The general idea of strong foundationalism is that knowledge has a foundation in well warranted beliefs which do not derive any warrant from other beliefs and that all our other beliefs depend on these foundational ones for their warrant. Although inerrancy posits Scripture as a solid foundation for theology, the idea that the doctrine of biblical inerrancy involves a strong foundationalist epistemology is deeply problematic. In fact, inerrancy does not require any particular view of the structure of knowledge, (...) and notable sources on inerrancy tout it in ways inconsistent with most forms of strong foundationalism. (shrink)

Dissident circles during the Czechoslovak communist regime were organized in semi-private islands of resistance. They saw themselves as a parallel polis in line with Arendt’s notion of political action by pursuing “life in truth,” authentic experience, and ultimately freedom. The heroes of these circles were that society’s pariahs. In their quest for authenticity, they turned to the past to find meaning, to understand the nature of their communities and the needs for political action towards the future. As such, they sought (...) what Heidegger would label authentic public interpretations. After 1989, these heroes shaped and adapted to the constitutional design of the new polis and often experienced a transformation from pariah to inauthentic hero to at least the potential to become strong man, maintaining varying degrees of authenticity. (shrink)

Teleosemantics explains mental representation in terms of biological function and selection history. One of the main objections to the account is the so-called ‘Swampman argument’ (Davidson 1987), which holds that there could be a creature with mental representation even though it lacks a selection history. A number of teleosemanticists reject the argument by emphasising that it depends on assuming a creature that is fi ctitious and hence irrelevant for teleosemantics because the theory is only concerned with representations in real-world organisms (...) (Millikan 1996, Neander 1996, 2006, Papineau 2001, 2006). I contend that this strategy doesn’t succeed. I off er an argument that captures the spirit of the original Swampman objection but relies only on organisms found in the actual world. Th e argument undermines the just mentioned response to the Swampman objection, and furthermore leads to a particular challenge to strong representationalist theories of consciousness that endorse teleosemantics such as, e.g., Dretske’s (1995) and Tye’s (1995, 2000) accounts. On these theories, the causal effi cacy of consciousness in actual creatures will be undermined. (shrink)

The paper presents, a new large deviations principles (SLDP) of non-Freidlin-Wentzell type, corresponding to the solutions Colombeau-Ito’s SDE. Using SLDP we present a new approach to construct the Bellman function ????(????, ????) and optimal control ????(????, ????) directly by way of using strong large deviations principle for the solutions Colombeau-Ito’s SDE. As important application such SLDP, the generic imperfect dynamic models of air-to-surface missiles are given in addition to the related simple guidance law. A four, examples have been illustrated (...) proposed approach and corresponding numerical simulations have been illustrated and analyzed. Using SLDP approach, Jumps phenomena, in financial markets, also is considered. Jumps phenomena, in financial markets is explained from the first principles, without any reference to Poisson jump process. In contrast with a phenomenological approach we explain such jumps phenomena from the first principles, without any reference to Poisson jump process. (shrink)

Quine is routinely perceived as having changed his mind about the scope of the Duhem-Quine thesis, shifting from what has been called an 'extreme holism' to a more moderate view. Where the Quine of 'Two Dogmas of Empiricism' argues that “the unit of empirical significance is the whole of science” (1951, 42), the later Quine seems to back away from this “needlessly strong statement of holism” (1991, 393). In this paper, I show that the received view is incorrect. I (...) distinguish three ways in which Quine's early holism can be said to be wide-scoped and show that he has never changed his mind about any one of these aspects of his early view. Instead, I argue that Quine's apparent change of mind can be explained away as a mere shift of emphasis. (shrink)

I apply Kooi and Tamminga's (2012) idea of correspondence analysis for many-valued logics to strong three-valued logic (K3). First, I characterize each possible single entry in the truth-table of a unary or a binary truth-functional operator that could be added to K3 by a basic inference scheme. Second, I define a class of natural deduction systems on the basis of these characterizing basic inference schemes and a natural deduction system for K3. Third, I show that each of the resulting (...) natural deduction systems is sound and complete with respect to its particular semantics. Among other things, I thus obtain a new proof system for Lukasiewicz's three-valued logic. (shrink)