If the concept of “free will” is reduced to that of “choice” all physical world shares the latter quality. Anyway the “free will” can be distinguished from the “choice”: The “free will” involves implicitly a certain goal, and the choice is only the mean, by which the aim can be achieved or not by the one who determines the target. 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. Quantum mechanics introduces the choice in the fundament of physical world involving 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 2006; 2009). Any quantum system either a human or an electron or whatever else has always a choice: Its behavior is not predetermined by its past. This is a physical law. It implies that a form of information, the quantum information underlies all existing for the unit of the quantity of information is an elementary choice: either a bit or a quantum bit (qubit). (shrink)

In quantum theory every state can be diagonalized, i.e. decomposed as a convex combination of perfectly distinguishable pure states. This elementary structure plays an ubiquitous role in quantum mechanics, quantum information theory, and quantum statistical mechanics, where it provides the foundation for the notions of majorization and entropy. A natural question then arises: can we reconstruct these notions from purely operational axioms? We address this question in the framework of general probabilistic theories, presenting a set of axioms that guarantee that (...) every state can be diagonalized. The first axiom is Causality, which ensures that the marginal of a bipartite state is well defined. Then, Purity Preservation states that the set of pure transformations is closed under composition. The third axiom is Purification, which allows to assign a pure state to the composition of a system with its environment. Finally, we introduce the axiom of Pure Sharpness, stating that for every system there exists at least one pure effect occurring with unit probability on some state. For theories satisfying our four axioms, we show a constructive algorithm for diagonalizing every given state. The diagonalization result allows us to formulate a majorization criterion that captures the convertibility of states in the operational resource theory of purity, where random reversible transformations are regarded as free operations. (shrink)

A description of consciousness leads to a contradiction with the postulation from special relativity that there can be no connections between simultaneous event. This contradiction points to consciousness involving quantum level mechanisms. The Quantum level description of the universe is re- evaluated in the light of what is observed in consciousness namely 4 Dimensional objects. A new improved interpretation of Quantum level observations is introduced. From this vantage point the following axioms of consciousness is presented. Consciousness consists of two distinct (...) components, the observed U and the observer I. The observed U consist of all the events I is aware of. A vast majority of these occur simultaneously. Now if I were to be an entity within the space-time continuum, all of these events of U together with I would have to occur at one point in space-time. However, U is distributed over a definite region of space-time (region in brain). Thus, I is aware of a multitude of space-like separated events. It is seen that this awareness necessitates I to be an entity outside the space-time continuum. With I taken as such, a new concept called concept A is introduced. With the help of concept A a very important axiom of consciousness, namely Free Will is explained. Libet s Experiment which was originally seen to contradict Free will, in the light of Concept A is shown to support it. A variation to Libet s Experiment is suggested that will give conclusive proof for Concept A and Free Will. (shrink)

Free logics aim at freeing logic from existence assumptions by making them explicit, e.g., by adding an existence premisse to the antecedence of the classical axiom-schema of Universal Instantiation. Their historical development was motivated by the problem of empty singular terms, and that one of simple statements containing at least one such singular term: what is the referential status of such singular terms and what truth-value, if any, do such statemants have? Free logics can be classified with (...) regard to their respective answers to these problems. Negative free logics assume that non-existent objects cannot have any properties at all; hence, in particular, they cannot be self-identical or rotate. Positive free logics believe that non-existents can be self-identical according to the Leibnizian concept of identity. Neutral free logics think that statements of self-identity are truth-valueless because of the Fregean principle of compositionality. Since only in negative free logic, but not in positive free logic, two statements of the forms "a = a" and "E!a" are logically equivalent, one also can define only for NFL, but not for PFL, existence by self-identity. (shrink)

Free will and individual responsibility are cornerstones of the justice system and widely accepted as axiomatic. In the present work we use predicate calculus to illustrate that there is a clash of assumptions between biological theory and these axioms of justice and ethics. This creates a conflict with the justice system, for from the assumption that self-consciousness and free will determines actions, punishment is legitimised whenever social, moral and legal norms are violated.If we accept that voluntarist and determinist (...) assumptions are mutually exclusive and necessarily generate either separate or incoherent working spaces in current models, the discussion about such models requires a third space for deliberation. A third space for dialogue offers an opportunity to generate fresh approaches, with implications not only for remodelling our current concepts of justice, but also for re-modelling our current approaches to science. (shrink)

In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...) by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system. (shrink)

A description of consciousness leads to a contradiction with the postulation from special relativity that there can be no connections between simultaneous event. This contradiction points to consciousness involving quantum level mechanisms. The Quantum level description of the universe is re- evaluated in the light of what is observed in consciousness namely 4 Dimensional objects. A new improved interpretation of Quantum level observations is introduced. From this vantage point the following axioms of consciousness is presented. Consciousness consists of two distinct (...) components, the observed U and the observer I. The observed U consist of all the events I is aware of. A vast majority of these occur simultaneously. Now if I were to be an entity within the space-time continuum, all of these events of U together with I would have to occur at one point in space-time. However, U is distributed over a definite region of space-time (region in brain). Thus, I is aware of a multitude of space-like separated events. It is seen that this awareness necessitates I to be an entity outside the space-time continuum. With I taken as such, a new concept called concept A is introduced. With the help of concept A a very important axiom of consciousness, namely Free Will is explained. (shrink)

We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized with formal grammars, (...) and which encode certain frame conditions expressible as first-order Horn formulae that correspond to a subclass of the Scott-Lemmon axioms. We show that our nested systems are sound, cut-free complete, and admit hp-admissibility of typical structural rules. (shrink)

“I am me”, but what does this mean? For centuries humans identified themselves as conscious beings with free will, beings that are important in the cosmos they live in. However, modern science has been trying to reduce us into unimportant pawns in a cold universe and diminish our sense of consciousness into a mere illusion generated by lifeless matter. Our identity in the cosmos is nothing more than a deception and all the scientific evidence seem to support this idea. (...) Or is it not? The goal of this paper is to discard current underlying dogmatism (axioms taken for granted as "self-evident") of modern mind research and to show that consciousness seems to be the ultimate frontier that will cause a major change in the way exact sciences think. If we want to re-discover our identity as luminous beings in the cosmos, we must first try to pinpoint our prejudices and discard them. Materialism is an obsolete philosophical dogma and modern scientists should try to also use other premises as the foundation of their theories to approach the mysteries of the self. Exact sciences need to examine the world with a more open mind, accepting potentially different interpretations of existing experimental data in the fields of brain research, which are currently not considered simply on the basis of a strong anti-spiritual dogmatism. Such interpretations can be compatible with the notion of an immaterial spirit proposed by religion for thousands of years. Mind seems that is not the by-product of matter, but the opposite: its master. No current materialistic theory can explain how matter may give rise to what we call “self” and only a drastic paradigm shift towards more idealistic theories will help us avoid rejecting our own nature. (shrink)

We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionistic grammar logics as well as provide axiomatizations for extensions with combinations of seriality axioms and what we call "intuitionistic path axioms". We show that each axiomatization is sound and complete with completeness being shown via a typical canonical model construction.

This is a critical review of Roger Crisp's The Cosmos of Duty. The review praises the book but, among other things, takes issue with some of Crisp's criticisms of Sidgwick's view that resolution of the free will problem is of limited significance to ethics and with Crisp's claim that in Methods III.xiii Sidgwick defends an axiom of prudence that undergirds rational egoism.

Different notions of the consistency of obligations collapse in standard deontic logic. In justification logics, which feature explicit reasons for obligations, the situation is different. Their strength depends on a constant specification and on the available set of operations for combining different reasons. We present different consistency principles in justification logic and compare their logical strength. We propose a novel semantics for which justification logics with the explicit version of axiom D, jd⁠, are complete for arbitrary constant specifications. Consistency (...) is sometimes formulated in terms of permission. We therefore study permission in the context of justification logic, introducing a notion of free-choice permission for the first time. We then discuss the philosophical implications with regard to some deontic paradoxes. (shrink)

We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in functional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S , all definable sets of reals are (...) Lebesgue measurable, suggesting that Connes views a theory as being “virtual” if it is not definable in a suitable model of ZFC. If so, Connes’ claim that a theory of the hyperreals is “virtual” is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren’t definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in Noncommutative Geometry, raising the question whether the latter may not be vulnerable to Connes’ criticism of virtuality. We analyze the philosophical underpinnings of Connes’ argument based on Gödel’s incompleteness theorem, and detect an apparent circularity in Connes’ logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace −∫ (featured on the front cover of Connes’ magnum opus) and the Hahn–Banach theorem, in Connes’ own framework. We also note an inaccuracy in Machover’s critique of infinitesimal-based pedagogy. (shrink)

I propose a relevance-based independence axiom on how to aggregate individual yes/no judgments on given propositions into collective judgments: the collective judgment on a proposition depends only on people’s judgments on propositions which are relevant to that proposition. This axiom contrasts with the classical independence axiom: the collective judgment on a proposition depends only on people’s judgments on the same proposition. I generalize the premise-based rule and the sequential-priority rule to an arbitrary priority order of the propositions, (...) instead of a dichotomous premise/conclusion order resp. a linear priority order. I prove four impossibility theorems on relevance-based aggregation. One theorem simultaneously generalizes Arrow’s Theorem (in its general and indifference-free versions) and the well-known Arrow-like theorem in judgment aggregation. (shrink)

In this essay I argue that childbearing and various kinds of organ donation are morally analogous activities. I argue, further, that the ethos of giftgiving ought to inform our analyses of both of these forms of bodily life support. This reframing of the abortion and organ donation debates yields new insights into two relatively neglected subtopics. First, though frequently asserted, few have demonstrated why bodily life support--especially in the form of childbearing--cannot be morally required. This comparison yields insights into the (...) reasons for such an axiom. Second, while the giving of bodily life support is sometimes exhorted and almost always respected and admired, its intelligibility and political meaningfulness as a moral choice is rarely explored. This analogical wager reveals why one ought to give another bodily life support. In summary, the analogy yields insights crucial to the development of cogent arguments regarding both the grounds for and limits of the responsibility to give bodily life support. Further, the analogy displays the disparity between what has been demanded traditionally of those who are pregnant and of those men (and women) who by virtue of tissue or blood type can offer other forms of bodily life support. The analogy enables reflection on abortion (and organ donation) to develop in a context free of sexist biases. Finally, efforts are made to assess this giftgiving ethos in light of the feminist "hermeneutics of suspicion" regarding arguments which have and can sacralize victimization. (shrink)

The first aim of this paper is to prove a topological completeness theorem for a weak version of Stalnaker’s logic KB of knowledge and belief. The weak version of KB is characterized by the assumption that the axioms and rules of KB have to be satisfied with the exception of the axiom (NI) of negative introspection. The proof of a topological completeness theorem for weak KB is based on the fact that nuclei (as defined in the framework of point- (...) class='Hi'>free topology) give rise to a profusion of topological belief operators that are compatible with the familiar topological knowledge operator. Thereby a canonical topological model for weak KB can be constructed. For this canonical model a truth lemma for the K and B holds such that a completeness theorem for KB can be proved in the familiar way. The second aim of this paper is to show that the topological interpretation of knowledge K comes along with a complete Heyting algebra of belief operators B that all fit the knowledge operator K in the sense that the pairs (K, B) satisfy all axioms of weak KB. This amounts to a pluralistic relation between knowledge and belief: Knowledge does not fully determine belief, rather it designs a conceptual space for belief operators where different (competing) belief operators coexist. (shrink)

June 2022 A Revolutionary New Metaphysics, Based on Consciousness, and a Call to All Philosophers We are in a unique moment of our history unlike any previous moment ever. Virtually all human economies are based on the destruction of the Earth, and we are now at a place in our history where we can foresee if we continue on as we are, our own extinction. As I write, the planet is in deep trouble, heat, fires, great storms, and record flooding, (...) weather patterns drastic everywhere. Capitalism has been so successful in supplying us with an endless array of consumer items, that we have never noticed there is a cost. But there is a cost, the cost is the very life of the Earth herself, and now the day of reckoning is here. Days of reckoning are most often days of rath. But I am hoping that this is a day of major Awakening over the entire planet. We have caused a crisis so great for the Earth we can hardly get our minds around it. But I am proposing that deeply embedded in the crisis are ideas, about who and what the Earth is, Ourselves, and what we are here for. I am proposing that this is a call to all philosophy and philosophers to rethink ourselves from the ground up. The human race has never gotten the Earth right and now we must, for the Earth is the true foundation for civilization. We are in deep trouble with the Earth, and it owes to the fact that the great male thinkers never got the Earth right, they could never make the connection between the life of mind and the life of the Earth. I am proposing that deeply embedded in the crisis we are in are ideas. And that in fact the planet is in the grip of a false metaphysics, and scientific image of nature that really comes most recently from Descartes. His conviction that matter, and with it the Earth, are simply the weighable, the measurable the extended in space and time, utterly devoid of any inner life of mind thoughts or Consciousness. This view of matter and the Earth goes back to the very dawn of thought, Descartes is just its most recent and comprehensive version of things. This view of matter is really a false metaphysics that dominates most of the modern world and underpins the whole scientific image of nature itself. I am proposing this is a false metaphysics and offering a new version of things based on Consciousness. If there is a single idea fueling and driving the destruction of the planet, it is the conviction that the Earth is something without Consciousness. When you intend to ravage and savage the planet, turn it into consumer items to be converted into money in the bank, first pretend that all of the bright beings in the natural world are devoid of Consciousness, just “things” you do not have to have any conscious about destroying them. I am proposing that this term Consciousness, that has appeared as term and a problem for modern science, is the key to getting ourselves right with the Earth. I propose this new theory for science will ramify into every other disciplines as well, and the ways we think just about everything. This old paradigm based on a false theory of matter, has run its course, it has brought us to the brink of our own extinction. We need new ideas, and we need them now. You will find my recent work in the Scientific God Journal under the title: Consciousness as the Organizing Principle, and a very complete version of my arguments for this term Consciousness, along with radical reinterpretation of modern science itself, on the Galileo Commission site. It is a radical moment for all of the thinkers among us, take this as my small contribution to rethinking ourselves in new terms, based on my understanding that the true basis for the whole of Being, the Universe, the Cosmos, and with them Ourselves, is this term Consciousness. And unpack it. And I predict that with this term Consciousness every intractable human problem in both science and the modern world will go down like a line of dominos before it. And so, here are a few new ideas I would offer you. These are the times of the Reappearance of the Feminine, a great Awakening as of Springtime after a long dark and lonely Winter. We are leaving behind us an old civilization based on male dominance, fear lies and control, now in decay, disease, and death disintegrating all around us. We are moving into a whole new civilization based on Love and Truth. A new civilization requires new basic terms values and first principles. And so, I return to Descartes. 1. Just over 300 years ago a young man travelling with the army found himself stranded in a foreign town in a bare room lit by a candle with nothing to do but think. And in a couple of nights Descartes laid the entire thought foundations for modern science and most of the modern world. It isn’t clear that modern philosophers with their funding sources of grants, their graduate students, their reputation and all the perks and privileges of academia can do any better. Descartes claimed there are just two principles in the Universe, Matter and Mind. God was pure mind; human beings were mind and matter. And we are the only ones on the planet with mind. Everything else all of the bright array of beings who share the planet with us are simply matter. And matter? The weighable the measurable the extended in space and time utterly devoid of any inner life of thoughts, feelings, or Consciousness This classification was a boon for developing science. Scientists did not have to worry about any inner life in nature, ideas or Consciousness, they could just set about weighing and measuring, as they have until the present day. But it was a disaster for the Earth. Earth was once worshiped as a Goddess. With Descartes she became almost overnight “things.” Simply commodities and resources, an endless of supply of consumer items, to be turned into money in the bank. And now Descartes concept of matter is up for us. If there is a single idea that is enabling and driving the destruction of the Earth, it is the conviction that Earth is something without Consciousness. This whole scientific image of nature as something devoid of Consciousness is driving the destruction of the Earth, and driving us all insane, and it needs to change. Ever since Descartes formulated Dualism, scientists and philosophers have been trying to get rid of it. They have done this by attempting to make matter the fundamental term of reality, and to explain mind or Consciousness in terms of matter. And now, Consciousness has emerged as term and a problem for modern science. 2. The prevailing Universe picture has been mainly based on the belief that Consciousness appears only at the end of evolution in ourselves and some of the higher animals when matter attains “a certain state of complexity” and it is produced by neurons in the brain. But Consciousness is nothing real in itself, the neurons are doing the work, Consciousness is simply a byproduct of neural activity. As William James summed up this position, not his: Consciousness is to the brain as a shadow to the runner, it runs beside him but never influences his stride. And so, the great problem of neuroscience: How do neurons produce Consciousness? So far, no one has been able to say how. All we have is parallelism. Two processes are running in parallel a train of neural events and a train of Consciousness events. And so, which one is primary? The face of neuroscience and much of the modern world is that the neural events are what is really real, Consciousness is secondary. The conviction that Consciousness is something produced by neurons is so deeply held and has been so for so long, that it seems like an obvious fact. It is in fact an assumption and a theory, and it could all well be the other way around. The scientific image of nature as something devoid of Consciousness is now up for us. It has enabled the destruction of the Earth, and we are now at a unique place in our own evolution where we can foresee if we continue on as we are, our own extinction. And so, there are the best reasons for rethinking Descartes concepts of matter. Scientists and philosophers have been trying to escape dualism by making matter the fundamental term. And now, this has not worked. In a nutshell: The mind body problem, the “hard problem of Consciousness” ---how do neurons in the brain, atoms and molecules give rise to ideas thoughts and feelings and who what and where is the “I” who sees them? And then, the near-death experience. I remind you of the truth of the near-death experience. The body in the bed is brain dead eeg flat, but the patient, pure Consciousness is hovering at the ceiling watching the doctors work over the body below, able to read dials he could not have seen from the bed, sometimes able to events in the corridor beyond the room, all subsequently confirmed by the doctors. Evidence as good as it gets that the patient really was out of his body. And so, the patient is able to see without eyes, hear without ears and to think and remember without a brain. There is not a single scientific principle that can account for this. And I am proposing that the near-death experience is a threshold and a key for a much deeper understanding of the Universe. These three problems are so hard they cannot be solved by present scientific principles and therefore call all present principles and ways of thought into question. When your axioms cannot account for the data, it is time to drop them and find better fundamental terms. We have not been able to solve the problems of Consciousness with the assumption that matter is the most basic and fundamental term. And so, if Cartesian dualism is to be overcome at all, we need to try it the other way around. 3. We are in the position of Copernicus. Remember Copernicus? He was making his calculations on the assumption that the Earth was the center of the Universe until they became so unwieldy that he decided to try it all the other way around. To make the sun the center, the Earth revolving around it. And lo, all of his data fell neatly into place. I am proposing a whole new Universe picture. Evolution makes us continuous with every other being, Consciousness would not be in us if it were not in them also, and then, in the atoms and molecules and cells that make up living beings. I propose to make Consciousness the most basic term and see what follows. I am in fact, proposing a new Copernican Revolution, that Consciousness is the true basis for the Universe and the right fundamental term, for science itself all other disciplines as well, and the whole of the modern world. And I predict that every intractable problem in science or the modern world, will go down like a line of dominos before it. In a nutshell: Consciousness and not matter is “first and fundamental” in the Universe, it is there from the very “Beginning” everything has it and all of the true causalities, the explanatory principles belong to it. Not to matter. What then is matter? All matter is an Appearance of something much more real, Consciousness. All matter is an expression of Consciousness, even the least little bit of matter contains Consciousness, and is an expression of Consciousness. And so, we revise the scientific image of nature. Science at present is two termed, matter/energy. It needs to become three termed: Matter/energy/Consciousness, with the recognition that all of the basic principles, the true causalities of events, and of the Universe belong to Consciousness. And now physics. To accommodate this new Universe picture physics needs to alter just one term, energy. All energy contains Consciousness, that idea alone will change our world forever. The animals the trees the plants are just as conscious as we are, as is the Earth herself, a continuum of many forms of Consciousness of which our own is one. The Earth consists of interacting and intersecting forms of Consciousness, Consciousness within Consciousness within Consciousness within Consciousness. A remarkable work has just appeared entitled “Beyond Words What Animals Feel and Think.” Describing in detail how like ourselves all of the animals are. And the more we can see how like us everything else really is, the harder it will be for us to do them all in, in the interest of turning them into consumer items. And so, here is a new principle of understanding, that entails completely new forms of explanation, and a whole new Universe picture to be spelled out in terms of Consciousness and its various properties. This is a Universe that is aware awake and Enspirited throughout. And so, there is only one principle, not two. And so, how does Consciousness work? There is “no mind/body problem.” My Consciousness is aligning the Consciousness of neurons in the brain, that aligns the Consciousness of all other cells in the body, that aligns the Consciousness of molecules and atoms themselves. Mainly from the top down, but also interactive, and not reduction to the purely physical forces. 4. And so, here is a radical new Universe picture, and with it a new way to think about the Universe itself, the Earth, Ourselves, and Spirit. It requires a complete revision of both of the terms of modern science itself. The problem of the modern world owes in deep measure to Descartes concept of matter as something devoid of interior life. But he is only the most powerful and simple expression of a whole tradition of thought that predates him, that goes back to the very dawn of thought itself. It owes to the conviction of both Plato and Aristotle that the Earth was something devoid of reason, or mind, and therefore something to be held in complete contempt. We are emerging from a civilization based on contempt for the Earth, and down the road, it will become contempt for the body, sex, women, the Native people, and people of color everywhere. And so, this entire tradition is now up for us, it has brought us to the brink of our own extinction, and we need to get beyond it. I am proposing that this term Consciousness is the way out. The missing piece of the puzzle and the idea whose time has come. And it will enable us to move into a completely new civilization based on respect for the Earth, women, sex, people of color, that honors everyone and has a place for all. Revolutions in science occur when new data show up that cannot be accounted for by existing paradigms (Thomas Kuhns: The Structure of Scientific Revolutions). Consciousness, and all the properties and problems of Consciousness are just such data, and they compel a new scientific revolution. But we are a scientific age. A new Copernican revolution in science is such as revolution everywhere. And Consciousness is the key to getting every other reality at all levels and depths right as well. It will enable us finally to get the Earth right, get ourselves right with the Earth, and with one another. Archimedes: Give me a place to stand, and I will move the world. I am proposing a new synthesis among our fundamental terms in which this term Consciousness is the new lynchpin. And so, I return once more to Descartes. Descartes in the Mediations was a dualist, they were two realities interacting in the pineal gland mind and body. But Descartes age was high on “Cartesianisms,” on Descartes concept of matter. Animals were simply cleverly wired machines (Hobbes called them automata). Rumor had it that Descartes followers went about kicking dogs reasoning that their howls were not due to any feelings of pain, but simply the wiring of the machine. We have been doing this to the Earth ever since, and now the Earth is not going to stand for it any longer. It is time we all woke up. There is no matter in Descartes sense of it, or in Plato and Aristotle’s sense of it. This old concept of matter is embedded in all of the crisis and catastrophes---fires, drought, pandemics, over population, the disintegrating economies, our ways of life, capitalism and consumerism themselves. All matter is Enspirited, contains Consciousness, and is an expression of Consciousness. Now I tell you something about Descartes you may not know. In the Mediations was a dualist, there are minds and bodies. But by the end of his life, he knew the truth. Descartes guided his whole life by these vivid dreams, and toward the end of his life he had this dream: He saw the Universe as a giant machine and in the heart of the machine propelling the whole, was Consciousness. And so, out of the shades and shadows and into the light of day. Here is a renewed and a new science, a new cosmology. And with it, a revolutionary new metaphysics. The whole of the modern world is in the grip of a false metaphysics, based on Descartes theory of matter. Here is a new, and finally true metaphysics based on the single term, Consciousness. 5. And in all my works, I spell out this new metaphysics based on Consciousness, and what it means for how we think about virtually everything: The Universe, the Earth, Ourselves, and Spirit. Of who, what and where Spirit is, that we may connect with Spirit everywhere. There is only one term for the Universe, and not two, this single term Consciousness, that manifests itself in two modes: Consciousness in Form, Consciousness Formless. And so, here is a sketch of what this new term Consciousness really means. For four great aspects of the real, four new cornerstones for a whole new civilization on Earth, based on Love and Truth. A. For the Universe: New causalities, all matter is an expression of Consciousness, awake and aware, Enspirited throughout, which has a place for the causalities of love ideas intent plan and purpose, what Aristotle called final causality, that for the sake of which. And it has a place for subjectivity, the greatest mystery in the whole of the Universe, knowable only in ourselves, but there in everything else as well, bedrock in the chain of causalities. The buck stops here. Here are two very different Universe pictures. The Cartesian Universe consists of things, pushed, and pulled around by the physical forces that function blind. The true Universe consists of selves and not things. Selves at least in ourselves, are organized and focused about an I, an I am, or a sense of self in everything, ever other being dear to itself. Just one aspect of subjectivity. And so, it is Consciousness all the way down, and subjectivity all the way down. Science proceeds on the basis of the negligible of what it can leave out as unimportant. Subjectivity is the ultimate animating principle of the Universe. What Descartes really did was to strip from nature what is most essential about it, its animating principle Consciousness. And so, we come out of a long history of “clunk.” The great male thinkers have killed creation. First in concepts and now in the lived life. And so, after centuries of fruitless search, not all of it in vain, finally, and just in time the true basic principle for the Universe has shown up in virtually all disciplines, this term Consciousness. B. And so, the Earth: What does this term Consciousness really mean for the Earth? It means that all of the bright array of beings around us have Consciousness. And the more we can realize how like us they are, the harder it will be to do them all in. Is this what it really means to be “made in the image of Spirit?” To destroy ever other living being? The god of Genesis is a creator god who has created billions and billions of living forms. Man, taking himself to be made in the image of Spirit has destroyed virtually all of it. The Earth is not things, not commodities and resources, not an endless array of consumer goods. The Earth consists of conscious living spiritual beings like ourselves, who need to be honored and respected, nurtured and cared for, to be Loved. And if the human race can finally pull it off and bring Love here and start helping the Earth rather than destroying her, even our vast numbers now at 8 billion, may not matter. Deeply embedded in the modern world is a false cosmology based on the hitherto useful but ultimately false metaphysics of Descartes. In particular it owes to Descartes concepts of matter, and of the Earth, as something devoid of Consciousness. And now this concept is up for us. If there is a single idea enabling and driving the destruction of the planet, it is the conviction that the Earth is something devoid of Consciousness. And we all have a vested interest in keeping this false concept in place. When you intend to ravage and savage the Earth, to turn it into consumer items, and money in the bank, first pretend she has no Consciousness that way we need not have any conscious about it. We are in deep trouble with the planet. Virtually all human economies are based on the destruction of the Earth, and we are now at a place in our history where we can foresee if we continue on as we are, our own extinction. And so, here are a few new guiding principles for the planet, based on Consciousness. Consciousness has field properties. The Earth is Consciousness throughout, connected and interconnected throughout, intersecting and interacting fields of Consciousness of which our own is one. To harm one is to harm all. Only this understanding of the Earth can set our destructive technologies, and capitalism, their goals, and their limits. The real problem with capitalism, and with civilization itself is it has no true understanding of the Earth, all the exquisite networks and webworks that connect all beings with one another. Nor it is about to admit that the Earth is our “life support system,” reason gone insane in the modern world. We are destroying our life support system, capitalism is the full expression of the human death wish in the modern world, and it needs to change. And now, let the barriers between ourselves and all other beings go down. C. And so, Ourselves. This new Universe picture based on Consciousness opens into and has a place for new concepts of human identity. In particular, it has a place for reincarnation, a process whereby one Consciousness dons’ bodies again and again and lays them down. This is a process wholly impossible on materialistic theories. This new view of things puts a higher perspective on Freudian determinism, which is a partial knowing in a greater account. We are something more than the victims of genes drives and childhood. We are immortally eternal evolving spiritual beings who take on a cycle of earthly lives in order to achieve certain goals and abilities, and then, our earthly cycle complete, we depart the Earth plane for other areas of the Universe physical or purely spiritual, to continue our evolution elsewhere. The scientific evidence for reincarnation is increasing on all sides, see for example the work of Michael Newton, a mainstream scientist forced to confront the fact of reincarnation. A completely new reincarnational picture is now emerging everywhere. We choose our parents for abilities we could acquire through them. We all come here with reasons for being here, and we all have free will, an original property of Consciousness, and we work out our issues accordingly. We all come here with the same reason for being here. It is to experience the Earth plane and human society at all levels and depths, in every social role, every climate, both sexes male and female and in all races. We are all here to acquire a deep understanding of the Earth plane with all its challenges and all of its present problems. We are not here to devour and consume the Earth, but to honor her for the learning experience she makes available for us. And so, reincarnation is the great equalizer, the fundamental basis for any bill of rights. Many of the problems of the modern world owe to the fact that reincarnation has not been taught in the West. Reincarnation was the center piece of Jesus teachings. It was banned by a fourth century council that decided the populous could best be controlled through fear. They edited all mention of reincarnation from the scriptures, and inserted fear terms instead, a judgmental god, and so on. If reincarnation had been taught, there would have been no suppression of women, but the gift of both sexes would have been honored and developed. And there would have been no reason for contempt for people of color because who they are, we have been or will be. There is no reason to look down on anyone when we know that our own identity includes membership in theirs. The truth of reincarnation needs to be the foundation for getting ourselves right with the Earth, and with one another. D. And so, Spirit. This new Universe picture, based on Consciousness, has a place for Spirit as simply Infinite Consciousness. All universes all worlds are formed out of this Consciousness, divine and sacred throughout. And Spirit is everywhere in the Earth and can be connected everywhere. And the Native North American people had things right. Everything has its own Spirit, and without contradiction is also an expression of Spirit. And what I am really doing in terms of concepts of modern science is presenting the Native North American version of the Real. And this new Universe picture has a place for the essential insight of all religions almost smothered by church tradition: Love. Not an emotion but a great Oneness, that can be found everywhere, even in a busy city street. But especially in the Earth, that is levels and depths of Oneness everywhere. And so, for the first time in their long and bitter antagonistic history, science and religion now share a common base with this term Spirit, the lynchpin in a new conceptual framework. And I offer an interpretation of where we are in our history, this present moment of historical grace, and these tumultuous times in which we live, the return of the Goddess and the Divine Feminine, the Reappearance of the Feminine in history, the Advent of Women, this great Awakening, as of Springtime after a long dark Winter, the Awakening, the Second Coming. And so, stay tuned! (shrink)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to (...) embeddings, semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. (...) Firstly, it is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)

The concept of quantum information is introduced as both normed superposition of two orthogonal sub-spaces of the separable complex Hilbert space and in-variance of Hamilton and Lagrange representation of any mechanical system. The base is the isomorphism of the standard introduction and the representation of a qubit to a 3D unit ball, in which two points are chosen. The separable complex Hilbert space is considered as the free variable of quantum information and any point in it (a wave function (...) describing a state of a quantum system) as its value as the bound variable. A qubit is equivalent to the generalization of ‘bit’ from the set of two equally probable alternatives to an infinite set of alternatives. Then, that Hilbert space is considered as a generalization of Peano arithmetic where any unit is substituted by a qubit and thus the set of natural number is mappable within any qubit as the complex internal structure of the unit or a different state of it. Thus, any mathematical structure being reducible to set theory is re-presentable as a set of wave functions and a subspace of the separable complex Hilbert space, and it can be identified as the category of all categories for any functor represents an operator transforming a set (or subspace) of the separable complex Hilbert space into another. Thus, category theory is isomorphic to the Hilbert-space representation of set theory & Peano arithmetic as above. Given any value of quantum information, i.e. a point in the separable complex Hilbert space, it always admits two equally acceptable interpretations: the one is physical, the other is mathematical. The former is a wave function as the exhausted description of a certain state of a certain quantum system. The latter chooses a certain mathematical structure among a certain category. Thus there is no way to be distinguished a mathematical structure from a physical state for both are described exhaustedly as a value of quantum information. This statement in turn can be utilized to be defined quantum information by the identity of any mathematical structure to a physical state, and also vice versa. Further, that definition is equivalent to both standard definition as the normed superposition and in-variance of Hamilton and Lagrange interpretation of mechanical motion introduced in the beginning of the paper. Then, the concept of information symmetry can be involved as the symmetry between three elements or two pairs of elements: Lagrange representation and each counterpart of the pair of Hamilton representation. The sense and meaning of information symmetry may be visualized by a single (quantum) bit and its interpretation as both (privileged) reference frame and the symmetries of the Standard model. (shrink)

Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis of (...) Variable Binding Term Operators” (Co-author John Herring), Logique et Analyse 55, 646–57. MR0307874 (46 #6989). A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. Kalish-Montague 1964 proposed using vbtos to formalize definite descriptions “the x: x+x=2”, set abstracts {x: F}, minimization in recursive function theory “the least x: x+x>2”, etc. However, they gave no semantics for vbtos. Hatcher 1968 gave a semantics but one that has flaws described in the 1971 paper and admitted by Hatcher. In 1971 we give a correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture, proved in this paper with Hatcher’s help, was proved independently about the same time by Newton da Costa. (shrink)

According to the conventionalist doctrine of space elaborated by the French philosopher-scientist Henri Poincaré in the 1890s, the geometry of physical space is a matter of definition, not of fact. Poincaré’s Hertz-inspired view of the role of hypothesis in science guided his interpretation of the theory of relativity (1905), which he found to be in violation of the axiom of free mobility of invariable solids. In a quixotic effort to save the Euclidean geometry that relied on this (...) class='Hi'>axiom, Poincaré extended the purview of his doctrine of space to cover both space and time. The centerpiece of this new doctrine is what he called the ‘‘principle of physical relativity,’’ which holds the laws of mechanics to be covariant with respect to a certain group of transformations. For Poincaré, the invariance group of classical mechanics defined physical space and time (Galilei spacetime), but he admitted that one could also define physical space and time in virtue of the invariance group of relativistic mechanics (Minkowski spacetime). Either way, physical space and time are the result of a convention. (shrink)

-/- A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. -/- Kalish-Montague proposed using vbtos to formalize definite descriptions, set abstracts {x: F}, minimalization in recursive function theory, etc. However, they gave no sematics for vbtos. Hatcher gave a semantics but one that has flaws. We give (...) a correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture was later proved independently by the authors and by Newton da Costa. -/- The expression (vy:F) is called a variable bound term (vbt). In case F has only y free, (vy:F) has the syntactic propreties of an individual constant; and under a suitable interpretation of the language vy:F) denotes an individual. By a semantic analysis of vbtos we mean a proposal for amending the standard notions of (1) "an interpretation o f a first -order language" and (2) " the denotation of a term under an interpretation and an assignment", such that (1') an interpretation o f a first -order language associates a set-theoretic structure with each vbto and (2') under any interpretation and assignment each vb t denotes an individual. (shrink)

Tarski’s Convention T—presenting his notion of adequate definition of truth (sic)—contains two conditions: alpha and beta. Alpha requires that all instances of a certain T Schema be provable. Beta requires in effect the provability of ‘every truth is a sentence’. Beta formally recognizes the fact, repeatedly emphasized by Tarski, that sentences (devoid of free variable occurrences)—as opposed to pre-sentences (having free occurrences of variables)—exhaust the range of significance of is true. In Tarski’s preferred usage, it is part of (...) the meaning of true that attribution of being true to a given thing presupposes the thing is a sentence. Beta’s importance is further highlighted by the fact that alpha can be satisfied using the recursively definable concept of being satisfied by every infinite sequence, which Tarski explicitly rejects. Moreover, in Definition 23, the famous truth-definition, Tarski supplements “being satisfied by every infinite sequence” by adding the condition “being a sentence”. Even where truth is undefinable and treated by Tarski axiomatically, he adds as an explicit axiom a sentence to the effect that every truth is a sentence. Surprisingly, the sentence just before the presentation of Convention T seems to imply that alpha alone might be sufficient. Even more surprising is the sentence just after Convention T saying beta “is not essential”. Why include a condition if it is not essential? Tarski says nothing about this dissonance. Considering the broader context, the Polish original, the German translation from which the English was derived, and other sources, we attempt to determine what Tarski might have intended by the two troubling sentences which, as they stand, are contrary to the spirit, if not the letter, of several other passages in Tarski’s corpus. (shrink)

The paper studies a cluster of systems for fully disquotational truth based on the restriction of initial sequents. Unlike well-known alternative approaches, such systems display both a simple and intuitive model theory and remarkable proof-theoretic properties. We start by showing that, due to a strong form of invertibility of the truth rules, cut is eliminable in the systems via a standard strategy supplemented by a suitable measure of the number of applications of truth rules to formulas in derivations. Next, we (...) notice that cut remains eliminable when suitable arithmetical axioms are added to the system. Finally, we establish a direct link between cut-free derivability in infinitary formulations of the systems considered and fixed-point semantics. Noticeably, unlike what happens with other background logics, such links are established without imposing any restriction to the premisses of the truth rules. (shrink)

One can construct a mapping between Hilbert space and the class of all logic if the latter is defined as the set of all well-orderings of some relevant set (or class). That mapping can be further interpreted as a mapping of all states of all quantum systems, on the one hand, and all logic, on the other hand. The collection of all states of all quantum systems is equivalent to the world (the universe) as a whole. Thus that mapping establishes (...) a fundamentally philosophical correspondence between the physical world and universal logic by the meditation of a special and fundamental structure, that of Hilbert space, and therefore, between quantum mechanics and logic by mathematics. Furthermore, Hilbert space can be interpreted as the free variable of "quantum information" and any point in it, as a value of the same variable as "bound" already axiom of choice. (shrink)

This essay examines sections relevant to libertarianism in Will Kymlicka’s Contemporary Political Philosophy: An Introduction (2nd ed.), making and explaining the following criticisms. Kymlicka’s “preface” misconstrues political philosophy’s progress, purpose, and its relation to libertarianism. In his “introduction”, his “project” mistakes libertarianism as “right-wing”, justice as compromise among “existing theories”, and equality as the “ultimate value.” His “a note on method” in effect takes as axioms, beyond philosophical examination, various alleged desiderata and the necessary moral role of the state. Moreover, (...) his “ultimate test” being “our considered convictions” amounts to a conservative and illogical justificationism at odds with radical and coherent critical rationalism. Kymlicka’s chapter on “libertarianism” mistakes it as, inherently and unavoidably, free-marketist, anti-consequentialist, deontological, Nozickian, requiring “a foundational moral premiss, without objective content, unmaximisable, indistinguishable from license, equality-based, anti-anarchist, “self-defeating”, indefensibly “unfair”, impractically “philosophical”, and without influence. A different version of libertarianism easily withstands all Kymlicka’s antipathetic criticisms. (shrink)

The central thesis of my article is that people live a life worthy of a human being only as self-ruling members of some autarchic (or self-governing) communities. On the one hand, nobody is born as a self-ruling individual, and on the other hand, everybody can become such a person by observing progressively the non-aggression principle and, ipso facto, by behaving as a moral being. A self-ruling person has no interest in controlling her neighbors, but in mastering his own impulses, needs, (...) wishes, desires, behaviors, etc. Inasmuch as he is an imperfect being who lives in an imperfect world, he needs to share certain interests, beliefs, values, customs and other characteristics with other people, i.e. to be involved in some communities. Depending on the following four criteria – the regulatory principle, the essential resources, the specific feedback and the fundamental values –, the countless and manifold human communities can be grouped in three categories: (1) affinity communities, (2) economic communities, and (3) civic communities. In other words, every community or human behavior has an affinity, an economic, and a civic dimension. If a civic community is merely a state shaped society, it can be called a political community. All communities are intrinsically variable. Throughout time, they ceaselessly change their composition, values, interpersonal processes and relations, territory, etc. Interestingly enough, the variability is unanimously recognized and accepted in affinity and communities economic, but is denied or abusively interpreted in the case of state shaped societies. If we confuse two types of order − cosmos and taxis – and two types of rule – nomos and thesis –, as well as we exaggerate the importance of certain type of community we bring some social maladies, namely the traditionalism, the commercialism and the civism, (with the worst form of it – the politicality). Whatever the communities they are involved in, all persons relate (implicitly or explicitly) to the libertarian non-aggression principle, living their life in strict accordance with the logical implications of the position they adopt. People who respect the non-aggression axiom necessarily manifest self-control, consideration for the life and property of the others, commitment to offer value for value, love of freedom and a high level of individual responsibility. By contrast, people who violate this axiom – the villains and the statists – invariably strive to control their neighbors, behave as parasites or predators, prefer forced exchanges, reject the personal responsibility (at most accepting the idea of social responsibility), and apply double moral standards. The first category of people generates a libertarian civic discourse as a spontaneous order, and the second creates a political/ statist civic discourse as a result of the human design and will to power. As a spontaneous order, the libertarian civic discourse implies free involvement, peaceful coordination, free expression, free reproduction of ideas and the power of one. Every communication performance in the frame of the libertarian civic discourse is important and has relevant results. All participants to the libertarian civic discourse are automatically members of some self-governing communities (at least members of the general libertarian community). The most important thing for these communities is to be connected to a communicational infrastructure which would make possible free involvement, free expression and the free reproduction of ideas. Inasmuch as today democracy means the tyranny of majority and participatory democracy the tyranny of majority plus the power of vested (and illegitimate) interests, only the emergence of self-governing communities by libertarian discourse offers us a little hope. It’s high time to fall in love (again) with liberty and to embrace the non-aggression principle. We don’t have to create a perfect world, but we can strive to develop our human nature. (shrink)

Fred's semantics for McCall's syntactic presentation of Aristotle's assertoric and apodeictic syllogistic is altered to free it from Thom's objections that it is unAristotelian. The altered semantics rejects Baroco-XLL and Bocardo-LXL, which Thom says Aristotle should have accepted. Aristotle's proofs that use ecthesis are formalized by using singular sentences. With one exception the (acceptance) axioms for McCall's system L-X-M are derivable. Formal proofs are shown to be sound.

Universe silence … Why? TechnoSfera … Where does it move? BioSfera … Where is the ―non-return point? NooSfera … What to do? The deep mind looks for primordial senses of the ―LifeWorld(LebensWelt). Сonsciousness, matter, memory … Self-Consciousness… Сonsciousness is attracting senses vector magnitude, intentional effect of absolute complexity. The Vector of Сonsciousness - the Triune Vector of absolute forms of existence of matter (limit states), the Vector of the Absolute Existential Field of the Universe, a polyvalent sense phenomenon of Ontological (...) (structural, cosmic) Memory. Open Сonsciousness Vs. Closed Сonsciousness. Сonceptual and mathematical proto-Eidoses Absolute forms of existence of matter. On the basis of ontological and existential constracting method – method of a discretion and a reflection of existential repère-point, the Vector of Сonsciousness places milestones on ProtoGeometre's long way – the way of ―knowledge of good and evil, of rises and fallings, of births of ―absolutely another, from the point ―Alpha to the modern ―point of ultimate tension of the Absolute Existential Field of the Universe. Big waves of Consciousness. Existential risks of Humanity and Open Science. New Open Generation realizing all existential risks of Humanity passable way and risks of coming Information era creates the Self-Aware Universe, filling it with the most deep meanings of the ―LifeWorld, at the heart of which Axiom of an absolute freedom of choice is laid. The minimum Program to overcome existential risks. Great Integrative Paradigm. Creation of a common sense picture of the World for physicists and lyricist. The United Humanity raises up five Great Philosophers' Stones in memory of Protogeometre's rises and fallings on a long way of becoming of Humanity and frees the Horse. Humanity is on a threshold of an Era of Eonic thinking... Far from Perfect … I start the path... (shrink)

The main purpose of this article is to tackle the problem of living together – as dignified human beings – in a certain territory in the field of social philosophy, on the theoretical grounding ensured by some remarkable exponents of the Austrian School − and by means of the praxeologic method. Because political tools diminish the human nature not only of those who use them, but also of those who undergo their effects, people can live a life worthy of a (...) human being only as members of some autarchic or self-governing communities. As a spontaneous order, every autarchic community is inherently democratic, inasmuch as it makes possible free involvement, peaceful coordination, free expression and the free reproduction of ideas. The members of autarchic communities are moral individuals who avoid aggression, practice self-control, seek a dynamical efficiency and establish a democratic public discourse. (shrink)

According to the Free Will Explanation of a traditional view of hell, human freedom explains why some people are in hell. It also explains hell’s punishment and finality: persons in hell have freely developed moral vices that are their own punishment and that make repentance psychologically impossible. So, even though God continues to desire reconciliation with persons in hell, damned persons do not want reconciliation with God. But this moral vice explanation of hell’s finality is implausible. I argue that (...) God can and would make direct or indirect alterations in their character to give them new motivational reasons that re-enable their freedom to repent. Subsequently, I argue that it is probable that each damned person will be saved eventually, because there is a potential infinity of opportunities for free repentance. Thus, if the Free Will Explanation’s descriptions of hell and divine love are correct, it is highly probable that each person in hell escapes to heaven. (shrink)

I argue that free will and determinism are compatible, even when we take free will to require the ability to do otherwise and even when we interpret that ability modally, as the possibility of doing otherwise, and not just conditionally or dispositionally. My argument draws on a distinction between physical and agential possibility. Although in a deterministic world only one future sequence of events is physically possible for each state of the world, the more coarsely defined state of (...) an agent and his or her environment can be consistent with more than one such sequence, and thus different actions can be “agentially possible”. The agential perspective is supported by our best theories of human behaviour, and so we should take it at face value when we refer to what an agent can and cannot do. On the picture I defend, free will is not a physical phenomenon, but a higher-level one on a par with other higher-level phenomena such as agency and intentionality. (shrink)

Libertarian free will is, roughly, the view that agents cause actions to occur or not occur: Maddy’s decision to get a beer causes her to get up off her comfortable couch to get a beer, though she almost chose not to get up. Libertarian free will notoriously faces the luck objection, according to which agential states do not determine whether an action occurs or not, so it is beyond the control of the agent, hence lucky, whether an action (...) occurs or not: Maddy’s reasons for getting beer in equipoise with her reasons to remain in her comfortable seat do not determine that she will get up or stay seated, so it seems beyond her control, hence lucky, that she gets up. In this paper I consider a sub-set of the luck objection called the Physical Indeterminism Luck Objection, according to which indeterministic physical processes cause actions to occur or not, and agent’s lack control over these indeterministic physical processes, so agent’s lack control over, hence it is lucky, whether action occurs or not. After motivating the physical indeterminism luck objection, I consider responses from three recent event-causal libertarian models, and conclude that they fail to overcome the problem, though one promising avenue is opened up. (shrink)

Do we have free will? Understanding free will as the ability to act freely, and free actions as exercises of this ability, I maintain that the default answer to this question is “yes.” I maintain that free actions are a natural kind, by relying on the influential idea that kinds are homeostatic property clusters. The resulting position builds on the view that agents are a natural kind and yields an attractive alternative to recent revisionist accounts of (...) free action. My view also overcomes difficulties confronted by previous views according to which free actions might be a natural kind. On my view, free actions exist and we often act freely, as long as we possess various features that are related in the right sorts of ways to each other and to the world. In turn, we acquire and retain the concept as long as most of us possess enough of those features. (shrink)

Debate on free will with Christian List, Gregg Caruso, and Cory Clark. The exchange is focused on Christian List's book Why Free Will Is Real.

In this paper, we present the results of the construction and validation of a new psychometric tool for measuring beliefs about free will and related concepts: The Free Will Inventory (FWI). In its final form, FWI is a 29-item instrument with two parts. Part 1 consists of three 5-item subscales designed to measure strength of belief in free will, determinism, and dualism. Part 2 consists of a series of fourteen statements designed to further explore the complex network (...) of people’s associated beliefs and attitudes about free will, determinism, choice, the soul, predictability, responsibility, and punishment. Having presented the construction and validation of FWI, we discuss several ways that it could be used in future research, highlight some as yet unanswered questions that are ripe for interdisciplinary investigation, and encourage researchers to join us in our efforts to answer these questions. (shrink)

One of the most frequently voiced criticisms of free will skepticism is that it is unable to adequately deal with criminal behavior and that the responses it would permit as justified are insufficient for acceptable social policy. This concern is fueled by two factors. The first is that one of the most prominent justifications for punishing criminals, retributivism, is incompatible with free will skepticism. The second concern is that alternative justifications that are not ruled out by the skeptical (...) view per se face significant independent moral objections. Yet despite these concerns, I maintain that free will skepticism leaves intact other ways to respond to criminal behavior—in particular preventive detention, rehabilitation, and alteration of relevant social conditions—and that these methods are both morally justifiable and sufficient for good social policy. The position I defend is similar to Derk Pereboom’s, taking as its starting point his quarantine analogy, but it sets out to develop the quarantine model within a broader justificatory framework drawn from public health ethics. The resulting model—which I call the public health -quarantine model—provides a framework for justifying quarantine and criminal sanctions that is more humane than retributivism and preferable to other non-retributive alternatives. It also provides a broader approach to criminal behavior than Pereboom’s quarantine analogy does on its own. (shrink)

Free Will & The Tragic Predicament : Making Sense of Williams -/- The discussion in this paper aims to make better sense of free will and moral responsibility by way of making sense of Bernard Williams’ significant and substantial contribution to this subject. Williams’ fundamental objective is to vindicate moral responsibility by way of freeing it from the distortions and misrepresentations imposed on it by “the morality system”. What Williams rejects, in particular, are the efforts of “morality” to (...) further “deepen” or “refine” the notion of the voluntary, with a view to securing “ultimate justice”. It is these aims and aspirations, he argues, that take us to the precipice of scepticism. In Shame and Necessity (1993) Williams advances a vindicatory genealogy that unmasks the “illusions” and “fantasies” of our current ethical ideas as they relate to agency and responsibility. What we are then left with is the task of “recasting our ethical conceptions” . It is here that Williams is especially insistent on the importance and value of historical consciousness and reflection. The role of our reflections about the Greeks and tragedy is precisely to show that in order to move forward, into the future, we need to first look back at where we have come from. The value of these “untimely” observations is that they provide us with alternatives and options that we might otherwise lack. What we discover, when we consider the Greeks, is their commitment to a “pessimism of strength” that rests on rejecting scepticism. It is this two-sided perspective on our ethical predicament that delivers a more truthful account of our human situation, one that will help us discard those illusions and fantasies of "morality" that we are “better off” without. An account of this kind refuses to accept an optimism that insists that any form of responsible ethical life must be one that is immune to the influence of luck and fate. This is the fundamental lesson that we can learn from the ancient Greeks and that Williams seeks to “recover” for us. (shrink)

In this chapter I consider various potential challenges to free will from the modern mind sciences. After motivating the importance of considering these challenges, I outline the argument structure for such challenges: they require simultaneously establishing a particular condition for free will and an empirical challenge to that condition. I consider several potential challenges: determinism, naturalism, and epiphenomenalism, and explain why none of these philosophical challenges is bolstered by new discoveries from neuroscience and psychology. I then respond to (...) relevant empirical challenges to the role of consciousness and rationality in action. (shrink)

This chapter offers non-retributive, broadly Kantian justifications of punishment and remorse that can be endorsed by free will skeptics. We lose our grip on some Kantian ideas if we become skeptical about free will, but we can preserve some important ones that can do valuable work for free will skeptics. The justification of punishment presented here has consequentialist features but is deontologically constrained by our duty to avoid using others as mere means. It draws on a modified (...) Rawlsian original position in which we assume we are just as likely to be among the punished when the veil of ignorance is raised as we are to be among those protected by the institution of punishment. The justification of remorse presented here is care-based and draws on the value of sympathizing with people we have wronged, which has a Kantian ground in the duty to take others’ ends as our own. (shrink)

Free will is an intuitive reality that all humans apprehend in their actions. Moral responsibility also stems from this freedom of will. This article first explains that the strong human intuition about free will cannot be dismissed as an illusion. It then examines the notion that a physical being cannot possess free will because it implies the ability to both perform and abstain from an action. In the physical world, all human actions are determined by preceding causes, (...) leaving no room to avoid an action volitionally. Building on this, the article concludes that free will becomes plausible only when rooted in the existence of the soul. Consequently, free will serves as independent evidence for the existence of an immaterial soul. (shrink)

Free will skepticism maintains that what we do, and the way we are, is ultimately the result of factors beyond our control and because of this we are never morally responsible for our actions in the basic desert sense—the sense that would make us truly deserving of praise and blame. In recent years, a number of contemporary philosophers have advanced and defended versions of free will skepticism, including Derk Pereboom (2001, 2014), Galen Strawson (2010), Neil Levy (2011), Bruce (...) Waller (2011, 2015), and myself (Caruso 2012, 2013, forthcoming). Critics, however, often complain that adopting such views would have dire consequences for ourselves, society, morality, meaning, and the law. They fear, for instance, that relinquishing belief in free will and basic desert moral responsibility would leave us unable to adequately deal with criminal behavior, increase anti-social conduct, and undermine meaning in life. -/- In response, free will skeptics argue that life without free will and basic desert moral responsibility would not be as destructive as many people believe (see, e.g., Pereboom 2001, 2014; Waller 2011, 2015; Caruso 2016, forthcoming). According to optimistic skeptics, prospects of finding meaning in life or of sustaining good interpersonal relationships, for instance, would not be threatened. And although retributivism and severe punishment, such as the death penalty, would be ruled out, incapacitation and rehabilitation programs would still be justified (see Pereboom 2001, 2013, 2014; Levy 2012; Caruso 2016; Pereboom and Caruso, forthcoming). In this paper, I attempt to extend this general optimism about the practical implications of free will skepticism to the question of creativity. -/- In Section I, I spell out the question of creativity and explain why it’s relevant to the problem of free will. In Section II, I identify three different conceptions of creativity and explain the practical concerns critics have with free will skepticism. In Section III, I distinguish between three different conceptions of moral responsibility and argue that at least two of them are consistent with free will skepticism. I further contend that forward-looking accounts of moral responsibility, which are perfectly consistent with free will skepticism, can justify calling agents to account for immoral behavior as well as providing encouragement for creative activities since these are important for moral and creative formation and development. I conclude in Section IV by arguing that relinquishing belief in free will and basic desert would not mean the death of creativity or our sense of achievement since important and realistic conceptions of both remain in place. (shrink)

*As mentioned in Peter Coy's NYT essay "When Being Good Is Just a Matter of Being Lucky" (2023) -/- ----- -/- How is the problem of free will related to the problem of moral luck? In this essay, I answer that question and outline a new solution to the paradox of moral luck, the source-paradox solution. This solution both explains why the paradox arises and why moral luck does not exist. To make my case, I highlight a few key (...) connections between the paradox of moral luck and two related problems, namely the problem of free will and determinism and the paradox of self-creation. Piecing together intuitions, arguments, and insights from recent work on each of these three problems, I argue that the type of control necessary for moral responsibility can only be had by someone who is a genuine source of his own actions, but the relevant notion of sourcehood admits no coherent characterization. If our commonsense view of moral responsibility is incoherent, it is unsurprising that our commitment to the existence of morally responsible agents commits us to some paradoxical things—e.g. to both the existence and impossibility of moral luck. To touch base about this article, please write to: mickelkm[@]colorado[DOT]edu. (shrink)

The ‘rollback argument,’ pioneered by Peter van Inwagen, purports to show that indeterminism in any form is incompatible with free will. The argument has two major premises: the first claims that certain facts about chances obtain in a certain kind of hypothetical situation, and the second that these facts entail that some actual act is not free. Since the publication of the rollback argument, the second claim has been vehemently debated, but everyone seems to have taken the first (...) claim for granted. Nevertheless, the first claim is totally unjustified. Even if we accept the second claim, therefore, the argument gives us no reason to think that free will and indeterminism are incompatible. Furthermore, seeing where the rollback argument goes wrong illuminates how a certain kind of incompatibilist, the ‘chance-incompatibilist,’ ought to think about free will and chance, and points to a possibility for free will that has remained largely unexplored. (shrink)

Free will is often said—by compatibilists and incompatibilists alike—to be a power (or complex of powers) of agents. This paper offers proposals for, and examines the prospects of, a powers-conception of free will that takes the powers in question to be causal dispositions. A difficulty for such an account stems from the idea that when one exercises free will, it is up to oneself whether one wills to do this or that. The paper also briefly considers whether (...) a powers-conception that invokes powers of a different kind, such as agent-causal or noncausal powers, might fare better with respect to this problem. (shrink)

Philosophers often consider problems of free will and moral luck in isolation from one another, but both are about control and moral responsibility. One problem of free will concerns the difficult task of specifying the kind of control over our actions that is necessary and sufficient to act freely. One problem of moral luck refers to the puzzling task of explaining whether and how people can be morally responsible for actions permeated by factors beyond their control. This chapter (...) explicates and assesses skeptical, compatibilist, and libertarian approaches to moral luck. First, I argue that what makes the above problems of free will and moral luck distinct is largely their emphasis on different kinds of luck. Second, I describe and evaluate skeptical arguments from constitutive and circumstantial luck that it is impossible to act freely. Third, I explicate and assess various support and implication relationships between various kinds of compatibilism and libertarianism, on the one hand, and causal, constitutive, circumstantial, and resultant moral luck, on the other. (shrink)

Over the last fifteen years, an ambitious explanatory framework has been proposed to unify explanations across biology and cognitive science. Active inference, whose most famous tenet is the free energy principle, has inspired excitement and confusion in equal measure. Here, we lay the ground for proper critical analysis of active inference, in three ways. First, we give simplified versions of its core mathematical models. Second, we outline the historical development of active inference and its relationship to other theoretical approaches. (...) Third, we describe three different kinds of claim -- labelled mathematical, empirical and general -- routinely made by proponents of the framework, and suggest dialectical links between them. Overall, we aim to increase philosophical understanding of active inference so that it may be more readily evaluated. -/- This the final submitted version of the Introduction to the Topical Collection "The Free Energy Principle: From Biology to Cognition", forthcoming in Biology & Philosophy. (shrink)

This paper develops a semantic solution to the puzzle of Free Choice permission. The paper begins with a battery of impossibility results showing that Free Choice is in tension with a variety of classical principles, including Disjunction Introduction and the Law of Excluded Middle. Most interestingly, Free Choice appears incompatible with a principle concerning the behavior of Free Choice under negation, Double Prohibition, which says that Mary can’t have soup or salad implies Mary can’t have soup (...) and Mary can’t have salad. Alonso-Ovalle 2006 and others have appealed to Double Prohibition to motivate pragmatic accounts of Free Choice. Aher 2012, Aloni 2018, and others have developed semantic accounts of Free Choice that also explain Double Prohibition. -/- This paper offers a new semantic analysis of Free Choice designed to handle the full range of impossibility results involved in Free Choice. The paper develops the hypothesis that Free Choice is a homogeneity effect. The claim possibly A or B is defined only when A and B are homogenous with respect to their modal status, either both possible or both impossible. Paired with a notion of entailment that is sensitive to definedness conditions, this theory validates Free Choice while retaining a wide variety of classical principles except for the transitivity of entailment. The homogeneity hypothesis is implemented in two different ways, homogeneous alternative semantics and homogeneous dynamic semantics, with interestingly different consequences. (shrink)

The thesis of this article is that there has never been any ground for the controversy between the doctrine of free will and determinism, that it is based upon a misapprehension, that the two assertions are entirely consistent, that one of them strictly implies the other, that they have been opposed only because of our natural want of the analytical imagination. In so saying I do not tamper with the meaning of either phrase. That would be unpardonable. I mean (...) free will in the natural and usual sense, in the fullest, the most absolute sense in which for the purposes of the personal and moral life the term is ever employed. I mean it as implying responsibility, merit and demerit, guilt and desert. I mean it as implying, after an act has been performed, that one " could have done otherwise " than one did. I mean it as conveying these things also, not in any subtly modified sense but in exactly the sense in which we conceive them in life and in law and in ethics. These two doctrines have been opposed because we have not realised that free will can be analysed without being destroyed, and that determinism is merely a feature of the analysis of it. And if we are tempted to take refuge in the thought of an "ultimate ", an "innermost" liberty that eludes the analysis, then we have implied a deterministic basis and constitution for this liberty as well. For such a basis and constitution lie in the idea of liberty. -/- The thesis is not, like that of Green or Bradley, that the contending opinions are reconciled if we adopt a certain metaphysic of the ego, as that it is timeless, and identifies itself with a desire by a " timeless act". This is to say that the two are irreconcilable, as they are popularly supposed to be, except by a theory that delivers us from the conflict by taking us out of time. Our view on the contrary is that from the natural and temporal point of view itself there never was any need of a reconciliation but only of a comprehension of the meaning of terms. (The metaphysical nature of the self and its identity through time is a problem for all who confront memory, anticipation, etc.; it has no peculiar difficulties arising from the present problem.) -/- I am not maintaining that determinism is true; only that it is true insofar as we have free will. That we are free in willing is, broadly speaking, a fact of experience. That broad fact is more assured than any philosophical analysis. It is therefore surer than the deterministic analysis of it, entirely adequate as that in the end appears to be. But it is not here affirmed that there are no small exceptions, no slight undetermined swervings, no ingredient of absolute chance. All that is here said is that such absence of determination, if and so far as it exists, is no gain to freedom, but sheer loss of it; no advantage to the moral life, but blank subtraction from it. -- When I speak below of "the indeterminist" I mean the libertarian indeterminist, that is, him who believes in free will and holds that it involves indetermination. (shrink)