On Don Marquis’s future of value account of the wrongness of killing, ‘what makes it wrong to kill those individuals we all believe it is wrong to kill, is that killing them deprives them of their future of value’. Marquis has recently argued for a narrow interpretation of his future of value account of the wrongness of killing and against the broad interpretation that I had put forward in response to Carson Strong. In this article I argue that (...) the narrow view is problematic because it violates some basic principles of equality and because it allows for some of the very killing that Marquis sets out to condemn; further, I argue that the chief reason why Marquis chooses the narrow view over the broad view – namely that the broad view would take the killing of some nonhuman animals to be also wrong – should rather be considered a welcome upshot of the broad view. (shrink)

Albert Jonsen and Stephen Toulmin have argued that the best way to resolve complex “moral” issues in clinical settings is to focus on the details of specific cases. This approach to medical decision-making, labeled ‘casuistry’, has met with much criticism in recent years. In response to this criticism, Carson Strong has attempted to salvage much of Jonsen’s and Toulmin’s version of casuistry. He concludes that much of their analysis, including Jonsen’s further elaboration about the casuistic methodology, is on (...) the mark. In this essay, the details of Jonsen’s and Toulmin’s version of casuistry and the major criticisms against their approach to clinical decision-making are explicated. Furthermore, it is argued that Strong’s salvage efforts fail to deflect these criticisms. The upshot of this analysis, which includes a few additional criticisms, is that Jonsen’s and Toulmin’s version of casuistry is not an appropriate framework from which to resolve complex “moral” issues in clinical settings. (shrink)

This paper takes a critical examination at selected works by 20th century philosophers Gilles Deleuze and Félix Guattari. I argue that, far from arcane, distant, inaccessible concepts, the selected Marxist ideas presented in their immanent critiques provide priceless insight into how fascism, in all forms, permeates every stretch of society. Understanding how these events occur, called micro- and macro-fascism, and how they are mediated through our beliefs and desires, can allow for us to resist transcendent theories of desire and modes (...) and politics, and towards a mode of immanence, one that is always critiquing itself, and always resisting fascism. (shrink)

As a contribution to a wider discussion on moral discernment in theological anthropology, this paper seeks to answer the question “What is the impact of mental illness on an individual’s ability to make moral decisions?” Written from a clinical psychiatric perspective, it considers recent contributions from psychology, neuropsychology and imaging technology. It notes that the popular conception that mental illness necessarily robs an individual of moral responsibility is largely unfounded. Most people who suffer from mental health problems do not lose (...) the capacity to make moral decisions, and mental illness on its own rarely explains anti-social or criminal behaviour. Moreover, the assumptions of some scientists, that recent developments in neuropsychology and brain imaging suggest biological determinism, must be treated with caution. (shrink)

In this paper, I discuss the connection between happiness and reason in the work of Herder, Kant, and Hegel. First, I consider Herder’s integration of satisfaction and rationality and Kant’s complete separation of rational imperatives from particular experience. I discuss Kant’s critique of Herder as arbitrary and overly reliant on analogy. I then turn to Hegel’s response to this debate. I argue that Hegel’s Phenomenology provides an integration of happiness and reason that is not subject to the same pitfalls as (...) Herder’s solution. I examine two examples of rational critique in the Phenomenology and conclude with brief remarks about happiness and the rational society in Hegel’s work. (shrink)

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)

How accurate is Kevin Carson’s characterization of “freed” markets? Carson, a left-libertarian “free market anti-capitalist,” portrays free markets as so radically different from actually-existing markets that they are almost unrecognizable. In The Homebrew Industrial Revolution: A Low Overhead Manifesto, he provides an alternative history of industrialization that argues that large-scale industrial organization and production are largely creatures of state intervention and that truly free markets would be characterized mainly by small-scale production for local markets. This paper evaluates (...) class='Hi'>Carson’s narrative in order to determine whether his vision of the freed market is credible. I find that Carson fails to provide sufficient evidence to demonstrate that, but for government intervention, national markets would only exist for a few goods. Furthermore, many of the features he believes freed markets would possess are based on fallacious views of competition, knowledge, capital, and entrepreneurship. (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)

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 a world like ours. In this paper, I show that it can be achieved in a simple way and (...) discuss its implications for metaphysics and philosophy of science, including natural properties, free will, explanation, and modality. First, I propose a precise definition of strong determinism. Next, I discuss its philosophical ramifications and a toy example. Finally, I provide a realistic example of a strongly deterministic (and simple) physical theory---the Everettian Wentaculus. A surprising consequence is that whether or not our world is strongly deterministic may be empirically underdetermined. (shrink)

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)

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)

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.

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)

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)

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)

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

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)

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)

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.

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)

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)

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)

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)

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)

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.

Public reason liberalism demands that political decisions be publicly justified to the citizens who are subjected to them. Much recent literature emphasises the differences between the two main interpretations of this requirement, justificatory and political liberalism. In this paper, I show that both views share structural democratic deficits. They fail to guarantee political autonomy, the expressive quality of law, and the justification to citizens, because they allow collective decisions made by incompletely theorised agreements. I argue that the result can only (...) be avoided by changing public reason’s role in collective decision-making. Instead of incompletely theorised agreements, we should demand agreement both on the public reasons themselves and on the other premises that justify political decisions. In this way, it is always possible to point to a procedure-independent reason that justifies democratic decisions, and the reasoning of the state is public and contestable. Finally, I explain how this, in turn, implies that only political liberalism can be rescued—by accepting what I will call strong political liberalism. Modifying justificatory liberalism in the necessary way will inevitably open the door to an objectionable form of perfectionism. (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.

In “A Tension in the Strong Program: The Relation between the Rational and the Social”, Shahram Shahryari (2021) advances the following thesis: In his Strong Program in the sociology of science, David Bloor blames traditional philosophy of science for adopting a dualist strategy in explaining scientific developments, as it employs rational explanation for successful science and social explanation for flawed science. Instead, according to Bloor, all scientific developments should be explained monistically, i.e. in terms of social causes. This (...) is also referred to as the Symmetry Principle, and it is a key tenet in the Strong Program. The author detects a tension here, as Bloor apparently asserts that traditional philosophy of science deploys two kinds of explanation, and simultaneously insists that there is only one kind, i.e. social explanation. (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 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.

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)

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)

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)

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)

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)

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

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)

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.

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)

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)

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 main objective of this PhD Thesis is to present a method of obtaining strong normalization via natural ordinal, which is applicable to natural deduction systems and typed lambda calculus. The method includes (a) the definition of a numerical assignment that associates each derivation (or lambda term) to a natural number and (b) the proof that this assignment decreases with reductions of maximal formulas (or redex). Besides, because the numerical assignment used coincide with the length of a specific sequence (...) of reduction - the worst reduction sequence - it is the lowest upper bound on the length of reduction sequences. The main commitment of the introduced method is that it is constructive and elementary, produced only through analyzing structural and combinatorial properties of derivations and lambda terms, without appeal to any sophisticated mathematical tool. Together with the exposition of the method, it is presented a comparative study of some articles in the literature that also get strong normalization by means we can identify with the natural ordinal methods. Among them we highlight Howard[1968], which performs an ordinal analysis of Godel’s Dialectica interpretation for intuitionistic first order arithmetic. We reveal a fact about this article not noted by the author himself: a syntactic proof of strong normalization theorem for the system of typified lambda calculus λ⊃ is a consequence of its results. This would be the first strong normalization proof in the literature. (written in Portuguese). (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)