{"id":21066,"date":"2026-04-15T08:05:52","date_gmt":"2026-04-15T12:05:52","guid":{"rendered":"https:\/\/notes.math.ca\/article\/cognitive-asceticism-and-paradoxes\/"},"modified":"2026-04-15T08:57:15","modified_gmt":"2026-04-15T12:57:15","slug":"cognitive-asceticism-and-paradoxes","status":"publish","type":"article","link":"https:\/\/notes.math.ca\/en\/article\/cognitive-asceticism-and-paradoxes\/","title":{"rendered":"Cognitive Asceticism and Paradoxes"},"content":{"rendered":"

\u2018It is a truth universally acknowledged that a single man in possession of a good fortune must be in want of a wife.\u2019 With this generalization Jane Austen begins Pride and Prejudice<\/em>. The confidence with which she asserts it makes the reader think that she has every justification for it. One might almost call it a social theorem.<\/p>\n

In general, literature is not studded with the kinds of statements one finds in mathematics: theorems, corollaries, lemmata, or axioms. There is one exception to this rule, namely, paradoxes. One question is whether paradoxes in literature and elsewhere are of the same kind as those in mathematics. This article aims to make a case that reactions to paradoxes in other genres may be of some use in dealing with certain paradoxes in mathematics.<\/p>\n

There is nothing particularly mathematical about the word \u2018paradox\u2019. Just as \u2018orthodox\u2019 refers to \u2018right belief\u2019 and \u2018heterodox\u2019 refers to \u2018different belief\u2019, so \u2018paradox\u2019 refers to \u2018beyond belief\u2019 (\u2018para\u2019 as a prefix has a range of applications). The word is of venerable antiquity, and examples abound even in Greek times. Anthony Gottlieb, for example, refers to the \u2018paradoxical\u2019 style of Heraclitus, as exemplified in sayings such as \u2018The upward road and the downward road are the same road\u2019 [4, p. 41]. Even better known is the story of Socrates, who was puzzled by the verdict of the oracle at Delphi that he was the wisest of all Greeks. He was aware of how little he knew, but in conversing with others they always seemed to claim more knowledge than they actually possessed.<\/p>\n

There have been periods in English literature during which paradoxes seemed the order of the day. In the late nineteenth century Oscar Wilde and George Bernard Shaw entertained theatre-goers with a wealth of paradox in play after play. Outside drama G.K. Chesterton made much use of the tool in literary criticism and even in theology. More recently, Jorge Luis Borges created entire stories as a paradox, e.g., \u2018The Library of Babel\u2019 [2, passim]. One of the popular songs in The Pirates of Penzance<\/em>, an opera by Gilbert and Sullivan, builds on a paradox connected with birthdays and leap years.<\/p>\n

\u00a0<\/p>\n

Religion has long had to deal with paradox, and the line attributed to Tertullian (\u2018Credo quia absurdum\u2019\u2014I believe it because it is absurd) has been part of Christian theology for many centuries. Koans in Buddhist tradition often seem to be nothing but paradoxes. Douglas Hofstadter in his G\u00f6del, Escher, Bach<\/em> devotes several chapters to koans and their uninterpretability [5]. In Matthew Bagger\u2019s The Uses of Paradox<\/em> [1], he suggests a way to deal with paradoxes in a religious setting that will come up again at the end of this piece.<\/p>\n

\u00a0<\/p>\n

Paradoxes in mathematics have had various effects. The consequences of Russell\u2019s paradox<\/a> (the inability to determine whether the set of all sets that are not members of themselves is a member of itself) for Frege\u2019s project in his Grundgesetze<\/em> are well known. One can argue that G\u00f6del\u2019s success in pulling down Principia Mathematica<\/em> was founded on a paradox like the Liar<\/a>. The Banach-Tarski paradox<\/a>, by contrast, has not involved rewriting any mathematics. Its conclusion (that one can cut up a ball into a finite number of pieces and then reassemble them to get a ball twice as big as the original ball) runs up against common sense, but then most of us do not have the kind of common sense able to deal with infinitely thin knives. By contrast, the paradox of the Liar continues to generate philosophical responses. Some have argued that the problem with \u2018This statement is false\u2019 is its self-referential character, but then versions offered by Quine and Yablo, among others, seem to raise the same problem without the self-reference [6, p. 9; 3, pp. 50\u201351].<\/p>\n

What makes something paradoxical? The collision with common sense usually comes as something of a surprise. There is often some kind of humour in seeing how common sense has to learn to adapt to calculations. Probability offers a number of such paradoxes, such as the birthday problem<\/a> (it only takes 23 people in a group to make the probability of a shared birthday greater than 1\/2) or Simpson\u2019s paradox<\/a> (what\u2019s true of all subsets individually may no longer hold when they are aggregated).<\/p>\n

Perhaps a plausible analogy is the situation with regard to the Continuum Hypothesis<\/a>. G\u00f6del was able to show that if one added a certain axiom to the standard axioms for set theory, the resulting system was able to show that the Continuum Hypothesis (there is no infinity between the number of whole numbers and the number of reals) is true. Then Paul Cohen demonstrated that if one added a different axiom to the standard axioms, the resulting system was able to show that the Continuum Hypothesis was false. In both cases the additional axioms were shown to be consistent with the standard axioms.<\/p>\n

There is a further problem with this conflict that did not arise in the case of Euclidean and non-Euclidean geometries. As pure mathematics they may be equally legitimate, but when they came up against the structure of the universe, non-Euclidean geometry won the contest. There is no obvious universe to serve as an arbiter for the axioms that refer to infinite sets.<\/p>\n

In fact, infinity has long been a source of paradoxes\u2014one can put this down to the inability of common sense to handle the infinite. The demonstration that infinite sets can have proper subsets of the same cardinality prevents us from falling back on the Euclidean notion that the whole is greater than the part. Surely there is also something paradoxical about the L\u00f6wenheim-Skolem theorems<\/a>, even if we do not refer to them as paradoxes. They assert, after all, that if a set of axioms has an uncountable model, then it also has a countable model, and if that does not run up against such common sense as we have about the infinite, I do not know what does. The fact that cardinality depends on one\u2019s machinery for finding one-to-one correspondences makes it sound as though the size of a set could depend on the order in which one is tallying members.<\/p>\n

Quantum mechanics has also been a source of paradoxes, and one can argue that it is a source of nothing but paradoxes. The continuing literature on how to interpret the formalism that produces correct predictions suggests that there is no consensus about interpretation, however ready the community of physicists may be to accept the formalism. Hidden variables have been shown not to work, and if it is necessary to alter one\u2019s logic, that has a paradoxical character in its own right.<\/p>\n

When one has contemplated certain paradoxes and beaten one\u2019s head against the wall in trying to resolve them, one may be tempted to argue that some paradoxes are not necessarily in need of resolution. That seems to be true of Zen koans, for example, and perhaps riddles like the Mad Hatter\u2019s \u2018Why is a raven like a writing-desk?\u2019 It may not be easy to dispose of the nagging suspicion that at least one prong of the paradox must be based on an error in reasoning. There are plausible fallacies that do not yield their faults up on preliminary inspection, such as Kempe\u2019s claim to have proved the Four Colour Theorem in 1879, which was only refuted in 1890.<\/p>\n

What Bagger points to as a way out is what he calls \u2018cognitive asceticism\u2019 [1, cap. 2]. The term \u2018cognitive dissonance\u2019 has been widely applied to the situation of not being able to resolve apparently conflicting statements. Much psychological effort goes into trying to dissolve the dissonance on the assumption that the dissonance itself is a source of tension. What Bagger suggests, specifically in the realm of religion, is a kind of acceptance without feeling that the world is necessarily crashing around one. Some paradoxes are a blow to common sense but allow for a way forward with common sense chastened.\u00a0When paradoxes apparently lead to a contradiction, it might typically be felt in mathematics that this sort of acceptance is bound to lead to the acceptance of every statement. On the other hand, it may be the case that if one puts up a few roadblocks in one\u2019s logic, then the notion that accepting both sides of a paradoxical conclusion is fatal can be resisted. There are, after all, paraconsistent logics, and it may not be surprising that it is to them that paradoxes lead.<\/p>\n

References<\/strong><\/p>\n

[1] Bagger, Matthew C. (2007) The Uses of Paradox<\/em><\/a>.<\/em> New York: Columbia University Press.<\/p>\n

[2] Bloch, William Goldbloom. (2008) The Unimaginable Mathematics of Borges\u2019 Library of Babel<\/em><\/a>.<\/em> Oxford: Oxford University Press.<\/p>\n

[3] Cave, Peter. (2009) This Sentence is False: An Introduction to Philosophical Paradoxes<\/em><\/a>.<\/em> London: Continuum.<\/p>\n

[4] Gottlieb, Anthony. (2000) The Dream of Reason: A History of Western Philosophy from the Greeks to the Renaissance<\/em><\/a>. <\/em>New York: Norton.<\/p>\n

[5] Hofstadter, Douglas. (1979) G\u00f6del, Escher, Bach: An Eternal Golden Braid<\/em><\/a>.<\/em> New York: Basic Books.<\/p>\n

[6] Quine, W. V. (1966) The Ways of Paradox and Other Essays<\/em><\/a>.<\/em> New York: Random House.<\/p>\n

Thomas Drucker is currently chair of the Philosophy of Mathematics Special Interest Group of the Mathematical Association of America.\u00a0At the 2025 MathFest in Sacramento, he was one of the organizers of a session on paradoxes, in which he also spoke.\u00a0He retired from teaching at the University of Wisconsin\u2013Whitewater in 2021.<\/em><\/p>\n","protected":false},"author":11,"template":"","section":[58],"keyword":[521,522,416],"class_list":["post-21066","article","type-article","status-publish","hentry","section-cshpm-notes","keyword-mathematics-and-literature","keyword-mathematics-and-religion","keyword-philosophy-of-mathematics"],"toolset-meta":{"author-4-info":{"author-4-surname":{"type":"textfield","raw":""},"author-4-given-names":{"type":"textfield","raw":""},"author-4-honorific":{"type":"textfield","raw":""},"author-4-institution":{"type":"textfield","raw":""},"author-4-email":{"type":"email","raw":""},"author-4-cms-role":{"type":"textfield","raw":""}},"author-3-info":{"author-3-surname":{"type":"textfield","raw":""},"author-3-given-names":{"type":"textfield","raw":""},"author-3-honorific":{"type":"textfield","raw":""},"author-3-institution":{"type":"textfield","raw":""},"author-3-email":{"type":"email","raw":""},"author-3-cms-role":{"type":"textfield","raw":""}},"author-2-info":{"author-2-surname":{"type":"textfield","raw":""},"author-2-given-names":{"type":"textfield","raw":""},"author-2-honorific":{"type":"textfield","raw":""},"author-2-institution":{"type":"textfield","raw":""},"author-2-email":{"type":"email","raw":""},"author-2-cms-role":{"type":"textfield","raw":""}},"author-info":{"author-surname":{"type":"textfield","raw":"Drucker"},"author-given-names":{"type":"textfield","raw":"Thomas"},"author-honorific":{"type":"textfield","raw":""},"author-email":{"type":"email","raw":"druckert@uww.edu"},"author-institution":{"type":"textfield","raw":"University of Wisconsin\u2013Whitewater"},"author-cms-role":{"type":"textfield","raw":""}},"unknown":{"downloadable-pdf":{"type":"file","raw":"","attachment_id":null},"article-toc-weight":{"type":"numeric","raw":"99"},"author-surname":{"type":"textfield","raw":"Drucker"},"author-given-names":{"type":"textfield","raw":"Thomas"}}},"_links":{"self":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article\/21066","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article"}],"about":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/types\/article"}],"author":[{"embeddable":true,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/users\/11"}],"version-history":[{"count":6,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article\/21066\/revisions"}],"predecessor-version":[{"id":21079,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article\/21066\/revisions\/21079"}],"wp:attachment":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/media?parent=21066"}],"wp:term":[{"taxonomy":"section","embeddable":true,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/section?post=21066"},{"taxonomy":"keyword","embeddable":true,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/keyword?post=21066"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}