We Are Finite. Does This Affect What We Can Know?

§2. What Can We Know?

The theme of this section is that We Are Finite: while our knowledge of the number 3 is intimately associated with experiences of some kind or other of triples of one or another sort, surely nothing like that is the case for our knowledge of the number ω or, for that matter, the number 10101010.

To avoid misunderstanding, let me emphasize that the issue being addressed is not “How can we have knowledge of mathematical objects despite their abstractness?” but rather “How can we have knowledge of infinite mathematical objects despite their huge size and consequent remoteness from experience?” Here is what I mean by remoteness: Not only do we not have experience of infinite mathematical objects, but we do not have any experience of anything suitably like them. The number 2 bears some relation to pairs of objects. The points and lines of Euclidean geometry bear some relation to pencil points and lines. But there does not seem to be anything suitable to play any analogous role for infinite mathematical objects.

Of course infinite mathematical objects are abstract. The issue of remoteness is an addition to that of abstractness. Both are apparent epistemological difficulties caused by the distance of mathematical objects from experience.

But if we divide the problem of the abstract into two parts, the problem of the finite and the problem of the infinite, it becomes clear that the two have quite distinct features.

The problem of the abstract, in Paul Benacerraf’s words, is this [Ben73, p. 409]: “the concept of mathematical truth, as explicated, must fit into an over-all account of knowledge in a way that makes it intelligible how we have the mathematical knowledge that we have. An acceptable semantics for mathematics must fit an acceptable epistemology?” For Benacerraf, an acceptable semantics is a Platonist one, and so his problem is that of the difficulties involved in giving an acceptable account of knowledge of abstract objects. Benacerraf concentrated on a weaker version of the problem: not on accounting for the mathematical knowledge that we have but on accounting for how we can have any mathematical knowledge whatever. “The minimal requirement, then, is that a satisfactory account of mathematical truth must be consistent with the possibility that some such truths be knowable” [Ben73, p. 409]. Philosophers have tended to concentrate on the minimal requirement and to offer up solutions to the problem of the finite to solve it.

Even those skeptical about the existence of any abstract mathematical objects at all want to endorse the truism ‘2 + 2 = 4’ in some way or other that acknowledges that it is better than ‘2 + 2 = 5’ even though they may not grant that it is true. Even without an abstract number 2, one is still faced with explaining the general fact that the members of two nonoverlapping pairs form a quadruple.

Whatever one’s views about mathematical objects, it is necessary to make sense of our counting, computing, and bookkeeping activities. Skepticism about small finite mathematical objects—in particular small natural numbers is just not doubt about the acceptability in some form or other of many of the putative facts about them. Moreover, there are many stories one could tell about a source for genuine knowledge concerning some finite mathematical objects, including, as the most trivial special case, knowledge of their existence. Take, for example, small natural numbers. Various explanations of our knowledge about them might invoke the experience of time, the experience of bunches of physical objects or of patterns exhibited by them, or the sequencing of words in sentences. Other explanations might rely on the exigencies of the construction of theories of the physical world. We are faced with too many ways of accounting for our knowledge of small finite mathematical objects, not too few. For example, Parsons [Par80] showed how to account for such knowledge on the basis of our linguistic capacities, while Maddy [Mad90] showed how to do it on the basis of experiences with medium-sized physical objects.

Benacerraf’s minimal requirement can surely be met with an acceptable solution to the problem of the finite—though I make no claim to know what the actual solution is. That is a question whose answer involves detailed psychological information about how people typically actually acquire knowledge of small finite mathematical objects, and we do not yet have sufficiently detailed information to answer it. Acquisition of the number concept does, however, involve both linguistic components—learning to count aloud—and experience of medium-sized physical objects—counting them using the spoken number sequence. It is therefore likely that the actual solution involves components of both the one proposed by Parsons and the one proposed by Maddy—and probably other components as well.

In sharp contrast to the situation about ‘2 + 2 = 4’, many of those who are skeptical about the existence of infinite combinatorial collections would want to doubt or deny the Axiom of Choice—not only its truth, but its acceptability in any form whatever. General facts about the infinite are not robust in the same way that the facts of counting, computing, and bookkeeping are. Moreover, it is not at all clear what we can fall back on as a source of mathematical knowledge concerning the infinite—what can play the role that bunches and sequences of moments, objects, or words seem so well suited to play for small finite mathematical objects. It is that lack that raises the problem posed by the remoteness of the infinite: it seems that we cannot have grounds to know what we find we actually do know about the infinite.

In Chapter VIII I shall show that as a matter of fact the combinatorial infinite is not remote—it has pretty much the same kinds of ties to experience as do small natural numbers. (That may be a bit misleading see Chapter VIII for a more careful formulation.) That solves the problem of the remoteness of the infinite philosophical problems concerning infinite mathematical objects become just like the familiar ones concerning finite mathematical objects. That is important because the problems concerning finite mathematical objects are not skeptical ones—the genuine doubts about the acceptability of our theory of the infinite are refuted. It also provides the essential missing ingredient for an explanation of the grounds on which mathematicians are entitled to make claims of self-evidence. But before presenting the solution, it is necessary to become clearer on the nature of the problem.

The two Benacerrafian problems—of the finite and the infinite—are both important, and every adequate philosophy of mathematics must be compatible with solutions to them. Nonetheless, the problem of the infinite deserves special emphasis because it is in danger of being lost as the result of the huge amount of attention being devoted to the Benacerrafian problem of the abstract in its simplified guise as the problem of the finite. That loss would be most unfortunate. The problem concerning the infinite was a primary concern of the philosophy of mathematics for many years—as may be seen in the work of Brouwer and that of several philosophers discussed by Benacerraf, such as Hilbert, Gödel, and Quine.

Shaughan Lavine, Understanding the InfiniteHarvard University Press, 1994, pgs. 162-165.

You do not doubt that ‘7 – 7 = 0’, but you cannot say ‘ –  = 0’. In math lingo, the latter is indeterminate. Does this mean we are incapable of understanding the indeterminate, or is this just the nature of the universe? Consider Eugene Wigner’s lecture, “The Unreasonable Effectiveness of Mathematics in the Natural Sciences”. He noted, “It is important to point out that the mathematical formulation of the physicist’s often crude experience leads in an uncanny number of cases to an amazingly accurate description of a large class of phenomena.”

Still, complete understanding often seems to elude us.

“Fog Everywhere” Continued

[read the previous essay on this topic]

Consider mathematics and the aspect of fog. Nietzsche argued that the world is not knowable to us as a whole. This includes trying to express it with numbers. A recent example is Max Tegmark’s assertion that the universe is not something explained by mathematics; rather, it is itself mathematics. To contrast, Karl Jaspers, summarizing Nietzsche, wrote:

We cannot say what the world as a whole is. It is false to change all processes into a familiar world of our own, and then say: “All is will (everything wills); all is pleasure or pain (everything endures); all is motion (everything flows); all is tone (everything sounds); all is spirit (everything thinks); all is number (everything reckons).” Nietzsche warns us against all notions of the whole: “Let us guard against thinking that the world is a living being…or that the universe is a machine…Let us guard against saying that there are laws of nature…Let us guard against thinking that the world eternally creates novelties.” All these “shadows of God” darken actuality. We are within the world, and the whole of the world is, as a whole, not accessible to us.

Karl Jaspers, Nietzsche: An Introduction to the Understanding of His Philosophical Activity, Henry Regnery Company, 1966, p. 293

Notice in the paragraph quoted above that Nietzsche specifically excludes reducing everything to numbers, in opposition to Tegmark and the simulation hypothesis.

Robert Kanigel describes Srinivasa Ramanujan as “the man who knew infinity” in his biography of the same title, but mathematicians disagree on the ontological status and utility of infinity. The discussion of applying Ramanujan’s sum to arrive at -1/12 is very intricate and complex.

To make things even more puzzling, math students are confronted with the Gaussian integral, with its positive and negative infinities.

You can gain additional insight into infinity with:

Cauchy and Weierstrass had eliminated infinitely small and infinitely great numbers from analysis and replaced them by limits. But the theory of limits that thereby became so central required a clearer theory of the real line, that is to say, a theory of the irrational numbers. And that theory promptly reintroduced the infinite into analysis. The old infinity of infinitesimal and infinite numbers was simply replaced by the new infinity of infinitely large collections.12

In 1831 Carl Friedrich Gauss said [Kli72, p. 994], “I protest against the use of an infinite quantity as an actual entity; this is never allowed in mathematics. The infinite is only a manner of speaking, in which one properly speaks of limits to which certain ratios can come as near as desired, while others are permitted to increase without bound.” But only 52 years later, we find this in Cantor’s Grundlagen [Can76, p. 75]: “The idea of considering the infinitely large not only in the form of the unlimitedly increasing magnitude and in the closely related form of convergent infinite series…but to also fix it mathematically by numbers in the definite form of the completed infinite was logically forced upon me, almost against my will since it was contrary to traditions which I had come to cherish in the course of many years of scientific effort and investigations.”

12 See Russell’s Principles of Mathematics [Rus03, p. 304] for a related sentiment.

Shaughan Lavine, Understanding the Infinite, Harvard University Press, 1994, pgs. 38-39

In 1961, the great Russian physicist George Gamow’s popular math and physics overview was republished to great acclaim among science and math aficionados. Intriguingly titled One, Two, Three…Infinity, the book gives you a hint that the relationship of numbers and integers to the concept of infinity is still intriguing even after the intricate analyses of Cauchy, Weierstrass et al.

Let us conclude by considering Zeno’s dichotomy paradox of motion, in which “That which is in locomotion must arrive at the half-way stage before it arrives at the goal.” As the goal is divided into halves, one must complete an infinite number of tasks, which Zeno maintains is an impossibility.

[read the previous essay on this topic]

“Fog everywhere” and Other Confusions

Charles Dickens gives us wonderful sociopolitical insight in his serial Bleak House, with his imagery of impenetrable fog in the second paragraph of chapter 1:

Fog everywhere. Fog up the river, where it flows among green aits and meadows; fog down the river, where it rolls deified among the tiers of shipping and the waterside pollutions of a great (and dirty) city. Fog on the Essex marshes, fog on the Kentish heights. Fog creeping into the cabooses of collierbrigs; fog lying out on the yards and hovering in the rigging of great ships; fog drooping on the gunwales of barges and small boats. Fog in the eyes and throats of ancient Greenwich pensioners, wheezing by the firesides of their wards; fog in the stem and bowl of the afternoon pipe of the wrathful skipper, down in his close cabin; fog cruelly pinching the toes and fingers of his shivering little ’prentice boy on deck. Chance people on the bridges peeping over the parapets into a nether sky of fog, with fog all round them, as if they were up in a balloon and hanging in the misty clouds.

Charles Dickens, Bleak House. Bradbury & Evans, 1852-1853.

Think of the TrumpEpstein cover-up and the machinations of the U.S. government to attempt to conceal everything in a similar fog. We discussed another dimension of our ignorance with Friedrich Nietzsche’s assertion that we “are unknown to ourselves”.

Let’s consider a third level of our confusion and how we attempt to extricate ourselves by expressing the world around us through mathematics. For example, the square root of -1 is i. ii is approximately 0.208. To a student encountering this concept for the first time, it can be inscrutable that an imaginary number to the power of itself results in a real number. To quote Wikipedia:

In electrical engineeringsignal processing, and similar fields, signals that vary periodically over time are often described as a combination of sinusoidal functions (see Fourier analysis), and these are more conveniently expressed as the sum of exponential functions with imaginary exponents, using Euler’s formula.

Wikipedia, Euler’s formula [with added links]

The esteemed physicist Roger Penrose has said on multiple occasions that he believes the realm of imaginary numbers or complex analysis will be more informative in physics than real numbers. (See his classic book, The Road to Reality: A Complete Guide to the Laws of the Universe.)

Let’s conclude with our inevitable mortality as living beings as another source of perplexity and confusion. As we grow older, half of our mind is fixated on the enjoyment we get from life, while the other half is focused on the anxiety that it is not forever. We attempt to sidestep this anxiety by clinging to the escapist thought that “Besides, it’s always the others who die.

Monomania and the West

There have been all kinds of “voices” in the history of Western civilization. Perhaps the loudest voice is that of monomaniacs, who always claim that behind the appearance of the many is the one. If we illustrate the West, and at its roots, the intersection of Athens and Jerusalem, we see the origins of this monomania. Plato’s realm of ideas was supposed to explain everything encountered in our daily lives. His main student and rival, Aristotle, has his own competing explanation, based in biology instead of mathematics.

These monomanias in their modern counterpart in ideologies. In communism, the key to have everything is class and the resulting class struggles. Nazism revolves around race and racial conflict.

In our own era, the era of scientism, we have the idea of god replaced with Stephen Hawking’s “mind of god,” Leon Lederman’s The God Particle and KAKU Michio’s The God Equation. In the 2009 film, Angels & Demons, there’s a senior Vatican official, played by Ewan McGregor, who is absolutely outraged by the blasphemous phrase, “the god particle.”

Currently, the monomania impetus continues full-force. For example, Professor Seth Lloyd of MIT tells us that reality is the cosmos and not chaos, because all of reality together is a computer. His MIT colleague, Max Tegmark, argues in his books that the world is not explained by mathematics, but rather is mathematics. Perhaps the climax of this kind of thinking is given to us by the essay “Everything Is Computation” by Joscha Bach:

These days we see a tremendous number of significant scientific news stories, and it’s hard to say which has the highest significance. Climate models indicate that we are past crucial tipping points and irrevocably headed for a new, difficult age for our civilization. Mark van Raamsdonk expands on the work of Brian Swingle and Juan Maldacena and demonstrates how we can abolish the idea of spacetime in favor of a discrete tensor network, thus opening the way for a unified theory of physics. Bruce Conklin, George Church, and others have given us CRISPR/Cas9, a technology that holds promise for simple and ubiquitous gene editing. “Deep learning” starts to tell us how hierarchies of interconnected feature detectors can autonomously form a model of the world, learn to solve problems, and recognize speech, images, and video.

It is perhaps equally important to notice where we lack progress: Sociology fails to teach us how societies work; philosophy seems to have become infertile; the economic sciences seem ill-equipped to inform our economic and fiscal policies; psychology does not encompass the logic of our psyche; and neuroscience tells us where things happen in the brain but largely not what they are.

In my view, the 20th century’s most important addition to understanding the world is not positivist science, computer technology, spaceflight, or the foundational theories of physics.

It is the notion of computation. Computation, at its core, and as informally described as possible, is simple: Every observation yields a set of discernible differences.

These we call information. If the observation corresponds to a system that can change its state, we can describe those state changes. If we identify regularity in those state changes, we are looking at a computational system. If the regularity is completely described, we call this system an algorithm. Once a system can perform conditional state transitions and revisit earlier states, it becomes almost impossible to stop it from performing arbitrary computation. In the infinite case that is, if we allow it to make an unbounded number of state transitions and use unbounded storage for the states—it becomes a Turing machine, or a Lambda calculus, or a Post machine, or one of the many other mutually equivalent formalisms that capture universal computation.

Computational terms rephrase the idea of “causality,” something that philosophers have struggled with for centuries. Causality is the transition from one state in a computational system to the next. They also replace the concept of “mechanism” in mechanistic, or naturalistic, philosophy. Computationalism is the new mechanism, and unlike its predecessor, it is not fraught with misleading intuitions of moving parts.

Computation is different from mathematics. Mathematics turns out to be the domain of formal languages and is mostly undecidable, which is just another word for saying “uncomputable” (since decision making and proving are alternative words for computation, too). All our explorations into mathematics are computational ones, though. To compute means to actually do all the work, to move from one state to the next.

Computation changes our idea of knowledge: Instead of justified true belief, knowledge describes a local minimum in capturing regularities between observables. Knowledge is almost never static but progresses on a gradient through a state space of possible worldviews. We will no longer aspire to teach our children the truth, because, like us, they will never stop changing their minds. We will teach them how to productively change their minds, how to explore the never-ending land of insight.

A growing number of physicists understands that the universe is not mathematical but computational, and physics is in the business of finding an algorithm that can reproduce our observations. The switch from uncomputable mathematical notions (such as continuous space) makes progress possible. Climate science, molecular genetics, and AI are computational sciences. Sociology, psychology, and neuroscience are not: They still seem confused by the apparent dichotomy between mechanism (rigid moving parts) and the objects of their study. They are looking for social, behavioral, chemical, neural regularities, where they should be looking for computational ones.

Everything is computation.

Know This: Today’s Most Interesting and Important Scientific Ideas, Discoveries, and Developments, John Brockman (editor), Harper Perennial, 2017, pages 228-230.

Friedrich Nietzsche rebelled against this type of thinking the most profoundly. If scientism represents the modern, then Nietzsche was the prophet of postmodernism. Nietzsche’s famous phrase, “God is dead.” is not about a creator or divinity, but rather finality itself. There is no final explanation.

Problems of Perspective, Michel Foucault

Michel Foucault was one of the leading French philosophers of the 20th century. Often considered a postmodernist, he did not believe there was a final perspective that human knowledge could achieve. This immediately contrasts with the outlook of leading physicists like Stephen Hawking. In his 1988 classic, A Brief History of Time, Hawking concludes the book by saying, once science has achieved a theory of everything, which is not far off, we will “know the mind of god.”

In his 1966 key work, The Order of Things: An Archaeology of the Human Sciences (French: Les Mots et les Choses: Une archéologie des sciences humaines), Foucault argued that the so-called order of things is invented, not discovered, by us. This is contrary to scientific thought.

Foucault sets up this limit in his surprising interpretation of the Diego Velázquez masterpiece painting, Las Meninas (Spanish: The Ladies-in-waiting). The painting is deliberately elusive in its use of perspective.

The great German thinker, Jürgen Habermas, explained this Foucault/Velázquez perspective difficulty:

This picture portrays the painter in front of a canvas not visible to the spectator; the painter is evidently looking, as are the two ladies-in-waiting next to him, in the direction of his two models, King Philip IV and his spouse. These two personages standing as models are found outside the frame of the picture; they can be identified by the spectator only with the help of a mirror pictured in the background. The point that Velázquez apparently had in mind is a confusing circumstance of which the spectator becomes aware by inference: The spectator cannot avoid assuming the place and the direction of the gaze of the counterfeit but absent royal pair — toward which the painter captured in the picture gazes — as well as the place and the perspective of Velázquez himself, which is to say, of the .painter who actually produced this picture. For Foucault, in turn, the real point lies in the fact that the classical picture frame is too limited to permit the representation of the act of representing as such — it is this that Velázquez makes clear by showing the gaps within the classical picture frame. left by the lack of reflection on the process of representing itself.29

29. Foucault constructs two different series of absences. On the one hand, the painter in the picture lacks his model, the royal couple standing outside the frame of the picture; the latter are in turn unable to see the picture of themselves that is being painted — they only see the canvas from behind; finally, the spec­tator is missing the center of the scene, that is, the couple standing as models, to which the gaze of the painter and of the courtesans merely directs us. Still more revealing than the absence of the objects being represented is, on the other hand, that of the subjects doing the representing, which is to say, the triple absence of the painter, the model, and the spectator who, located in front of the picture, takes in perspectives of the two others. The painter, Velázquez, actually enters into the picture, but he is not presented exactly in the act of painting — one sees him during a pause and realizes that he will disappear behind the canvas as soon as he takes up his labors again. The faces of the two models can actually be recognized unclearly in a mirror reflection, but they are not to be observed directly during the act of their portrayal. Finally, the act of the spectator is equally unrepresented — the spectator depicted entering into the picture from the right cannot take over this function. (See Foucault, The Order of Things, pp. 3-16, 307-311.)

Critique and Power: Recasting the Foucault/Habermas Debate, Michael Kelly, editor, MIT Press, 1994, pages 67, 77 [archived PDF].

Let us conclude by saying one way of specifying the disagreement between scientists and these thinkers is that sciences see themselves as “objective” while the thinkers feel science lacks objectivity because of the human observer. Kant, centuries ago, argued that concepts like causality, space and time are imposed by the human mind on the world. Similarly, Heisenberg, in Physics and Philosophy: The Revolution in Modern Science, similarly said that science does not finally answer questions about an objective reality, but can only answer questions posed by us.

Education and the “Knowability” Problem

There was a wonderful PBS Nature episode in 2006 called “The Queen of Trees” [full video, YouTube] which went into details about the survival strategy and rhythms and interactions with the environment of one tree in Africa and all the complexities this involves:

This Nature episode explores the evolution of a fig tree in Africa and its only pollinator, the fig wasp. This film takes us through a journey of intertwining relationships. It shows how the fig (queen) tree is life sustaining for an entire range of species, from plants, to insects, to other animals and even mammals. These other species are in turn life-sustaining to the fig tree itself. It could not survive without the interaction of all these different creatures and the various functions they perform. This is one of the single greatest documented (on video) examples of the wonders of our natural world; the intricacies involved for survival and ensuring the perpetual existence of species.

It shows us how fragile the balance is between survival and extinction.

One can begin to see that the tree/animal/bacteria/season/roots/climate interaction is highly complex and not quite fully understood to this day.

The fact that one tree yields new information every time we probe into it gives you a “meta” (i.e., meta-intelligent) clue that final theories of the cosmos and fully unified theories of physics will be elusive at best and unreachable at worst. If one can hardly pin down the workings of a single tree, does it sound plausible that “everything that is” from the electron to galaxy clusters to multiverses will be captured by an equation? The objective answer has to be: not particularly.

Think of the quest of the great unifiers like the great philosopherphysicist Hermann Weyl (died in 1955, like Einstein):

Since the 19th century, some physicists, notably Albert Einstein, have attempted to develop a single theoretical framework that can account for all the fundamental forces of nature–a unified field theory. Classical unified field theories are attempts to create a unified field theory based on classical physics. In particular, unification of gravitation and electromagnetism was actively pursued by several physicists and mathematicians in the years between the two World Wars. This work spurred the purely mathematical development of differential geometry.

Hermann Klaus Hugo Weyl (9 November, 1885 – 8 December, 1955) was a German mathematician, theoretical physicist and philosopher. Although much of his working life was spent in Zürich, Switzerland and then Princeton, New Jersey, he is associated with the University of Göttingen tradition of mathematics, represented by David Hilbert and Hermann Minkowski.

His research has had major significance for theoretical physics as well as purely mathematical disciplines including number theory. He was one of the most influential mathematicians of the twentieth century, and an important member of the Institute for Advanced Study during its early years.

Weyl published technical and some general works on space, time, matter, philosophy, logic, symmetry and the history of mathematics. He was one of the first to conceive of combining general relativity with the laws of electromagnetism. While no mathematician of his generation aspired to the “universalism” of Henri Poincaré or Hilbert, Weyl came as close as anyone.

Weyl is quoted as saying:

“I am bold enough to believe that the whole of physical phenomena may be derived from one single universal world-law of the greatest mathematical simplicity.”

(The Trouble with Physics, Lee Smolin, Houghton Mifflin Co., 2006, page 46)

This reminds one of Stephen Hawking’s credo that he repeated often and without wavering, that the rational human mind would soon understand “the mind of God.”

This WeylHawkingEinstein program of “knowing the mind of God” via a world-equation seems both extremely charming and beautiful, as a human quest, but potentially mono-maniacal à la Captain Ahab in Moby-Dick. The reason that only Ishmael survives the sinking of the ship, the Pequod, is that he has become non-monomaniacal and accepts the variegatedness of the world and thus achieves a more moderate view of human existence and its limits. “The Whiteness of the Whale” chapter in the novel gives you Melville’s sense (from 1851) of the unknowability of some final world-reality or world-theory or world-equation.

World Watching: Project Syndicate—New Commentary

from Project Syndicate:

The EU’s EV Greenwash

by Hans-Werner Sinn

EU emissions regulations that went into force earlier this year are clearly designed to push diesel and other internal-combustion-engine automobiles out of the European market to make way for electric vehicles. But are EVs really as climate-friendly and effective as their promoters claim?

MUNICHGermany’s automobile industry is its most important industrial sector. But it is in crisis, and not only because it is suffering the effects of a recession brought on by Volkswagen’s own cheating on emissions standards, which sent consumers elsewhere. The sector is also facing the existential threat of exceedingly strict European Union emissions requirements, which are only seemingly grounded in environmental policy.

The EU clearly overstepped the mark with the carbon dioxide regulation [PDF] that went into effect on April 17, 2019. From 2030 onward, European carmakers must have achieved average vehicle emissions of just 59 grams of CO2 per kilometer, which corresponds to fuel consumption of 2.2 liters of diesel equivalent per 100 kilometers (107 miles per gallon). This simply will not be possible.

As late as 2006, average emissions for new passenger vehicles registered in the EU were around 161 g/km. As cars became smaller and lighter, that figure fell to 118 g/km in 2016. But this average crept back up, owing to an increase in the market share of gasoline engines, which emit more CO2 than diesel engines do. By 2018, the average emissions of newly registered cars had once again climbed to slightly above 120 g/km, which is twice what will be permitted in the long term.

Even the most gifted engineers will not be able to build internal combustion engines (ICEs) that meet the EU’s prescribed standards (unless they force their customers into soapbox cars). But, apparently, that is precisely the point. The EU wants to reduce fleet emissions by forcing a shift to electric vehicles. After all, in its legally binding formula for calculating fleet emissions, it simply assumes that EVs do not emit any CO2 whatsoever.

The implication is that if an auto company’s production is split evenly between EVs and ICE vehicles that conform to the present average, the 59 g/km target will be just within reach. If a company cannot produce EVs and remains at the current average emissions level, it will have to pay a fine of around €6,000 ($6,600) per car, or otherwise merge with a competitor that can build EVs.

But the EU’s formula is nothing but a huge scam. EVs also emit substantial amounts of CO2, the only difference being that the exhaust is released at a remove—that is, at the power plant. As long as coal– or gas-fired power plants are needed to ensure energy supply during the “dark doldrums” when the wind is not blowing and the sun is not shining, EVs, like ICE vehicles, run partly on hydrocarbons. And even when they are charged with solar– or wind-generated energy, enormous amounts of fossil fuels are used to produce EV batteries in China and elsewhere, offsetting the supposed emissions reduction. As such, the EU’s intervention is not much better than a cut-off device for an emissions control system.

Earlier this year, the physicist Christoph Buchal and I published a research paper [PDF, in German] showing that, in the context of Germany’s energy mix, an EV emits a bit more CO2 than a modern diesel car, even though its battery offers drivers barely more than half the range of a tank of diesel. And shortly thereafter, data published [PDF, in German] by Volkswagen confirmed that its e-Rabbit vehicle emits slightly more CO2 [PDF, in German] than its Rabbit Diesel within the German energy mix. (When based on the overall European energy mix, which includes a huge share of nuclear energy from France, the e-Rabbit fares slightly better than the Rabbit Diesel.)

Adding further evidence, the Austrian think tank Joanneum Research has just published a large-scale study [PDF, in German] commissioned by the Austrian automobile association, ÖAMTC, and its German counterpart, ADAC, that also confirms those findings. According to this study, a mid-sized electric passenger car in Germany must drive 219,000 kilometers before it starts outperforming the corresponding diesel car in terms of CO2 emissions. The problem, of course, is that passenger cars in Europe last for only 180,000 kilometers, on average. Worse, according to Joanneum, EV batteries don’t last long enough to achieve that distance in the first place. Unfortunately, drivers’ anxiety about the cars’ range prompts them to recharge their batteries too often, at every opportunity, and at a high speed, which is bad for durability.

As for EU lawmakers, there are now only two explanations for what is going on: either they didn’t know what they were doing, or they deliberately took Europeans for a ride. Both scenarios suggest that the EU should reverse its interventionist industrial policy, and instead rely on market-based instruments such as a comprehensive emissions trading system.

With Germany’s energy mix, the EU’s regulation on fleet fuel consumption will not do anything to protect the climate. It will, however, destroy jobs, sap growth, and increase the public’s distrust in the EU’s increasingly opaque bureaucracy.

“The View From Nowhere” Problem

The phrase “view from nowhere” comes from the title of a 1986 classic philosophy book by Professor Thomas Nagel. It tries to wrestle with the paradox that the human ability to take a “detached view” (abstract theory, say) is potentially misleading since the person behind the detachment is a real person embodied and somewhere.

A theoretician like Richard Feynman (the great physicist) has a nervous system, a brain, a body and uses his hand to write equations on the blackboard. One is trained to focus on the equations since that’s the physics. The person, the physicist is a detail, a distraction, an irrelevance. However this can’t be true since the physicistRichard Feynman in this example—represents a human way of looking at things, at a time and place, no matter how heterodox or offbeat the view.

The human “style” of “being-in-the-world” comes into the equations and to the very idea of equating.

Human beings have the unique ability to view the world in a detached way: We can think about the world in terms that transcend our own experience or interest, and consider the world from a vantage point that is, in Nagel’s words, “nowhere in particular.” At the same time, each of us is a particular person in a particular place, each with his own “personal” view of the world, a view that we can recognize as just one aspect of the whole. How do we reconcile these two standpoints—intellectually, morally, and practically?

To what extent are they irreconcilable and to what extent can they be integrated? Thomas Nagel’s ambitious and lively book tackles this fundamental issue, arguing that our divided nature is the root of a whole range of philosophical problems, touching, as it does, every aspect of human life. He deals with its manifestations in such fields of philosophy as: the mind-body problem, personal identity, knowledge and skepticism, thought and reality, free will, ethics, the relation between moral and other values, the meaning of life, and death.

Excessive objectification has been a malady of recent analytic philosophy, claims Nagel, it has led to implausible forms of reductionism in the philosophy of mind and elsewhere.

The solution is not to inhibit the objectifying impulse, but to insist that it learn to live alongside the internal perspectives that cannot be either discarded or objectified. Reconciliation between the two standpoints, in the end, is not always possible.

Table of Contents for The View from Nowhere book:

I. Introduction
II. Mind
III. Mind and Body
IV. The Objective Self
V. Knowledge
VI. Thought and Reality
VII. Freedom
VIII. Value
IX. Ethics
X. Living Right and Living Well
XI. Birth, Death, and the Meaning of Life