You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

ChristianKl comments on Open Thread, September 30 - October 6, 2013 - Less Wrong Discussion

4 Post author: Coscott 30 September 2013 05:18AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (295)

You are viewing a single comment's thread.

Comment author: ChristianKl 06 October 2013 03:11:07PM 1 point [-]

What's the relationship between Epistemology and Ontology? Are both important of attention or do you get the other for free when you deal with one of them?

Comment author: Protagoras 07 October 2013 02:24:12PM 0 points [-]

An exceedingly complicated and controversial question! Some have argued that you only need epistemology, or even that epistemology is all you can get; you can only know what you can know, so you might as well confine your attention to the knowable, and not worry whether there might be things that are which are not knowable. Others claim that it's obvious that whether things exist or not surely doesn't depend on whether they're known, and it's even less likely that it could depend on such a suspicious, hypothetical property as knowability. Of course, the latter view doesn't entail that one should favor ontology over epistomology, but trying to balance both introduces very difficult problems of how to tie the two together, so it is fairly common to take one as primary and use it to settle questions about the other.

One might wonder what practical consequences one choice or the other might have, and here again there is much controversy. The pro-ontology faction claims that emphasizing epistemology encourages subjectivism and relativism and weakens our grasp on reality. The pro-epistemology faction replies that emphasizing ontology is exactly as relative (or non-relative) as emphasizing epistemology, it's just that when ontology is emphasized, biases are hidden because the focus is turned away from questions of how actual humans arrive at their ontological conclusions.

Personally, I am tentatively on the side of the epistemologists, but it seems to me that details matter a great deal, and there are far too many details to discuss in a comment (indeed, a book is likely insufficient).

Comment author: ChristianKl 07 October 2013 02:29:31PM 0 points [-]

Personally, I am tentatively on the side of the epistemologists, but it seems to me that details matter a great deal, and there are far too many details to discuss in a comment (indeed, a book is likely insufficient).

Even when insufficient, is there a book or other source that you could recommend?

Comment author: Protagoras 07 October 2013 03:04:41PM *  -1 points [-]

Hmmm. Bas van Fraassen's The Scientific Image takes the side of the epistemologists on scientific questions. I take Kant to be an advocate for the epistemologists in his Critique of Pure Reason, though he makes some effort to be a compromiser. Rae Langton argues that the compromises in Kant are genuinely important, and so advocates a role for both epistemology and ontology, in her Kantian Humility. Heidegger seemed to want to make ontology primary, but I can't really recommend anything he wrote. It's difficult to know exactly what to recommend, because this issue is thoroughly entangled with a host of other issues, and any discussion of it is heavily colored (and perhaps heavily distorted) by whichever other issues are also on the table. Still, those are a few possibilities which come to mind.

Comment author: ChristianKl 07 October 2013 04:17:07PM 0 points [-]

When focusing on a issue such as friendliness of an FAI do you think that's in the domain of epistemology or ontology?

Comment author: Protagoras 09 October 2013 04:04:20PM -1 points [-]

I feel like it's more epistemological, but then I tend to think everything is. Perhaps it is another symptom of my biases, but I think it more likely that trying to build an AI will help clarify questions about ontology vs. epistemology than that anything in our present knowledge of ontology vs. epistemology will help in devising strategies for building an AI.

Comment author: ChristianKl 09 October 2013 04:07:02PM 0 points [-]

Cyc calls itself an ontology. Doesn't any AI need such an ontology to reason about the world?

Comment author: Protagoras 09 October 2013 04:44:50PM -1 points [-]

Well, this would be an example of one of the projects that I think may teach us something. But if you are speaking of "an ontology," rather than just "ontology," you may be talking about some theory of relativized ontologies, but more likely you're not speaking about ontology in the same way as those who prioritize it over epistemology. Those who make epistemology primary still talk about things, they just disagree with the ontologists about complicated aspects of our relationship to the things and what our talk about the things means.

Comment author: ChristianKl 09 October 2013 05:07:23PM 0 points [-]

you may be talking about some theory of relativized ontologies, but more likely you're not speaking about ontology in the same way as those who prioritize it over epistemology.

I'm not sure. Barry Smith who leads Basic Formal Ontology which get's used for medical informatics writes in his "Against Fantology"-paper sentences like:

It underlies the logical atomism of Bertrand Russell, including the central thesis according to which all form is logical form – a thesis which, be it noted, leaves no room for a discipline of formal ontology as something separate from formal logic.

Baysianism as described by Yvain as described in seems a bit like what Barry Smith describes as spreadsheet ontology with probability values instead of logical true false values.

Even if ontological questions can't be setteled in a way to decide which ontology is more correct than another, it seems to me that you have to decide for one ontology to use for your AGI. Different choices of how you structure that ontology will have a substantial effect on the way the AGI reasons.