The author does a good job articulating his views on why Buddhist concentration and insight practices can lead to psychological benefits. As somebody who has spent years practicing these practices and engaging with various types of (Western) discourse about them, the author’s psychological claims seem plausible to a point. He does not offer a compelling mechanism for why introspective awareness of sankharas should lead to diminishing them. He also offers no account for why if insight does dissolve psychological patterns, it would preferentially dissolve negative patterns while leaving positive patterns unchanged. In my own opinion this has a lot more to do with the set and setting of the meditations practice, i.e., the expectation that practice will have salutary effects.
I am not convinced that this is a faithful “translation” of the Buddha’s teachings. He leaves out any talk of achieving liberation from rebirth which is the overarching goal of Buddhist practice in the original texts. He does not discuss the phenomenon of cessation/nirvana and whether it is necessary (according to the Buddha it is necessary). He also does not address the fact that the Buddha was not aiming to teach path of psychological health and wellbeing in our modern sense. Far from it, they idea that one could be happy and satisfied (in an ordinary psychological sense) was certainly recognized by the Buddha and his followers, but this was not seen as the goal of practice. In my view, the biggest misrepresentation of Buddhist ideology in it’s appropriation by the West was it’s construal as a a secular wellness path rather than an extreme doctrine that denies any value in ordinary happiness.
Polytopos
[Question] Why hasn’t the technology of Knowledge Representation (i.e., semantic networks, concept graphs, ontology engineering) been applied to create tools to help human thinkers?
David Spivak offers an account of Categories as database schemas with path equivalencies that is similar to the account you’ve given here in his book Category Theory for the Sciences. He still presents the traditional definitions, giving examples mainly from the category of sets and functions. I also didn’t find his presentation of database schema definition especially easy to understand, but it is very useful when you realize that a functor is a systematic migration of data between schemas.
Mathematical Intuitionism and the Flow of Time
This is a fascinating article about how the concept of originality differs in some Eastern cultures https://aeon.co/essays/why-in-china-and-japan-a-copy-is-just-as-good-as-an-original
Fittingness: Rational success in concept formation
I disagree with the idea that one doesn’t have intuitions about generalization if one hasn’t studied mathematics. One things that I find so interesting about CT is that it is so general it applies as much to everyday common sense concepts as it does to mathematical ones. David Spivak’s ontology logs are a great illustration of this.
I do agree that there isn’t a really good beginners book that covers category theory in a general way. But there are some amazing YouTube lectures. I got started on CT with this series, Category Theory for Beginners. The videos are quite long, but the lecturer does an amazing job explaining all the difficult concepts with lots of great visual diagrams. What is great about this series is that despite the “beginners” in the title he actually covers many more advanced topics such as adjunction, Yoneda’s lemma, and topos theory in a way that doesn’t presuppose prior mathematical knowledge.
In terms of books, Conceptual Mathematics really helped me with the basics of sets and functions, although it doesn’t get into the more abstract stuff very much. Finally, Category Theory for Programmers is quite accessible if you have any background in computer programming.
according to the story that your brain is telling, there is some phenomenology to it. But there isn’t.
Doesn’t this assume that we know what sort of thing phenomenological consciousness (qualia) is supposed to be so that we can assert that the story the brain is telling us about qualia somehow fails to measure up to this independent standard of qualia-reality?
The trouble I have with this is that there is no such independent standard for what phenomenal blueness has to be in order to count as genuinely phenomenal. The only standard we have for identifying something as an instance of the kind qualia is to point to something occurring in our experience. Given this, it remains difficult to understand how the story the brain tells about qualia could fail to be the truth, and nothing but the truth, about qualia (given the physicalist assumption that all our experience can be exhaustively explained through the brain’s activity).
I see blue and pointing to the experience of this seeing is the only way of indicating what I mean when I say “there is a blue qualia”. So to echo J_Thomas_Moros, any story the brain is telling that constitutes my experience of blueness would simply be the qualia itself (not an illusion of one).
I really enjoyed this post. It was fun to read and really drove home the point about starting with examples. I also thought it was helpful that it didn’t just saying, “teach by example”. I feel that simplistic idea is all too common and often leads to bad teaching where example after example is given with no clear definitions or high level explanations. However, this article emphasized how one needs to build on the example to connect it with abstract ideas. This creates a bridge between what we already understand and what we are learning.
As I was thinking about this to write this review, I was trying to think of examples where it makes more sense to explain the abstract thing first and then give examples. I had great difficulty coming up with any examples where abstract first makes sense. The few possible examples I could think of came from pure math, and even there I wonder if it wouldn’t still help to start with examples.
The most abstract subject I’ve ever studied is category theory. Recently I was learning about adjoint functors, and here indeed the abstract definition make sense entirely independent of any examples. However, having learned the definition one can’t really do anything with adjoint functors until one has seen it in some examples. So this might be an example where the abstraction-example-abstraction order or explanation makes sense. On the other hand, once I learned about the free-forgetfull adjunction, I thought that would have been a good example to start with to build intuition before introducing the abstract definition. I realized that my favorite teachers of the subject still use a lot of examples. Like Bartosz Milewski, who comes at category theory from the perspective of a programmer.
Learning to program is also a good example where in advance one might think it would make sense to learn a bunch of abstractions first. However, in practice, one learns to code by example, then after having mastered some examples, learning the principles behind them.
A few of points. First I’ve heard several AI researchers say that GPT-3 is already close to the limit of all high quality human generated text data. While the amount of text on the internet will continue to grow, it might not grow fast enough for major continued improvement. Thus additional media might be necessary for training input.
Second deaf blind people still have multiple senses that allow them to build 3D sensory-motor models of reality (touch, smell, taste, proprioception, vestibular, sound vibrations). Correlations among these senses gives rise to understanding causality. Moreover, human brains might have evolved innate structures for things like causality, agency, objecthood, etc which don’t have to be learned.
Third, as DALL-E illustrates, intelligence is not just about learning knowledge it is also about expressing that learning in a medium. It is hard to see how an AI trained only on text could paint a picture or sing a song.
What happens when OpenAI simply expands this method of token prediction to train with every kind of correlated multi-media on the internet? Audio, video, text, images, semantic web ontologies, and scientific data. If they also increase the buffer size and token complexity, how close does this get us to AGI?
Various fisheries have become so depleted as to no longer be commercially viable. One of the obvious examples is the Canadian Maritime fisheries. Despite advanced warning that overfishing was leading to a collapse in cod populations, they were fished to the point of commercial non-viability, resulting in a regional economic collapse that caused depressed standards of living in the maritime provinces to this day.
Excellent article, thank you. I particularly enjoyed your images and diagrams. To me concept diagrams are another superpower for explaining things. Have you written anything about that?
The term I introduced is “fittingness” not fitness. Fittingness is meant to evoke both fit, as in whether a pair of shoes fit my feet, and also fitting, as in “that is a fitting word choice for this sentence”. It is possible that there is another term which would be a better label for the underlying concept. If you have suggestions for alternatives I would love to hear them.
I think it’s important that the word is specific, not general. As you point out, we could use a general term qualified with a lengthy phrase like: “success with respect to concept formation in the context of rational inquiry,” but that clunker is difficult to sprinkle throughout an argument. The advantage of a single term to encapsulate an important idea should be obvious. Nobody suggests we should replace the term truth with the phrase, “success with respect to belief in the context of rational inquiry.” Moreover, the metaphorical associations of fit and fitting give a clue about what this kind of success actually involves. It involves concepts fitting the structures found in reality, without implying the unsustainable idea that we can know what the natural structures are in advance of inquiry. We can size a shoe without knowing our foot size in advance, just by trying on lots of different shoes until one fits.
I admit that the concept I call fittingness is not often used at present. Indeed I believe in present discourse fittingness is often muddled either with truth or instrumental usefulness. This precise muddle leads to difficulties in understanding how Kuhnian paradigm shifts (or pre-paradigmatic science) can be understood as legitimate expressions of rational inquiry. I didn’t do more than hint at such problems in the post, maybe I’ll write another post about this.
The point of my post is to diffuse these muddles and make it easier to appeal to fittingness on the regular. I want it to be a part of our ready-to-hand conceptual repertoire as rationalists, in the same way that we have easy access to terms like truth, probability, evidence, etc. I make a case for why this would be of benefit in the section titled, “Why is this Distinction Important?” If you don’t find that section convincing please let me know what you see as the specific shortcomings and I will try to address them.
I find it hard to believe your prediction that this breakthrough will be insignificant given what I’ve read in other reputable sources. I give a pretty high initial credence to the scientific claims of publications like Nature which had this to say in their article on Alphafold2:
The ability to accurately predict protein structures from their amino-acid sequence would be a huge boon to life sciences and medicine. It would vastly accelerate efforts to understand the building blocks of cells and enable quicker and more advanced drug discovery.
Thanks for your comment. My replies are below.
“so Gisin’s musings… are guaranteed to be not a step in any progress of the understanding of physics.”
What is your epistemic justification for asserting such a guarantee of failure? Of course, any new speculative idea in theoretical physics is far from likely to be adopted as part of the core theory, but you are making a much stronger claim by saying that it will not even be “a step in any progress of the understanding of physics”. Even ideas that are eventually rejected as false, are often useful for developing understanding. Gisin’s papers ask physicists to consider their unexamined assumptions about the nature of math itself, which seems at least like a fruitful path of inquiry, even if it won’t necessarily lead to any major breakthroughs.
“mathematical proofs are as much observations as anything else. Just because they happen in one’s head or with a pencil on paper, they are still observations.”
This reminds me of John Locke’s view that mathematical truths come from observation of internal states. That is an interesting perspective, but I’m not sure it an hold up to scrutiny. The biggest issue with it seems to be that in order to evaluate the evidence provided by empirical observations we must have a rational framework which includes logic and math. If logic and math themselves were simply observational, then we have no framework for evaluating the evidence provided by those observations. Perhaps you can give an alternative account of how we evaluate evidence without pre-supposing a rational framework.
“The difficulty of calculating a far-away digit in the decimal expansion of pi has nothing to do with pi itself: you can perfectly well define it as the ratio of circumference to diameter, or as a limit of some series”
I agree with this statement. I think though it misses the point I was elaborating about Brouwer’s concept of choice sequences. The issue isn’t that we can’t define a sequence that is equivalent to the infinite expansion of pi, I think it is rather that for any real quantity we an never be certain that it will continue to obey the lawlike expansion into the future. So the issue isn’t the “difficulty of calculating a far-away digit” the issue is that no matter how many digits we observe following the law like pattern, the future digits may still deviate from that pattern. No matter how many digits of pi a real number contains, the next digit might suddenly be something other than pi (in which case we would say retrospectively that the real number was never equal to pi in the first place). This is actually what we observe, if we are to say measure the ratio of a jar lid’s diameter to it’s circumference. The first few digits will match pi, but then as we to smaller scales it will deviate.
″...the idea that Einstein’s equations are somehow unique in terms of being timeless is utterly false”
I made no claim that they are unique in this regard.
[Question] How can labour productivity growth be an indicator of automation?
[Question] What do you think should be included in a series about conceptual media?
You might be interested to look at David Corfield’s book Modal Homotopy Type Theory. In the chapter on modal logic, he shows how all the different variants of modal logic can be understood as monads/comands. This allows us to understand modality in terms of “thinking in a context”, where the context (possible worlds) can be given a rigorous meaning categorically and type theoretically (using slice categories).
Agreed. Open AI did a study on the trends of algorithm efficiency. They found a 44x improvement in training efficiency on ImageNet over 7 years.
https://openai.com/blog/ai-and-efficiency/