feat: added some arguments

frontend/src/Debate/Arguments/Ethics/Abortion.elm

@@ -5,50 +5,59 @@ import Debate.Types exposing (..)
 
 argumentAbortion : Argument
 argumentAbortion =
-    { argumentTitle = "Title"
-    , propositionTitle = "Proposition"
+    { argumentTitle = "Abortion Rights"
+    , propositionTitle = "One's whims are not a sufficient justification for the termination of sentient human life."
     , propositionSummary = "Summary"
-    , proofLink = ""
+    , proofLink = "https://www.umsu.de/trees/#(P~2Q~5R),(P),(Q),((R~1F~1~3H)~5M),(F),(~3H),(M~5~3W)%7C=(~3W)"
     , definitionTable =
-        [ { definiendum = ""
-          , definiens = ""
+        [ { definiendum = "P"
+          , definiens = "one consents to becoming pregnant"
           }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "Q"
+          , definiens = "one consensually engages in sexual activity without contraception"
           }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "R"
+          , definiens = "one is implicitly committed to at least accepting the average risks for the average pregnancy"
           }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "F"
+          , definiens = "one's pregnancy persists long enough for fetal sentience to develop"
           }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "H"
+          , definiens = "one's risk profile during pregnancy is high"
           }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "M"
+          , definiens = "one is morally bound to carrying the pregnancy to term"
+          }
+        , { definiendum = "W"
+          , definiens = "one's whims are a sufficient justification for the termination of sentient human life"
           }
         ]
     , argumentFormalization =
         [ { premises =
-                [ { premise = ""
-                  , notation = ""
+                [ { premise = "If one consents to becoming pregnant or one consensually engages in sexual activity without contraception, then one is implicitly committed to at least accepting the average risks for the average pregnancy."
+                  , notation = "(P∨Q→R)"
                   }
-                , { premise = ""
-                  , notation = ""
+                , { premise = "One consents to becoming pregnant."
+                  , notation = "(P)"
                   }
-                , { premise = ""
-                  , notation = ""
+                , { premise = "One consensually engages in sexual activity without contraception."
+                  , notation = "(Q)"
                   }
-                , { premise = ""
-                  , notation = ""
+                , { premise = "If one is implicitly committed to at least accepting the average risks for the average pregnancy and one's pregnancy persists long enough for fetal sentience to develop and one's risk profile during pregnancy is not high, then one is morally bound to carrying the pregnancy to term."
+                  , notation = "(R∧F∧¬H→M)"
                   }
-                , { premise = ""
-                  , notation = ""
+                , { premise = "One's pregnancy persists long enough for fetal sentience to develop."
+                  , notation = "(F)"
+                  }
+                , { premise = "One's risk profile during pregnancy is not high."
+                  , notation = "(¬H)"
+                  }
+                , { premise = "If one is morally bound to carrying the pregnancy to term, then one's whims are not a sufficient justification for the termination of sentient human life."
+                  , notation = "(M→¬W)"
                   }
                 ]
-          , conclusion = ""
-          , conclusionNotation = "(∴)"
+          , conclusion = "Therefore, one's whims are not a sufficient justification for the termination of sentient human life."
+          , conclusionNotation = "(∴¬W)"
           }
         ]
     }

frontend/src/Debate/Arguments/Ethics/EfilismPatrolSquad.elm

@@ -5,49 +5,40 @@ import Debate.Types exposing (..)
 
 argumentEfilismPatrolSquad : Argument
 argumentEfilismPatrolSquad =
-    { argumentTitle = "Title"
-    , propositionTitle = "Proposition"
+    { argumentTitle = "The Eternal Intergalactic Sentience Patrol Squad"
+    , propositionTitle = "Efilists should not abstain from procreation until all sentient life in the universe is sterilized"
     , propositionSummary = "Summary"
-    , proofLink = ""
+    , proofLink = "https://www.umsu.de/trees/#(P~5Q),(~3Q),(~3P~1R~5~3S),(R)%7C=(~3S)"
     , definitionTable =
-        [ { definiendum = ""
-          , definiens = ""
+        [ { definiendum = "P"
+          , definiens = "humans abstaining from procreation maximally reduces rights violations"
           }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "Q"
+          , definiens = "humans have sterilized all sentient life in the universe"
           }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "R"
+          , definiens = "many more generations are required to sterilize all sentient life in the universe"
           }
-        , { definiendum = ""
-          , definiens = ""
-          }
-        , { definiendum = ""
-          , definiens = ""
-          }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "S"
+          , definiens = "efilists should abstain from procreation until all sentient life in the universe is sterilized"
           }
         ]
     , argumentFormalization =
         [ { premises =
-                [ { premise = ""
-                  , notation = ""
+                [ { premise = "If humans abstaining from procreation maximally reduces rights violations, then humans have sterilized all sentient life in the universe."
+                  , notation = "(P→Q)"
                   }
-                , { premise = ""
-                  , notation = ""
+                , { premise = "Humans have not sterilized all sentient life in the universe."
+                  , notation = "(¬Q)"
                   }
-                , { premise = ""
-                  , notation = ""
+                , { premise = "If humans abstaining from procreation does not maximally reduce rights violations and many more generations are required to sterilize all sentient life in the universe, then efilists should not abstain from procreation until all sentient life in the universe is sterilized."
+                  , notation = "(¬P∧R→¬S)"
                   }
-                , { premise = ""
-                  , notation = ""
-                  }
-                , { premise = ""
-                  , notation = ""
+                , { premise = "Many more generations are required to sterilize all sentient life in the universe."
+                  , notation = "(R)"
                   }
                 ]
-          , conclusion = ""
+          , conclusion = "Therefore, efilists should not abstain from procreation until all sentient life in the universe is sterilized."
           , conclusionNotation = "(∴)"
           }
         ]

frontend/src/Debate/Arguments/Gender/TransPeople.elm

@@ -5,50 +5,59 @@ import Debate.Types exposing (..)
 
 argumentTransPeople : Argument
 argumentTransPeople =
-    { argumentTitle = "Title"
-    , propositionTitle = "Proposition"
+    { argumentTitle = "Argument For Trans Identity"
+    , propositionTitle = "A trans person of the male sex is a woman and a trans person with female sex is a man."
     , propositionSummary = "Summary"
-    , proofLink = ""
+    , proofLink = "https://www.umsu.de/trees/#(~6x(Wx~4Lx~1Ox)),(~6x(Mx~4Sx~1Ox)),(La~1Oa),(Sg~1Og)%7C=(Wa~1Mg)"
     , definitionTable =
-        [ { definiendum = ""
-          , definiens = ""
+        [ { definiendum = "Male"
+          , definiens = "the cluster of traits that associate with small, but not large, gametes."
           }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "Female"
+          , definiens = "the cluster of traits that associate with large, but not small, gametes."
           }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "W"
+          , definiens = "(x) is a woman"
           }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "M"
+          , definiens = "(x) is a man"
           }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "L"
+          , definiens = "(x) possesses a sufficiently greater sum of weighted traits that more closely associate with large gametes than weighted traits that associate with small gametes"
           }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "S"
+          , definiens = "(x) possesses a sufficiently greater sum of weighted traits that more closely associate with small gametes than weighted traits that associate with large gametes"
+          }
+        , { definiendum = "O"
+          , definiens = "(x) is over 18 years of age"
+          }
+        , { definiendum = "x"
+          , definiens = "someone"
+          }
+          , { definiendum = "a"
+          , definiens = "a trans person of the male sex"
+          }
+          , { definiendum = "g"
+          , definiens = "a trans person of the female sex"
           }
         ]
     , argumentFormalization =
         [ { premises =
-                [ { premise = ""
-                  , notation = ""
+                [ { premise = "Someone is a woman if, and only if, someone possesses a sufficiently greater sum of weighted traits that more closely associate with large gametes than weighted traits that associate with small gametes and someone is over 18 years of age."
+                  , notation = "(∀x(Wx↔Lx∧Ox))"
                   }
-                , { premise = ""
-                  , notation = ""
+                , { premise = "Someone is a man if, and only if, someone possesses a sufficiently greater sum of weighted traits that more closely associate with small gametes than weighted traits that associate with large gametes and someone is over 18 years of age."
+                  , notation = "(∀x(Mx↔Sx∧Ox))"
                   }
-                , { premise = ""
-                  , notation = ""
+                , { premise = "A trans person of the male sex possesses a sufficiently greater sum of weighted traits that more closely associate with large gametes than weighted traits that associate with small gametes and a trans person with small gametes is over 18 years of age."
+                  , notation = "(La∧Oa)"
                   }
-                , { premise = ""
-                  , notation = ""
-                  }
-                , { premise = ""
-                  , notation = ""
+                , { premise = "A trans person of the female sex possesses a sufficiently greater sum of weighted traits that more closely associate with small gametes than weighted traits that associate with large gametes and a trans person with large gametes is over 18 years of age."
+                  , notation = "(Sg∧Og)"
                   }
                 ]
-          , conclusion = ""
-          , conclusionNotation = "(∴)"
+          , conclusion = "Therefore, a trans person of the male sex is a woman and a trans person with female sex is a man."
+          , conclusionNotation = "(∴Wa∧Mg)"
           }
         ]
     }

frontend/src/Debate/Arguments/Nutrition/HealthyFood.elm

@@ -5,50 +5,41 @@ import Debate.Types exposing (..)
 
 argumentHealthyFood : Argument
 argumentHealthyFood =
-    { argumentTitle = "Title"
-    , propositionTitle = "Proposition"
+    { argumentTitle = "Argument For Healthy Food Substitution"
+    , propositionTitle = "Pepsi is healthy compared to leafy greens when trapped on a desert island."
     , propositionSummary = "Summary"
-    , proofLink  = ""
+    , proofLink  = "https://www.umsu.de/trees/#(~6x~6y~6z~6w(Pxyw~4Qxyzw)),(Qpdsl)%7C=(Ppdl)"
     , definitionTable =
-        [ { definiendum = ""
-          , definiens = ""
+        [ { definiendum = "P(x,y,w)"
+          , definiens = "a given (x) is healthy compared to a given (w) when in a given (y)"
           }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "Q(x,y,z,w)"
+          , definiens = "when within a (y) the consumption of the given (x) is likely to increase the lag-time to the onset of (z) when replacing a given (w)"
           }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "p"
+          , definiens = "Pepsi"
           }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "d"
+          , definiens = "trapped on a desert island"
           }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "s"
+          , definiens = "starvation"
           }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "l"
+          , definiens = "leafy greens"
           }
         ]
     , argumentFormalization =
         [ { premises =
-                [ { premise = ""
-                  , notation = ""
+                [ { premise = "A given food is healthy compared to another given food when in a given context if, and only if, when within that context the consumption of that given food is likely to increase the lag-time to the onset of illness, disease, or infirmity when replacing a given other food."
+                  , notation = "(∀x∀y∀z∀w(Pxyw↔Qxyzw))"
                   }
-                , { premise = ""
-                  , notation = ""
-                  }
-                , { premise = ""
-                  , notation = ""
-                  }
-                , { premise = ""
-                  , notation = ""
-                  }
-                , { premise = ""
-                  , notation = ""
+                , { premise = "When trapped on a desert island the consumption of Pepsi increases the lag-time to the onset of starvation when replacing leafy greens."
+                  , notation = "(Qpdsl)"
                   }
                 ]
-          , conclusion = ""
-          , conclusionNotation = "(∴)"
+          , conclusion = "Therefore, Pepsi is healthy compared to leafy greens when trapped on a desert island."
+          , conclusionNotation = "(∴Ppdl)"
           }
         ]
     }

frontend/src/Debate/Arguments/Nutrition/Malondialdehyde.elm

@@ -5,50 +5,41 @@ import Debate.Types exposing (..)
 
 argumentMalondialdehyde : Argument
 argumentMalondialdehyde =
-    { argumentTitle = "Title"
-    , propositionTitle = "Proposition"
+    { argumentTitle = "Atherogenic Omega-3 Reductio"
+    , propositionTitle = "Omega-3s are atherogenic."
     , propositionSummary = "Summary"
-    , proofLink = ""
+    , proofLink = "https://www.umsu.de/trees/#(~6x(Ax~4Lx)),(Lm),(Am~5~6x(Fx))%7C=(Fo)"
     , definitionTable =
-        [ { definiendum = ""
-          , definiens = ""
+        [ { definiendum = "A(x)"
+          , definiens = "(x) increases the risk of atherosclerosis"
           }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "L(x)"
+          , definiens = "(x) facilitates the oxidative modification of LDL particles"
           }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "F(x)"
+          , definiens = "all (x) are atherogenic"
           }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "m"
+          , definiens = "malondialdehyde"
           }
-        , { definiendum = ""
-          , definiens = ""
-          }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "o"
+          , definiens = "omega-3s"
           }
         ]
     , argumentFormalization =
         [ { premises =
-                [ { premise = ""
-                  , notation = ""
+                [ { premise = "Something increases the risk of atherosclerosis if and only if something facilitates the oxidative modification of LDL particles."
+                  , notation = "(∀x(Ax↔Lx))"
                   }
-                , { premise = ""
-                  , notation = ""
+                , { premise = "Malondialdehyde facilitates the oxidative modification of LDL particles."
+                  , notation = "(Lm)"
                   }
-                , { premise = ""
-                  , notation = ""
-                  }
-                , { premise = ""
-                  , notation = ""
-                  }
-                , { premise = ""
-                  , notation = ""
+                , { premise = "If malondialdehyde increases the risk of atherosclerosis, then all malondialdehyde-producing fatty acids are atherogenic."
+                  , notation = "(Am→∀x(Fx))"
                   }
                 ]
-          , conclusion = ""
-          , conclusionNotation = "(∴)"
+          , conclusion = "Therefore, omega-3s are atherogenic."
+          , conclusionNotation = "(∴Fo)"
           }
         ]
     }

frontend/src/Debate/Arguments/Nutrition/SaturatedFatLDL.elm

@@ -5,50 +5,38 @@ import Debate.Types exposing (..)
 
 argumentSaturatedFatLDL : Argument
 argumentSaturatedFatLDL =
-    { argumentTitle = "Title"
-    , propositionTitle = "Proposition"
+    { argumentTitle = "Argument For Atherogenic Coconut Oil"
+    , propositionTitle = "There is not a reason to believe that coconut oil is any better for heart health than other saturated fat sources that increase LDL-C."
     , propositionSummary = "Summary"
-    , proofLink = ""
+    , proofLink = "https://www.umsu.de/trees/#(~6x(Sx~1Lx~5~3Rx)),(Sc),(Lc)%7C=(~3Rc)"
     , definitionTable =
-        [ { definiendum = ""
-          , definiens = ""
+        [ { definiendum = "S"
+          , definiens = "a given (x) increases LDL-C at a similar rate to other saturated fat sources"
           }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "L"
+          , definiens = "a given (x) has no other known qualities that counteract said increase in LDL-C"
           }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "R"
+          , definiens = "there is a reason to believe that such an (x) is any better for heart health than other (x) that increase LDL-C"
           }
-        , { definiendum = ""
-          , definiens = ""
-          }
-        , { definiendum = ""
-          , definiens = ""
-          }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "c"
+          , definiens = "coconut oil"
           }
         ]
     , argumentFormalization =
         [ { premises =
-                [ { premise = ""
-                  , notation = ""
+                [ { premise = "If a given saturated fat source increases LDL-C at a similar rate to other saturated fat sources and and a given saturated fat source has no other known qualities that counteract said increase in LDL-C, then there is not a reason to believe that such a saturated fat source is any better for heart health than other saturated fat sources that increase LDL-C."
+                  , notation = "(∀x(Sx∧Lx→¬Rx))"
                   }
-                , { premise = ""
-                  , notation = ""
+                , { premise = "Coconut oil increases LDL-C at a similar rate to other saturated fat sources."
+                  , notation = "(Sc)"
                   }
-                , { premise = ""
-                  , notation = ""
-                  }
-                , { premise = ""
-                  , notation = ""
-                  }
-                , { premise = ""
-                  , notation = ""
+                , { premise = "Coconut oil has no other known qualities that counteract said increase in LDL-C."
+                  , notation = "(Lc)"
                   }
                 ]
-          , conclusion = ""
-          , conclusionNotation = "(∴)"
+          , conclusion = "Therefore, there is not a reason to believe that coconut oil is any better for heart health than other saturated fat sources that increase LDL-C."
+          , conclusionNotation = "(∴¬Rc)"
           }
         ]
     }

frontend/src/Debate/Arguments/Philosophy/Agnosticism.elm

@@ -5,50 +5,41 @@ import Debate.Types exposing (..)
 
 argumentAgnosticism : Argument
 argumentAgnosticism =
-    { argumentTitle = "Title"
-    , propositionTitle = "Proposition"
+    { argumentTitle = "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"
     , propositionSummary = "Summary"
-    , proofLink  = ""
+    , proofLink  = "https://www.umsu.de/trees/#(~6x~6y(~3Uxy~5~3Kxy)),(~6x~6y(~3Kxy~5Wxy)),(~3Uor)%7C=(Wor)"
     , definitionTable =
-        [ { definiendum = ""
-          , definiens = ""
+        [ { definiendum = "U(x,y)"
+          , definiens = "(x) can unpack what evidence would lead them to change their doxastic attitude on (y)"
           }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "K(x,y)"
+          , definiens = "(x) knows why they believe that (y) is true"
           }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "W(x,y)"
+          , definiens = "(x) should temporarily withhold the belief that (y) is true"
           }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "o"
+          , definiens = "the interlocutor"
           }
-        , { definiendum = ""
-          , definiens = ""
-          }
-        , { definiendum = ""
-          , definiens = ""
+        , { definiendum = "r"
+          , definiens = "the proposition at hand"
           }
         ]
     , argumentFormalization =
         [ { premises =
-                [ { premise = ""
-                  , notation = ""
+                [ { 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(¬Uxy→¬Kxy))"
                   }
-                , { premise = ""
-                  , notation = ""
+                , { 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(¬Kxy→Wxy))"
                   }
-                , { premise = ""
-                  , notation = ""
-                  }
-                , { premise = ""
-                  , notation = ""
-                  }
-                , { premise = ""
-                  , notation = ""
+                , { premise = "The interlocutor cannot unpack what evidence would lead them to change their doxastic attitude on the proposition at hand."
+                  , notation = "(¬Uor)"
                   }
                 ]
-          , conclusion = ""
-          , conclusionNotation = "(∴)"
+          , conclusion = "Therefore, the interlocutor should temporarily withhold the belief that the proposition at hand is true."
+          , conclusionNotation = "(∴Wor)"
           }
         ]
     }

frontend/src/Pages/Arguments.elm

@@ -6,7 +6,7 @@ import Config.Identity as I exposing (..)
 import Debate.Arguments.Ancestry.AntagonisticPleiotropy exposing (..)
 import Debate.Arguments.Ancestry.HealthSeeker exposing (..)
 import Debate.Arguments.Ancestry.ImmortalityReductio exposing (..)
-import Debate.Arguments.Ancestry.PolyphenolReductio
+import Debate.Arguments.Ancestry.PolyphenolReductio exposing (argumentPolyphenolReductio)
 import Debate.Arguments.Ethics.EthicalSlurs exposing (..)
 import Debate.Helpers exposing (..)
 import Effect exposing (Effect)
@@ -20,7 +20,11 @@ import Page exposing (Page)
 import Route exposing (Route)
 import Shared
 import View exposing (View)
-import Debate.Arguments.Ancestry.PolyphenolReductio exposing (argumentPolyphenolReductio)
+import Debate.Arguments.Ethics.Abortion exposing (argumentAbortion)
+import Debate.Arguments.Ethics.EfilismPatrolSquad exposing (argumentEfilismPatrolSquad)
+import Debate.Arguments.Nutrition.Malondialdehyde exposing (argumentMalondialdehyde)
+import Debate.Arguments.Nutrition.SaturatedFatLDL exposing (argumentSaturatedFatLDL)
+import Debate.Arguments.Philosophy.Agnosticism exposing (argumentAgnosticism)
 
 
 page : Shared.Model -> Route () -> Page Model Msg
@@ -114,8 +118,13 @@ debateList =
                     [ argumentEthicalSlurs
                     , argumentAntagonisticPleiotropy
                     , argumentHealthSeeker
-                    ,argumentImmortalityReductio
+                    , argumentImmortalityReductio
                     , argumentPolyphenolReductio
+                    , argumentAbortion
+                    , argumentEfilismPatrolSquad
+                    , argumentMalondialdehyde
+                    , argumentSaturatedFatLDL
+                    , argumentAgnosticism
                     ]
               }
             ]