Truth's Tricky Interfaces

honest_solving.rs

trait HonestSolver {

  fn solve(p: DecidableLogicalProposition) -> (bool, LogicalProof);

  // i.e. First- and Higher-order logic
  fn solve_if_possible(p: MathProposition) -> Option<(bool, MathProof)>;

  fn try_to_solve_if_possible(p: ComputableProposition) -> Result<Option<(bool,ExecutionTrace)>, Box<dyn Error>>;

  fn try_to_solve_socially_if_possible(p: LanguageProposition) -> Arc<Mutex<Result<Option<(bool,Justification)>, Box<dyn Error>>>>;

  fn try_to_establish_scientifically_if_possible(p: LanguageProposition) -> Result<Option<ScientificTheory>, Box<dyn Error>>;

  fn try_to_establish_scientifically_and_establish_socially_if_possible
    (p: LanguageProposition, pr: PeerReviewProcess) ->
        Arc<Mutex<Result<Option<ScientificTheory>, Box<dyn Error>>>>;
}

// Rust Playground link, for fun: 
// https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=7a8174da2b60460f0f076a129af2437f