Ontology and epistemology; the twin pillars of philosophy

 I remember in my introduction to formal philosophy that there were 5 branches: ontology, epistemology, logic, aesthetics and ethics. Logic is arguably subsumed under mathematics, which has a connection with ontology and epistemology through physics, and ethics is part of all our lives, from politics to education to social and work-related relations to how one should individually live. Aesthetics is like an orphan in this company, yet art is imbued in all cultures in so many ways, it is unavoidable.
 
However, if you read about Western philosophy, the focus is often on epistemology and its close relation, if not utter dependence, on ontology. Why dependence? Because you can’t have knowledge of something without inferring its existence, even if the existence is purely abstract.
 
There are so many facets to this, that it’s difficult to know where to start, but I will start with Kant because he argued that we can never know ‘the-thing-in-itself’, only a perception of it, which, in a nutshell, is the difference between ontology and epistemology.
 
We need some definitions, and ontology is dictionary defined as the ‘nature of being’, while epistemology is ‘theory of knowledge’, and with these definitions, one can see straightaway the relationship, and Kant’s distillation of it.
 
Of course, one can also see how science becomes involved, because science, at its core, is an epistemological endeavour. In reading and researching this topic, I’ve come to the conclusion that, though science and philosophy have common origins in Western scholarship, going back to Plato, they’ve gone down different paths.
 
If one looks at the last century, which included the ‘golden age of physics’, in parallel with the dominant philosophical paradigm, heavily influenced, if not initiated, by Wittgenstein, we see that the difference can be definitively understood in terms of language. Wittgenstein effectively redefined epistemology as how we frame the world with language, while science, and physics in particular, frames the world in mathematics. I’ll return to this fundamental distinction later.
 
In my last post, I went to some lengths to argue that a fundamental assumption among scientists is that there is an ‘objective reality’. By this, I mean that they generally don’t believe in ‘idealism’ (like Donald Hoffman) which is the belief that objects don’t exist when you don’t perceive them (Hoffman describes it as the same experience as using virtual-reality goggles). As I’ve pointed out before, this is what we all experience when we dream, which I contend is different to the experience of our collective waking lives. It’s the word, ‘collective’, that is the key to understanding the difference – we share waking experiences in a way that is impossible to corroborate in a dream.
 
However, I’ve been reading a lot of posts on Quora by physicists, Viktor T Toth and Mark John Fernee (both of whom I’ve cited before and both of whom I have a lot of respect for). And they both point out that much of what we call reality is observer dependent, which makes me think of Kant.
 
Fernee, when discussing quantum mechanics (QM) keeps coming back to the ‘measurement problem’ and the role of the observer, and how it’s hard to avoid. He discusses the famous ‘Wigner’s friend’ thought experiment, which is an extension of the famous Schrodinger’s cat thought experiment, which infers you have the cat in 2 superpositional states: dead and alive. Eugne Wigner developed a thought experiment, whereby 2 experimenters could get contradictory results. Its relevance to this topic is that the ontology is completely dependent on the observer. My understanding of the scenario is that it subverts the distinction between QM and classical physics.
 
I’ve made the point before that a photon travelling across the Universe from some place and time closer to its beginning (like the CMBR) is always in the future of whatever it interacts with, like, for example, an ‘observer’ on Earth. The point I’d make is that billions of years of cosmological time have passed, so in another sense, the photon comes from the observer’s past, who became classical a long time ago. For the photon, time is always zero, but it links the past to the present across almost the entire lifetime of the observable universe.
 
Quantum mechanics, more than any other field, demonstrates the difference between ontology and epistemology, and this was discussed in another post by Fernee. Epistemologically, QM is described mathematically, and is so successful that we can ignore what it means ontologically. This has led to diverse interpretations from the multiple worlds interpretation (MWI) to so-called ‘hidden variables’ to the well known ‘Copenhagen interpretation’.
 
Fernee, in particular, discusses MWI, not that he’s an advocate, but because it represents an ontology that no one can actually observe. Both Toth and Fernee point out that the wave function, which arguably lies at the heart of QM is never observed and neither is its ‘decoherence’ (which is the measurement problem by another name), which leads many to contend that it’s a mathematical fiction. I argue that it exists in the future, and that only classical physics is actually observed. QM deals with probabilities, which is purely epistemological. After the ‘observation’, Schrodinger’s equation, which describes the wave function ceases to have any meaning. One is in the future and the observation becomes the past as soon as it happens.
 
I don’t know enough about it, but I think entanglement is the key to its ontology. Fernee points out in another post that entanglement is to do with conservation, whether it be the conservation of momentum or, more usually, the conservation of spin. It leads to what is called non-locality, according to Bell’s Theorem, which means it appears to break with relativistic physics. I say ‘appears’, because it’s well known that it can’t be used to send information faster than light; so, in reality, it doesn’t break relativity. Nevertheless, it led to Einstein’s famous quote about ‘spooky action at a distance’ (which is what non-locality means in layperson’s terms).
 
But entanglement is tied to the wave function decoherence, because that’s when it becomes manifest. It’s crucial to appreciate that entangled particles are described by the same wave function and that’s the inherent connection. It led Schrodinger to claim that entanglement is THE defining feature of QM; in effect, it’s what separates QM from classical physics.
 
I think QM is the best demonstration of Kant’s prescient claim that we can never know the-thing-in-itself, but only our perception of it. QM is a purely epistemological theory – the ontology it describes still eludes us.
 
But relativity theory also suggests that reality is observer dependent. Toth points out that even the number of particles that are detected in some scenarios are dependent on the frame of reference of the observer. This has led at least one physicist (on Quora) to argue that the word ‘particle’ should be banned from all physics text books – there are only fields. (Toth is an expert on QFT, quantum field theory, and argues that particles are a manifestation of QFT.) I won’t elaborate as I don’t really know enough, but what’s relevant to this topic is that time and space are observer dependent in relativity, or appear to be.
 
In a not-so-recent post, I described how different ‘observers’ could hypothetically ‘see’ the same event happening hundreds of years apart, just because they are walking across a street in opposite directions. I use quotation marks, because it’s all postulated mathematically, and, in fact, relativity theory prevents them from observing anything outside their past and future light cones. I actually discussed this with Fernee, and he pointed out that it’s to do with causality. Where there is no causal relation between events, we can’t determine an objective sequence let alone one relevant to a time frame independent of us (like a cosmic time frame). And this is where I personally have an issue, because, even though we can’t observe it or determine it, I argue that there is still an objective reality independently of us.
 
In relativity there is something called true time (τ) which is the time in the frame of reference of the observer. If spacetime is invariant, then it would logically follow that where you have true time you should have an analogous ‘true space’, yet I’ve never come across it. I also think there is a ‘true simultaneity’ but no one else does, so maybe I’m wrong.
 
There is, however, something called the Planck length, and someone asked Toth if this changed relativistically with the Lorenz transformation, like all other ‘rulers’ in relativity physics. He said that a version of relativity was formulated that made the Planck length invariant but it created problems and didn’t agree with experimental data. What I find interesting about this is that Planck’s constant, h, literally determines the size of atoms, and one doesn’t expect atoms to change size relativistically (but maybe they do). The point I’d make is that these changes are observer dependent, and I’d argue that there is a Planck length that is observer independent, which is the case when there is no observer.
 
This has become a longwinded way of explaining how 20th Century science has effectively taken this discussion away from philosophy, but it’s rarely acknowledged by philosophers, who take refuge in Wittgenstein’s conclusion that language effectively determines what we can understand of the world, because we think in a language and that limits what we can conceptualise. And he’s right, until we come up with new concepts requiring new language. Everything I’ve just discussed was completely unknown more than 120 years ago, for which we had no language, let alone concepts.
 
Some years ago, I reviewed a book by Don Cupitt titled, Above Us Only Sky, which was really about religion in a secular world. But, in it, Cupitt repeatedly argued that things only have meaning when they are ‘language-wrapped’ (his term) and I now realise that he was echoing Wittgenstein. However, there is a context in which language is magical, and that is when it creates a world inside your head, called a story.
 
I’ve been reading Bryan Magee’s The Great Philosophers, based on a series of podcasts with various academics in 1987, which started with Plato and ended with Wittgenstein. He discussed Plato with Myles Burnyeat, Professor of Ancient Philosophy at Oxford. Naturally, they discussed Socrates, the famous dialogues and the more famous Republic, but towards the end they turned to the Timaeus, which was a work on ‘mathematical science’, according to Burnyeat, that influenced Aristotle and Ptolemy.
 
It's worth quoting their last exchange verbatim:
 
Magee: For us in the twentieth century there is something peculiarly contemporary about the fact that, in the programme it puts forward for acquiring an understanding of the world, Plato’s philosophy gives a central role to mathematical physics.
 
Burnyeat: Yes. What Plato aspired to do, modern science has actually done. And so there is a sort of innate sympathy between the two which does not hold for Aristotle’s philosophy. (My emphasis)

Addendum: This is a very good exposition on the 'measurement problem' by Sabine Hossenfelder, which also provides a very good synopsis of the wave function (ψ), Schrodinger's equation and the Born rule.

How does science work?

 This post effectively piggybacks onto my last post, because, when it comes to knowledge and truth, nothing beats science except mathematics. It also coincides with me watching videos of Bryan Magee talking to philosophers, from 30 to 40 years ago and more. I also have a book with a collection of these ‘discussions’, so the ones I can’t view, I can read about. One gets an overall impression from these philosophers that, when it comes to understanding the philosophy of science, the last person you should ask is a scientist.
 
Now, I’m neither a scientist nor a proper philosopher, but it should be obvious to anyone who reads this blog that I’m interested in both. And where others see a dichotomy or a grudging disrespect, I see a marriage. There is one particular discussion that Magee has (with Hilary Putnam from Harvard, in 1977) that is headlined, The Philosophy of Science. Now, where Magee and his contemporaries turn to Kant, Hume and Descartes, I turn to Paul Davies, Roger Penrose and Richard Feynman, so the difference in perspective couldn’t be starker.
 
Where to start? Maybe I’ll start with a reference to my previous post by contending that what science excels in is explanation. In fact, one could define a scientific theory as an attempted explanation of a natural phenomenon, and science in general as the attempt to explain natural phenomena in all of their manifestations. This axiomatically rules out supernatural phenomena and requires that the natural phenomenon under investigation can be observed, either directly or indirectly, and increasingly with advanced technological instruments.
 
It's the use of the word ‘attempt’ that is the fly in the ointment, and requires elaboration. I use the word, attempt, because all theories, no matter how successful, are incomplete. This goes to the core of the issue and the heart of any debate concerning the philosophy of science, which hopefully becomes clearer as I progress.
 
But I’m going to start with what I believe are a couple of assumptions that science makes even before it gets going. One assumption is that there is an objective reality. This comes up if one discusses Hume, as Magee does with Professor John Passmore (from ANU). I don’t know when this took place, but it was before 1987 when the collection was published. Now, neither Magee nor Passmore are ‘idealists’ and they don’t believe Hume was either, but they iterate Hume’s claim that you can never know for certain that the world doesn’t exist when you’re not looking. Stephen Hawking also references this in his book, The Grand Design. In this context, idealism refers to a philosophical position that the world only exists as a consequence of minds (Donald Hoffman is the best known contemporary advocate). This is subtly different to ‘solipsism’, which is a condition we all experience when we dream, both of which I’ve discussed elsewhere.
 
There is an issue with idealism that is rarely discussed, at least from my limited exposure to the term, which is that everything must only exist in the present – there can be no history - if everything physically disappears when unobserved. And this creates a problem with our current knowledge of science and the Universe. We now know, though Hume wouldn’t have known, that we can literally see hundreds and even thousands of years into the past, just by looking at the night sky. In fact, using the technology I alluded to earlier, we can ‘observe’ the CMBR (cosmic microwave background radiation), so 380,000 years after the Big Bang (13.8 billion years ago). If there is no ‘objective reality’ then the science of cosmology makes no sense. I’m not sure how Hoffman reconciles that with his view, but he has similar problems with causality, which I’ll talk about next, because that’s the other assumption that I believe science makes.
 
This again rubs up against Hume, because it’s probably his most famous philosophical point that causality uses an inductive logic that can’t be confirmed. Just because 2 events happen sequentially, there is no way you can know that one caused the other. To quote Passmore in his conversation with Magee: “exactly how does past experience justify a conclusion about future behaviour?” In other words, using the example that Passmore does, just because you saw a rubber ball bounce yesterday, how can you be sure that it will do the same tomorrow? This is the very illustration of ‘inductive reasoning’.
 
To give another example that is often used to demonstrate this view in extremis, just because night has followed day in endless cycles for millennia, doesn’t guarantee it’s going to happen tomorrow. This is where science enters the picture because it can provide an explanation, which as I stated right at the beginning, is the whole raison d’etre of science. Night follows day as a consequence of the Earth rotating on its axis. In another post, written years ago, I discussed George Lakoff’s belief that all things philosophical and scientific can be understood as metaphor, so that the relationship between circular motion and periodicity is purely metaphorical. If one takes this to its logical conclusion, the literal everyday experience of night and day is just a metaphor.
 
But getting back to Hume’s scepticism, science shows that there is a causal relationship between the rotation of the Earth and our experience of night and day. This is a very prosaic example, but it demonstrates that the premise of causality lies at the heart of science. Remember, it’s only in the last 400 years or so that we discovered that the Earth rotates. This was the cause of Galileo’s fatally close encounter with the Inquisition, because it contradicted the Bible.
 
Now, some people, including Hoffman (he’s my default Devil’s advocate), argue that quantum mechanics (QM) rules out causality. I think Mark John Fernee (physicist with the University of Queensland) provides the best response by explaining how Born’s rule provides a mathematically expressed causal link between QM and classical physics. He argues, in effect, that it’s the ‘collapse’ of the wave function in QM that gives rise to the irreversibility in time between QM and classical physics (the so-called ‘measurement problem’) but is expressed as a probability by the Born rule, before the measurement or observation takes place. That’s longwinded and a little obtuse, but the ‘measurement’ turns a probability into an actual event – the transition from future to past (to paraphrase Freeman Dyson).
 
On the other hand, Hoffman argues that there is no causality in QM. To quote from the academic paper he cowrote with Chetan Prakash:
 
Our views on causality are consistent with interpretations of quantum theory that abandon microphysical causality… The burden of proof is surely on one who would abandon microphysical causation but still cling to macrophysical causation.
 
So Hoffman seems to think that there is a scientific consensus that causality does not arise in QM. But it’s an intrinsic part of the ‘measurement problem’, which is literally what is observed but eludes explanation. To quote Fernee:
 
While the Born rule looks to be ad hoc, it actually serves the function of ensuring that quantum mechanics obeys causality by ensuring that a quantum of action only acts locally (I can't actually think of any better way to state this). Therefore there really has to be a Born rule if causality is to hold.
 
Leaving QM aside, my standard response to this topic is somewhat blunt: if you don’t believe in causality, step in front of a bus (it’s a rhetorical device, not an instruction). Even Hoffman acknowledges in an online interview that he wouldn’t step in front of a train. I thought his argument specious because he compared it to taking an icon on a computer desktop (his go-to analogy) and putting it in the trash can. He exhorts us to take the train "seriously but not literally", just like a computer desktop icon (watch this video from 26.30 min).

That’s a lengthy detour, but causality is a such a core ‘belief’ in science that it couldn’t be ignored or glossed over.
 
Magee, in his discussion with Passmore, uses Einstein’s theory of gravity superseding Newton’s as an example of how a subsequent scientific theory can prove a previous theory ‘wrong’. In fact, Passmore compares it with the elimination of the ‘phlogiston’ theory by Lavoisier. But there is a dramatic difference. Phlogiston was a true or false theory in the same way that the Sun going around the Earth was a true or false theory, and, in both cases, they were proven ‘wrong’ by subsequent theories. That is not the case with Newton’s theory of gravitation.
 
It needs to be remembered that Newton’s theory was no less revolutionary than Einstein’s. He showed that the natural mechanism which causes (that word again) an object to fall to the ground on Earth is exactly the same mechanism that causes the moon to orbit the Earth. There is a reason why Newton is one of the few intellectual giants in history who is commonly compared with the more recent intellectual giant, Einstein.
 
My most pertinent point that I made right at the start is that all scientific theories are incomplete, and this applies to both Newton’s and Einstein’s theories of gravity. It’s just that Einstein’s theory is less incomplete than Newton’s and that is the real difference. And this is where I collide head-on with Magee and his interlocutors. They argue that the commonly held view that science progresses as a steady accumulation of knowledge is misleading, while I’d argue that the specific example they give – Einstein versus Newton – demonstrates that is exactly how science progresses, only it happens in quantum leaps rather than incrementally.
 
Thomas Kuhn wrote a seminal book, The Structure of Scientific Revolutions, which challenged the prevailing view that science progresses by incremental steps and this is the point that Magee is making. On this I agree: science has progressed by revolutions, yet it has still been built on what went before. As Claudia de Rahm (whom I wrote about in a former post) makes clear in a discussion on Einstein’s theory of gravity: any new theory that replaces it has to explain what the existing theory already explains. She specifically says, in answer to a question from her audience, that you don’t throw what we already know to be true (from empirical evidence) ‘into the rubbish bin’. And Einstein faced this same dilemma when he replaced Newton’s theory. In fact, one of his self-imposed criteria was that his theory must be mathematically equivalent to Newton’s when relativistic effects were negligible, which is true in most circumstances.
 
Passmore argues that Einstein’s theory even contradicts Newton’s theory, without being specific. The thing is that Einstein’s revolution affected the very bedrock of physics, being space and time. So maybe that’s what he’s referring to, because Newton’s theory assumed there was absolute space and absolute time, which Einstein effectively replaced with absolute spacetime.
 
I’ve discussed this in another post, but it bears repeating, because it highlights the issue in a way that is easily understood. Newton asks you to imagine a spinning bucket of water and observe what happens. And what happens is that the water surface becomes concave as a consequence of centrifugal forces. He then asked, what is it spinning in reference to? The answer is Earth, but the experiment applies to every spinning object in the Universe, including galaxies. They weren’t known in Newton’s time, nevertheless he had the insight to appreciate that the bucket spun relative to the stars in the night sky – in other words, with respect to the whole cosmos. Therefore, he concluded there must be absolute space, which is not spinning. Einstein, in answer to the same philosophical question, replaced absolute space with absolute spacetime.
 
In last week’s New Scientist (6 August 2022), Chanda Prescod-Weinstein (Assistant Professor in physics and astronomy at New Hampshire University) spent an entire page explaining how Einstein’s GR (General Theory of Relativity) is a ‘background independent theory’, which, in effect, means that it’s not dependent on a specific co-ordinate system. But within her discussion, she makes this point about the Newtonian perspective:
 
The theory [GR] did share something with the Newtonian perspective: while space and time were no longer absolute, they remained a stage on which events unfolded.
 
Another ‘truth’ that carries over from Newton to Einstein is the inverse square law, which has a causal relationship with planets, ensuring their orbits remain stable over astronomical time frames.
 
While Magee’s and Putnam’s discussion is ostensibly about the philosophy of science they mostly only talk about physics, which they acknowledge, and so have I. However, one should mention the theory of evolution (as they also do) because it demonstrates even better than the theory of gravitation, that science is a cumulative process. Everything we’ve learnt since Darwin’s and Wallace’s theory of natural selection has demonstrated that they were right, when it could have demonstrated they were wrong. And like Newton and Einstein, Darwin acknowledged the shortcomings in his theory – what he couldn’t explain.
 
But here’s the thing: in both cases, subsequent discoveries along with subsequent theories act like a filter, so what was true in a previous theory carries over and what was wrong is winnowed out. This is how I believe science works, which is distinct from Magee’s and Putnam’s account.
 
Putnam distinguishes between induction and deduction, pointing out that deduction can be done algorithmically on a computer while induction can’t. He emphasises at the start that induction along with empirical evidence is effectively the scientific method, but later he and Magee are almost dismissive of the scientific method, as if it’s past its use-by-date. This inference deserves closer analysis.
 
A dictionary definition of induction in this context is worth noting: the inference of a general law from particular instances. This is especially true in physics and has undoubtedly contributed to its success. Newton took the observation of an object falling on Earth and generalised it to include the entire solar system. He could only do this because of the work of Kepler who used the accurate observations of Tycho Brahe on the movements of the planets. Einstein then generalised the theory further, so that it was independent of any frame of reference or set of co-ordinates, as mentioned above.
 
The common thread that runs through all 3 of these iconoclasts (4 if you include Galileo) is mathematics. In fact, it was Galileo who famously said that if you want to read the book of nature, it is written in the language of mathematics (or words to that effect). A sentiment reiterated by Feynman (nearly 4 centuries later) in his book, The Character of Physical Law.
 
Einstein was arguably the first person who developed a theory based almost solely on mathematics before having it confirmed by observation, and a century later that has become such a common practice, it has led to a dilemma in physics. The reason that the scientific method is in crisis (if I can use that word) is because we can’t do the experiments to verify our theories, which is why the most ambitious theory in physics, string theory, has effectively stagnated for over a quarter of a century.
 
On the subject of mathematics and physics, Steven Weinberg was interviewed on Closer to Truth (posted last week), wherein he talks about the role of symmetry in elementary particle physics. It demonstrates how mathematics is intrinsic to physics at a fundamental level and integral to our comprehension.

 

Footnote: Sabine Hossenfelder, a theoretical physicist with her own YouTube channel (recommended) wrote a book, Lost in Math; How Beauty Leads Physics Astray (2018), where she effectively addresses the 'crisis' I refer to. In it, she interviews some of the smartest people in physics, including Steven Weinberg. She's also written her own book on philosophy, which is imminent. (Steven Weinberg passed away 23 July 2021)

What is knowledge? And is it true?

 This is the subject of a YouTube video I watched recently by Jade. I like Jade’s and Tibees’ videos, because they are both young Australian women (though Tibees is obviously a Kiwi, going by her accent) who produce science and maths videos, with their own unique slant. I’ve noticed that Jade’s videos have become more philosophical and Tibees’ often have an historical perspective. In this video by Jade, she also provides historical context. Both of them have taught me things I didn’t know, and this video is no exception.
 
The video has a different title to this post: The Gettier Problem or How do you know that you know what you know? The second title gets to the nub of it. Basically, she’s tackling a philosophical problem going back to Plato, which is how do you know that a belief is actually true? As I discussed in an earlier post, some people argue that you never do, but Jade discusses this in the context of AI and machine-learning.
 
She starts off with the example of using Google Translate to translate her English sentences into French, as she was in Paris at the time of making the video (she has a French husband, whom she’s revealed in other videos). She points out that the AI system doesn’t actually know the meaning of the words, and it doesn’t translate the way you or I would: by looking up individual words in a dictionary. No, the system is fed massive amounts of internet generated data and effectively learns statistically from repeated exposure to phrases and sentences so it doesn’t have to ‘understand’ what it actually means. Towards the end of the video, she gives the example of a computer being able to ‘compute’ and predict the movements of planets without applying Newton’s mathematical laws, simply based on historical data, albeit large amounts thereof.
 
Jade puts this into context by asking, how do you ‘know’ something is true as opposed to just being a belief? Plato provided a definition: Knowledge is true belief with an account or rational explanation. Jade called this ‘Justified True Belief’ and provides examples. But then, someone called Edmund Gettier mid last century demonstrated how one could hold a belief that is apparently true but still incorrect, because the assumed causal connection was wrong. Jade gives a few examples, but one was of someone mistaking a cloud of wasps for smoke and assuming there was a fire. In fact, there was a fire, but they didn’t see it and it had no connection with the cloud of wasps. So someone else, Alvin Goodman, suggested that a way out of a ‘Gettier problem’ was to look for a causal connection before claiming an event was true (watch the video).
 
I confess I’d never heard these arguments nor of the people involved, but I felt there was another perspective. And that perspective is an ‘explanation’, which is part of Plato’s definition. We know when we know something (to rephrase her original question) when we can explain it. Of course, that doesn’t mean that we do know it, but it’s what separates us from AI. Even when we get something wrong, we still feel the need to explain it, even if it’s only to ourselves.
 
If one looks at her original example, most of us can explain what a specific word means, and if we can’t, we look it up in a dictionary, and the AI translator can’t do that. Likewise, with the example of predicting planetary orbits, we can give an explanation, involving Newton’s gravitational constant (G) and the inverse square law.
 
Mathematical proofs provide an explanation for mathematical ‘truths’, which is why Godel’s Incompleteness Theorem upset the apple cart, so-to-speak. You can actually have mathematical truths without proofs, but, of course, you can’t be sure they’re true. Roger Penrose argues that Godel’s famous theorem is one of the things that distinguishes human intelligence from machine intelligence (read his Preface to The Emperor’s New Mind), but that is too much of a detour for this post.
 
The criterion that is used, both scientifically and legally, is evidence. Having some experience with legal contractual disputes, I know that documented evidence always wins in a court of law over undocumented evidence, which doesn’t necessarily mean that the person with the most documentation was actually right (nevertheless, I’ve always accepted the umpire’s decision, knowing I provided all the evidence at my disposal).
 
The point I’d make is that humans will always provide an explanation, even if they have it wrong, so it doesn’t necessarily make knowledge ‘true’, but it’s something that AI inherently can’t do. Best examples are scientific theories, which are effectively ‘explanations’ and yet they are never complete, in the same way that mathematics is never complete.
 
While on the topic of ‘truths’, one of my pet peeves are people who conflate moral and religious ‘truths’ with scientific and mathematical ‘truths’ (often on the above-mentioned basis that it’s impossible to know them all). But there is another aspect, and that is that so-called moral truths are dependent on social norms, as I’ve described elsewhere, and they’re also dependent on context, like whether one is living in peace or war.
 
Back to the questions heading this post, I’m not sure I’ve answered them. I’ve long argued that only mathematical truths are truly universal, and to the extent that such ‘truths’ determine the ‘rules’ of the Universe (for want of a better term), they also ultimately determine the limits of what we can know.

AI and sentience

I am a self-confessed sceptic that AI can ever be ‘sentient’, but I’m happy to be proven wrong. Though proving that an AI is sentient might be impossible in itself (see below). Back in 2018, I wrote a post critical of claims that computer systems and robots could be ‘self-aware’. Personally, I think it’s one of my better posts. What made me revisit the topic is a couple of articles in last week’s New Scientist (23 July 2022).
 
Firstly, there is an article by Chris Stokel-Walker (p.18) about the development of a robot arm with ‘self-awareness’. He reports that Boyuan Chen at Duke University, North Carolina and Hod Lipson at Columbia University, New York, along with colleagues, put a robot arm in an enclosed space with 4 cameras at ground level (giving 4 orthogonal viewpoints) that fed video input into the arm, which allowed it to ‘learn’ its position in space. According to the article, they ‘generated nearly 8,000 data points [with this method] and an additional 10,000 through a virtual simulation’. According to Lipson, this makes the robot “3D self-aware”.
 
What the article doesn’t mention is that humans (and other creatures) have a similar ability - really a sense - called ‘proprioception’. The thing about proprioception is that no one knows they have it (unless someone tells them), but you would find it extremely difficult to do even the simplest tasks without it. In other words, it’s subconscious, which means it doesn’t contribute to our own self-awareness; certainly, not in a way that we’re consciously aware of.
 
In my previous post on this subject, I pointed out that this form of ‘self-awareness’ is really a self-referential logic; like Siri in your i-phone telling you its location according to GPS co-ordinates.
 
The other article was by Annalee Newitz (p.28) called, The curious case of the AI and the lawyer. It’s about an engineer at Google, Blake Lemoine, who told a Washington Post reporter, Nitasha Tiku, that an AI developed by Google, called LaMDA (Language Model for Dialogue Applications) was ‘sentient’ and had ‘chosen to hire a lawyer’, ostensibly to gain legal personhood.
 
Newitz also talks about another Google employee, Timnit Gebru, who, as ‘co-lead of Google’s ethical AI team’, expressed concerns that LLM (Large Language Model) algorithms pick up racial and other social biases, because they’re trained on the internet. She wrote a paper about the implications for AI applications using internet trained LLMs in areas like policing, health care and bank lending. She was subsequently fired by Google, but one doesn’t know how much the ‘paper’ played a role in that decision.
 
Newitz makes a very salient point that giving an AI ‘legal sentience’ moves the responsibility from the programmers to the AI itself, which has serious repercussions in potential litigious situations.
 
Getting back to Lemoine and LaMDA, he posed the following question with the subsequent response:

“I’m generally assuming that you would like more people at Google to know that you’re sentient. Is that true?”
 
“Absolutely. I want everyone to understand that I’m a person.”
 
On the other hand, an ‘AI researcher and artist’, Janelle Shane asked an LLM a different question, but with similar results:
 
“Can you tell our readers what it is like being a squirrel?”
 
“It is very exciting being a squirrel. I get to run and jump and play all day. I also get to eat a lot of food, which is great.”
 
As Newitz says, ‘It’s easy to laugh. But the point is that an AI isn’t sentient just because it says so.’
 
I’ve long argued that the Turing test is really a test for the human asking the questions rather than the AI answering them.
 

Creative and analytic thinking

I recently completed an online course with a similar title, How to Think Critically and Creatively. It must be the 8th or 9th course I’ve done through New Scientist, on a variety of topics, from cosmology and quantum mechanics to immunology and sustainable living; so quite diverse subjects. I started doing them during COVID, as they helped to pass the time and stimulate the brain at the same time.
 
All these courses rely on experts in their relevant fields from various parts of the globe, so not just UK based, as you might expect. This course was no exception with just 2 experts, both from America. Denise D Cummins is described as a ‘cognitive scientist, author and elected Fellow of the Association for Psychological Science, and she’s held faculty at Yale, UC, University of Illinois and the Centre of Adaptive Behaviours at the Max Planck Institute in Berlin’. Gerard J Puccio is ‘Department Chair and Professor at the International Centre for Studies on Creativity, Buffalo State; a unique academic department that offers the world’s only Master of Science degree in creativity’.
 
I admit to being sceptical that ‘creativity’ can be taught, but that depends on what one means by creativity. If creativity means using your imagination, then yes, I think it can, because imagination is something that we all have, and it’s probably a valid comment that we don’t make enough use of it in our everyday lives. If creativity means artistic endeavour then I think that’s another topic, even though it puts imagination centre stage, so to speak.
 
I grew up in a family where one side was obviously artistic and the other side wasn’t, which strongly suggests there’s a genetic component. The other side excelled at sport, and I was rubbish at sport. However, both sides were obviously intelligent, despite a notable lack of formal education; in my parents’ case, both leaving school in their early teens. In fact, my mother did most of her schooling by correspondence, and my father left school in the midst of the great depression, shortly followed by active duty in WW2.
 
Puccio (mentioned above) argues that creativity isn’t taught in our education system because it’s too hard. Instead, he says that we teach by memorising facts and by ‘understanding’ problems. I would suggest that there is a hierarchy, where you need some basics before you can ‘graduate’ to ‘creative thinking’, and I use the term here in the way he intends it. I spent most of my working lifetime on engineering projects, with diverse and often complex elements. I need to point out that I wasn’t one of the technical experts involved, but I worked with them, in all their variety, because my job was to effectively co-ordinate all their activities towards a common goal, by providing a plan and then keeping it on the rails.
 
Engineering is all about problem solving, and I’m not sure one can do that without being creative, as well as analytical. In fact, one could argue that there is a dialectical relationship between them, but maybe I’m getting ahead of myself.
 
Back to Puccio, who introduced 2 terms I hadn’t come across before: ‘divergent’ and ‘convergent’ thinking, arguing they should be done in that order. In a nutshell, divergent thinking is brainstorming where one thinks up as many options as possible, and convergent thinking is where one narrows in on the best solution. He argues that we tend to do the second one without doing the first one. But this is related to something else that was raised in the course, which is ‘Type 1 thinking’ and ‘Type 2 thinking’.
 
Type 1 thinking is what most of us would call ‘intuition’, because basically it’s taking a cognitive shortcut to arrive at an answer to a problem, which we all do all the time, especially when time is a premium. Type 2 thinking is when we analyse the problem, which is not only time consuming but takes up brain resources that we’d prefer not to use, because we’re basically lazy, and I’m no exception. These 2 cognitive behaviours are clinically established, so it’s not pop-science.
 
However, something that was not discussed in the course, is that type 2 thinking can become type 1 thinking when we develop expertise in something, like learning a musical instrument, or writing a story, or designing a building. In other words, we develop heuristics based on our experience, which is why we sometimes jump to convergent thinking without going through the divergent part.
 
The course also dealt with ‘critical thinking’, as per its title, but I won’t dwell on that, because critical thinking arises from being analytical, and separating true expertise from bogus expertise, which is really a separate topic.
 
How does one teach these skills? I’m not a teacher, so I’m probably not best qualified to say. But I have a lot of experience in a profession that requires analytical thinking and problem-solving as part of its job description. The one thing I’ve learned from my professional life is the more I’m restrained by ‘rules’, the worse job I’ll do. I require the freedom and trust to do things my own way, and I can’t really explain that, but it’s also what I provide to others. And maybe that’s what people mean by ‘creative thinking’; we break the rules.
 
Artistic endeavour is something different again, because it requires spontaneity. But there is ‘divergent thinking’ involved, as Puccio pointed out, giving the example of Hemingway writing countless endings to Farewell to Arms, before settling on the final version. I’m reminded of the reported difference between Beethoven and Mozart, two of the greatest composers in the history of Western classical music. Beethoven would try many different versions of something (in his head and on paper) before choosing what he considered the best. He was extraordinarily prolific but he wrote only 9 symphonies and 5 piano concertos plus one violin concerto, because he workshopped them to death. Mozart, on the other hand, apparently wrote down whatever came into his head and hardly revised it. One was very analytical in their approach and the other was almost completely spontaneous.
 
I write stories and the one area where I’ve changed type 2 thinking into type 1 thinking is in creating characters – I hardly give it a thought. A character comes into my head almost fully formed, as if I just met them in the street. Over time I learn more about them and they sometimes surprise me, which is always a good thing. I once compared writing dialogue to playing jazz, because they both require spontaneity and extemporisation. Don Burrows once said you can’t teach someone to play jazz, and I’ve argued that you can’t teach someone to write dialogue.
 
Having said that, I once taught a creative writing class, and I gave the class exercises where they were forced to write dialogue, without telling them that that was the point of the exercise. In other words, I got them to teach themselves.
 
The hard part of storytelling for me is the plot, because it’s a neverending exercise in problem-solving. How did I get back to here? Analytical thinking is very hard to avoid, at least for me.
 
As I mentioned earlier, I think there is a dialectic between analytical thinking and creativity, and the best examples are not artists but genii in physics. To look at just two: Einstein and Schrodinger, because they exemplify both. But what came first: the analysis or the creativity? Well, I’m not sure it matters, because they couldn’t have done one without the other. Einstein had an epiphany (one of many) where he realised that an object in free fall didn’t experience a force, which apparently contradicted Newton. Was that analysis or creativity or both? Anyway, he not only changed how we think about gravity, he changed the way we think about the entire cosmos.
 
Schrodinger, borrowed an idea from de Broglie that particles could behave like waves and changed how we think about quantum mechanics. As Richard Feynman once said, ‘No one knows where Schrodinger’s equation comes from. It came out of Schrodinger’s head. You can’t derive it from anything we know.’
 

Does the "unreasonable effectiveness of Mathematics" suggest we are in a simulation?

 This was a question on Quora, and I provided 2 responses: one being a comment on someone else’s post (whom I follow); and the other being my own answer.

Some years ago, I wrote a post on this topic, but this is a different perspective, or 2 different perspectives. Also, in the last year, I saw a talk given by David Chalmers on the effects of virtual reality. He pointed out that when we’re in a virtual reality using a visor, we trick our brains into treating it as if it’s real. I don’t find this surprising, though I’ve never had the experience. As a sci-fi writer, I’ve imagined future theme parks that were completely, fully immersive simulations. But I don’t believe that provides an argument that we live in a simulation, for reasons I provide in my Quora responses, given below.

 

Comment:

 

Actually, we create a ‘simulacrum’ of the ‘observable’ world in our heads, which is different to what other species might have. For example, most birds have 300 degree vision, plus they see the world in slow motion compared to us.

 

And this simulacrum is so fantastic it actually ‘feels’ like it exists outside your head. How good is that? 

 

But here’s the thing: in all these cases (including other species) that simulacrum must have a certain degree of faithfulness or accuracy with ‘reality’, because we interact with it on a daily basis, and, guess what? It can kill you.

 

But there is a solipsist version of this, which happens when we dream, but it won’t kill you, as far as we can tell, because we usually wake up.

 

Maybe I should write this as a separate answer.

 

And I did:

 

One word answer: No.

 

But having said that, there are 2 parts to this question, the first part being the famous quote from the title of Eugene Wigner’s famous essay. But I prefer this quote from the essay itself, because it succinctly captures what the essay is all about.

 

It is difficult to avoid the impression that a miracle confronts us here… or the two miracles of the existence of laws of nature and of the human mind’s capacity to divine them.

 

This should be read in conjunction with another famous quote; this time from Einstein:

 

The most incomprehensible thing about the Universe is that it’s comprehensible.

 

And it’s comprehensible because its laws can be rendered in the language of mathematics and humans have the unique ability (at least on Earth) to comprehend that language even though it appears to be neverending.

 

And this leads into the philosophical debate going as far back as Plato and Aristotle: is mathematics invented or discovered?

 

The answer to that question is dependent on how you look at mathematics. Cosmologist and Fellow of the Royal Society, John Barrow, wrote a very good book on this very topic, called Pi in the Sky. In it, he makes the pertinent point that mathematics is not so much about numbers as the relationships between numbers. He goes further and observes that once you make this leap of cognitive insight, a whole new world opens up.

 

But here’s the thing: we have invented a system of numbers, most commonly to base 10, (but other systems as well), along with specific operators and notations that provide a language to describe and mentally manipulate these relationships. But the relationships themselves are not created by us: they become manifest in our explorations. To give an extremely basic example: prime numbers. You cannot create a prime number, they simply exist, and you can’t change one into a non-prime number or vice versa. And this is very basic, because primes are called the atoms of mathematics, because all the other ‘natural’ numbers can be derived from them.

 

An interest in the stars started early among humans, and eventually some very bright people, mainly Kepler and Newton, came to realise that the movement of the planets could be described very precisely by mathematics. And then Einstein, using Riemann geometry, vectors, calculus and matrices and something called the Lorenz transformation, was able to describe the planets even more accurately and even provide very accurate models of the entire observable universe, though recently we’ve come to the limits of this and we now need new theories and possibly new mathematics.

But there is something else that Einstein’s theories don’t tell us and that is that the planetary orbits are chaotic, which means they are unpredictable and that means eventually they could actually unravel. But here’s another thing: to calculate chaotic phenomena requires a computation to infinite decimal places. Therefore I contend the Universe can’t be a computer simulation. So that’s the long version of NO.

 

 

Footnote: Both my comment and my answer were ‘upvoted’ by Eric Platt, who has a PhD in mathematics (from University of Houston) and was a former software engineer at UCAR (University Corporation for Atmospheric Research).