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

Penrose [40] has discussed a new point of view concerning the nature of physics that might underline conscious thought processes. He has argued that it might be the case that some physical laws are not computable, i.e. they cannot be properly simulated by computer; such laws can most probably arise on the “no-man’s-land” between classical and quantum physics. Furthermore, conscious thinking is a non-algorithmic activity. He is opposing both strong AI , and Searle’s [47] contrary viewpoint mathematical “laws”).

Bayesians since Savage (1972) have appealed to asymptotic results to counter charges of excessive subjectivity. Their claim is that objectionable differences in prior probability judgments will vanish as agents learn from evidence, and individual agents will converge to the truth. Glymour (1980), Earman (1992) and others have voiced the complaint that the theorems used to support these claims tell us, not how probabilities updated on evidence will actually}behave in the limit, but merely how Bayesian agents believe they will behave, suggesting (...) that the theorems are too weak to underwrite notions of scientific objectivity and intersubjective agreement. I investigate, in a very general framework, the conditions under which updated probabilities actually converge to a settled opinion and the conditions under which the updated probabilities of two agents actually converge to the same settled opinion. I call this mode of convergence deterministic, and derive results that extend those found in Huttegger (2015b). The results here lead to a simple characterization of deterministic convergence for Bayesian learners and give rise to an interesting argument for what I call strong regularity, the view that probabilities of non-empty events should be bounded away from zero. (shrink)

An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of Gentzen-type systems which in addition to the standard axioms and structural rules have only logical rules in which exactly one occurrence of a quantifier is introduced. The semantics for these systems is provided using two-valued non-deterministic matrices, a generalization of the classical matrix. In this paper we use a constructive syntactic criterion of coherence (...) to characterize strong cutelimination in such systems. We show that the following properties of a canonical system G with arbitrary (n, k)-ary quantifiers are equivalent: (i) G is coherent, (ii) G admits strong cut-elimination, and (iii) G has a strongly characteristic two-valued generalized non-deterministic matrix. In addition, we define simple calculi, an important subclass of canonical calculi, for which coherence is equivalent to the weaker, standard cut-elimination property. (shrink)

Strong nativist views about numerical concepts claim that human beings have at least some innate precise numerical representations. Weak nativist views claim only that humans, like other animals, possess an innate system for representing approximate numerical quantity. We present a new strong nativist model of the origins of numerical concepts and defend the strong nativist approach against recent cross-cultural studies that have been interpreted to show that precise numerical concepts are dependent on language and that they are (...) restricted to speakers of languages with the right kind of structure. (shrink)

Physicists are increasingly beginning to take seriously the possibility of laws outside the traditional time-evolution paradigm; yet many popular definitions of determinism are still predicated on a time-evolution picture, making them manifestly unsuited to the diverse range of research programmes in modern physics. In this article, we use a constraint-based framework to set out a generalization of determinism which does not presuppose temporal evolution, distinguishing between strong, weak and delocalised holistic determinism. We discuss some interesting consequences (...) of these generalized notions of determinism, and we show that this approach sheds new light on the long-standing debate surrounding the nature of objective chance. (shrink)

An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of Gentzen-type systems which in addition to the standard axioms and structural rules have only logical rules in which exactly one occurrence of a quantifier is introduced. The semantics for these systems is provided using two-valued non-deterministic matrices, a generalization of the classical matrix. In this paper we use a constructive syntactic criterion of coherence (...) to characterize strong cutelimination in such systems. We show that the following properties of a canonical system G with arbitrary (n, k)-ary quantifiers are equivalent: (i) G is coherent, (ii) G admits strong cut-elimination, and (iii) G has a strongly characteristic two-valued generalized non-deterministic matrix. (shrink)

Divine determinism, though affirmed by many Calvinists, implicates God in the decisions people make that ultimately damn them to the terrible destiny of hell. In this paper, the authors argue that this scenario is a problem for divine determinism. The article contends that determinism is inconsistent with God’s love and the Scriptures that explicitly state that God does not ‘desire’ anyone to go to hell. Even human love for others strongly suggests that God, who is ‘love’, will (...) not determine anyone to hell. On the other extreme, those who argue for universalism, though appealing to Scripture, often do so with questionable exegesis. (shrink)

Theories where truth is a naive concept fall under the following dilemma: either the theory is subject to Curry’s Paradox, which engenders triviality, or the theory is not trivial but the resulting conditional is too weak. In this paper we explore a number of theories which arguably do not fall under this dilemma. In these theories the conditional is characterized in terms of non-deterministic matrices. These non-deterministic theories are similar to infinitely-valued Łukasiewicz logic in that they are consistent and their (...) conditionals are quite strong. The difference is the following: while Łukasiewicz logic is \-inconsistent, the non-deterministic theories might turn out to be \-consistent. (shrink)

A few philosophers have held that determinism should lead to an attitude of resignation: since what will be will be, there is no point trying to influence the future. That argument has rightly been seen as mistaken. But a plausible parallel argument leads from the thesis of predictability---the thesis that it can be known what will happen---to an attitude of resignation. So if predictability is true, our normal practical attitudes may well be deeply mistaken. Fortunately, whilst determinism is (...) a plausible doctrine, there is a strong argument against predictability. Determinism and predictability should be kept well apart. (shrink)

In this article we examine four objections to the genetic modification of human beings: the freedom argument, the giftedness argument, the authenticity argument, and the uniqueness argument. We then demonstrate that each of these arguments against genetic modification assumes a strong version of genetic determinism. Since these strong deterministic assumptions are false, the arguments against genetic modification, which assume and depend upon these assumptions, are therefore unsound. Serious discussion of the morality of genetic modification, and the development (...) of sound science policy, should be driven by arguments that address the actual consequences of genetic modification for individuals and society, not by ones propped up by false or misleading biological assumptions. (shrink)

Julian N. Hartt once observed that Calvin so accentuates divine causation that he denies all secondary agency. A strong statement of God's omnipotence commits Calvin to the position that divine causation is the only connection that has any foundation in reality. And this claim, Hartt noted, places Calvin dangerously close to Spinozism. I have no stake in any analysis that attempts to indicate affinities between Calvin and the Dutch rationalist whom he predates by several generations. But, as Hartt suggested (...) and as I will demonstrate, a persuasive case can be made for Calvin's commitment to a thoroughgoing causal determinism that has God at the helm directing every event. Now one should note at the outset that Calvin has solid theological reasons for stressing the role of God's all-determining will in the course of events. As a Reformation theologian, he is a persistent defender of the utter gratuitousness of grace, thereby denying that the moral, spiritual, and epistemological chasm separating the human and the divine can in any way be reconciled by human being. Yet, for Calvin, grace possesses an omnicompetence – even faith is the gift of grace – which, when examined within the total context of his thought, reveals the radical dependence of the entire created order upon the will of God. (shrink)

Determinist thought with its sui generis view on life, nature and being as a whole is a point of view that could be observed in many different cultures and beliefs. It was thanks to Greek thought that it ceased to be a cultural element and transformed into a systematic cosmology. Schools such as Leucippos, then Democritos and Stoa attempted to integrate the determinist philosophy into ontology and cosmology. In the course of time, physics and metaphysics-based determinism approaches were introduced, (...) and a wide spectrum has emerged from genetics to behaviorism, from culture to psychology, from atomism to divinity. Determinism, whether physical or metaphysical origin, ignores freedom of will and deny agency competence over human behavior. Due to this feature, it is opposed by ethical theories, legal philosophies and religions. When the arguments for determinism are possible to disprove logically and philosophically, this is not so easy when the claims base themselves on scientific base. As the logical consequence of this novel fact, it is important to question the epistemological value of scientific knowledge and critically analyze the data of experiments and clinical studies in terms of methodology when answering any hypothesis such as neuro-biological, neuro-psychological, or neuro-theological argumentations. On the other hand, it is necessary to reach alternative experiments on the same subject or to show that it is possible to interpret them in different ways, as in the example of the Libet experiment. The neurobiological determinism based on biological reductionism, emerged as the result of ignoring the ontological difference of the mind, equating the mind with the brain, or defining mentality as an epiphenomenon of the brain. The main divergence stems from the acceptance of materialist philosophy. Paradigms that reduce existence only to matter do not take the metaphysical possibilities into account. In this case, although the problems called qualia or subjective experience stand there unresolved, the claim is preserved. Although many new developments such as the discovery of the entropy law, the big bang theory, and quantum physics have shaken the materialist philosophy, modern science resists an epistemological revision. However, with the current epistemology, it does not seem possible to grasp both the universe and the being as a whole. This is the most important reason why every attempt to understand the nature and spiritual side of human beings fails despite numerous experiments on the brain. However, the human brain is an organ that seems sophisticated and its secrets cannot be easily solved. Since there is not enough information about the brain, there is not enough evidence to claim that the brain, and therefore the mind, are part of the deterministic universe. Increasing brain researches since the last quarter of the twentieth century has revealed that genes, neurons and particularly brain chemistry claim much greater role than expected in human behavior. These results have been instrumentalized by some researchers for a radical claim that free will is an illusion, while by others it has led to the acceptance of will as less important over actions than was thought. Both ideas adopted a model of biological determinism in which freedom of will was ignored. Hypotheses based on controversial interpretations of various experiments raised concerns about religious, moral, and legal responsibility. Although man cannot be thought of as a non-free being from the point of view of common sense, the smog screen over the truth would not be lifted unless the scientific data in question had a correct interpretation. At first glance, it seems unreasonable to discuss universal determinism in the quantum universe. Nevertheless, the claim that strong causality prevails in the material world, including consciousness, remains in place. Therefore, firstly criticizing determinism and then examining biological determinism will help to fix the conceptual framework. This article aims to explain why genetics and neurobiology, while acknowledging their importance in the realization of behavior, can’t completely abolish moral agency. Some hypotheses attribute consciousness and free will to the physico-shimic structure of the brain, the random activity of neurons, or the ability to automatically transform inputs into outputs with the advantage of genetic information. This is the most sensitive and important point of being human; it attacks free will. Paradoxically, while global civilization of our time promises infinite freedom to human beings the science of the same age tries to prove that it is not free. (shrink)

In this paper, we present an extension of λμ-calculus called λμ++-calculus which has the following properties: subject reduction, strong normalization, unicity of the representation of data and thus confluence only on data types. This calculus allows also to program the parallel-or.

In this paper, we present an extension of $lambdamu$-calculus called $lambdamu^{++}$-calculus which has the following properties: subject reduction, strong normalization, unicity of the representation of data and thus confluence only on data types. This calculus allows also to program the parallel-or.

Several philosophers have developed accounts to dissolve the apparent conflict between deterministic laws of nature and objective chances. These philosophers advocate the compatibility of determinism and chance. I argue that determinism and chance are incompatible and criticize the various notions of “deterministic chance” supplied by the compatibilists. Many of the compatibilists are strongly motivated by scientific theories where objective probabilities are combined with deterministic laws, the most salient of which is classical statistical mechanics. I show that, properly interpreted, (...) statistical mechanics is either an indeterministic theory or else its probabilities are not chances, just as incompatibilism demands. (shrink)

Bell’s Theorem from Physics 36:1–28 (1964) and the (Strong) Free Will Theorem of Conway and Kochen from Notices AMS 56:226–232 (2009) both exclude deterministic hidden variable theories (or, in modern parlance, ‘ontological models’) that are compatible with some small fragment of quantum mechanics, admit ‘free’ settings of the archetypal Alice and Bob experiment, and satisfy a locality condition akin to parameter independence. We clarify the relationship between these theorems by giving reformulations of both that exactly pinpoint their resemblance and (...) their differences. Our reformulation imposes determinism in what we see as the only consistent way, in which the ‘ontological state’ initially determines both the settings and the outcome of the experiment. The usual status of the settings as ‘free’ parameters is subsequently recovered from independence assumptions on the pertinent (random) variables. Our reformulation also clarifies the role of the settings in Bell’s later generalization of his theorem to stochastic hidden variable theories. (shrink)

This paper offers a framework for extending Arnon Avron and Iddo Lev’s non-deterministic semantics to quantified predicate logic with the intent of resolving several problems and limitations of Avron and Anna Zamansky’s approach. By employing a broadly Fregean picture of logic, the framework described in this paper has the benefits of permitting quantifiers more general than Walter Carnielli’s distribution quantifiers and yielding a well-behaved model theory. This approach is purely objectual and yields the semantical equivalence of both α-equivalent formulae and (...) formulae differing only by codenotative terms. Finally, we make a brief excursion into non-deterministic model theory, proving a strong Łoś’ Theorem and compactness for all finitely-valued, non-deterministic logics whose quantifiers have intensions describable in a first order metalanguage. (shrink)

This article builds upon previous discussion of social and technical determinisms as implicit positions in the biofuel debate. To ensure these debates are balanced, it has been suggested that they should be designed to contain a variety of deterministic positions. Whilst it is agreed that determinism does not feature strongly in contemporary academic literatures, it is found that they have generally been superseded by an absence of any substantive conceptualisation of how the social shaping of technology may be related (...) to, or occur alongside, an objective or autonomous reality. The problem of determinism emerges at an ontological level and must be resolved in situ. A critical realist approach to technology is presented which may provide a more appropriate framework for debate. In dialogue with previous discussion, the distribution of responsibility is revisited with reference to the role of scientists and engineers. (shrink)

In A Metaphysics for Freedom, Helen Steward argues that agents settle things when they act, and that in order for agents to settle things, the universe must be indeterministic. Steward suggests a ‘weak’ account of settling, on which settling is compatible with determinism, but she rightly claims that this weak account is unacceptable. In this paper, I argue that the weak account of settling is not the best account of settling available to the compatibilist. In the first part of (...) this paper, I present a ‘strong’ compatibilist account of settling, and argue that this account avoids the problems faced by the weak account. In the second part of this paper, I argue against Steward's claim that compatibilist accounts of settling must depend on the truth of causal theories of action. (shrink)

Montesquieu's Considérations sur les causes de la grandeur des Romains et de leur décadence (1733/1734) is a methodological exercise in causal explanation on the meso-level applied to the subject of the military rise and fall of Rome. Rome is described as a system with contingent initial conditions that have a strong path-determining effect. Contingent and plastic initial configurations become highly determining in their subsequent operation, thanks to self-reinforcing feedback loops. Montesquieu's method seems influenced by the ruthless commitment to efficient (...) causality and the reductionism of seventeenth-century mechanicist philosophy; but in contrast to these predecessors, he is more interested in dynamic processes than in unchangeable substances, and his use of efficient causality in the context of a system approach implies a form of holism that is lacking in his predecessors. The formal and conceptual analysis in this article is in many ways complementary with Paul Rahe's recent predominantly political analysis of the Considérations. At the same time, this article points to a problem in the works on the Enlightenment by Jonathan Israel: his account stresses a one-dimensional continuum consisting of Radical, Moderate and Counter-Enlightenment. This invites Israel to place the combined religious, political and philosophical views of each thinker on one of these three points. His scheme runs into trouble when a thinker with moderate religious and political views produces radical philosophical concepts. Montesquieu's Considérations is a case in point. (shrink)

In the philosophical tradition, the notions of determinism and causality are strongly linked: it is assumed that in a world of deterministic laws, causality may be said to reign supreme; and in any world where the causality is strong enough, determinism must hold. I will show that these alleged linkages are based on mistakes, and in fact get things almost completely wrong. In a deterministic world that is anything like ours, there is no room for genuine causation. (...) Though there may be stable enough macro-level regularities to serve the purposes of human agents, the sense of “causality” that can be maintained is one that will at best satisfy Humeans and pragmatists, not causal fundamentalists. (shrink)

ABSTRACT: Although from the 2nd century BC to the 3rd AD the problems of determinism were discussed almost exclusively under the heading of fate, early Stoic determinism, as introduced by Zeno and elaborated by Chrysippus, was developed largely in Stoic writings on physics, independently of any specific "theory of fate ". Stoic determinism was firmly grounded in Stoic cosmology, and the Stoic notions of causes, as corporeal and responsible for both sustenance and change, and of effects as (...) incorporeal and as predicates, are indispensable for a full understanding of the theory. Stoic determinism was originally not presented as causal determinism, but with a strong teleological element, in the context of a theory of natural motions, which makes use of a distinction between a global and an inner-worldly perspective on events. However, Chrysippus also employed his conception of causality in order to explicate his determinism, and can be shown to have maintained a universal causal determinism in the modern sense of the erm. The teleological and mechanical elements of early Stoic determinism were brought together in Chrysippus' conception of fate, which places elements of rationality in every cause. (shrink)

Recently some results have been presented which show that certain kinds of deterministic descriptions and indeterministic descriptions are observationally equivalent (Werndl 2009a, 2010). This paper focuses on some philosophical questions prompted by these results. More specifically, first, I will discuss the philosophical comments made by mathematicians about observational equivalence, in particular Ornstein and Weiss (1991). Their comments are vague, and I will argue that, according to a reasonable interpretation, they are misguided. Second, the results on observational equivalence raise the question (...) of whether the deterministic or indeterministic description is preferable relative to all evidence. If none of them is preferable, there is underdetermination. I will criticize Winnie's (1998) argument that, by appealing to different observations, one finds that the deterministic description is preferable. In particular, I will clarify a confusion in this argument. Furthermore, I will argue that if the concern is a strong kind of underdetermination, the argument delivers the desired conclusion but this conclusion is trivial; and for other kinds of underdetermination of interest the argument fails. (shrink)

This paper considers the empirical evidence that we currently have for various kinds of determinism that might be relevant to the thesis that human beings possess libertarian free will. Libertarianism requires a very strong version of indeterminism, so it can be refuted not just by universal determinism, but by some much weaker theses as well. However, it is argued that at present, we have no good reason to believe even these weak deterministic views and, hence, no good (...) reason—at least from this quarter—to doubt that we are libertarian free. In particular, the paper responds to various arguments for neural and psychological determinism, arguments based on the work of people like Honderich, Tegmark, Libet, Velmans, Wegner, and Festinger. (shrink)

_Some say there is no progress in philosophy, and certainly there is one sense in_ _which they are wrong. There are at least significant developments in philosophical_ _doctrines that have been persistently advocated in the past. With confidence I leave_ _you to arrive at a satisfactory understanding of 'significant'. There is no doubt that_ _Robert Kane has made some progress, probably more than any other contemporary_ _philosopher, in the laying out and defending of the doctrine that an understandable_ _freedom is (...) importantly inconsistent with determinism, and that we do have this_ _freedom. If the past is any guide to the present, I myself, with the aid of further_ _study, will come to disagree. But certainly this summation of Kane's views, put_ _together for the Determinism and Freedom Philosophy Website, is strongly_ _commended to you._. (shrink)

This book argues two main things: The first is that there is no such thing as free will—at least not in the sense most ordinary folk take to be central or fundamental; the second is that the strong and pervasive belief in free will can be accounted for through a careful analysis of our phenomenology and a proper theoretical understanding of consciousness.

'Review from previous edition 'the arguments for free will and determinism are lucidly laid out... A primer that is serviceable, enjoyable and rather mischievous.'' - The Observer 1993 ''refreshing, provocative and original work'' - Times Literary Supplement 1994 ''a readable and engaging introduction to the determinism controversy... Honderich's book is well worth reading... the view he presents is provocative and he has written a very challenging and enlightening introduction to 'the determinism problem' that should be widely read.'' (...) - Times Educational Supplement 1994 ''If you feel strong enough read this book; if not be glad that it has been written; this is main stream philosophy and its conclusions are encouraging.'' -New Directions July 2002This second edition of the best-known and most translated introduction to the great philosophical problem of determinism and freedom has been fully revised and enlarged to take account of debates emerging since the first edition was published. In the first edition Ted Honderich went beyond two traditions of philosophical thought, whilst in this edition he indicates that the nature of the debate must change. (shrink)

In this paper, the theory of necessity proposed by Robert Grosseteste is presented. After showing the wide range of various kinds of determination discussed by him (connected with: (1) one’s knowledge about the future, (2) predestination, (3) fate, (4) grace, (5) sin and temptation), a different context of Grosseteste’s use of the notion of necessity is analyzed (within logical and metaphysical approaches). At the heart of his theory lie: the definition of necessity, which is that something lacks the capacity (posse) (...) for its opposite, and the distinction between two perspectives within which we can consider necessity: (1) the one according to which the truthfulness of a dictum determines that it cannot be the opposite, (2) a pre- or atemporal one, as if something had not yet begun. On these grounds, Robert explains that God’s omniscience is compatible with contingency, including human free decisions. Robert’s theory is still relevant and useful in contemporary debates, as it can provide strong arguments and enrich discussions, thanks to the twoperspectives approach, which generates nine kinds of positions on the spectrum of determinism and indeterminism. (shrink)

It is commonly thought that before the introduction of quantum mechanics, determinism was a straightforward consequence of the laws of mechanics. However, around the nineteenth century, many physicists, for various reasons, did not regard determinism as a provable feature of physics. This is not to say that physicists in this period were not committed to determinism; there were some physicists who argued for fundamental indeterminism, but most were committed to determinism in some sense. However, for them, (...) determinism was often not a provable feature of physical theory, but rather an a priori principle or a methodological presupposition. Determinism was strongly connected with principles of causality and continuity and the principle of sufficient reason; this thesis examines the relevance of these principles in the history of physics. Moreover, the history of determinism in this period shows that there were essential changes in the relation between mathematics and physics: whereas in the eighteenth century, there were metaphysical arguments which lent support to differential calculus, by the early twentieth century the development of rigorous foundations of differential calculus led to concerns about its applicability in physics. The thesis consists of six papers. In the first paper, "On the origins and foundations of Laplacian determinism", I argue that Laplace, who is usually pointed out as the first major proponent of scientific determinism, did not derive his statement of determinism directly from the laws of mechanics; rather, his determinism has a background in eighteenth century Leibnizian metaphysics, and is ultimately based on the law of continuity and the principle of sufficient reason. These principles also provided a basis for the idea that one can find laws of nature in the form of differential equations which uniquely determine natural processes. In "The Norton dome and the nineteenth century foundations of determinism", I argue that an example of indeterminism in classical physics which has attracted attention in philosophy of physics in recent years, namely the Norton come, was already discussed during the nineteenth century. However, the significance which this type of indeterminism had back then is very different from the significance which the Norton dome currently has in philosophy of physics. This is explained by the fact that determinism was conceived of in an essentially different way: in particular, the nineteenth century authors who wrote about this type of indeterminism regarded determinism as an a priori principle rather than as a property of the equations of physics. In "Vital instability: life and free will in physics and physiology, 1860-1880", I show how Maxwell, Cournot, Stewart and Boussinesq used the possibility of unstable or indeterministic mechanical systems to argue that the will or a vital principle can intervene in organic processes without violating the laws of physics, so that a strictly dualist account of life and the mind is possible. Moreover, I show that their ideas can be understood as a reaction to the law of conservation of energy and to the way it was used in physiology to exclude vital and mental causes. In "The nineteenth century conflict between mechanism and irreversibility", I show that in the late nineteenth century, there was a widespread conflict between the aim of reducing physical processes to mechanics and the recognition that certain processes are irreversible. Whereas the so-called reversibility objection is known as an objection that was made to the kinetic theory of gases, it in fact appeared in a wide range of arguments, and was susceptible to very different interpretations. It was only when the project of reducing all of physics to mechanics lost favor, in the late nineteenth century, that the reversibility objection came to be used as an argument against mechanism and against the kinetic theory of gases. In "Continuity in nature and in mathematics: Boltzmann and Poincaré", I show that the development of rigorous foundations of differential calculus in the nineteenth century led to concerns about its applicability in physics: through this development, differential calculus was made independent of empirical and intuitive notions of continuity and was instead based on mathematical continuity conditions, and for Boltzmann and Poincaré, the applicability of differential calculus in physics depended on whether these continuity conditions could be given a foundation in intuition or experience. In the final paper, "Determinism around 1900", I briefly discuss the implications of the developments described in the previous two papers for the history of determinism in physics, through a discussion of determinism in Mach, Poincaré and Boltzmann. I show that neither of them regards determinism as a property of the laws of mechanics; rather, for them, determinism is a precondition for science, which can be verified to the extent that science is successful. (shrink)

Genetic determinism labels the morally problematical claim that some socially significant traits, traits we care about, such as sexual orientation, gender roles, violence, alcoholism, mental illness, intelligence, are largely the results of the operation of genes and not much alterable by environment, learning or other human intervention. Genetic determinism does not require that genes literally fix these socially significant traits, but rather that they constrain them within narrow channels beyond human intervention. In this essay we analyze genetic (...) class='Hi'>determinism in light of what is now known about the inborn error of metabolism phenylketonuria , which has for so long been the poster child ‘simple’ argument in favor of some form of genetic determinism. We demonstrate that this case proves the exact opposite of what it has been proposed to support and provides a strong refutation of genetic determinism in all its guises. (shrink)

Genetic determinism is the idea that many significant human characteristics are rendered inevitable by the presence of certain genes. The psychologist Susan Oyama has famously compared arguing against genetic determinism to battling the undead. Oyama suggests that genetic determinism is inherent in the way we currently represent genes and what genes do. As long as genes are represented as containing information about how the organism will develop, they will continue to be regarded as determining causes no matter (...) how much evidence exists to the contrary. Philip Kitcher has strongly disputed Oyama’s diagnosis, arguing that the conventional ‘interactionist’ perspective on development is the correct framework for understanding the role of the genes in development. While acknowledging the legitimacy of many of Kitcher’s observations, I believe that Oyama’s view is substantially correct. In this paper I provide several lines of support for support the Oyama diagnosis. (shrink)

The notion of (deterministic) chaos is frequently used in an increasing number of scientific (as well as non-scientific) contexts, ranging from mathematics and the physics of dynamical systems to all sorts of complicated time evolutions, e.g., in chemistry, biology, physiology, economy, sociology, and even psychology. Despite (or just because of) these widespread applications, however, there seem to fluctuate around several misunderstandings about the actual impact of deterministic chaos on several problems of philosophical interest, e.g., on matters of prediction and computability, (...) and determinism and the free will. In order to clarify these points a survey of the meaning variance of the concept(s) of deterministic chaos, or the various contexts in which it is applied, is given, and its actual epistemological implications are extracted. In summary, it turns out that the various concepts of deterministic chaos do not constitute a “new science”, or a “revolutionary” change of the “scientific world picture”. Instead, chaos research provides a sort of toolbox of methods which are certainly useful for a more detailed analysis and understanding of such dynamical systems which are, roughly speaking, endowed with the property of exponential sensitivity on initial conditions. Such a property, then, implies merely one, but quantitatively strong type of limitation of long-time computability and predictability, respectively. (shrink)

Building on previous work by Coquand and Spiwack [T. Coquand, A. Spiwack, A proof of strong normalisation using domain theory, in: Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science, LICS’06, IEEE Computer Society Press, 2006, pp. 307–316] we construct a strict domain-theoretic model for the untyped λ-calculus with pattern matching and term rewriting which has the property that a term is strongly normalising if its value is not . There are no disjointness or confluence conditions (...) imposed on the rewrite rules, and under a mild but necessary condition completeness of the method is proven. As an application, we prove strong normalisation for barrecursion in higher types combined with polymorphism and non-deterministic choice. (shrink)

A common way of characterizing Boltzmann’s explanation of thermodynamics in term of statistical mechanics is with reference to three ingredients: the dynamics, the past hypothesis, and the statistical postulate. In this paper I focus on the statistical postulate, and I have three aims. First, I wish to argue that regarding the statistical postulate as a probability postulate may be too strong: a postulate about typicality would be enough. Second, I wish to show that there is no need to postulate (...) anything, for the typicality postulate can be suitably derived from the dynamics. Finally, I discuss how the attempts to give preference to certain stochastic quantum theories (such as the spontaneous collapse theory) over deterministic alternatives on the basis that they do not need the statistical postulate fail. (shrink)

Belief in substance dualism, the idea that mind and matter are two different kinds of substances, has been found to be a strong predictor of belief in free will. Why? Here, we test whether believing that mind and matter are different kinds of substance correlates with differences in how people think of free will and/or differences in how people interpret the scenarios used to test their conceptions. We provided participants (N = 515) with two hypothetical scenarios where the world (...) was presented either as deterministic or not and asked them whether they thought that a given decision could be free in that world. Incompatibilist free will requires that determinism, the idea that at any instant only one possible future can follow from the state of the world, is false. Compatibilists hold that free will is possible even if determinism is true. In this study, we investigate if substance dualists are more compatibilist. We find that they are not, and that both dualists and physicalists agree that free will is incompatible with determinism. In addition, we show that dualists and physicalists are equally likely to commit bypassing, i.e., to misinterpret determinism as excluding mental causation. We also show that dualists have a stronger tendency to commit intrusion, i.e., to misinterpret determinism by importing indeterministic metaphysics into their interpretation of deterministic descriptions. (shrink)

The main goal of this paper is to provide an abstract framework for constructing proof systems for various many-valued logics. Using the framework it is possible to generate strongly complete proof systems with respect to any finitely valued deterministic and non-deterministic logic. I provide a couple of examples of proof systems for well-known many-valued logics and prove the completeness of proof systems generated by the framework.

Background: By organizing and activating our passions with both hormones and experiences, the heart and mind of sexual behavior, sexual motivation, and sexual preference is the brain, the organ of learning. Despite decades of progress, this incontrovertible truth is somehow lost in the far-too-often biologically deterministic interpretation of genetic, hormonal, and anatomical scientific research into the biological origins of sexual motivation. Simplistic and polarized arguments are used in the media by both sides of the seemingly endless debate over sexual orientation, (...) equality, and human rights with such catch phrases as ‘‘born gay’’ contrasted against attempts of ‘‘reparative therapy’’ or ‘‘pray the gay away’’. Though long abandoned in practically every other area of psychology, this remnant of the nature-nurture controversy remains despite its generally acknowledged insufficiency in explaining any adult aspect of the human condition within the scientific community. Methods: This theoretical review article identifies three factors: 1) good intentions with regard to the argument from immutability; 2) false dichotomies limiting intellectual progress by oversimplification of theory and thus hypothesis, and most dangerously, interpretation and; 3) Tradition: a historical separation of the disciplines of biology and psychology, which, to this day, interferes with the effective translation of well-conducted science into good public understanding and policy. Results: Studies clearly demonstrate that progress toward sexual-orientation equality is being made, if slowly, despite the apparent irrelevance of the ‘‘born gay’’ argument from immutability. Evidence is further provided supporting the inadequacy of polarized, dichotic theories of sexual development, particularly those pitting ‘‘blank slate learning’’ against a fated, deterministic biological perspective. Results of this review suggest that an emerging interactionist perspective will promote both better scientific progress and better public understanding, hopefully contributing to progress toward nondiscriminatory public policy. Conclusion: Accepting that the brain is a highly plastic, modularly dimorphic, developmentally biased organ of learning, one which is organized and activated by both hormones and experiences across the lifespan, is essential for doing ‘‘good science’’ well. Interactionist theories of psychosexual development provide an empirically sound, strong, yet modifiable foundation for testable hypotheses exploring biologically biased sexual learning. Keywords: Brain; conditioning; controversy; dichotomy; differentiation; discrimination; equality; sex; sexual; orientation; learning; learned sexuality; born gay; hedonic evaluation; immutability; imprinting; incentive motivation; interactionism; predispositions; theory; therapy (Published: 15 March 2012) Citation: Socioaffective Neuroscience & Psychology 2012, 2 : 17334 - DOI: 10.3402/snp.v2i0.17334. (shrink)

This book engages with the writings of W.G. Sebald, mediated by perspectives drawn from curriculum and architecture, to explore the theme of unsettling complacency and confront difficult knowledge around trauma, discrimination and destruction. Moving beyond overly instrumentalist and reductive approaches, the authors combine disciplines in a scholarly fashion to encourage readers to stretch their understandings of currere. The chapters exemplify important, timely and complicated conversations centred on ethical response and responsibility, in order to imagine a more just and aesthetically experienced (...) world. In the analysis of bildung as human formation, the book illuminates the pertinent lessons to be learned from the works of Sebald and provokes further investigations into the questions of memory, grief, and limits of language. Through its juxtaposition of curriculum and architecture, and using the prose of Sebald as a prism, the book revitalizes questions about education and ethics, probes the unsettling of complacency, and enables conversation around difficult knowledge and ethical responsibility, as well as offering hope and resolve. An important intervention in standard approaches to understanding currere, this book provides essential context for scholars and educators with interests in the history of education, curriculum studies, cultural studies, memory studies, narrative research, Sebaldian studies, and educational philosophy. (shrink)

The world as we find it -- Kant and the death of God -- Nietzsche: the tragic ethos and the spirit of music -- Max Weber, magic, and the politics of social scientific objectivity -- "What have we to do with morals?": Nietzsche and Weber on the politics of morality -- Sigmund Freud and the heroism of knowledge -- Lenin and the calling of the party -- Carl Schmitt and the exceptional sovereign -- Martin Heidegger and the space of the (...) political -- Without a banister: Hannah Arendt and roads not taken -- Conclusion: the world as it finds us. (shrink)

This note presents a point of view upon the notions of programsubstitution which are the tools for proving properties of programs of algorithmic logics [5], [3] being sufficiently strong and universal to comprise almost all previously introduced theories of programming, and the so-called extended algorithmic logic [1], [2] and algorithmic logic with nondeterministic programs [4]. It appears that the mentioned substitution rule allows us to examine more deeply algorithmic properties of terms, formulas and programs. Besides the problem of Post-completeness (...) and structural completeness of algorithmic logics strengthened additionally by the rule of substitution is raised. (shrink)