module Debate.Arguments.Philosophy.FineTuning exposing (..)

import Debate.Types exposing (..)


argumentFineTuning : Argument
argumentFineTuning =
    { argumentTitle = "Fine Tuning Debunk"
    , propositionTitle = "Fine tuning is an infinitely regressive explanation for God"
    , propositionReductio = ""
    , propositionSummary = "Summary"
    , proofLink = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(Pg),(Qg~5R)%7C=(R)"
    , definitionTable =
        [ { definiendum = "P(x)"
          , definiens = "(x) is finely tuned"
          }
        , { definiendum = "Q(x)"
          , definiens = "(x) has a designer"
          }
        , { definiendum = "R"
          , definiens = "fine tuning is an infinitely regressive explanation for God"
          }
          , { definiendum = "x"
          , definiens = "a thing"
          }
        , { definiendum = "g"
          , definiens = "God's constitution"
          }
        ]
    , argumentFormalization =
        [ { premises =
                [ { premise = "If something is finely tuned, then something has a designer."
                  , notation = "(∀x(Px→Qx))"
                  }
                , { premise = "God's constitution is finely tuned."
                  , notation = "(Pg)"
                  }
                , { premise = "If God's constitution has a designer, then fine tuning is an infinitely regressive explanation for God."
                  , notation = "(Qg→R)"
                  }
                ]
          , conclusion = "Therefore, fine tuning is an infinitely regressive explanation for God."
          , conclusionNotation = "(∴R)"
          }
        ]
    }