Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. (...) Specifically, a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)

Dugundji proved in 1940 that most parts of standard modal systems cannot be characterized by a single finite deterministic matrix. In the eighties, Ivlev proposed a semantics of four-valued non-deterministic matrices (which he called quasi-matrices), in order to characterize a hierarchy of weak modal logics without the necessitation rule. In a previous paper, we extended some systems of Ivlev’s hierarchy, also proposing weaker six-valued systems in which the (T) axiom was replaced by the deontic (D) axiom. (...) In this paper, we propose even weaker systems, by eliminating both axioms, which are characterized by eight-valued non-deterministic matrices. In addition, we prove completeness for those new systems. It is natural to ask if a characterization by finite ordinary (deterministic) logical matrices would be possible for all those Ivlev-like systems. We will show that finite deterministic matrices do not characterize any of them. (shrink)

In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure (...) induces naturally a non-deterministic matrix. The aim of this paper is to obtain a swap structures semantics for some Ivlev-like modal systems proposed in 2015 by M. Coniglio, L. Fariñas del Cerro and N. Peron. Completeness results will be stated by means of the notion of Lindenbaum–Tarski swap structures, which constitute a natural generalization to multialgebras of the concept of Lindenbaum–Tarski algebras. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...) validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...) the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

In this work, we discuss the failure of the principle of truth functionality in the quantum formalism. By exploiting this failure, we import the formalism of N-matrix theory and non-deterministic semantics to the foundations of quantum mechanics. This is done by describing quantum states as particular valuations associated with infinite non-deterministic truth tables. This allows us to introduce a natural interpretation of quantum states in terms of a non-deterministic semantics. We also provide a similar construction for arbitrary (...) probabilistic theories based in orthomodular lattices, allowing to study post-quantum models using logical techniques. (shrink)

This article investigates reasons to participate in non-deterministic elections, where the outcomes incorporate elements of chance beyond mere tie-breaking. The background context situates this inquiry within democratic theory, specifically non-deterministic voting systems, which promise to re-evaluate fairness and power distribution among voting blocs. This study aims to explore the normative implications of such electoral systems and their impact on our moral duty to vote. We analyze instrumental reasons for voting, including prudential and act-consequentialist arguments, alongside non-instrumental reasons, assessing (...) their validity in the context of non-deterministic systems. The results indicate that non-deterministic elections could strengthen the case for voting based on prudential and act-consequentialist grounds due to their proportional nature and the increased influence of each vote. We conclude that, while non-deterministic elections strengthen our duty to vote overall, they do not strengthen it for all the arguments in the literature. This paper contributes to the discourse on electoral systems by critically evaluating the moral obligation to vote in non-deterministic elections. (shrink)

Propensities are presented as a generalization of classical determinism. They describe a physical reality intermediary between Laplacian determinism and pure randomness, such as in quantum mechanics. They are characterized by the fact that their values are determined by the collection of all actual properties. It is argued that they do not satisfy Kolmogorov axioms; other axioms are proposed.

This essay delves into the multifaceted concept of determin-ism within the domain of physics, scrutinizing prevalent definitions and classifications. Navigating through the nuances of deterministic behavior, we distinguish it from colloquial interpretations of "non-deterministic." By examining determin-ism through the lenses of natural laws, weak determinism, and strong determinism, we unravel the intricate relationship between predictability and the underlying mathematical structures of the universe. Classical mechanics serves as an exemplar of deterministic principles, while statistical mechanics introduces complexities that (...) challenge simplistic classifications. The interplay between ignorance and non-determinism emerges as a pivotal consideration, urging a nuanced understanding of deter-ministic frameworks amidst intricate systems. In essence, this exploration seeks to reconcile the richness of deterministic behavior with the complexities inherent in the natural world. (shrink)

The problem of determinism and free will has occupied the minds of human beings since time immemorial. Philosophers have dwelt on it at great length. The problem is alike for both those who support determinism and those who do not. From one side, it is argued that since all the actions are causally determined, the belief that we are free is an illusion; from the other side, it is argued that since we know that we are free, universal determinism is (...) false. Some others argue for both – truth of determinism as well as that of free will but then the question of morality is left aside. The paper attempts to deal with the problem in the light of Jaina philosophy. It is further aggravated when one takes into account one of the central theme of Jaina philosophy – omniscience. Determinism then becomes a necessary corollary of the doctrine that there is a person who knows everything – past, present and future. But, if determinism is true, how does Jainism account for free will? What would be the Jaina position when one talks of moral obligation / responsibility? Is the Jaina position on determinism absolutistic or non-absolutistic? If it is absolutistic, then how does it affect anekāntavāda? The paper seeks to address these issues with some plausible solutions. (shrink)

I argue that there are non-trivial objective chances (that is, objective chances other than 0 and 1) even in deterministic worlds. The argument is straightforward. I observe that there are probabilistic special scientific laws even in deterministic worlds. These laws project non-trivial probabilities for the events that they concern. And these probabilities play the chance role and so should be regarded as chances as opposed, for example, to epistemic probabilities or credences. The supposition of non-trivial deterministic chances (...) might seem to land us in contradiction. The fundamental laws of deterministic worlds project trivial probabilities for the very same events that are assigned non-trivial probabilities by the special scientific laws. I argue that any appearance of tension is dissolved by recognition of the level-relativity of chances. There is therefore no obstacle to accepting non-trivial chance-role-playing deterministic probabilities as genuine chances. (shrink)

This chapter focuses on the relations between objective probabilities in physical theories at different levels. In general philosophy of probability, it is frequently assumed that a fundamental deterministic theory cannot support probabilistic phenomena at any higher level, or more generally that there cannot be non-trivial probabilities in higher-level theories that are not encoded in probabilities at the lower level. These assumptions face significant challenges from some well-understood physical theories – I focus on statistical mechanics and Bohmian mechanics – where (...) a deterministic description at some lower level gives rise to an effectively probabilistic theory at some higher level; in each case, constraints arising from an objective physical limitation on the acquisition of evidence concerning the lower level plays a crucial role in supporting the higher-level probabilities. (shrink)

When hard determinists reject the claim that people deserve particular kinds of treatment because of how they have acted, they are left with a problem about remorse. Remorse is often represented as a way we impose retribution on ourselves when we understand that we have acted badly. (This view of remorse appears in the work of Freud, and I think it fits our everyday, pretheoretical understanding of one kind of remorse.) Retribution of any kind cannot be appropriate if we do (...) not deserve bad treatment because of how we have acted. But remorse seems to be essentially bound up with understanding that we have acted badly. If this is right, it is important for hard determinists to find a non-retributive account of remorse, so that they can accommodate remorse within their theories. My goal in this paper is to provide such an account. I describe a kind of remorse which I think is a common human experience, a kind which is based on suffering in sympathy with the person one has wronged. It is similar to suffering in sympathy with one's friends when they suffer. We suffer in sympathy with friends not because we think we deserve to, but because we care about them, and their suffering gives us pain. In the wake of a wrongful act, a "virtuous wrongdoer" comes to care about the person wronged, and suffers in sympathy with him. This kind of remorse can be accommodated by hard determinists. (shrink)

From the early reception of Thomas Aquinas up to the present, many have interpreted his theory of liberum arbitrium to imply intellectual determinism: we do not control our choices, because we do not control the practical judgments that cause our choices. In this paper we argue instead that he rejects determinism in general and intellectual determinism in particular, which would effectively destroy liberum arbitrium as he conceives of it. We clarify that for Aquinas moral responsibility presupposes liberum arbitrium and thus (...) the ability to do otherwise, although the ability to do otherwise applies differently to praise and blame. His argument against intellectual determinism is not straightforward, but we construct it by analogy to his arguments against other deterministic threats. The non-determinism of the intellect’s causality with respect to the will results from his claims that practical reasoning is defeasible and that the reasons for actions are not contrastive reasons. (shrink)

There is a longstanding argument that purports to show that divine foreknowledge is inconsistent with human freedom to do otherwise. Proponents of this argument, however, have for some time been met with the following reply: the argument posits what would have to be a mysterious non-causal constraint on freedom. In this paper, I argue that this objection is misguided – not because after all there can indeed be non-causal constraints on freedom (as in Pike, Fischer, and Hunt), but because the (...) success of the incompatibilist's argument does not require the real possibility of non-causal constraints on freedom. I contend that the incompatibilist's argument is best seen as showing that, given divine foreknowledge, something makes one unfree – and that this something is most plausibly identified, not with the foreknowledge itself, but with the causally deterministic factors that would have to be in place in order for there to be infallible foreknowledge in the first place. (shrink)

A critical review of Charles Goodman's view about Buddhism and free will to the effect that Buddhism is hard determinist, basically because he thinks Buddhist causation is definitively deterministic, and he thinks determinism is definitively incompatible with free will, but especially because he thinks Buddhism is equally definitively clear on the non-existence of a self, from which he concludes there cannot be an autonomous self.

The so-called theory of karma is one of the distinguishing aspects of Hinduism and other non-Hindu south-Asian traditions. At the same time that the theory can be seen as closely connected with the freedom of will and action that we humans supposedly have, it has many times been said to be determinist and fatalist. The purpose of this paper is to analyze in some deepness the relations that are between the theory of karma on one side and determinism, fatalism and (...) free-will on the other side. In order to do that, I shall use what has been described as the best formal approach we have to indeterminism: branching time theory. More specifically, I shall introduce a branching time semantic framework in which, among other things, statements such as “state of affairs e is a karmic effect of agent a”, “a wills it to be the case that e” and “e is inevitable” could be properly represented. (shrink)

A non-relativistic quantum mechanical theory is proposed that describes the universe as a continuum of worlds whose mutual interference gives rise to quantum phenomena. A logical framework is introduced to properly deal with propositions about objects in a multiplicity of worlds. In this logical framework, the continuum of worlds is treated in analogy to the continuum of time points; both “time” and “world” are considered as mutually independent modes of existence. The theory combines elements of Bohmian mechanics and of Everett’s (...) many-worlds interpretation; it has a clear ontology and a set of precisely defined postulates from where the predictions of standard quantum mechanics can be derived. Probability as given by the Born rule emerges as a consequence of insufficient knowledge of observers about which world it is that they live in. The theory describes a continuum of worlds rather than a single world or a discrete set of worlds, so it is similar in spirit to many-worlds interpretations based on Everett’s approach, without being actually reducible to these. In particular, there is no splitting of worlds, which is a typical feature of Everett-type theories. Altogether, the theory explains (1) the subjective occurrence of probabilities, (2) their quantitative value as given by the Born rule, and (3) the apparently random “collapse of the wavefunction” caused by the measurement, while still being an objectively deterministic theory. (shrink)

FDE, LP and K3 are closely related to each other and admit of an intuitive informational interpretation. However, all these logics are co-NP complete, and so idealized models of how an agent can think. We address this issue by shifting to signed formulae, where the signs express imprecise values associated with two bipartitions of the corresponding set of standard values. We present proof systems whose operational rules are all linear and have only two structural branching rules that express a generalized (...) Principle of Bivalence. Each of these systems leads to defining an infinite hierarchy of tractable approximations to the respective logic, in terms of the maximum number of allowed nested applications of the two branching rules. Further, each resulting hierarchy admits of an intuitive 5-valued non-deterministic semantics. (shrink)

A definition of causation as probability-raising is threatened by two kinds of counterexample: first, when a cause lowers the probability of its effect; and second, when the probability of an effect is raised by a non-cause. In this paper, I present an account that deals successfully with problem cases of both these kinds. In doing so, I also explore some novel implications of incorporating into the metaphysical investigation considerations of causal psychology.

The aim of this article is to show that, just as in recent years Cobreros, Egré, Ripley and van Rooij have provided a non-transitive counterpart of classical logic (i.e. one in which all classically acceptable inferences are valid but Cut and other metainferences are not), the same can be done for every Tarskian logic, with full generality. To establish this fact, a semantic approach is taken by showing that appropriate structures can be devised to characterize a non-transitive counterpart of every (...) Tarskian logic, starting from the logical matrices that are usually taken to render them. (shrink)

O objetivo deste artigo é ser uma introdução aos diversos tipos de possibilidades e mostrar o caminho que a discussão sobre a existência de possibilidades não-atuais deve seguir a partir da aceitação do determinismo. E essa discussão é relevante porque sua resposta tem bastante infl uência em nossos pensamentos e lógicas sobre as modalidades da necessidade e da possibilidade. Cumprimos tal objetivo através de um diálogo a respeito das possibilidades. Este formato de texto tem a vantagem de ser mais pedagógico (...) do que os ensaios em terceira pessoa, pois insere o problema fi losófi co das possibilidades em uma situação real particular sem que a generalidade do assunto e dos argumentos seja perdida. (shrink)

In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. However, these logics can be semantically characterized by means of non-deterministic algebraic structures such as Nmatrices, RNmatrices and swap structures. These structures are based on multialgebras, which generalize algebras by allowing the result of an operation to assume a non-empty set of values. This leads to an interest (...) in exploring the foundations of multialgebras applied to the study of logic systems. -/- It is well known from universal algebra that, for every signature Sigma, there exist algebras over Sigma which are absolutely free, meaning that they do not satisfy any identities or, alternatively, satisfy the universal mapping property for the class of Sigma-algebras. Furthermore, once we fix a cardinality of the generating set, they are, up to isomorphisms, unique, and equal to algebras of terms (or propositional formulas, in the context of logic). Equivalently, the forgetful functor, from the category of Sigma-algebras to Set, has a left adjoint. This result does not extend to multialgebras. Not only multialgebras satisfying the universal mapping property do not exist, but the forgetful functor U, from the category of Sigma-multialgebras to Set, does not have a left adjoint. -/- In this paper we generalize, in a natural way, algebras of terms to multialgebras of terms, whose family of submultialgebras enjoys many properties of the former. One example is that, to every pair consisting of a function, from a submultialgebra of a multialgebra of terms to another multialgebra, and a collection of choices (which selects how a homomorphism approaches indeterminacies), there corresponds a unique homomorphism, what resembles the universal mapping property. Another example is that the multialgebras of terms are generated by a set that may be viewed as a strong basis, which we call the ground of the multialgebra. Submultialgebras of multialgebras of terms are what we call weakly free multialgebras. Finally, with these definitions at hand, we offer a simple proof that multialgebras with the universal mapping property for the class of all multialgebras do not exist and that U does not have a left adjoint. (shrink)

Notoriously, the Einstein equations of general relativity have solutions in which closed timelike curves occur. On these curves time loops back onto itself, which has exotic consequences: for example, traveling back into one's own past becomes possible. However, in order to make time travel stories consistent constraints have to be satisfied, which prevents seemingly ordinary and plausible processes from occurring. This, and several other "unphysical" features, have motivated many authors to exclude solutions with CTCs from consideration, e.g. by conjecturing a (...) chronology protection law. In this contribution we shall investigate the nature of one particular class of exotic consequences of CTCs, namely those involving unexpected cases of indeterminism or determinism. Indeterminism arises even against the backdrop of the usual deterministic physical theories when CTCs do not cross spacelike hypersurfaces outside of a limited CTC-region|such hypersurfaces fail to be Cauchy surfaces. We shall compare this CTC-indeterminism with four other types of indeterminism that have been discussed in the philosophy of physics literature: quantum indeterminism, the indeterminism of the hole argument, non-uniqueness of solutions of differential equations and lack of predictability due to insuffcient data. By contrast, a certain kind of determinism appears to arise when an indeterministic theory is applied on a CTC: things cannot be different from what they already were. Again we shall make comparisons, this time with other cases of determination in physics. We shall argue that on further consideration both this indeterminism and determinism on CTCs turn out to possess analogues in other, familiar areas of physics. CTC- indeterminism is close to the epistemological indeterminism we know from statistical physics, while the "fixedness" typical of CTC-determinism is pervasive in physics. CTC- determinism and CTC-indeterminism therefore do not provide incontrovertible grounds for rejecting CTCs as conceptually inadmissible. (shrink)

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)

In this paper we discuss the notions of adequacy and truth functionality in quantum logic from the point of view of a non-deterministic semantics. We give a characterization of the degree of non-functionality which is compatible with the propositional structure of quantum theory, showing that having truth-functional connectives, together with some assumptions regarding the relation of logical consequence, commits us to the adequacy of the interpretation sets of these connectives. An advantage of our proof is that it is independent (...) of the number of truth values involved, generalizing previous works. We also show the failure of the adequacy of every Nmatrix that is a model of the non-distributive lattice of quantum propositions. En este trabajo discutimos las nociones de adecuación y veritativo-funcionalidad en la lógica cuántica, desde el punto de vista de una semántica no determinista. Damos una caracterización del grado de no-funcionalidad compatible con la estructura proposicional de la teoría cuántica, mostrando que tener conectivos veritativo-funcionales, junto con algunos presupuestos relativos a la relación de consecuencia lógica, nos compromete con la adecuación de los conjuntos de interpretación de estos conectivos. Un punto ventajoso de nuestra prueba es que se independiza de la cantidad de valores de verdad involucrados, generalizando trabajos previos. Probamos también que falla la adecuación de cualquier Nmatriz que sirva como modelo para el retículo no distributivo de proposiciones cuánticas. (shrink)

In this essay we collect and put together a number of ideas relevant to the under- standing of the phenomenon of creativity, confining our considerations mostly to the domain of cognitive psychology while we will, on a few occasions, hint at neuropsy- chological underpinnings as well. In this, we will mostly focus on creativity in science, since creativity in other domains of human endeavor have common links with scientific creativity while differing in numerous other specific respects. We begin by briefly (...) introducing a few basic notions relating to cognition, among which the notion of ‘concepts’ is of basic relevance. The myriads of concepts lodged in our mind constitute a ‘conceptual space’ of an enormously complex structure, where con- cepts are correlated by beliefs that are themselves made up of concepts and are as- sociated with emotions. The conceptual space, moreover, is perpetually in a state of dynamic evolution that is once again of a complex nature. A major component of the dynamic evolution is made up of incessant acts of inference, where an inference occurs essentially by means of a succession of correlations among concepts set up with beliefs and heuristics, the latter being beliefs of a special kind, namely, ones relatively free of emotional associations and possessed of a relatively greater degree of justification. Beliefs, along with heuristics, have been described as the ‘mind’s software’, and con- stitute important cognitive components of the self-linked psychological resources of an individual. The self is the psychological engine driving all our mental and physical activity, and is in a state of ceaseless dynamics resulting from one’s most intimate ex- periences of the world accumulating in the course of one’s journey through life. Many of our psychological resources are of a dual character, having both a self-linked and a shared character, the latter being held in common with larger groups of people and imbibed from cultural inputs. We focus on the privately held self-linked beliefs of an individual, since these are presumably of central relevance in making possible inductive inferences – ones in which there arises a fundamental need of adopting a choice or making a decision. Beliefs, decisions, and inferences, all have the common link to the self of an individual and, in this, are fundamentally analogous to free will, where all of these have an aspect of non-determinism inherent in them. Creativity involves a major restructuring of the conceptual space where a sustained inferential process eventually links remote conceptual domains, thereby opening up the possibility of a large number of new correlations between remote concepts by a cascading process. Since the process of inductive inference depends crucially on de- cisions at critical junctures of the inferential chain, it becomes necessary to examine the basic mechanism underlying the making of decisions. In the framework that we attempt to build up for the understanding of scientific creativity, this role of decision making in the inferential process assumes central relevance. With this background in place, we briefly sketch the affect theory of decisions. Affect is an innate system of response to perceptual inputs received either from the exter- nal world or from the internal physiological and psychological environment whereby a positive or negative valence gets associated with a perceptual input. Almost every sit- uation faced by an individual, even one experienced tacitly, i.e., without overt aware-ness, elicits an affective response from him, carrying a positive or negative valence that underlies all sorts of decision making, including ones carried out unconsciously in inferential processes. Referring to the process of inferential exploration of the conceptual space that gener- ates the possibility of correlations being established between remote conceptual do- mains, such exploration is guided and steered at every stage by the affect system, analogous to the way a complex computer program proceeds through junctures where the program ascertains whether specified conditions are met with by way of generating appropriate numerical values – for instance, the program takes different routes, depending on whether some particular numerical value turns out to be positive or negative. The valence generated by the affect system in the process of adoption of a choice plays a similar role which therefore is of crucial relevance in inferential processes, especially in the exploration of the conceptual space where remote domains need to be linked up – the affect system produces a response along a single value dimension, resembling a number with a sign and a magnitude. While the affect system plays a guiding role in the exploration of the conceptual space, the process of exploration itself consists of the establishment of correlations between concepts by means of beliefs and heuristics, the self-linked ones among the latter having a special role in making possible the inferential journey along alternative routes whenever the shared rules of inference become inadequate. A successful access to a remote conceptual domain, necessary for the creative solution of a standing problem or anomaly – one that could not be solved within the limited domain hitherto accessed – requires a phase of relatively slow cumulative search and then, at some stage, a rapid cascading process when a solution is in sight. Representing the conceptual space in the form of a complex network, the overall process can be likened to one of self-organized criticality commonly observed in the dynamical evolution of complex systems. In order that inferential access to remote domains may actually be possible, it is necessary that restrictions on the exploration process – necessary for setting the context in ordinary instances of inductive inference – be relaxed and a relatively free exploration in a larger conceptual terrain be made possible. This is achieved by the mind going into the default mode, where external constraints – ones imposed by shared beliefs and modes of exploration – are made inoperative. While explaining all these various aspects of the creative process, we underline the supremely important role that analogy plays in it. Broadly speaking, analogy is in the nature of a heuristic, establishing correlations between concepts. However, analo- gies are very special in that these are particularly effective in establishing correlations among remote concepts, since analogy works without regard to the contiguity of the concepts in the conceptual space. In establishing links between concepts, analogies have the power to light up entire terrains in the conceptual space when a rapid cas- cading of fresh correlations becomes possible. The creative process occurs within the mind of a single individual or of a few closely collaborating individuals, but is then continued by an entire epistemic community, eventually resulting in a conceptual revolution. Such conceptual revolutions make pos- sible the radical revision of scientific theories whereby the scope of an extant theory is broadened and a new theoretical framework makes its appearance. The emerging theory is characterized by a certain degree of incommensurability when compared with the earlier one – a feature that may appear strange at first sight. But incommen- surability does not mean incompatibility and the apparently contrary features of the relation between the successive theories may be traced to the multi-layered structureof the conceptual space where concepts are correlated not by means of single links but by multiple ones, thereby generating multiple layers of correlation, among which some are retained and some created afresh in a conceptual restructuring. We conclude with the observation that creativity occurs on all scales. Analogous to correlations being set up across domains in the conceptual space and new domains being generated, processes with similar features can occur within the confines of a domain where a new layer of inferential links may be generated, connecting up sub- domains. In this context, insight can be looked upon as an instance of creativity within the confines of a domain of a relatively limited extent. (shrink)

The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality is a treatise of formal logic and of aetiology. It is an original and wide-ranging investigation of the definition of causation (deterministic causality) in all its forms, and of the deduction and induction of such forms. The work was carried out in three phases over a dozen years (1998-2010), each phase introducing more sophisticated methods than the previous to solve outstanding problems. This study was intended as part (...) of a larger work on causal logic, which additionally treats volition and allied cause-effect relations (2004). The Logic of Causation deals with the main technicalities relating to reasoning about causation. Once all the deductive characteristics of causation in all its forms have been treated, and we have gained an understanding as to how it is induced, we are able to discuss more intelligently its epistemological and ontological status. In this context, past theories of causation are reviewed and evaluated (although some of the issues involved here can only be fully dealt with in a larger perspective, taking volition and other aspects of causality into consideration, as done in Volition and Allied Causal Concepts). Phase I: Macroanalysis. Starting with the paradigm of causation, its most obvious and strongest form, we can by abstraction of its defining components distinguish four genera of causation, or generic determinations, namely: complete, partial, necessary and contingent causation. When these genera and their negations are combined together in every which way, and tested for consistency, it is found that only four species of causation, or specific determinations, remain conceivable. The concept of causation thus gives rise to a number of positive and negative propositional forms, which can be studied in detail with relative ease because they are compounds of conjunctive and conditional propositions whose properties are already well known to logicians. The logical relations (oppositions) between the various determinations (and their negations) are investigated, as well as their respective implications (eductions). Thereafter, their interactions (in syllogistic reasoning) are treated in the most rigorous manner. The main question we try to answer here is: is (or when is) the cause of a cause of something itself a cause of that thing, and if so to what degree? The figures and moods of positive causative syllogism are listed exhaustively; and the resulting arguments validated or invalidated, as the case may be. In this context, a general and sure method of evaluation called ‘matricial analysis’ (macroanalysis) is introduced. Because this (initial) method is cumbersome, it is used as little as possible – the remaining cases being evaluated by means of reduction. Phase II: Microanalysis. Seeing various difficulties encountered in the first phase, and the fact that some issues were left unresolved in it, a more precise method is developed in the second phase, capable of systematically answering most outstanding questions. This improved matricial analysis (microanalysis) is based on tabular prediction of all logically conceivable combinations and permutations of conjunctions between two or more items and their negations (grand matrices). Each such possible combination is called a ‘modus’ and is assigned a permanent number within the framework concerned (for 2, 3, or more items). This allows us to identify each distinct (causative or other, positive or negative) propositional form with a number of alternative moduses. This technique greatly facilitates all work with causative and related forms, allowing us to systematically consider their eductions, oppositions, and syllogistic combinations. In fact, it constitutes a most radical approach not only to causative propositions and their derivatives, but perhaps more importantly to their constituent conditional propositions. Moreover, it is not limited to logical conditioning and causation, but is equally applicable to other modes of modality, including extensional, natural, temporal and spatial conditioning and causation. From the results obtained, we are able to settle with formal certainty most of the historically controversial issues relating to causation. Phase III: Software Assisted Analysis. The approach in the second phase was very ‘manual’ and time consuming; the third phase is intended to ‘mechanize’ much of the work involved by means of spreadsheets (to begin with). This increases reliability of calculations (though no errors were found, in fact) – but also allows for a wider scope. Indeed, we are now able to produce a larger, 4-item grand matrix, and on its basis find the moduses of causative and other forms needed to investigate 4-item syllogism. As well, now each modus can be interpreted with greater precision and causation can be more precisely defined and treated. In this latest phase, the research is brought to a successful finish! Its main ambition, to obtain a complete and reliable listing of all 3-item and 4-item causative syllogisms, being truly fulfilled. This was made technically feasible, in spite of limitations in computer software and hardware, by cutting up problems into smaller pieces. For every mood of the syllogism, it was thus possible to scan for conclusions ‘mechanically’ (using spreadsheets), testing all forms of causative and preventive conclusions. Until now, this job could only be done ‘manually’, and therefore not exhaustively and with certainty. It took over 72’000 pages of spreadsheets to generate the sought for conclusions. This is a historic breakthrough for causal logic and logic in general. Of course, not all conceivable issues are resolved. There is still some work that needs doing, notably with regard to 5-item causative syllogism. But what has been achieved solves the core problem. The method for the resolution of all outstanding issues has definitely now been found and proven. The only obstacle to solving most of them is the amount of labor needed to produce the remaining (less important) tables. As for 5-item syllogism, bigger computer resources are also needed. (shrink)

The depth-bounded approach seeks to provide realistic models of reasoners. Recognizing that most useful logics are idealizations in that they are either undecidable or likely to be intractable, the approach accounts for how they can be approximated in practice by resource-bounded agents. The approach has been applied to Classical Propositional Logic (CPL), yielding a hierarchy of tractable depth-bounded approximations to that logic, which in turn has been based on a KE/KI system. -/- This Thesis shows that the approach can be (...) naturally extended to useful nonclassical logics such as First-Degree Entailment (FDE), the Logic of Paradox (LP), Strong Kleene Logic (K3 ) and Intuitionistic Propositional Logic (IPL). To do this, we introduce a KE/KI-style system for each of those logics such that: is formulated via signed formulae, consist of linear operational rules and branching structural rule(s), can be used as a direct-proof and a refutation method, and is interesting independently of the approach in that it has an exponential speed-up on its tableau system counterpart. The latter given that we introduce a new class of examples which we prove to be hard for all tableau systems sharing the V/& rules with the classical one, but easy for their analogous KE-style systems. Then we focus on showing that each of our KE/KI-style systems naturally yields a hierarchy of tractable depth-bounded approximations to the respective logic, in terms of the maximum number of allowed nested applications of the branching rule(s). The rule(s) express(es) a generalized rule of bivalence, is (are) essentially cut rule(s) and govern(s) the manipulation of virtual information, which is information that an agent does not hold but she temporarily assumes as if she held it. Intuitively, the more virtual information needs to be invoked via the branching rule(s), the harder the inference is for the agent. So, the nested application the branching rule(s) provides a sensible measure of inferential depth. We also show that each hierarchy approximating FDE, LP, and K3 , admits of a 5-valued non-deterministic semantics; whereas, paving the way for a semantical characterization of the hierarchy approximating IPL, we provide a 3-valued non-deterministic semantics for the full logic that fixes the meaning of the connectives without appealing to “structural” conditions. -/- Moreover, we show a super-polynomial lower bound for the strongest possible version of clausal tableaux on the well-known class of “truly fat” expressions (which are easy for KE), settling a problem left open in the literature. Further, we investigate a hierarchy of tractable depth-bounded approximations to CPL based only on KE. Finally, we propose a refinement of the p-simulation relation which is adequate to establish positive results about the superiority of a system over another with respect to proof-search. (shrink)

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)

Professor Rahn takes the approach to the analysis of Western art music developed recently by theorists such as Benjamin Boretz and extends it to address non-Western forms. In the process, he rejects recent ethnomusicological formulations based on mentalism, cultural determinism, and the psychology of perception as potentially fruitful bases for analysing music in general. Instead he stresses the desirability of formulating a theory to deal with all music, rather than merely Western forms, and emphasizes the need to evaluate an analysis (...) and compare it with other interpretations, and demonstrates how this may be done. The theoretical concepts which form the basis of Rahn's approach are discussed and applied: first to individual pieces of non-Western music which have enjoyed a fairly high profile in ethnomusicological literature, and second to repertoires or groups of pieces. The author also discusses the fields of anthropology and psychology, showing how his approach serves as a starting point for studies of perception and the concepts, norms, and values found in specific music cultures. In conclusion, he lists what he considers to be musical universals and takes up the more controversial issues implicit in his discussion. (shrink)

By elaborating on the results presented in Lógica cuántica, Nmatrices y adecuación I, here we discuss the notions of adequacy and truth functionality in quantum logic from the point of view of a non-deterministic semantics based on Nmatrices. We present a proof of the impossibility of providing a functional semantics for the quantum lattice. An advantage of our proof is that it is independent of the number of truth values involved, generalizing previous works. Due to the impossibility of defining (...) adequate interpreting sets for the conjunction and disjunction (as was shown in our previous work), it follows that a homomorphism between the lattice of quantum projections and a Boolean algebra of n-elements cannot exist. (shrink)

One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...) for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

The Comprehensive Human Decision-Making Equation presents a robust model for understanding Holistic Free Will (HFW), conceptualizing decision-making as an autonomous, non-deterministic process within a complex network of influences. This model addresses the Infinite Regress issue by portraying free will as an emergent property of interacting layers, including internal beliefs, external contexts, emotional responses, cognitive biases, and habitual tendencies. Departing from traditional linear models, the equation adopts a systemic framework where each choice reflects a cumulative utility, integrating multiple components such (...) as personal, ethical, social, and temporal utilities. This holistic approach emphasizes the probabilistic nature of free will, challenging deterministic interpretations and highlighting the ethical and relational dimensions of autonomy. By situating free will within a structured yet adaptive process, the model supports the notion that true autonomy is ethically aligned, relational, and embedded in a flexible reality, thereby promoting communal and ethical development. (shrink)

This analysis of Ptolemy's Teatriblos deals with how the social and cultural role of astrology changed between lì and III century a D.: from a practice hard fought, although successful, to a generally accepted branch of knowledge. In Ptolemy's treatise astrology is shown to be not a science but an art: a techne" fallible but not controvertible. As the basis for such a project of reforming common opinion about astrol¬ogy, we find a quiet yielding attitude toward sceptical antidogmatism, and a (...) non-deterministic way of conceiving man 's naturai relationship with heavenly bodies. (shrink)

Standpoint logic is a recently proposed formalism in the context of knowledge integration, which advocates a multi-perspective approach permitting reasoning with a selection of diverse and possibly conflicting standpoints rather than forcing their unification. In this paper, we introduce nested sequent calculi for propositional standpoint logics---proof systems that manipulate trees whose nodes are multisets of formulae---and show how to automate standpoint reasoning by means of non-deterministic proof-search algorithms. To obtain worst-case complexity-optimal proof-search, we introduce a novel technique in the (...) context of nested sequents, referred to as "coloring," which consists of taking a formula as input, guessing a certain coloring of its subformulae, and then running proof-search in a nested sequent calculus on the colored input. Our technique lets us decide the validity of standpoint formulae in CoNP since proof-search only produces a partial proof relative to each permitted coloring of the input. We show how all partial proofs can be fused together to construct a complete proof when the input is valid, and how certain partial proofs can be transformed into a counter-model when the input is invalid. These "certificates" (i.e. proofs and counter-models) serve as explanations of the (in)validity of the input. (shrink)

It is usual to identify initial conditions of classical dynamical systems with mathematical real numbers. However, almost all real numbers contain an infinite amount of information. I argue that a finite volume of space can’t contain more than a finite amount of information, hence that the mathematical real numbers are not physically relevant. Moreover, a better terminology for the so-called real numbers is “random numbers”, as their series of bits are truly random. I propose an alternative classical mechanics, which is (...) empirically equivalent to classical mechanics, but uses only finite-information numbers. This alternative classical mechanics is non-deterministic, despite the use of deterministic equations, in a way similar to quantum theory. Interestingly, both alternative classical mechanics and quantum theories can be supplemented by additional variables in such a way that the supplemented theory is deterministic. Most physicists straightforwardly supplement classical theory with real numbers to which they attribute physical existence, while most physicists reject Bohmian mechanics as supplemented quantum theory, arguing that Bohmian positions have no physical reality. (shrink)

This paper concerns the role of the transcendental distinction between agents qua phenomena and qua noumena in Kant's theory of free will. It argues (1) that Kant's incompatibilism can be accommodated if one accepts the "ontological" interpretation of this distinction (i.e. the view that agents qua noumena are ontologically prior to agents qua phenomena), and (2) that Kant's incompatibilism cannot be accommodated by the "two-aspect" interpretation, whose defining feature is the rejection of the ontological priority of agents qua noumena. The (...) ontological interpretation allows Kant to be an incompatibilist because the ontological priority of agents qua noumena "ontologically undermines" the significance of phenomenal determinism for agents' free will. That is, since agents qua noumena are ontologically prior to agents qua phenomena, the fact that agents qua noumena are not subject to determinism is more fundamental than the fact that agents qua phenomena are subject to determinism, and it is the more fundamental fact that we should be concerned with in the metaphysical foundations of moral responsibility. Recent (independent) work by myself, Eric Watkins, and Robert Hanna is drawn on to demonstrate that the ontological interpretation can mount a better defense against some traditional objections than has often been thought. -/- According to the two-aspect interpretation, the transcendental distinction between agents qua noumena and qua phenomena is a semantic and epistemological distinction. Since it rejects the ontological priority of noumena, it has no way to assert that the non-determinism of agents qua noumena is more metaphysically fundamental than the determinism of agents qua phenomena. For the two-aspect interpretation, the truth of determinism must remain just as fundamental as the truth of any other characterization of agents. This means that, on the two-aspect interpretation, there is no better reason to call Kant an incompatibilist than there is to call him a compatibilist. Since Henry Allison has presented the most detailed two-aspect interpretation of the agential transcendental distinction, the arguments against the two-aspect distinction address his interpretation. Part of Allison's strategy is to argue that phenomenal determinism poses less of a problem for free will if we accept his accounts of the Second Analogy and empirical psychology. I point our problems in these accounts and argue that this strategy cannot be accepted. -/- . (shrink)

Abstract The quasispecies theory is a helpful concept in the explanation of RNA virus evolution and behaviour, with a relevant impact on methods used to fight viral diseases. It has undergone some adaptations to integrate new empirical data, especially the non-deterministic nature of mutagenesis, and the variety of behavioural motifs in cooperation, competition, communication, innovation, integration, and exaptation. Also, the consortial structure of quasispecies with complementary roles of memory genomes of minority populations better fits the empirical data than did (...) the original concept of a master sequence and its mutant spectra. The high productivity of quasispecies variants generates unique sequences that never existed before and will never exist again. In the present essay, we underline that such sequences represent really new ontological entities, not just error copies of previous ones. Their primary unique property, the incredible variant production, is suggested here as quasispecies productivity, which replaces the error-replication narrative to better fit into a new relationship between mankind and living nature in the twenty-first century. (shrink)

The article presents a pluralistic model of value change, emphasizing the interplay between technology and societal values. It critiques the Simple Change Model, which suggests a uniform transition from one dominant value scheme to another, arguing instead for emergent and differential value change. Emergent value change occurs when new values arise within specific contexts without displacing existing ones, often influenced by generational experiences with technology and niches where new technologies are introduced. Differential value change highlights how distinct groups may adopt (...) different value schemes based on their unique contexts and experiences, sometimes leading to societal polarization and the need to reconcile incompatible value schemes. The article stresses the importance of individual experiences of ethical uncertainty and disruption in understanding these changes. By integrating these complexities, the model offers a rich, non-deterministic framework for analyzing how values evolve in response to technological advancements. (shrink)

In this paper, I introduce an iterative method aimed at exploring numbers within the interval [0, 1]. Beginning with a foundational set, S0, a series of algorithms are employed to expand and refine this set. Each algorithm has its designated role, from incorporating irrational numbers to navigating non-deterministic properties. With each successive iteration, our set grows, and after infinite iterations, its cardinality is proposed to align with that of the real numbers. This work is an initial exploration into this (...) approach, and further investigation is encouraged to understand its full implications and potential. (shrink)

A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of two deductive systems is an (...) m-graph whose nodes are language expressions and the m-edges represent the inference rules of the two original systems. The sobriety of the approach is confirmed by proving that all the fibring notions are universal constructions. This graph-theoretic view is general enough to accommodate very different fibrings of propositional based logics encompassing logics with non-deterministic semantics, logics with an algebraic semantics, logics with partial semantics and substructural logics, among others. Soundness and weak completeness are proved to be preserved under very general conditions. Strong completeness is also shown to be preserved under tighter conditions. In this setting, the collapsing problem appearing in several combinations of logic systems can be avoided. (shrink)

The concept of time is examined using the second law of thermodynamics that was recently formulated as an equation of motion. According to the statistical notion of increasing entropy, flows of energy diminish differences between energy densities that form space. The flow of energy is identified with the flow of time. The non-Euclidean energy landscape, i.e. the curved space–time, is in evolution when energy is flowing down along gradients and levelling the density differences. The flows along the steepest descents, i.e. (...) geodesics are obtained from the principle of least action for mechanics, electrodynamics and quantum mechanics. The arrow of time, associated with the expansion of the Universe, identifies with grand dispersal of energy when high-energy densities transform by various mechanisms to lower densities in energy and eventually to ever-diluting electromagnetic radiation. Likewise, time in a quantum system takes an increment forwards in the detection-associated dissipative transformation when the stationary-state system begins to evolve pictured as the wave function collapse. The energy dispersal is understood to underlie causality so that an energy gradient is a cause and the resulting energy flow is an effect. The account on causality by the concepts of physics does not imply determinism; on the contrary, evolution of space–time as a causal chain of events is non-deterministic. (shrink)

These are the first two chapters from a monograph (The Time Flow Manifesto, Holster, 2013-14; unpublished), defending the concepts of time directionality and time flow in physics and naturalistic metaphysics, against long-standing attacks from the ‘conventional philosophy of physical time’. This monograph sets out to disprove twelve specific “fallacies of the conventional philosophy”, stated in the first section below. These are the foundational principles of the conventional philosophy, which developed in the mid-C20th from positivist-inspired studies. The first chapter begins by (...) re-presenting the basic analysis of time reversal symmetry in the context of probabilistic or non-deterministic processes, removing the first critical error in the conventional account. The second chapter argues for a law-like explanation of physical time asymmetry and irreversibility, and shows how the ‘reversibility paradoxes’ are explained. (shrink)

If the concept of “free will” is reduced to that of “choice” all physical world share the latter quality. Anyway the “free will” can be distinguished from the “choice”: The “free will” involves implicitly certain preliminary goal, and the choice is only the mean, by which it can be achieved or not by the one who determines the goal. Thus, for example, an electron has always a choice but not free will unlike a human possessing both. Consequently, and paradoxically, the (...) determinism of classical physics is more subjective and more anthropomorphic than the indeterminism of quantum mechanics for the former presupposes certain deterministic goal implicitly following the model of human freewill behavior. The choice is usually linked to very complicated systems such as human brain or society and even often associated with consciousness. In its background, the material world is deterministic and absolutely devoid of choice. However, quantum mechanics introduces the choice in the fundament of physical world, in the only way, in which it can exist: All exists in the “phase transition” of the present between the uncertain future and the well-ordered past. Thus the present is forced to choose in order to be able to transform the coherent state of future into the well-ordering of past. The concept of choice as if suggests that there is one who chooses. However quantum mechanics involves a generalized case of choice, which can be called “subjectless”: There is certain choice, which originates from the transition of the future into the past. Thus that kind of choice is shared of all existing and does not need any subject: It can be considered as a low of nature. There are a few theorems in quantum mechanics directly relevant to the topic: two of them are called “free will theorems” by their authors, Conway and Kochen, and according to them: “Do we really have free will, or, as a few determined folk maintain, is it all an illusion? We don’t know, but will prove in this paper that if indeed there exist any experimenters with a modicum of free will, then elementary particles must have their own share of this valuable commodity” “The import of the free will theorem is that it is not only current quantum theory, but the world itself that is non-deterministic, so that no future theory can return us to a clockwork universe”. Those theorems can be considered as a continuation of the so-called theorems about the absence of “hidden variables” in quantum mechanics. (shrink)

What are the freedom-relevant conditions necessary for someone to be a morally responsible person? I examine several key authors beginning with Harry Frankfurt that have contributed to this debate in recent years, and then look back to the writings or Søren Kierkegaard to provide a solution to the debate. In this project I investigate the claims of semi-compatibilism and argue that while its proponents have identified a fundamental question concerning free will and moral responsibility—namely, that the agential properties necessary for (...) moral responsibility ascriptions are found in scenarios where the agent acts on her own as opposed to her action resulting from freedom undermining external causes such as manipulation, phobias, etc.—they have failed to show that the freedom-relevant agential properties identified in those actual-sequence scenarios are compatible with causal determinism. My argument is that only a voluntarist-libertarian theory can adequately account for the kinds of cases that the semicompatibilist identify. I argue that there are three freedom-relevant conditions necessary for someone to be a morally responsible person: a hierarchical understanding of human desires [specifically and mental states generally], an incompatibilist (non-deterministic) understanding of human action, and a historical understanding of character development. The ability to reflect critically about one’s own desires and emotions, and thus to have a kind of self-knowledge and understanding with regard to the springs of one’s own actions, is required to make it possible for the agent to be the “source” of her own actions and character. The non-deterministic understanding of human action is needed for a similar reason: if determinism is true, then every action a person performs can be ultimately traced to and exhaustively explained in terms of factors outside the agent’s control, thus making the agent’s responsibility for his actions an illusion. And finally,human nature must be such that, over time, one’s choices leave a dispositional residue self-understanding and motivation in the person’s self, out of which, in mature understanding and motivation, the person acts as a fully responsible agent. (shrink)

Causal Determinism (CD) entails that all of a person’s choices and actions are nomically related to events in the distant past, the approximate, but lawful, consequences of those occurrences. Assuming that history cannot be undone nor those (natural) relations altered, that whatever results from what is inescapable is itself inescapable, and the contrariety of inevitability and freedom, it follows that we are completely devoid of liberty: our choices are not freely made; our actions are not freely performed. Instead of disputing (...) the soundness of this reasoning, some philosophers prefer to maintain that we could yet have a small measure of freedom were CD true of our world: although being unable to choose or act differently, one could at least under normal circumstances truly claim to be acting ‘on one’s own’, beyond the control of ‘outside forces’, in a word, autonomous. They further argue that being free in this sense suffices for moral responsibility. Call their philosophy ‘Autonomy Compatibilism’ (AC). -/- In adopting here reactive attitudes towards an agent, one is choosing to highlight the fact that the individual in question is of sound mind, reasoning and acting free from the interference of others. These facts alone, the adherent of AC claims, justify his stance, despite the necessity of the agent’s choices. Why would we not regard a sane individual who is not being coerced, intimidated, deceived or unduly put upon as in charge of his life so as to be responsible for his activities? -/- The Manipulation Argument (MA) is supposed to cut off this line of retreat. Its authors hold that, were CD true of our world, we would be no more autonomous than a victim of “covert, non-constraining control” (CNC): manipulation whereby one person causes another, through the use of methods such as brainwashing or circumspect operant conditioning, to ‘do his bidding’ without the latter being aware of his subjugation or feeling in any way coerced. Since a CNC victim obviously lacks autonomy, then so must “persons” living in a deterministic universe. Defenders of AC have, then, the following argument with which to contend: -/- 1. Victims of CNC (obviously) lack autonomy. 2. Thus, AC would be true only if some definition of autonomy succeeds in specifying a freedom relevant difference between victims of CNC and agents whose choices/actions are necessary consequences of prior events. 3. There could be no such definition. 4. Therefore, AC must be false. -/- The challenge issued here is clear: find a way to refute the claim that being subject to natural laws would be tantamount to being a victim of CNC, to show that Nature is no manipulator. Moreover, this challenge cannot be met by responding with a Frankfurt case: a situation in which things have been surreptitiously arranged so that an agent is unable to avoid doing something that he manages to do ‘on his own’, thus, being autonomous despite his inability to act otherwise. For, even if CD is not inconsistent with autonomy because it eliminates the ability to do otherwise per se, it may yet entail that no human agent ever does act of his own accord, an implication of which would be a lack of alternatives on anyone’s part. In other words, the fact that causally determined beings could never act differently than they do does is perhaps only symptomatic of the reason why such beings would lack autonomy: forces beyond their control would have dominion over their psychological development. Thus, AC advocates must show that the way that an agent’s character would be shaped, were she (merely) subject to natural laws, would leave unimpaired an ability that CNC would destroy. What follows is a definition of this ability, which I also use to solve the Problem of Freedom and Foreknowledge. (shrink)

What exists at the fundamental level of reality? On the standard picture, the fundamental reality contains (among other things) fundamental matter, such as particles, fields, or even the quantum state. Non-fundamental facts are explained by facts about fundamental matter, at least in part. In this paper, I introduce a non-standard picture called the "cosmic void” in which the universe is devoid of any fundamental material ontology. Facts about tables and chairs are recovered from a special kind of laws that satisfy (...) strong determinism. All non-fundamental facts are completely explained by nomic facts. I discuss a concrete example of this picture in a strongly deterministic version of the many-worlds theory of quantum mechanics. I discuss some philosophical and scientific challenges to this view, as well as some connections to ontological nihilism. (shrink)

We humans are natural-born engineers. As such, we model after machines not only isolated, naturally occurring systems, but also the basic laws of physics, sharing with machines a local-evolution-of-state `grammar'. However, previous work by the author casts doubt upon this mechanistic paradigm, suggesting that it is to blame for the stubbornness of many open problems in physics. Simple experiments are therefore proposed to identify `non-machines'. In one experiment, `non mechanistic correlations' in the spirit of Bell are sought in a pair (...) of separated but previously coupled (macroscopic) chaotic systems. In another it is tested whether chaotic systems could fuzzily `remember their future' in the sense that a future binary perturbation applied to them could be inferred from their present behavior with probability$>1/2$. Chaotic systems are chosen as candidates because the long-time application of their (deterministic) mechanistic description is conceptually groundless: All scales are significant and mutually coupled in that regime, down to scales governed by QM, yet the quantum-classical transition remains inexplicable---if only due to the measurement problem. Similarly for non-deterministic chaotic systems, modeled as such purely for defying a short-time deterministic mechanistic description. Should a non mechanistic signature be found in such simple systems, the implications for science as a whole and life sciences in particular cannot be overstated. (shrink)