From 4e2cdfd70e504b81007b640b299f6e5659b7c1bd Mon Sep 17 00:00:00 2001 From: Nick Date: Mon, 18 Nov 2024 01:17:35 -0600 Subject: [PATCH] feat: added arguments --- .../Arguments/Nutrition/FructoseNAFLD.elm | 33 ++++++++++++++++ .../Arguments/Nutrition/HealthyDairy.elm | 38 ++++++++++++++++++ .../Arguments/Nutrition/HealthySeedOils.elm | 39 +++++++++++++++++++ .../Nutrition/UnhealthProcessedMeat.elm | 39 +++++++++++++++++++ .../Arguments/Nutrition/UnhealthyRedMeat.elm | 39 +++++++++++++++++++ 5 files changed, 188 insertions(+) create mode 100644 frontend/src/Debate/Arguments/Nutrition/FructoseNAFLD.elm create mode 100644 frontend/src/Debate/Arguments/Nutrition/HealthyDairy.elm create mode 100644 frontend/src/Debate/Arguments/Nutrition/HealthySeedOils.elm create mode 100644 frontend/src/Debate/Arguments/Nutrition/UnhealthProcessedMeat.elm create mode 100644 frontend/src/Debate/Arguments/Nutrition/UnhealthyRedMeat.elm diff --git a/frontend/src/Debate/Arguments/Nutrition/FructoseNAFLD.elm b/frontend/src/Debate/Arguments/Nutrition/FructoseNAFLD.elm new file mode 100644 index 0000000..a1d6cdb --- /dev/null +++ b/frontend/src/Debate/Arguments/Nutrition/FructoseNAFLD.elm @@ -0,0 +1,33 @@ +module Debate.Arguments.Nutrition.FructoseNAFLD exposing (..) + +import Debate.Types exposing (..) + + +argumentFructoseNAFLD : Argument +argumentFructoseNAFLD = + { argumentTitle = "Argument Against Lipgenic Fructose" + , propositionTitle = "Fructose doesn't seem to uniquely cause fatty liver disease." + , propositionSummary = "Summary" + , proofLink = "https://www.umsu.de/trees/#(P~5~3Q),(P)|=(~3Q)" + , definitionTable = + [ { definiendum = "P" + , definiens = "experimental investigations into fructose overfeeding consistently fail to recreate a fatty liver phenotype in humans" + } + , { definiendum = "Q" + , definiens = "fructose seems to uniquely cause fatty liver disease" + } + ] + , argumentFormalization = + [ { premises = + [ { premise = "If experimental investigations into fructose overfeeding consistently fail to recreate a fatty liver phenotype in humans, then fructose does not seem to uniquely cause fatty liver disease." + , notation = "(P→¬Q)" + } + , { premise = "Experimental investigations into fructose overfeeding consistently fail to recreate a fatty liver phenotype in humans." + , notation = "(P)" + } + ] + , conclusion = "Therefore, fructose does not seem to uniquely cause fatty liver disease." + , conclusionNotation = "(∴¬Q)" + } + ] + } diff --git a/frontend/src/Debate/Arguments/Nutrition/HealthyDairy.elm b/frontend/src/Debate/Arguments/Nutrition/HealthyDairy.elm new file mode 100644 index 0000000..7c1f8fb --- /dev/null +++ b/frontend/src/Debate/Arguments/Nutrition/HealthyDairy.elm @@ -0,0 +1,38 @@ +module Debate.Arguments.Nutrition.HealthyDairy exposing (..) + +import Debate.Types exposing (..) + +argumentHealthyDairy : Argument +argumentHealthyDairy = + { argumentTitle = "Argument for Healthy Dairy Products" + , propositionTitle = "Non-churned, non-homogenized dairy do not cause atherosclerosis." + , propositionSummary = "Summary" + , proofLink = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(~3Qh)|=(~3Ph)" + , 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 = "x" + , definiens = "high saturated fat food" + } + , { definiendum = "h" + , definiens = "non-churned, non-homogenized dairy" + } + ] + , 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 non-churned, non-homogenized dairy do not have higher rates of atherosclerosis after adjustment or control over relevant confounders and covariates." + , notation = "(¬Qh)" + } + ] + , conclusion = "Therefore, non-churned, non-homogenized dairy do not cause atherosclerosis." + , conclusionNotation = "(∴¬Ph)" + } + ] + } \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Nutrition/HealthySeedOils.elm b/frontend/src/Debate/Arguments/Nutrition/HealthySeedOils.elm new file mode 100644 index 0000000..7aba9bd --- /dev/null +++ b/frontend/src/Debate/Arguments/Nutrition/HealthySeedOils.elm @@ -0,0 +1,39 @@ +module Debate.Arguments.Nutrition.HealthySeedOils exposing (..) + +import Debate.Types exposing (..) + + +argumentHealthySeedOils : Argument +argumentHealthySeedOils = + { argumentTitle = "Argument for Overwhelmingly Healthy Seed Oils" + , propositionTitle = "Non-hydrogenated vegetable oils are overwhelmingly healthy." + , propositionSummary = "Summary" + , proofLink = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(Pv)|=(Qv)" + , 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 = "x" + , definiens = "a food" + } + , { definiendum = "v" + , definiens = "non-hydrogenated vegetable oils" + } + ] + , 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 = "Non-hydrogenated vegetable oils consistently associate with a reduced risk of morbidity and mortality after adjustment or control over relevant confounders and covariates." + , notation = "(Pv)" + } + ] + , conclusion = "Therefore, non-hydrogenated vegetable oils are overwhelmingly healthy." + , conclusionNotation = "(∴Qv)" + } + ] + } \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Nutrition/UnhealthProcessedMeat.elm b/frontend/src/Debate/Arguments/Nutrition/UnhealthProcessedMeat.elm new file mode 100644 index 0000000..b2c95c2 --- /dev/null +++ b/frontend/src/Debate/Arguments/Nutrition/UnhealthProcessedMeat.elm @@ -0,0 +1,39 @@ +module Debate.Arguments.Nutrition.UnhealthProcessedMeat exposing (..) + +import Debate.Types exposing (..) + + +argumentUnhealthProcessedMeat : Argument +argumentUnhealthProcessedMeat = + { argumentTitle = "Argument for Overwhelmingly Unhealthy Processed Meat" + , propositionTitle = "Processed meat is overwhelmingly unhealthy." + , propositionSummary = "Summary" + , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qs)|=(Ps)" + , definitionTable = + [ { definiendum = "P(x)" + , definiens = "(x) is overwhelmingly unhealthy" + } + , { definiendum = "Q(x)" + , definiens = "(x) consistently associates with an increased risk of morbidity and mortality after adjustment or control over relevant confounders and covariates" + } + , { definiendum = "x" + , definiens = "a food" + } + , { definiendum = "s" + , definiens = "processed meat" + } + ] + , argumentFormalization = + [ { premises = + [ { premise = "For all things, food (x) is overwhelmingly unhealthy if, and only if, food (x) consistently associates with an increased risk of morbidity and mortality after adjustment or control over relevant confounders and covariates." + , notation = "(∀x(Px↔Qx))" + } + , { premise = "Processed meat consistently associates with an increased risk of morbidity and mortality after adjustment or control over relevant confounders and covariates." + , notation = "(Qs)" + } + ] + , conclusion = "Therefore, processed meat is overwhelmingly unhealthy." + , conclusionNotation = "(∴Ps)" + } + ] + } diff --git a/frontend/src/Debate/Arguments/Nutrition/UnhealthyRedMeat.elm b/frontend/src/Debate/Arguments/Nutrition/UnhealthyRedMeat.elm new file mode 100644 index 0000000..49a18a7 --- /dev/null +++ b/frontend/src/Debate/Arguments/Nutrition/UnhealthyRedMeat.elm @@ -0,0 +1,39 @@ +module Debate.Arguments.Nutrition.UnhealthyRedMeat exposing (..) + +import Debate.Types exposing (..) + + +argumentUnhealthyRedMeat : Argument +argumentUnhealthyRedMeat = + { argumentTitle = "Argument for Overwhelmingly Unhealthy Red Meat" + , propositionTitle = "Red meat and processed meat are overwhelmingly unhealthy." + , propositionSummary = "Summary" + , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qm)|=(Pm)" + , definitionTable = + [ { definiendum = "P(x)" + , definiens = "(x) is overwhelmingly unhealthy" + } + , { definiendum = "Q(x)" + , definiens = "(x) consistently associates with an increased risk of morbidity and mortality after adjustment or control over relevant confounders and covariates" + } + , { definiendum = "x" + , definiens = "a food" + } + , { definiendum = "m" + , definiens = "unprocessed red meat" + } + ] + , argumentFormalization = + [ { premises = + [ { premise = "For all things, food (x) is overwhelmingly unhealthy if, and only if, food (x) consistently associates with an increased risk of morbidity and mortality after adjustment or control over relevant confounders and covariates." + , notation = "(∀x(Px↔Qx))" + } + , { premise = "Unprocessed red meat consistently associates with an increased risk of morbidity and mortality after adjustment or control over relevant confounders and covariates." + , notation = "(Qm)" + } + ] + , conclusion = "Therefore, unprocessed red meat is overwhelmingly unhealthy." + , conclusionNotation = "(∴Pm)" + } + ] + }