module Config.Pages.Debate.Arguments.Records.Agnosticism exposing (argumentAgnosticism)

import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)


argumentAgnosticism : Argument
argumentAgnosticism =
    { argumentTitle = toTitleCase "Agnosticism Consistency Checker"
    , propositionTitle = "An interlocutor (who cannot unpack what evidence would lead them to change their doxastic attitude on a proposition) should temporarily withhold the belief that the proposition at hand is true."
    , propositionReductio = ""
    , propositionSummary = "Listen, if one doesn't know what would change their mind on a topic, about which they form strong opinions, then it's not clear why they'd even hold said opinions strongly in the first place. Given this, it would make more sense just to suspend your judgement in the meantime and form no opinions on the subject."
    , proofLink = "https://www.umsu.de/trees/#(~6x~6y(~3Pxy~5~3Qxy)),(~6x~6y(~3Qxy~5Rxy)),(~3Por)|=(Ror)"
    , argumentCertainty = 9
    , argumentImage = "agnostic"
    , argumentHashtags = []
    , isNewTabLink = False
    , definitionTable =
        [ { definiendum = "P(x,y)"
          , definiens = "(x) can unpack what evidence would lead them to change their doxastic attitude on (y)"
          }
        , { definiendum = "Q(x,y)"
          , definiens = "(x) knows why they believe that (y) is true"
          }
        , { definiendum = "R(x,y)"
          , definiens = "(x) should temporarily withhold the belief that (y) is true"
          }
        , { definiendum = "x"
          , definiens = "a person"
          }
        , { definiendum = "y"
          , definiens = "a proposition"
          }
        , { definiendum = "o"
          , definiens = "the interlocutor"
          }
        , { definiendum = "r"
          , definiens = "the proposition at hand"
          }
        ]
    , argumentFormalization =
        [ { premises =
                [ { premise = "If one cannot unpack what evidence would lead them to change their doxastic attitude on a proposition, then one does does not know why they believe that a proposition is true."
                  , notation = "∀x∀y(¬Pxy→¬Qxy)"
                  }
                , { premise = "If one does not know why they believe that a proposition is true, then one should temporarily withhold the belief that a proposition is true."
                  , notation = "∀x∀y(¬Qxy→Rxy)"
                  }
                , { premise = "The interlocutor cannot unpack what evidence would lead them to change their doxastic attitude on the proposition at hand."
                  , notation = "(¬Por)"
                  }
                ]
          , conclusion = "Therefore, the interlocutor should temporarily withhold the belief that the proposition at hand is true."
          , conclusionNotation = "Ror"
          }
        ]
    }
