Thinking as the Crow Flies: Part 1 - Introduction

post by Anthony Hart (anthony-hart) · 2017-12-05T15:55:45.756Z · score: 12 (5 votes) · LW · GW · 16 comments

Contents

  Preamble
  Intuitions and Sensations
  Grounding
  Ontological Commitments of Ungrounded Entities
  Precommitments and Judgments
  Computation to Canonical Form
None
16 comments

Preamble

I've wanted to write a series of posts here on logic and the foundations of mathematics for a while now. There's been some recent discussion about the ontology of numbers and the existence of mathematical entities, so this seems as good a time as any to start.

Many of the discussed philosophical problems, as far as I can tell, stem from the assumption of formalism. That is, many people seem to think that mathematics is, at some level, a formal logic, or at least that the activity of mathematics has to be founded on some formal logic, especially a classical one. Beyond that being an untenable position since Gödel's Incompleteness Theorems, it also doesn't make a whole lot of intuitive sense since mathematics was clearly done before the invention of formal logic. By abandoning this assumption, and taking a more constructivist approach, we get a much clearer view of mathematics and logic as a whole.

This first post is mostly informal philosophizing, attempting to describe exactly what logic and mathematics is about. My second post will be a more technical discussion accounting for the basic notions of logic.

Intuitions and Sensations

To begin, I'd like to point out a fact which most would find obvious but has, in the past, lead to difficult philosophical problems. It is clear that we don't have direct access to the real world. Instead, we have senses which feed information, even if dishonestly, to our mind. These senses may be predictable, may be potentially modeled by a pattern which mimics our stream of senses. At some level, we have direct access to a sensory signal. This signal is not a pure, unfiltered lens on the world, but it is a signal, independent of, but directly accessible by, us.

We also have access to our intuitions, the part of our thoughts which we may label "ideas". We may not have total access to all our faculties. Much of our mental processing is done outside the view of our awareness. If I asked you to name a random city, eventually you'd come up with one. You'd, however, be hard-pressed to produce a trace of how that city's name came to your awareness. Perhaps you could offer background information, explaining why you'd name that city, among all the possibilities. Regardless of such accounts, we'd still lack a trace of the signal sent by your consciousness ("I want the name of a city, any city") reaching into the part of your mind capable of fulfilling such a request, and the subsequent reception of the name into your awareness. We don't have such detailed access to the inner-workings of our mind.

It seems that those things which we have direct access to are, in fact, part of us. Those intuitions within our awareness, those filtered signals which we directly experience, make up our qualia, are instantiated in the substrate of our consciousness. They may be thought of as part of ourselves, and to say we have access to them is to say that we have direct access to those parts of ourselves of which we are aware. This, I think, is trivially true. Though that isn't essential for the rest of this piece.

We may distinguish normal intuitions from senses by the degree we can control them. Intuitions are controllable and manipulable by ourselves, while senses are not. This isn't perfectly clean. One may, for example through small DMT doses, cause one to experience controllable hallucinations which are a manifestation of direct (though not complete) control of the senses. Also, there are plenty of examples of intuitions which we find difficult to control, such as ear-worms. For the sake of this work, I will ignore such cases. What I want to focus on are sensory sensations fed to our awareness passively and those intuitions which we have complete (or complete for practical purposes) control. These are the sorts of things needed for logic, mathematics, and science, which will be the primary focuses of this series. For the remainder, by "sense" and "sensory data" I am referring to those qualia which are experienced passively, without deliberate control; by "intuition" I am referring to those intuitions which are under our direct and (at least apparent) total control.

Grounding

At this stage, it's useful to make a remark about language and grounding. Consider what I might be saying if I describe something as an elephant. Within my mind is an intuition which I'm assigning the word "elephant", and in calling something presumed external to me an elephant, I am asserting that my intuition is an approximate model for the thing I'm naming. The difference between the intuition and the real thing is important. It is practically impossible to have a perfect understanding of real-world entities. My intuition tied to "elephant" does not contain all that I might consider knowable about elephants, but only those things which I do know. A veterinarian specializing in elephants would certainly have a more accurate, more elaborate intuition assigned to "elephant" than a non-specialist, and this wouldn't be the full extent to which elephants could be modeled. In essence, I'm using this modeling intuition as a metaphor for an elephant whenever I use that word.

Based on this, we can account for learning and disagreement. Learning can be characterized as the process of refining an approximately correct intuition modeling something external. A disagreement stems from two main places. Firstly, two people with similar sensations may be using differing models. From these differences, two people may describe identical sensations differently, as their models might disagree. Secondly, two people may think they're getting similar sensations when they are not, and so disagree because they are unable to correctly compare models, to begin with. This is the "Blind men and an elephant" scenario.

This account also cleanly explains why we can still meaningfully talk about elephants when none are present. In that case, we are speaking of the intuition assigned to "elephant". Additionally, we can talk about non-existent entities like unicorns unproblematically, as such things would still have realities as intuitions. An assertion of existence or nonexistence is really about an intuition, a model of something. The property of existence corresponds to a prediction of presence in the real world by our model, non-existence to our model predicting absence. The correctness of these properties is precisely the degree to which they accurately predict sensory data.

Intuitions need not be designed to model something in order for it to be used to model something else. If I try to describe an animal which I'm only the first time encountering, then I may construct a new model of it by piecing together parts of older models. I may even call it an "elephant-like-thing" if I feel it has some, if limited, predictive power. In this way, I'm constructing a new model by characterizing the degree to which other models predict properties of the new animal I'm seeing. Eventually, I may assign this new model a word, or borrow a word from someone else.

One can also create intuitions without attempting to model something external. If you were a mind in a void, without any sensory information, you should still be able to think of basic mathematical and logical concepts, such as numbers. You might not be motivated to do so, but the ability to do so is what's relevant here. These concepts can be understood in totality as intuitions, completely definable without external referents. Later, this will be elaborated on at length, but take this paragraph as-is for the moment.

Even if an intuition was created without intent to model, it still can be used as such. For example, one can think of "2" without using it to model anything. One can still say that a herd of elephants has 2 members, using the intuition of 2 as a metaphor for some aspect of the herd.

Some notion I've heard before is that it seems like a herd with 2 members would have 2 members even if there was no one around to think so, and so 2 has to exist independently of a mind. Under my account, this statement fails to understand perspective. It is certainly the case that one could model a herd of 2 using 2, regardless of if anyone else was thinking of the herd. However, even asking about the herd presupposes that at least the asker is thinking about the herd, disproving the premise that the herd isn't being thought about. If it were truly the case that no one was thinking of it at all, then there's nothing to talk about. The question would not have been asked in the first place, and the apparent problem then vanishes. It is clear at this point that stating "a herd has 2 members" does not make 2 part of our model of the world.

At this point, I will introduce terminology which distinguishes between the two kinds of intuitions discussed. Intuitions which are potentially incomplete, designed to model external entities will be called grounded intuitions. Those intuitions which may be complete and may exist without modeling properties will simply be ungrounded intuitions.

One common description of reality stemming from Platonism is that of an imperfect shadow or reflection of the transcendental world of ideals. After all, circles are perfect, but nothing in the world described as a circle is a truly perfect circle. By my account, perfection doesn't come into the picture. A circle is an ungrounded intuition. An external entity is only accurately called a circle in so far as the intuition of a circle accurately models the entity's physical form. The entity isn't imperfect, in some objective sense. Rather, the grounded intuition of that entity is simply more complex than the ungrounded intuition of the circle. The apparent imperfection of the world is only a manifestation of its complexity. Grounded intuitions tend to be more complicated than the ungrounded intuitions which we used to approximate the real world. This is, at once, not surprising, but significant. If we lived in an extremely simple world (or one which was simple relative to our minds) then we might create ungrounded intuitions which were simpler than the average ungrounded one. We may then have trouble distinguishing between sensory data and intuition, as all facts about the real world would be completely obvious and intuitively predictable.

Ontological Commitments of Ungrounded Entities

I think it's worth taking the time to discuss some content related to ontological commitments and conventions. Ontological commitments were introduced by Quine, but I won't hold true to the notion as he originally described it. Instead, by an ontological commitment, I am referring to an assertion of the objective existence of an entity which is independent of the subjective experience of the person making the assertion.

Let's take a scenario where two people are arguing over what color the blood of a unicorn is. One says silver, the other red. Our goal is to make sense of this argument. Assuming neither people believe unicorns exist, what content does this argument actually have?

First, it behooves us to make sense of what a unicorn is, and what commitments we make in talking about them. For the moment, I'll stick to a conventional distributive-semantical characterization of meaning (I plan on making a post about this quite some time from now). Through our experience, we eventually associate words like "blood", "horse", and "horn" with vectors inside of some semantic space. We can then combine them in a sensical way to produce the idea of a horse with a horn, a new vector for a new idea, a unicorn. When talking about commitments, we need to make a distinction between two things; commitments to expectations, and commitments to ideas. When we define unicorns in this manner, we are committing ourselves to the idea of unicorns as something that's coherent and legible. We are not making a commitment to unicorns existing for real, that is we do not suddenly expect to see a unicorn in real life. This may be considered an ontological commitment of a sort. We certainly ascribe existence to the idea of a unicorn, at least within our own mind. We don't, however, ontologically commit ourselves to what the idea of unicorns might theoretically model. Since all sentences cannot help but refer to ideas rather than actual entities, regardless of our expectations, the assertion that unicorn blood is silver pertains to this idea of unicorns, nothing that exists outside of our mind.

I'd like to digress momentarily to talk about this standard conundrum:

If a tree falls in a forest and no one is around to hear it, does it make a sound?

This question has a standard solution that I'd consider universally satisfactory. Ultimately, the question isn't about reality, it's about the definition of the word "sound". If by "sound" the asker is speaking of a sensation in the ear, then the answer is "no". If they mean vibrations in the air, then the answer is "yes". Under the distributional semantics of the word "sound", we can talk about this word having values in various directions. For some people, "sound" is assigned the region defined by a positive value in the direction corresponding to sensations in the ear. For others, "sound" is assigned to the region with positive value in the direction corresponding to vibrations in the air. These two regions have heavy overlap in practice. When we experience a sensation, it's rare for it to have a positive value in one of these, but not the other. And so, we assign one of these regions the word "sound", most of the time having no problem with others who make a different choice but arriving at disagreements over questions like the above.

But which is it? What does "sound" actually mean? Well, that's a choice. Consider the situation in detail. Is there anything that needs to be clarified? Are there vibrations in the air? Yes. Are there any sensations in an ear caused by these vibrations? No. So there's nothing left to learn. All that's left is to decide how to describe reality. It may even be useful to split the term, to talk about "type-1 sound" and "type-2 sound", which usually coincide, but don't on rare occasions. Regardless, it's a matter of convention, not a matter of fact, whether the word "sound" should apply.

And so, we're in sight of the resolution to the unicorn blood argument. One person has a region in their semantic space corresponding to one-horned horses with silver blood, and want's to assign that region the word "unicorn". The other person has identified a close-by semantic region, but there the blood is red, and they want that to have the word "unicorn". Note that neither would think that the others claim is nonsense. The argument is not predicated on, for example, one person thinking the idea of a unicorn with red blood is incoherent. Both parties agree that each other have identified meaningful regions of semantic space. They are making identical ontological commitments. What they are disagreeing on is a naming convention.

Throughout this series, I will often discuss mathematics and logic as fundamentally subjective activities, but this does not mean I reject mathematical objectivism as such. Rather, the objective character of mathematics moves from being an aspect of mathematics itself to being an aspect of how it's practiced. Mathematics is done as a social activity carried by a convention which is itself objective: or at least (ideally) as objective as a ruler. Showing that someone is mathematically wrong largely boils down to showing which convention a person is breaking in making an incorrect judgment.

Brouwer, who was the first to really push mathematical intuitionism, described mathematics as a social activity at its core. As a consequence, he argued against the idea of a formal logical foundation before Gödel's incompleteness theorems were even discovered.

The basic idea of constructivism is to limit our ontological commitments as much as possible. Consider the well known "I think, therefore I am". It highlights the fact that the act of thinking and introspection itself implies an ontological commitment to the self. Since we are already doing those things, it's really not much of a commitment at all. Similarly, the fact that I am writing in a language commits me ontologically to the existence of the language I'm writing in. As I'm doing this anyway, it's not much of a commitment. For this, I call these sorts of commitments "cheap commitments".

Mathematical and logical entities are ideas. By discussing them, we are committing ourselves to the existence of these entities at least as ideas. For example, if I say "there exists an even natural number", I am committing myself to the ideas of natural numbers and evenness. I'm also committing myself to the coherence or soundness of these ideas, that the statement in question is meaningful modulo the semantics of the ideas used.

I can easily make grammatical-looking sentences that seem to make some sort of expensive commitment. For example, I could say that g'glemors exist and that a h'plop is an example of a g'glemor on account of hipl'xtheth. If I said those things with any sort of seriousness I'd be committing myself to the existence of those mentioned things at least as ideas, as well as the soundness of those ideas. Being nonsense words not representing anything at all, I'd obviously be misguided in making such commitments, they certainly aren't cheap.

The point of a constructivist account is to describe mathematical and logical ideas in such a way that one is committed to their soundness in a cheap way. And here we can start to see the significance of characterizing mathematics and logic as being about ungrounded entities. In order for my commitments to those ideas to be cheap, they must be totally characterized by something that comes from within me, by something that I'm doing anyway when discussing those ideas.

Precommitments and Judgments

We say that an idea is a cheap commitment if, in defining the notion, we summon the entity being defined, or perform the activity which we are judging to be the case. In order to do this, we need to pay attention to precommitments.

A precommitment is a prescription we make of our own behavior. It's an activity which is being done so long as those prescriptions are being followed. Precommitments are the core of structured thinking. Whenever we impose any pattern or consistency to our thinking, we are making a precommitment. By analyzing our precommitments closely, we can construct, explicitly, ideas which are cheap ontological commitments. If we are actively doing a precommitment, then we can cheaply acknowledge the existence of the idea conjured by this precommitment.

Many ungrounded intuitions arise as a form of meaning-as-usage. Some words don't have meaning beyond the precise way they are used. If you take a word like "elephant", it's meaning is contingent on external information which may change over time. A word like "and", however, isn't. As a result, we'd say "and"'s meaning fundamentally boils down to how it's used, and nothing more. Going beyond that, if we are to focus on ungrounded intuitions which are complete and comprehensible, then we are focusing precisely on those ungrounded intuitions who's definition is precisely a specification of usage, and nothing more. That specification of usage is our precommitment. Of course, usage happens outside the mind, but the rules dictating that usage aren't, and its those canonical rules of usage which I mean by "definition".

The basic elements of definitions are judgments. Judgments include things like judging that something is a proposition, or is a program, or is some other syntactic construction. Judgments also include assertions of truth, falsehood, possibility, validity, etc of some data. However, be aware that a judgment simply consists of a pattern of mental tokens which we may declare. Regardless of what preconceptions about possibility, truth, etc. one has, these should be overwritten by the completed meaning explanation in order to be understood as a purely ungrounded intuition and a cheap commitment.

When we make a judgment, we are merely asserting that we may use that pattern in our reasoning. Precommitments, as we will make use of them here, are a collection of judgments. As a consequence, what we are precommitting ourselves to is an allowance of usage for certain patterns of mental tokens when reasoning about a concept. The full precommitment summoning some concept will be called the meaning explanation for that concept.

Ultimately, it is either the case that we make a particular judgment or we don't. That, however, is a fact about our own behavior, not about the nature of reality in total, in essence. Furthermore, someone not making a particular judgment is not automatically making the opposite, or negated, judgment. In fact, such a thing doesn't even make sense in general. As a result, we don't reproduce classical logic. Though, as we'll eventually see, there are constructive logics which are classical. However, it's worth dispelling the idea that there's "one true logic". Questions about which kind of logical symbols, classical, intuitionistic, linear, etc. is the "true" one are nonsense. One is only correct relative to some problem which has an element which is to be modeled by one of these. Whichever is the more accurate model is the correct one, there is no "one true logic", and it's certainly not the case that the intuitions which make up mathematics are governed by a classical logic. For example, the existence of theoretically unsolvable problems (e.g. the halting problem) illustrates that our capacity for judging truth is fundamentally constrained, not by some objective transcendental standard for truth, but rather by our ability to make proofs.

To summarize, to define a concept we give a list of judgments, rules dictating which patterns of tokens we can use when considering the concept. So long as these rules are being followed, the concept exists as a coherent idea. If the precommitment is violated, for example by making a judgment about the concept which is not prescribed by the rules, then the concept, as defined by the original precommitment, no longer exists. There may be a new precommitment that defines a different concept using the same tokens which is not violated, but that, being a different precommitment, constitutes a different meaning explanation, and so its summoned concept does not have the same meaning. So long as I follow a precommitment defining a concept, it is hypocritical of me to deny the coherence of that concept, just as it would be hypocritical to deny my language as I speak, to deny my existence so long as I live.

Computation to Canonical Form

We are now free to explore an example of the construction of an ungrounded intuition. I should be specific and point out that not all ungrounded intuitions are under discussion. For the sake of mathematics and logic, intuitions must be completely comprehensible. Unlike grounded intuitions, an ungrounded one may be such that it's never modified by new information. This doesn't describe all ungrounded intuitions, but it describes the ones we're interested in.

One of the most important judgments we will consider is of the form . It is a kind of computational judgment. It's worth explaining why computation is considered before anything else in mathematics. To digress a bit, it’s easy to argue that some notion of computation is necessary for doing even the most basic aspects of ordinary mathematics. Consider, for example, the standard theorem; for all propositions and , . The universal quantification allows us to perform a substitution, getting, for example, , as an instance.

We should meditate on substitution, an essential requirement of even the most basic and ancient aspects of logic. Substitution is an algorithm, a computation which must be performed somehow. In order to realize , we must be doing the activity corresponding to the substitution of with and the action corresponding to the substitution of with at some point. Substitution will appear over and over again in various guises, acting as a central and powerful notion of computation. To emphasize, once substitution is available, we are of the way toward complete and fully general Turing-Complete computation via the lambda calculus. Much of the missing features pertain to explicit variable binding, which we need anyway in order to use the quantifiers of first-order logic. I don't think it's really debatable that computation ontologically precedes logic. One can do logic as an activity, and much of that activity is computational in nature.

Before expositing on some example judgments, we should address the need for isolating concepts. Consider a theory with natural numbers and products . We must ask what constitutes a natural number and a product. By default, we can form a natural number as either zero or the successor of a natural number. e.g. , , , , ... A product can be formed via where is an and is a . Additionally, we have that, if is a natural number then (where is a projection function) is a natural number, and if is a natural number then is a natural number, and if is a natural number then is a natural number, etc. to infinity. This situation gets branchingly more complex as we add new concepts to our theory. If we don't define concepts as fundamentally isolated from each other, we inhibit the extensibility of our logic. This is both unpragmatic and unrealistic, as we will want to extend the breadth of concepts we can deal with as we model more novel things. Furthermore, the coherence of the concept of a natural number should not depend on the coherence of the notion of a product. Ultimately, each concept should be defined by some precommitment consisting of a list of rules for making judgments. If we entertain this infinite regress, then there may be no way in general to state what the precommitment in question even is.

At the core of our definitions will be canonical forms. Every time we define a new concept, we will assert what its canonical forms are. For example, in defining the natural numbers we will judge that and that, assuming , we can conclude that . We can't assume this alone, however. Consider, for example , which should be a natural number, but isn't in the correct form. We now have an opportunity to explain . indicates that we start out with some mental instantiation , and after some mental attention, it becomes the instantiation . So we have, for example . When I say , I do not mean that is equal to . That's a separate kind of judgment. This means our full judgment is that iff or for some . There are some details missing from this definition, but it should serve as a guiding example, the first rough sketch of what I mean by a meaning explanation.

It is worth digressing somewhat to critique the axiomatic method. Most people, especially when first learning of a subject, will experience a mathematical or logical concept as a grounded intuition. This is reflected in a person's answer to questions such as "why is addition commutative?". Most people could not answer. It is not part of the definition of addition or numbers for this property to hold. Rather, this is a property stemming from more sophisticated reasoning involving mathematical induction. A person can, none the less, feel an understanding of mathematical concepts and an acceptance of properties of them without knowledge of their underlying definitions. Axiomatic methods, such as the axioms of ZFC, don't actually define what they are about. Instead, they list properties that their topic must satisfy.

The notion of ZFC-set, in some sense, is grounded by an understanding of the axioms, though it is still technically an ungrounded intuition. This state of affairs holds for any axiomatic system. There is something fundamentally ungrounded about a formal logic, but it's not the concepts which the axioms describe. Rather, what we have in a formal logic is a meaning explanation for the logic itself. That is, the axioms of the logic tell us precisely what constitutes a proof in the logic. In this way, we may formulate a meaning explanation for any formal logic, consisting of judgments for each axiom and rule of inference. Consequently, we can cheaply commit ourselves to the coherence of the logic as an idea. What we can't cheaply commit ourselves to are the ideas expressed within the logic. After all, a formal logic could be inconsistent, it's ideas may be incoherent.

As a consequence, the notion of a coherent idea of ZFC-set cannot be committed to cheaply. This holds similarly for any concept described purely in terms of axioms. It might be made cheap by appealing to a sufficient meaning explanation, but without additional effort, things treated purely axiomatically lack proper definitions in the sense used here.

16 comments

Comments sorted by top scores.

comment by G Gordon Worley III (gworley) · 2017-12-14T00:10:24.192Z · score: 4 (1 votes) · LW(p) · GW(p)

Really appreciate this post as it takes what I view to be a sufficiently skeptical, naive, beginner's philosophical view. I look forward to the followups. Also, if Medium weren't so bad at displaying math, I'd ask you if you'd be interested in publishing this series over on Map and Territory.

comment by gjm · 2017-12-06T12:49:41.720Z · score: 4 (1 votes) · LW(p) · GW(p)

How do Gödel's incompleteness theorems make it "untenable" to think that mathematics is "founded on some formal logic"?

They show that if you do mathematics that way and don't make mistakes then some questions will remain unanswerable, but that's only a reason not to do mathematics that way if you have another way that does answer all questions. And those same incompleteness theorems (more or less) tell us that if what our brains can do is computable then there is no way we can do mathematics that avoids both inconsistency and incompleteness.

comment by Anthony Hart (anthony-hart) · 2017-12-06T16:40:59.697Z · score: 6 (2 votes) · LW(p) · GW(p)

See this SEP section.

"if what our brains can do is computable then there is no way we can do mathematics that avoids both inconsistency and incompleteness."

This sentence illustrates the formalist essentialism that I'm criticizing. If we consider mathematics as a social activity, as Brouwer did, then the notion of completeness doesn't come up in the first place, and it's useless to worry about such a thing. This perspective, in part, influenced Gödel to make his discoveries in the first place.

Much of the point of Hilbert's program (and the wider goal of formalism/logicism) was to prove mathematics in entirety consistent by providing a formal logic which could be considered mathematics itself. Without that, there's no meaningful sense in which mathematics is actually founded on a formal logic. After all, that would mean that everything outside of your chosen logic wouldn't be part of mathematics, which is obviously wrong. After incompleteness was established, this situation was shown to be terminal. I think calling the whole project untenable after the publication of Gödel's incompleteness theorems is a fairly reasonable read of history.

comment by gjm · 2017-12-06T18:05:59.963Z · score: 2 (2 votes) · LW(p) · GW(p)

If what the universe does is computable then there is no way the whole community of mathematicians can do mathematics that avoids both inconsistency and completeness.

Now, of course you're at liberty not to worry about completeness. Nothing wrong with that. But in that case I don't see that you can fairly say that formalism is untenable on account of incompleteness. If it's OK not to get answers to all mathematical questions then it's OK for formalist mathematics not to deliver answers to all mathematical questions. You might contemplate a strong version of formalism one of whose tenets is "all mathematical questions must be soluble by these means", but I claim formalism shouldn't be committed to that.

I take it your last paragraph is suggesting that in fact formalism should be committed to that. I disagree, or more precisely I think formalism-without-that is prima facie a reasonable position. I don't think I understand what you say about not being "part of mathematics", because (1) something can still be "part of mathematics" even if the axioms you're working with leave it open whether it's true (one can still prove theorems like "if the axiom of choice holds, then X" even if working in a system that doesn't decide AC) and (2) a formalist can still choose to work with different formal systems on different occasions, and regard both as part of mathematics.

comment by Anthony Hart (anthony-hart) · 2017-12-06T19:19:30.716Z · score: 6 (2 votes) · LW(p) · GW(p)

"If what the universe does is computable then there is no way the whole community of mathematicianscan do mathematics that avoids both inconsistency and completeness. "

I don't think you understand what I'm getting at. It's not that completeness shouldn't be worried about, it's that it doesn't make sense if you aren't already assuming that mathematics is a formal logic. If you worry about formal logic then you worry about completeness. If you don't assume that mathematics is a formal logic, then worrying about mathematics does not lead one to consider completeness of mathematics in the first place. I'm saying that it does not make sense to talk about mathematics being complete or incomplete in the first place, since mathematics isn't a formal logic. Yes, it's impossible for the community of mathematicians to create a formal logic (of sufficient expressivness) which avoids inconsistency and incompleteness, but since mathematics isn't a formal logic, that doesn't matter.

"a formalist can still choose to work with different formal systems on different occasions, and regard both as part of mathematics."

Implicit in that statement is the assumption that mathematics is not, at its core, a formal logic. Yes, it contains formal logics, but it isn't one. I think you're using a very weak (and very modern) definition of "foundation of mathematics", being something capable of doing a significant chunk, but not all, of, mathematics. I think I've been clear in what I mean by "foundation of mathematics", being something that should be capable of facilitating ALL of mathematics. My point is that such a thing doesn't exist. If you disagree, feel free to argue against what I'm actually saying.

I do not take issue with the idea that one can do a significant chunk (perhaps most of in practice) mathematics using a formal logic. That logic would not then be mathematics, though. That's all I asserted.

I'm getting the feeling that you didn't read my post because you're ascribing beliefs to me that I do not hold. I will quote myself;

"[...] many people seem to think that mathematics is, at some level, a formal logic, or at least that the activity of mathematics has to be founded on some formal logic[...]"

That is the statement you're taking issue with, yes? Do you think that mathematics is, in fact, a formal logic? If not, then you agree with me. Do you think that mathematics has to be founded on a formal logic? If not, then you agree with me. What are you actually disagreeing with? Are you going to support the assertion that mathematics is a formal logic? Are you going to support the assertion that mathematics has to be founded on a formal logic?

"You might contemplate a strong version of formalism one of whose tenets is "all mathematical questions must be soluble by these means"

I don't know what version of formalism you think I'm referring to, but my explicit reference to Hilbert should have clued you into the fact that I'm talking about Hilbertian formalism. I'd personally prefer it if you didn't waste time arguing with a straw-man.

comment by gjm · 2017-12-07T15:12:58.658Z · score: 7 (2 votes) · LW(p) · GW(p)

You feel like I'm strawmanning you. I feel like you're strawmanning me. I propose that we make the obvious assumption that neither of us is deliberately constructing strawmen (I promise I'm not, though of course you don't have to believe me) and see if we can come to a better understanding.

What follows is rather long-winded; I apologize for not having had time to make it shorter. I hope I've at least been able to make it clear.

1 What is "formalism"?

"Formalism" can mean a bunch of things. Let me list a few.

F0: Hilbert's original programme of finding a single perfectly formalized system, simple enough that no mathematician could reasonably object to it, powerful enough to determine the answers to all mathematical questions.

It is (I think) uncontroversial that F0 turned out to be impossible. No one who is actually thinking about these things is a F0-formalist now.

F1: The idea that we should pick some single formal system (maybe ZFC, perhaps augmented by some large cardinal axioms or something) and say that mathematics is the study of this system and its consequences. (This implies, e.g., accepting that some mathematical questions simply have no answers. It doesn't mean that we can't talk about those questions at all, though; we can still say things like "X is true if Y is" where X and Y are both undecidable within the chosen system.)

Obviously F1 is hopeless if it's taken to mean that mathematics always was precisely the study of the properties of ZFC or whatever, since there was mathematics before there was ZFC. But if it's taken as a proposal for how we should currently understand the practice of mathematics, it's defensible, and I think quite a lot of mathematicians think in roughly those terms.

(That's compatible with saying, e.g., that later on we might decide to switch to a different formal foundation. And the best way to think about how that decision is made might well be in terms of mathematics-as-social-activity. But advocates of F1 might prefer to say that mathematics is a formal activity, but that philosophy of mathematics is a social one, and that what happens is that sometimes we switch for partly-social reasons from doing one sort of mathematics to another sort of mathematics.)

F2: The idea that mathematics is the study of formal systems, of which (e.g.) ZFC is just one. Different mathematicians might work with different and mutually incompatible formal systems, and that's fine. Most mathematicians work at a higher level than the underlying formal system, but what makes the stuff they do mathematics is the fact that it can be implemented on top of one of these formal systems. The ancient Greeks didn't have a decent underlying formal system, but what they did could still be layered on top of (say) ZFC and is therefore mathematics.

Versions of F1 that countenance the possibility of changing formal system are clearly shading into F2; what distinguishes F2 is that F2-ists are comfortable with the idea that multiple different systems of this type can be around concurrently and equally legitimate. (Think of it as shifting a quantifier. F1 says "there exists a formal system P such that doing mathematics = working in P" and F2 says "doing mathematics = having there exist a formal system P such that you're working in P". Kinda.)

I don't claim that F0, F1, and F2 exhaust the range of things one could call "formalism", but they seem reasonably representative. And I do claim that all of them can reasonably be called "formalism". They both assume that what distinguishes mathematics from other activities is that it is grounded in formal-system calculations. They do, however, both admit that the choice of formal systems, and the expectation that their calculations are worth doing, may in turn rest on something else.

I think you may disagree with calling them "formalism", since when I gestured earlier towards something like F1 or F2 you said: "Implicit in that statement is the assumption that mathematics is not, at its core, a formal logic" (etc.). Well, obviously what matters isn't exactly what definition we should give to the word "formalism" but what sorts of positions mathematicians actually (explicitly or implicitly) hold, and how coherent and fruitful those positions are.

What you originally said was this:

Many of the discussed philosophical problems, as far as I can tell, stem from the assumption of formalism. That is, many people seem to think that mathematics is, at some level, a formal logic, or at least that the activity of mathematics has to be founded on some formal logic, especially a classical one.

I don't think "many people seem to think" F0, even though that was what Hilbert originally had in mind. And I don't think F0 is required in order for philosophical questions about (e.g.) what numbers really are to arise. So that's why I didn't take you to be talking about F0, but about something more like F1 or F2. In the context of what "many people seem to think", it seems to me that F0 is itself a strawman; not because no one ever embraced F0 (Hilbert did, and he was no fool) but because so far as I know no one explicitly does now, and I don't think anyone does implicitly (in the sense that they think things that only make sense if one assumes F0) either.

It's true that F1 and F2 allow for the possibility that one thing mathematicians do may be to change what formal system they study, and that they will do that on the basis of something not obviously reducible to formal-system calculations. But I can't agree that that means that they aren't truly formalist positions on account of not making "ALL of mathematics" be about formal systems; I think an F1-ist or F2-ist can perfectly well say that while choosing a formal system is something a mathematician may sometimes do, making that choice isn't mathematics but something else closely related to mathematics.

2 Is "formalism" untenable because of the incompleteness theorems?

F0 is, for sure. F1 and F2, not so much. Someone may embrace F1 or F2 but be quite untroubled by the fact that mathematics (for an F1-ist) or the particular variety of mathematics they happen to be doing (for an F2-ist) is unable to resolve some of the questions it can raise.

Such a person's position would be notably different from yours as I understand it -- you say "it does not make sense to talk about mathematics being complete or incomplete in the first place"; an F1-ist would say it absolutely does make sense to talk about that, and as it happens mathematics turns out to be incomplete; an F2-ist would say that at any rate we can talk about whether a particular system we're working in is complete or incomplete, and when doing mathematics we're always working within some system and it's always incomplete. (But they might e.g. say that we are always at liberty to use a different system, and that if we run across an instance of incompleteness that troubles us we can go looking for a system that resolves it; their position might end up resembling yours in practice.)

3 What do we actually disagree about?

Probably about whether philosophical assumptions made by "many people", to the effect that mathematics is fundamentally about formalized (or at least formalizable) logic, are untenable on account of the incompleteness theorems. I think it isn't, because positions like F1 and F2 involve such assumptions and aren't made untenable by the incompleteness theorems, and I think those rather than F0 are the positions held by "many people".

Perhaps about whether "many people" make assumptions that are more or less equivalent to F0. I think they don't. Perhaps you think they do.

Perhaps about whether F1 and F2 really say that mathematics is fundamentally about formalized logic. I think they do. Perhaps you think they don't.

You asked some questions that (I think) assume that I am endorsing "formalism" in some sense, even if not yours. That's not what I'm doing -- nothing I've said above is intended to claim that "formalism" in any sense is right. (I find F2 tempting, at least, but I'm not sure I would actually endorse it.) It is possible that it will turn out that I agree with you about, say, whether mathematics "has to be founded on a formal logic", while still disagreeing about whether those poor misguided souls who think it does are taking a position that is untenable because of the incompleteness theorems.

I don't know yet whether we disagree about the extent to which mathematics is a social activity. Perhaps we do.

comment by Anthony Hart (anthony-hart) · 2017-12-07T17:00:51.846Z · score: 2 (1 votes) · LW(p) · GW(p)

"1 What is "formalism"? "

"I think it isn't, because positions like F1 and F2 involve such assumptions and aren't made untenable by the incompleteness theorems "

I think it's ironic that you're arguing with me over the meaning of a word, considering the content of my essay. I stated at the begining of my essay what I meant by "formalism". If you don't think that word should be used that way, that's fine, but I'm not interested in arguing about the meaning of a word. By pretending that I'm arguing against any and all forms of what may be called formalism, you are replacing what I actually said with something else. That's not a substantive disagreement with any position I actually endorsed.

"F1: The idea that we should pick some single formal system [...] "

In my original quote I said "has" for a very specific reason. "Should" is a matter of opinion. I don't think it's unreasonable to choose a safe window from which to study the universe of mathematics, but one shouldn't speak as if that window is the universe itself.

"I don't think "many people seem to think [...]"

When someone states something of the form "mathematics turns out to be incomplete" they are ascribing properties of a formal logic to mathematics. When someone states that mathematics is an activity involving, on occasion, a decision "to switch to a different formal foundation", they are ascribing properties of an activity which do not hold for formal logics. This is the central contradiction I'm fixating on. When I say "many people seem to think" I don't mean that many people explicitly endorse, but rather that many people implicitly think of mathematics as a formal system. Saying "mathematics is incomplete" is a form of synecdoche, saying "mathematics" but meaning only a part of it. Failure to realize that this is being done leads people to say silly things.

" F2: The idea that mathematics is the study of formal systems "

"making that choice isn't mathematics "

A field of study can't be incomplete in the way a formal logic can. Saying "mathematics is incomplete" is incompatible with the view that mathematics is a field of study, and yet I've seen many people endorse such a view. If you say that mathematics is the study of formal systems, I'd say that's wrong, but that's not relevant to any of my earlier points.

I think this might actually be the main point of disagreement. Making that choice involves mathematical reasoning and intuition which is certainly part of mathematics, not least because it's part of what mathematicians, in particular, actually do. Excluding such things from being mathematics is arbitrary and artificial. If you're going to make such a designation, then it seems the ultimate goal is to make mathematics mean "the study of formal systems", but I have no interest in talking about such a thing. This is, again, arguing over a definition.

Incidentally, I stated that the position which was untenable after Gödel's Incompleteness Theorems is the assumption, implicit in the statement "mathematics is incomplete", that mathematics is a formal logic. However, that doesn't appear as either your F0, F1, or F2.

I've found this discussion to largely be a waste of time. I won't be responding beyond this point.

comment by gjm · 2017-12-07T17:51:04.814Z · score: 4 (1 votes) · LW(p) · GW(p)

I am sorry that you haven't found the discussion useful. For my part, I am also disappointed by how it's turned out, and especially by how ready you seem to be to assume bad faith on my part.

Since obviously you don't want to continue this, I won't respond further except to correct a few things that seem to me to be simply errors. One: I am not (deliberately, at least) "pretending" anything, and in particular I am not "pretending that [you're] arguing against any and all forms of what may be called formalism". I thought I went out of my way to avoid making any claim of that sort. What I am claiming is that the things you said about "many people" apply only to "weaker" versions of formalism, while at least some of the objections you make apply only to "stronger" versions. The point of listing some particular versions was to try to clarify those distinctions. Two: Once again, although I am discussing and to some extent defending some kinds of formalism, I am not endorsing them, which much of what you've written seems to assume I am. Three: the position you actually said was untenable because of the incompleteness theorems was "that mathematics is, at some level, a formal logic, or at least that the activity of mathematics has to be founded on some formal logic, especially a classical one" (emphasis mine), and it still seems to me that all of F0, F1, F2 say pretty much that.

Actually, I will say one other thing, though I'm not terribly optimistic that it will help. The main point I've been trying to make, though perhaps I haven't been as explicit about it as I should, is that I think you are ascribing to "many people" a position more extreme, and sillier, than they would actually endorse, and that the bits of that position that lead to bad consequences are exactly the bits they wouldn't actually endorse. E.g., the idea that mathematicians do nothing other than formal manipulation (of course they don't, and everyone knows that, and no I don't think the things people say about formal systems imply otherwise). Or the idea that if someone says "mathematics is incomplete" this means that they don't know the difference between a field of study and a formal logic, rather than that they are saying that we should think of the practice of that field as in principle reducible to operations in a formal logical system, which is incomplete. Etc.

comment by SilentCal · 2017-12-06T21:03:50.365Z · score: 3 (1 votes) · LW(p) · GW(p)

>If you don't assume that mathematics is a formal logic, then worrying about mathematics does not lead one to consider completeness of mathematics in the first place.

To make sure I understand this right: This is because there are definitely computationally-intractable problems (e.g. 3^^^^^3-digit multiplication), so mathematics-as-a-social-activity is obviously incomplete?

comment by Anthony Hart (anthony-hart) · 2017-12-07T04:35:40.986Z · score: 2 (1 votes) · LW(p) · GW(p)

No. I'm not advocating for some sort of finitism, nor was Brouwer. In fact, I didn't actually mention computability, that's just something gjm brought up. It's irrelevant to my point. Mathematics is a social activity in the same way politics is a social activity. As in, it's an activity which is social, or at least predicated on some sort of society. Saying that mathematics is incomplete is as meaningful as saying that politics is incomplete in the same way a formal logic might be. It just doesn't make sense.

Note that the intuitions which justify the usage of a particular axiom is not part of an axiom system, but those intuitions would still be part of mathematics. That's largely the intuitionist critique of "old" formalism. It was also used as a critique of logical positivism by Gödel.

comment by SilentCal · 2017-12-07T22:36:29.033Z · score: 3 (1 votes) · LW(p) · GW(p)

I get that old formalism isn't viable, but I don't see how that obviates the completeness question. "Is it possible that (e.g.) Goldbach's Conjecture has no counterexamples but cannot be proven using any intuitively satisfying set of axioms?" seems like an interesting* question, and seems to be about the completeness of mathematics-the-social-activity. I can't cash this out in the politics metaphor because there's no real political equivalent to theorem proving.

*Interesting if you don't consider it resolved by Godel, anyway.

comment by zulupineapple · 2017-12-14T18:58:10.795Z · score: 2 (1 votes) · LW(p) · GW(p)
Mathematics is a social activity in the same way politics is a social activity. As in, it's an activity which is social, or at least predicated on some sort of society.

Are you sayig that nothing a hermit would ever do can be called mathematics? That doesn't seem right.

comment by gjm · 2017-12-15T00:17:46.555Z · score: 4 (1 votes) · LW(p) · GW(p)

I'm pretty sure Anthony isn't claiming that mathematics is social in the sense that every mathematical activity involves multiple people working actively together. But that hermit would be doing mathematics in the context of the mathematical work other people have done. Suppose the hermit works on, say, the Riemann hypothesis: they'll be building on a ton of work done by earlier mathematicians; the fact that they find RH important is probably strongly influenced by earlier mathematicians' choices of research topics; the fact that they find other things RH relates to important, too. Suppose they think of what they're doing in the context of, say, ZFC set theory; there are lots of possible set-theoretic foundations (note: Anthony would probably prefer to avoid this notion of "foundations") one could use, and the particular choice of ZFC is surely strongly influenced by the foundational choices other mathematicians have made.

(Anthony might perhaps also want to say, though here I don't think I could agree, that if e.g. the hermit writes proofs then what those look like will be largely determined by what sorts of arguments mathematicians find convincing: that the point of a proof is precisely to convey ideas and their correctness to other mathematicians, which is a social activity even if those other mathematicians happen not to be there at the time. I don't agree with this because I think our hermit might well pursue proofs simply for the sake of ensuring the correctness of their conclusions, and a sufficiently smart hermit might come up with something like the notion of proof all on their own with only that motivation.)

comment by zulupineapple · 2017-12-15T07:53:38.898Z · score: 2 (1 votes) · LW(p) · GW(p)

That's a pretty low bar. Is wiping your ass a social activity too? Because, presumably, your mom taught you how to do it, and the fact you're doing it with paper is strongly influenced by earlier ass wiper's choices.

But never mind that. Suppose the hermit never learned any math, not even addition. Will you say that his math would still be social, because he already knew the words "zero", "one", "two", which hint at the set of naturals? Then suppose that the hermit has not seen a human since the day he was born, was raised by wolves, developed his own language from zero, and then described some theory in that (indeed, this hermit might be the greatest genius who ever lived). Surely that's not social. But is it not math?

comment by gjm · 2017-12-17T02:50:05.764Z · score: 4 (1 votes) · LW(p) · GW(p)

Personally, I'd be perfectly happy to say that our hypothetical hermit is doing mathematics despite the complete absence of social connections; but I wasn't endorsing the claim that mathematics is a social activity, merely explicating it. (And of course it's possible that my explication fails to match what Anthony would have said.) I am not confident enough of my understanding of Anthony's position to guess at his answer to your hypothetical question.

(But, for what it's worth, if for some reason I were required to defend the mathematics-is-social claim against this argument, I think I would say that it suffices that mathematics as actually practiced is social; making political speeches is fairly uncontroversially a social activity even though one can imagine a supergenius hermit contemplating the possibility of a society that features political speeches and making some for fun.)

comment by zulupineapple · 2017-12-15T11:12:25.390Z · score: 2 (1 votes) · LW(p) · GW(p)
Unlike grounded intuitions, an ungrounded one may be such that it's never modified by new information. This doesn't describe all ungrounded intuitions, but it describes the ones we're interested in.

I think my first intuition of "set" was modified by observing Russell's paradox.