Thursday, 18 June 2026

Panpsychism, Idealism, and Quantum Mechanics

What follows is the second essay I wrote for the philosophy course I have just completed. I have included the bibliography just in case readers want to chase down my sources. I hope it is interesting and stylistically worth your while.

****

In a conversation at Princeton, Albert Einstein famously remarked to Abraham Pars, “Do you really believe that the moon is not there when you are not looking at it?” Einstein was reacting to the Copenhagen interpretation of quantum mechanics according to which subatomic particles lack certain properties until measured. He was reacting to idealist interpretations of physical reality. Although Einstein was opposed to the idea that reality might be observer-dependent, many interpretations of quantum mechanics assert just this. At the foundation of supposedly observer-independent science the observer may play a role. 

Idealism can be understood as making two claims: first, that there is no material world, only ideas, and, second, that to be is to be perceived. (“Esse est percipi”.) (Chalmers, 2019). Idealism risks falling into solipsism, the worry that only one human subject exists in the world, and this worry must be staved off by supposing that every human being is a subject in his or her own right. However, even if we grant subjecthood to all humans, there remains the problem of whether objects that are unperceived by humans, such as the dark side of the moon, the interior of Mars, or anything in the universe that is purported to have existed prior to the evolution of humans, can really be said to exist or have existed. This problem can be resolved if we suppose that all material objects are subjects in their own right and always have been, and are perceiving all other material objects around them. If we suppose that rocks on Mars, their constituent parts or the greater cosmos of which they are a part, are conscious and can perceive each other, then it is possible to save the idealist precept that to be is to be perceived although we cannot go all the way from this to the claim that all that exists is ideas in the minds of subjects.


Although we cannot fully make the move from panpsychism to Absolute Idealism, forms of idealism fit very well with panpsychism, the theory that consciousness is ubiquitous throughout the universe. In this essay, I shall first describe the idealist form of panpsychism presented by Albahari (2019, 2022, 2026) and then shift to quantum mechanics, focussing on the work of Chalmers and McQueen (2021). My aim is to contrast the two views. Much of this essay concerns quantum mechanics and interpretations of quantum mechanics and so lies on the edge of what is normally taken to be philosophy. Nevertheless, it is relevant to any discussion of idealism. My primary purpose is to engage with the question of whether all reality can be described as “observer-dependent”. If all observers have minds and mentality is the most important characteristic of observation, then all reality is thus also “mind-dependent”, a thesis close to Absolute Idealism.


The most popular version of panpsychism holds that experience is fundamental. In G.E. Moore’s attempted refutation of idealism (Moore, 1903), he defines experience as a two-part relation between a subject, a consciousness, and a consciousness-independent object. (It is worth noting that if Moore’s argument goes through, it is a refutation of idealism but not of panpsychism.) However, because, as I will discuss, Albahari presents a case for a type of experience which transcends the subject-object distinction and because many philosophers view experience as a primitive term that we cannot fully define, in this essay I wish to treat the fundamental form of mentality as being perception rather than experience. The term perception can be defined in the following way. System A perceives system B if system B causally affects system A through some intervening medium and if system A is conscious and conscious of this effect and its cause. The intervening medium could be electromagnetic radiation, sound waves, physical contact, or something else. The effect that System B produces on System A could be permanent or it could be temporary. Related to perception is the concept of measurement, an important concept in quantum mechanics and therefore to this essay.  I would define measurement as a special type of perception – it is perception in which attention is paid to the quantitative positions and characteristics of the observed system.


This definition of perception is compatible with materialism because most materialists believe in consciousness in addition to physical reality. Type A physicalists believe that consciousness weakly emerges from matter while Type B physicalists believe it strongly emerges. It is compatible with dualism because we can imagine some kind of spirit or soul that interacts with System A and can affect it and be affected by it. It is compatible with panpsychism if we suppose that both systems are conscious and that System B can potentially perceive System A.


Is this definition compatible with idealism? I claim that with a little amendment it is compatible with the form of idealism proposed by Miri Albahari. 


Albahrari is an idealist whose metaphysics is influenced by her adherence to the Advaita Vedanta school of Hinduism. According to Advaita Vedanta, a universal consciousness exists which is termed Brahman and mystical revelation is achieved when it is realised that the Atman, a term loosely translatable as ‘soul’, is identical with Brahman. A part of this transcendental state of recognition is an overcoming of the illusion, Maya, that separate identities exist, and that the world is divided into subjects and objects. Albahari, in her writings, speaks about the mystical experiences of Hindu gurus such as Adi Shankara and implies that such a mystical state can be achieved through meditation. She terms her philosophy “Perennial Idealism”, an allusion to the work of Aldous Huxley. Albahari argues that this universal consciousness is aperspectival, in this way seeking to avoid the decombination problem of how a universal subject with its own perspective can give rise to human level subjects with their own differing perspectives.


Neutral monism, as first proposed by Bertrand Russell (1927), holds that all the stuff that makes up the universe might be neither entirely physical nor entirely mental but either both or neither. Modern panpsychists have extended this thesis by holding that matter has both mental and physical properties. Albahari argues that most panpsychists approach panpsychism from the physicalist direction, accepting the laws of physics as being hard laws and subscribing to the idea, inherited from materialism, that the minds of things are added extras to physical reality that have no role to play. When thinking about the nature of consciousness, they often tend to want to ground it in observer-independent physical structures sub specie aeternitatisi. They are thus adopting a view that can be called “realist panpsychism.” This paradigm leads directly to what she terms the “inner-outer gap problem”. Influenced by William James, Albahari points out that the experience of individual subjects is generally, outside of certain types of mystical experience, hermetically sealed off from the experience of other subjects. I can see the outer form of another human but do not have access to her inner experience. Even if we observe the same thing, the qualia present in the other’s mind is not directly perceivable by me. We tend to assume that inanimate objects are unconscious. Thus, in our ordinary involvement with the world, the distinction between subjects and objects comes naturally. Consciousness exists but is private, hidden from gaze. Furthermore, observer-independent reality is considered logically prior to experience


Albahari begins by reversing the order of causation. Although we might say that when Lucy enjoys chocolate, the physical occurrences in her brain involving neurotransmitters and nerve signals bring about, ground, cause the experience of her enjoying chocolate, Albahari argues that Lucy’s experience is the cause of her physical brain states rather than an effect of her brain states. She goes on to say, however, that “there is no less of a mystery in grounding observer-independent material structures in conscious minds than in grounding conscious minds in observer-independent material structures.” (Albahari, 2022) Albahari solves this problem by arguing that there are no observer-independent material structures at all. Her hypothetical example involves us imagining that while Lucy eats chocolate, a neuroscientist called Jim has opened her skull and is observing her brain. Albahari says that there is a mystery associated with supposing that there are mind-independent chemical and neuronal processes going on in her brain that causally arise from her private experience but says that this mystery can be mitigated if we suppose that there is no deeper reality to Lucy’s brain than the “cognisensory imagery” presented to Jim. We surmount the mind-body problem by saying that everything about Lucy is if not experienced by her then experienced by distal others such as Jim. To be is to be perceived. Albahari inconsistently says sometimes that an adherence to strong idealism solves both the (de)combination problems and the inner-outer gap problem and at other times that it does not fully solve the inner-outer gap problem.  The claim that experience, mentality, is not just fundamental but all there is leads her to term her own idealist position “antirealist panpsychism”. She asserts that antirealism is more aligned with the spirit of the panpsychist project than realism and so should be more widely subscribed to.


Albahari’s idealism leads her to make a strong metaphysical claim about the world.


On panpsychism, the causal nodes are taken to be perspectival subjects with the power to bring about in themselves and other subjects the appearance of objects that obey natural laws. Causation can happen between different minds insofar as one subject, such as the cosmos, may exert an effect on the experiences of other subjects such as by eliciting in them the experience of an external world. What we ordinarily assume to be non-mental objects out there in space and time, in direct causal commerce with each other, are actually mental particulars (such as sequences of imagery) which arise as the manifestation of dispositional powers belonging to different subjects, such as the cosmos or ourselves. (Albahari, 2026)


Because Albahari endorses a view of the world which is full of subjects that experience and can influence the experiences of other subjects, the definition of perception I offered above holds. It holds if we replace the word “system” with “subject” and do not worry too much about the nature of the intervening media.


Albahari only ever makes passing references to quantum mechanics which is a pity because at least some interpretations of quantum mechanics align with her view of the world. Before I turn to interpretations of quantum mechanics, I shall give a brief description of some of its basic underlying notions. With respect to a particular particle, there is, at any given moment in time, a value associated with every point in space. The absolute square of this value integrated over a particular volume gives the probability of finding the particle in this volume as per the Born rule. The set of all these values is known as the wave function and if the absolute square is integrated over all space has the total value one, indicating that the probability of finding the particle somewhere in space is 100 percent. The wave function evolves deterministically according to the Dirac equation although physicists often use the Schrodinger equation instead, even though it is non-relativistic, because it is simpler. If a wave function is subject to boundary conditions, only certain quantised energy levels are permitted. For instance, the allowed energy levels of an electron orbiting a proton, as is found in hydrogen, are given by first stipulating that the potential energy of the electron is inversely proportional to its distance from the proton. The boundary conditions are that the wave function must be zero at a distance of zero from the proton, zero at infinity, and be spherically symmetric. The permitted energy levels and associated wave function are then calculated using the time-independent Schrodinger equation. (Serway and Jewett, 2004.)


However, this simple picture is complicated by measurements. If at some moment the position or another property of the particle in question is measured, we find that the wave function changes. If the measurement occurs at time t and the electron, say, is found to be at position x, then the wave function now has a very sharp peak at position x at time t and is now close to zero everywhere else. This indicates that the particle has been found to be, with great certainty, at position x at time t. This is often known as wave function collapse. We might imagine that, prior to the measurement, the particle had, say, 20 percent probability of being in a particular vicinity and then, after the measurement, now has a close to 100 percent probability of being in this vicinity because we seem to have found it there. A prevailing view is that the effects of measurement are non-local. For instance, if we are seeking to locate a particle and perform a measurement which determines with very great certainty that the particle is not in a particular volume of space, this measurement, although such a measurement will generally not lead to a sharp spike at some specific location in space and time, will still alter the wave function everywhere in space.


Physicists find what is known as wave function collapse extremely problematic and a number of what are known as interpretations of quantum mechanics have been established to try to explain its metaphysics. Starting around 1927, for many years, the dominant interpretation of quantum mechanics was the Copenhagen interpretation. According to this interpretation, the wave function is real and wave function collapse is real. Particles lack certain qualities until measured. A part of the so-called measurement problem is that the term ‘measurement’ was ill-defined then and is still ill-defined today. For physicists in the 1930s and 1940s, measurement was supposed to involve an interaction between the microscopic systems being measured and the macroscopic instruments doing the measuring. It was thought that the laws of quantum mechanics applied with respect to the very small but that traditional physics applied at the macroscopic level, the level of humans. Physicists were more or less instructed to not think about the philosophical foundations of quantum mechanics but to just “Shut up and calculate.”


In 1932, a different interpretation was proposed by Von Neumann. Von Neumann proved mathematically that the uncertainty associated with a quantum system is communicated to the macroscopic equipment doing the measuring. It is even then communicated to the perceptual organs of humans. Von Neumann thought that some kind of ‘cut’ in the causal sequence was required to explain wave function collapse and argued that it occurred when the quantum state, the superposition, reached the consciousnesses of the physicists performing the experiment. Thus Von Neumann suggested that consciousness caused wave function collapse. This idea was later picked up by Wigner (Wigner, 1961). Reality, according to this interpretation, is mind-dependent.


An alternative to both interpretations is the Many Worlds Interpretation (Everett, 1957). According to this interpretation, the wave function is real but wave function collapse is not. MWI is best explored by describing a hypothetical situation. Suppose a physicist, Bob, is performing an experiment to determine if an electron is in a Spin Up or Spin Down orientation. If the electron is well isolated from its environment, it is for a time in a superposition of both states, has some probability of being in one and some probability of being in the other. When it interacts with its environment however (such as with random air molecules and the measuring equipment) it becomes ‘entangled’ with this environment and any wave function we calculate must take this entanglement into account, an almost impossible task. This is known as ‘decoherence’. When decoherence occurs, the particle and its environment branch off into two real universes that cannot communicate with each other, one of which contains a Spin Up electron and the other a Spin Down electron. So far as Bob is concerned, the particle remains in a superposition until he checks the measuring apparatus. When he does, he becomes entangled himself with the superposition. Bob now exists in both universes – one in which Bob observes a Spin Up electron and a counterpart universe in which he observes a Spin Down electron. Suppose now that Bob has a friend, Alice, who lives on the opposite side of the world and knows that he intends the experiment but not its result. After the experiment is performed but before Alice knows the result, to her the whole system (electron + measuring equipment + Bob) is in a superposition. Suppose Bob now sends Alice a telegram telling her the result. Upon reading the telegram (or before if the decoherence ripple reaches her before the telegram) Alice becomes entangled with the whole system and now two Alices branch off, one of which is in the Spin Up universe and one of which is in the Spin Down universe. Decoherence cannot travel faster than the speed of light and the Many Worlds Interpretation is thus a local interpretation of quantum mechanics. In the Many Worlds Interpretation, no special role is played by consciousness. 


I do not find the Many Worlds Interpretation persuasive. In my understanding of quantum mechanics, when a measurement is made the wave function of all particles involved changes. In Everett’s model though, the wave function may change smoothly and deterministically according to the Schrodinger equation but does not change suddenly, discontinuously, when a measurement is made. In fact, apart from certain experiments in which the system is well isolated from environmental influences, such as during double-slit interference experiments, according to Everett the wave function of all particles is entangled with all other particles in the universe and so cannot be established at all. Ultimately everything must be explained as resulting from the wave function of the universe as a whole. This would mean that all possible pasts and futures are equally real. Not only is a Bob who observes a Spin Up electron as real as the Bob who observes a Spin Down electron but Bob and Alice both are and are not friends and universes in which Bob and Alice do not exist at all are just as real as those universes where they do. Because the Many Worlds Interpretation does not explain why a single universe presents itself to our consciousnesses, why it seems to us that a definite universe exists rather than a mess of all possible universes, I believe it should be rejected.


Other interpretations of quantum mechanics are known as Objective Collapse theories. What is common to these theories is that, contrary to statements made by Warner Heisenberg and Max Born in 1927, the laws of quantum mechanics are regarded by proponents of such theories as incomplete and requiring amendment or modification. Einstein believed that there must be “hidden variables” to explain the appearance of wave function collapse. A modern Objective Collapse theory is proposed by Roger Penrose (1994). Penrose believes that because quantum mechanics and the Standard Model currently fail to take gravity into account, they must be incomplete. Penrose believes that the wave function is real and that wave function collapse is real, and that all systems collapse after a time period that is inversely proportional to the particle’s ‘Gravitational Self- Energy’, a quantity proportional to the mass of the particle squared and inversely proportional to the distance between possible particle positions. Because Objective Collapse theories involve modification to the laws of quantum mechanics, they are in principle experimentally testable but we currently lack enough precision to test Penrose’s theory.


Before I move onto a discussion of the theory proposed by Chalmers and McQueen, it is necessary to make a comment concerning the relationship between quantum mechanics and the macroscopic world because it has a bearing on whether quantum mechanics can be employed in favour of idealism. When quantum mechanics was developed, it was treated as a special case: the strange rules of quantum mechanics did not apply to the macroscopic world, a world which was thought could quite adequately be modelled as governed by classical physics. However today we have in our possession mathematical theories which affirm that the very small can have an effect on the much larger – chaos theory and the Butterfly Effect (Gleick, 1987). We can see how microscopic events can have macroscopic effects if we suppose, for instance, that Alice makes a million-dollar wager with Bob that the electron he observes will be Spin Up. We could also imagine a quantum event that changes a single nucleotide in an organism’s gamete, resulting in a superior organism that then spreads this beneficial mutation to descendants and thus leading to the evolution of its entire species. While apparently random events at a microscopic level tend, arguably, to cancel each other out, it is conceivable that such tiny random events can affect the whole world.


The recent theory by Chalmers and McQueen (2021) is surprising because it follows Wigner in supposing that consciousness causes wave function collapse but by assigning quantitative values to consciousness and to conscious states a new equation that modifies the Schrodinger equation can be formulated. Whereas Wigner’s proposal was viewed as something mystical, unscientific, the theory Chalmers and McQueen have developed is an Objective Collapse Theory and may be empirically testable. I can best outline this theory by describing how I understand it was developed. Wigner’s theory that consciousness causes wave function collapse led Chalmers and McQueen logically to suppose that consciousness is ‘superposition resistant’. This is to say that the brain of a human is always in one determinate state and any system it perceives, measures, near instantaneously collapses into one determinate state when the observed system becomes ‘entangled’ with the human’s brain. In order to bring consciousness into the domain of physics, they incorporated ideas from Integrated Information Theory (Tononi, 2012). Integrated Information Theory assigns a value to any system, represented by the Greek letter Phi, that indicates the amount of consciousness it has. Phi is related to the complexity of the system and one of its key principles is that conscious systems are presumed to be greater than the sum of their parts. Chalmers and McQueen claim that the higher the Phi value, the faster wave function collapse occurs, or, to put it another way, the greater the probability of wave function collapse occurring.


Although the notion that the higher the Phi value the quicker wave function occurs is retained in their fully developed theory, Chalmers and McQueen had to address two problems with their original model. The first was that if a human subject observes a superposition of two states such as a red sunset and a yellow sunset with equal probability the equation would not lead to wave function collapse and the observer is stuck in a superposition of both states. To resolve this issue, the more developed theory incorporates not just Phi values but also something known as Q-shapes. Q-Shapes are so-called because Q stands for qualia. Whereas Phi denotes something about the complexity of neural networks and other networks that process information, Q-shapes describe something about the state in which such networks are in. The developed “consciousness causes collapse” incorporates the idea that it is not just Phi but how different two different mental states are that triggers wave function collapse.


The second problem Chalmers and McQueen faced was the Quantum Zeno Effect. Sometimes a particle can be in one of two states, or one of two positions, such that at a time t the particle is almost certainly in that state and almost certainly not in the other. If the system remains unobserved the wave function changes smoothly and deterministically so that the probability of the particle shifting from the first of the two states to the second increases. However if a measurement of the particle occurs shortly after t this causes wave function collapse and the wave function snaps back to its original form, resetting the process. It can be mathematically proven that, in certain situations, the more often a system is measured (perceived) the less likely it is to change. The Quantum Zeno Effect can be extrapolated to all quantum systems. If a system is observed continuously, it cannot change because it is in continual state of wave function collapse. This result has been experimentally confirmed.


The reason that the Quantum Zeno Effect is a problem for the “consciousness causes collapse” interpretation as advanced by Chalmers and McQueen is that if a human brain is “superposition-resistant” then this is equivalent to saying that it is continuously being observed, measured (by itself perhaps?). This would mean that the mental state of a complex conscious organism cannot change. The way McQueen puts this is that if a person has a nap, he or she can never wake up (McQueen, 2017). To resolve this problem, Chalmers and McQueen postulated that the human brain can indeed enter into superpositions but only if the superpositions are small, meaning that the possible Q-states are similar, and only if they are brief.


The final form of the “consciousness causes collapse” equation changes the Schrodinger equation by introducing two additional terms to the right hand side. A contribution to their theory comes from another Objective Collapse Theory known as Continuous Spontaneous Localisation. According to this theory, particles are coupled to a kind of background noise that fills all space. This noise is random and is postulated to be responsible for the stochastic nature of wave-function collapse, the fact that the wave collapses randomly to one of many possible outcomes. In CSL, the second term is ‘mass-density.” The greater the mass density the faster the wave-collapse. This means that single particles like electrons can remain in superpositions for millions of years but complex systems like cats, dogs, tables, and people experience wave function collapse almost instantly. In their theory, Chalmers and McQueen keep the term involving the ‘noise’ but replace the term related to mass-density with a term involving Phi and the Q-shape, values derived from Integrated Information Theory.


The “consciousness causes collapse model” is innovative and superficially attractive. I wish to make three points concerning it. The first involves the notion of reductionism. Science, especially physics, is reductive – physicists seek to explain reality by finding the simplest relationships between the simplest ultimate constituents of the universe. The “consciousness causes collapse model” however does something very unusual. The behaviour of subatomic particles is explained by positing macroscopic quantities associated with very large complex systems, such as human brains, the macroscopic quantity denoted as Phi and the macroscopic geometric structures known as Q-shapes. It thus overturns a whole ideology that we can only explain the very small in terms of the very small and the very large in terms of the very small. In their theory, we explain the behaviour of the very small (an electron) in terms of the very large (the human brain). The second point is that the theory is almost but not quite micropanpsychist. A single electron has a Phi value of zero which means that it is not conscious and cannot by itself bring about wave function collapse either of itself or any system with which it interacts. However it is possible for a small number of atoms to be in a relationship with each other such that the system has a Phi value greater than zero. Although the consciousness of this system may be miniscule in size compared to the consciousness of a human, it is sufficient to bring about wave-function collapse. McQueen has argued that rudimentary conscious systems may have existed since shortly after the Big Bang and thus we can say that the universe, because it was entangled with conscious systems almost from its inception, has almost always had a determinate form (McQueen, 2017). Because of its embrace of Integrated Information Theory, a theory which seeks to establish a mathematical basis for consciousness that does not cling to the hubristic notion that only humans and other higher-level animals possess consciousness, the Chalmers-McQueen model opens the door to the idea that intelligence might be ubiquitous throughout the universe. Although not quite panpsychist, the theory is almost panpsychist. The third point is that the theory may be empirically tested in the future through the use of quantum computers.


Despite its attractions, I do not find this model persuasive. Partly this is because Integrated Information Theory is highly contested and has perhaps been debunked by Scott Aronson (2014). Perhaps a quantitative measure of consciousness that can be plugged into a physical equation can be established by another mathematical theory of consciousness but, so far as I am aware, only Tononi’s theory is on the field. More importantly I think the theory of Chalmers and McQueen rests on a faulty understanding of quantum mechanics. Although I am not sufficiently mathematically proficient to address the mathematics of their theory, I believe that the understanding of wave functions and wave function collapse assumed by Chalmers and McQueen is not correct and so it is on conceptual rather than mathematical grounds that I wish to challenge it.


My understanding of the wave function is that it is not physical but rather epistemic. I have been writing and thinking about quantum mechanics for many years and this is a hard-won position. Given certain data points, such as measurements, we postulate a wave function. This wave function then gives us the probabilities of future measurements. A wave function is simply a mental model that fits a certain set of data points, and so, rather than speaking about ‘wave function collapse’, we should instead talk of the results of measurements as predicted by the mathematics. When the future measurement is performed, this new measurement can either be included in the set of measurements already made, resulting in a new wave function, or not. An example may be helpful. When conducting the two slit interference experiment, before we can calculate the wave function, we need to know the width of the slits, the distance between them, the distance to the screen, and the momenta of the particles (electrons or photons) that we are firing through the slits. We then find wave functions that satisfy these specifications. If a particular electron ends up being found at a specific point on the screen, we can then postulate a wave function that takes this measurement into account. Calling it “wave function collapse” is misleading because although we find the electron we have fired through the slits at a particular location on the screen, according to the Heisenberg Uncertainty principle there is at the moment the electron is found at a particular spot on the screen a great deal of uncertainty concerning its momentum. Its momentum in momentum-space is smeared out over a great volume. The wave function thus does not disappear when the electron is found at a particular point on the screen. Rather it changes.


The view I am proposing is close to an interpretation known as Quantum Bayesianism. According to QBism, the wave function is subjective and can be construed as being an indirect measure of the degree of belief measuring subjects should ascribe to different outcomes. A measurement is simply an informational update in a subject’s mind concerning what the best wager is concerning a particle’s position and other properties at other times. Thus even though a measurement, in a sense, changes the wave function everywhere throughout all space, it is in actuality a local change because the wave function, if it exists anywhere at all, exists in the minds of the conscious subjects performing the measurements. If all reality is grounded in quantum processes, and if something like QBism is true, then we must conclude that the reality described by quantum mechanics is wholly mind-dependent. It is mind-dependent because measurements are, as I suggested earlier, necessarily consciousness-involving and because wave functions are themselves mental constructs. This might lead us to wonder if humans when engaging with the world, insofar as the world is quantum mechanical, are continually performing complicated quantum mechanical calculations is their heads. If this seems too implausible we could shift to another interpretation known as Quantum Pragmatism, the view that the wave function is a structure that best fits a set of measurements as calculated by a hypothetical perfectly rational being. If we make this shift, wave functions should be considered as things inhabiting a third space, the space in which we find mathematical theorems, a space containing truths that are neither mental nor physical but abstract, as per some theories of the ontological status of propositions. Although the debate between materialists, dualists, panpsychists, and idealists is one which assumes that the physical and mental are not only mutually exclusive but exhaustive of all phenomena, the best understanding of quantum mechanics may involve invoking such a third category.


There is an important and interesting implication of the Quantum Zeno Effect that I would like to briefly mention. If this effect is real, as experiments suggest it is, and if measurement is necessarily consciousness-involving, then if any system is perceived continuously it cannot change. This would imply, logically, that change, development, only occurs in the world when it goes unperceived. A useful analogy is to think of how movies are made up of still images separated by black frames but still give the impression of motion. We might think of how when light interacts with our retinas, it does so in discreet bundles, photons, with microscopic gaps in between. A mystical interpretation is conceivabale. We could think of the Hindu holy trinity, Brahman, Krishna, and Shiva (Sheldrake, 2026). Brahman is the ground of all consciousness, the Creator, Krishna is the God of Forms, the Preserver, and can thus be associated with the perceived, and Shiva is the God of Destruction, of change, and thus can be associated with the unperceived.


It seems that we can employ quantum mechanics in defence of the proposal that all physical processes are observer-dependent. I would like to return to Albahari’s position and the theory proposed by Chalmers and McQueen. Albahari is an antirealist panpsychist and Chalmers, although a dualist, is at least sympathetic to panpsychism, One attraction of panpsychism is that it seems to resolve a problem known as physical causal closure, the problem that because all physical effects are thought to have physical causes, there seems no role for consciousness. Panpsychism resolves this problem in a way that neatly coheres with compatibilism with respect to free will. Imagine, to recapitulate in different words an argument proposed by Albahari, that one has a friend who eats spaghetti bolognese  at a particular restaurant every day. Just because her behaviour is predictable does not mean it is not freely chosen, freely willed. Albahari argues that the behaviour of apparently inanimate matter is predictable in a similar manner. Behind all material phenomena  is not only experience but volition. The Chalmers-McQueen model is, in a different way, mind-dependent but also deterministic.


Albahari’s antirealism is evinced in the following quote.

 

When it comes to doing science with its experiments, theories, and predictions, one could adopt its observer-independent paradigm as a useful fiction. (Albahari, 2026)


Albahari does not address the observer-dependence explicit in many quantum theories. She thus has a very different perspective than Chalmers who is, by contrast, a realist and a quantum theories. Chalmers does not employ the fact of consciousness to undermine the mechanistic observer-independent paradigm of non-quantum physics but rather is seeking to bring consciousness under the umbrella of physics, in this way hoping to show that consciousness plays a role. 


I would like to finish by relating the notion of physical causal closure and the closely related axiom known as the Principle of Sufficient Reason to quantum mechanics. The Many Worlds Interpretation is a deterministic theory in which physical causal closure and the Principle of Sufficient Reason obtain. The price one pays for believing in this theory is that one must suppose that all possible pasts, presents, and futures are equally real. Einstein famously said “God does not play dice with the universe” and argued that there must be hidden variables at work – both Continuous Spontaneous Localisation and the Chalmers-McQueen model are hidden variable theories. The hidden variables of these two theories are associated with the “noise” in both theories. Other interpretations however, such as the Copenhagen Interpretation, the original “Consciousness causes collapse” model proposed by Wigner, and QBism accept that there is a fundamentally aleatory component to quantum mechanics. When “wave function collapse” occurs, the outcome cannot, in principle , according to these interpretations, be wholly determined in advance. Thus, according to many interpretations, physical causal closure and the Principle of Sufficient Reason do not hold true. In my view, this allows for mentality and consciousnesses to play a causal role – room is left for the “causal nodes [..] to be perspectival subjects” in a mental or even supernatural guise. Given that interpretations of quantum mechanics that undermine the notion of physical causal closure and the Principle of Sufficient Reason have been around for over a century, it is surprising that this has not made a greater impression on many philosophers.


List of References


Aaronson, S. (2014, May 22). Why I am not an integrated information theorist (or, the Pretty-Hard Problem of consciousness). Shtetl-Optimized. https://scottaaronson.blog/?p=1799


Albahari, M. (2019). Perennial idealism: A mystical solution to the mind-body problem. Philosophers' Imprint19(44), 1–37


Albahari, M. (2022). Panpsychism and the inner-outer gap problem. The Monist105(1), 25–42. doi.org


Albahari, M. (2026). Does panpsychism entail anti-realism? The worm in the panpsychist apple. Religious Studies62(S33–S51), 1–19.


Chalmers, D. (2019). Idealism and the mind-body problem. In W. Seager (Ed.), The Routledge Handbook of Panpsychism (pp. 353–373). Routledge. [1234]


Chalmers, D. J., & McQueen, K. J. (2021). Consciousness and the collapse of the wave function(arXiv:2105.02314). arXiv. doi.org


Everett, H., III. (1957). "Relative state" formulation of quantum mechanics. Reviews of Modern Physics29(3), 454–462.


Gleick, J. (1987). Chaos: Making a new science. Viking.


McQueen, K. (2017). Does consciousness cause quantum collapse? Philosophy Now, (121), 17–20. [1]


Moore, G. E. (1903). The refutation of idealism. Mind, 12(48), 433–453. https://doi.org/10.1093/mind/XII.4.433


Penrose, R. (1994). Shadows of the mind: A search for the missing science of consciousness. Oxford University Press.


Russell, B. (1927). The analysis of matter. Kegan Paul, Trench, Trubner. [123]


Serway, R. A., & Jewett, J. W., Jr. (2004). Physics for scientists and engineers (6th ed.). Thomson Brooks/Cole.


Tononi, G. (2012). Integrated information theory of consciousness: An updated account. Archives Italiennes de Biologie150(4), 293–329. doi.org


Sheldrake, R. [RupertSheldrakePhD]. (2026, May 28). Holy Trinities: Threefold Models of Reality [Video]. YouTube. https://www.youtube.com/watch?v=0_n4Oc45NRc 


Wigner, E. P. (1961). Remarks on the mind-body question. In I. J. Good (Ed.), The scientist speculates: An anthology of partly-baked ideas

(pp. 284–302). Heinemann.


Saturday, 2 May 2026

God and Modal Logic

Is the only way for philosophy to progress for supposedly eminent philosophers to propose ridiculous arguments so that others can try to knock them down? The purpose of this essay is to try to refute an argument associated with theologian and philosopher Alvin Plantinga for the existence of God. I have written about this argument before, a number of years ago, in a post called "The Modal Ontological Argument", but have decided that I want to revisit it. In particular I want to present an argument for agnosticism that has profound implications for modal logic in general. I shall then move on to considerations of modal logic more broadly. To begin with I will set out a version of the modal argument for the existence of God that is somewhat different to Plantinga's but which will serve as a suitable backdrop to the arguments I want to make later. My modest aim in this essay is to articulate a criticism of both modal arguments for the existence of God and of modal arguments generally.

Consider the following argument, an argument for God, which I shall set out schematically.

P1: It is conceivable that God exists.
P2: If it is conceivable that God exists then it is possible that God exists.
C1: Therefore, it is possible that God exists.
P3: God either exists necessarily or not at all.
C2: Therefore if God exists possibly, then God exists necessarily.
C3: Therefore God exists.

When we scan through this argument we sense that there must be something wrong with it. Somehow it seems to be omitting an important step or two. The first comment I want to make about it is that we can exchange premise 3, "God either exists necessarily or not at all" with an equivalent premise, P3b: "If God possibly exists, then He exists necessarily". If we switch P3 with P3b, this does not affect the argument in the slightest way. 

Perhaps we can make the argument seem stronger if we rephrase it in the language of possible world semantics as first proposed by Kripke and Lewis.

P1: It is conceivable that God exists.
P2: If it is conceivable that God exists then there must be at least one possible world at which God exists.
C1: Therefore there must be at least one possible world at which God exists.
P3: God either exists at all possible worlds or in none.
C2: Therefore God exists at all possible worlds.
C3: Therefore God exists at the actual world.

Even with this rephrasing, and even though both forms are valid, we still sense that there must something unsound to it. There is no problem with the first premise I believe – even with the contemporary decline of religion, religious sentiment is rife throughout all human populations and so I think we should cede to the faithful their conviction that at least a few of them can conceive of God. This is a difficult concession for militant atheists to make because atheists such as Richard Dawkins regard faith as a form of delusion. Nevertheless we should make it. So if there is a fault with the argument it must lie with the second or third premise. I shall discuss the second premise a little later in this essay and for the moment want to focus on P3. 

What entitles the theologians who sincerely subscribe to this argument and promulgate it to the claim that if God exists he must exist necessarily? From what I understand, originally theologians presented the simplest possible argument for the existence of God: "God exists by definition." God was defined not only as an eternal being, omnipotent, omniscient, omni-benevolent, immutable, self-caused, perfectly just and so on, but also as necessarily existing. This meant that if the world is ruled by an omnipotent, omniscient and omni-benevolent being who is not necessarily existing, this being would, by definition, not be God. This is what entitles theologians to the claim that if God exists he exists necessarily. In modernity, in a contemporary world where atheists are far more plentiful and vocal than during the Middle Ages, theologians and philosophers of religion have engaged in a strategic retreat that Anselm and Descartes would have hated – they have conceded that if God does not exist at all possible worlds He exists in none. Anselm and Descartes would have hated it because they lived in an age when atheism was unthinkable.

We can easily see that there must be something wrong with the argument if we consider that, with a little simple tinkering, we can turn it into an argument for atheism. We effect this 180 degree turnaround in the following way.

P1: It is conceivable that God does not exist.
P2: If it is conceivable that God does not exist then it is possible that God does not exist.
C1: Therefore it is possible that God does not exist.
P3: God either exists necessarily or not at all.
C3: Therefore, if it is possible that God does not exist, then God does not exist necessarily. 
C2: Therefore God does not exist.

How would a typical theist respond to this argument? Just as atheists should humour their monotheistic friends in conceding to them a recognition that the religious can conceive of God, so should theists extend to their atheist opponents the courtesy of believing their atheism to be genuine. Dawkins, Hitchens, O'Conner, and others, despite having a vague sense of the believers' conceptions of God, conceive of Him as not existing. If the theist is to somehow refute the modal ontological argument for atheism, he or she must suppose that there is something wrong with the second or third premise – in exactly the same way as atheists must suppose there to be a problem with the second or third premise of the modal ontological argument for God. There is a great deal of symmetry involved and so this is known as the symmetry objection.

I turn now to a very clever argument I came up with recently, I think a very ingenious argument, an argument for agnosticism. It runs as follows.

P1: It is conceivable that God exists.
P2: If it is conceivable that God exists then it is possible that God exists.
C1: Therefore it is possible that God exists.
P3: It is conceivable that God does not exist.
P4: If it is conceivable that God does not exist then it is possible that God does not exist.
C2: Therefore it is possible that God does not exist.
C3: Therefore it is possible that God exists and possible that God does not exist.
P5: If God is a necessary being, then He either necessarily exists or necessarily does not exist.
P6: If God necessarily exists, then it is not possible that He does not exist.
P7: If God necessarily does not exist, then it is not possible that He exists.
C4: Therefore God neither necessarily exists nor necessarily does not exist.
C5: Therefore God is not a necessary being.

At first glance this argument seems more an argument for atheism than for theism. It seems to suggest that what we are calling 'God' in this argument is by definition not the God of the Abrahamic faiths because the God of the Abrahamic faiths necessarily exists by definition. So we could conclude that because the 'God' of this argument is not a necessary being, God does not exist. An alternative is to suppose that God does exist at some worlds including potentially the actual world, is indeed omnipotent, omniscient and omni-benevolent within the scope of the world where He is present, but does not exist at all possible worlds. It may still be possible to call this being God even if he does not meet all the criteria for God set out by the theologians. This would be a strange way of approaching theology but we cannot rule it out. 

If the theist wishes to cleave to her conviction that God exists and is a necessary being she must say that either P3, P4 or P6 is wrong. However she must cede P3 to the atheists just as the atheist must cede P1 to the theists. There is no way for anyone logically minded to suppose that P6 is wrong. So the problem, in her view, must lie with P4. Unfortunately it is impossible to reject P4 without also rejecting P2, because it is of the same logical form, and the theist requires P2 to force through her own argument. Could she pursue such a strategy? What I would like to suggest now is that there is a problem with all three modal arguments, including my own argument for agnosticism, and that this problem arises from modal logic itself. Either the premises in all three arguments in which conceivability is considered an indicator of possibility are wrong, or the premise in both the argument for God and the argument for atheism which we can express as either "God either exists necessarily or not all" or "If God exists, He exists necessarily" is wrong. We may also find that my own argument for agnosticism does not carry us all the way to the conclusion that God is not a necessary being.

Let us first continue considering the implications of rejecting P3 of the argument for God and P3 of the argument for atheism. We will carry out this consideration in the light of my own ingenious argument for agnosticism. Despite seeming, on the face of it, more an argument for atheism than for theism, the Argument for Agnosticism, an argument seeking to show that God is not a necessary being, in fact leads us to a stranger conclusion. If we accept something known as 'modal realism', the view that all possible worlds are in some sense real, a position defended by one of the creators of possible world semantics, David Lewis, then we end up having to suppose that there might be some existing worlds ruled by an eternally existing, omnipotent, omniscient, and omni-benevolent deity and other worlds at which He is absent. God would not be 'contingent' because one meaning of the word 'contingent' is 'dependent on prior circumstances' – rather God would be at the worlds where He exists a 'brute fact'. Is the actual world, a world that hopefully you and I both inhabit, one of those ruled by a being who is perfect in all ways except in terms of necessary existence? Or do we live in one at which He is not present? Leibniz argued that we live in the best of all possible worlds and was satirised by Voltaire through the character of Dr Pangloss for seeming to espouse such a naively optimistic credo. Leibniz held that God was actual and had manifested the best possible world although, of course, he did not frame his credo in terms of possible world semantics because Lewis and Kripke didn't come along and systematise this form of argumentation until two and a half centuries later. As I understand it, Leibniz did not, in fact, contend that the world did not contain evil at all but rather that God permits a certain amount of evil to exist for His own purposes, purposes that the creators of theodicies seek to explain. What God does not permit is gratuitous evil, gratuitous suffering. Now, imagine that Donald Trump starts a nuclear war with Russia and China tomorrow. Imagine we descend into a nuclear winter and that those who don't succumb to radiation sickness die of starvation or malnutrition. If God is omni-benevolent and does not permit gratuitous suffering, then this possible world must be a world at which God is not present. If we try to imagine God existing at this world, we find that this world must be logically impossible. We reach this conclusion regardless of whether we believe in modal realism or if we take the less strong position of supposing that the world of total atomic destruction is a world God could choose to let exist but chooses not to. If God exists at the actual world, he will not allow Trump to press the big red button. In this way the faithful can posit the existence of God in the actual world to reassure themselves that some kind of nuclear armageddon is unthinkable.

(I might digress for a moment. It may seem that the Black Death, the Holocaust, and the genocide of the Palestinians in Gaza and the West Bank seem like examples of gratuitous suffering that took place and are taking place in the actual world. It is the job of Christian apologists to explain why these examples of suffering are not gratuitous. However the purpose of this essay is not to discuss the Problem of Evil but rather arguments for the existence or non-existence of God derived from considerations of modal logic. The Problem of Evil is something I have spent more time on elsewhere in this blog.)

Having considered sketchily some implications of rejecting P3 of both the argument for God and P3 of the argument for atheism, of assuming that God is not a necessary being, let us now imagine that we want to reject P2 of the argument for God and P2 of the argument for atheism. I want to pick on these two propositions, the first stating that if the existence of God is conceivable it is necessary, and the second stating that if the non-existence of God is conceivable it is necessary, because I believe that this is the best way of exposing the serious defects of this type of modal argument. I will suggest later in this essay that these defects occur because people have erroneously thought possible world semantics to be a metaphysical theory when in reality it should be considered an epistemic theory.

Where does the idea that conceivability equals possibility come from? Apparently it can be traced back to Hume and Descartes. Both thought that if after a period of contemplation one could find no logical contradiction in an imagined state of affairs, then the state of affairs would be possible. Descartes thought that he could conceive of his soul as something separate from his body and thus that it must be possible for his soul to be separable from his body. This furnished him with some confidence in his own theory of mind-body dualism or substance dualism. The axiom that conceivability inevitably entails possibility is a notion still widely embraced by philosophers today. For instance, the very famous essay by David Chalmers in which he introduced the notion of the 'hard problem of consciousness' relies on a thought experiment. He imagines a world full of apparent humans and other sophisticated beings who lack consciousness. Because the world full of zombies is superficially exactly the same as this one but the beings in it lack consciousness, consciousness must be an added extra that materialist science cannot explain. Chalmers argues that because the zombie world is conceivable it must be possible. Another example of a relatively recent philosopher who employed modal logic in his reasoning is Hillary Putnam. Putnam defended his theory of 'meaning externalism' by imagining a world in which the stuff that behaves like water and is called water by the inhabitants of this world is not H2O but rather XYZ. Putnam argued that by definition the water-like stuff in this world is necessarily not water because its composition is XYZ and water is necessarily H2O. Putnam also argued that because this world is conceivable it is possible.

I would like now to present a modal argument of the same structure as the ones I have already presented but concerning not God but rather water. It runs as follows.

P1: It is conceivable that water is not H2O.
P2: If it is conceivable that water is not H2O, then it is possible that water is not H2O.
C1: Therefore, it is possible that water is not H2O.
P3: If it is possible that water is not H2O, then it is not necessary that water is H2O.
C2: It is not necessarily true that water is H2O.

I imagine my readers will want to say, straight away, that because the conclusion must be false, either the first or second premise must be false. I share the same intuition. But why does an argument of this general form seem so obviously unsound when we apply it to water but so inconclusive when applied to the existence or non-existence of God? The arguments are indeed of the same general form. The answer to this question involves the fact that we live in a world in which it is universally accepted that the chemical composition of water is H2O. I have never heard of a single person making the case that all science is wrong and that the actual composition of water is XYZ. It is because it seems to us inconceivable that water could have some other chemical composition that Saul Kripke, the other co-creator of possible world semantics, presented the identity of water as H2O as a necessary a posteriori truth. It is necessary that water be H2O, he argued, because water is H2O in all possible worlds, and it is a posteriori because we had to discover this identity empirically, through chemistry. It was this idea that was picked up by Putnam. The debate between theists and atheists, however, is evidence that many can conceive of God existing and that many can conceive of God not existing. It is because we have evidence that some people can conceive of God existing and others can conceive of Him not existing, but lack evidence that anyone in the world today seriously conceives of water as something other than H2O, that the arguments concerning God's existence or non-existence seem so inconclusive while the argument I presented above seems so obviously false.

However, has it always been the case that it is impossible to conceive of water as something other than H2O? It was not until 1784 that Henry Cavendish showed that mixing oxygen with hydrogen, an element he had discovered, created water. In 1811, Italian chemist Amedeo Avogadro established that water was two parts hydrogen and one part oxygen. Before then any number of hypotheses concerning the makeup of water may have been tabled and all of them were conceivable. The ancients, I think, regarded water as elemental – it could be mixed with solutes but could not itself be considered to break down into simpler components that prima facie shared no characteristics with what we call water at all. So it was once conceivable to imagine that water might not be H2O, either because hydrogen and oxygen had not yet been discovered or because its chemical composition had not been fully established and this information not yet disseminated to the wider public. Doesn't this mean that if it was once conceivable that water might not be H2O, it was once possible that water might not be H2O?

Modern philosophy is a kind of conversation engaged in by academics in articles published in journals. It does not seem to me to really progress – rather provocative ideas and arguments appear and become fodder for a continuing discussion. There is a major split in Western philosophy between what is known as continental philosophy or postmodern philosophy on the one hand and what is known as either Anglo-American philosophy or analytic philosophy on the other. I myself used to be much more of a postmodernist because the English department at Auckland University were much more fans of Derrida than of Saul Kripke. Over the last several years I have taken a crash course in analytic philosophy however. Within analytic philosophy, there are certain big names that have changed the direction of the conversation, such as Chalmers and Nagel. Plantinga is big in the space of philosophy of religion. Philip Goff has recently become associated with the bold new notion of panpsychism. However the two big names that have most influenced modern analytic philosophy are Saul Kripke and Hillary Putnam. In contrast to a continental tradition that descends from Nietzsche in which it could be claimed that there is no such thing as truth at all and that 'reality is a social construction', Putnam and Kripke have sought to defend what Bertrand Russell called 'a robust sense of reality'. They have claimed that not only is there a set of propositions that are true but that they are necessarily true. Kripke thought that a name like Christopher Luxon refers to the same individual in all possible worlds. He thought there was something necessary associated with names. For Kripke, the sentence "The person we call Shakespeare is not Shakespeare" is self-contradictory, almost non-sensical. It is logically impossible. The notion that water is necessarily H2O was originally proposed by Kripke and then picked up by Hillary Putnam and used by Putnam as a dialectical tool when setting out his theory of 'meaning externalism' as I mentioned earlier and discussed in a recent post. There is something like a paradox here because Kripke helped invent modal logic and Putnam enthusiastically embraced it.

The argument I am making here is most a threat to the theories proposed by Kripke and Putnam that true propositions can be divided into a necessary camp and a contingent camp. It is a threat to them because both espouse possible world semantics but claim that some propositions are necessary. I am claiming that because it was once conceivable that water might not be H2O, it is still conceivable today that water is not H2O. All it takes for it to be conceivable is for a single person who is not acquainted with chemistry at all, a backwoods man, to sit in his homemade chair and after deep reflection decide that water is a simple indivisible substance. For something to be conceivable, it only has to be conceivable to a single person. And if the claim originally proposed by Hume and Descartes, "If something is conceivable then it is possible" is true then we are forced to conclude that water might possibly be something other than H2O. In order to explore this puzzle we might consider the notions of possibility and impossibility. Oddly, impossibility comes in different degrees. Something is logically impossible if the conception of it involves a logical contradiction, a logical contradiction that is apparent a priori to someone sitting in his or her armchair. Examples of logically impossible concepts and propositions supposedly include 'a square circle' or '2 + 2 = 5'. However something can be metaphysically impossible or something can be nomologically impossible. In Putnam's twin-earth thought experiment, he effectively proposed that the identities we discover through chemistry are necessary but that the laws of physics are contingent, might be different.

What conclusion does this discussion force on us? We must suppose that the rule that if something is conceivable then it is possible is too permissive. If we can use the same rule of thumb to prove that God exists in all possible worlds, exists in no possible world, or exists in some possible worlds but not others, then it seems there must be something wrong with this rule and so perhaps we should abandon it. It might be that we have to abandon the rule that conceivability entails possibility even if we want to defend the ordinarily quite unquestioned verity that water is identical to H2O. If we continue to subscribe to the rule, then the only necessary truths are analytic a priori truths such as "all bachelors are unmarried", "two plus two equals four" and "a sphere is a surface in three dimensional space where all points of the surface are equidistant from the centre". If we suppose that conceivability entails possibility, then ALL a posteriori propositions must be contingent, possibly true or possibly false. So we could conclude that we should abandon therefore the rule first proposed by Hume and Descartes and instead suppose that one can conceive of states of affairs that are impossible. This is especially the case for all followers of Kripke and Putnam. If there are to be any necessary truths apart from analytic a priori truths, then we must presume that conceivability is no indicator of possibility.

If we presume that conceivability is no guide to possibility, but we still want to retain some notion of possibility, how then shall we decide what is possible and what is necessary? Modal logic is at the heart of modern analytic philosophy and so there is formidable resistance to change. Nevertheless many eminent philosophers in the Anglo-American tradition down the years have questioned whether our notions of necessity and possibility are correct. It may be that we attribute necessity to those beliefs we are absolutely stubbornly unwilling to give up, such as the belief that water is fundamentally H2O, and attribute possibility to those beliefs we are more uncertain about. Analytic philosophers who have taken this cynical even somewhat postmodern step into an area normally more the province of continental philosophers include Wittgenstein, Quine, and Ayers. It seems to me that this skepticism regarding the foundations of the philosophical method occurs to all major philosophers at some point in their careers even while the professorial herd remain in the tunnel, looking neither to the left or the right, never seriously wondering if the words 'necessary' and 'possible' might have meanings other than the conventional ones assigned to them to by modal logic. It is instructive to consider how foundational these terms are in philosophy but not in the other sciences or humanities, that this is a problem particular to philosophers.

Oftentimes a philosopher, even an eminent one, expresses contradictory views. (I am probably one such myself.) For instance Hume famously proposed his Doctrine of Necessity which I shall quote:

"It is universally allowed, that matter, in all its operations, is actuated by a necessary force, and that every                                           natural effect is so precisely determined by the energy of its cause, that no other effect, in such particular circumstances, could possibly have resulted from it."

Hume seems to be arguing that everything that happens materially happens necessarily. If so, there is no such thing as possibility. This contradicts his other doctrine, the principle that conceivability entails possibility.  Readers who remember my original post about this topic, "The Modal Ontological Argument", may recall that I argued, following Sam Harris, that there is no possibility, only necessity. All truths are necessary truths. If so the premise in both the first modal argument I presented, in the argument for the existence of God, and in the second, in the argument for atheism, "God either exists necessarily or not at all", is trivially true because all meaningful propositions about the world are either necessarily true or necessarily false. There is only one world, the actual world. The proposition concerning God, "God either exists necessarily or not at all" can be extended to cover all existing and non existing entities. It is a metaphysical statement that applies to everything. If we take this view, then how can we explain our ordinary language usage of words like 'possible'? The proposition "God is conceivable" might be rephrased as "I can imagine the God of the theologians existing but cannot be sure." It is thus, arguably, an epistemic statement. The second premise of the argument for God, "If God is conceivable, God is possible" moves us from the world of the mental to the world of the metaphysical in a way reminiscent of Anselm's original ontological argument for the existence of God. It seems to conflate metaphysics with epistemology, seems to crush them together although seemingly acting as a bridge between the two categories. However if all facts about the world are necessary and if when we conceive of potentially counterfactual scenarios we may sometimes be imagining impossible worlds we must suppose that this premise is false and thus, insofar as the argument for God, the argument for atheism, and the argument for agnosticism depend upon a premise of this general form, none of them are sound. This explains our intuition that there is something wrong somewhere with these arguments.

Human beings are epistemically limited. I do not not know the names and occupations of my neighbours but do know that they necessarily have names. If I say that Jones next door might be a plumber, I am not expressing a view that Jones's ontological status is in flux or in some way indeterminate, that it can only be resolved if I knock on his door and perform an observation, bur rather that I think Jones might be a plumber but am unsure. If I say that it is possible that it will rain tomorrow I am expressing uncertainty about whether it will rain or not but I still regard the shower if it occurs to be necessary. If we follow this train of thought all the way to its final destination, we might be led to jettison not only possible world semantics as invented by Lewis and Kripke but all talk of possibility at all. But this would go too far. We have words like "possible", "plausible", "probable", "likely" and "unlikely" in our language because they serve a useful purpose. However these words are primarily not responses to the metaphysical nature of reality but rather expressions of our epistemic uncertainty. So what I would like to advise is that we do indeed toss possible world semantics into the dustbin of history but that we keep the language and concepts of modal logic. We do so by assuming that the language and concepts of modal logic are entirely epistemic and not metaphysical at all. I believe in doing so we are simply following in the well worn path trodden by other philosophers such as Wittgenstein, Quine, and Ayers. 

We arrive now at the twist in my argument. If you heed my advice to regard modal language and concepts as entirely epistemic, we can in fact retain the principle proposed by Hume and Descartes that conceivability always entails possibility. The major difference between the theory I am now proposing and possible world semantics relates to the meaning of the word "necessary". If Bob says, "Water is necessarily H2O", what he is really saying is, "I am absolutely confident that water is H2O.". If Jill says, "P is possible and Q is necessary" what she is saying is that her belief in Q is greater than her belief in P, that in fact her belief in Q is as strong as she can make it.

If we take this second position, hold that modal language and concepts are epistemic in nature, we can rephrase the argument for the existence of God that I set out at the beginning of this essay in the following way.

P1: Jill can conceive that God exists.
P2: If Jill can conceive that God exists then God seems to her to at least possibly exist.
C1: Therefore it seems to Jill that God at least possibly exists.
P3: Jill is either absolute confident that God exists or absolutely confident that God does not exist.
P4: If Jill is absolutely confident that God does not exist then it would not seem to her at least a little possible that God does exist.
C2: Therefore Jill is absolutely confident that God exists.

In order to make the argument as clear as possible, I have added a premise that was not there in the original. The argument may seem odd because Jill appears to shift from a position of simply entertaining in her mind the possibility that God might exist to full blown conviction but this shift, if you look at the argument carefully, although odd, does not make the argument invalid. However, and this is the important thing, by treating modality as epistemic rather than metaphysical, we no longer have an argument for the existence of God but rather an argument for why Jill might believe in God

We can also rephrase the argument for atheism in the following way.

P1: Bob can conceive that God does not exist.
P2: If Bob can conceive that God does not exist then it seems to him at least a little possible that God does not exist.
C1: Therefore, it seems to Bob that God at least possibly does not exist.
P3: Bob is either absolutely confident that God exists or absolutely confident that God does not exist.
P4: If Bob is absolutely confident that God exists then it would not seem to him at least a little possible that God does not exist.
C2: Therefore Bob is absolutely confident that God does not exist.

Here we have an argument not that God does not exist but rather for why Bob might not believe in God.

Finally, we can rephrase the argument I came up with myself, the argument for agnosticism.

P1: Andrew can conceive that God exists.
P2: If Andrew can conceive that God exists then it seems to him at least a little possible that God exists.
C1: Therefore, it seems to Andrew at least a little possible that God exists.
P3: Andrew can conceive that God does not exist.
P4: If Andrew can conceive that God does not exist then it seems to him at least a little possible that God does not exist.
C2: Therefore, it seems to Andrew at least a little possible that God does not exist.
C3: Therefore, it seems to Andrew at least a little possible that God exists and at least a little possible that God does not exist.
P5: If the God Andrew conceives of is the God of the theologians, then Andrew is either absolutely confident that God exists or absolutely confident that God does not exist.
P6: If Andrew is absolutely confident that God exists then it would not seem possible to him that God does not exist.
P7: If Andrew is absolutely confident that God does not exist then it would not seem possible to him that God exists.
C4: Therefore, the God Andrew conceives of is not the God of the theologians.

In rephrasing the argument for agnosticism this way I am not being absolutely rigorous, am being a little playful, but the general thrust of the argument should be clear. I shall summarise the argument so far. We can understand the theory of possible world semantics as being either a metaphysical theory or an epistemic theory. If we regard the most popular theory of modal logic as being a description of metaphysical reality, then the flaw in many arguments that rely on modal logic is that the premise, "If something is conceivable then it is possible" is not true. It involves a move from epistemology to metaphysics that is not licensed. It might be that everything that happens happens necessarily, that there is only one world, the actual world, and that when conceive of supposedly 'possible' worlds we are really conceiving of impossible worlds. If we regard modal logic as a metaphysical theory, we can no longer say that conceivability equals possibility because we can conceive of impossible states of affairs. If we regard modal logic as an epistemological theory, on the other hand, although we can retain the principle that conceivability equals possibility, we can no longer reach either the conclusion that God exists or the conclusion that God does not exist. If modal logic is a metaphysical theory, then the premise in the very first argument that is false is "If God is conceivable, God is possible". If modal logic is an epistemological theory, then the premise in the very first argument that is false is "God either exists necessarily or not at all" – unless we imagine that we employ the word 'necessary' simply to indicate a very strong belief.

I turn now, at last, to Plantinga's actual argument. It is very simple, consisting of a single premise and a conclusion.

P: The necessary being possibly exists.
C: Therefore the necessary being actually exists.

Because the argument is so short it requires a great deal of unpacking. Similarly to Kripke and Putnam, Plantinga views all the truths of the actual world as being of two sorts: contingent or necessary. Contingent truths are truths that hold in some possible worlds, including the actual world, but not all possible worlds. Necessary truths hold in all possible worlds. There is confusion in philosophy and theology about the word 'contingent' because it has more than one meaning. Sometimes the word is intended to refer to the fact, as already indicated, that some propositions are true in some possible worlds but are not true in other possible worlds. Sometimes however it means 'dependent on other facts.' The word 'necessary', when applied to truths, sometimes means true in all possible worlds and sometimes means 'not dependent on other facts'. God is supposed to be necessary in both senses of the word. 

According to the mainstream theological tradition, all material facts, all facts pertaining to the physical world, are contingent. This is why we can ask the question: "Why is there something rather than nothing?" It is because we can conceive of a possible world that is empty of anything material or physical. The mainstream theological tradition holds that the only explanation for the material universe is that there is a necessary being who created it and keeps it running. This doctrine goes back at least as far as St Augustine and perhaps to Plato. Plantinga is following in the footsteps of Kripke and Putnam in asserting that there are both necessary and contingent facts. However the main example used by Kripke and Putnam of a necessary truth is the identity of water as H2O whereas Plantinga is making an assertion concerning existence.

We can start to see the problem with Plantinga's argument if we ask why Plantinga seems to imply that there is only a single necessary being. What if there is more than one necessary being? Perhaps the actual world and all possible worlds contain two necessary beings, Jehova and Satan, a force for Good and a force for Evil as the Manichaeans thought. Perhaps there is a pantheon of necessary beings – Zeus, Hera, and all their children and relations. (This story involves us disregarding the fact that Zeus and Hera had Titan parents.) We might then go on to wonder why Plantinga could not have said, "The necessary island possibly exists," "The necessary golden mountain possibly exists" or "The necessary unicorn possibly exists." It seems that, in the absence of any criteria for deciding what is necessary and what is contingent, we can slap the word "necessary" in front of any concept and then by asserting that the concept is possible conjure anything we want into existence. We might also wonder if some or all of the quotidian things we ordinarily encounter and consider to exist might necessarily exist. I have a table in my apartment. Perhaps this table exists necessarily – perhaps, despite appearances to the contrary, it is self-caused and exists in all possible worlds. Perhaps, as I have suggested, everything that exists necessarily exists. These considerations seem to suggest that the word 'necessary' as used by Plantinga is ill-defined. In the end, if we accept that the word 'necessary' is meaningful, the sole premise in Plantinga's argument can simply be expressed as, "Whatever is necessary is possible", a trivial truism. Plantinga's argument may comfort those theists who do not examine it closely but I don't think does anything to persuade atheists to change their minds.

Planting seems to be saying simply, "Whatever is necessary is possible", yet Plantinga's argument is indeed intended to be an argument for the existence of God. It seems to me that Plantinga, in his statement that the necessary being possibly exists, is smuggling in other properties theologians and Christian philosophers of religion take to be necessary of God, such as omnipotence, omniscience, and omni-benevolence. These other properties are held by theologians and Christian philosophers to be essential to the single necessary being. Plantinga I believe intended to imply more than he actually said and those of faith who find solace in Plantinga's argument read into it more than he actually said. If Plantinga is implying more than the simple statement that if necessary beings exist possibly then they exist actually, where do these additional properties associated with 'the necessary being' come from? Perhaps Plantinga relies on scripture. More likely though, because Plantinga is trying to present a natural-philosophy argument for the existence of God, he is thinking of the argument Anselm proposed in his Proslogian in the eleventh century. This is one of the first and most influential of the ontological arguments for the existence of God. Anselm argued that if God exists then He is a perfect being. Anselm went on to say that he can conceive of this perfect being. One of the perfections associated with this perfect being would be necessary existence. Anselm argues that because he can conceive that God exists, God must exist in the actual world. The essay you are now reading, which is too long already, would be far too long if I did a deep dive on Anselm. Suffice it to say that the problem with Anselm's argument is that there is no reason why we should not suppose that he could conceive that God exists – and be wrong. I cannot justify this claim here for lack of space.

Anselm's argument, I propose, can be simply stated as "I can conceive of God existing and so God necessarily exists." Plantinga and those others who present modal ontological arguments are making a weaker claim, "I can conceive of god existing and so God possibly exists." We can now unpack Plantinga's argument, incorporate into it the assumptions Plantinga and other theologians are making when they propose it, by presenting it in the following way.

P1:The Perfect Being is conceivable.
P2: If the Perfect Being is conceivable then it is among other things conceived of as the sole necessarily existing being.
P3: The necessarily existing being possibly exists.
C1: Therefore the necessarily existing being actually exists.
C2: Therefore the Perfect Being actually exists.
P4: The Perfect Being is God.
C3: Therefore God exists.

The trouble with this argument is that it is invalid. To be a Perfect Being, the necessarily existing being must have attributes in addition to necessary existence. We thus cannot make the move from C1 to C2. There is no reason why I couldn't say that the existence of the table in my apartment is necessary – but I would not then be entitled to say that the table in my apartment is a Perfect Being. We could attempt to manipulate this argument into something that is valid but I contend that to be an argument for the existence of God, any modal ontological argument still require two premises either or both of which may be false. The first is, "If God exists, then he necessarily exists." The second is, "If I can conceive of God, then He possibly exists." The first is a metaphysical statement and the second is an  epistemological statement. Consider the first. What license do we have to say that if God exists he exists necessarily? In order to be a foundation for an argument for God, one needs to rely either on scripture or on Anselm's Perfect Being theology. However if we reject these two authorities, we can find no reason why my own argument, the argument for agnosticism, an argument I am proud of, might not be the best argument. Perhaps we are only entitled to say "I don't know." Even if we grant the first of these two premises, we could still say that the second is false. We could say that the principle first proposed by Hume and Descartes is not sound, that conceivability is no guide to possibility.

These objections arise if we treat modal logic as a description of metaphysical reality. How could we rephrase Plantinga's argument if we suppose that modal logic is simply a description of epistemic reality, what we can and cannot know about the world? I shall now try to translate Plantinga's argument into a form that fits with the second interpretation.

P: The being that Plantinga absolutely confidently believes to exist seems to him to possibly exist.
C: Therefore the being that Plantinga absolutely confidently believes to exist actually exists.

This is again invalid. In fact the premise is just a tautology and nothing follows from a tautology. To believe something to be true does not make it true. Perhaps we could make another stab at rephrasing Plantinga's argument in a way that includes the concession modern theologians often allow and see if this will make it both valid and sound.

P: The being that Plantinga either absolutely confidently believes to exist or absolutely confidently believes not to exist seems to him to at least possibly exist.
C: Therefore the being that Plantinga either absolutely confidently believes to exist or absolutely confidently believes to not exist actually exists.

This argument is no longer based on a tautology but it is still invalid. In fact the premise in this newly minted version of Plantinga's argument only leads to one valid conclusion.

C: Therefore the being that Plantinga either absolutely confidently believes to exist or absolutely confidently believes to not exist he believes with absolute confidence must exist.

Modal arguments, understood epistemically, only give reasons for belief and say nothing about the existence or non existence of the subjects of these arguments.

The purpose of this essay has been to consider a modal ontological argument for the existence of God and another argument of the same form that, with a little tinkering, presents itself as an argument for atheism. My intention was neither to try to prove that God exists nor to try to prove that he does not exist. Rather I have been seeking to show that modal logic is inherently self-contradictory and thus an inadequate foundation for any argument of this sort. Possible world semantics as invented by Lewis and Kripke and weaponised by Putnam is flawed because it confuses metaphysics with epistemology. To be a metaphysical theory Kripke and Putnam need better criteria for establishing which truths are necessary and which are contingent. Plantinga at lease relies on scripture and Perfect World theology to justify a claim of the sort, "If God exists, He exists necessarily." He can rely on the principle proposed by Hume and Descartes that if something is conceivable it is possible. Yet the confusion in modal logic between metaphysics and epistemology is evident here too: in his brief argument he seems to be employing the word 'necessary' in a metaphysical sense and the word 'possible' in an epistemic sense. Putnam by contrast simply asserts, in his essay "The Meaning of Meaning", without evidence, that the identity "water = H2O" is necessarily true. It may seem that this essay has Plantinga as its bete noir but the real targets of my ire are Kripke and Putnam. 
 
I'll finish this essay by re-emphasising an obvious claim I made early on in it. Some people believe in God and some people don't. Some people can conceive of God and still do not believe He exists. In the world today, there seems no reason to believe in God. The age of miracles is past and it seems science can explain everything. Yet there are many who persist in believing in God, perhaps to entertain some hope in their lives and some hope for an afterlife. It might be that God, to backslide into the Kripkean heresy, may turn out to be an a posteriori metaphysically necessary truth. We may find evidence that God exists in some comparable way to the way water was discovered to be H2O in the eighteenth century. Believers may say that we already have a posteriori evidence that Christianity is true. We have eyewitness testimony of miracles and two resurrections in the Gospels. All I am saying in this essay is that if one wants either a conclusive argument for God or a conclusive argument against Him, we cannot rely on Modal Logic to do the heavy lifting for us.