LESSWRONG
LW

207
Wikitags
You are viewing version 1.1.0 of this page. Click here to view the latest version.

Strictly factual question

Edited by Eliezer Yudkowsky last updated 26th May 2016
You are viewing revision 1.1.0, last edited by Eliezer Yudkowsky

A strict question of fact occurs has an answer determined solely by the state of the material universe, and sufficiently straightforward math, in a clearly understandable way - none of our uncertainty about this question is about definitions, values, or viewpoints; we are just wondering which quarks go where.

Questions of strict fact:

  • What happens if I press the giant red button?(*)
  • Did Sally claim more charitable donations as an income tax deduction than Bob?
  • Are there unicorns anywhere on Earth?
  • Will Peano arithmetic prove a contradiction if I search all the proofs less than a billion steps long?

Questions not yet of strict fact:

  • Should I press the giant red button?
  • Is Sally a more charitable person than Bob?
  • Do unicorns exist?
  • Will Peano arithmetic prove a contradiction if I search for one forever?

Why the second group aren't yet questions of strict fact:

  • Because the notion of should has not yet been fully specified or determined.
  • Because we haven't said exactly what it means to be charitable.
  • Because "exist" is a much more ambiguous notion than "exist inside our galaxy". For example, there could be unicorns 101,000,000 lightyears away or another universe that had as much "existence" as this one does. We don't really understand what it means for something to "exist" in the first place, as opposed to "be inside our closet".
  • Because the notion of 'forever' is more mathematically fraught than 'for ten to the billionth power years'. For example, nailing down exactly which infinity we're talking about can't be done in a system of first-order logic.

(*) At least, this is a straightforward question so long as we don't poke too hard at the nature of what-if counterfactuals.

Parents:
Epistemology
Discussion
Discussion