feat: added arguments

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

@@ -0,0 +1,33 @@
+module Debate.Arguments.Nutrition.CarbsObesity exposing (..)
+
+import Debate.Types exposing (..)
+
+
+argumentCarbsObesity : Argument
+argumentCarbsObesity =
+    { argumentTitle = "Argument Against the Obesogenic Carbohydrates"
+    , propositionTitle = "Carbohydrates do not uniquely cause fat accumulation or obesity."
+    , propositionSummary = "Summary"
+    , proofLink  = "https://www.umsu.de/trees/#(P~5Q),(~3Q)|=(~3P)"
+    , definitionTable =
+        [ { definiendum = "P"
+          , definiens = "carbs uniquely cause fat accumulation or obesity"
+          }
+        , { definiendum = "Q"
+          , definiens = "populations with high carb diets have uniquely higher rates of obesity after adjustment or control over relevant confounders and covariates"
+          }
+        ]
+    , argumentFormalization =
+        [ { premises =
+                [ { premise = "If carbohydrates uniquely cause fat accumulation or obesity, then, populations with high carbohydrate diets have uniquely higher rates of obesity after adjustment or control over relevant confounders and covariates."
+                  , notation = "(P→Q)"
+                  }
+                , { premise = "Populations with high carbohydrate diets do not have uniquely higher rates of obesity after adjustment or control over relevant confounders and covariates."
+                  , notation = "(¬Q)"
+                  }
+                ]
+          , conclusion = "Therefore, carbs do not uniquely cause fat accumulation or obesity."
+          , conclusionNotation = "(∴¬P)"
+          }
+        ]
+    }

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

@@ -0,0 +1,36 @@
+module Debate.Arguments.Nutrition.DietaryCholesterol exposing (..)
+
+import Debate.Types exposing (..)
+
+
+argumentDietaryCholesterol : Argument
+argumentDietaryCholesterol =
+    { argumentTitle = "Argument for Atherogenic Dietary Cholesterol"
+    , propositionTitle = "Consuming high amounts of dietary cholesterol increases heart disease risk."
+    , propositionSummary = "Summary"
+    , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(Pd)|=(Qd)"
+    , definitionTable =
+        [ { definiendum = "P(x)"
+          , definiens = "consuming high amounts of (x) increases LDL"
+          }
+        , { definiendum = "Q(x)"
+          , definiens = "(x) increases heart disease risk"
+          }
+        , { definiendum = "d"
+          , definiens = "dietary cholesterol"
+          }
+        ]
+    , argumentFormalization =
+        [ { premises =
+                [ { premise = "For all things, if consuming high amounts of substance (x) increases LDL, then consuming high amounts of substance (x) increases heart disease risk."
+                  , notation = "(∀x(Px→Qx))"
+                  }
+                , { premise = "Consuming high amounts of dietary cholesterol increases LDL."
+                  , notation = "(Pd)"
+                  }
+                ]
+          , conclusion = "Therefore, consuming high amounts of dietary cholesterol increases heart disease risk."
+          , conclusionNotation = "(∴Qd)"
+          }
+        ]
+    }

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

@@ -0,0 +1,36 @@
+module Debate.Arguments.Nutrition.EpidemiologyCausality exposing (..)
+
+import Debate.Types exposing (..)
+
+
+argumentEpidemiologyCausality : Argument
+argumentEpidemiologyCausality =
+    { argumentTitle = "Argument for Nutritional Epidemiology"
+    , propositionTitle = "Nutritional epidemiology generally provides good causal estimates."
+    , propositionSummary = "Summary"
+    , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(Pe)|=(Qe)"
+    , definitionTable =
+        [ { definiendum = "P(x)"
+          , definiens = "(x) consistently identifies associations that are later confirmed by randomized controlled trials"
+          }
+        , { definiendum = "Q(x)"
+          , definiens = "(x) generally provides good causal estimates"
+          }
+        , { definiendum = "e"
+          , definiens = "nutritional epidemiology"
+          }
+        ]
+    , argumentFormalization =
+        [ { premises =
+                [ { premise = "For all things, if a research method (x) consistently identifies associations that are later confirmed by randomized controlled trials, then research method (x) generally provides good causal estimates."
+                  , notation = "(∀x(Px→Qx))"
+                  }
+                , { premise = "Nutritional epidemiology consistently identifies associations that are later confirmed by randomized controlled trials."
+                  , notation = "(P)e"
+                  }
+                ]
+          , conclusion = "Therefore, nutritional epidemiology generally provides good causal estimates."
+          , conclusionNotation = "(∴Qe)"
+          }
+        ]
+    }

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

@@ -0,0 +1,32 @@
+module Debate.Arguments.Nutrition.HealthPromotingFoods exposing (..)
+
+import Debate.Types exposing (..)
+
+argumentHealthPromotingFoods : Argument
+argumentHealthPromotingFoods =
+    { argumentTitle = "Argument for Food's Inherent Health Value"
+    , propositionTitle = "All foods are definitionally health-promoting."
+    , propositionSummary = "Given that food is, by its very definition, material that provides essential nutrients and energy to sustain bodily functions and growth, it follows that anything classified as food must be inherently health-promoting by its very nature."
+    , proofLink  = "https://www.umsu.de/trees/#(P~5Q),(P)|=(Q)"
+    , definitionTable =
+        [ { definiendum = "P"
+          , definiens = "food is defined as material consisting essentially of protein, carbohydrate, and/or fat used in the body of an organism to sustain growth, repair, and vital processes and to furnish energy"
+          }
+        , { definiendum = "Q"
+          , definiens = "all foods are definitionally health-promoting"
+          }
+        ]
+    , argumentFormalization =
+        [ { premises =
+                [ { premise = "If food is defined as material consisting essentially of protein, carbohydrate, and/or fat used in the body of an organism to sustain growth, repair, and vital processes and to furnish energy, then all foods are definitionally health-promoting."
+                  , notation = "(Q)"
+                  }
+                , { premise = "Food is defined as material consisting essentially of protein, carbohydrate, and/or fat used in the body of an organism to sustain growth, repair, and vital processes and to furnish energy."
+                  , notation = "(P)"
+                  }
+                ]
+          , conclusion = "Therefore, all foods are definitionally health-promoting."
+          , conclusionNotation = "(∴Q)"
+          }
+        ]
+    }

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

@@ -0,0 +1,36 @@
+module Debate.Arguments.Nutrition.HealthyChocolate exposing (..)
+
+import Debate.Types exposing (..)
+
+
+argumentHealthyChocolate : Argument
+argumentHealthyChocolate =
+    { argumentTitle = "Argument Against Atherogenic Chocolate"
+    , propositionTitle = "Chocolate does not cause atherosclerosis."
+    , propositionSummary = "Summary"
+    , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(~3Qc)|=(~3Pc)"
+    , definitionTable =
+        [ { definiendum = "P(x)"
+          , definiens = "(x) causes atherosclerosis"
+          }
+        , { definiendum = "Q(x)"
+          , definiens = "populations consuming more (x) have higher rates of atherosclerosis after adjustment or control over relevant confounders and covariates."
+          }
+        , { definiendum = "c"
+          , definiens = "chocolate"
+          }
+        ]
+    , argumentFormalization =
+        [ { premises =
+                [ { premise = "For all things, if high saturated fat food (x) causes atherosclerosis, then populations consuming more high saturated fat food (x) have higher rates of atherosclerosis after adjustment or control over relevant confounders and covariates."
+                  , notation = "(∀x(Px→Qx))"
+                  }
+                , { premise = "Populations consuming more chocolate do not have higher rates of atherosclerosis after adjustment or control over relevant confounders and covariates."
+                  , notation = "(¬Qc)"
+                  }
+                ]
+          , conclusion = "Therefore, chocolate does not cause atherosclerosis."
+          , conclusionNotation = "(∴¬Pc)"
+          }
+        ]
+    }

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

@@ -0,0 +1,36 @@
+module Debate.Arguments.Nutrition.HealthyFattyFish exposing (..)
+
+import Debate.Types exposing (..)
+
+
+argumentHealthyFattyFish : Argument
+argumentHealthyFattyFish =
+    { argumentTitle = "Argument for Overwhelmingly Healthy Fatty Fish"
+    , propositionTitle = "Fatty fish is overwhelmingly healthy."
+    , propositionSummary = "Summary"
+    , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qf)|=(Pf)"
+    , definitionTable =
+        [ { definiendum = "P(x)"
+          , definiens = "(x) is overwhelmingly healthy"
+          }
+        , { definiendum = "Q(x)"
+          , definiens = "(x) consistently associates with a reduced risk of morbidity and mortality after adjustment or control over relevant confounders and covariates"
+          }
+        , { definiendum = "f"
+          , definiens = "fatty fish"
+          }
+        ]
+    , argumentFormalization =
+        [ { premises =
+                [ { premise = "For all things, food (x) is overwhelmingly healthy if, and only if, food (x) consistently associates with a reduced risk of morbidity and mortality after adjustment or control over relevant confounders and covariates."
+                  , notation = ""
+                  }
+                , { premise = "Fatty fish consistently associates with a reduced risk of morbidity and mortality after adjustment or control over relevant confounders and covariates."
+                  , notation = ""
+                  }
+                ]
+          , conclusion = "Therefore, fatty fish is overwhelmingly healthy."
+          , conclusionNotation = "(∴)"
+          }
+        ]
+    }

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

@@ -0,0 +1,36 @@
+module Debate.Arguments.Nutrition.HealthyFibre exposing (..)
+
+import Debate.Types exposing (..)
+
+
+argumentHealthyFibre : Argument
+argumentHealthyFibre =
+    { argumentTitle = "Argument for Overwhelmingly Healthy Fibre"
+    , propositionTitle = "Fibre, whether whole or refined, is overwhelmingly healthy."
+    , propositionSummary = "Summary"
+    , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qb)|=(Pb)"
+    , definitionTable =
+        [ { definiendum = "P(x)"
+          , definiens = "(x) is overwhelmingly healthy"
+          }
+        , { definiendum = "Q(x)"
+          , definiens = "(x) consistently associates with a reduced risk of morbidity and mortality after adjustment or control over relevant confounders and covariates"
+          }
+        , { definiendum = "b"
+          , definiens = "fibre"
+          }
+        ]
+    , argumentFormalization =
+        [ { premises =
+                [ { premise = "For all things, food (x) is overwhelmingly healthy if, and only if, food (x) consistently associates with a reduced risk of morbidity and mortality after adjustment or control over relevant confounders and covariates."
+                  , notation = "(∀x(Px↔Qx))"
+                  }
+                , { premise = "Fibre, whether whole or refined, consistently associates with a reduced risk of morbidity and mortality after adjustment or control over relevant confounders and covariates."
+                  , notation = "(Qb)"
+				}
+                ]
+          , conclusion = "Therefore, fibre, whether whole or refined, is overwhelmingly healthy."
+          , conclusionNotation = "(∴Pb)"
+          }
+        ]
+    }

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

@@ -0,0 +1,33 @@
+module Debate.Arguments.Nutrition.OptimalDiet exposing (..)
+
+import Debate.Types exposing (..)
+
+
+argumentOptimalDiet : Argument
+argumentOptimalDiet =
+    { argumentTitle = "Argument for the Artificial Manipulation of Food"
+    , propositionTitle = "The optimal human diet is likely heavily artificial."
+    , propositionSummary = "Optimal diets will be a technological breakthrough, meaning that the diets that are best for humans just haven't been invented yet."
+    , proofLink  = "https://www.umsu.de/trees/#(P~5Q),(P)|=(Q)"
+    , definitionTable =
+        [ { definiendum = "P"
+          , definiens = "the health value of natural foods can be improved via artificial manipulation"
+          }
+        , { definiendum = "Q"
+          , definiens = "the optimal human diet is likely heavily artificial"
+          }
+        ]
+    , argumentFormalization =
+        [ { premises =
+                [ { premise = "If the health value of natural foods can be improved via artificial manipulation, then the optimal human diet is likely heavily artificial."
+                  , notation = "(P→Q)"
+                  }
+                , { premise = "The health value of natural foods can be improved via artificial manipulation."
+                  , notation = "(P)"
+                  }
+                ]
+          , conclusion = "Therefore, the optimal human diet is likely heavily artificial."
+          , conclusionNotation = "(∴Q)"
+          }
+        ]
+    }

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

@@ -0,0 +1,45 @@
+module Debate.Arguments.Nutrition.PlantBasedCVDReversal exposing (..)
+
+import Debate.Types exposing (..)
+
+
+argumentPlantBasedCVDReversal : Argument
+argumentPlantBasedCVDReversal =
+    { argumentTitle = "Argument Against Plant-Based Diets Reversing Heart Disease"
+    , propositionTitle = "Plant-based diets do not appear to clinically reverse atherosclerosis."
+    , propositionSummary = "Summary"
+    , proofLink  = "https://www.umsu.de/trees/#(P~1~3Q~5~3R),(P),(~3Q)|=(~3R)"
+    , definitionTable =
+        [ { definiendum = "P"
+          , definiens = "there are established definitions for atherosclerosis reversal in the domain of cardiology"
+          }
+        , { definiendum = "Q"
+          , definiens = "current research on plant-based diets and atherosclerosis reversal satisfy the definitions for atherosclerosis reversal in the domain of cardiology"
+          }
+        , { definiendum = "R"
+          , definiens = "plant-based diets do not appear to clinically reverse atherosclerosis"
+          }
+        ]
+    , argumentFormalization =
+        [ { premises =
+                [ { premise = "If there are established definitions for atherosclerosis reversal in the domain of cardiology and current research on plant-based diets and atherosclerosis reversal do not satisfy the definitions for atherosclerosis reversal in the domain of cardiology, then plant-based diets do not appear to clinically reverse atherosclerosis."
+                  , notation = "(P∧¬Q→¬R)"
+                  }
+                , { premise = "There are established definitions for atherosclerosis reversal in the domain of cardiology."
+                  , notation = "(P)"
+                  }
+                , { premise = "Current research on plant-based diets and atherosclerosis reversal do not satisfy the definitions for atherosclerosis reversal in the domain of cardiology."
+                  , notation = "(¬Q)"
+                  }
+                , { premise = ""
+                  , notation = ""
+                  }
+                , { premise = ""
+                  , notation = ""
+                  }
+                ]
+          , conclusion = "Therefore, plant-based diets do not appear to clinically reverse atherosclerosis."
+          , conclusionNotation = "(∴¬R)"
+          }
+        ]
+    }

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

@@ -0,0 +1,41 @@
+module Debate.Arguments.Nutrition.SodiumCVD exposing (..)
+
+import Debate.Types exposing (..)
+
+argumentSodiumCVD : Argument
+argumentSodiumCVD =
+    { argumentTitle = "Argument for Atherogenic Sodium"
+    , propositionTitle = "Higher intakes of sodium increases cardiovascular disease risk."
+    , propositionSummary = "Summary"
+    , proofLink  = "https://www.umsu.de/trees/#(~6x(Px~1Q~5Rx)),(Ps),(Q)|=(Rs)"
+    , definitionTable =
+        [ { definiendum = "P(x)"
+          , definiens = "(x) consistently raises blood pressure in controlled studies"
+          }
+        , { definiendum = "Q(x)"
+          , definiens = "elevated blood pressure is known to cause cardiovascular disease"
+          }
+        , { definiendum = "R(x)"
+          , definiens = "higher intakes of substance (x) increases cardiovascular disease risk"
+          }
+        , { definiendum = "s"
+          , definiens = "sodium"
+          }
+        ]
+    , argumentFormalization =
+        [ { premises =
+                [ { premise = "For all things, if substance (x) consistently raises blood pressure in controlled studies and elevated blood pressure is known to cause cardiovascular disease, then higher intakes of substance (x) increases cardiovascular disease risk."
+                  , notation = "(∀x(Px∧Q→Rx))"
+                  }
+                , { premise = "Sodium consistently raises blood pressure in controlled studies."
+                  , notation = "(Ps)"
+                  }
+                , { premise = "Elevated blood pressure is known to cause cardiovascular disease."
+                  , notation = "(Q)"
+                  }
+                ]
+          , conclusion = "Therefore, higher intakes of sodium increases cardiovascular disease risk."
+          , conclusionNotation = "(∴Rs)"
+          }
+        ]
+    }