Tyrrell_McAllister comments on Notion of Preference in Ambient Control - Less Wrong

14 Post author: Vladimir_Nesov 07 October 2010 09:21PM

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

Comments (45)

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

Comment author: Tyrrell_McAllister 08 October 2010 12:55:29AM *  0 points [-]

In first-order logic, all valid statements are also provable by a formal syntactic argument.

Do you mean in the context of some axioms?

A first-order logic comes with a set of axioms by definition.