LESSWRONG
LW

2194
Wikitags
You are viewing version 1.0.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.0.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 bit of a deep notion we don't fully understand, plus, for example, there could be unicorns 101,000,000 lightyears away, etcetera.
  • Because the notion of 'forever' is more mathematically fraught than 'for ten to the billionth power years', and there are multiple models of infinity.

(*) 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