Showing posts with label Formal Logic. Show all posts
Showing posts with label Formal Logic. Show all posts

Saturday, August 02, 2025

Reification and the Cult of Scientism


The Hallucinated World and the Cult of Scientism

There is a curious superstition at the heart of modernity: the unexamined assumption that reality, in its deepest sense, is captured by equations; that with sufficient data, formal models, and computing power, the world can be modelled as it truly is. This is scientism, not science: the conviction that our formal descriptions do not just correlate with reality, but are reality. It is a category error raised to the level of metaphysics, or more precisely, the refusal of metaphysics disguised as epistemic purity.

But before science became a worldview, it was a method. And methods have limits. Let us start not with the cosmos, but with the knower.


1. The Skull-Bound Interpreter

The human brain sits in darkness. It floats in cerebrospinal fluid inside a bony cage, connected to the outside world by a collection of narrow-bandwidth sensors: eyes sensitive to a tiny slice of the electromagnetic spectrum, ears attuned to a narrow band of mechanical vibrations, skin responsive to minute differences in pressure and temperature.

Everything we think we know, not just sunsets and symphonies, but quantum fields and curved space-time, is the product of neural inference, constructed from these crude inputs by a biological system evolved to keep a hominid from walking off a cliff or being eaten by a predator.

The result is a hallucination: not delusional, but predictive. The isolated brain builds a model of reality, updating it to minimise the surprise of future signals. This is not at all metaphor but the current best account from neuroscience: the brain as a prediction engine, a self-updating virtual-reality simulator running on meat.

And it is this simulacrum, stitched together from memory, inference, and expectation, that we mistake for the world.


2. From Model to World: Reification and Its Discontents

To navigate beyond immediate perceptual reality we build further models: mathematical, physical, logical. We formalise the deep patterns of our hallucination: forces as expressions of geometry; consciousness as recursive algorithms.

But these models are syntactical: internally coherent systems of symbols and operations. To apply them to the world, we must interpret them. And that act of interpretation, of connecting symbols to phenomena, is a human act itself dependent on perception, language and shared social meaning. A mathematical equation has no inherent connection to reality; it must be mapped by a human mind to something presumed to be out there already.

This is where reification creeps in. We forget that the map is not the territory. We mistake relationships - dynamic, situated, interpretive - for standalone things. We begin to speak as though “gravity” were an object rather than a complex, relational description of motion; as though “the brain” thinks, rather than being the substrate within which thought somehow emerges.

Even “the self” becomes reified, treated not as a process or a perspective, but as a metaphysical nugget, a Cartesian kernel nestled behind the eyes. But Descartes himself was more subtle than his disciples: cogito ergo sum was not an assertion of metaphysical certainty, but the last redoubt of doubt itself. 

Something experiences. That much we can say. Everything else, including brain, body, and world, is inferred.


3. Kant, Heisenberg, and the Barrier of the Real

Kant understood this deeply. His "Ding an sich", the thing-in-itself, was not some esoteric mystery but a simple observation that we never encounter reality unmediated. What we experience is always filtered through our sensory apparatus and structured by the categories of our cognition. Space, time and causality are not inherent properties of the world but rather the provisional structures of the mind’s model: successful only up to a predictive point. This is, of course, quite unintuitive, but we can't know ultimately how reality is structured (Hilbert space, some say...).

Scientism wants reality to be tractable, definite, machine-readable. It tolerates no mystery except as a temporary gap that future calculi might fill.


4. The Epistemic Hubris of the Machine Age

What is strange, and almost tragic, is that this narrow, machine-like vision of knowledge has been adopted just as we begin to glimpse its limitations. Yet the cult of scientism marches on, colonising disciplines, banishing subjectivity, and rebranding the human as just another pattern in the data. It cannot tell you what beauty is, but it will tell you what brain regions light up when you see it. It cannot tell you what love is, but it will simulate attachment through game theory and oxytocin assays. And it cannot tell you what suffering means, but it will measure your cortisol.

All subjective textures are stripped away; what remains is a worldview built on subtraction.We remove all the qualia of subjectivity; what remains is the biological puppet, operating according to stochastic laws, dreaming its virtual dream.

If scientism truly held, the only conceivable terminus is nihilism, and yet we are told to avert our eyes. So modern culture feels stranded: so much relentless effort to so little deep purpose. Nothing but atoms and the void? So why do you care?


5. Beyond Scientism: A Modest Realism

None of this is an argument against science. It is an argument against confusing our tools with the terrain. Science is a powerful method for constructing predictive models of regularities in experience. But it is not the world, it cannot be. It is a mirror: one that, as Lacan shows us, never simply reflects; it intervenes, shading both the observer and the observed.

We live, instead, in a layered reality. There is the raw feel of experience: pain, joy, hunger, awe. There is the interpreted world of symbols, language, stories. There is the formal world of equations and probabilities. And behind it all, receding forever, is the real: unknowable, yet always imaginable. It is the gap between our hallucinated models and whatever breathes beyond them.

Something is there. But it will not yield itself to equations. The map is not the territory.

Monday, March 18, 2024

Formal Logic in SF: 'Foundation'

Below is the extract from "Foundation" by Isaac Asimov that I’m mulling over. As a young teenager it first got me interested in Predicate Calculus, which much later I studied in my AI research.


The Foundation Trilogy by Isaac Asimov

Here's the extract.

---

"Said Yate Fulham: "And just how do you arrive at that remarkable conclusion, Mr. Mayor?"

"In a rather simple way. It merely required the use of that much-neglected commodity – common sense. You see, there is a branch of human knowledge known as symbolic logic, which can be used to prune away all sorts of clogging deadwood that clutters up human language."

"What about it?" said Fulham.

"I applied it. Among other things, I applied it to this document here. I didn't really need to for myself because I knew what it was all about, but I think I can explain it more easily to five physical scientists by symbols rather than by words."

Hardin removed a few sheets of paper from the pad under his arm and spread them out. "I didn't do this myself, by the way," he said. "Muller Holk of the Division of Logic has his name signed to the analyses, as you can see."

Pirenne leaned over the table to get a better view and Hardin continued:

"The message from Anacreon was a simple problem, naturally, for the men who wrote it were men of action rather than men of words. It boils down easily and straightforwardly to the unqualified statement, when in symbols is what you see, and which in words, roughly translated, is, 'You give us what we want in a week, or we take it by force.'"

There was silence as the five members of the Board ran down the line of symbols, and then Pirenne sat down and coughed uneasily.

Hardin said, "No loophole, is there, Dr. Pirenne?"

"Doesn't seem to be."

"All right." Hardin replaced the sheets. "Before you now you see a copy of the treaty between the Empire and Anacreon – a treaty, incidentally, which is signed on the Emperor's behalf by the same Lord Dorwin who was here last week – and with it a symbolic analysis."

The treaty ran through five pages of fine print and the analysis was scrawled out in just under half a page.

"As you see, gentlemen, something like ninety percent of the treaty boiled right out of the analysis as being meaningless, and what we end up with can be described in the following interesting manner:

"Obligations of Anacreon to the Empire: None!

"Powers of the Empire over Anacreon: None!"

Again the five followed the reasoning anxiously, checking carefully back to the treaty, and when they were finished, Pirenne said in a worried fashion, "That seems to be correct."

"You admit, then, that the treaty is nothing but a declaration of total independence on the part of Anacreon and a recognition of that status by the Empire?"

"It seems so."

"And do you suppose that Anacreon doesn't realize that, and is not anxious to emphasize the position of independence – so that it would naturally tend to resent any appearance of threats from the Empire? Particularly when it is evident that the Empire is powerless to fulfill any such threats, or it would never have allowed independence."

"But then," interposed Sutt, "how would Mayor Hardin account for Lord Dorwin's assurances of Empire support? They seemed –" He shrugged. "Well, they seemed satisfactory."

Hardin threw himself back in the chair. "You know, that's the most interesting part of the whole business. I'll admit I had thought his Lordship a most consummate donkey when I first met him – but it turned out that he was actually an accomplished diplomat and a most clever man. I took the liberty of recording all his statements."

There was a flurry, and Pirenne opened his mouth in horror.

"What of it?" demanded Hardin. "I realize it was a gross breach of hospitality and a thing no so-called gentleman would do. Also, that if his lordship had caught on, things might have been unpleasant; but he didn't, and I have the record, and that's that. I took that record, had it copied out and sent that to Holk for analysis, also."

Lundin Crast said, "And where is the analysis?"

"That," replied Hardin, "is the interesting thing. The analysis was the most difficult of the three by all odds. When Holk, after two days of steady work, succeeded in eliminating meaningless statements, vague gibberish, useless qualifications – in short, all the goo and dribble – he found he had nothing left. Everything canceled out."

"Lord Dorwin, gentlemen, in five days of discussion didn't say one damned thing, and said it so you never noticed. There are the assurances you had from your precious Empire."

Hardin might have placed an actively working stench bomb on the table and created no more confusion than existed after his last statement."

---

Many people - mostly economists, it seems - have cited psychohistory as the reason they entered their profession. For me it prepared the way for the International Marxist Group.

But today I'm more interested in what ‘symbolic logic’ did for Salvor Hardin.

Within the paradigm of formal logic, the natural language texts Hardin gave to the ‘Division of Logic’ would most likely have been mapped to Richard Montague's baroque fusion of higher-order predicate calculus, lambda calculus and multi-modal logics. Computationally intractable, as it turns out.



Translating English into Montague's formal logic


But a suitable LLM in summarisation mode could do the job in seconds.