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)

We propose a distinction between two different concepts of time that play a role in physics: geometric time and creative time. The former is the time of deterministic physics and merely parametrizes a given evolution. The latter is instead characterized by real change, i.e. novel information that gets created when a non-necessary event becomes determined in a fundamentally indeterministic physics. This allows us to give a naturalistic characterization of the present as the moment that separates the potential future from the (...) determined past. We discuss how these two concepts find natural applications in classical and intuitionistic mathematics, respectively, and in classical and multivalued tensed logic, as well as how they relate to the well-known A- and B-theories in the philosophy of time. (shrink)

Wittgenstein’s later philosophy addresses the subject of connection between the psychic life of the individual and social context, represented by language games which are played within a form of life. Sensations and passions are part of the psychic life of the individual; far from being hidden psychological objects of a private Cartesian, they are inseparable from their social redefinition. In fact, they become visible in the context of the game. Wittgenstein argues that there is a transformation of subjective psychic life (...) by learning language games. The psychic life of the individual is then re-organized by learning a socially defined, characteristic behaviour pattern. However, the learning process of the games is complex and non-deterministic, in that it oscillates between degrees of acceptance and degrees of negation of language game rules. Through this oscillation between acceptance and denial of the game rules, it is possible to develop processes which lead to unpredictable changes in the game and in forms of life. (shrink)

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)

We investigate two large families of logics, differing from each other by the treatment of negation. The logics in one of them are obtained from the positive fragment of classical logic (with or without a propositional constant ff for “the false”) by adding various standard Gentzen-type rules for negation. The logics in the other family are similarly obtained from LJ+, the positive fragment of intuitionistic logic (again, with or without ff). For all the systems, we provide simple semantics which is (...) based on non-deterministic four-valued or three-valued structures, and prove soundness and completeness for all of them. We show that the role of each rule is to reduce the degree of non-determinism in the corresponding systems. We also show that all the systems considered are decidable, and our semantics can be used for the corresponding decision procedures. Most of the extensions of LJ+ (with or without ff) are shown to be conservative over the underlying logic, and it is determined which of them are not. (shrink)

Trying to overcome Dugundji’s result on uncharacterisability of modal logics by finite logical matrices, Kearns and Ivlev proposed, independently, a characterisation of some modal systems by means of four-valued multivalued truth-functions , as an alternative to Kripke semantics. This constitutes an antecedent of the non-deterministic matrices introduced by Avron and Lev . In this paper we propose a reconstruction of Kearns’s and Ivlev’s results in a uniform way, obtaining an extension to another modal systems. The first part of the paper (...) is devoted to four-valued Nmatrices, including Kearns’s and Ivlev’s. Besides proving with full details Kearns’s results for T, S4 and S5, we also obtain a characterisation of the system B by four-valued Nmatrices with level valuations. Concerning Ivlev’s results, two new modal systems are introduced and char.. (shrink)

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

With the rise of the scientific authority of neuroscience and recent neurotechnological advances, the understanding of the human being and its future is beginning to undergo a radical change. As a result, a normative and existential vacuum is opening and hopes as well as fears about the future are flourishing. Some philosophers are anticipating a broad neuroscientific disenchantment, sociocultural disruption and a new existential anxiety related to the clash of the neuroscientific and humanistic image of humans. Others are expecting the (...) technological and scientific developments to lead to human enhancement and existential emancipation. In the first part of this commentary, I outline these two contrasting responses to the rise of neurocentricism and non-anthropocentrism. In the second part, I argue that the divide between the old anthropocentric paradigm and the emerging neuroscientific is misconceived and that literature and fictional narrative are particularly illustrative of the possibility of integrating scientific materialism with humanism. I use the contemporary literary-philosophical work The Creative Act by Rick Rubin to show that humanist ideas can indeed cohere with anti-essentialist and neuroscientific notions of personal identity and self and how existential meaning and comfort can be found in a neuroscientifically and deterministically explained world. (shrink)

The article analyzes the possibilities and limitations of artificial intelligence. The article considers the subjectivity of artificial intelligence, determines its necessity for solving intellectual problems depending on the possibility of representing the real world as a deterministic system. Methodological limitations of artificial intelligence, which is based on the use of big data technologies, are stated. These limitations cause the impossibility of forming a holistic representation of the objects of cognition and the world as a whole. As a tool for deterministic (...) description of the universe it is proposed to use empirical-metaphysical general theory of systems, which is an extension of existing general theories of systems due to ontological justification of the phenomenon of isomorphism and definition of a limited set of laws, rules, patterns and primitives of forms and relations of objects in the universe. The distinction of natural (human) and artificial intelligence is considered, including the realization of multisystem integration of intelligence in physical, biological, social and spiritual systems. A philosophically grounded approach to ensuring the evolutionary properties of artificial intelligence is formulated, based on the inclusion of non-equilibrium mechanisms through which stability is realized. (shrink)

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

We show by way of example how one can provide in a lot of cases simple modular semantics for rules of inference, so that the semantics of a system is obtained by joining the semantics of its rules in the most straightforward way. Our main tool for this task is the use of finite Nmatrices, which are multi-valued structures in which the value assigned by a valuation to a complex formula can be chosen non-deterministically out of a certain nonempty set (...) of options. The method is applied in the area of logics with a formal consistency operator (known as LFIs), allowing us to provide in a modular way effective, finite semantics for thousands of different LFIs. (shrink)

In order to handle inconsistent knowledge bases in a reasonable way, one needs a logic which allows nontrivial inconsistent theories. Logics of this sort are called paraconsistent. One of the oldest and best known approaches to the problem of designing useful paraconsistent logics is da Costa’s approach, which seeks to allow the use of classical logic whenever it is safe to do so, but behaves completely differently when contradictions are involved. Da Costa’s approach has led to the family of logics (...) of formal (in)consistency (LFIs). In this paper we provide in a modular way simple non-deterministic semantics for 64 of the most important logics from this family. Our semantics is 3-valued for some of the systems, and infinite-valued for the others. We prove that these results cannot be improved: neither of the systems with a three-valued non-deterministic semantics has either a finite characteristic ordinary matrix or a two-valued characteristic non-deterministic matrix, and neither of the other systems we investigate has a finite characteristic non-deterministic matrix. Still, our semantics provides decision procedures for all the systems investigated, as well as easy proofs of important proof-theoretical properties of them. (shrink)

A paraconsistent logic is a logic which allows non-trivial inconsistent theories. One of the oldest and best known approaches to the problem of designing useful paraconsistent logics is da Costa’s approach, which seeks to allow the use of classical logic whenever it is safe to do so, but behaves completely differently when contradictions are involved. da Costa’s approach has led to the family of Logics of Formal (In)consistency (LFIs). In this paper we provide non-deterministic semantics for a very large family (...) of first-order LFIs (which includes da Costa’s original system.. (shrink)

A paraconsistent logic is a logic which allows non-trivial inconsistent theories. One of the oldest and best known approaches to the problem of designing useful paraconsistent logics is da Costa’s approach, which seeks to allow the use of classical logic whenever it is safe to do so, but behaves completely differently when contradictions are involved. da Costa’s approach has led to the family of Logics of Formal (In)consistency (LFIs). In this paper we provide non-deterministic semantics for a very large family (...) of first-order LFIs (which includes da Costa’s original system.. (shrink)

Recently, in an ongoing debate about informal provability, non-deterministic logics of informal provability BAT and CABAT were developed to model the notion. CABAT logic is defined as an extension of BAT logics and itself does not have independent and decent semantics. The aim of the paper is to show that, semantically speaking, both logics are rather complex and they can be characterized by neither finitely many valued deterministic semantics nor possible word semantics including neighbourhood semantics.

We study a new proof principle in the context of constructive Zermelo-Fraenkel set theory based on what we will call “non-deterministic inductive definitions”. We give applications to formal topology as well as a predicative justification of this principle.

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.

In the first part of this paper we analyzed finite non-deterministic matrix semantics for propositional non-normal modal logics as an alternative to the standard Kripke possible world semantics. This kind of modal system characterized by finite non-deterministic matrices was originally proposed by Ju. Ivlev in the 70s. The aim of this second paper is to introduce a formal non-deterministic semantical framework for the quantified versions of some Ivlev-like non-normal modal logics. It will be shown that several well-known controversial issues of (...) quantified modal logics, relative to the identity predicate, Barcan’s formulas and de re and de dicto modalities, can be tackled from a new angle within the present framework. (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, 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 axiom was replaced by the deontic 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 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)

Demonic composition, demonic refinement and demonic union are alternatives to the usual ‘angelic’ composition, angelic refinement (inclusion) and angelic (usual) union defined on binary relations. We first motivate both the angelic and the demonic via an analysis of the behaviour of non-deterministic programs, with the angelic associated with partial correctness and demonic with total correctness, both cases emerging from a richer algebraic model of non-deterministic programs incorporating both aspects. Zareckiĭ has shown that the isomorphism class of algebras of binary relations (...) under angelic composition and inclusion is finitely axiomatized as the class of ordered semigroups. The proof can be used to establish that the same axiomatization applies to binary relations under demonic composition and refinement, and a further modification of the proof can be used to incorporate a zero element representing the empty relation in the angelic case and the full relation in the demonic case. For the signature of angelic composition and union, it is known that no finite axiomatization exists, and we show the analogous result for demonic composition and demonic union by showing that the same axiomatization holds for both. We show that the isomorphism class of algebras of binary relations with the ‘mixed’ signature of demonic composition and angelic inclusion has no finite axiomatization. As a contrast, we show that the isomorphism class of partial algebras of binary relations with the partial operation of constellation product and inclusion (also a ‘mixed’ signature) is finitely axiomatizable. (shrink)

We present statements equivalent to some fragments of the principle of non-deterministic inductive definitions (NID) by van den Berg (2013), working in a weak subsystem of constructive set theory CZF. We show that several statements in constructive topology which were initially proved using NID are equivalent to the elementary and finitary NIDs. We also show that the finitary NID is equivalent to its binary fragment and that the elementary NID is equivalent to a variant of NID based on the notion (...) of biclosed subset. Our result suggests that proving these statements in constructive topology requires genuine extensions of CZF with the elementary or finitary NID. (shrink)

It is shown how the temporal-modal system of events TM (axiomatized in Appendix) allows for the avoidance of the logical determinism without the rejection of the principle of bivalence. The point is that the temporal and the modal parts of TM are so inter-related that modalities are in-the-real-world-inherent modalities independently of whether they concern actual or only possible events. Though formulated in a tenseless language, whose interpretation does not require the assumption of tense facts at the basic level of (...) reality, TM implies an objective, observer-independent difference between tenses based only on the way in which modalities are distributed along the time continuum. The conclusion is that the arrow of time is an intra-model characteristic of any model of TM that describes the non-deterministic real world up to a certain point of its history, while the flow of time is an inter-model characteristic of the continuous transition between these models. (shrink)

This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications in information processing, linguistics, reasoning and argumentation, and philosophy of science. It is recommended reading for anyone interested in the question of reasoning and argumentation in the presence of contradictions, in semantics, in the paradoxes of set theory and in the puzzling properties of negation in logic programming. Paraconsistent logic comprises a major logical theory and (...) offers the broadest possible perspective on the debate of negation in logic and philosophy. It is a powerful tool for reasoning under contradictoriness as it investigates logic systems in which contradictory information does not lead to arbitrary conclusions. Reasoning under contradictions constitutes one of most important and creative achievements in contemporary logic, with deep roots in philosophical questions involving negation and consistency This book offers an invaluable introduction to a topic of central importance in logic and philosophy. It discusses the history of paraconsistent logic; language, negation, contradiction, consistency and inconsistency; logics of formal inconsistency and the main paraconsistent propositional systems; many-valued companions, possible-translations semantics and non-deterministic semantics; paraconsistent modal logics; first-order paraconsistent logics; applications to information processing, databases and quantum computation; and applications to deontic paradoxes, connections to Eastern thought and to dialogical reasoning. (shrink)

The aim of this paper is to study a particular family of non-deterministic semantics for modal logics that has eight truth-values. These eight-valued semantics can be traced back to Omori and Skurt (2016), where a particular member of this family was used to characterize the normal modal logic K. The truth-values in these semantics convey information about a proposition’s truth/falsity, whether the proposition is necessary/not necessary, and whether it is possible/not possible. Each of these triples is represented by a unique (...) value. In this paper we will study which modal logics can be obtained by changing the interpretation of the $$\Box $$ modality, assuming that the interpretation of other connectives stays constant. We will show what axioms are responsible for a particular interpretations of $$\Box $$. Furthermore, we will study subsets of these axioms. We show that some of the combinations of the axioms are equivalent to well-known modal axioms. We apply the level-valuation technique to all of the systems to regain the closure under the rule of necessitation. We also point out that some of the resulting logics are not sublogics of S5 and comment briefly on the corresponding frame conditions that are forced by these axioms. Ultimately, we sketch a proof of meta-completeness for all of these systems. (shrink)

It is well known that every propositional logic which satisfies certain very natural conditions can be characterized semantically using a multi-valued matrix ([Los and Suszko, 1958; W´ ojcicki, 1988; Urquhart, 2001]). However, there are many important decidable logics whose characteristic matrices necessarily consist of an infinite number of truth values. In such a case it might be quite difficult to find any of these matrices, or to use one when it is found. Even in case a logic does have a (...) finite characteristic matrix it might be difficult to discover this fact, or to find such a matrix. The deep reason for these difficulties is that in an ordinary multi-valued semantics the rules and axioms of a system should be considered as a whole, and there is no method for separately determining the semantic effects of each rule alone. (shrink)

Although he developed one of the most important modern theories of time, Bergson has often been criticised for not thinking history. Drawing on his writings from Creative Evolution to The Two Sources, I show that, on the contrary, he was trying to define history in a new way, one that would not be exhausted by the traditional opposition to the natural sciences. Bergson’s new philosophy of history, free of teleology and determinism, allows us to think the specificity of the (...) human historical dimension without erasing its articulation with natural evolution. Against the critical readings Aron and Merleau-Ponty have offered, I maintain that Bergson’s philosophy does not withdraw into an individualist spiritualism but includes the collective dimension and the history of non-human, both natural and technological, reality. (shrink)

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

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

Non-deterministic matrices are multiple-valued structures in which the value assigned by a valuation to a complex formula can be chosen non-deterministically out of a certain nonempty set of options. We consider two different types of semantics which are based on Nmatrices: the dynamic one and the static one . We use the Rasiowa-Sikorski decomposition methodology to get sound and complete proof systems employing finite sets of mv-signed formulas for all propositional logics based on such structures with either of the above (...) types of semantics. Later we demonstrate how these systems can be converted into cut-free ordinary Gentzen calculi which are also sound and complete for the corresponding non-deterministic semantics. As a by-product, we get new semantic characterizations for some well-known logics. (shrink)

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

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

Determinism fails easily if spacetimes with points removed from the spacetime manifold are taken to be physically reasonable representations of a way the world could be according to classical general relativity. I discuss a recently proposed condition for determining which spacetimes have holes—epistemic hole freeness—and show that epistemic hole freeness gives the correct verdict in some non-globally hyperbolic spacetimes with a closed subset removed, certain spacetimes with genuinely indeterministic features count as having an epistemic hole, which implies that the (...) requirement of epistemic hole freeness enforces a form of determinism, and there is a large class of spacetimes that intuitively are radically indeterministic and unphysical due to containing a hole, but are free from epistemic holes. I show that a few natural ways of remedying are not satisfactory. (shrink)

Alvin Plantinga, echoing a worry of Charles Darwin which he calls 'Darwin's doubt', argues that given Darwinian evolutionary theory our beliefs are unreliable, since they are determined to be what they are by evolutionary pressures and could have had no other content. This papers surveys in turn deterministic and non-deterministic interpretations of Darwinism, and concludes that Plantinga's argument poses a problem for the former alone and not for the latter. Some parallel problems arise for the Cognitive Science of Religion, and (...) in particular for the hypothesis that many of our beliefs, including religious beliefs, are due to a Hypersensitive Agency-Detection Device, at least if this hypothesis is held in a deterministic form. In a non-deterministic form, however, its operation need not cast doubt on the rationality or reliability of the relevant beliefs. (shrink)

The work of Herbert Marcuse, unlike that of certain of his colleagues at the Institut für Sozialforschung, is most often maligned as being excessively positive and identitarian. His work on Freud, for example, is criticized for being grounded in a crude biological determinism which points towards an ultimate reconciliation of both psychic and social conflict. This essay will attempt to counter such readings by critically juxtaposing Marcuse’s concept of non-repressive sublimation with Cornelius Castoriadis’s understanding of psychic socialization. It will (...) be suggested that the affinities between Marcuse and Castoriadis’s appropriations of Freudian metapsychology reveals the degree to which the former can be read as a radical democratic thinker affirming the values of autonomy and creativity. This reading demonstrates that Marcuse has much to contribute to contemporary debates on the role of the aesthetic and the sensuous in democratic theory. (shrink)

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

In strict opposition to the prevailing positivist conception of nature as senseless and deprived of meaning Jakob von Uexküll claimed that a certain planmässigkeit was operative in nature. This idea however might be taken to mean that organic evolution is not itself a creative process but a gradual, if majestic, unfolding of Nature's own master plan. Such an idea would threaten to restore determinism in the center of biological theory, and this would seriously contradict the vision of biosemiotics shared (...) by most of its proponents. It lies at the heart of biosemiotics and of Peircean cosmological philosophy that indeterminacy is primary, that “habit taking” or interpretation are real processes in the world, and therefore that belief in the law of necessity is unfounded. It is suggested that Uexküllian planmässigkeit is in fact reconcilable with a modern non-deterministic understanding. In a certain sense the Umwelten of animals have indeed developed in accordance to a natural planmässigkeit, but this is a plan that incessantly traps life in certain strategic choices and in the same time diversifies the dimensionality of options for dealing with these choices, i. e. “the adjacent possible” in the terms of Stuart Kauffman. (shrink)

A rejection system, also referred to as a complementary calculus, is a proof system axiomatising the invalid formulas of a logic, in contrast to traditional calculi which axiomatise the valid ones. Rejection systems therefore introduce a purely syntactic way of determining non-validity without having to consider countermodels, which can be useful in procedures for automated deduction and proof search. Rejection calculi have first been formally introduced by Łukasiewicz in the context of Aristotelian syllogistic and subsequently rejection systems for many well-known (...) logics have been proposed. In this paper, we deal with rejection systems for so-called non-deterministic finite-valued logics, a special case of non-deterministic many-valued logics which were introduced by Avron and Lev as a generalisation of traditional many-valued logics. More specifically, we introduce a systematic method for constructing sequent-style rejection systems for any given non-deterministic finite-valued logic. Furthermore, as special instances of our method, we provide concrete calculi for specific paraconsistent logics which can be characterised in terms of non-deterministic two- and three-valued semantics, respectively. (shrink)

Creativity is an important 21st Century skill that enhances students’ ability to see new opportunities, confront new challenges, and adapt flexibly to the changing study, work and life situations. To nurture students with strong self-efficacy in creative thinking is as important as the contexts and strategies involved in its application. But how to develop sustainable interventions to promote students’ self-efficacy in creativity is a long-lasting challenge. This study presents a simple and relatively cost-effective instructional intervention, i.e., self-assessment mind (...) maps, and examines its effect on students’ self-efficacy in creativity, self-efficacy in learning English, and academic performance in English language tests. A pretest-posttest non-equivalent design was adopted for the experimental and control groups of students in a Hong Kong primary school in 2021/22 Spring semester. The results show that students from the experimental group significantly outperformed those from the control group on self-efficacy in creativity after the intervention. However, the intervention did not improve students’ self-efficacy and test performance in English learning. The findings demonstrate the potential of self-assessment mind maps as an effective and sustainable instruction intervention to promote students’ higher-order abilities. This study sheds light on designing sustainable instructional strategies for empowerment in creativity. (shrink)

The hypothesis that the particular linear tracks appearing in the measurement of a spherically-emitting radioactive source in a cloud chamber are determined by the positions of atoms or molecules inside the chamber is further explored in the framework of a recently established one-dimensional model. In this model, meshes of localized spins 1/2 play the role of the cloud-chamber atoms and the spherical wave is replaced by a linear superposition of two wave packets moving from the origin to the left and (...) to the right, evolving deterministically according to the Schrödinger equation. We first revisit these results using a time-dependent approach, where the wave packets impinge on a symmetric two-sided detector. We discuss the evolution of the wave function in the configuration space and stress the interest of a non-symmetric detector in a quantum-measurement perspective. Next we use a time-independent approach to study the scattering of a plane wave on a single-sided detector. Preliminary results are obtained, analytically for the single-spin case and numerically for up to 8 spins. They show that the spin-excitation probabilities are sometimes very sensitive to the parameters of the model, which corroborates the idea that the measurement result could be determined by the atom positions. The possible origin of decoherence and entropy increase in future models is finally discussed. (shrink)

John Earman's A Primer on Determinism treats the doctrine of Laplacian determinism by a careful look at a considerable variety of physical theories. This paper enriches Earman's discussion of chaos theory by considering in some detail the analysis of dripping faucets due to Robert Shaw. Shaw's analysis exhibits in a nice way some of the techniques used in chaos theory and gives a feel for research in this area. The paper concentrates on the tension between the determinism (...) inherent in any description involving differential equations and the in-practice unpredictability resulting from the extreme sensitivity to initial conditions of the non-linear differential equations characteristic of chaos theory. (shrink)

The paper revisits the old controversy over causality and determinism and argues, in the first place, that non˗deterministic theories of modern science are largely irrelevant to the philosophical issue of the causality principle. As it seems to be the ‘moral’ of the uncertainty principle, the reason why a deterministic theory cannot be applied to the description of certain physical systems is that it is impossible to capture such properties of the system, which are required by a desired theory. These (...) properties constitute what is called ‘the state’ of a system. However, the notion of a state of a system is relative: it depends on a particular theory which one would like to use to describe given kinds of phenomena. This implies that, even in the case where the desired state of a system is fundamentally impossible to be captured, neither ontological nor epistemological determinism may be excluded. Some following critical considerations are also offered with regard to the claim that uncertainty is “rooted in the things themselves”. The cradle of modern discussions about causality and determinism is, of course, quantum mechanics. Because, as it appears, a judgment on deterministic or non˗deterministic character of a theory can be made only after some interpretation of this theory has been given, the paper briefly reminds some chosen interpretations of quantum mechanics (Schrödinger's, probabilistic, statistical, Copenhagen, and the interpretation of quantum ensembles). Many of such interpretations, offered in the past, have now been rejected, and some gained more credibility than the others. Nonetheless, even the claim that indeterminism is irremovable from the description of the micro-world doesn't imply the rejection of the most general formula of the philosophical causality principle. There is no direct implication between theses of the epistemology of scientific knowledge and those of the ontology of the real world. (shrink)

The article argues that Rousseau's thought is unified by a non-materialistic, non-deterministic version of naturalism, according to which human beings are intrinsically good and intrinsically free, and at the same time moulded by their natural and social environment. Within that unity the article identifies a deep, creative tension between two competing visions of the best attainable form of human life: on the one hand a vision of a unified, integrated life , in which inner conflicts are at a minimum and (...) the goal is happiness; on the other hand a vision of a divided life whose goal is self-mastery. In support of this interpretation of Rousseau, the article subjects the readings of Cassirer and Strauss-Masters to a detailed critique. It concludes with a brief examination of Rousseau's intriguing claim that he would 'rather be a man of paradoxes than a man of prejudices'. (shrink)

We introduce a restricted second-order logic $\textrm{SO}^{\textit{plog}}$ for finite structures where second-order quantification ranges over relations of size at most poly-logarithmic in the size of the structure. We demonstrate the relevance of this logic and complexity class by several problems in database theory. We then prove a Fagin’s style theorem showing that the Boolean queries which can be expressed in the existential fragment of $\textrm{SO}^{\textit{plog}}$ correspond exactly to the class of decision problems that can be computed by a non-deterministic Turing (...) machine with random access to the input in time $O^k)$ for some $k \ge 0$, i.e. to the class of problems computable in non-deterministic poly-logarithmic time. It should be noted that unlike Fagin’s theorem which proves that the existential fragment of second-order logic captures NP over arbitrary finite structures, our result only holds over ordered finite structures, since $\textrm{SO}^{\textit{plog}}$ is too weak as to define a total order of the domain. Nevertheless, $\textrm{SO}^{\textit{plog}}$ provides natural levels of expressibility within poly-logarithmic space in a way which is closely related to how second-order logic provides natural levels of expressibility within polynomial space. Indeed, we show an exact correspondence between the quantifier prefix classes of $\textrm{SO}^{\textit{plog}}$ and the levels of the non-deterministic poly-logarithmic time hierarchy, analogous to the correspondence between the quantifier prefix classes of second-order logic and the polynomial-time hierarchy. Our work closely relates to the constant depth quasipolynomial size AND/OR circuits and corresponding restricted second-order logic defined by David A. Mix Barrington in 1992. We explore this relationship in detail. (shrink)

in Dirac's classical theory of the electron—is causally non-local. I distinguish two distinct causal locality principles and argue, using Dirac's theory as my main case study, that neither can be reduced to a non-causal principle of local determinism.

In addition to delineating a creative and non-deterministic notion of conceptual analysis, the paper defends two theses, one conceptual, the other historical: Although philosophical activity can certainly not be conceptually reduced to conceptual analysis, conceptual analysis is nevertheless central to it and encompasses what can be most properly called "philosophical" about it. The history of philosophy, particularly of ancient philosophy, confirms a posteriori the adequacy of thesis.