Sennett (1999) and Pawl & Timpe (2009; 2013) attempt to show how we can praise heavenly agents for things they inevitably do in heaven by appealing to the notion of derivative freedom. Matheson (2017) has criticized this use of derivative freedom. In this essay I show why Matheson's argument is inconclusive but also how the basic point may be strengthened to undermine the use Sennett and Pawl & Timpe make of derivative freedom. I then show why Matheson is mistaken to (...) claim that the value of free choice depends on an agent retaining the ability to change their mind; in so doing I demonstrate that some choices which result in fixed outcomes - a feature of the choices leading to impeccability - can indeed be valuable even if they cannot be undone. (shrink)

Bi-intuitionistic logic is the union of intuitionistic and dual intuitionistic logic, and was introduced by Rauszer as a Hilbert calculus with algebraic and Kripke semantics. But her subsequent ‘cut-free’ sequent calculus has recently been shown to fail cut-elimination. We present a new cut-free sequent calculus for bi-intuitionistic logic, and prove it sound and complete with respect to its Kripke semantics. Ensuring completeness is complicated by the interaction between intuitionistic implication and dual intuitionistic exclusion, similarly to future and past (...) modalities in tense logic. Our calculus handles this interaction using derivations and refutations as first class citizens. We employ extended sequents which pass information from premises to conclusions using variables instantiated at the leaves of refutations, and rules which compose certain refutations and derivations to form derivations. Automated deduction using terminating backward search is also possible, although this is not our main purpose. (shrink)

Early versions of satellite and radiosonde datasets suggested that the tropical surface had warmed more than the troposphere, while climate models consistently showed tropospheric amplification of surface warming in response to human-caused increases in greenhouse gases. We revisit such comparisons here using new observational estimates of surface and tropospheric temperature changes. We find that there is no longer a serious discrepancy between modeled and observed trends in the tropics. Our results contradict a recent claim that all simulated temperature trends in (...) the tropical troposphere are inconsistent with observations. This claim was based on the use of older radiosonde and satellite datasets and on two methodological errors: the neglect of observational trend uncertainties introduced by interannual climate variability and application of an inappropriate statistical “consistency test”.This emerging reconciliation of models and observations has two primary explanations. First, because of changes in the treatment of buoy and satellite information, new surface temperature datasets yield slightly reduced tropical warming relative to earlier versions. Second, recently developed satellite and radiosonde datasets now show larger warming of the tropical lower troposphere. In the case of a new satellite dataset from remote sensing systems, enhancedRSS warming is due to an improved procedure of adjusting for inter-satellite biases. When the RSS-derived tropospheric temperature trend is compared with four different observed estimates of surface temperature change, the surface warming is invariably amplified in the tropical troposphere, consistent with model results. Even if we use data from a second satellite dataset with smaller tropospheric warming than in remote sensing systems RSS, observed tropical lapse rates are not significantly different from those in all model simulations.Our results contradict a recent claim that all simulated temperature trends in the tropical troposphere and in tropical lapse rates are inconsistent with observations. This claim was based on the use of older radiosonde and satellite datasets and on two methodological errors: the neglect of observational trend uncertainties introduced by interannual climate variability and application of an inappropriate statistical “consistency test”. (shrink)

We prove that the boundedness theorem of generalized recursion theory can be derived from the ω-completeness theorem for number theory. This yields a proof of the boundedness theorem which does not refer to the analytical hierarchy theorem.

The difficulties of relativistic particle theories formulated by means of canonical quantization, such as those of Klein–Gordon and Dirac, ultimately led theoretical physicists to turn to quantum field theory to model elementary particle physics. In order to overcome these difficulties, the theories of the present approach are developed deductively from the physical principles that specify the system, without making use of canonical quantization. For a free particle these starting assumptions are invariance of the theory and covariance of position with (...) respect to Poincaré transformations. In pursuing the approach, the effectiveness of group theoretical methods is exploited. The coherent development of our program has shown that robust classes of representations of the Poincaré group, discarded by the known particle theories, can in fact be taken as bases for perfectly consistent theories. For massive spin zero particles, six inequivalent theories have been determined, two of which do not correspond to any of the current ones; all of these theories overcome the difficulties of Klein–Gordon one. The present lack of the explicit transformation properties of position with respect to boosts prevents the complete determination of non zero spin particle theories. In the past a particular form of these transformation properties was adopted by Jordan and Mukunda. We check its consistency within the present approach and find that for spin \ particles there is only one consistent theory, which is unitarily related to Dirac’s; yet, once again, it requires classes of irreducible representations previously discarded. (shrink)

An equation proposed by Levy, Perdew and Sahni (Phys. Rev. A 30:2745, 1984) is an orbital-free formulation of density functional theory. However, this equation describes a bosonic system. Here, we analyze on a very fundamental level, how this equation could be extended to yield a formulation for a general fermionic distribution of charge and spin. This analysis starts at the level of single electrons and with the question, how spin actually comes into a charge distribution in a non-relativistic model. (...) To this end we present a space-time model of extended electrons, which is formulated in terms of geometric algebra. Wave properties of the electron are referred to mass density oscillations. We provide a comprehensive and non-statistical interpretation of wavefunctions, referring them to mass density components and internal field components. It is shown that these wavefunctions comply with the Schrödinger equation, for the free electron as well as for the electron in electrostatic and vector potentials. Spin-properties of the electron are referred to intrinsic field components and it is established that a measurement of spin in an external field yields exactly two possible results. However, it is also established that the spin of free electrons is isotropic, and that spin-dynamics of single electrons can be described by a modified Landau-Lifshitz equation. The model agrees with the results of standard theory concerning the hydrogen atom. Finally, we analyze many-electron systems and derive a set of coupled equations suitable to characterize the system without any reference to single electron states. The model is expected to have the greatest impact in condensed matter theory, where it allows to describe an N-electron system by a many-electron wavefunction Ψ of four, instead of 3N variables. The many-body aspect of a system is in this case encoded in a bivector potential. (shrink)

Alvin Plantinga has famously responded to the logical problem of evil by appealing to the intrinsic value of significant free will. A problem, however, arises because traditional theists believe that both God and the redeemed who go to heaven cannot do wrong acts. This entails that both God and the redeemed in heaven lack significant freedom. If significant freedom is indeed valuable, then God and the redeemed in heaven would lack something intrinsically valuable. However, if significant freedom is not (...) intrinsically valuable, then Plantinga’s reply to the logical problem of evil fails. In this paper, we assess three contemporary solutions to the dilemma above. The first is the love solution, which proposes that significant freedom is necessary for agents to love, and loving others is intrinsically good. The second is the soul-making solution, which argues that significant freedom is necessary for self-developing one’s moral character, and having a self-developed moral character is intrinsically good. The third is the derivative free will solution, which argues that significant freedom is necessary for derivative free will in heaven, and derivative free will is intrinsically good. We raise problems against all three solutions and instead defend a fourth solution – the ultimate responsibility solution. That is, significant freedom is instrumentally valuable as it gives agents ultimate responsibility with regards to morally significant acts. Finally, we defend the ultimate responsibility solution against two major objections. (shrink)

Different natural deduction proof systems for intuitionistic and classical logic —and related logical systems—differ in fundamental properties while sharing significant family resemblances. These differences become quite stark when it comes to the structural rules of contraction and weakening. In this paper, I show how Gentzen and Jaśkowski’s natural deduction systems differ in fine structure. I also motivate directed proof nets as another natural deduction system which shares some of the design features of Genzen and Jaśkowski’s systems, but which differs again (...) in its treatment of the structural rules, and has a range of virtues absent from traditional natural deduction systems. (shrink)

Martin Luther affirms his theological position by saying “Here I stand. I can do no other.” Supposing that Luther’s claim is true, he lacks alternative possibilities at the moment of choice. Even so, many libertarians have the intuition that he is morally responsible for his action. One way to make sense of this intuition is to assert that Luther’s action is indirectly free, because his action inherits its freedom and moral responsibility from earlier actions when he had alternative possibilities (...) and those earlier directly free actions formed him into the kind of person who must refrain from recanting. Surprisingly, libertarians have not developed a full account of indirectly free actions. I provide a more developed account. First, I explain the metaphysical nature of indirectly free actions such as Luther’s. Second, I examine the kind of metaphysical and epistemic connections that must occur between past directly free actions and the indirectly free action. Third, I argue that an attractive way to understand the kind of derivative moral responsibility at issue involves affirming the existence of resultant moral luck. (shrink)

Where does the notion of free will come from? How and when did it develop, and what did that development involve? In Michael Frede's radically new account of the history of this idea, the notion of a free will emerged from powerful assumptions about the relation between divine providence, correctness of individual choice, and self-enslavement due to incorrect choice. Anchoring his discussion in Stoicism, Frede begins with Aristotle--who, he argues, had no notion of a free will--and ends (...) with Augustine. Frede shows that Augustine, far from originating the idea, derived most of his thinking about it from the Stoicism developed by Epictetus. (shrink)

Free will is usually defined by three conditions: the ability to do otherwise; control of one’s own choices; responsiveness to reasons. The compatibility of free will with determinism lies at the heart of the philosophical debate at the metaphysical level. This debate, while being increasingly refined, has not yet reached a conclusion. Recently, neuroscience and empirical psychology have tried to settle the problem of free will with a series of experiments that go in the direction of so-called (...) illusionism: free will as the conscious control of our behavior cannot exist, being a mere illusion. But even in this case, the experimental results are challenged at various levels. Considering that in most moral and legal systems, the subject’s liability derives from their freedom, the usefulness of preserving the concept of freedom – which incidentally responds to a very strong commonsensical intuition – suggests the need for an operational solution. This could be done by resorting to the concepts of capacity and cognitive control, which are measured by a set of well-established neuropsychological tests. Our preliminary proposal is to create an index, the first step towards a specific quantification and measurement of free will, to be used especially in ethical and legal contexts. Theoretical premises, practical difficulties and objections to this approach are also discussed and addressed. (shrink)

Within the framework of the Kershaw approach and of a hypothesis on spatial stochasticity, the relativistic equations of Lehr and Park, Guerra and Ruggiero, and Vigier for stochastic Nelson mechanics are obtained. In our model there is another set of equations of the hydrodynamical type for the drift velocityv i(x j,t) and stochastic velocityu i(x j,t) of a particle. Taking into account quadratic terms in l, the universal length, we obtain from these equations the Sivashinsky equations forv i(x j,t) in (...) the caseu i →0. In the limit l →0, these equations acquire the Newtonian form. (shrink)

Derivative moral responsibility is not moral responsibility at all. Much of the confusion found in the literature concerning moral responsibility and the free will problem can be traced back to a penchant to reconcile our philosophical theories of moral responsibility with our folk commonsense linguistic accounts of moral responsibility, a tradition that is notable for its utter lack of making two important distinctions - the distinction between derivative moral responsibility and non-derivative moral responsibility and the distinction between the scope (...) and degree of one’s moral responsibility.1 The failure to make such distinctions, ultimately, leads to confusion in interpreting the content of folk intuitions about moral responsibility, and as a result leads many philosophers to adopt watered down, or overly complex theories of moral responsibility. In “The Epistemic Requirements for Moral Responsibility,” Carl Ginet fails to make such distinctions, and as a result the requirement he arrives at is unwieldy at best. By making such distinctions, I will provide a much more straightforward account of what moral responsibility requires. (shrink)

Free will skepticism is the view that people never truly deserve to be praised, blamed, or punished for what they do. One challenge free will skeptics face is to explain how criminality could be dealt with given their skepticism. This paper critically examines the prospects of implementing legal changes concerning crime and punishment derived from the free will skeptical views developed by Derk Pereboom and Gregg Caruso. One central aspect of the changes their views require is a (...) concern for reducing the severity of current forms of punishment. The paper considers two strategies for pursuing such a reduction. By taking into account evidence from the psychology of belief in free will and desire to punish, it is argued that a strategy aiming at a reduction of people’s natural desire to punish criminals can be successful if capable of providing alternatives to current forms of punishment satisfying three properties: they must be less harmful than current forms of punishment, more effective in preventing crime, and incompatible with current forms of punishment. (shrink)

Geometric theories are presented as contraction- and cut-free systems of sequent calculi with mathematical rules following a prescribed rule-scheme that extends the scheme given in Negri and von Plato. Examples include cut-free calculi for Robinson arithmetic and real closed fields. As an immediate consequence of cut elimination, it is shown that if a geometric implication is classically derivable from a geometric theory then it is intuitionistically derivable.

Many arguments offered by the free culture movement emphasize the ways in which new works rely on works, which have gone before, the discoveries and data of other scientists, and a general stock of common knowledge. An exammation of the ways in which old works mform new works will show that drawmg on previous works is a necessary and inevitable part of the act of creation. Despite the negative connotations surrounding the label "derivative," all works are, in an important (...) sense, derivative, and must be so in order to be recognized as novel and creative. As such, there should be greater freedom in the creation and circulation of derivative works. Under the current intellectual property regime, the creation of derivative works can be controlled at the discretion of the author. Therefore, any system of intellectual property rights must preserve the ability of creators to draw on previous works, including the ability to employ significant elements of protected works in their own creations. (shrink)

Social theories of giving have often been shaped by anthropological accounts that present it as a form of pre-market reciprocal exchange, yet this exchangist discourse obscures important contemporary giving practices. This article discusses two types of giving that confound the exchangist model: (1) sharing practices within the family; and (2) free gifts to strangers. Once we reject understandings of giving derived from analyses of non-modern economies, it is possible to see that the gift economy is not a rare survival (...) but rather is a central element of contemporary society and indeed the contemporary economy. The task for social theory is not to anachronize giving but to make sense of the variety and complexity of actual contemporary giving practices. This article offers the categories of free and positional gifts as a contribution to this analysis. (shrink)

This paper deals with the interpretation and distribution of universal Free Choice (FC) items, such as English FC any or Spanish cualquiera. Crosslinguistically, universal FC items can be characterized as follows. First, they have a restricted distribution. Second, they express freedom of choice: the sentence You can take any card conveys the information that the addressee is free to pick whichever card she chooses. Under standard assumptions, the truth conditions of sentences like You can take any card are (...) taken to be captured by formalizations in which a universal quantifier ranging over individuals has wide scope over the possibility modal. The crucial observation that informs the account in this paper is that this type of formalization cannot capture the freedom of choice component. I will argue that in order to derive the right interaction between possibility modals and FC items, we need to add an exclusiveness condition to the standard wide scope paraphrases. The same proposal that guarantees freedom of choice will automatically account for the distribution restrictions of FC items. The formal implementation of this proposal is cast in the Hamblin semantics proposed in Kratzer and Shimoyama (Indeterminate phrases: The view from Japanese, 2002). (shrink)

It’s been agreed for decades that not only does Determinism pose a big problem for our choosing from available alternatives, but its denial seems to pose a bit of a problem, too. It’s argued here that only Determinism, and not its denial, means no real choice for us.But, what explains the appeal of the thought that, where things aren’t fully determined, to that extent they’re just a matter of chance? It's the dominance of metaphysical suppositions that, together, comprise Scientiphicalism: Wholly (...) composed of such mindless physical parts as electrons, you are a being whose powers are all physical powers, physically deriving from the powers of your parts and their physical arrangements. Scientiphicalisrn conflicts with your having real choice.Some fairly conservative alternatives to Scientiphicalism may allow for choice. Two are briefly discussed: On the further-fetched, you are a Cartesian mental being, a nonphysical being in powerful interaction with physical things. On the more conservative approach, you are wholly composed of physical parts, but some of your powers are radically emergent, including your power to choose.Finally, it’s argued that, if you choose, you must be, to some extent, exempt from natural laws. (shrink)

This paper contributes to the semantic typology of dependent indefinites, by accounting for the distribution and interpretation of the Romanian indefinite vreun. It is shown that its occurrences are restricted to negative polarity and a subset of modal contexts. More specifically, the study of its behavior in intensional environments reveals that vreun is systematically incompatible with non-epistemic operators, a restriction we capture by proposing a novel empirical generalization (‘the epistemic constraint’). To account for the observed pattern, we adopt the unitary (...) approach to polarity in Chierchia (Logic in Grammar: polarity, free choice and intervention, 2013a; in: Fălăuş (ed.) Alternatives in semantics, 2013b) and derive the properties of vreun from its obligatory association with alternatives. Its distributional restrictions are argued to follow from the interplay between the types of alternatives it activates (scalar and subdomain alternatives), the way these alternatives are factored into meaning (via an independently motivated mechanism of exhaustification) and the lexical semantics of the operators in the context of occurrence. We propose that the epistemic constraint arises from the lexicalization of an inference (anti-total variation) that non-epistemic operators can never satisfy. (shrink)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. (...) Our assessment of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

A disjunctive sentence like Olivia took Logic or Algebra conveys that Olivia didn’t take both classes and that the speaker doesn’t know which of the two classes she took. The corresponding sentence with a possibility modal, Olivia can take Logic or Algebra, conveys instead that she can take Logic and that she can take Algebra. These exclusivity, ignorance and free choice inferences are argued by many to be scalar implicatures. Recent work has looked at cases in which exclusivity and (...) ignorance appear to be computed instead at the presupposition level, independently from the assertion. On the basis of those data, Spector and Sudo :473–517, 2017) have argued for a hybrid account relying on a pragmatic principle for deriving implicatures in the presupposition. In this paper, we observe that a sentence like Noah is unaware that Olivia can take Logic or Algebra has a reading on which free choice appears in the presupposition, but not in the assertion, and we show that deriving this reading is challenging on Spector and Sudo’s hybrid account. Following the dialectic in Fox, we argue against a pragmatic approach to presupposition-based implicatures on the ground that it is not able to account for presupposed free choice. In addition, we raise a novel challenge for Spector and Sudo’s account coming from the conflicting presupposed ignorance triggered by sentences like #Noah is unaware that I have a son or a daughter, which is infelicitous even if it’s not common knowledge whether the speaker has a son or a daughter. More generally, our data reveals a systematic parallelism between the assertion and presupposition levels in terms of exclusivity, ignorance, and free choice. We argue that such parallels call for a unified analysis and we sketch how a grammatical theory of implicatures where meaning strengthening operates in a similar way at both levels :31–57, 2012; Magri in A theory of individual-level predicates based on blind mandatory scalar implicatures, MIT dissertation, 2009; Marty in Implicatures in the DP domain, MIT dissertation, 2017) can account for such parallels. (shrink)

In the tradition of Milton Friedman's 1962 classic, Capitalism and Freedom, Lansing Pollock draws on moral, political, and economic theory to defend a libertarian vision of the good society. Pollock argues that mutual consent, derived from a fundamental Kantian moral equality, is the ideal standard for judging relations between persons. He contends that if the equal right of all persons to be free is taken seriously, most of the coercion by government that many take for granted is immoral. Pollock (...) situates libertarian moral theory in an American historical context, one compatible with the views of James Madison and Thomas Jefferson. Pollock argues that when the Constitution is interpreted according to the political philosophy of the framers, the modern welfare state is unconstitutional. Pollock goes on to demonstrate how free market economies promote human well-being, whereas government regulation is often counterproductive. In advocating a reduction in the size and scope of government, Pollock includes applied policy analyses of poverty and health care, among other topical issues. He also offers an innovative solution to the problem of funding a limited government without violating individual rights. The strength of The Free Society lies in its synthetic achievement. In a book that is accessibly written and sure to appeal to scholar and lay reader alike, Pollock provides a compelling conception of the good society--one in which the libertarian vision includes moral, social, political, and economic perspectives. (shrink)

Contemporary civil libertarians claim that their works preserve a worthy American tradition of defending free-speech rights dating back to the framing of the First Amendment. _Transforming Free Speech_ challenges the worthiness, and indeed the very existence of one uninterrupted libertarian tradition. Mark A. Graber asserts that in the past, broader political visions inspired libertarian interpretations of the First Amendment. In reexamining the philosophical and jurisprudential foundations of the defense of expression rights from the Civil War to the present, (...) he exposes the monolithic free-speech tradition as a myth. Instead of one conception of the system of free expression, two emerge: the conservative libertarian tradition that dominated discourse from the Civil War until World War I, and the civil libertarian tradition that dominates later twentieth-century argument. The essence of the current perception of the American free-speech tradition derives from the writings of Zechariah Chafee, Jr., the progressive jurist most responsible for the modern interpretation of the First Amendment. His interpretation, however, deliberately obscured earlier libertarian arguments linking liberty of speech with liberty of property. Moreover, Chafee stunted the development of a more radical interpretation of expression rights that would give citizens the resources and independence necessary for the effective exercise of free speech. Instead, Chafee maintained that the right to political and social commentary could be protected independent of material inequalities that might restrict access to the marketplace of ideas. His influence enfeebled expression rights in a world where their exercise depends increasingly on economic power. Untangling the libertarian legacy, Graber points out the disjunction in the libertarian tradition to show that free-speech rights, having once been transformed, can be transformed again. Well-conceived and original in perspective, _Transforming Free Speech_ will interest political theorists, students of government, and anyone interested in the origins of the free-speech tradition in the United States. (shrink)

At the core of Kant's Groundwork of the Metaphysics of Morals lies his ‘derivation’ of the categorical imperative: his attempt to establish that, if there is a supreme principle of morality, then it is this imperative. Kant's argument for this claim is one of the most puzzling in his corpus. The received view, championed by Aune and Allison, is that there is a fundamental gap in the argument, which Kant elides by means of a simple but deadly confusion, thus robbing (...) the argument of all validity. We will here contest the received view, as well as Korsgaard's alternative interpretation of the argument. In place of these positions we will offer a reconstruction of the derivation which reveals its coherence and force. We will show that it illuminates some interesting grounds for rejecting certain candidates, including a utilitarian principle, for status as the supreme principle of morality. While certainly not free of all defects, the argument will be shown to be far more powerful and interesting than it has commonly been held to be. (shrink)

In many systems, the tensors used to describe physical properties must acquire their structure from one vector. Knowledge of that fact alone leads to an interesting line of analysis for such systems. The analysis begins with a discussion of the types of dyadics that can be constructed from one vector. Attention is focused on certain exemplary dyadic operators, which, because of their geometrical properties, would appear particularly basic; the algebra of these dyadics is developed in detail. The algebra is then (...) used in a derivation of the expansion of general functions of these dyadics. Several applications of the general expansion are presented: the inverse of a general dyadic operator (when it exists), a general rotation operator that includes strains and reflections, the determinant of a general dyadic operator, and operators, including some new ones, used in constructing Lorentz boosts. Finally, a coordinate-free representation of the Levi-Civita tensor is provided. (shrink)

By rephrasing quantifier-free axioms as rules of derivation in sequent calculus, we show that the generalized Steiner–Lehmus theorem admits a direct proof in classical logic. This provides a partial answer to a question raised by Sylvester in 1852. We also present some comments on possible intuitionistic approaches.

In this paper, we aim to account for the distribution and interpretation of a novel class of free choice items in Romanian, which we refer to as additive free choice items (ADD-FCIs). We show that the internal composition of ADD-FCIs, as well as their distribution, differs from that attested for other free choice paradigms discussed in the literature. Morphologically, ADD-FCIs are a more complex variant of regular universal FCIs, by virtue of an additional morpheme. This morpheme plays (...) an additive role when it functions as a stand-alone particle, and we propose that its role is similarly additive when it functions as an infix in ADD-FCIs. Couched in an exhaustification framework, we put forward a novel compositional account that can derive the interpretation of these ADD-FCIs. As for their distribution, these elements are only found in the presence of the conditional mood, as well as unconditional structures. We show how our analysis, coupled with the Viability Constraint used to explain the distribution of regular FCIs, can also account for their restricted distribution. In doing so, we further show how the pattern we investigate opens new perspectives regarding the licensing of free choice items in unconditionals. (shrink)

In the following essay, I attempt to defend a novel position on ‘the free will problem’. In particular, I intend to provide (in outline) a position based on the descriptively central and normatively crucial role of illusion in the free will issue. Illusion, I claim, is the vital but neglected key to the free will problem. The proposed position, which can be called ‘Illusionism’, can be defended independently from its derivation from P. F. Strawson’s ‘reactive-naturalism’. However, since (...) the role of illusion emerges only at a late stage of the train of arguments pertaining to free will, we will get to our destination by ‘free-riding’ most of the way on Strawson’s train, and then continue a bit further by ourselves, into the uncharted and dangerous Land Of Illusion. (shrink)

Claims about the potential of free software to reform the production and distribution of software are routinely countered by skepticism that the free software community fails to engage the pragmatic and economic ‘realities’ of a software industry. We argue to the contrary that contemporary business and economic trends definitively demonstrate the financial viability of an economy based on free software. But the argument for free software derives its true normative weight from social justice considerations: the evaluation (...) of the basis for a software economy should be guided by consideration of the social and cultural states which are the ultimate goals of any economic arrangement. That is, the software economy should be evaluated in light of its ability to provide justice. We conclude with a discussion of possible avenues for reform. (shrink)

Where does the notion of free will come from? How and when did it develop, and what did that development involve? In Michael Frede's radically new account of the history of this idea, the notion of a free will emerged from powerful assumptions about the relation between divine providence, correctness of individual choice, and self-enslavement due to incorrect choice. Anchoring his discussion in Stoicism, Frede begins with Aristotle--who, he argues, had no notion of a free will--and ends (...) with Augustine. Frede shows that Augustine, far from originating the idea, derived most of his thinking about it from the Stoicism developed by Epictetus. (shrink)

We discuss some methodological aspects of the relation between physics and metaphysics by dealing specifically with the case of non-relativistic quantum mechanics. Our main claim is that current attempts to productively integrate quantum mechanics and metaphysics are best seen as approaches of what should be called ‘the metaphysics of science’, which is developed by applying already existing metaphysical concepts to scientific theories. We argue that, in this perspective, metaphysics must be understood as an autonomous discipline. It results that this metaphysics (...) cannot hope to derive any kind of justification from science. Thus, one of the main motivations of such project, which is the obtaining of a scientifically respectable justification for the attribution of a single true metaphysical profile to the posits of a scientific theory, is doomed because of the emergence of metaphysical underdetermination from the outset. If metaphysics floats free from physics, which is a premise of such project of integration between these two areas, then it is always possible to attribute more than one metaphysical profile to dress physical entities. (shrink)

In the following essay, I attempt to defend a novel position on ‘the free will problem’. In particular, I intend to provide (in outline) a position based on the descriptively central and normatively crucial role of illusion in the free will issue. Illusion, I claim, is the vital but neglected key to the free will problem. The proposed position, which can be called ‘Illusionism’, can be defended independently from its derivation from P. F. Strawson’s ‘reactive-naturalism’. However, since (...) the role of illusion emerges only at a late stage of the train of arguments pertaining to free will, we will get to our destination by ‘free-riding’ most of the way on Strawson’s train, and then continue a bit further by ourselves, into the uncharted and dangerous Land Of Illusion. (shrink)

False beliefs and delusions are usually regarded negatively, especially in psychology and evolutionary biology. Recently, McKay and Dennett have argued that there are ungrounded beliefs which confer benefits on individuals even if they are false. I propose to expand this class of beliefs to include the belief that one has free will, and I will defend the claim that this belief is advantageous, even if it is false. One derives one’s belief in control from one’s experience of control, which (...) is generated by a set of cognitive systems termed “control systems.” While the control systems and the interpretive mechanism are useful in and of themselves, the belief in personal free will is adaptive because it directly leads to fitness-increasing behaviors. As such, we have good reason to regard the belief that one has free will as an adaptive, ungrounded belief. This paper will also suggest that further research on the possible distinction between belief in personal free will and belief in general free will may put us in a better position to understand recent, apparently contradictory data on individuals’ beliefs regarding free will and other related phenomena. (shrink)

The masked priming paradigm has been extensively used to investigate the indirect impacts of unconscious stimuli on conscious behaviors, and the congruency effect of priming on free choices has gained increasing attention. Free choices allow participants to voluntarily choose a response from multiple options during each trial. While repeated practice is known to increase priming effects in subliminal visual tasks, whether practice increases the priming effect of free choices in the masked priming paradigm is unclear. And it (...) is also not clear how the proportions of free choice and forced choice trials in one block will affect the free choice masked priming effect. The present study applied repeated practice in the masked priming paradigm and found that after training, the participants were more likely to be influenced by masked primes during free choice, but this training process did not alter the visibility of masked stimuli. In addition, this study revealed that when the proportions of free choice and forced choice trials were equal during the training stage, this enhanced effect by practice was the strongest. These results indicated that practice could enhance masked stimulus processing in free-choice, and that the learning effect may mainly be derived from the early selection and integrated processing of masked stimuli. (shrink)

Social freedom may be taken to be primarily a property of persons, derivatively a property of choices, or the other way round. Nowadays it is standard to take it the other way round. But there is much to be said for the person-based rather than the choice- based way of thinking. And this way of thinking is characteristic of the neo-Roman, republican tradition.

Spinoza’s remarks on the exemplar or model of human nature, while few and brief, have far-reaching consequences for his ethics. While commentators have offered a variety of interpretations of the model and its implications, there has been near unanimous agreement on one point, that the identity of the model is the free man, described from E4P66S to E4P73. Since the free man is completely self-determining and, thus, perfectly free and rational, this reading indicates that Spinoza’s ethics sets (...) exceptionally high goals, aiming to make us purely active beings. While this conclusion has been embraced in some quarters—particularly by those who see his ethics as aiming to make us like God—it has also been criticized as intolerant of human weakness and vulnerability. Most work on this subject has been concerned to explain what it means for the free man to serve as the model. This is a difficult task, since Spinoza pointedly claims that it is impossible for human beings to become completely self-determining and, thus, free men. Consequently, it is unclear what implications his claims about the free man have for us, ordinary humans. This paper takes a different approach: I will show that reading the free man as the model of human nature, while intuitively appealing, does not stand up to close scrutiny. The argument for this claim has two prongs: the first asserts that there is not sufficient textual evidence to establish that Spinoza intended the free man to serve as the model; the second asserts that this reading is impossible to reconcile with Spinoza’s other philosophical commitments. In particular, Spinoza holds that we pursue the model of human nature, as well as the general ethical goals of attaining our good and perfection, under the guidance of reason. It would be inconsistent with this claim for Spinoza’s ethics to be founded upon attaining a goal that reason reveals as unattainable and, even, confused. In addition to this negative thesis, I will also defend a positive one: the model of human nature should rather be understood as representing the greatest possible perfection of our nature as it is revealed by reason. The free man meanwhile should be understood as working toward a different goal, determining what is good and bad in the emotions. In making this claim, we offer a very different picture of Spinoza’s ethical goals, for reason shows that our nature is conatus, which is a finite mode and, as such, necessarily determined by and passive with respect to other finite modes. Consequently, a model derived from reason will represent the perfection of this nature as passive to some extent. In this way, I provide a picture of Spinoza’s ethics that takes a more sympathetic view of human weakness and vulnerability. (shrink)

Harsh blame can be socially destructive. This article examines how harsh blame can be “civilized.” A core construct here is the historicist narrative, which is a story-like account of how a person came to be the sort of person she is. We argue that historicist narratives regarding immoral actors can temper blame and that this happens via a novel mechanism. To illuminate that mechanism, we offer a novel theoretical perspective on lay beliefs about free will. We distinguish 2 senses (...) of free will: (a) Freedom of action, which portrays the will as a dynamic choice-making mechanism and concerns whether the actor can exert volitional control via that mechanism at the time of action, and (b) Control of self-formation, which portrays the will as an enduring disposition (e.g., persistent desire to humiliate) and refers to whether the actor is truly the source of that disposition. Six experiments show that historicist narratives have no effect on perceived freedom of action, but rather temper blame by reducing perceived self-formative control. We also provide evidence against several additional theoretically derived alternative mediators (e.g., intentionality, perceived suffering). Further underlining the need to distinguish free will concepts, we show that biological narratives—unlike historicist narratives—temper blame via reductions in perceived freedom of action. Finally, to illuminate the meaning of “civilized” blame,” we show that historicist narratives specifically reduce the urge to inflict spiteful punishments on offenders, but leave intact the urge to nonviolently guide the offender toward moral improvement. (PsycINFO Database Record (c) 2017 APA, all rights reserved). (shrink)

Our self-conception derives mostly from our own experience. We believe ourselves to be conscious, rational, social, ethical, language-using, political agents who possess free will. Yet we know we exist in a universe that consists of mindless, meaningless, unfree, nonrational, brute physical particles. How can we resolve the conflict between these two visions? In _Freedom and Neurobiology_, the philosopher John Searle discusses the possibility of free will within the context of contemporary neurobiology. He begins by explaining the relationship between (...) human reality and the more fundamental reality as described by physics and chemistry. Then he proposes a neurobiological resolution to the problem by demonstrating how various conceptions of free will have different consequences for the neurobiology of consciousness. In the second half of the book, Searle applies his theory of social reality to the problem of political power, explaining the role of language in the formation of our political reality. The institutional structures that organize, empower, and regulate our lives-money, property, marriage, government-consist in the assignment and collective acceptance of certain statuses to objects and people. Whether it is the president of the United States, a twenty-dollar bill, or private property, these entities perform functions as determined by their status in our institutional reality. Searle focuses on the political powers that exist within these systems of status functions and the way in which language constitutes them. Searle argues that consciousness and rationality are crucial to our existence and that they are the result of the biological evolution of our species. He addresses the problem of free will within the context of a neurobiological conception of consciousness and rationality, and he addresses the problem of political power within the context of this analysis. A clear and concise contribution to the free-will debate and the study of cognition, _Freedom and Neurobiology_ is essential reading for students and scholars of the philosophy of mind. (shrink)

Contemporary civil libertarians claim that their works preserve a worthy American tradition of defending free-speech rights dating back to the framing of the First Amendment. _Transforming Free Speech_ challenges the worthiness, and indeed the very existence of one uninterrupted libertarian tradition. Mark A. Graber asserts that in the past, broader political visions inspired libertarian interpretations of the First Amendment. In reexamining the philosophical and jurisprudential foundations of the defense of expression rights from the Civil War to the present, (...) he exposes the monolithic free-speech tradition as a myth. Instead of one conception of the system of free expression, two emerge: the conservative libertarian tradition that dominated discourse from the Civil War until World War I, and the civil libertarian tradition that dominates later twentieth-century argument. The essence of the current perception of the American free-speech tradition derives from the writings of Zechariah Chafee, Jr., the progressive jurist most responsible for the modern interpretation of the First Amendment. His interpretation, however, deliberately obscured earlier libertarian arguments linking liberty of speech with liberty of property. Moreover, Chafee stunted the development of a more radical interpretation of expression rights that would give citizens the resources and independence necessary for the effective exercise of free speech. Instead, Chafee maintained that the right to political and social commentary could be protected independent of material inequalities that might restrict access to the marketplace of ideas. His influence enfeebled expression rights in a world where their exercise depends increasingly on economic power. Untangling the libertarian legacy, Graber points out the disjunction in the libertarian tradition to show that free-speech rights, having once been transformed, can be transformed again. Well-conceived and original in perspective, _Transforming Free Speech_ will interest political theorists, students of government, and anyone interested in the origins of the free-speech tradition in the United States. (shrink)

Current theories of massless free particle assume unitary space inversion and anti-unitary time reversal operators. In so doing robust classes of possible theories are discarded. In the present work theories of massless systems are derived through a strictly deductive development from the principle of relativistic invariance, so that a kind of space inversion or time reversal operator is ruled out only if it causes inconsistencies. As results, new classes of consistent theories for massless isolated systems are explicitly determined. On (...) the other hand, the approach determines definite constraints implied by the invariance principle; they were ignored by some past investigations that, as a consequence, turn out to be not consistent with the invariance principle. Also the problem of the localizability for massless systems is reconsidered within the new theoretical framework, obtaining a generalization and a deeper detailing of previous results. (shrink)

This paper examines a particular type of argument often employed to defend welfare rights. This argument contends that welfare rights are a necessary supplement to liberty rights because rights to freedom become hollow when their bearers are not able to take advantage of their freedom. Rights to be provided with certain goods are thus a natural outgrowth of a genuine concern to protect freedom.I argue that this reasoning suffers from two fatal flaws. First, it rests on an erroneous notion of (...) what it is to have a right, neglecting the fact that the exact source of a person's inability to exercise a right is crucial to determining whether that right is being respected. Second, the argument equivocates as to the freedom that rights are intended to protect, sometimes confusing freedom with ability, sometimes confusing not being free with not having other desired things, and sometimes confusing what a person is able to do with what a person is entitled to do. (shrink)

Spinoza’s remarks on the exemplar or model of human nature, while few and brief, have far-reaching consequences for his ethics. While commentators have offered a variety of interpretations of the model and its implications, there has been near unanimous agreement on one point, that the identity of the model is the free man, described from E4P66S to E4P73. Since the free man is completely self-determining and, thus, perfectly free and rational, this reading indicates that Spinoza’s ethics sets (...) exceptionally high goals, aiming to make us purely active beings. While this conclusion has been embraced in some quarters—particularly by those who see his ethics as aiming to make us like God—it has also been criticized as intolerant of human weakness and vulnerability. Most work on this subject has been concerned to explain what it means for the free man to serve as the model. This is a difficult task, since Spinoza pointedly claims that it is impossible for human beings to become completely self-determining and, thus, free men. Consequently, it is unclear what implications his claims about the free man have for us, ordinary humans. This paper takes a different approach: I will show that reading the free man as the model of human nature, while intuitively appealing, does not stand up to close scrutiny. The argument for this claim has two prongs: the first asserts that there is not sufficient textual evidence to establish that Spinoza intended the free man to serve as the model; the second asserts that this reading is impossible to reconcile with Spinoza’s other philosophical commitments. In particular, Spinoza holds that we pursue the model of human nature, as well as the general ethical goals of attaining our good and perfection, under the guidance of reason. It would be inconsistent with this claim for Spinoza’s ethics to be founded upon attaining a goal that reason reveals as unattainable and, even, confused. In addition to this negative thesis, I will also defend a positive one: the model of human nature should rather be understood as representing the greatest possible perfection of our nature as it is revealed by reason. The free man meanwhile should be understood as working toward a different goal, determining what is good and bad in the emotions. In making this claim, we offer a very different picture of Spinoza’s ethical goals, for reason shows that our nature is conatus, which is a finite mode and, as such, necessarily determined by and passive with respect to other finite modes. Consequently, a model derived from reason will represent the perfection of this nature as passive to some extent. In this way, I provide a picture of Spinoza’s ethics that takes a more sympathetic view of human weakness and vulnerability. (shrink)

I argue for a soft compatibilist theory of free will, i.e., such that free will is compatible with both determinism and indeterminism, directly opposite hard incompatibilism, which holds free will incompatible both with determinism and indeterminism. My intuitions in this book are primarily based on an analysis of meditation, but my arguments are highly syncretic, deriving from many fields, including behaviorism, psychology, conditioning and deconditioning theory, philosophy of language, philosophy of mind, simulation theory, etc. I offer a (...) causal/functional analysis of meta-mental control, or 'metacausality', cashed out in counterfactual terms, to solve what I call the easy problem of free will. (shrink)

In this paper, I develop two philosophically suggestive arguments that the late Justice Stevens made in Citizens United against the idea that business corporations have free speech rights. First, (1) while business corporations conceived as real entities are capable of a thin agency conceptually sufficient for moral rights, I argue that they fail to clear important justificatory hurdles imposed by interest or choice theories of rights. Business corporations conceived as real entities lack an interest in their personal security; moreover, (...) they are incapable of exercising innate powers of choice. Second, (2) I argue that the structure and functionally individualized purpose of a business corporation—to increase value for its shareholders—undermines the implicit joint commitment necessary to derive corporate rights of free speech from non-operative shareholder-member rights. Since one cannot transfer innate moral rights such as free speech, any exercise of this right on behalf of another must be limited in scope. (shrink)

We show that derivations in the nonassociative and commutative Lambek calculus with product can be transformed to a normal form as it is the case with derivations in noncommutative calculi. As an application we obtain that the class of languages generated by categorial grammars based on the nonassociative and commutative Lambek calculus with product is included in the class of CF-languages. MSC: 68Q50, 03D15, 03B65.