eli_sennesh comments on Logics for Mind-Building Should Have Computational Meaning - Less Wrong

21 [deleted] 25 September 2014 09:17PM

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

Comments (28)

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

Comment author: [deleted] 09 October 2014 11:28:51AM 0 points [-]

Does that, in any practical sense, imply that in some situations we don't have to worry too much about some statement being false (e.g. don't have to worry that adding a proves T as an axiom would result in an internal contradiction), and if so, why?

The whole approach here is to generalize the proof-theoretic (and thus computational) treatment of logic to Bayesian reasoning over classical propositions. The degree of belief assigned is thus the degree of belief assigned by a specific set of premises (those we fed into the logic with some arbitrary probabilities) (keep in mind that in proof theory (sequent calculi, natural deduction, lambda calculi), the axioms of the logic are not treated as logical premises but instead as computational operations performed on logical premises) to the theorem T via proof a.