This paper advocates for a general policy of penal leniency: judges should often sentence offenders to a punishment less severe than initially preferred. The argument’s keystone is the relatively uncontroversial Minimal Invasion Principle (MIP). MIP says that when more than one course of action satisfies a state’s legitimate aim, only the least invasive is permissibly pursued. I contend that MIP applies in two common sentencing situations. In the first, all sentences within a statutorily specified range are equally (...) proportionate. Here MIP applies directly. In the second, judges reasonably believe that one of the sentences within the range is the most proportionate, but can’t identify it with any certainty. In these cases of sentencing uncertainty, judges must be indifferent between their preferred sentence and a softer one, and this indifference triggers MIP. MIP thus frequently mandates some degree of leniency. I conclude with some comments on statistical uncertainty. (shrink)

In this essay I suggest that we view design principles in systems biology as minimal models, for a design principle usually exhibits universal behaviors that are common to a whole range of heterogeneous (living and nonliving) systems with different underlying mechanisms. A well-known design principle in systems biology, integral feedback control, is discussed, showing that it satisfies all the conditions for a model to be a minimal model. This approach has significant philosophical implications: it not only (...) accounts for how design principles explain, but also helps clarify one dispute over design principles, e.g., whether design principles provide mechanistic explanations or a distinct kind of explanations called design explanations. (shrink)

Most current techniques to deal with invasive species are ineffective or have highly damaging side effects. To this end suppression-drives based on clustered regularly inter-spaced short palindromic repeats (CRISPR/Cas9) have been touted as a potential silver bullet for the problem, allowing for a highly focused, humane and cost-effective means of removing a target species from an environment. Suppression-drives come with serious risks, however, such that the precautionary principle seems to warrant us not deploying this technology. The focus of this (...) paper is on one such risk – the danger of a suppression-drive escaping containment and wiping out the target species globally. Here, I argue that in most cases this risk is significant enough to warrant not using a gene-drive. In some cases, however, we can bypass the precautionary principle by using an approach that hinges on what I term the ‘Worst-Case Clause’. This clause, in turn, provides us with a litmus test that can be fruitfully used to determine what species are viable targets for suppression-drives in the wild. Using this metric in concert with other considerations, I suggest that only three species are currently possible viable targets – the European rabbit, ship rat and Caribbean Tree Frog. (shrink)

Minimal Negation is defined within the basic positive relevance logic in the relational ternary semantics: B+. Thus, by defining a number of subminimal negations in the B+ context, principles of weak negation are shown to be isolable. Complete ternary semantics are offered for minimal negation in B+. Certain forms of reductio are conjectured to be undefinable (in ternary frames) without extending the positive logic. Complete semantics for such kinds of reductio in a properly extended positive logic are offered.

According to a well-known view in the philosophy of mind, intentional attitudes by their very nature satisfy requirements of rationality (e.g. Davidson 1980; Dennett 1987; Millar 2004). This view (which I shall call Constitutivism) features prominently as the ‘principle of minimal rationality’ in de Sousa’s monograph The Rationality of Emotion (1987). By explicating this principle in terms of the notion of the formal object of an attitude, de Sousa articulates an interesting and original version of Constitutivism, which (...) differs in important respects from other extant versions. In this paper, I explore this version of Constitutivism against the background of recent developments in the theory of rationality and make explicit its ramifications for the long-standing dispute over whether the mind is essentially normative. My focus will be on how to conceive of the form of the rationality requirements that attitudes as such must satisfy according to this principle. I argue that, although de Sousa seems officially to endorse a structuralist conception of rationality, according to which these requirements are requirements of coherence, his considerations on formal objects suggest that they are more aptly conceived in terms of a reasons-responsive conception of rationality. I further argue that which of these two readings we choose makes a significant difference to the prospect of vindicating the essential normativity of mind by invoking the principle of minimal rationality. (shrink)

I propose a minimal account of authorship that specifies the fundamental nature of the author-relation and its minimal domain composition in terms of a three-place causal-intentional relation holding between agents and sort-relative works. I contrast my account with the minimal account tacitly held by most authorship theories, which is a two-place relation holding between agents and works simpliciter. I claim that only my view can ground productive and informative principled distincitons between collective production and collective authorship.

Minimal entities are, roughly, those that fall under notions defined by only deflationary principles. In this paper I provide an accurate characterization of two types of minimal entities: minimal properties and minimal facts. This characterization is inspired by both Schiffer's notion of a pleonastic entity and Horwich's notion of minimal truth. I argue that we are committed to the existence of minimal properties and minimal facts according to a deflationary notion of existence, and (...) that the appeal to the inferential role reading of the quantifiers does not dismiss this commitment. I also argue that deflationary existence is language-dependent existence—this clarifies why minimalists about properties and facts are not realists about these entities though their language may appear indistinguishable from the language of realists. (shrink)

We introduce a realist, unextravagant interpretation of quantum theory that builds on the existing physical structure of the theory and allows experiments to have definite outcomes but leaves the theory’s basic dynamical content essentially intact. Much as classical systems have specific states that evolve along definite trajectories through configuration spaces, the traditional formulation of quantum theory permits assuming that closed quantum systems have specific states that evolve unitarily along definite trajectories through Hilbert spaces, and our interpretation extends this intuitive picture (...) of states and Hilbert-space trajectories to the more realistic case of open quantum systems despite the generic development of entanglement. We provide independent justification for the partial-trace operation for density matrices, reformulate wave-function collapse in terms of an underlying interpolating dynamics, derive the Born rule from deeper principles, resolve several open questions regarding ontological stability and dynamics, address a number of familiar no-go theorems, and argue that our interpretation is ultimately compatible with Lorentz invariance. Along the way, we also investigate a number of unexplored features of quantum theory, including an interesting geometrical structure—which we call subsystem space—that we believe merits further study. We conclude with a summary, a list of criteria for future work on quantum foundations, and further research directions. We include an appendix that briefly reviews the traditional Copenhagen interpretation and the measurement problem of quantum theory, as well as the instrumentalist approach and a collection of foundational theorems not otherwise discussed in the main text. (shrink)

Agents know some but not all logical consequences of what they know. Agents seem to be neither logically omniscient nor logically incompetent. Yet finding an intermediate standard of minimal rationality has proven difficult. In this paper, I take suggestions found in the literature (Lewis, 1988; Hawke, Özgün and Berto, 2020; Plebani and Spolaore, 2021) and join the forces of subject matter and impossible worlds approaches to devise a new solution to this quandary. I do so by combining a space (...) of FDE worlds (Berto and Jago, 2019) with a Lewisian (1988) understanding of subject matters as partitions. By doing so, I show how subject matters impose some order in the anarchic space of FDE worlds, while the worlds allow for distinctions between contents which would not otherwise be available. Combining the two approaches, then, brings us closer to the desired closure principles for knowledge of minimally rational agents. (shrink)

Agents know some but not all logical consequences of what they know. Agents seem to be neither logically omniscient nor logically incompetent. Yet finding an intermediate standard of minimal rationality has proven difficult. In this paper, I take suggestions found in the literature (Lewis, 1988; Hawke, Özgün and Berto, 2020; Plebani and Spolaore, 2021) and join the forces of subject matter and impossible worlds approaches to devise a new solution to this quandary. I do so by combining a space (...) of FDE worlds (Berto and Jago, 2019) with a Lewisian (1988) understanding of subject matters as partitions. By doing so, I show how subject matters impose some order in the anarchic space of FDE worlds, while the worlds allow for distinctions between contents which would not otherwise be available. Combining the two approaches, then, brings us closer to the desired closure principles for knowledge of minimally rational agents. (shrink)

Formulations of Mill's principle of utility are examined, and it is shown that Mill did not recognize a moral obligation to maximize the good, as is often assumed. His was neither a maximizing act nor rule utilitarianism. It was a distinctive minimizing utilitarianism which morally obligates us only to abstain from inflicting harm, to prevent harm, to provide for others minimal essentials of well being (to which rights correspond), and to be occasionally charitable or benevolent.

We summarize a new realist, unextravagant interpretation of quantum theory that builds on the existing physical structure of the theory and allows experiments to have definite outcomes but leaves the theory's basic dynamical content essentially intact. Much as classical systems have specific states that evolve along definite trajectories through configuration spaces, the traditional formulation of quantum theory permits assuming that closed quantum systems have specific states that evolve unitarily along definite trajectories through Hilbert spaces, and our interpretation extends this intuitive (...) picture of states and Hilbert-space trajectories to the more realistic case of open quantum systems despite the generic development of entanglement. Our interpretation—which we claim is ultimately compatible with Lorentz invariance—reformulates wave-function collapse in terms of an underlying interpolating dynamics, makes it possible to derive the Born rule from deeper principles, and resolves several open questions regarding ontological stability and dynamics. (shrink)

Despite the importance of the variational principles of physics, there have been relatively few attempts to consider them for a realistic framework. In addition to the old teleological question, this paper continues the recent discussion regarding the modal involvement of the principle of least action and its relations with the Humean view of the laws of nature. The reality of possible paths in the principle of least action is examined from the perspectives of the contemporary metaphysics of modality (...) and Leibniz's concept of essences or possibles striving for existence. I elaborate a modal interpretation of the principle of least action that replaces a classical representation of a system's motion along a single history in the actual modality by simultaneous motions along an infinite set of all possible histories in the possible modality. This model is based on an intuition that deep ontological connections exist between the possible paths in the principle of least action and possible quantum histories in the Feynman path integral. I interpret the action as a physical measure of the essence of every possible history. Therefore only one actual history has the highest degree of the essence and minimal action. To address the issue of necessity, I assume that the principle of least action has a general physical necessity and lies between the laws of motion with a limited physical necessity and certain laws with a metaphysical necessity. (shrink)

The Great Divide in metaphysical debates about laws of nature is between Humeans, who think that laws merely describe the distribution of matter, and non-Humeans, who think that laws govern it. The metaphysics can place demands on the proper formulations of physical theories. It is sometimes assumed that the governing view requires a fundamental / intrinsic direction of time: to govern, laws must be dynamical, producing later states of the world from earlier ones, in accord with the fundamental direction of (...) time in the universe. In this paper, we propose a minimal primitivism about laws of nature (MinP) according to which there is no such requirement. On our view, laws govern by constraining the physical possibilities. Our view captures the essence of the governing view without taking on extraneous commitments about the direction of time or dynamic production. Moreover, as a version of primitivism, our view requires no reduction / analysis of laws in terms of universals, powers, or dispositions. Our view accommodates several potential candidates for fundamental laws, including the principle of least action, the Past Hypothesis, the Einstein equation of general relativity, and even controversial examples found in the Wheeler-Feynman theory of electrodynamics and retrocausal theories of quantum mechanics. By understanding governing as constraining, non-Humeans who accept MinP have the same freedom to contemplate a wide variety of candidate fundamental laws as Humeans do. (shrink)

One of the classic debates in cognitive science is between nativism and empiricism about the development of psychological capacities. In principle, the debate is empirical. However, in practice nativist hypotheses have also been challenged for relying on an ill-defined, or even unscientific, notion of innateness as that which is “not learned”. Here this minimal conception of innateness is defended on four fronts. First, it is argued that the minimal conception is crucial to understanding the nativism-empiricism debate, when (...) properly construed; Second, various objections to the minimal conception—that it risks overgeneralization, lacks an account of learning, frustrates genuine explanations of psychological development, and fails to unify different notions of innateness across the sciences—are rebutted. Third, it is argued that the minimal conception avoids the shortcomings of primitivism, the prominent view that innate capacities are those that are not acquired via a psychological process in development. And fourth, the minimal conception undermines some attempts to identify innateness with a natural kind. So in short, we have little reason to reject, and good reason to accept, the minimal conception of innateness in cognitive science. (shrink)

The general tendency or attitude that Dreier 2004 calls creeping minimalism is ramping up in contemporary analytic philosophy. Those who entertain this attitude will take for granted a framework of deflationary or minimal notions – principally semantical1 and ontological – by means of which to analyse problems in different philosophical fields – e.g. theory of truth, metaethics, philosophy of language, the debate on realism and antirealism, etc. Let us call sweeping minimalist the philosopher affected by creeping minimalism. The framework (...) of minimal notions that the sweeping minimalist takes for granted encompasses, for instance, the concept of truth, reference, proposition, fact, individual, and property. Minimal notions are characterized in terms of general platitudinous principles expressed by schemata like the following (cf.: 26): ‘S’ is true if and only if S; ‘S’ is true if and only if ‘S’ corresponds to the facts; a has the property of being P if and only if a is P. Where ‘S’ and ‘a is P’ stand for sentences satisfying superficial constraints of truth-aptitude (i.e. sentences in declarative form subject to communally acknowledged standards of proper use), and.. (shrink)

Epistemic rationality is typically taken to be immodest at least in this sense: a rational epistemic state should always take itself to be doing at least as well, epistemically and by its own light, than any alternative epistemic state. If epistemic states are probability functions and their alternatives are other probability functions defined over the same collection of proposition, we can capture the relevant sense of immodesty by claiming that epistemic utility functions are (strictly) proper. In this paper I examine (...) what happens if we allow for the alternatives to an epistemic state to include probability functions with different domains. I first prove an impossibility result: on minimal assumptions, I show that there is no way of vindicating strong immodesty principles to the effect that any probability function should take itself to be doing at least as well than any alternative probability function, regardless of its domain. I then consider alternative, weaker generalizations of the traditional immodesty principle and prove some characterization results for some classes of epistemic utility functions satisfying each of the relevant principles. (shrink)

This paper makes a novel linkage between the multiple-computations theorem in philosophy of mind and Landauer’s principle in physics. The multiple-computations theorem implies that certain physical systems implement simultaneously more than one computation. Landauer’s principle implies that the physical implementation of “logically irreversible” functions is accompanied by minimal entropy increase. We show that the multiple-computations theorem is incompatible with, or at least challenges, the universal validity of Landauer’s principle. To this end we provide accounts of both (...) ideas in terms of low-level fundamental concepts in statistical mechanics, thus providing a deeper understanding of these ideas than their standard formulations given in the high-level terms of thermodynamics and cognitive science. Since Landauer’s principle is pivotal in the attempts to derive the universal validity of the second law of thermodynamics in statistical mechanics, our result entails that the multiple-computations theorem has crucial implications with respect to the second law. Finally, our analysis contributes to the understanding of notions, such as “logical irreversibility,” “entropy increase,” “implementing a computation,” in terms of fundamental physics, and to resolving open questions in the literature of both fields, such as: what could it possibly mean that a certain physical process implements a certain computation. (shrink)

In this paper, I present a new framework supporting the claim that some elements in science play a constitutive function, with the aim of overcoming some limitations of Friedman's (2001) account. More precisely, I focus on what I consider to be the gradualism implicit in Friedman's interpretation of the constitutive a priori, that is, the fact that it seems to allow for degrees of 'constitutivity'. I tease out such gradualism by showing that the constitutive character Friedman aims to track can (...) be captured by three features - namely, quasi-axiomaticity (QA), generative potential (GP), and empirical shielding (ES) - which are exhibited to a maximal degree by the examples Friedman deploys, particularly in his analysis of Newtonian mechanics. I argue that not all varieties of 'constitutivity' can be captured by the kind of gradualism implicit in Friedman's view, although developing the gradualism itself might provide useful insights. To show this, I analyse the function of the Hardy-Weinberg principle (HWP) in population genetics in terms of its QA, GP, and ES. Whereas the HWP does not count as constitutive in classical philosophical interpretations (Sober 1984), nor does it within Friedman's framework, it does nonetheless perform a minimally constitutive function. By means of historical details and considerations on the prospects of replacing the HWP, I show that the HWP is minimally constitutive by being a counterfactual instantiation of a paradigmatically constitutive stability principle, where the latter might itself be regarded as an enabling condition for a variety of modelling practices across the sciences. (shrink)

[1] You have a crystal ball. Unfortunately, it’s defective. Rather than predicting the future, it gives you the chances of future events. Is it then of any use? It certainly seems so. You may not know for sure whether the stock market will crash next week; but if you know for sure that it has an 80% chance of crashing, then you should be 80% confident that it will—and you should plan accordingly. More generally, given that the chance of a (...) proposition A is x%, your conditional credence in A should be x%. This is a chance-credence principle: a principle relating chance (objective probability) with credence (subjective probability, degree of belief). Let’s call it the Minimal Principle (MP). (shrink)

Are institutional principles of justice subject to a minimal realism constraint to the effect that, in order to be valid, they must not make wildly unrealistic demands? Most of us say “yes.” David Estlund says, “no.” However, while Estlund holds that 1) institutional principles of justice are not subject to a minimal realism constraint, he accepts that 2) institutional principles of justice are subject to an *attainability constraint* to the effect that, in order to be valid, they must (...) not make demands we are unable to meet; and 3) what he calls “institutional proposals” are subject to a minimal realism constraint. I argue that these three theses do not represent a plausible combination, at least given Estlund’s account of the principle/proposal distinction. Given this account, Estlund is either wrong to reject a minimal realism constraint on institutional principles of justice, or wrong to accept an attainability constraint on institutional principles of justice and/or a minimal realism constraint on institutional proposals. Either way, this has significant implications for the plausibility of his overall case against the minimal realism constraint on institutional principles of justice. (shrink)

This paper explores the issue of the unification of three languages of physics, the geometric language of forces, geometric language of fields or 4-dimensional space-time, and probabilistic language of quantum mechanics. On the one hand, equations in each language may be derived from the Principle of Least Action (PLA). On the other hand, Feynman's path integral method could explain the physical meaning of PLA. The axioms of classical and relativistic mechanics can be considered as consequences of Feynman's formulation of (...) quantum mechanics. (shrink)

For Merleau-Ponty, the question of phenomenological method was always connected to the problem of expression, in that the results of successful expression can for him amount to a catching of the world “in its nascent state”. In other words, elucidating the phenomena as they show themselves demands a certain amount of creativity to come through. But even though creative expression is without doubt of chief importance for Merleau-Ponty, it is not so easy to determine what exactly it consists in. Minimally, (...) it is more demanding than simply repeating an already formulated expression. On the other hand, it cannot start from nothing – we must begin within an existing tradition, with its acquired expressions, that we somehow take up and transform. A recurrent image of creative expression comes from Malraux, who claimed that it is a “coherent deformation” of what is given in the world. In this paper, I will use Saussure’s principle of analogy to throw light upon the notion of coherent deformation and of creativity. Although Merleau-Ponty merely mentions this principle in passing, I argue that it can clarify the productivity of language that he saw as crucial also for Saussure’s linguistics. (shrink)

Matthew Kramer has recently defended a novel justification for the death penalty, something he calls the purgative rationale. According to this rationale, the death penalty can be justifiably implemented if it is necessary in order to purge defilingly evil offenders from a moral community. Kramer claims that this rationale overcomes the problems associated with traditional rationales for the death penalty. Although Kramer is to be commended for carving out a novel niche in a well-worn dialectical space, I argue that his (...) rationale falls somewhat short of the mark. By his own lights, a successful justification of the death penalty must show that death is the minimally invasive, most humane means to some legitimate moral end. But even if we grant that his rationale picks out a legitimate moral end, there are at least three alternatives to death, either ignored or not fully considered by Kramer, which would seem to satisfy that end in a less invasive, more humane manner. (shrink)

The mythical bronze creature Talos (Greek: Τάλως) was worshiped initially as the god of light or the sun in the Hellenic Island of Crete. He is supposed to have lived in the peak Kouloukona of the Tallaia Mountains in the Gerontospelio cave. His relation towards bronze and fire and his continuous voyage circling the island of Crete most probably introduces the concept of the change of the four seasons. The sun was considered in the area of the South-East Mediterranean nations (...) as just judge, a guardian who monitors and judges from above all the actions of the commoners, a controller for the faithful application of laws in Crete [1]. Hesychios in his Lexicon notes that talos means sun and that the name Tallaios was initially attributed to Zeus [2]. The birth of the Olympian gods forged a new Pantheon and nomenclature forcing some of the old gods to fell into lower deities. This happened to Talos who soon became a mythical hero [1]. According to Apollodorus, the bronze creature was forged by the magnificent constructor Hephaestus as a gift to the mythical King Minoa to help him guard the island [3]. Although the verb “peritrohazo” (Greek: περιτροχαζω) was used, meaning a movement in a steady orbit (track), some depictions image him as a winged being. To protect the island, he was throwing rocks into unknown ships or in the case of a foreign landing he was burning with fire or with his flamed bronze body the intruders. He was holding copper plates with the laws of the island and his circle allowed him to pass all island sores three times daily [1,4-6]. Plato, speaks of him as a real person, suggesting he was the brother of King Rhadamanthys, thus a son of Zeus [5]. Talos may be considered as the token of the Cretan power, a symbol of technological development in the field of metalworking in prehistoric and Minoan times. An animated, programmed gigantic android to enforce its will. A primitive robot for basic actions having a power source, fire and ichor (Greek: ιχώρ) the sacred fluid in the vessels of the gods. The first manufactured being with his individual intelligence, a primary concept of artificial intelligence (AI) [7]. -/- Homer was the first to introduce the term automata (Greek: αυτόματα), to describe ingenious machines built by the supreme blacksmith god of invention and technology, God of metal and fire, Hephaestus, manufactured devices “acting of one’s own will” as the Hellenic word indicates [8]. Eons later, the humanoid automaton the “Automa cavaliere” (English: Automaton knight) appeared in the court of the nobleman and Duke of Milan Ludovico Maria Sforza. It was the year 1495, when Leonardo da Vinci presented his robotic knight, an innovative construction operated by a series of pulleys and cables, presenting though no individual mind. Although it was manufactured by a highly intelligent polymath, it could only be operated through an outer intelligence [9]. Advancements made during the Fourth Industrial Revolution allowed modern technology to manufacture intelligent machines to aid the field of invasive surgery. One of those most sophisticated devises is the da Vince Surgical Tower. -/- Launched in the setting of the 21st century, the DaVinci System is one of the most commonly employed tools/systems, which has prevailed in the field of robotic-assisted surgery [10]. One could claim that it practically reshaped the concept of surgery, providing doctors with immense capabilities, aiming towards the optimal post-operative outcome. Through visual augmentation, high resolution 3D video, enhanced precision and reduced complication rates [11] the DaVinci Si and the latest DaVinci Xi system have been implemented in a variety of surgeries, including but not limited to general, urologic, gynecologic, thoracic and even cardiac procedures; valve and coronary artery bypass graft operations [12,13]. Da Vinci is cleared globally for cardiosurgery and came in vogue to fulfill the dream of cardiac surgeons to operate in closet chest. It offers in patients the same benefits as those that open chest incision surgery procedures do [14]. -/- The more recent DaVinci Xi model was introduced to counteract commonly known drawbacks of the Si system, such as the inability to simultaneously manipulate the different abdominal quadrants [10]. It consists of four boom mounted robotic arms along with a mobile platform and a master console. The latter with the adaptable intraocular distance, the cushioned headrest, the modifiable arm bars and the flexible finger loops, is meticulously designed to meet the surgeon´s “demands” [12]. Every robotic arm has three degrees of freedom, which combined with the EndoWrist technology to imitate the delicate motion of the surgeon´s hand, acquires an extra seven degrees of freedom. Evidently, the combination of the user-friendly interface, the high-quality 3D intraoperative images, the multiple joints and sensors, as well as the surgeon himself, who can learn to handle the DaVinci Xi Surgical System in a relatively short period of time, has established the model in the surgical armamentarium, paving the way towards a continuously progressive future of minimally invasive and robotic surgery (Figure 1) [12]. -/- History testifies that the nomination of the AI surgical tower as da Vinci was wrongfully given to commemorate a majestic historical figure. It is clear that the mythical creature Talos which was fabricated by the ingenious god Hephaestus was the first true automaton in the line of AI origins. (shrink)

Sentences \(\varphi\) and \(\psi\) are _cognitive synonyms_ for one when they play the same role in one’s cognitive life. The notion is pervasive (Sect. 1 ), but elusive: it is bound to be hyperintensional (Sect. 2 ), but excessive fine-graining would trivialize it and there are reasons for some coarse-graining (Sect. 2.1 ). Conceptual limitations stand in the way of a natural algebra (Sect. 2.2 ), and it should be sensitive to subject matters (Sect. 2.3 ). A cognitively adequate individuation (...) of content may be intransitive (Sect. 3 ) due to ‘dead parrot’ series: sequences of sentences \(\varphi _1, \ldots, \varphi _n\) where adjacent \(\varphi _i\) and \(\varphi _{i+1}\) are cognitive synonyms while \(\varphi _1\) and \(\varphi _n\) are not (Sect. 3.1 ). Finding an intransitive account is hard: Fregean equipollence won’t do (Sect. 3.2 ) and a result by Leitgeb shows that it wouldn’t satisfy a minimal compositionality principle (Sect. 3.3 )._Sed contra_, there are reasons for transitivity, too (Sect. 3.4 ). In Sect. 4, we come up with a formal semantics capturing this jumble of desiderata, thereby showing that the notion is coherent. In Sect. 5, we re-assess the desiderata in its light. (shrink)

Should you be willing to forego any sure good for a tiny probability of a vastly greater good? Fanatics say you should, anti-fanatics say you should not. Anti-fanaticism has great intuitive appeal. But, I argue, these intuitions are untenable, because satisfying them in their full generality is incompatible with three very plausible principles: acyclicity, a minimal dominance principle, and the principle that any outcome can be made better or worse. This argument against anti-fanaticism can be turned into (...) a positive argument for a weak version of fanaticism, but only from significantly more contentious premises. In combination, these facts suggest that those who find fanaticism counterintuitive should favor not anti-fanaticism, but an intermediate position that permits agents to have incomplete preferences that are neither fanatical nor anti-fanatical. (shrink)

An exciting theory in neuroscience is that the brain is an organ for prediction error minimization. This theory is rapidly gaining influence and is set to dominate the science of mind and brain in the years to come. PEM has extreme explanatory ambition, and profound philosophical implications. Here, I assume the theory, briefly explain it, and then I argue that PEM implies that the brain is essentially self-evidencing. This means it is imperative to identify an evidentiary boundary between the brain (...) and its environment. This boundary defines the mind-world relation, opens the door to skepticism, and makes the mind transpire as more inferentially secluded and neurocentrically skull-bound than many would nowadays think. Therefore, PEM somewhat deflates contemporary hypotheses that cognition is extended, embodied and enactive; however, it can nevertheless accommodate the kinds of cases that fuel these hypotheses. (shrink)

The general hypothesis underlying this work is that mereology (the study of the relations between an entity and its parts) and topology (understood as the study of the qualitative relations of connection and compactness) may jointly constitute adequate grounds for the formal-ontological analysis of the world of ordinary experience. The analysis focuses on certain minimal (structural) principles on the basis of which different philosophical theories may be erected.

Philosophical and scientific investigations of the proprietary aspects of self—mineness or mental ownership—often presuppose that searching for unique constituents is a productive strategy. But there seem not to be any unique constituents. Here, it is argued that the “self-specificity” paradigm, which emphasizes subjective perspective, fails. Previously, it was argued that mode of access also fails to explain mineness. Fortunately, these failures, when leavened by other findings (those that exhibit varieties and vagaries of mineness), intimate an approach better suited to searching (...) for an explanation. Having an alternative in hand, one that shows promise of achieving explanatory adequacy, provides an additional reason to suspend the search for unique constituents. In short, a negative and a positive thesis are developed: we should cease looking for unique constituents and should seek to explain mineness in accord with the model developed here. This model rejects attempts to explain the phenomenon in terms of either a narrative or a minimal sense of self; it seeks to explain at a “molecular” level, one that appeals to multiple, interacting dimensions. The molecular-level model allows for the possibility that subjective perspective is distinct from a stark perspective (one that does not imply mineness). It proposes that the confounding of tacit expectations plays an important role in explaining mental ownership and its complement, disownership. But the confounding of tacit expectations is not sufficient. Because we are able to be aware of the existence of mental states that do not belong to self, we require a mechanism for determining degree of self-relatedness. One such mechanism is proposed here, and it is shown how this mechanism can be integrated into a general model of mental ownership. In the spirit of suggesting how this model might be able to help resolve outstanding problems, the question as to whether inserted thoughts belong to the patient who reports them is also considered. (shrink)

Information can be public among a group. Whether or not information is public matters, for example, for accounts of interdependent rational choice, of communication, and of joint intention. A standard analysis of public information identifies it with (some variant of) common belief. The latter notion is stipulatively defined as an infinite conjunction: for p to be commonly believed is for it to believed by all members of a group, for all members to believe that all members believe it, and so (...) forth. This analysis is often presupposed without much argument in philosophy. Theoretical entrenchment or intuitions about cases might give some traction on the question, but give little insight about why the identification holds, if it does. The strategy of this paper is to characterize a practical-normative role for information being public, and show that the only things that play that role are (variants of) common belief as stipulatively characterized. In more detail: a functional role for “taking a proposition for granted” in non-isolated decision making is characterized. I then present some minimal conditions under which such an attitude is correctly held. The key assumption links this attitude to beliefs about what is public. From minimal a priori principles, we can argue that a proposition being public among a group entails common commitment to believe among that group. Later sections explore partial converses to this result, the factivity of publicity and publicity from the perspective of outsiders to the group, and objections to the aprioricity of the result deriving from a posteriori existential presuppositions. (shrink)

The idea that the epistemology of modality is in some sense a priori is a popular one, but it has turned out to be difficult to precisify in a way that does not expose it to decisive counterexamples. The most common precisifications follow Kripke’s suggestion that cases of necessary a posteriori truth that can be known a priori to be necessary if true ‘may give a clue to a general characterization of a posteriori knowledge of necessary truths’. The idea is (...) that whether it is contingent whether p can be known a priori for at least some broad range of sentences ‘p’. Recently, Al Casullo and Jens Kipper have discussed restrictions of such principles to atomic sentences. We show that decisive counterexamples even to such dramatically restricted Kripke-style principles can be constructed using minimal logical resources. We then consider further restrictions, and show that the counterexamples to the original principles can be turned into counterexamples to the further restricted principles. We conclude that, if there are any true restrictions of Kripke-style principles, then they are so weak as to be of little epistemological interest. (shrink)

This paper considers the question of whether the influential distinction between levels of explanation introduced by David Marr can be used as a general framework for contemplating levels of explanation in cognitive sciences. Marr introduced three levels at which we can explain cognitive processes: the computational, algorithmic, and implementational levels. Some argue that Marr’s levels of explanation can only be applied to modular cognitive systems. However, since many psychological processes are non-modular, it seems that Marr’s levels of explanation cannot explain (...) such psychological processes. To show that the latter claim is not convincing, the paper draws upon an influential paradigm from cognitive sciences that is based on the principle of free energy. Based on this paradigm, the paper argues that even non-modular psychological processes can be computationally analyzed and algorithmically implemented. The conclusion of the paper is that, at least under the assumption that the func- tion of the mind is to minimize free energy, Marr’s levels of explanation can be successfully used as a general framework for understanding psychological processes at different levels of description. (shrink)

Abstract We examine the construction of electromagnetism in its current form, and in an alternative form, from a point of view that combines a minimal realism with strict rational demands. We begin by discussing the requests of reason when constructing a theory and next, we follow the historical development as presented in the record of original publications, the underlying epistemology (often explained by the authors) and the mathematical constructions. The historical construction develops along socio-political disputes (mainly, the reunification of (...) Germany and the second industrial revolution), epistemic disputes (at least two demarcations of science in conflict) and several theories of electromagnetism. Such disputes resulted in the militant adoption of the ether by some, a position that expanded in parallel with the expansion of Prussia. This way of thinking was facilitated by the earlier adoption of a standpoint that required, as a condition for understanding, the use of physical hypothesis in the form of analogies; an attitude that is antithetic to Newton's “hypotheses non fingo”. While the material ether was finally abandoned, the epistemology survived in the form of “substantialism” and a metaphysical ether: the space. The militants of the ether attributed certainties regarding the ether to Faraday and Maxwell, when they only expressed doubts and curiosity. Thus, the official story is not the real history. This was achieved by the operation of detaching Maxwell's electromagnetism from its construction and introducing a new game of formulae and interpretations. Large and important parts of Maxwell work are today not known, as for example, the rules for the transformation of the electromagnetic potentials between moving systems. When experiments showed that all the theories based in the material ether were incorrect, a new interpretation was offered: Special Relativity (SR). At the end of the transformation period a pragmatic view of science, well adapted to the industrial society, had emerged, as well as a new protagonist: the theoretical physicist. The rival theory of delayed action at distance initiated under the influence of Gauss was forgotten in the midst of the intellectual warfare. The theory is indistinguishable in formulae from Maxwell's and its earlier versions are the departing point of Maxwell for the construction of his equations. We show in a mathematical appendix that such (relational) theory can incorporate Lorentz' contributions as well as Maxwell's transformations and C. Neumann's action, without resource to the ether. Demarcation criteria was further changed at the end of the period making room for habits and intuitions. When these intuited criteria are examined by critical reason (seeking for the fundaments) they can be sharpened with the use of the Non Arbitrariness Principle, which throws light over the arbitrariness in the construction of SR. Under a fully rational view SR is not acceptable, it requires to adopt a less demanding epistemology that detaches the concept from the conception, such as Einstein's own view in this respect, inherited from Hertz. In conclusion: we have shown in this relevant exercise how the reality we accept depends on earlier, irrational, decisions that are not offered for examination but rather are inherited from the culture. (shrink)

The notion of implicit commitment has played a prominent role in recent works in logic and philosophy of mathematics. Although implicit commitment is often associated with highly technical studies, it remains so far an elusive notion. In particular, it is often claimed that the acceptance of a mathematical theory implicitly commits one to the acceptance of a Uniform Reflection Principle for it. However, philosophers agree that a satisfactory analysis of the transition from a theory to its reflection principle (...) is still lacking. We provide an axiomatization of the minimal commitments implicit in the acceptance of a mathematical theory. The theory entails that the Uniform Reflection Principle is part of one's implicit commitments, and sheds light on the reason why this is so. We argue that the theory has interesting epistemological consequences in that it explains how justified belief in the axioms of a theory can be preserved to the corresponding reflection principle. The theory also improves on recent proposals for the analysis of implicit commitment based on truth or epistemic notions. (shrink)

Uniformity in human actions and attitudes incumbent with the ceteris paribus clause of folk psychology lucidly transits moral thoughts into the domain of subject versus object-centric explorations. In Zettel, Wittgenstein argues, “Concepts with fixed limits would demand uniformity of behaviour, but where I am certain, someone else is uncertain. And that is the fact of nature.” (Wittgenstein 2007, 68). Reflecting on the moral principle of “ethical giving” revives a novel stance in modern moral philosophy. An “ethical giving” is a (...) moral position that looks at giving from the context of harmonizing the changing demands of situations with normative ethical principles. Despite giving more prominence to the query of intuition, the chapter brings up the justification of normative moral principles pertaining to their applications and purports. Human activities aimed at decision-making goals conducted by the moral compass are nothing but the sanction of certain ethical norms and rules. In this context, two principles, the normative aspect and the perspective aspect need to be expounded in parallel. The perspective-based principle seeks practical guides to action, whereas the normative aspect principle looks for the concrete moral justification behind it. Normatively based moral decisions hinge on the probabilities and interests of agents that can sometimes lead towards a better choice. Thomas Nagel’s thought sounds more appealing, since his idea of practical conflict bends towards “...conflict between values which are incomparable for reasons apart from uncertainty about the facts.” (Nagel 2013, 128). Positions on moral personality and equality of justice collide with the conception of verities of the agents’ reason that cogitate a minimal aspect on the morally significant properties (range properties), which can hardly be possessed by all human beings equally. This argument sounds reasonable in light of Singer’s thought of “the principle of equal consideration of interests.” (Singer 2003, 21–22) The concern of this section is deliberative about how an agent could balance the demand of moral situations and the spirit of the moral principle devoid of being close to the relative truth. The conception of the moral decision remains capricious in line with the agent’s mood, time, and situation. The germane queries are: (a) How could one get the simpliciter of moral balance in “ethical giving” or offering help to the poor, orphans, and so on, who need helps from the agents and society? (b) Can we find any universalized principle in defense of ethical giving? (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)

This paper argues that assessing personal responsibility in healthcare settings for the allocation of medical resources would be too privacy-invasive to be morally justifiable. In addition to being an inappropriate and moralizing intrusion into the private lives of patients, it would put patients’ sensitive data at risk, making data subjects vulnerable to a variety of privacy-related harms. Even though we allow privacy-invasive investigations to take place in legal trials, the justice and healthcare systems are not analogous. The duty of doctors (...) and healthcare professionals is to help patients as best they can—not to judge them. Patients should not be forced into giving up any more personal information than what is strictly necessary to receive an adequate treatment, and their medical data should only be used for appropriate purposes. Medical ethics codes should reflect these data rights. When a doctor asks personal questions that are irrelevant to diagnose or treat a patient, the appropriate response from the patient is: ‘none of your business’. (shrink)

Analysis of grip force signals tailored to hand and finger movement evolution and changes in grip force control during task execution provide unprecedented functional insight into somatosensory cognition. Somatosensory cognition is a basis of our ability to manipulate, move, and transform objects of the physical world around us, to recognize them on the basis of touch alone, and to grasp them with the right amount of force for lifting and manipulating them. Recent technology has permitted the wireless monitoring of grip (...) force signals recorded from biosensors in the palm of the human hand to track and trace human grip forces deployed in cognitive tasks executed under conditions of variable sensory (visual, auditory) input. Non-invasive multi-finger grip force sensor technology can be exploited to explore functional interactions between somatosensory brain mechanisms and motor control, in particular during learning a cognitive task where the planning and strategic execution of hand movements is essential. Sensorial and cognitive processes underlying manual skills and/or hand-specific (dominant versus non-dominant hand) behaviors can be studied in a variety of contexts by probing selected measurement loci in the fingers and palm of the human hand. Thousands of sensor data recorded from multiple spatial locations can be approached statistically to breathe functional sense into the forces measured under specific task constraints. Grip force patterns in individual performance profiling may reveal the evolution of grip force control as a direct result of cognitive changes during task learning. Grip forces can be functionally mapped to from-global-to-local coding principles in brain networks governing somatosensory processes for motor control in cognitive tasks leading to a specific task expertise or skill. Under the light of a comprehensive overview of recent discoveries into the functional significance of human grip force variations, perspectives for future studies in cognition, in particular the cognitive control of strategic and task relevant hand movements in complex real-world precision task, are pointed out. (shrink)

This article offers two arguments for the conclusion that we should refuse on moral grounds to establish a human presence on the surface of Mars. The first argument appeals to a principle constraining the use of invasive or destructive techniques of scientific investigation. The second appeals to a principle governing appropriate human behavior in wilderness. These arguments are prefaced by two preliminary sections. The first preliminary section argues that authors working in space ethics have good reason to shift (...) their focus away from theory-based arguments in favor of arguments that develop in terms of pretheoretic beliefs. The second argues that of the popular justifications for sending humans to Mars only appeals to scientific curiosity can survive reflective scrutiny. (shrink)

The Salivaomics Knowledge Base (SKB) is designed to serve as a computational infrastructure that can permit global exploration and utilization of data and information relevant to salivaomics. SKB is created by aligning (1) the saliva biomarker discovery and validation resources at UCLA with (2) the ontology resources developed by the OBO (Open Biomedical Ontologies) Foundry, including a new Saliva Ontology (SALO). We define the Saliva Ontology (SALO; http://www.skb.ucla.edu/SALO/) as a consensus-based controlled vocabulary of terms and relations dedicated to the salivaomics (...) domain and to saliva-related diagnostics following the principles of the OBO (Open Biomedical Ontologies) Foundry. The Saliva Ontology is an ongoing exploratory initiative. The ontology will be used to facilitate salivaomics data retrieval and integration across multiple fields of research together with data analysis and data mining. The ontology will be tested through its ability to serve the annotation ('tagging') of a representative corpus of salivaomics research literature that is to be incorporated into the SKB. Background Saliva (oral fluid) is an emerging biofluid for non-invasive diagnostics used in the detection of human diseases. The need to advance saliva research is strongly emphasized by the National Institute of Dental and Craniofacial Research (NIDCR), and is included in the NIDCR's 2004- 2009 expert panel long-term research agenda [1]. The ability to monitor health status, disease onset, progression, recurrence and treatment outcome through noninvasive means is highly important to advancing health care management. Saliva is a perfect medium to be explored for personalized individual medicine including diagnostics, offering a non-invasive, easy to obtain means for detecting and monitoring diseases. Saliva testing potentially allows the patient to collect their own saliva samples at home, yielding convenience for the patient and savings in health costs, and facilitating multiple sampling. Specimen collection is less objectionable to patients and easier in children and elderly individuals. Due to these advantages. (shrink)

Some collateral harms affecting enemy civilians during a war are agentially mediated – for example, the US-led invasion of Iraq in 2003 sparked an insurgency which killed thousands of Iraqi civilians. I call these ‘collaterally enabled harms.’ Intuitively, we ought to discount the weight that these harms receive in the ‘costs’ column of our ad bellum proportionality calculation. But I argue that an occupying military force with de facto political authority has a special obligation to provide minimal protection (...) to the civilian population. As a result, when an occupying military force collaterally enables a harm affecting the civilian population, the weight that the harm ought to receive in the ad bellum proportionality calculation is unaffected by the fact that the harm is agentially mediated – it ought to be weighed at least as heavily as those harms that the occupying force collaterally commits directly. As a result, satisfying the ad bellum proportionality constraint in wars of territorial occupation is more difficult than it has been thought. (shrink)

This work offers an analysis of all the legal and moral issues surrounding humanitarian intervention: the deaths of innocent persons and the Doctrine of Double Effect Governmental legitimacy - The Doctrine of Effective Political Control; UN Charter and evaluation of the Nicaragua ruling; The Morality of not intervening; US-led invasion of Iraq; Humanitarian intervention authorised by the UN Security Council - Iraq, Somalia, Haiti, Rwanda, and Bosnia among others highlight NATO's intervention in Kosovo; The Nicaragua Decision; and The precedents (...) of Panama, Liberia and Sierra Leone. The book's features include: a new framework based on the doctrine of double effect; basic principles of international ethics; outline of the moral argument for humanitarian intervention; explores the morality and legality of military action to end tyranny or anarchy; arguments in a much more detailed and complete fashion than in previous editions; in-depth examination of philosophy of international law; the relationship between custom and moral theory; new discussion of the question of right authority; and a full analysis of recent interventions in Kosovo and Iraq. book addresses a broad interdisciplinary audience of international lawyers, philosophers, and political scientists. In this new edition, the author responds to critics while updating the discussion in the light of the momentous events that took place at the beginning of the new millennium. (shrink)

Book Description (Blurb): Cognitive Design for Artificial Minds explains the crucial role that human cognition research plays in the design and realization of artificial intelligence systems, illustrating the steps necessary for the design of artificial models of cognition. It bridges the gap between the theoretical, experimental and technological issues addressed in the context of AI of cognitive inspiration and computational cognitive science. -/- Beginning with an overview of the historical, methodological and technical issues in the field of Cognitively-Inspired Artificial Intelligence, (...) Lieto illustrates how the cognitive design approach has an important role to play in the development of intelligent AI technologies and plausible computational models of cognition. Introducing a unique perspective that draws upon Cybernetics and early AI principles, Lieto emphasizes the need for an equivalence between cognitive processes and implemented AI procedures, in order to realise biologically and cognitively inspired artificial minds. He also introduces the Minimal Cognitive Grid, a pragmatic method to rank the different degrees of biologically and cognitive accuracy of artificial systems in order project and predict their explanatory power with respect to the natural systems taken as source of inspiration. -/- Providing a comprehensive overview of cognitive design principles in constructing artificial minds, this text will be essential reading for students and researchers of artificial intelligence and cognitive science. (shrink)

There has been much criticism of the idea that Friston's free-energy principle can unite the life and mind sciences. Here, we argue that perhaps the greatest problem for the totalizing ambitions of its proponents is a failure to recognize the importance of evolutionary dynamics and to provide a convincing adaptive story relating free-energy minimization to organismal fitness.

The prevalent views of animal liberty among animal advocates suggest that liberty is merely instrumentally valuable and invasive paternalism is justified. In contrast to this popular view, I argue that liberty is intrinsically good for animals. I suggest that animal well-being is best accommodated by an Objective List Theory and that liberty is an irreducible component of animal well-being. As such, I argue that it is good for animals to possess liberty even if possessing liberty does not contribute towards their (...) subjective well-being, and even in some cases where it has a negative effect upon their subjective well-being. To establish this view I argue that if animals are agents, as I assume they are, then like humans they must be able to determine the course of their own lives (to some extent). Further, having the opportunity to self-determine one’s life just is the very same thing as liberty, and having the opportunity to determine the course of one’s life is intrinsically good. Thus liberty has intrinsic value for humans and animals. So, in addition to the instrumental harms of having one’s liberty restricted, I claim that restricting animals’ liberty in principle harms them because it undermines their capacity for self-determination and fails to acknowledge their authority as agents to make their own choices. (shrink)

On a widespread naturalist view, the meanings of mathematical terms are determined, and can only be determined, by the way we use mathematical language—in particular, by the basic mathematical principles we’re disposed to accept. But it’s mysterious how this can be so, since, as is well known, minimally strong first-order theories are non-categorical and so are compatible with countless non-isomorphic interpretations. As for second-order theories: though they typically enjoy categoricity results—for instance, Dedekind’s categoricity theorem for second-order PA and Zermelo’s quasi-categoricity (...) theorem for second-order ZFC—these results require full second-order logic. So appealing to these results seems only to push the problem back, since the principles of second-order logic are themselves non-categorical: those principles are compatible with restricted interpretations of the second-order quantifiers on which Dedekind’s and Zermelo’s results are no longer available. In this paper, we provide a naturalist-friendly, non-revisionary solution to an analogous but seemingly more basic problem—Carnap’s Categoricity Problem for propositional and first-order logic—and show that our solution generalizes, giving us full second-order logic and thereby securing the categoricity or quasi-categoricity of second-order mathematical theories. Briefly, the first-order quantifiers have their intended interpretation, we claim, because we’re disposed to follow the quantifier rules in an open-ended way. As we show, given this open-endedness, the interpretation of the quantifiers must be permutation-invariant and so, by a theorem recently proved by Bonnay and Westerståhl, must be the standard interpretation. Analogously for the second-order case: we prove, by generalizing Bonnay and Westerståhl’s theorem, that the permutation invariance of the interpretation of the second-order quantifiers, guaranteed once again by the open-endedness of our inferential dispositions, suffices to yield full second-order logic. (shrink)

There is some consensus on the claim that imagination as suppositional thinking can have epistemic value insofar as it’s constrained by a principle of minimal alteration of how we know or believe reality to be – compatibly with the need to accommodate the supposition initiating the imaginative exercise. But in the philosophy of imagination there is no formally precise account of how exactly such minimal alteration is to work. I propose one. I focus on counterfactual imagination, arguing (...) that this can be modeled as simulated belief revision governed by Laplacian imaging. So understood, it can be rationally justified by accuracy considerations: it minimizes expected belief inaccuracy, as measured by the Brier score. (shrink)

The notion that the brain is a prediction error minimizer entails, via the notion of Markov blankets and self-evidencing, a form of global scepticism — an inability to rule out evil demon scenarios. This type of scepticism is viewed by some as a sign of a fatally flawed conception of mind and cognition. Here I discuss whether this scepticism is ameliorated by acknowledging the role of action in the most ambitious approach to prediction error minimization, namely under the free energy (...) principle. I argue that the scepticism remains but that the role of action in the free energy principle constrains the demon’s work. This yields new insights about the free energy principle, epistemology, and the place of mind in nature. (shrink)

Sometimes a fact can play a role in a grounding explanation, but the particular content of that fact make no difference to the explanation—any fact would do in its place. I call these facts vacuous grounds. I show that applying the distinction between-vacuous grounds allows us to give a principled solution to Kit Fine and Stephen Kramer’s paradox of ground. This paradox shows that on minimal assumptions about grounding and minimal assumptions about logic, we can show that grounding (...) is reflexive, contra the intuitive character of grounds. I argue that we should never have accepted that grounding is irreflexive in the first place; the intuitions that support the irreflexive intuition plausibly only require that grounding be non-vacuously irreflexive. Fine and Kramer’s paradox relies, essentially, on a case of vacuous grounding and is thus no problem for this account. (shrink)