From 257cb2642dcf53b6723e882f3928cecd79b0363e Mon Sep 17 00:00:00 2001 From: Nick Date: Mon, 18 Nov 2024 18:55:36 -0600 Subject: [PATCH] feat: added reductio field and summaries --- frontend/src/Debate/Arguments/Medicine/ApoBCVD.elm | 3 ++- .../Debate/Arguments/Nutrition/AnabolicKeto.elm | 3 ++- .../Arguments/Nutrition/AntagonisticPleiotropy.elm | 3 ++- .../Debate/Arguments/Nutrition/CarbsObesity.elm | 3 ++- .../Arguments/Nutrition/DietaryCholesterol.elm | 3 ++- .../Debate/Arguments/Nutrition/FructoseNAFLD.elm | 5 +++-- .../Arguments/Nutrition/HealthPromotingFoods.elm | 1 + .../Debate/Arguments/Nutrition/HealthSeeker.elm | 3 ++- .../Arguments/Nutrition/HealthyChocolate.elm | 8 ++++++-- .../Debate/Arguments/Nutrition/HealthyDairy.elm | 3 ++- .../Arguments/Nutrition/HealthyFattyFish.elm | 3 ++- .../Debate/Arguments/Nutrition/HealthyFibre.elm | 3 ++- .../src/Debate/Arguments/Nutrition/HealthyFood.elm | 3 ++- .../Arguments/Nutrition/HealthyPlantFoods.elm | 3 ++- .../Debate/Arguments/Nutrition/HealthySeedOils.elm | 3 ++- .../src/Debate/Arguments/Nutrition/HealthySoy.elm | 3 ++- .../Debate/Arguments/Nutrition/Malondialdehyde.elm | 3 ++- .../Arguments/Nutrition/Omega3Omega6Ratio.elm | 1 + .../src/Debate/Arguments/Nutrition/OptimalDiet.elm | 1 + .../Arguments/Nutrition/PlantBasedCVDReversal.elm | 1 + .../Arguments/Nutrition/PolyphenolReductio.elm | 1 + .../src/Debate/Arguments/Nutrition/SodiumCVD.elm | 1 + .../Debate/Arguments/Nutrition/TMAOCausality.elm | 1 + .../Arguments/Nutrition/UnhealthyCoconutOil.elm | 1 + .../Arguments/Nutrition/UnhealthyProcessedMeat.elm | 1 + .../Arguments/Nutrition/UnhealthyRedMeat.elm | 1 + .../Arguments/Nutrition/UnhealthySaturatedFat.elm | 1 + .../src/Debate/Arguments/Philosophy/Abortion.elm | 1 + .../Debate/Arguments/Philosophy/Agnosticism.elm | 3 ++- .../Arguments/Philosophy/AgriculturalPredation.elm | 1 + .../Debate/Arguments/Philosophy/AnimalRights.elm | 1 + .../Debate/Arguments/Philosophy/AntiRewilding.elm | 1 + .../Debate/Arguments/Philosophy/AntiVandalism.elm | 1 + .../Arguments/Philosophy/ColonizingNature.elm | 1 + .../src/Debate/Arguments/Philosophy/CropDeaths.elm | 1 + .../Debate/Arguments/Philosophy/DairyCowRape.elm | 3 ++- .../Arguments/Philosophy/EfilismPatrolSquad.elm | 3 ++- .../Debate/Arguments/Philosophy/EthicalSlurs.elm | 1 + .../src/Debate/Arguments/Philosophy/FineTuning.elm | 1 + .../Arguments/Philosophy/ImmortalityReductio.elm | 1 + .../Arguments/Philosophy/OddOrderPredators.elm | 1 + .../Debate/Arguments/Philosophy/Ostroveganism.elm | 1 + .../Arguments/Philosophy/PollinationReductio.elm | 1 + .../Arguments/Philosophy/ScratcherPioneers.elm | 1 + .../Debate/Arguments/Philosophy/TransPeople.elm | 1 + .../Arguments/Philosophy/VeganSocietyReductio.elm | 1 + .../Debate/Arguments/Politics/BoobyTrapPagers.elm | 1 + .../Arguments/Science/EpidemiologyCausality.elm | 1 + .../Debate/Arguments/Science/FlatEarthDebunk.elm | 1 + .../src/Debate/Arguments/Science/TruncatedMeta.elm | 1 + frontend/src/Debate/Arguments/Template.elm | 1 + frontend/src/Debate/{Arguments => }/Helpers.elm | 14 +++++++++++++- frontend/src/Debate/Types.elm | 1 + frontend/src/Pages/Arguments.elm | 2 +- 54 files changed, 90 insertions(+), 23 deletions(-) rename frontend/src/Debate/{Arguments => }/Helpers.elm (92%) diff --git a/frontend/src/Debate/Arguments/Medicine/ApoBCVD.elm b/frontend/src/Debate/Arguments/Medicine/ApoBCVD.elm index fbf0f20..6ee7f71 100644 --- a/frontend/src/Debate/Arguments/Medicine/ApoBCVD.elm +++ b/frontend/src/Debate/Arguments/Medicine/ApoBCVD.elm @@ -6,7 +6,8 @@ argumentApoBCVD : Argument argumentApoBCVD = { argumentTitle = "Argument for Atherogenic ApoB" , propositionTitle = "ApoB-containing lipoproteins dose-dependently cause atherosclerosis." - , propositionSummary = "Summary" + , propositionReductio = "" + , propositionSummary = "ApoB-containing lipoproteins consistently and proportionately associate with increased plaque volume after controlling for relevant confounders, which satisfies the conditions outlined for an exposure to cause atherosclerosis." , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qw)|=(Pw)" , definitionTable = [ { definiendum = "P(x)" diff --git a/frontend/src/Debate/Arguments/Nutrition/AnabolicKeto.elm b/frontend/src/Debate/Arguments/Nutrition/AnabolicKeto.elm index b8896e2..88ad638 100755 --- a/frontend/src/Debate/Arguments/Nutrition/AnabolicKeto.elm +++ b/frontend/src/Debate/Arguments/Nutrition/AnabolicKeto.elm @@ -7,7 +7,8 @@ argumentAnabolicKeto : Argument argumentAnabolicKeto = { argumentTitle = "Anabolic Opportunity Cost on Keto" , propositionTitle = "Ketogenic diets are likely to cost anabolic potential compared to non-ketogenic diets." - , propositionSummary = "Summary" + , propositionReductio = "" + , propositionSummary = "A higher proportion of amino acids are spent on gluconeogenesis while on ketogenic diets, reducing the amount available for hypertrophy. This likely costs anabolic potential on ketogenic diets compared to non-ketogenic diets." , proofLink = "https://www.umsu.de/trees/#(P~5Q),(P),(Q~5R)|=(R)" , definitionTable = [ { definiendum = "P" diff --git a/frontend/src/Debate/Arguments/Nutrition/AntagonisticPleiotropy.elm b/frontend/src/Debate/Arguments/Nutrition/AntagonisticPleiotropy.elm index 0136574..5bb751a 100755 --- a/frontend/src/Debate/Arguments/Nutrition/AntagonisticPleiotropy.elm +++ b/frontend/src/Debate/Arguments/Nutrition/AntagonisticPleiotropy.elm @@ -7,7 +7,8 @@ argumentAntagonisticPleiotropy : Argument argumentAntagonisticPleiotropy = { argumentTitle = "Argument Against Ancestral Diets" , propositionTitle = "Ancestral diets have inherent disadvantages over novel diets" - , propositionSummary = "Summary" + , propositionReductio = "" + , propositionSummary = "Humans have more genetic adaptations to ancestral foods than novel foods, which makes the long-term negative consequences of antagonistic pleiotropy a greater concern for ancestral foods." , proofLink = "https://www.umsu.de/trees/#(P~5Q),(Q~5R),(P)|=(R)" , definitionTable = [ { definiendum = "P" diff --git a/frontend/src/Debate/Arguments/Nutrition/CarbsObesity.elm b/frontend/src/Debate/Arguments/Nutrition/CarbsObesity.elm index 67c225a..c5b638a 100644 --- a/frontend/src/Debate/Arguments/Nutrition/CarbsObesity.elm +++ b/frontend/src/Debate/Arguments/Nutrition/CarbsObesity.elm @@ -7,7 +7,8 @@ argumentCarbsObesity : Argument argumentCarbsObesity = { argumentTitle = "Argument Against the Obesogenic Carbohydrates" , propositionTitle = "Carbohydrates do not uniquely cause fat accumulation or obesity." - , propositionSummary = "Summary" + , propositionReductio = "" + , propositionSummary = "There are a number of predictions made from the hypothesis that carbohydrates uniquely cause obesity. One of those predictions is that obesity would track with carbohydrate intake, but it doesn't" , proofLink = "https://www.umsu.de/trees/#(P~5Q),(~3Q)|=(~3P)" , definitionTable = [ { definiendum = "P" diff --git a/frontend/src/Debate/Arguments/Nutrition/DietaryCholesterol.elm b/frontend/src/Debate/Arguments/Nutrition/DietaryCholesterol.elm index 463729b..6a49ecb 100644 --- a/frontend/src/Debate/Arguments/Nutrition/DietaryCholesterol.elm +++ b/frontend/src/Debate/Arguments/Nutrition/DietaryCholesterol.elm @@ -7,7 +7,8 @@ argumentDietaryCholesterol : Argument argumentDietaryCholesterol = { argumentTitle = "Argument for Atherogenic Dietary Cholesterol" , propositionTitle = "Consuming high amounts of dietary cholesterol increases heart disease risk." - , propositionSummary = "Summary" + , propositionReductio = "" + , propositionSummary = "LDL causally associates with heart disease in a linear and proportional manner, and in all cases exposures that durably increase LDL over time produce likewise increases in heart disease risk. Dietary cholesterol is one such exposure." , proofLink = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(Pd)|=(Qd)" , definitionTable = [ { definiendum = "P(x)" diff --git a/frontend/src/Debate/Arguments/Nutrition/FructoseNAFLD.elm b/frontend/src/Debate/Arguments/Nutrition/FructoseNAFLD.elm index a1d6cdb..612a32b 100644 --- a/frontend/src/Debate/Arguments/Nutrition/FructoseNAFLD.elm +++ b/frontend/src/Debate/Arguments/Nutrition/FructoseNAFLD.elm @@ -5,9 +5,10 @@ import Debate.Types exposing (..) argumentFructoseNAFLD : Argument argumentFructoseNAFLD = - { argumentTitle = "Argument Against Lipgenic Fructose" + { argumentTitle = "Argument Against Lipogenic Fructose" , propositionTitle = "Fructose doesn't seem to uniquely cause fatty liver disease." - , propositionSummary = "Summary" + , propositionReductio = "" + , propositionSummary = "Experimental investigations into fructose overfeeding have consistently failed to produce a fatty liver phenotype in humans. This suggests that fructose, contrary to popular belief in some domains, does not uniquely cause fatty liver disease." , proofLink = "https://www.umsu.de/trees/#(P~5~3Q),(P)|=(~3Q)" , definitionTable = [ { definiendum = "P" diff --git a/frontend/src/Debate/Arguments/Nutrition/HealthPromotingFoods.elm b/frontend/src/Debate/Arguments/Nutrition/HealthPromotingFoods.elm index c4f4a2f..d264074 100644 --- a/frontend/src/Debate/Arguments/Nutrition/HealthPromotingFoods.elm +++ b/frontend/src/Debate/Arguments/Nutrition/HealthPromotingFoods.elm @@ -6,6 +6,7 @@ argumentHealthPromotingFoods : Argument argumentHealthPromotingFoods = { argumentTitle = "Argument for Food's Inherent Health Value" , propositionTitle = "All foods are definitionally health-promoting." + , propositionReductio = "" , 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 = diff --git a/frontend/src/Debate/Arguments/Nutrition/HealthSeeker.elm b/frontend/src/Debate/Arguments/Nutrition/HealthSeeker.elm index efc7e58..e6d8c08 100755 --- a/frontend/src/Debate/Arguments/Nutrition/HealthSeeker.elm +++ b/frontend/src/Debate/Arguments/Nutrition/HealthSeeker.elm @@ -7,7 +7,8 @@ argumentHealthSeeker : Argument argumentHealthSeeker = { argumentTitle = "Ancestral Health Consistency Checker" , propositionTitle = "If someone (who favours consuming ancestral foods to the exclusion of novel foods because they value reducing disease risk) is not in favour of consuming a novel food (that reduces disease risk when replacing an ancestral food), then that person would be acting against their values." - , propositionSummary = "Essentially, if our interlocutor identifies as \"F\", then all we need to do is demonstrate to them that \"N\" exists, and we're essentially home free. If they accept that \"N\" exists and they also identify as \"F\", then they should be in favour of substituting such a novel food for such an ancestral food. If they don't then they have a contradiction." + , propositionReductio = "" + , propositionSummary = "If someone values consuming ancestral foods over novel foods because they have the overall value of reducing disease risk, but a novel food reduces disease risk when replacing an ancestral food, they would be acting against their values by rejecting the novel food." , proofLink = "https://www.umsu.de/trees/#(~7x(Px)~1~7y(Qy)~5~6x~6y(~3Rxy~5Sx)),(~7x(Px)),(~7y(Qy))|=(~6x~6y(~3Rxy~5Sx))" , definitionTable = [ { definiendum = "P(x)" diff --git a/frontend/src/Debate/Arguments/Nutrition/HealthyChocolate.elm b/frontend/src/Debate/Arguments/Nutrition/HealthyChocolate.elm index 9d18a06..a22f796 100644 --- a/frontend/src/Debate/Arguments/Nutrition/HealthyChocolate.elm +++ b/frontend/src/Debate/Arguments/Nutrition/HealthyChocolate.elm @@ -7,8 +7,9 @@ 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)" + , propositionReductio = "" + , propositionSummary = "Despite chocolate containing high amounts of saturated fat, populations that consume more chocolate do not exhibit higher rates of atherosclerosis, suggesting that chocolate does not have the same effect on heart disease risk as most other saturated fat sources." + , proofLink = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(~3Qc)|=(~3Pc)" , definitionTable = [ { definiendum = "P(x)" , definiens = "(x) causes atherosclerosis" @@ -16,6 +17,9 @@ argumentHealthyChocolate = , { 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 = "a high saturated fat food" + } , { definiendum = "c" , definiens = "chocolate" } diff --git a/frontend/src/Debate/Arguments/Nutrition/HealthyDairy.elm b/frontend/src/Debate/Arguments/Nutrition/HealthyDairy.elm index 7c1f8fb..c1541f4 100644 --- a/frontend/src/Debate/Arguments/Nutrition/HealthyDairy.elm +++ b/frontend/src/Debate/Arguments/Nutrition/HealthyDairy.elm @@ -6,7 +6,8 @@ argumentHealthyDairy : Argument argumentHealthyDairy = { argumentTitle = "Argument for Healthy Dairy Products" , propositionTitle = "Non-churned, non-homogenized dairy do not cause atherosclerosis." - , propositionSummary = "Summary" + , propositionReductio = "" + , propositionSummary = "The diet-heart hypothesis would predict that populations consuming more dairy foods should have higher rates of the disease. However, even when you account for factors that could plausibly influence the results, non-churned, non-homogenized dairy have been shown to consistently reduce the risk of morbidity and mortality, strongly suggesting that they directly contribute to better health outcomes, particularly with respect to cardiovascular disease and colorectal cancer." , proofLink = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(~3Qh)|=(~3Ph)" , definitionTable = [ { definiendum = "P(x)" diff --git a/frontend/src/Debate/Arguments/Nutrition/HealthyFattyFish.elm b/frontend/src/Debate/Arguments/Nutrition/HealthyFattyFish.elm index 2ba9b35..22c8d7a 100644 --- a/frontend/src/Debate/Arguments/Nutrition/HealthyFattyFish.elm +++ b/frontend/src/Debate/Arguments/Nutrition/HealthyFattyFish.elm @@ -7,7 +7,8 @@ argumentHealthyFattyFish : Argument argumentHealthyFattyFish = { argumentTitle = "Argument for Overwhelmingly Healthy Fatty Fish" , propositionTitle = "Fatty fish is overwhelmingly healthy." - , propositionSummary = "Summary" + , propositionReductio = "" + , propositionSummary = "Even when you account for factors that could plausibly influence the results, fatty fish have been shown to consistently reduce the risk of morbidity and mortality, strongly suggesting that they directly contribute to better health outcomes, particularly with respect to cardiovascular disease." , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qf)|=(Pf)" , definitionTable = [ { definiendum = "P(x)" diff --git a/frontend/src/Debate/Arguments/Nutrition/HealthyFibre.elm b/frontend/src/Debate/Arguments/Nutrition/HealthyFibre.elm index 141b82f..8f06693 100644 --- a/frontend/src/Debate/Arguments/Nutrition/HealthyFibre.elm +++ b/frontend/src/Debate/Arguments/Nutrition/HealthyFibre.elm @@ -7,7 +7,8 @@ argumentHealthyFibre : Argument argumentHealthyFibre = { argumentTitle = "Argument for Overwhelmingly Healthy Fibre" , propositionTitle = "Fibre, whether whole or refined, is overwhelmingly healthy." - , propositionSummary = "Summary" + , propositionReductio = "" + , propositionSummary = "Even when you account for factors that could plausibly influence the results, both refined and whole fibre have been shown to consistently reduce the risk of morbidity and mortality, strongly suggesting that they directly contribute to better health outcomes, particularly with respect to cardiovascular disease." , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qb)|=(Pb)" , definitionTable = [ { definiendum = "P(x)" diff --git a/frontend/src/Debate/Arguments/Nutrition/HealthyFood.elm b/frontend/src/Debate/Arguments/Nutrition/HealthyFood.elm index 60eb237..b6a6867 100755 --- a/frontend/src/Debate/Arguments/Nutrition/HealthyFood.elm +++ b/frontend/src/Debate/Arguments/Nutrition/HealthyFood.elm @@ -7,7 +7,8 @@ argumentHealthyFood : Argument argumentHealthyFood = { argumentTitle = "Argument For Healthy Food Substitution" , propositionTitle = "Pepsi is healthy compared to leafy greens when trapped on a desert island." - , propositionSummary = "Summary" + , propositionReductio = "" + , propositionSummary = "A food is considered healthier than another in a specific context if it increases the time before illness or disease sets in when replacing the other food. On a desert island, since Pepsi can extend the time before starvation compared to leafy greens, it is considered healthier than leafy greens in that context." , proofLink = "https://www.umsu.de/trees/#(~6x~6y~6z~6w(Pxyw~4Qxyzw)),(Qpdsl)%7C=(Ppdl)" , definitionTable = [ { definiendum = "P(x,y,w)" diff --git a/frontend/src/Debate/Arguments/Nutrition/HealthyPlantFoods.elm b/frontend/src/Debate/Arguments/Nutrition/HealthyPlantFoods.elm index 07463fb..2db2a00 100644 --- a/frontend/src/Debate/Arguments/Nutrition/HealthyPlantFoods.elm +++ b/frontend/src/Debate/Arguments/Nutrition/HealthyPlantFoods.elm @@ -7,7 +7,8 @@ argumentHealthyPlantFoods : Argument argumentHealthyPlantFoods = { argumentTitle = "Argument for Overwhelmingly Healthy Plant Foods" , propositionTitle = "Whole plant foods are overwhelmingly healthy." - , propositionSummary = "Summary" + , propositionReductio = "" + , propositionSummary = "Since whole plant foods consistently consistently associate with reduced risk of illness and death, it is reasonable to conclude that whole plant foods are overwhelmingly healthy." , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qf)|=(Pf)" , definitionTable = [ { definiendum = "P(x)" diff --git a/frontend/src/Debate/Arguments/Nutrition/HealthySeedOils.elm b/frontend/src/Debate/Arguments/Nutrition/HealthySeedOils.elm index 7aba9bd..adb24e4 100644 --- a/frontend/src/Debate/Arguments/Nutrition/HealthySeedOils.elm +++ b/frontend/src/Debate/Arguments/Nutrition/HealthySeedOils.elm @@ -7,7 +7,8 @@ argumentHealthySeedOils : Argument argumentHealthySeedOils = { argumentTitle = "Argument for Overwhelmingly Healthy Seed Oils" , propositionTitle = "Non-hydrogenated vegetable oils are overwhelmingly healthy." - , propositionSummary = "Summary" + , propositionReductio = "" + , propositionSummary = "Even when you account for factors that could plausibly influence the results, non-hydrogenated vegetable oils have been shown to consistently reduce the risk of morbidity and mortality, strongly suggesting that they directly contribute to better health outcomes." , proofLink = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(Pv)|=(Qv)" , definitionTable = [ { definiendum = "P(x)" diff --git a/frontend/src/Debate/Arguments/Nutrition/HealthySoy.elm b/frontend/src/Debate/Arguments/Nutrition/HealthySoy.elm index d631d79..5052d13 100644 --- a/frontend/src/Debate/Arguments/Nutrition/HealthySoy.elm +++ b/frontend/src/Debate/Arguments/Nutrition/HealthySoy.elm @@ -7,7 +7,8 @@ argumentHealthySoy : Argument argumentHealthySoy = { argumentTitle = "Argument for Soy Products" , propositionTitle = "Soy products are overwhelmingly healthy." - , propositionSummary = "Summary" + , propositionReductio = "" + , propositionSummary = "Even when you account for factors that could plausibly influence the results, non-hydrogenated soy products have been shown to consistently reduce the risk of morbidity and mortality, strongly suggesting that they directly contribute to better health outcomes, particularly with respect to cardiovascular disease." , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qs)|=(Ps)" , definitionTable = [ { definiendum = "P(x)" diff --git a/frontend/src/Debate/Arguments/Nutrition/Malondialdehyde.elm b/frontend/src/Debate/Arguments/Nutrition/Malondialdehyde.elm index 5a9a0c4..aaa59a9 100755 --- a/frontend/src/Debate/Arguments/Nutrition/Malondialdehyde.elm +++ b/frontend/src/Debate/Arguments/Nutrition/Malondialdehyde.elm @@ -7,7 +7,8 @@ argumentMalondialdehyde : Argument argumentMalondialdehyde = { argumentTitle = "Atherogenic Omega-3 Reductio" , propositionTitle = "Omega-3s are atherogenic." - , propositionSummary = "Summary" + , propositionReductio = "" + , propositionSummary = "If one takes the view that in order for a substance to increase the risk of atherosclerosis, it must facilitate the oxidative modification of LDL particles via malondialdehyde production, and one also affirms that omega-3s are anti-atherogenic, then this would imply that all fatty acids that produce malondialdehyde, including omega-3s, must also be atherogenic, which contradicts the their belief that omega-3s are heart-healthy." , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qm),(Pm~5~6x(Rx))%7C=(Ro)" , definitionTable = [ { definiendum = "P(x)" diff --git a/frontend/src/Debate/Arguments/Nutrition/Omega3Omega6Ratio.elm b/frontend/src/Debate/Arguments/Nutrition/Omega3Omega6Ratio.elm index 8298d0a..13d7895 100644 --- a/frontend/src/Debate/Arguments/Nutrition/Omega3Omega6Ratio.elm +++ b/frontend/src/Debate/Arguments/Nutrition/Omega3Omega6Ratio.elm @@ -6,6 +6,7 @@ argumentOmega3Omega6Ratio : Argument argumentOmega3Omega6Ratio = { argumentTitle = "Argument Against the Omega-6/Omega-3 Ratio" , propositionTitle = "The omega-6/omega-3 ratio is unlikely to matter for health." + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(P~5Q),(~3Q)|=(~3P)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Nutrition/OptimalDiet.elm b/frontend/src/Debate/Arguments/Nutrition/OptimalDiet.elm index 4ae46f7..92c3f84 100644 --- a/frontend/src/Debate/Arguments/Nutrition/OptimalDiet.elm +++ b/frontend/src/Debate/Arguments/Nutrition/OptimalDiet.elm @@ -7,6 +7,7 @@ argumentOptimalDiet : Argument argumentOptimalDiet = { argumentTitle = "Argument for the Artificial Manipulation of Food" , propositionTitle = "The optimal human diet is likely heavily artificial." + , propositionReductio = "" , 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 = diff --git a/frontend/src/Debate/Arguments/Nutrition/PlantBasedCVDReversal.elm b/frontend/src/Debate/Arguments/Nutrition/PlantBasedCVDReversal.elm index 78d8d42..c50c281 100644 --- a/frontend/src/Debate/Arguments/Nutrition/PlantBasedCVDReversal.elm +++ b/frontend/src/Debate/Arguments/Nutrition/PlantBasedCVDReversal.elm @@ -7,6 +7,7 @@ argumentPlantBasedCVDReversal : Argument argumentPlantBasedCVDReversal = { argumentTitle = "Argument Against Plant-Based Diets Reversing Heart Disease" , propositionTitle = "Plant-based diets do not appear to clinically reverse atherosclerosis." + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(P~1~3Q~5~3R),(P),(~3Q)|=(~3R)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Nutrition/PolyphenolReductio.elm b/frontend/src/Debate/Arguments/Nutrition/PolyphenolReductio.elm index a4eb61e..856e73c 100755 --- a/frontend/src/Debate/Arguments/Nutrition/PolyphenolReductio.elm +++ b/frontend/src/Debate/Arguments/Nutrition/PolyphenolReductio.elm @@ -7,6 +7,7 @@ argumentPolyphenolReductio : Argument argumentPolyphenolReductio = { argumentTitle = "Anti-Polyphenol Reductio" , propositionTitle = "Anti-polyphenol, ancestral diet advocates are committed to favouring GMOs." + , propositionReductio = "asdasd" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(~6x~6y(Px~1Qxy~5Rxy)),(Pp),(Qpg),(Rpg~5Spg),(Spg~5Wp)|=(Wp)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Nutrition/SodiumCVD.elm b/frontend/src/Debate/Arguments/Nutrition/SodiumCVD.elm index f5bbb74..15a80c3 100644 --- a/frontend/src/Debate/Arguments/Nutrition/SodiumCVD.elm +++ b/frontend/src/Debate/Arguments/Nutrition/SodiumCVD.elm @@ -6,6 +6,7 @@ argumentSodiumCVD : Argument argumentSodiumCVD = { argumentTitle = "Argument for Atherogenic Sodium" , propositionTitle = "Higher intakes of sodium increases cardiovascular disease risk." + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(~6x(Px~1Q~5Rx)),(Ps),(Q)|=(Rs)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Nutrition/TMAOCausality.elm b/frontend/src/Debate/Arguments/Nutrition/TMAOCausality.elm index 83d2fac..1543d5c 100644 --- a/frontend/src/Debate/Arguments/Nutrition/TMAOCausality.elm +++ b/frontend/src/Debate/Arguments/Nutrition/TMAOCausality.elm @@ -6,6 +6,7 @@ import Debate.Types exposing (..) argumentTMAOCausality : Argument argumentTMAOCausality = { argumentTitle = "Argument Against TMAO Being Causal in CVD" + , propositionReductio = "" , propositionTitle = "TMAO is not likely to be causative of heart disease." , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(~3Qt)|=(~3Pt)" diff --git a/frontend/src/Debate/Arguments/Nutrition/UnhealthyCoconutOil.elm b/frontend/src/Debate/Arguments/Nutrition/UnhealthyCoconutOil.elm index eda5da5..e579685 100755 --- a/frontend/src/Debate/Arguments/Nutrition/UnhealthyCoconutOil.elm +++ b/frontend/src/Debate/Arguments/Nutrition/UnhealthyCoconutOil.elm @@ -7,6 +7,7 @@ argumentUnhealthyCoconutOil : Argument argumentUnhealthyCoconutOil = { 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." + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(~6x(Px~1Qx~5~3Rx)),(Pc),(Qc)|=(~3Rc)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Nutrition/UnhealthyProcessedMeat.elm b/frontend/src/Debate/Arguments/Nutrition/UnhealthyProcessedMeat.elm index 61ee465..90b50e6 100644 --- a/frontend/src/Debate/Arguments/Nutrition/UnhealthyProcessedMeat.elm +++ b/frontend/src/Debate/Arguments/Nutrition/UnhealthyProcessedMeat.elm @@ -7,6 +7,7 @@ argumentUnhealthyProcessedMeat : Argument argumentUnhealthyProcessedMeat = { argumentTitle = "Argument for Overwhelmingly Unhealthy Processed Meat" , propositionTitle = "Processed meat is overwhelmingly unhealthy." + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qs)|=(Ps)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Nutrition/UnhealthyRedMeat.elm b/frontend/src/Debate/Arguments/Nutrition/UnhealthyRedMeat.elm index 49a18a7..780f82f 100644 --- a/frontend/src/Debate/Arguments/Nutrition/UnhealthyRedMeat.elm +++ b/frontend/src/Debate/Arguments/Nutrition/UnhealthyRedMeat.elm @@ -7,6 +7,7 @@ argumentUnhealthyRedMeat : Argument argumentUnhealthyRedMeat = { argumentTitle = "Argument for Overwhelmingly Unhealthy Red Meat" , propositionTitle = "Red meat and processed meat are overwhelmingly unhealthy." + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qm)|=(Pm)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Nutrition/UnhealthySaturatedFat.elm b/frontend/src/Debate/Arguments/Nutrition/UnhealthySaturatedFat.elm index 3c119a1..e2e39b2 100644 --- a/frontend/src/Debate/Arguments/Nutrition/UnhealthySaturatedFat.elm +++ b/frontend/src/Debate/Arguments/Nutrition/UnhealthySaturatedFat.elm @@ -7,6 +7,7 @@ argumentUnhealthySaturatedFat : Argument argumentUnhealthySaturatedFat = { argumentTitle = "Argument Against Saturated Fat" , propositionTitle = "Most sources of saturated fat are overwhelmingly unhealthy." + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(Qf)|=(Pf)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Philosophy/Abortion.elm b/frontend/src/Debate/Arguments/Philosophy/Abortion.elm index 7763ceb..24f1174 100755 --- a/frontend/src/Debate/Arguments/Philosophy/Abortion.elm +++ b/frontend/src/Debate/Arguments/Philosophy/Abortion.elm @@ -7,6 +7,7 @@ argumentAbortion : Argument argumentAbortion = { argumentTitle = "Abortion Rights" , propositionTitle = "One's whims are not a sufficient justification for the termination of sentient human life." + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(P~2Q~5R),(P),(Q),((R~1F~1~3H)~5M),(F),(~3H),(M~5~3W)%7C=(~3W)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Philosophy/Agnosticism.elm b/frontend/src/Debate/Arguments/Philosophy/Agnosticism.elm index 49bb467..5cb0db6 100755 --- a/frontend/src/Debate/Arguments/Philosophy/Agnosticism.elm +++ b/frontend/src/Debate/Arguments/Philosophy/Agnosticism.elm @@ -6,7 +6,8 @@ import Debate.Types exposing (..) argumentAgnosticism : Argument argumentAgnosticism = { 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" + , 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 = "Summary" , proofLink = "https://www.umsu.de/trees/#(~6x~6y(~3Pxy~5~3Qxy)),(~6x~6y(~3Qxy~5Rxy)),(~3Por)|=(Ror)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Philosophy/AgriculturalPredation.elm b/frontend/src/Debate/Arguments/Philosophy/AgriculturalPredation.elm index 9e36bd1..efc98b2 100755 --- a/frontend/src/Debate/Arguments/Philosophy/AgriculturalPredation.elm +++ b/frontend/src/Debate/Arguments/Philosophy/AgriculturalPredation.elm @@ -7,6 +7,7 @@ argumentAgriculturalPredation : Argument argumentAgriculturalPredation = { argumentTitle = "Argument for Animal Agirculture Counting as Predation" , propositionTitle = "Animal agriculture counts as predation." + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(~6x~6y~6z(Px~4Qxyz~1(Rxyz~2Sxyz)~1Wxyz)),(Qahl),(Rahl~2Sahl),(Wahl)%7C=(Pa)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Philosophy/AnimalRights.elm b/frontend/src/Debate/Arguments/Philosophy/AnimalRights.elm index 2ac9c3c..08b92d9 100755 --- a/frontend/src/Debate/Arguments/Philosophy/AnimalRights.elm +++ b/frontend/src/Debate/Arguments/Philosophy/AnimalRights.elm @@ -7,6 +7,7 @@ argumentAnimalRights : Argument argumentAnimalRights = { argumentTitle = "Argument for Animal Rights" , propositionTitle = "We should not exploit animals to any greater degree than we would tolerate for humans." + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(~6x(Px~5~3Qx)),(~3Pa~5~7t(Rta~5(Rth~5~3Ph))),(~3~7t(Rta~5(Rth~5~3Ph))),(Pa)|=(~3Qa)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Philosophy/AntiRewilding.elm b/frontend/src/Debate/Arguments/Philosophy/AntiRewilding.elm index c95094f..738e80a 100644 --- a/frontend/src/Debate/Arguments/Philosophy/AntiRewilding.elm +++ b/frontend/src/Debate/Arguments/Philosophy/AntiRewilding.elm @@ -7,6 +7,7 @@ argumentAntiRewilding : Argument argumentAntiRewilding = { argumentTitle = "Argument Against Rewilding" , propositionTitle = "Rewilding sentient animals is immoral." + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(~6x(Px~5~3Qx)),(Pa),(~3Qa~5~3R),(~3R~5Sa)|=(Sa)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Philosophy/AntiVandalism.elm b/frontend/src/Debate/Arguments/Philosophy/AntiVandalism.elm index 7f4af70..99156f8 100755 --- a/frontend/src/Debate/Arguments/Philosophy/AntiVandalism.elm +++ b/frontend/src/Debate/Arguments/Philosophy/AntiVandalism.elm @@ -7,6 +7,7 @@ argumentAntiVandalism : Argument argumentAntiVandalism = { argumentTitle = "Argument Against Zoo Vandalism" , propositionTitle = "Vandalizing zoos increases the probability of harming the animals they keep." + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(P~5Q),(P),(Q~5R)%7C=(R)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Philosophy/ColonizingNature.elm b/frontend/src/Debate/Arguments/Philosophy/ColonizingNature.elm index 47faa75..292af3d 100755 --- a/frontend/src/Debate/Arguments/Philosophy/ColonizingNature.elm +++ b/frontend/src/Debate/Arguments/Philosophy/ColonizingNature.elm @@ -7,6 +7,7 @@ argumentColonizingNature : Argument argumentColonizingNature = { argumentTitle = "Argument for the Non-Violence Displacement of Nature" , propositionTitle = "We are justified in displacing nature into non-existence" + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(P~1~3Q~1~3R~1~3S~5W),(P),(~3Q),(~3R),(~3S)%7C=(W)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Philosophy/CropDeaths.elm b/frontend/src/Debate/Arguments/Philosophy/CropDeaths.elm index 4ef226f..da736eb 100755 --- a/frontend/src/Debate/Arguments/Philosophy/CropDeaths.elm +++ b/frontend/src/Debate/Arguments/Philosophy/CropDeaths.elm @@ -7,6 +7,7 @@ argumentCropDeaths : Argument argumentCropDeaths = { argumentTitle = "Cropland vs Wildland Argument" , propositionTitle = "Proposition" + , propositionReductio = "" , propositionSummary = "We can't claim to know that cropland kills more animals than wildland, because if we did know this, there would be evidence for it, and there isn't any such evidence." , proofLink = "https://www.umsu.de/trees/#(P~5Q),(~3Q)%7C=(~3P)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Philosophy/DairyCowRape.elm b/frontend/src/Debate/Arguments/Philosophy/DairyCowRape.elm index 91ffcb4..ff2614c 100755 --- a/frontend/src/Debate/Arguments/Philosophy/DairyCowRape.elm +++ b/frontend/src/Debate/Arguments/Philosophy/DairyCowRape.elm @@ -6,7 +6,8 @@ import Debate.Types exposing (..) argumentDairyCowRape : Argument argumentDairyCowRape = { argumentTitle = "Argument for Dairy Cattle Being Raped" - , propositionTitle = "A bull mating with a cow qualifies as rape" + , propositionTitle = "A bull mating with a cow qualifies as rape." + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(~6x~6y(Px~4(Qxy~1~3Ryx))),(Qae),(~3Rea)|=(Pa)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Philosophy/EfilismPatrolSquad.elm b/frontend/src/Debate/Arguments/Philosophy/EfilismPatrolSquad.elm index cdd442e..9fd29fb 100755 --- a/frontend/src/Debate/Arguments/Philosophy/EfilismPatrolSquad.elm +++ b/frontend/src/Debate/Arguments/Philosophy/EfilismPatrolSquad.elm @@ -6,7 +6,8 @@ import Debate.Types exposing (..) argumentEfilismPatrolSquad : Argument argumentEfilismPatrolSquad = { argumentTitle = "The Eternal Intergalactic Sentience Patrol Squad" - , propositionTitle = "Efilists are committed to pragmatic natalism" + , propositionTitle = "Efilists are committed to pragmatic natalism." + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(P~5Q),(~3Q),(~3P~1R~5~3S),(R),(~3S~5W)|=(W)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Philosophy/EthicalSlurs.elm b/frontend/src/Debate/Arguments/Philosophy/EthicalSlurs.elm index 4b2bee3..8ee1f4f 100755 --- a/frontend/src/Debate/Arguments/Philosophy/EthicalSlurs.elm +++ b/frontend/src/Debate/Arguments/Philosophy/EthicalSlurs.elm @@ -7,6 +7,7 @@ argumentEthicalSlurs : Argument argumentEthicalSlurs = { argumentTitle = "Argument for Using the Term Retard" , propositionTitle = "It is generally permissible to use the term retard with an altered non-bigoted meaning." + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(~6x(~3Px~5Rx)),(~3Pr),(~3Qr~1Rr~5Sr),(Sr~5Wr)|=(Wr)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Philosophy/FineTuning.elm b/frontend/src/Debate/Arguments/Philosophy/FineTuning.elm index ea39131..bd65984 100755 --- a/frontend/src/Debate/Arguments/Philosophy/FineTuning.elm +++ b/frontend/src/Debate/Arguments/Philosophy/FineTuning.elm @@ -7,6 +7,7 @@ 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 = diff --git a/frontend/src/Debate/Arguments/Philosophy/ImmortalityReductio.elm b/frontend/src/Debate/Arguments/Philosophy/ImmortalityReductio.elm index 8cc42a4..f1a5866 100755 --- a/frontend/src/Debate/Arguments/Philosophy/ImmortalityReductio.elm +++ b/frontend/src/Debate/Arguments/Philosophy/ImmortalityReductio.elm @@ -7,6 +7,7 @@ argumentImmortalityReductio : Argument argumentImmortalityReductio = { argumentTitle = "Appeal to Nature Immortality Reductio" , propositionTitle = "Senescence does not result in death." + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(~6x~6y(Hx~5~3Rxy)),(Hs)%7C=(~3Rsd)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Philosophy/OddOrderPredators.elm b/frontend/src/Debate/Arguments/Philosophy/OddOrderPredators.elm index 32f8da2..d6e8b0c 100755 --- a/frontend/src/Debate/Arguments/Philosophy/OddOrderPredators.elm +++ b/frontend/src/Debate/Arguments/Philosophy/OddOrderPredators.elm @@ -7,6 +7,7 @@ argumentOddOrderPredators : Argument argumentOddOrderPredators = { argumentTitle = "Argument for Culling Odd Order Predators" , propositionTitle = "It is permissible to prevent predation with lethal force to the same degree we would tolerate for humans." + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(~6x(Px~5~3Qx)),(Pa),(~3Qa~5R)%7C=(R)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Philosophy/Ostroveganism.elm b/frontend/src/Debate/Arguments/Philosophy/Ostroveganism.elm index a90a907..41a2bd2 100755 --- a/frontend/src/Debate/Arguments/Philosophy/Ostroveganism.elm +++ b/frontend/src/Debate/Arguments/Philosophy/Ostroveganism.elm @@ -7,6 +7,7 @@ argumentOstroveganism : Argument argumentOstroveganism = { argumentTitle = "Argument for Vegan Bivalves" , propositionTitle = "Bivalves are not likely to be sentient." + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx~1Rx~1(Sx~2Wx))),(Qc~1~3Rc~1Sc~1~3Wc),(~3Pc~5~6x(~3Tx))|=(~3Tb)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Philosophy/PollinationReductio.elm b/frontend/src/Debate/Arguments/Philosophy/PollinationReductio.elm index a109260..6602eb4 100755 --- a/frontend/src/Debate/Arguments/Philosophy/PollinationReductio.elm +++ b/frontend/src/Debate/Arguments/Philosophy/PollinationReductio.elm @@ -7,6 +7,7 @@ argumentPollinationReductio : Argument argumentPollinationReductio = { argumentTitle = "Vegan Anti-Pollination Reductio" , propositionTitle = "Apples are not vegan" + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4~3Qx)),(Qb),(~3Pb~5~6y(~3Ry))|=(~3Ra)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Philosophy/ScratcherPioneers.elm b/frontend/src/Debate/Arguments/Philosophy/ScratcherPioneers.elm index 6bd5896..11d5da0 100644 --- a/frontend/src/Debate/Arguments/Philosophy/ScratcherPioneers.elm +++ b/frontend/src/Debate/Arguments/Philosophy/ScratcherPioneers.elm @@ -7,6 +7,7 @@ argumentScratcherPioneers : Argument argumentScratcherPioneers = { argumentTitle = "Tattoo Pioneers were Scratchers" , propositionTitle = "The original trailblazers of modern tattooing were scratchers." + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx~2Rx~2Sx)),(Qt),(Rt),(St)%7C=(Pt)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Philosophy/TransPeople.elm b/frontend/src/Debate/Arguments/Philosophy/TransPeople.elm index 863c954..24f6fe3 100755 --- a/frontend/src/Debate/Arguments/Philosophy/TransPeople.elm +++ b/frontend/src/Debate/Arguments/Philosophy/TransPeople.elm @@ -7,6 +7,7 @@ argumentTransPeople : Argument argumentTransPeople = { 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." + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Rx~1Wx)),(~6x(Qx~4Sx~1Wx)),(Ra~1Wa),(Sg~1Wg)|=(Pa~1Qg)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Philosophy/VeganSocietyReductio.elm b/frontend/src/Debate/Arguments/Philosophy/VeganSocietyReductio.elm index f568d6b..339fbde 100755 --- a/frontend/src/Debate/Arguments/Philosophy/VeganSocietyReductio.elm +++ b/frontend/src/Debate/Arguments/Philosophy/VeganSocietyReductio.elm @@ -7,6 +7,7 @@ argumentVeganSocietyReductio : Argument argumentVeganSocietyReductio = { argumentTitle = "Vegan Society Definition Reductio" , propositionTitle = "It is vegan to eat Groot." + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4~3Qx)),(~6x~6y(~3Rx~5~3Q(e(y)))),(~3Rg)%7C=(P(e(g)))" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Politics/BoobyTrapPagers.elm b/frontend/src/Debate/Arguments/Politics/BoobyTrapPagers.elm index 385e7f3..6e7a530 100755 --- a/frontend/src/Debate/Arguments/Politics/BoobyTrapPagers.elm +++ b/frontend/src/Debate/Arguments/Politics/BoobyTrapPagers.elm @@ -7,6 +7,7 @@ argumentBoobyTrapPagers : Argument argumentBoobyTrapPagers = { argumentTitle = "Argument Against Israeli Pagers as Booby-Traps" , propositionTitle = "The Israeli pagers were not booby-traps." + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4(Qx~1Rx~1Sx))),(Qp),(Rp),(~3Sp)|=(~3Pp)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Science/EpidemiologyCausality.elm b/frontend/src/Debate/Arguments/Science/EpidemiologyCausality.elm index 5a7465b..33bc05a 100644 --- a/frontend/src/Debate/Arguments/Science/EpidemiologyCausality.elm +++ b/frontend/src/Debate/Arguments/Science/EpidemiologyCausality.elm @@ -7,6 +7,7 @@ argumentEpidemiologyCausality : Argument argumentEpidemiologyCausality = { argumentTitle = "Argument for Nutritional Epidemiology" , propositionTitle = "Nutritional epidemiology generally provides good causal estimates." + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(Pe)|=(Qe)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Science/FlatEarthDebunk.elm b/frontend/src/Debate/Arguments/Science/FlatEarthDebunk.elm index caa5c33..93e50ab 100755 --- a/frontend/src/Debate/Arguments/Science/FlatEarthDebunk.elm +++ b/frontend/src/Debate/Arguments/Science/FlatEarthDebunk.elm @@ -7,6 +7,7 @@ argumentFlatEarthDebunk : Argument argumentFlatEarthDebunk = { argumentTitle = "Flat Earth Internal Critique" , propositionTitle = "The stars in the sky will not be perceived as rotating clockwise from anywhere else on the flat Earth, as long as you are looking towards the rotational plane." + , propositionReductio = "" , propositionSummary = "The argument is structured to demonstrate that, within the context of a flat Earth model, if the stars are perceived as rotating counter-clockwise from the center, they cannot also be perceived as rotating clockwise from any point on the Earth." , proofLink = "https://www.umsu.de/trees/#(~6x~6y~6z(Pxy~5(Qyz~5Rxz))),(Pkt~1Qta),(Rka~5~3Ska)|=(~3Ska)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Science/TruncatedMeta.elm b/frontend/src/Debate/Arguments/Science/TruncatedMeta.elm index 4213b56..df1bfa3 100755 --- a/frontend/src/Debate/Arguments/Science/TruncatedMeta.elm +++ b/frontend/src/Debate/Arguments/Science/TruncatedMeta.elm @@ -7,6 +7,7 @@ argumentTruncatedMeta : Argument argumentTruncatedMeta = { argumentTitle = "Argument For Truncated Meta-Analysis" , propositionTitle = "Meta-analytic summations that include adequately powered studies to the exclusion of insufficiently powered studies will provide better causal estimates than meta-analytic summations that include both adequately powered studies and insufficiently powered studies." + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(P~5Q),(P)%7C=(Q)" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Template.elm b/frontend/src/Debate/Arguments/Template.elm index 6663219..64ea915 100755 --- a/frontend/src/Debate/Arguments/Template.elm +++ b/frontend/src/Debate/Arguments/Template.elm @@ -7,6 +7,7 @@ argument : Argument argument = { argumentTitle = "Title" , propositionTitle = "Proposition" + , propositionReductio = "" , propositionSummary = "Summary" , proofLink = "" , definitionTable = diff --git a/frontend/src/Debate/Arguments/Helpers.elm b/frontend/src/Debate/Helpers.elm similarity index 92% rename from frontend/src/Debate/Arguments/Helpers.elm rename to frontend/src/Debate/Helpers.elm index f8031f5..d00840b 100755 --- a/frontend/src/Debate/Arguments/Helpers.elm +++ b/frontend/src/Debate/Helpers.elm @@ -1,4 +1,4 @@ -module Debate.Arguments.Helpers exposing (..) +module Debate.Helpers exposing (..) import Config.Colour as T exposing (..) import Config.Format as O exposing (..) @@ -58,6 +58,17 @@ argumentMaker argument = ) ) argument.argumentFormalization + + maybeReductioField = + case argument.propositionReductio of + "" -> + none + + reductio -> + paragraph (paragraphBoldFormat ++ [ F.size 18 ]) + [ text "Reductio: " |> el [ F.color colourTheme.highlightText ] + , text reductio |> el [ F.color colourTheme.nonHighlightedText, F.regular, F.size 16 ] + ] in column [ paragraphWidth, alignLeft, spacing 8, paddingEach { top = 0, right = 0, bottom = 60, left = 0 } ] @@ -71,6 +82,7 @@ argumentMaker argument = [ text "Proposition: " |> el [ F.color colourTheme.highlightText ] , text argument.propositionTitle |> el [ F.color colourTheme.nonHighlightedText, F.regular, F.size 16 ] ] + , maybeReductioField , paragraph (paragraphBoldFormat ++ [ F.size 18 ]) [ text "Summary: " |> el [ F.color colourTheme.highlightText ] , text argument.propositionSummary |> el [ F.color colourTheme.nonHighlightedText, F.regular, F.size 16 ] diff --git a/frontend/src/Debate/Types.elm b/frontend/src/Debate/Types.elm index 718fd6e..7da66c5 100755 --- a/frontend/src/Debate/Types.elm +++ b/frontend/src/Debate/Types.elm @@ -11,6 +11,7 @@ type alias Argument = { argumentTitle : String , propositionTitle : String , propositionSummary : String + , propositionReductio : String , proofLink : String , definitionTable : List Definition , argumentFormalization : List ArgumentEntry diff --git a/frontend/src/Pages/Arguments.elm b/frontend/src/Pages/Arguments.elm index f17d23c..06ceb32 100755 --- a/frontend/src/Pages/Arguments.elm +++ b/frontend/src/Pages/Arguments.elm @@ -3,7 +3,7 @@ module Pages.Arguments exposing (Model, Msg, page) import Config.Colour as T exposing (..) import Config.Format as O exposing (..) import Config.Identity as I exposing (..) -import Debate.Arguments.Helpers exposing (..) +import Debate.Helpers exposing (..) import Debate.Arguments.Medicine.ApoBCVD exposing (..) import Debate.Arguments.Nutrition.AnabolicKeto exposing (..) import Debate.Arguments.Nutrition.AntagonisticPleiotropy exposing (..)