Based on the computation mode introduced in [13], we deal with the time complexity of computations over arbitrary first-order structures.The main emphasis is on parameter-free computations. Some transfer results for solutions of P versus NP problems as well as relationships to quantifier elimination are discussed. By computation tree analysis using first-order formulas, it follows that P versus NP solutions and other results of structural complexity theory are invariant under elementary equivalence of structures.

If S ⊆{0,1}; * and S ′ = {0,1} * \sb S are both recognized within a certain nondeterministic time bound T then, in not much more time, one can write down tautologies A n → A′ n with unique interpolants I n that define S ∩{0,1} n ; hence, if one can rapidly find unique interpolants, then one can recognize S within deterministic time T p for some fixed p \s>0. In general, complexity measures for the problem of finding (...) unique interpolants in sentential logic yield new relations between circuit depth and nondeterministic Turing time, as well as between proof length and the complexity of decision procedures of logical theories. (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”).

My initial work, with collaborators Stephen Morris, Thomas Nadelhoffer, and Jason Turner (2005, 2006), on surveying folk intuitions about free will and moral responsibility was designed primarily to test a common claim in the philosophical debates: that ordinary people see an obvious conflict between determinism and both free will and moral responsibility, and hence, the burden is on compatibilists to motivate their theory in a way that explains away or overcomes this intuitive support for incompatibilism. The evidence, if any, (...) offered by philosophers to support the claim that incompatibilism is intuitive has consisted of reports of their own intuitions or informal polls of their students. We were skeptical about the reliability of such evidence, so we used the methodology--”now associated with the label 'experimental philosophy'--”of conducting formal surveys on non-philosophers. Our participants read a scenario that describes a deterministic universe and were then asked to judge whether agents in those scenarios act of their own free will and are morally responsible for their actions. Using three different scenarios with hundreds of participants, we consistently found that the majority (2/3 to 4/5) responded that agents in deterministic universes do act of their own free will and are morally responsible. That is, we found that most ordinary folk do not seem to find incompatibilism intuitive or obviously correct. Our results have been challenged in various ways, philosophical and methodological. For instance, Shaun Nichols (2004, this volume) and Nichols and Joshua Knobe (unpublished) offer some experimental evidence suggesting that, in certain conditions, most people express incompatibilist and libertarian intuitions. I will respond to this work in the following section. I agree that people express conflicting intuitions about free will (after all, we consistently found a minority of participants expressing incompatibilist. (shrink)

I argue that there cannot be a sense attached to “could have done otherwise” that is both compatible with the truth of determinism and relevant to the question of free will. Then I develop an incompatibilist response to the common objection that the incompatibilist requires of free actions that they have no causes and therefore cannot be anything for which an agent can be responsible. In the process, I bring out a similarity between compatibilism and incompatibilism in respect of (...) where their problem lies. (shrink)

Enumeration reducibility is a notion of relative computability between sets of natural numbers where only positive information about the sets is used or produced. Extending e‐reducibility to partial functions characterises relative computability between partial functions. We define a polynomial time enumeration reducibility that retains the character of enumeration reducibility and show that it is equivalent to conjunctive non‐deterministic polynomial time reducibility. We define the polynomial time e‐degrees as the equivalence classes under this reducibility and investigate their structure on the recursive (...) sets, showing in particular that the pe‐degrees of the computable sets are dense and do not form a lattice, but that minimal pairs exist. We define a jump operator and use it to produce a characterisation of the polynomial hierarchy. (shrink)

This paper proposes new semantics for propositional dynamic logic (PDL), replacing the standard relational semantics. Under these new semantics, program execution is represented as fundamentally deterministic (i.e., functional), while nondeterminism emerges as an epistemic relationship between the agent and the system: intuitively, the nondeterministic outcomes of a given process are precisely those that cannot be ruled out in advance. We formalize these notions using topology and the framework of dynamic topological logic (DTL) (Kremer and Mints in Ann Pure Appl (...) Logic 131:133–158, 2005). We show that DTL can be used to interpret the language of PDL in a manner that captures the intuition above, and moreover that continuous functions in this setting correspond exactly to deterministic processes. We also prove that certain axiomatizations of PDL remain sound and complete with respect to the corresponding classes of dynamic topological models. Finally, we extend the framework to incorporate knowledge using the machinery of subset space logic (Dabrowski et al. in Ann Pure Appl Logic 78:73–110, 1996), and show that the topological interpretation of public announcements as given in Bjorndahl (in: van Ditmarsch and Sandu (eds) Jaakko Hintikka on knowledge and game theoretical semantics, outstanding contributions to Logic, vol 12, Springer, 2018) coincides exactly with a natural interpretation of test programs. (shrink)

This paper describes an approach for reasoning in a dynamic domain with nondeterministic actions in which an agent’s beliefs correspond to the simplest, or most plausible, course of events consistent with the agent’s observations and beliefs. The account is based on an epistemic extension of the situation calculus, a first-order theory of reasoning about action that accommodates sensing actions. In particular, the account is based on a qualitative theory of nondeterminism. Our position is that for commonsense reasoning, the world (...) is most usefully regarded as deterministic, and that nondeterminism is an epistemic phenomenon, arising from an agent’s limited awareness and perception. The account offers several advantages: an agent has a set of categorical beliefs, yet can deal with equally-likely outcomes or with outcomes of differing plausibility. The agent maintains as its set of contingent beliefs the most plausible, or simplest, picture of the world, consistent with its beliefs and actions it believes it executed; yet it may modify these in light of later information. (shrink)

In this module, I first explore the dialectic that leads to Kant’s substantive moral theory. In the second section, I explicate the roots of Kant’s ethical theory in terms of his attempt to resolve the antinomy of freedom and determinism. Kant’s solution is a Normative Compatibilism that resolves the inconsistency via morality, in general, and self-governance in particular. As noted in our lesson on Yoga, this is a strategy that Yoga endorses, and hence, predates the Kantian approach by over (...) a millennia and a half. Yet, Kant’s approach to Normative Compatibilism is unique to him, and perhaps, more influential. In the third section, I review Kant’s dialectic by which he concludes that The Categorical Imperative is the means by which rational agents resolve this tension by freely determining themselves. In the fourth section, I consider some preliminary objections to Kant’s theory. In the fifth section, I draw some conclusions. (shrink)

There are two well-developed formalizations of discrete time dynamic systems that evidently share many concerns but suffer from a lack of mutual awareness. One formalization is classical systems and automata theory. The other is the logic of actions in which the situation and event calculi are the strongest representatives. Researchers in artificial intelligence are likely to be familiar with the latter but not the former. This is unfortunate, for systems and automata theory have much to offer by way of insight (...) into problems raised in the logics of action. This paper is an outline of how the input-output view of systems and its associated solution of state realization may be applied to the formalization of dynamics that uses a situation calculus approach. In particular, because the latter usually admits incompletely specified dynamics, which induces a non-deterministic input-output system behavior, we first show that classical state realization can still be achieved if the behavior is causal. This is a novel systems-theoretic result. Then we proceed to indicate how situation calculi dynamic specifications can be understood in systems-theoretic terms, and how automata can be viewed as models of such specifications. As techniques for reasoning about automata are abundant, this will provide yet more tools for reasoning about actions. (shrink)

One of the most important paraconsistent logics is the logic mCi, which is one of the two basic logics of formal inconsistency. In this paper we present a 5-valued characteristic nondeterministic matrix for mCi. This provides a quite non-trivial example for the utility and effectiveness of the use of non-deterministic many-valued semantics.

Vedānta has two meanings. The first is the literal sense – “End of Vedas” – and refers to the Āraṇyakas and Upaniṣads—the latter part of the Vedas. The second sense of “Vedanta” is a scholastic one, and refers to a philosophical orientation that attempts to explain the cryptic Vedānta Sūtra (Brahma Sūtra) of Bādarāyaṇa, which aims at being a summary of the End of the Vedas. In the previous module, I review the ethics of the End of the Vedas and (...) explicate the Moral Irrealism of Śaṅkara’s Advaita Vedānta, which is articulated as a commentary on the Vedānta Sūtra. In this module, I compare Rāmānuja (Viśiṣṭādvaita Vedānta) and Madhva's (Dvaita Vedānta) account of the Vedānta Sūtra. Both are moral realists. They differ on the room for freedom given the necessity of moral considerations. One value of the Vedānta approach to ethics is that it provides a non-speciesist framework to think about ethics. It allows us to understand ourselves (ātmā) and our interest in Development (Brahman) as conceptually distinct, though identical in some manner. The Advaita view is that this identity is strict. The Dvaita approach is that Development realises the results of choices of individuals, but only some, owing to their good character, are capable of taking advantage of this for their betterment. The Viśiṣṭādvaita approach of Rāmānuja suggests in contrast that each self is a microcosm of reality. Reality is Development – the genus of individual selves. Each self has Development as an essential trait, but owing to past choices (karma), this is poorly understood. Things change when the individual self understands Brahman to be its true self, for then an individual can re-direct their efforts from procuring results to self-governance by treating the personal essence of the Development (the Lord) as the explanation for improvement. (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.

The Yoga Sūtra (YS) is perhaps the most popular book of Indian philosophy today the world over. It is widely regarded by practitioners of Yoga as a conceptual manual for yoga and there are several competing translations of the work on the market. Yet, the Yoga Sūtra is also widely regarded as a difficult text to read. It is written in a dense, aphoristic, sūtra format. In the introductory section, I tackle the question of methodology in reading the Yoga Sūtra. (...) In the second explication section, I move to the crux: Yoga and Sāṅkhya—two schools that are often conflated with each other—present two very differing accounts of Freedom and Determinism. In the third section, I review the considerations that Yoga presents for its Normative Compatibilism. Yoga is depicted by the Yoga Sūtra as a process that we explore and finalize in public space. The goal of extricating ourselves from nature so as to deliver us into a personal world is the aim that underlies the project of liberating ourselves from external coercion in public. Ethics, or Dharma, is the normative light that makes us unique and makes us individual persons, as opposed to functions of nature or our environment. Isolation, autonomy, kaivalya, is our freedom as individuals in a social world free from external influence and coercion. (shrink)

All physical processes are deterministic de iure. Physicists speak about different types of determinism of physical processes, depending on the degree with which their course can be anticipated. Usually, the course of ergodic processes can be predicted with less certainty than the non-ergodic ones, the latter being integrable. Recent measurements of motions of single particles in composite systems, especially in living biological cells, show that such motions are, in most cases, breaking the Boltzmann’s ergodic hypothesis. On the other hand, (...) their trajectories are random, i.e., one cannot know a priori where the particle will be even in near future. This leads to conclusion that many existing in nature processes are nonergodic but not integrable, therefore predictable only in the mean, representing still other type of determinism. (shrink)

One reason that many of the philosophical debates about free will might seem intractable is that di erent participants in those debates use various terms in ways that not only don't line up, but might even contradict each other. For instance, it is widely accepted to understand libertarianism as\the conjunction of incompatibilism [the thesis that free will is incompatible with the truth of determinism] and the thesis that we have free will" (van Inwagen (1983), 13f; see also Kane (2001), (...) 17; Pereboom (2006), xiv). However, for van Inwagen's later reservations about the use of the term `libertarianism', see van Inwagen (2008), relevant pages). This makes perplexing a number of views that have the name `libertarian compatibilism' (see Vihvelin (2000) and Arvan (2013)) as on the standard use of the terms involved, the name appears to involve a contradiction. Even the meaning and usage of the term `free will' is itself contested. Manuel Vargas writes that \`free will' is a term of both ordinary and technical discourse" (Vargas (2013), 325). However, it is not clear if the ordinary use of the term always tracks the technical use. But in an in uential paper on \How to Think about About the Problem of Free Will," Peter van Inwagen claims that \the phrase `free will' . . . hardly exists except as a philosophical term of art. Its non- philosophical uses are pretty much con ned to the phrase `of his/her own free will' which means `uncoerced"' (van Inwagen (2008), 320 footnote 1). To many of us, a look at the philosophical and literatures of the past millennium suggest a use that need not be a technical notion, even if it is often used in a technical way. No matter how this debate about the `ordinary use' of the phrase turns out, recognizing that `free will' gets used in di erent ways and being careful in such usage is important in order to avoid what Chalmers has called `merely verbal disputes' (Chalmers (2011)). For this reason, we want to be very clear in how we understand and de ne free will. There seem to be at least two di erent fundamental notions of what free will is in the contemporary literature. The rst of these, which seems to have garnered the most attention in the last century, works under the assumption that for a person to rightly be said to have free will, she must have the ability 1 to do otherwise than what she does, in fact, do. Under this view I could be said to have freely chosen to drive to work only if I also could have freely chosen, for example, to bike to work or to skip work altogether. This approach to free will is referred to as a `leeway-based approach' (cite my book) or an `alternative- possiblities approach' (see Sartorio (2016).) In contrast, a smaller percentage of the extant literature focuses primarily on the issues of `source,' `ultimacy,' and `origination'. This second approach doesn't focus immediately on the presence or absence of alternative possibilities. On this approach, I freely choose to drive to work only if I am the source of my choice and there is nothing outside of me from which the choice is ultimately derived. In what follows, we refer to the rst of these conceptions|the conception that free will is primarily a matter of having alternative possibilities|as the `leeway- based' conception. Similarly, we will refer to the second of these conceptions| that free will is primarily a matter of our being the source of our choices in a particular way|as the `sourcehood' conception. (John Fischer and Carolina Sartorio refers to sourcehood views as `actual sequence' views; see Fischer (2006) and Sartorio (2016)). Both of these notions can be seen in the following passage taken from Robert Kane: We believe we have free will when we view ourselves as agents ca- pable of in uencing the world in various ways. Open alternatives, or alternative possibilities, seem to lie before us. We reason and deliberate among them and choose. We feel (1) it is `up to us' what we choose and how we act; and this means we could have chosen or acted otherwise. As Aristotle noted: when acting is `up to us,' so is not acting. This `up-to-us-ness' also suggests (2) the ultimate control of our actions lies in us and not outside us in factors beyond our control (Kane (2005), 6). In the next two sections, I look in greater detail at each of these two approaches to the nature of free will, and how they each seek to approach what it means for an action to be `up to us'. I also show how the di erences between these two conceptions cut across the debate about what Kane refers to as the Com- patibility Question: \Is free will compatible with determinism?" (Kane (1996), 13). Along the way, I also brie y point out a number of ways how which of these conceptions is at work shapes how one engages various arguments and other issues regarding. (shrink)

In this paper, I put forward a benchmark account of emergence in terms of non-explainability and explicate the relationship that exists between its synchronic and diachronic declinations. I develop an argument whose conclusion is that emergence is essentially a “two-faceted” notion, i.e. it always encapsulates both synchronic and diachronic dimensions. I then compare this account with alternative recent accounts of emergence that define the concept through the notion of unpredictability or topological non-equivalence.

What is the meaning of perestrojka? There is no doubt that it led to the end of the Cold War and had a huge impact on the international situation. Nevertheless, there is no consensus as to the outcomes of perestrojka. Perestrojka brought about the collapse of the Soviet Union. This fact might be interpreted positively: it opened the possibility to restore historical truth and to create independent democratic states. From another perspective, it can be conceived negatively as a destruction of (...) the integrity of the Soviet Union and the loss of a part of the territory as well as the economy of Russia (according to the President of the Gorbačev Foundation, Viktor Kuvaldin, during the conference “Revisiting Perestroika—Processes and Alternatives”). Perestrojka has no one definite general meaning, but it has a very specific one for Lithuania. In this paper I ask: What is the meaning of perestrojka for contemporary Lithuania and for post-Soviet life? Was perestrojka a failure or a success? I approach perestrojka from a moral point of view, suggesting that the perestrojka made possible a fundamental choice between several alternatives. Once the choice was made the specificity of future goals and evaluation of the past opened up. I concentrate on the moral value of the act of accommodation (and resistance) to the Soviet regime, on the conflict of values represented by the “nation’s own” and the goodness of the political order, and on the role of freedom and determinism in history. Immanuel Kant’s conception of duty and the categorical imperative is used as a model for the analysis of the situation of choice. (shrink)

Bohm’s interpretation of quantum mechanics has generally been received as an attempt to restore the determinism of classical physics. However, although this interpretation, as Bohm initially proposed it in 1952, does indeed have the feature of being deterministic, for Bohm this was never the main point. In fact, in other publications and in correspondence from this period, he argued that the assumption that nature is deterministic is unjustified and should be abandoned. Whereas it has been argued before that Bohm’s (...) commitment to determinism was connected to his interest in Marxism, I argue for the opposite: Bohm found resources in Marxist philosophy for developing a nondeterministic notion of causality, which is based on the idea of infinite complexity and an infinite number of levels of nature. From ca. 1954 onwards, Bohm’s conception of causality further weakened, as he developed the idea of a dialectical relation between causality and chance. (shrink)

The book deals with the changing nature and with the history of the concept of scientific determinism from the classical mechanics until the time immediately preceding quantum mechanics: such a historical-philosophical reconstruction is aimed at (1) signalizing and overcoming the deficiencies of the received opinion on the topic and (2) understanding better a concept which has influenced science from the beginning. -/- Before dealing with historical matters I develop in the first Chapter a kind of new, three-dimensional “measurement system” (...) for analyzing any concept of scientific determinism: many different concepts have been developed in the course of history, and we need a classification system which, on the one hand, is inclusive and broad enough to deal with different concepts; on the other hand, which makes possible to differentiate with some precision between them. My “measurement system” has three dimension or parameter: the “strength” (of the determining link between different states of the physical system), the “depth” (depending on how strong the ontological commitment of the particular concept of scientific determinism is), and the breadth (referring to the domain or the object, to which a deterministic evolution is ascribed). -/- In the second chapter I discuss briefly some main shortcomings of the received opinion about scientific determinism. Then I try to identify the “core” of scientific determinism at its origins while at the same time embedding it in the broader historical-cultural context especially of the Renaissance. On the one hand I show how the core of scientific determinism was mathematical, and this distinguished it from other related concepts, as mechanism, the principle of sufficient reason, and the aristotelic conception of science. On the other hand, precisely the support which these related concepts provided to scientific determinism, together with its mathematical nature, endowed it with an incredible resistance against empirical classification. -/- In the following three chapters I analyze the historic-philosophical development of scientific determinism along the three parameter of my measurement system. -/- In the third Chapter I reconstruct the weakening of scientific determinism with respect to its depth: the starting point is the question about the extent in which the deterministic mathematical descriptions do refer. In the development of mechanics into analytical mechanics the more and more formal character of its mathematical descriptions became evident and it became less obvious that these formal, deterministic structures also have an immediate material truth. Parallel developments within epistemology, starting with Kantian philosophy (which I deal with quite in detail), let the deterministic structures (principle, laws, equations, causal relations) appear less absolute and real and more as a product of reason, as conventions, or as models. A brief consideration of the interpretation of mechanics and its principles by Jacobi, Hertz, Mach and Poincaré shows the implications of these developments. -/- The fourth chapter reconstructs the weakening of scientific determinism with respect to the strength of the determining link: here my work deepens the track which has been opened by Ian Hacking, who interpreted the so-called “probabilistic revolution” in the 19th Century as the main reason for the erosion of determinism. The increasing pervasiveness of statistical methods in the social and natural sciences in the course of the 19th Century gave rise to a conception of scientific laws which could dispense with strict determinism. A new, empirical interpretation of probability (Frequentism) and the statistical explanation of thermodynamic phenomena in physics even suggested chance phenomena to be a necessary condition for the emergence of natural laws. -/- The last part of my work (Ch. 5, 6 and 7) considers the period (2nd half of the 19th century until ca. 1920) in which the concept of scientific determinism became explicit and was discussed as a world-picture or a world-view – that is, in its maximal breadth. I argue that there were two main reasons for the emergence of an explicit and ideological opposition “determinism vs. indeterminism” at that time: the first was the successful application of the deterministic paradigm to sociology, history, physiology and psychology in the course of the 19th Century, which provided scientific determinism with ethical implications (in particular with respect to the problem of free will, which scientific determinism seemed to deny). The second, related reason is that in the 19th Century natural scientists became public men, science was increasingly popularized and scientific issues were increasingly related to life-issues, to worldview-questions, and even to politics. In Chapter 6 I reconstruct the debates on the issue “determinism vs. indeterminism” in such a public, ideological and sometimes even political context. Among the discussants were Fechner, Du Bois-Reymond, Helmholtz, Bernard, Ostwald, Haeckel, Boussinesq, Maxwell, Boutroux, Poincaré, Renouvier, James und Peirce. Also in Vienna the debate on the issue of determinism was fervid and took ideological and political connotations: Michael Stöltzner and Deborah Coen have pointed to a particular tradition of “Vienna Indeterminism” (Stöltzner), or Viennese liberal probabilism (Coen), which was characterized by a strongly empirical conception of science and by the full acceptance and appreciation of statistical thinking in science. In the last Chapter of my work I focus on the early philosophy of Edgar Zilsel, a philosopher who stood near to the Vienna Circle and who has been much neglected in the literature by now, and I suggest considering it as part of the “Vienna Indeterminism”. First, I show how he gave an indeterministic foundation both to statistical and causal knowledge as well as to irreversibility in physics. Second, I inquire into his philosophy of probability and show how it developed in parallel to the ones of Hans Reichenbach and Richard von Mises. Finally, Zilsel happens to be a further, relevant case-study for pointing to the ideological and political side of the issue of determinism. -/- At the end of this reconstruction it should have become clear how no physical theory, no empirical evidence and no experimental confirmation can support or contradict scientific determinism in its non-trivial formulations. The validity of any such formulation depends strongly not only (from the systematical point of view) from the definition of other concepts (like time, physical state, causality etc.), but also from the particular conception of science which more or less implicitly constitutes its background, and which is subjected to historical change. -/- (ISBN: 9783495491034). (shrink)

In educational research that calls itself empirical, the relationship between validity and reliability is that of trade-off: the stronger the bases for validity, the weaker the bases for reliability. Validity and reliability are widely regarded as basic criteria for evaluating research; however, there are ethical implications of the trade-off between the two. The paper traces a brief history of the concepts, and then describes four ethical issues associated with the validity–reliability trade-off in educational research: bootstrapping, stereotyping, dehumanization, and determinism. (...) The article closes by describing emerging trends in social science research that have the potential to displace the validity–reliability trade-off as a central concern for the evaluation of educational research: the introduction of translational sciences, a shift from significance to replicability, a move from inference to Big Data, and the increasing importance of consequential validity. (shrink)

In this note, an error in the axiomatization of Ivlev’s modal system Sa+ which we inadvertedly reproduced in our paper “Finite non-deterministic semantics for some modal systems”, is fixed. Additionally, some axioms proposed in were slightly modified. All the technical results in which depend on the previous axiomatization were also fixed. Finally, the discussion about decidability of the level valuation semantics initiated in is taken up. The error in Ivlev’s axiomatization was originally pointed out by H. Omori and D. Skurt (...) in the paper “More modal semantics without possible worlds”, where an alternative solution was proposed. (shrink)

Frohlich and Oppenheimer's works aim to study empirically Rawls' philosophy. They replicate the original position, using a veil of ignorance covering the subjects' deliberations. This should provide empirical data usable by philosophers, a claim discussed here: Rawls' foundationalism precludes a genuine opening of his philosophy to empirical data. On the other hand, Rawls' distinction between natural and moral justice attitudes sheds light on the deterministic metaphysics indirectly required by the Rawlsian sense of justice. This leads to the question of the (...) empirical feasibility of the theory: is doing without preinstitutional meritocratic attitudes humanly possible? Studies investigating the influence of socialization on causal attribution suggest that the feeling of free will is not a fundamental need of the human mind. 2012 APA, all rights reserved). (shrink)

The book explores several open questions in the philosophy of statistical mechanics. Each chapter is written by a leading expert in the field. Here is a list of some questions that are addressed in the book: 1) Boltzmann showed how the phenomenological gas laws of thermodynamics can be derived from statistical mechanics. Since classical mechanics is a deterministic theory there are no probabilities in it. Since statistical mechanics is based on classical mechanics, all the probabilities statistical mechanics talks about cannot (...) be fundamental. However, if probabilities are epistemic, how can they play a role, as they seem to do, in laws, explanation, and prediction? 2) Many physicists use the notion of typicality instead of the one of probability when discussing statistical mechanics. What is the connection between the two notions? 3) How can one extend Boltzmann’s analysis to the quantum domain, where some theories are indeterministic? 4) Boltzmann’s explanation fundamentally involves cosmology: for the explanation to go through the Big Bang needs to have had extremely low entropy. Does the fact that the Big Bang was a low entropy state imply that it was, in some sense, “highly improbable” and requires an explanation? 5) What exactly is the connection between statistical and classical mechanics? Is the one of theory reduction or there is no such thing? 6) Statistical mechanics has two main formulation: one due to Botzmann and the other due to Gibbs. What is the connection between the two formulations . (shrink)

Abstract:This paper argues that the neoliberal (mis)appropriation of artistic creativity that begins to have a serious impact on music education can be seen as the result of a reverse détournement, whereby the very terms that used to play a pivotal role in describing the anti-systemic, anti-commercial, unsettling, emancipatory qualities of artistic creativity are being used to legitimize a thoroughly economized conception of creativity. It is suggested that this reverse détournement shapes a notion of creativity that can be referred to as (...) subsumptive, a term that denotes the thorough instrumentalization of creativity that leads to a managerial approach to creative processes and practices. The paper identifies some of the main terms that have been sacrificed in the process of the neoliberal colonization of creativity, suggesting that we actively resist subsumptive creativity by molding a counter-hegemonic language that offers an alternative conceptual apparatus that might permit a conceptualization of creativity as subversive. Thus, it is suggested that instead of drawing on notions of flexibility and adaptability we explore the notion of nondeterminist plasticity of minds; instead of emphasizing uncertainty and risk-taking we choose to cultivate fearless exploration; in the place of notions of collaboration (that easily slips to networking) we emphasize dis-identification; instead of celebrating independence we engage with the notion of collectivity; instead of emphasizing learning how to anticipate future needs we choose to explore the merits of (temporary) withdrawal; instead of celebrating innovation we choose to explore practices of dismeasure; and instead of seeking ways to boost confidence, we explore the subversive potential of vulnerability. (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)

The paper argues that it is possible for an incompatibilist to accept John Martin Fischer's plausible insistence that the question whether we are morally responsible agents ought not to depend on whether the laws of physics turn out to be deterministic or merely probabilistic. The incompatibilist should do so by rejecting the fundamentalism which entails that the question whether determinism is true is a question merely about the nature of the basic physical laws. It is argued that this is (...) a better option for ensuring the irrelevance of physics than the embrace of semi-compatibilism, since there are reasons for supposing that alternate possibilities are necessary for moral responsibility, despite Fischer's claims to the contrary. There are two distinct reasons for supposing that alternate possibilities might be necessary for moral responsibility—one of which is to do with fairness, the other to do with agency itself. It is suggested that if one focuses on the second of these reasons, Fischer's arguments for supposing that alternate possibilities are unnecessary for moral responsibility can be met by the incompatibilist. Some possible reasons for denying that alternate possibilities are necessary for the existence of agency are then raised and rejected. (shrink)

Pretende mostrarse en este artículo que la física clásica1 no deja lugar para el indeterminismo, tal como Laplace proclamó hace casi dos siglos. No se discute aquí la validez de la física clásica; el objetivo es mostrar que ésta es un modelo del mundo determinista, y si el mundo responde a este modelo o no es otro tema. Algunos autores, como Popper o Prigogine, han intentado rebatir este determinismo en la física clásica en base a argumentos tales como la existencia (...) de sistemas con bifurcaciones, la flecha del tiempo, el caos, etc. Muchos filósofos postmodernos también han elegido el tema del caos para defender ciertas ideas tan confusas como erróneas ("en río revuelto ganancia de pescadores"). Sin embargo, aquí se mostrará que todo lo que están haciendo estos autores es básicamente confundir de manera inapropiada el determinismo con la predictibilidad, y que Laplace estaba más en lo cierto que sus detractores. (shrink)

Liberalism sanctifies the values chosen by the sovereign individual. This tends to rule out criticisms of an individual's “preference” for one value over another by, ironically, establishing a deterministic view of the self that protects the self's desires from scrutiny. Similarly, rational choice approaches to social theory begin with previously determined individual preferences and focus on the means by which they are pursued, concentrating on the results rather than the sources of people's values.A striking new attempt to go behind the (...) liberal and rational‐choice starting point in order to understand political preferences is found in Aaron Wildavsky's Cultural Theory. Yet Cultural Theory does not facilitate the criticism of preferences, because its understanding of them is fundamentally liberal. Even while rejecting methodological individualism, Cultural Theory's monocausally social theory of preference formation retains in a new guise the liberal preservation of preferences from criticism by reestablishing a deterministic view of the formation of values, leading it to share with liberalism an a historical view of their origins. (shrink)

Kant, in various parts of his treatment of causality, refers to determinism or the principle of sufficient reason as an inescapable principle. In fact, in the Second Analogy we find the elements to reconstruct a purely phenomenal determinism as a logical and tautological truth. I endeavour in this article to gather these elements into an organic theory of phenomenal causality and then show, in the third section, with a specific argument which I call the “paradox of phenomenal observation”, (...) that this phenomenal determinism is the only rational approach to causality because any logico-reductivistic approach, such as the Humean one, would destroy the temporal order and so the very possibility to talk of a causal relation. I also believe that, all things said, Kant did not achieve a much greater comprehension of the problem than Hume did, in his theory of causality, for he did not free a phenomenal approach from the impasse of reductivism as his reflections on “simultaneous causation” and “vanishing quantities” indeed show, and this I will argue in Sect. 4 of this article. (shrink)

Debating the interpretation of the Burgess Shale fossil records, Stephen Jay Gould and Simon Conway Morris have formulated two conflicting theses regarding the nature of evolutionary processes. While Gould argued that evolution is essentially a contingent process whose outcomes are unpredictable, Conway Morris claimed that the omnipresence of convergence testifies that it is in fact deterministic, leading to predictable and inevitable outcomes. Their theses have been extensively researched from various perspectives. However, a systematic parallel analysis of the core arguments each (...) of them offered in support of their thesis has been lacking. I argue Conway Morris has successfully exposed the core weaknesses of Gould's thesis and offered a comprehensive account in favor of the major role of convergence in evolutionary history. On the other hand, I will point out some of the weak points in the latter's arguments supporting the deterministic view of life's evolution. Although Conway Morris has been more successful in arguing for the deterministic nature of the evolutionary processes, both theses could be improved if their shortcomings are taken into consideration. (shrink)

In this paper, we present an intelligent tutoring system developed to help students in learning Computer Theory. The Intelligent tutoring system was built using ITSB authoring tool. The system helps students to learn finite automata, pushdown automata, Turing machines and examines the relationship between these automata and formal languages, deterministic and nondeterministic machines, regular expressions, context free grammars, undecidability, and complexity. During the process the intelligent tutoring system gives assistance and feedback of many types in an intelligent manner according to (...) the behavior of the student. An evaluation of the intelligent tutoring system has revealed reasonably acceptable results in terms of its usability and learning abilities are concerned. (shrink)

J.S. Bell believed that his famous theorem entailed a deep and troubling conflict between the empirically verified predictions of quantum theory and the notion of local causality that is motivated by relativity theory. Yet many physicists continue to accept, usually on the reports of textbook writers and other commentators, that Bell’s own view was wrong, and that, in fact, the theorem only brings out a conflict with determinism or the hidden-variables program or realism or some other such principle that (...) (unlike local causality), allegedly, nobody should have believed anyway. Moreover, typically such beliefs arise without the person in question even being aware that the view they are accepting differs so radically from Bell’s own. Here we try to shed some light on the situation by focusing on the concept of local causality that is the heart of Bell’s theorem, and, in particular, by contrasting Bell’s own understanding with the analysis of Jon Jarrett which has been the most influential source, in recent decades, for the kinds of claims mentioned previously. We point out a crucial difference between Jarrett’s and Bell’s own understanding of Bell’s formulation of local causality, which turns out to be the basis for the erroneous claim, made by Jarrett and many others, that Bell misunderstood the implications of his own theorem. (shrink)

Introduction -- The nature of free will -- Requirements of freedom : preeminently deliberation -- Free will requires the absence of thought-external -- Determination over choices and decisions -- Choice and decision are crucial -- Doing and trying -- Free action and agent causality -- Modes of freedom -- Metaphysical and moral freedom -- Moral freedom is removed by manipulation and especially -- Compulsion -- Intention and moral standing -- Moral freedom of the will involves agent intent and motivation -- (...) Ramifications of freedom -- Free will requires up-to-the-end revisability but this does not gainsay probabilistic predictability -- Issues of revision and control -- The counterfactual dimension : "could have done otherwise" -- Problem cases : machines and lunatics -- Free will as outside causality but compatible with it -- Averting the zenonic fallacy of casual regression -- Averting predetermination (contrasting pre-determination with precedence determination) -- The crucial contrast between events and eventuations -- Choices and decisions as terminating eventuations -- Free will stands outside the stream of natural causality -- On freedom and causality -- Free will excludes pre-determinism but not motive determinism -- Motivational determinism vs. casual necessitation -- Motivations and motives -- Freedom from what? : certainly not from one's own motives -- And reasons: freedom demands motivational determination -- Free will requires motivational determinism -- Determination by one's autonomous motives is the crux of moral freedom -- Compulsion is impulsion -- Objections to motive determinism can be met -- Freedom and motivation -- Must an agent choose his motives for a decision to qualify (morally) as free? -- Freedom does not require motivational self-construction -- Does freedom require self-understanding? -- Willing to will : does freedom require the will to be self-endorsing? -- Does freedom require the approval of intellect and reason? -- Does freedom require self-approved motives? -- Buridan's ass : a random willfulness is not freedom -- Compatibilism regains : what free will excludes is not agent -- Determination but gant-bypassing nature determination -- The explanation of free acts via agent determination -- Freedom, responsibility, and "could have done otherwise" -- Reasons and motives impel but do not compel -- Compatibilism again -- Mind-matter partnership -- A two-sided coin -- The issue of initiative -- A salient duality -- Mind-brain interaction works by coordination not by causality -- Does free will exist? deliberations -- Pro and con -- On evidentiating free will -- Is free will unscientific? -- So does science counter-indicate free will -- Free-will naturalism and evolution. (shrink)

In the automata-theoretic approach to verification, we translate specifications to automata. Complexity considerations motivate the distinction between different types of automata. Already in the 60s, it was known that deterministic Büchi word automata are less expressive than nondeterministic Büchi word automata. The proof is easy and can be stated in a few lines. In the late 60s, Rabin proved that Büchi tree automata are less expressive than Rabin tree automata. This proof is much harder. In this work we relate the (...) expressiveness gap between deterministic and nondeterministic Büchi word automata and the expressiveness gap between Büchi and Rabin tree automata. We consider tree automata that recognize derived languages. For a word language L, the derived language of L, denoted L, is the set of all trees all of whose paths are in L. Since often we want to specify that all the computations of the program satisfy some property, the interest in derived languages is clear. Our main result shows that L is recognizable by a nondeterministic Büchi word automaton but not by a deterministic Büchi word automaton iff L is recognizable by a Rabin tree automaton and not by a Büchi tree automaton. Our result provides a simple explanation for the expressiveness gap between Büchi and Rabin tree automata. Since the gap between deterministic and nondeterministic Büchi word automata is well understood, our result also provides a characterization of derived languages that can be recognized by Büchi tree automata. Finally, it also provides an exponential determinization of Büchi tree automata that recognize derived languages. (shrink)

We design functional algebras that characterize various complexity classes of global functions. For this purpose, classical schemata from recursion theory are tailored for capturing complexity. In particular we present a functional analog of first-order logic and describe algebras of the functions computable in nondeterministic logarithmic space, deterministic and nondeterministic polynomial time, and for the functions computable by AC 1 -circuits.

In an excerpt preserved by John Stobaeus in the chapter of the Anthologion entitled Peri tôn eph’hêmin, Porphyry addresses the issue of the origin of evil within the context of a broader investigation of individual autonomy : is it enough to envisage man as a subject with the freedom to act in order to make him responsible for evil and thus to free God of any responsibility with regard to the ills besetting individuals? An answer to this question is provided (...) on the basis of a comparative reading of the Myth of Er and of Homer. The conclusion reached is that evil is not intrinsic to human nature, but rather concerns certain forms of existence which individuals opt for when they disregard the divine and forego rationality. Consequently, God is not responsible for evil.The exegetical and argumentative strategy adopted by Porphyry in order to support this answer suggests that his stance is a polemical one, targeting Stoics in particular. Against Chrysippus’ reading of the same verses from Homer, which leads to a deterministic perspective, or at any rate one likely to prove inconsistent, Porphyry offers an interpretation of Homer as a coherent thinker and a forerunner of Plato : Homer is seen to have proposed a kind of dichotomy between the self-determination and the necessity that characterise the life of the soul, and as having assigned individuals the faculty of choosing between virtue and vice, thus making them ultimately responsible with regard to evil. (shrink)

Against what is commonly accepted in many contexts, it has been recently suggested that both deterministic and indeterministic quantum theories are not time‐reversal invariant, and thus time is handed in a quantum world. In this paper, I analyze these arguments and evaluate possible reactions to them. In the context of deterministic theories, first I show that this conclusion depends on the controversial assumption that the wave‐function is a physically real scalar field in configuration space. Then I argue that answers which (...) restore invariance by assuming the wave‐function is a ray in Hilbert space fall short. Instead, I propose that one should deny that the wave‐function represents physical systems, along the lines proposed by the so‐called primitive ontology approach. Moreover, in the context of indeterministic theories, I argue that time‐reversal invariance can be restored suitably redefining its meaning. (shrink)

This paper aims at bringing together two debates in metaphysics that so far have been kept separate: the debate about determinism vs. indeterminism as de re modality on the one hand, and the debate about persistence on the other hand. Both debates significantly involve talk of things. We will show that working out a proper semantics for singular terms and an accompanying theory of things, motivated by considerations of quantified modal logic, can significantly further the persistence debate. We will (...) use our semantic framework to give an argument in support of the endurantist position as the best theory of persistence. (shrink)

The search for causes of perinatal brain damage needs a solid theoretical foundation. Current theory apparently does not offer a unanimously accepted view of what constitutes a cause, and how it can be identified. We discuss nine potential theoretical misconceptions: (1) too narrow a view of what is a cause (causal production vs. facilitation), (2) extrapolating from possibility to fact (potential vs. factual causation), (3) if X, then invariably Y (determinism vs. probabilism), (4) co-occurrence in individuals vs. association in (...) populations, (5) one cause is all that is needed (single cause attribution vs. multicausal constellations), (6) drawing causal inferences from very small numbers of observations (the tendency to generalize), (7) unstated causal inferences, (8) ignoring heterogeneity, and (9) failing to consider alternative explanations for what is observed. We hope that our critical discussion will contribute to fruitful research and help reduce the burden of perinatal brain damage. (shrink)