×
all 52 comments

[–]Katallaxiscritical rationalism 2 points3 points  (4 children)

The critical rationalist solution to the Münchhausen Trilemma can be found in the writings of Bill Bartley, particularly his books Retreat to Commitment and Unfathomed Knowledge. Also of interest is 'A Metacontext for Rationality', from the Appendix of RoC, and his paper on 'Rationality, Criticism, and Logic'.

I should stress that while I believe Bartley did satisfactorily solve the Münchhausen Trilemma, few professional philosophers agree (or are even aware of) his arguments.

I don't have time to explain more right now, but I'll be back later. This is one of my favourite topics. I too once despaired for rationality, knowledge, and truth in the face of this problem. For me, it's the problem of philosophy.

[–]ittehbittehladeh[S] 1 point2 points  (3 children)

Thank you very much, I will send those texts his way. How did you overcome your despair?

[–]Katallaxiscritical rationalism 0 points1 point  (0 children)

Here's a more intuitive and perhaps scientific explanation of how I think.

The theory of evolution by natural selection is wonderful. Its assumptions provide a context in which to frame problems, evaluate solutions, and construct powerful explanations. In particular, evolution enables us to explain adaptation as a product of nature.

How do trees know to lean toward the sunlight? How do birds know to fly south in the winter? How do spiders know to spin a web? More fundamentally: How do the genomes of trees know to build photosynthetic cells? How do the genomes of birds know to build an internal compass? How do the genomes of spiders know how to make silk thread?

According to the laws of physics, the probability of any such behaviour or structure spontaneously appearing is infinitesimally small. It tempts one to believe that adaptations must not be a product of nature; they must have come from somewhere else. This is the intuition behind William Paley's watchmaker argument.

However, Paley's solution merely shifts the problem back a step. If the spider "knows" to spin a web because it was designed to do so by an artificer, then how does the artificer know to build a spider that "knows" to spin a web? Of course, the traditional answer is that God is the artificer and God just knows everything already. But if that was a satisfactory explanation then so would have been the answer that the adaptions just existed already.

The stock answer 'because God did it and God can do anything' might be true, but it's not an good explanation. Rather, it's the implicit rejection of explanation no less than simply saying that adaptions just exist because they do and that's the end of it.

You may wonder what all this has to do with the Münchhausen Trilemma. Don't worry. I'll get to it soon.

I've been using the word 'know' very liberally, and I've placed scarequotes around it occasionally. In the philosophers sense, spiders don't know how to spin a web and much less do their genomes know how to make silk thread. There is no justified true belief here; indeed, there is scarcely anything like a subjective knower in these examples. However, there is an intuitive sense in which we are nonetheless tempted to call it knowledge. It's not abstract or subjective knowledge of a proposition, but rather a tacit knowledge embedded in structure or habit.

While abstract knowledge, like modern physics, has far-reaching (figuratively "reaching" out into the far corners of space) applications, the tacit knowledge embedded in habit, genes, and even tradition tends to be parochial and specific. The significant exception is the genome that "knows" how to build a human brain, because this allows it to exploit the universality of abstract knowledge.

So far I've been talking about adaptations as tacit or parochial knowledge, but I still haven't talked about where they come from. If William Paley's explanation is unsatisfactory, then how can we explain the existence of adaptations? The answer provided by the theory of evolution is mutation and selection.

Mutations just happen. Of course, they have physical causes, but nothing about the causes of a mutation entails that it will be beneficial or lethal to its host organism. There is a sense, then, in which adaptations do "just happen" spontaneously; such knowledge is no less part of nature than tides, fire, and distant nebulae. However, complex adaptations do not happen all at once, but are gradual accumulations over thousands and millions of years.

What needed explaining was not how small random flukes sometimes work out well--we know as much from everyday life. What needed explaining was how something as complex and fine-tuned as the human eye could possibly have arisen in a universe that, prima facie, seems unsuited to its existence. This is exactly what the theory of evolution by natural selection achieves.

The striking thing about this explanation of adaptation is that it bears little resemblance to knowledge in the philosopher's sense, even though the very possibility of abstract and subjective knowledge apparently depends upon such adaptive processes (unjustifiable non-beliefs).

Like I said, mutations just happen. They have physical causes, but nothing about their causes tells you anything about whether they're adaptive, and yet sometimes they are. If this process can, in principle, lead a spider to know how to spin its web, then why might not a similar process lead to useful or even true theories in physics? Maybe something like this process is actually happening through the institutions and methods of science.

Seeking justification, in this view, is like trying to derive the adaptability of a mutation from its causes rather than its consequences (as though one frequency of radiation inherently produces adaptive mutations and another maladaptions). That is, it identifies "knowledge" as subjective beliefs with special causes, whether sense perception, logical proof, divine revelation, or whatever.

The special causes are what constitute justification for the belief, except nobody can agree which justifiers are right--which causes of belief are the "true source" of knowledge. It's from this quagmire that the Münchhausen Trilemma rears its ugly head.

However, for me, this is like asking: which causes of mutation are the true source of adaptations? The question simply doesn't make sense in the context of an evolutionary theory of knowledge, (i.e. evolutionary epistemology in the vein of Popper, Bartley, Campbell, and their students). The Münchhausen Trilemma doesn't make an appearance in this theory of knowledge, because knowledge doesn't have anything to do with justifying beliefs.

All this said, if your friend desires the comforting illusion of certainty--the empowering feeling of knowing, for sure, that he is right and everyone who disagrees is wrong--then I can't help. Maybe he should join a cult or become an Objectivist. I'm fallible and can offer only fallible answers.

[–]Katallaxiscritical rationalism 0 points1 point  (1 child)

I believe I solved the problem.

Nothing is justifiable; the sceptic's arguments are too strong. There is no such thing as justified true belief, which is the traditional definition of knowledge. That led to despair.

However, I came to realise that it didn't matter. Seeking justification is like chasing a mirage in a desert when you have a bottomless canteen of water on your belt. All the good stuff--truth, knowledge, rationality, science, beauty, and so on--can be had without any need to justify myself to the sceptic.

On it's own terms, the problem is insoluble. After many futile attempts to save justification, most philosophers resign themselves to some kind of foundationism (I count coherentism as a type of foundationism in this context) or scepticism. They just learn to live with one of these conclusions and struggle on, knowing that they've failed in their original goal and have to make the best of a bad situation.

However, I personally feel liberated. I agree with the sceptic's conclusion that nothing is justifiable, but I go further and conclude that it was wasn't necessary nor even all that desirable in the first place. David Miller's 'Critique of Good Reasons', in Critical Rationalism: Restatement & Defence, sketches out some of these arguments well.

[–][deleted] 0 points1 point  (0 children)

That it isn't desirable is up for much debate. However, if it was truly necessary, I don't see how we would be here, debating this today.

[–][deleted] 4 points5 points  (33 children)

There are several different theories of knowledge that do not succumb to the Münchhausen Trilemma, having been constructed with it in mind, such as virtue epistemology, reliabilism, deflationist theories that reject the condition of truth, and critical rationalism.

[–]TheGrammarBolshevikEthics, Language, Logic 3 points4 points  (29 children)

Isn't foundationalism itself just one of the horns of the dilemma?

[–][deleted] 0 points1 point  (28 children)

Yes.

To my knowledge virtue epistemology and reliabilism reject the KK thesis, which is a big part of the problem with most versions of the Münchhausen trilemma.

[–]oceanwornglass 0 points1 point  (8 children)

Why is the KK thesis necessary for the existence of the trilemma?

[–][deleted] 0 points1 point  (7 children)

Because if you need not consciously believe that P, much less have reasons for that P, one could have a terminating regress without suffering from the problems that face the fideist horn of the trilemma, namely the fact that it's accepted because you intuit that it's right, but since others may have differing intuitions, any objection to the 'self-evident' ground assumptions you level at them can be passed off with a tu quoque.

Reliabilism gets around that by giving a definition of knowledge, not giving any normative claims for how we ought to behave in argumentative discourse.

[–]oceanwornglass 0 points1 point  (6 children)

So virtue epistemology lacks the capability of producing any objective standard outside the framework built by the intuitions, but instead provides guidelines for discourse between two entities holding different intuitions?

The way I understand Realiablism is that it gives a definition for knowledge with certain "weaker" limitations placed on the extent of that knowledge. For instance, if there are no relevant alternatives to a supposed piece of knowledge then the knower is correct. This was meant to provide the skeptic their alternate possibilities, but deny them any relevance.

[–][deleted] 0 points1 point  (5 children)

No, virtue epistemology has a strong externalist bent: S need not be aware of their actions, so long as they act reliably/virtuously, in order for knowledge to be ascribed to S.

Imagine a checklist that only God can see: God checks off the criteria, points to S, and says, 'Yup, you know'. It doesn't work so well in argumentative discourse, since you might have two subjects (S and R), one whose beliefs are true while the other holds true beliefs that are gained by a stable reliable process--it is difficult, if not impossible, for anyone to tell if S or R is the knower. In other words, a lot of internalists dislike externalism because it calls into question the value of holding knowledge above mere true beliefs.

[–]oceanwornglass -1 points0 points  (4 children)

So if I understand you correctly: Given virtue epistemology, the knowledge about who is a "knower" is impossible to come by. Instead, definitions for reliable and stable processes are used to verify the possibility of knowledge.

[–][deleted] 0 points1 point  (3 children)

No, by the externalist's lights, we can know that S is a knowing subject for much the same reason S is a knowing subject--we just don't need to satisfy what most internalists would consider to be the necessary criteria for knowledge.

Furthermore, just because something is defined does not make it verified or possible. The externalist gives a conception of knowledge which, by their lights, fits comfortably within the commonsense conception of knowledge. They then look to see if there are problems with this conception lining up with common sense, if it suffers from sceptical problems, is weak in specific scenarios, requires additional conditions, or is as useful as alternative conceptions.

[–]oceanwornglass 0 points1 point  (2 children)

That cleared it up, thanks.

[–]ADefiniteDescriptionlogic, truth 0 points1 point  (18 children)

I find it extremely amusing that KK is rejected because of this problem, yet is a foundational axiom for S4, the logic that every formal epistemologist uses. I've never quite understood why there's no opposition from logicians to S4 on these grounds.

[–]konstatierungphil of logic, mind; ethics 0 points1 point  (1 child)

But KK is an axiom for S4 only if the box is interpreted as 'it is known that', right? And it's totally possible to read the box as alethic necessity alone (I even thought it was standard), which could be why logicians don't object on the grounds that KK is bad.

(But I'm out of my area here, so danged if I know.)

[–]ADefiniteDescriptionlogic, truth 0 points1 point  (0 children)

You're correct - you have to be working in doxtastic logic for it to be the true KK principle. However one might expect that you could use the same logic for different purposes.

Not a particularly strong argument, but one possible motivation for expecting doxtastic logics to work like standard alethic logics. Formal epistemology isn't my gig though.

[–][deleted] -1 points0 points  (10 children)

That's what you get with balkanisation. It would make for an interesting paper. Probably has, but haven't heard of it.

[–]ADefiniteDescriptionlogic, truth 0 points1 point  (9 children)

It's particularly troubling to me because I'm an intuitionistic logician and any intermediate sentence can be translated into a sentence intermediate between S4 and S5, so long as you prefix it with a box.

Perhaps I could work on this..

[–][deleted] -1 points0 points  (8 children)

That's actually a really interesting idea. I might decide to work from the other end (or just pass it off to someone else in conversation, since I've become enamored in some radical deflationist theories of knowledge coming out of Sartwell and Foley), how reliabilists have to bite the bullet and reject S4 or get all instrumentalist with their logic.

[–]ADefiniteDescriptionlogic, truth 0 points1 point  (7 children)

I really don't get deflationism whatsoever. I'm taking a seminar in truth starting tomorrow that will hopefully clear that up, but Beall was not convincing whatsoever.

I'm not sure what you mean by instrumentalism in logic to be honest. Care to explain?

[–][deleted] -1 points0 points  (6 children)

It's not deflationism with truth, that's completely different. I'm beginning to think a deflationist account for mathematical axioms may work, but eh, I like correspondence theories for everything else. And I'd rather stick with correspondence theories for them as well. It just doesn't seem to work the same way. But what do I know, right?

I'm just trying to find the right kind of word analogous to the 'shut up and compute!' seen in Poincaré: stop talking about whether or not your scientific theories are true; they're useful, and that's what we want in science. Contradictions are allowed, so long as they're acknowledged. So translate that to maths.

Fuck, it's time that I get ready for bed now. I'll be on for another half hour. I was supposed to prepare something but I ended up watching shitty movies. Have to wake up early.

[–]ADefiniteDescriptionlogic, truth 1 point2 points  (5 children)

Oh god, contradictions make me cry. If scientists want those I feel like letting have all of them.

[–]ittehbittehladeh[S] 1 point2 points  (2 children)

Thank you, i will look into these theories.

[–][deleted] 0 points1 point  (1 child)

You're welcome. Any other questions, I'd be happy to help answer them.

[–]ittehbittehladeh[S] 0 points1 point  (0 children)

I may contact you in the future once i've talked to my friend. Thanks :)

[–]wzapolitical phil., epistemology 1 point2 points  (3 children)

Although all of them have problems, there are attempts to meet the Trilemma head-on and not artfully dodge the whole issue like drunkentune and his ilk advocate ;)

I like the problem and solutions phrased this way (which comes more or less from Feldman):

Either there are justified basic beliefs or each justified belief has an evidential chain that either:

a) terminates in an unjustified belief

b) is an infinite regress of beliefs

or

c) is circular

Possible solutions:

Foundationalism--there are justified basic beliefs

Coherentism--accepts circular justification, but views it more as a complex web where beliefs can be at least partially justified on their own basis if they fit appropriately with other beliefs

Infinitism--an infinite regress can justify a belief (this one is pretty wacky--I think Peter Klein is the only person on Earth who advocates for it)

Skepticism--there are no justified beliefs

I lean toward foundationalism, but not the classical/Cartesian type (i.e. basic beliefs must be infallible and all non-basic beliefs must be deduced from them via simple logic) because that ends up showing that we really don't know as much as most people feel we know. The more popular form today is known as modest foundationalism. Modest foundationalism allows for the fallibility of basic beliefs, and using deduction and non-deductive inferences to justify and form non-basic beliefs. It also acknowledges that non-deductive inferences can never be valid--error is always possible.

Modest foundationalism claims:

1) that basic beliefs are spontaneously formed beliefs

2) spontaneously formed beliefs are justified when they are a proper response to experience and have no defeating evidence

3) non-basic beliefs are justified when supported by strong inductive inferences from justified basic beliefs

I hope this help gets your friend through his skeptical crisis. If it's any consolation, even the greatest of epistemologists are often plagued by skeptical doubts from time to time.

[–]ADefiniteDescriptionlogic, truth 0 points1 point  (1 child)

Without having a huge background in this area I'm not too comfortable with dismissing infinitism off the bat. So he's not completely alone.

[–]wzapolitical phil., epistemology 0 points1 point  (0 children)

I didn't mean to dismiss infinitism, just Klein's formulation and defense of it. If anyone wants crazy-awesome counterintuitive concepts to be true, it's me. Not that I have a better defense of infinitism than Klein has come up with--it may be true and just not be very well supportable with good reasons.

[–]ittehbittehladeh[S] 0 points1 point  (0 children)

Thank you for your response, I will send these ideas his way. Unfortunately there's a high chance he's already become versed in them, but it's always worth a try.

[–]redditsuckstesticles 1 point2 points  (0 children)

It sounds like your friend needs to seek counseling.