ChristianKl comments on Astray with the Truth: Logic and Math - Less Wrong

2 Post author: StephenR 16 August 2014 03:40PM

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

Article Navigation

Comments (21)

Comments (21)

You are viewing a single comment's thread. Show more comments above.

Comment author: ChristianKl 17 August 2014 10:09:43PM 0 points [-]

You mentioned examples, and that's kind of what this post was intended to be: an example of applying the sort of reasoning I want to a problem, and contrasting it with epistemic rationality reasoning.

Applying it to what problem? (If you mean the physics posts you linked to, I need more time to digest it fully)

The main target of my change is the way we conceptualise science.

Nobody actually conceptualises science as being about deriving from thinking "pink is my favority color and it isn't" -> "causality doesn't work".

Lots of epistemological work focuses on idealised caricatures that are too prescriptive and poorly reflect how we managed to achieve what we did in science.

Then pick on of those caricatures and analyse in detail how your epistemological leads to different thinking about the issue.

And I think that having a better philosophy of science will make thinking about some problems in existential risk, particularly FAI, easier.

Yes, obviously having a better philosophy of science would be good.

Comment author: StephenR 17 August 2014 10:21:48PM 0 points [-]

Applying it to what problem? (If you mean the physics posts you linked to, I need more time to digest it fully)

No, not that comment, I mean the initial post. The problem is handling mathematical systems in an epistemology. A lot of epistemologies have a hard time with that because of ontological issues.

Nobody actually conceptualises science as being about deriving from thinking "pink is my favority color and it isn't" -> "causality doesn't work".

No, but many people hold the view that you can talk about valid statements as constraining ontological possibilities. This is including Eliezer of 2012. If you read the High Advance Epistemology posts on math, he does reason about the particular logical laws constraining how the physics of time and space work in our universe. And the view is very old, going back to before Aristotle, through Leibniz to the present.

Comment author: ChristianKl 18 August 2014 09:26:17AM 0 points [-]

No, not that comment, I mean the initial post. The problem is handling mathematical systems in an epistemology.

Handling mathematical systems in an epistemology is in my idea a topic but not a specific problem. In that topic there are probably a bunch of practical problem but.

Molecular biology is a subject. Predicting protein folding results is a specific problem.

If we look at FAI, writing a bot that performs well in the prisoner dilemma tournaments that are about verifying source code of the other bots is a specific problem.

The are also problems in the daily business of doing science where the scientist has to decide between multiple possible courses of action.

Powered by Reddit Powered by Reddit