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)

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)

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)

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)

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)

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)

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.

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)

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)

We develop a structure theory for nilpotent symplectic alternating algebras.

Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it lacks (...) the finite model property. The method of axiomatization hinges upon the fact that a "difference" operator is definable in hyperboolean algebras, and makes use of additional non-Hilbert-style rules. Finally, we discuss a number of open questions and directions for further research. (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)

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)

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)

Recent research on algebraic models of _quasi-Nelson logic_ has brought new attention to a number of classes of algebras which result from enriching (subreducts of) Heyting algebras with a special modal operator, known in the literature as a _nucleus_. Among these various algebraic structures, for which we employ the umbrella term _intuitionistic modal algebras_, some have been studied since at least the 1970s, usually within the framework of topology and sheaf theory. Others may seem more exotic, for their (...) primitive operations arise from algebraic terms of the intuitionistic modal language which have not been previously considered. We shall for instance investigate the variety of _weak implicative semilattices_, whose members are (non-necessarily distributive) meet semilattices endowed with a nucleus and an implication operation which is not a relative pseudo-complement but satisfies the postulates of Celani and Jansana’s strict implication. For each of these new classes of algebras we establish a representation and a topological duality which generalize the known ones for Heyting algebras enriched with a nucleus. (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.

El objetivo de este artículo es presentar una demostración de un teorema clásico sobre álgebras booleanas y ordenes parciales de relevancia actual en teoría de conjuntos, como por ejemplo, para aplicaciones del método de construcción de modelos llamado “forcing” (con álgebras booleanas completas o con órdenes parciales). El teorema que se prueba es el siguiente: “Todo orden parcial se puede extender a una única álgebra booleana completa (salvo isomorfismo)”. Donde extender significa “sumergir densamente”. Tal demostración se realiza utilizando cortaduras de (...) Dedekind siguiendo el texto “Set Theory” de Jech, y otras ideas propias del autor de este artículo. Adicionalmente, se formulan algunas versiones débiles del axioma de elección relacionadas con las álgebras booleanas, las cuales son también de gran importancia para la investigación en teoría de conjuntos y teoría de modelos, pues estas son poderosas técnicas de construcción de modelos, como por ejemplo, el teorema de compacidad (permite construir modelos no estándar, etc) y el teorema del ultrafiltro, que permite construir ultraproductos (pueden ser usados para investigar problemas de cardinales grandes, etc). Se presentan algunas referencias de problemas abiertos sobre el tema. -/- The objective of this paper is to present a demonstration of a classical theorem on boolean algebras and partial orders of current relevance in set theory, as for example, for applications of model construction method called forcing" (with boolean algebras complete or with partial orders). The theorem to be proved is as follows: Any partial order can be extended to a single complete boolean algebra (up to isomorphism)". Where to extend means embed densely". Such a demonstration is done using Dedekind's cuts following the text Set Theory" of Jech, and other ideas of the author of this article. In addition, some weak versions of the axiom of choice related to boolean algebras are formulated, which are also of great importance for the research in set theory and model theory, since this are powerful model construction techniques, such as the compactness theorem (allows the construction of non-standard models, etc.) and the ultralter theorem, which allows the construction of ultraproducts (can be used to investigate problems of large cardinals, etc). Some references of open problems on the subject are presented. (shrink)

A system of logic usually comprises a language for which a model-theory and a proof-theory are defined. The model-theory defines the semantic notion of model-theoretic logical consequence (⊨), while the proof-theory defines the proof- theoretic notion of logical consequence (or logical derivability, ⊢). If the system in question is sound and complete, then the two notions of logical consequence are extensionally equivalent. The concept of full formalization is a more restrictive one and requires in addition the preservation of the standard (...) meanings of the logical terms in all the admissible interpretations of the logical calculus, as it is proof-theoretically defined. Although classical first-order logic is sound and complete, its standard formalizations fall short to be full formalizations since they allow non-intended interpretations. This fact poses a challenge for the logical inferentialism program, whose main tenet is that the meanings of the logical terms are uniquely determined by the formal axioms or rules of inference that govern their use in a logical calculus, i.e., logical inferentialism requires a categorical calculus. This paper is the first part of a more elaborated study which will analyze the categoricity problem from its beginning until the most recent approaches. I will first start by describing the problem of a full formalization in the general framework in which Carnap (1934/1937, 1943) formulated it for classical logic. Then, in sections IV and V, I shall discuss the way in which the mathematicians B.A. Bernstein (1932) and E.V. Huntington (1933) have previously formulated and analyzed it in algebraic terms for propositional logic and, finally, I shall discuss some critical reactions Nagel (1943), Hempel (1943), Fitch (1944), and Church (1944) formulated to these approaches. (shrink)

Abstract. Let REL(O*E) be the relation algebra of binary relations defined on the Boolean algebra O*E of regular open regions of the Euclidean plane E. The aim of this paper is to prove that the canonical contact relation C of O*E generates a subalgebra REL(O*E, C) of REL(O*E) that has infinitely many elements. More precisely, REL(O*,C) contains an infinite family {SPPn, n ≥ 1} of relations generated by the relation SPP (Separable Proper Part). This relation can be used to define (...) point-free concept of connectedness that for the regular open regions of E coincides with the standard topological notion of connectedness, i.e., a region of the plane E is connected in the sense of topology if and only if it has no separable proper part. Moreover, it is shown that the contact relation algebra REL(O*E, C) and the relation algebra REL(O*E, NTPP) generated by the non-tangential proper parthood relation NTPP, coincide. This entails that the allegedly purely topological notion of connectedness can be defined in mereological terms. (shrink)

This paper introduces the novel concept of Neutro-BCK-algebra. In Neutro-BCK-algebra, the outcome of any given two elements under an underlying operation (neutro-sophication procedure) has three cases, such as: appurtenance, non-appurtenance, or indeterminate.

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)

In this paper and its sequel we continue our study of nilpotent symplectic alternating algebras. In particular we give a full classification of such algebras of dimension 10 over any field. It is known that symplectic alternating algebras over GF(3) correspond to a special rich class C of 2-Engel 3-groups of exponent 27 and under this correspondence we will see that the nilpotent algebras correspond to a subclass of C that are those groups in C that (...) have an extra group theoretical property that we refer to as being powerfully nilpotent and can be described also in the context of p-groups where p is an arbitrary prime. (shrink)

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)

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 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.

A recent paper by Jakl, Jung and Pultr succeeded for the first time in establishing a very natural link between bilattice logic and the duality theory of d-frames and bitopological spaces. In this paper we further exploit, extend and investigate this link from an algebraic and a logical point of view. In particular, we introduce classes of algebras that extend bilattices, d-frames and N4-lattices to a setting in which the negation is not necessarily involutive, and we study corresponding logics. (...) We provide product representation theorems for these algebras, as well as completeness, algebraizability results for the corresponding logics. (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)

Bell-CHSH inequalities are trivial algebraic properties satisfied by each line of an Nx4 spreadsheet containing ±1 entries, thus it is surprising that their violation in some experiments allows us to speculate about the existence of non-local influences in nature and casts doubt on the existence of the objective external physical reality. Such speculations are rooted in incorrect interpretations of quantum mechanics and in a failure of local realistic hidden variable models to reproduce quantum predictions for spin polarization correlation experiments (SPCE). (...) In these models, one uses a counterfactual joint probability distribution of only pairwise measurable random variables (A, A′, B, B′) to prove Bell-CHSH inequalities. In SPCE, Alice and Bob, using 4 incompatible pairs of experimental settings, estimate imperfect correlations between clicks registered by their detectors. Clicks announce the detection of photons and are coded by ±1. Expectations of corresponding random variables—E (AB), E (AB′), E (A′B), and E (A′B′)—are estimated and compared with quantum predictions. These estimates significantly violate CHSH inequalities. Since variables (A, A′) and (B, B′) cannot be measured jointly, neither Nx4 spreadsheets nor a joint probability distribution of (A, A′, B, B′) exist, thus Bell-CHSH inequalities may not be derived. Nevertheless, imperfect correlations between clicks in SPCE may be explained in a locally causal way, if contextual setting-dependent parameters describing measuring instruments are correctly included in the description. The violation of Bell-CHSH inequalities may not therefore justify the existence of a spooky action at the distance, super-determinism, or speculations that an electron can be both here and a meter away at the same time. In this paper we review and rephrase several arguments proving that such conclusions are unfounded. Entangled photon pairs cannot be described as pairs of socks nor as pairs of fair dice producing in each trial perfectly correlated outcomes. Thus, the violation of inequalities confirms only that the measurement outcomes and ‘the fate of photons’ are not predetermined before the experiment is done. It does not allow for doubt regarding the objective existence of atoms, electrons, and other invisible elementary particles which are the building blocks of the visible world around us. (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)

Bell-CHSH inequalities are trivial algebraic properties satisfied by each line of an Nx4 spreadsheet containing ±1 entries, thus it is surprising that their violation in some experiments allows us to speculate about the existence of non-local influences in nature and casts doubt on the existence of the objective external physical reality. Such speculations are rooted in incorrect interpretations of quantum mechanics and in a failure of local realistic hidden variable models to reproduce quantum predictions for spin polarization correlation experiments (SPCE). (...) In these models, one uses a counterfactual joint probability distribution of only pairwise measurable random variables (A, A′, B, B′) to prove Bell-CHSH inequalities. In SPCE, Alice and Bob, using 4 incompatible pairs of experimental settings, estimate imperfect correlations between clicks registered by their detectors. Clicks announce the detection of photons and are coded by ±1. Expectations of corresponding random variables—E (AB), E (AB′), E (A′B), and E (A′B′)—are estimated and compared with quantum predictions. These estimates significantly violate CHSH inequalities. Since variables (A, A′) and (B, B′) cannot be measured jointly, neither Nx4 spreadsheets nor a joint probability distribution of (A, A′, B, B′) exist, thus Bell-CHSH inequalities may not be derived. Nevertheless, imperfect correlations between clicks in SPCE may be explained in a locally causal way, if contextual setting-dependent parameters describing measuring instruments are correctly included in the description. The violation of Bell-CHSH inequalities may not therefore justify the existence of a spooky action at the distance, super-determinism, or speculations that an electron can be both here and a meter away at the same time. In this paper we review and rephrase several arguments proving that such conclusions are unfounded. Entangled photon pairs cannot be described as pairs of socks nor as pairs of fair dice producing in each trial perfectly correlated outcomes. Thus, the violation of inequalities confirms only that the measurement outcomes and ‘the fate of photons’ are not predetermined before the experiment is done. It does not allow for doubt regarding the objective existence of atoms, electrons, and other invisible elementary particles which are the building blocks of the visible world around us. (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)

The mathematical developments of the 19th century seemed to undermine Kant’s philosophy. Non-Euclidean geometries challenged Kant’s view that there is a spatial intuition rich enough to yield the truth of Euclidean geometry. Similarly, advancements in algebra challenged the view that temporal intuition provides a foundation for both it and arithmetic. Mathematics seemed increasingly detached from experience as well as its form; moreover, with advances in symbolic logic, mathematical inference also seemed independent of intuition. This paper considers various philosophical responses to (...) these changes, focusing on the idea of modifying Kant’s conception of intuition in order to accommodate the increasing abstractness of mathematics. It is argued that far from clinging to an outdated paradigm, programs based on new conceptions of intuition should be seen as motivated by important philosophical desiderata, such as the truth, apriority, distinctiveness and autonomy of mathematics. (shrink)

Neutrosophic set is a new mathematical tool for handling problems involving imprecise, indetermi nacy and inconsistent data. Pseudo-BCI algebra is a kind of non-classical logic algebra in close connection with various non-commutative fuzzy logics. Recently, we applied neutrosophic set theory to pseudo-BCI al gebras. In this paper, we study neutrosophic filters in pseudo-BCI algebras. The concepts of neutrosophic regular filter, neutrosophic closed filter and fuzzy regular filter in pseudo-BCI algebras are introduced, and some basic properties are discussed. Moreover, (...) the relationships among neutrosophic regular filter, fuzzy filters and anti-grouped neutrosophic filters are prese nted, and the results are proved: a neutrosophic filter (fuzzy filter) is a neutrosophic regular filter (fuzzy regular filter), if and only if it is both a neutrosophic closed filter (fuzzy closed filter) and an anti-grouped neutrosophic filter (fuzzy anti-grouped filter). (shrink)

In this paper we extend the NeutroAlgebra & AntiAlgebra to the geometric spaces, by founding the NeutroGeometry & AntiGeometry. While the Non-Euclidean Geometries resulted from the total negation of one specific axiom (Euclid’s Fifth Postulate), the AntiGeometry results from the total negation of any axiom or even of more axioms from any geometric axiomatic system (Euclid’s, Hilbert’s, etc.) and from any type of geometry such as (Euclidean, Projective, Finite, Affine, Differential, Algebraic, Complex, Discrete, Computational, Molecular, Convex, etc.) Geometry, and the (...) NeutroGeometry results from the partial negation of one or more axioms [and no total negation of no axiom] from any geometric axiomatic system and from any type of geometry. Generally, instead of a classical geometric Axiom, one may take any classical geometric Theorem from any axiomatic system and from any type of geometry, and transform it by NeutroSophication or AntiSophication into a NeutroTheorem or AntiTheorem respectively in order to construct a NeutroGeometry or AntiGeometry. Therefore, the NeutroGeometry and AntiGeometry are respectively alternatives and generalizations of the Non-Euclidean Geometries. In the second part, we recall the evolution from Paradoxism to Neutrosophy, then to NeutroAlgebra & AntiAlgebra, afterwards to NeutroGeometry & AntiGeometry, and in general to NeutroStructure & AntiStructure that naturally arise in any field of knowledge. At the end, we present applications of many NeutroStructures in our real world. (shrink)

In 1980 F. Wattenberg constructed the Dedekind completion

d of the Robinson non-archimedean field

and established basic algebraic properties of

d [6]. In 1985 H. Gonshor established further fundamental properties of

d [7].In [4] important construction of summation of countable sequence of Wattenberg numbers was proposed and corresponding basic properties of such summation were considered. In this paper the important applications of the Dedekind completion

d in transcendental number theory were considered. We dealing using set theory ZFC
(
-model of ZFC).Given (...) an class of analytic functions of one complex variable f  

z, we investigate the arithmetic nature of the values of fz at transcendental points en, n  .Main results are: (i) the both numbers e
 and e   are irrational, (ii) number ee is transcendental. Nontrivial generalization of the Lindemann- Weierstrass theorem is obtained. (shrink)

An ongoing mystery in sensory science is how sensation magnitude F(I), such as loudness, increases with increasing stimulus intensity I. No credible, direct experimental measures exist. Nonetheless, F(I) can be inferred algebraically. Differences in sensation have empirical (but non-quantifiable) minimum sizes called just-noticeable sensation differences, ∆F, which correspond to empirically-measurable just-noticeable intensity differences, ∆I. The ∆Is presumably cumulate from an empirical stimulus-detection threshold I_th up to the intensity of interest, I. Likewise, corresponding ∆Fs cumulate from the sensation at the stimulus-detection (...) threshold, F(I_th ), up to F(I). Regarding the ∆Is, however, it is unlikely that all of them will be known experimentally; the procedures are too lengthy. The customary approach, then, is to find ∆I at a few widely-spaced intensities, and then use those ∆Is to interpolate all ∆Is using some smooth continuous function. The most popular of those functions is Weber’s Law, ∆I⁄I=K. But that is often not even a credible approximation to the data. However, there are other equations for ∆I⁄I. Any such equation for ∆I⁄I can be combined with any equation for ∆F, through calculus, to altogether obtain F(I). Here, two assumptions for ∆F are considered: ∆F=B (Fechner’s Law) and (∆F⁄F)=g (Ekman’s Law). The respective integrals involve lower bounds I_th and F(I_th ). This stands in broad contrast to the literature, which heavily favors non-bounded integrals. We, hence, obtain 24 new, alternative equations for sensation magnitude F(I) (12 equations for (∆I⁄I) × 2 equations for ∆F). (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)

A model of consciousness and conscious experience is introduced. Starting with a non-Lipschitz Chaotic dynamics of neural activity, we propose that the synaptic transmission between adjacent as well as distant neurons should be regulated in brain dynamics through quantum tunneling. Further, based on various studies of different previous authors, we consider the emergence of very large quantum mechanical system representable by an abstract quantum net entirely based on quantum-like entities having in particular the important feature of expressing self-reference similar to (...) what occurs in consciousness. The properties of such quantum-like mind entities are discussed in detail. A quantum-like model of conscious experience is also discussed. It is shown that such quantum mechanical entities are able to arrange themselves alternatively on the basis of the subject story, memory, and pain-pleasure in response to an external stimulus, thus giving the subject the possibility to response to the stimulus on the basis of his emotion as well as cognitive state. Finally, we discuss the possible connections between the quantum-like model introduced in this paper and the chaotic behaviors often identified experimentally in studies on brain dynamics. Part I of this article contains: Introduction; 1. Non Lipschitz Terminal Dynamics of Single Neuron Activity; and References; 2. Quantum Mechanical Properties of Neuron Dynamics; and 3. A Quantum Model of Consciousness I. (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)

We give a brief overview of the evolution of mathematics, starting from antiquity, through Renaissance, to the 19th century, and the culmination of the train of thought of history’s greatest thinkers that lead to the grand unification of geometry and algebra. The goal of this paper is not a complete formal description of any particular theoretical framework, but to show how extremisation of mathematical rigor in requiring everything be drivable directly from first principles without any arbitrary assumptions actually leads to (...) relaxing the computational difficulty along with maximal conceptual clarity. With this, we consider a revision of the foundations of elementary geometry and algebra based on the work of Grassmann and Clifford and apply it to conceptual and practical problems of past and present modern mathematics and mathematical physics. (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)

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)

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)

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)

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)

In this short survey article, I discuss Bell’s theorem and some strategies that attempt to avoid the conclusion of non-locality. I focus on two that intersect with the philosophy of probability: (1) quantum probabilities and (2) superdeterminism. The issues they raised not only apply to a wide class of no-go theorems about quantum mechanics but are also of general philosophical interest.