[emptytheory]

"You cannot be an expert in every field and actually follow the evidence to make up your own conclusion (which btw does not guarantee that your interpretation of the evidence is correct)."

It's pretty easy to follow the evidence in most situations, actually. That doesn't make me an expert. That makes me a person who understands the methodology of science, logic, and statistics. You have to know precisely what your assumptions (observations) are and how to make correct conclusions from those assumptions. The only constraints are your time, your determination, and your ability to get the original research (a constraint is not "guaranteeing your interpretation is correct").

Some people are highly opinionated and don't have the understanding to match. That doesn't mean you can't have any sort of understanding as a non-expert.

"As an aspiring physicist I feel helpless every time I'm at the doctor's office. I cannot just "follow the evidence"."

Doctors aren't necessarily better trained at making inferences and recommendations. Consider their education. Some of them are very poor thinkers.

[ics]

> The only constraints are your time and your determination.

...The combination of which is often a luxury that experts in one field cannot afford, thus the statement that one cannot be an expert in every field. "Cannot" is most likely being used for practicality, not in the literal sense of information being totally unfathomable given infinite time and determination.

You both have good points but they really needn't conflict so harshly.

[woodman]

> You both have good points but they really needn't conflict so harshly.

I disagree, lumberjack's point is essentially an appeal to authority - which is dark-age style thinking.

Just represent everything in a machine readable set of axioms, problem solved. You don't need to be an expert in every field, you just need to have a basic understanding of first order logic.

[cortesoft]

Right, but someone still has to do the representation (encoding the information into the machine readable format), and how can you ever know that someone is encoding it correctly?

In addition, your assumption is that everything can be encoded in an axiomatic language (probably not true), and that we have enough information to encode it all even if it was possible.

[woodman]

> Right, but someone still has to do the representation...

The same people writing papers now.

> and how can you ever know that someone is encoding it correctly?

Reasoning engine. As new data is entered it is run against prior data, to the end user it would look almost like a spell check.

> ...your assumption is that everything can be encoded in an axiomatic language (probably not true)...

That is an extremely safe assumption to make, as the problem has been studied for a long time and I'm aware of no evidence that would back up your position.

> ...and that we have enough information to encode it all even if it was possible.

We do.

[AnthonyMouse]

> That is an extremely safe assumption to make, as the problem has been studied for a long time and I'm aware of no evidence that would back up your position.

http://en.wikipedia.org/wiki/Godel's_incompleteness_theorems

[woodman]

http://en.wikipedia.org/wiki/Open-world_assumption

[ics]

> Just represent everything in a machine readable set of axioms, problem solved.

We all look forward to the day that you or anyone else can do this.

emptytheory's suggestion: have tons of time and determination to solve the problem. Caveat: the problem has already been solved and applied by many experts many times, where the main criticism is that some of the time these experts' application over repeated attempts is not 100% consistent.

Your suggestion: encode all necessary knowledge to solve the problem so that a computer can solve it for you. Caveat: this is either being done already by domain experts, or you must go out of your way to navigate the problem based on logic and not experience (tedious, but potentially very rewarding) so as to encode this information yourself (taking some unknown amount of time).

Caveat in all cases: You are just as apt to fuck up along the way as anyone else who possesses the same logical faculties as you, which presumably at least some other experts in question would.

lumberjack's argument may not possess the logical upper hand, but it is a valid concern for people who are mortal, employed (or otherwise occupied with their time), and without access to a medical library. Perhaps the best way to put this is, I look forward to the day when you can prove their reasoning wrong in such a reproducible way rather than completely dismissing a conclusion due to some fault along the way.

[woodman]

> I look forward to the day when you can prove their reasoning wrong in such a reproducible way rather than completely dismissing a conclusion due to some fault along the way.

A set of axioms with a reasoner would do both of those things. That will be web 3.0, it is being worked on.

[Qwertious]

I disagree, this is a "fallacy fallacy" - you named a fallacy which lumberjack (apparently) used, but that doesn't actually make the argument wrong.

And you seem to ignore the fact that getting a degree takes most people multiple years, and that "student" is an occupation. If you follow the evidence, people can't learn everything because it takes way too much time.

[woodman]

> I disagree, this is a "fallacy fallacy"

I disagree, this is a "fallacy fallacy fallacy". You seem to ignore the fact that I did not suggest that people can learn everything. I suggested that people learn enough logic to use it as a tool to make learning everything else unnecessary.

Also, the scarcity of time being used to justify the economically reasonable appeal to authority, in the context of global warming / scientific method consensus, may be the most unintentionally funny thing ever.

[coldtea]

>I suggested that people learn enough logic to use it as a tool to make learning everything else unnecessary.

Which doesn't even make sense. Logic by itself is useless. Could as well talk about some abstract unexisting universe.

It's only when you feed it items ("learning everything else") that you make something out of it.

[woodman]

Wow, I see I'm going to have to break this down Barney style in order to reach you:

The silly argument that started this all off was that you have to be an expert in every field in order to examine complex systems or problems that span multiple domains. This is simply not true, because a complex idea depends upon simpler ideas. These ideas can be formalized, where scientific theory occurs at the edge nodes and verification occurs at well connected nodes. This would allow an individual to select a layer of abstraction to work on - not unlike software development.

This isn't very far off from the present system of scientific journals and peer review.

[ics]

In other words, inverting the conclusion of a fallacy is itself a fallacy.

[coldtea]

>Just represent everything in a machine readable set of axioms, problem solved

Great idea! Let me just tell my friends, Hilbert and Russel about it! Maybe my friend Kurt will like it too!

/s

Not to mention that most of the problems science has to tackle we cannot even begin to have them formulated in some concise "set of axioms" even if that worked in theory.

And that's for hard sciences...

[woodman]

I never said that it would be "concise". Also, there would be nothing preventing the use of stubs in the knowledge graph.

[mturmon]

I can't be sure from such a short reply, but in this glib statement, and the one you made above, you seem to be unaware of the very real consequences of the Godel Incompleteness Theorem. This is what @coldtea is referring to.

In short: even for a relatively easy-to-quantify universe of discourse like Mathematics, this theorem implies that (of necessity) some propositions will not be provably true or false, or that the system will contain a contradiction. You have a choice of either incompleteness or contradiction (incompleteness seems better).

That's for Mathematics. Now, consider physics, biology, or sociology. And more important, consider that the questions present are at the frontiers, so are very much not reducible to codification. It's a real problem. If you'd ever worked on a really complex, multifaceted, end-to-end science problem (say, weather forecasting, or drug design), you'd have a little more humility.

[woodman]

You saw my link to the open world assumption above... so I'm not sure why you'd go on about the incompleteness theorem.

Can you think of an idea that cannot be represented as true, false, or unknown? Now consider a hypothesis. I'm not saying it would be simple or easy, just possible and preferable to the present system.

As far as my apparent lack of humility: in the interest of not wasting your time or my own, I've truncated my correspondence. From now on, just imagine that all my posts are prefixed with a paragraph in which I grovel before the throne of scientific greatness.

[eli_gottlieb]

Hey everyone, let's all point and laugh at the primitive still using first-order logic rather than stochastic type theory! What does he think this is, the 1970s? Wake up, bro: a whole century has passed.

</tongue-in-cheek>

[tjradcliffe]

> It's pretty easy to follow the evidence in most situations, actually.

I'm a physicist who has done work on data analysis in cancer genomics. The depth and complexity of cancer biology is enormous, and "following the evidence" is the work of years.

It's easy to follow superficial arguments about specific experiments. It is very, very difficult to get hold of the ambiguous morass that is the true leading edge, which is so far away from the layperson's event horizon they aren't even aware it exists, and so end up believing that it's not that hard to follow the evidence in most situations.

[emptytheory]

Give me an example of a nonsuperficial argument.

"It is very, very difficult to get hold of the ambiguous morass that is the true leading edge, which is so far away from the layperson's event horizon they aren't even aware it exists, and so end up believing that it's not that hard to follow the evidence in most situations."

What are you talking about here? How does that conflict with what I said? In my original post, one thing I asserted is that you should be aware of your assumptions. I don't see the relevance of saying "knowledge of the leading edge is hard to attain" or "the leading edge is ambiguous".

[emptytheory]

If you're going to downvote, please say why.

I don't think I ever denied that there are technical fields where coming to a conclusion takes time. Should I be apologizing for my use of "most"? The only point I was trying to make was that "guaranteeing your interpretations are correct" is not a constraint (see my response to lumberjack). As a result, being able to form correct conclusions is possible as a non-expert. Is this a surprising statement to anyone?

tjradcliffe's post reads essentially as "non-experts are so unaware/ignorant that they form naive beliefs such as yours". What a constructive comment! Maybe I should just shut up and listen to the experts!