I’m not sure I follow you. Are you saying that these two statements are similar in form?
A) There are no elks in my kitchen.
B) Day does not equal night.
While both can be proved (assuming one has access to one’s kitchen. it seems that the first one is subject to verifiability and falsification, the other needs no verifiability (checking), because it merrely involves contradicting the very definition of the entities (day, night) involved.
Also, what about the question of Mr. Carriers boxes that I raised. Do you think that an infinite amount of time is adequate to investigate an infinite number of boxes?
Empirical observation (or more simply, science) relies on the philosophical principle of falsification. Falsification is what differentiates a science from a pseudoscience. (See this exerpt from Karl Popper’s Conjectures and Refutations.) When you make an observation, you merely confim that what you had believed (an hypothesis, for example) is either false or not false. Science is not a bivalent logical system (i.e., having truth values of only true and false.) For example, Newton’s laws are not false (because they do apply to certain reference frames), but they are not true either (because they do NOT apply to certain other reference frames). Here’s another way to think of it. If empricism did indeed supply truth, then it would be unnecessary ever to experiment further once an hypothesis is confirmed. After all, the truth has been found.
I think that there’s a bit of equivocation and amphiboly in that. For one thing, science does not test definitions, and definitions are not falsifiable. Science tests hypotheses, and it is hypotheses that are falsifiable. For example, if you were to test F=MA, you would not be testing the definition of force, but whether the amount of force you had hypothesized is indeed equal to mass times acceleration. This is an important distinction because definitions of words are language dependent and arbitrary, and sometimes even change over time. But the mathematical equivalency itself transcends such barriers and contingencies.
Well, you can’t prove that a soul DOES exist either — especially not with empricism because, obviously, empiricism applies only to what can be sensed (or observed). I’ve never heard of the notion of a “testable predicate”, and I really don’t understand what it means. A logical assertion is true if it (1) follows from other logical assertions by the valid application of system rules, or (2) is accepted axiomatically.
I thought I covered that. Even if you have only one box, examining it will not prove any truth about its contents. Truth is an analytic thing; observation is a physical thing.
Seems to me that you can prove a negative in a closed system (such as “this coin is not showing Heads”) but you can not prove a negative in an open system (“no green cats exist”, “planets are never made entirely of plastic”).
I’m really trying to understand this: “Even if you have only one box, examining it will not prove any truth about its contents.” So, does that mean that if you do examine the box and find whatever is in it–a marble, a giraffe, nothing–that your observation is worthless? That the box still may or may not contain what you observed?
It seems you know a great deal more about formal logic than I, so please go slow. I find this extremely interesting and want to make sure I follow you.
You can’t prove positives either in that circumstance. For example, Einstein’s second premise for special relativity is that physical laws are everywhere the same. It was offered as axiomatic precisely because it cannot be proved.
No, the observation isn’t worthless; it’s just a matter of proper context. Observations are very valuable for determining the statistical reliability of predictions. Making risky predictions (as you saw in the link provided) is what science is all about. The mistake is made when that statistical reliablity is extrapolated into analytical truth. In other words, the result of a scientific experiment (or observation) tells you only about the particular hypothesis you tested, and whether it was false or not for that test.
Here’s another way to look at it. You can conduct experiments to convince yourself that 1 + 1 = 2 by examining objects and counting them. You will find that everytime you conduct your experiment, your hypothesis that there will be two objects will be confirmed. However — and this is a critical however — none of your experiments will tell you anything about the NEXT experiment. If you have tested it a bazillion times, you have not reliably proved that you will get two on the bazillion-and-first test.
The only way to prove that 1 + 1 = 2 necessarily is to use an analytic epistemology, like deduction. With the five Peano Axioms, the first inference you may draw is that 1 + 1 does indeed equal 2. But not only that, unlike with the scientific experiment, you have proved that 1 + 1 will always equal two every time.
Let’s be clear on a few things here. First of all, the statement that “Nothing can be proved true by empirical observation.” is just hilariously wrong (unless you want to get into the real navel-gazing philosophy that we can’t truly know anything). Even Karl Popper doesn’t say that. He’s talking about scientific theories and their relative worth. According to Popper, a theory that doesn’t produce risky hypotheses that can be proved false is worthless. However, “There’s no milk in the fridge.” is not a scientific theory. It’s a simple assertion of fact that can, in fact, be proved true by empirical observation.
Second, just because Karl Popper says it, doesn’t make it so. You’re arguing from authority which is just another logical fallacy.
One would be tempted to think, here, that you are trying to intimidate with obscure words. Unless you can point out a grammatically ambiguous sentence in my post that changes its entire meaning?
Well, I can’t right now prove that a soul exists, but it’s at least * conceivable *that someday one could, somehow, detect the presence of an intangible information-bearing component of an intelligent being that persists after its demise. However, by the way it’s defined, you could never prove that it doesn’t exist.
This is obvious to us all.
BTW, I’m not convinced that Peano’s axioms buy you an increased belief in the truth of 1+1, given that they are, after all, axioms.
Not so. Why should a blind man believe what you say you’ve observed and accept it as truth?
Setting aside that you’ve mutilated my point with respect to Popper, arguing from authority is not necessarily a logical fallacy (or more precisely, a rhetorical vice) when the authority is indeed an authority on the topic. See Argumentum ad verecundiam. Since Popper conceived the notion of falsification and applied it to science, it stands to reason that he is an authority on it.
Your temptations notwithstanding, I did that. You used phrases that made no sense, like “testable definition”.
Nonsense. You’re just redefining it as “an intangible information-bearing component…”. I can prove that pigs fly by redefining “fly” to mean “wallow in mud”.
So, everybody got together and handed you the megaphone. What rule of logic are you citing when you imply that your opponent is an idiot?
Not so. Why should a blind man believe what you say you’ve observed and accept it as truth?
[quote]
Hearken back to what I said about “navel gazing philosophy”. Why should a blind man be any more willing to believe your logical proofs about the existence of milk than my assertion that I went to a refrigerator, looked into it and saw that there was no milk? And frankly, if the blind guy wants to go the fridge, twist the cap off every bottle and sniff away, I have no objections. That’s the nice thing about empirical observations – they can be replicated.
And by the way, a testable predicate is simply a feature of using logic in the “real” world; propositions are likely to be empirically derived. You want to start reasoning about “green cats”, then you need a “real-world” predicate colorOfCat?(X). It’s not that complicated.
He is an authority on falsification. However, it does not mean that every pronouncement he makes is true. Nor, and more saliently, does it mean that your misconception of what he’s talking about is true.
Sadly, I used no such phrase. The closest I came was in sentence “Because even if I turn out my pocket, the definition of “soul” is untestable – it’s invisible, massless and has no detectable properties.” And you’d be mighty hard-pressed to call this either “equivocation” or “amphiboly” as the second phrase in that sentence makes my meaning crystal clear to even the meanest intellect. So either you were trying to intimidate with the use of those words or * you don’t understand what they mean*. Feel free to choose whichever alternative is the least embarassing to you.
I think that the one engaged in navel gazing is you.
Because you might be a liar, or simply mistaken, or not know what milk is, or any number of other reasons.
So can logical proofs. So what? Besides, how will Helen Keller determine whether there’s milk in the fridge using your method? Suppose she has a head cold. By your reasoning, a thing cannot be true without an observer. And that’s ridiculous.
You’re just making stuff up.
What exactly do you imagine that I have misconceived? You’re making things up that I said, like “every pronouncement he makes is true”. Is there a more desperate tactic of argument than arguing against things you make up yourself?
False dichotomy. Science doesn’t test definitions. It tests hypotheses. How a definition may be tested — and for what — is completely unclear.
I take that to mean that you know of no rule of logic that entitles you to call your opponent an idiot, and that you therefore argue hypocritically — pulling perceived logical fallacies out your ass when it suits you, and denying they exist when they apply to you. What I have observed is that you have succeeded in butchering your original point, which had some merit, into a baffling batch of nonsequiturs and nonsense.
My original point was very simple. It was that there are things that many people believe in – souls, ghosts, gods, wild conspiracy theories – whose existence can not be disproved, logically or empirically. And I’m not the one who complicated it.
Further, I think your OP is a wilful misunderstanding of the phrase “You can’t prove a negative.” Unless you’re a complete pedant, it’s obvious that the people saying that are not referring to trivial logical syntactic operations. It is clearly meant to mean one of two things:
a. That would have to be proved by exhaustive search which is impossible in any non-trivial world.
b. The thing that you are postulating has no properties that can be tested for and is therefore not in the domain that science is interested in.
(BTW, Helen Keller could easily identify a milk bottle either by the taste or by the distinctive shape and raised lettering on the bottle. Not that arguing that some people lack certain senses * in any way * weakens the empirical method. It merely means that you’re willing to split infinite hairs in order to avoid admitting that you were wrong when you stated that nothing can be proved empirically.)
You’re gonna have to point to the part where I missed the distinction between deduction and induction. Because I think you used a new logical technique called “imagining it” to figure that one out.
And, btw, when Helen Keller was alive, there were no milk cartons. Probably no fridges either, but ice boxes are close enough. Not that it matters – all your caveats about observers with perceptual defects and trust issues have absolutely nothing to do with the arguments I’m presenting.
Thanks, Gfactor, but I’m aware of these works. The issue is not whether the scientific method relies on induction and falsification. I’m perfectly happy to admit that it does. But Liberal made a far more sweeping claim. He claimed that * nothing * could be proved empirically. Specifically, he said “Nothing can be proved true by empirical observation. Empiricism can only prove things false. That is not a contingency of negation, but of the epistemic nature of empiricism.”
Note that Liberal did not qualify the above statement to limit it to the scientific method. So even the trivial statement, “There is a sunflower in my garden.” cannot, according to Liberal, be proved true despite the fact that I can see it from where I sit. I don’t see where induction comes into play here. I’m not making any assumptions about all sunflowers or all gardens.
Now I understand how a casual reader of this thread might think I’m making claims about induction and deduction because there are two concurrent arguments going on, the argument that Liberal thinks he is having and the one that everyone else is reading.
No, that’s not right. It has nothing to do with whether you can or cannot see it. It has to do with drawing an inference from what you have seen to truth. You seem to be incapable of resisting an affirmation of the consequent. Induction includes the scientific method, but the scientific method does not include all induction. That’s why a deductive method works for proving 1 + 1 = 2, whereas an inductive method fails — the conclusion is one stipulation included in the broader set of stipulations. It doesn’t matter how many times you see adding one object to another object or if you never see it at all; 1 + 1 will always equal 2 because deduction has proved it.
You might say it is definitional, or a tautology even. We aren’t adding anything to the system by repeatedly examining the sum of 1 + 1. In effect, we aren’t doing science at all.
Check out this example, which I just ripped from the healines . . . sort of. . .
Please read my post again. I said I wasn’t making assumptions about * all * sunflowers. The perceptual assumptions I’m forced to make about my own sunflower due to my sensory apparatus aren’t particularly interesting in the context of this argument.
See, this is why I made my snide comment about navel gazing. Any philosophical debate can be derailed by an appeal to the fallibility or subjective nature of the senses. And ultimately, that path doesn’t lead you anywhere useful because you just end up concluding that you can’t be sure of anything (except that you could use a drink).
If you want to go down this path, then you basically are demonstrating the whole “You can’t prove a negative thing” because you leave me with no tools to prove that it isn’t a sunflower, that I’m not hallucinating, and so on. (Of course, in this case, “You can’t prove a negative” is just a subset of “You can’t prove anything.”)