From 600bfc267cffc7c9c5aabe4903739f4b1bc91cf1 Mon Sep 17 00:00:00 2001 From: Nick Date: Sun, 17 Nov 2024 19:17:04 -0600 Subject: [PATCH] feat: added arguments --- .../Philosophy/ScratcherPioneers.elm | 54 +++++++++++++++ .../Debate/Arguments/Veganism/CropDeaths.elm | 47 ++++--------- .../Arguments/Veganism/DairyCowRape.elm | 55 ++++++++-------- .../Arguments/Veganism/OddOrderPredators.elm | 50 ++++++-------- .../Arguments/Veganism/Ostroveganism.elm | 66 ++++++++++--------- .../Veganism/PollinationReductio.elm | 55 ++++++++-------- frontend/src/Pages/Arguments.elm | 12 ++++ 7 files changed, 186 insertions(+), 153 deletions(-) create mode 100644 frontend/src/Debate/Arguments/Philosophy/ScratcherPioneers.elm diff --git a/frontend/src/Debate/Arguments/Philosophy/ScratcherPioneers.elm b/frontend/src/Debate/Arguments/Philosophy/ScratcherPioneers.elm new file mode 100644 index 0000000..57806e9 --- /dev/null +++ b/frontend/src/Debate/Arguments/Philosophy/ScratcherPioneers.elm @@ -0,0 +1,54 @@ +module Debate.Arguments.Philosophy.ScratcherPioneers exposing (..) + +import Debate.Types exposing (..) + + +argumentScratcherPioneers : Argument +argumentScratcherPioneers = + { argumentTitle = "Tattoo Pioneers were Scratchers" + , propositionTitle = "The original trailblazers of modern tattooing were scratchers." + , propositionSummary = "Summary" + , proofLink = "https://www.umsu.de/trees/#(~6x(Sx~4Lx~2Hx~2Ux)),(Lt),(Ht),(Ut)%7C=(St)" + , definitionTable = + [ { definiendum = "S(x)" + , definiens = "(x) is a scratcher" + } + , { definiendum = "L(x)" + , definiens = "(x) tattoos without a license" + } + , { definiendum = "H(x)" + , definiens = "(x) tattoos without observing basic health standards" + } + , { definiendum = "U(x)" + , definiens = "(x) tattoos without having undertaken apprenticeship" + } + , { definiendum = "x" + , definiens = "a tattoo artist" + } + , { definiendum = "t" + , definiens = "original trailblazers of modern tattooing" + } + ] + , argumentFormalization = + [ { premises = + [ { premise = "One is a scratcher if, and only if, one tattoos without a license and/or one tattoos without observing basic health standards and/or one tattoos without having undertaken apprenticeship." + , notation = "(∀x(Sx↔Lx∨Hx∨Ux))" + } + , { premise = "The original trailblazers of modern tattooing tattooed without licenses." + , notation = "(Lt)" + } + , { premise = "The original trailblazers of modern tattooing tattooed without observing basic health standards." + , notation = "(Ht)" + } + , { premise = "The original trailblazers of modern tattooing tattooed without having undertaken apprenticeship." + , notation = "(Ut)" + } + , { premise = "" + , notation = "" + } + ] + , conclusion = "Therefore, the original trailblazers of modern tattooing were scratchers." + , conclusionNotation = "(∴St)" + } + ] + } diff --git a/frontend/src/Debate/Arguments/Veganism/CropDeaths.elm b/frontend/src/Debate/Arguments/Veganism/CropDeaths.elm index 244480d..f32f3a7 100755 --- a/frontend/src/Debate/Arguments/Veganism/CropDeaths.elm +++ b/frontend/src/Debate/Arguments/Veganism/CropDeaths.elm @@ -5,50 +5,29 @@ import Debate.Types exposing (..) argumentCropDeaths : Argument argumentCropDeaths = - { argumentTitle = "Title" + { argumentTitle = "Cropland vs Wildland Argument" , propositionTitle = "Proposition" - , propositionSummary = "Summary" - , proofLink = "" + , 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 = - [ { definiendum = "" - , definiens = "" + [ { definiendum = "P" + , definiens = "it is known that cropland leads to more animal death than wildland" } - , { definiendum = "" - , definiens = "" - } - , { definiendum = "" - , definiens = "" - } - , { definiendum = "" - , definiens = "" - } - , { definiendum = "" - , definiens = "" - } - , { definiendum = "" - , definiens = "" + , { definiendum = "Q" + , definiens = "there is evidence that cropland leads to more animal death than wildland" } ] , argumentFormalization = [ { premises = - [ { premise = "" - , notation = "" + [ { premise = "If it is known that cropland leads to more animal death than wildland, then there is evidence that cropland leads to more animal death than wildland." + , notation = "(P→Q)" } - , { premise = "" - , notation = "" - } - , { premise = "" - , notation = "" - } - , { premise = "" - , notation = "" - } - , { premise = "" - , notation = "" + , { premise = "There is not evidence that cropland leads to more animal death than wildland." + , notation = "(P)" } ] - , conclusion = "" - , conclusionNotation = "(∴)" + , conclusion = "Therefore, it is not known that cropland leads to more animal death than wildland." + , conclusionNotation = "(∴¬P)" } ] } \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Veganism/DairyCowRape.elm b/frontend/src/Debate/Arguments/Veganism/DairyCowRape.elm index dca153c..133ca95 100755 --- a/frontend/src/Debate/Arguments/Veganism/DairyCowRape.elm +++ b/frontend/src/Debate/Arguments/Veganism/DairyCowRape.elm @@ -5,50 +5,47 @@ import Debate.Types exposing (..) argumentDairyCowRape : Argument argumentDairyCowRape = - { argumentTitle = "Title" - , propositionTitle = "Proposition" + { argumentTitle = "Argument for Dairy Cattle Being Raped" + , propositionTitle = "A bull mating with a cow qualifies as rape" , propositionSummary = "Summary" - , proofLink = "" + , proofLink = "https://www.umsu.de/trees/#(~6x~6y(Px~4(Qxy~1~3Ryx))),(Qae),(~3Rea)|=(Pa)" , definitionTable = - [ { definiendum = "" - , definiens = "" + [ { definiendum = "P(x)" + , definiens = "(x) qualifies as rape" } - , { definiendum = "" - , definiens = "" + , { definiendum = "Q(x,y)" + , definiens = "(x) involves sexual contact with (y)" } - , { definiendum = "" - , definiens = "" + , { definiendum = "R(y,x)" + , definiens = "(y) renders informed consent for (x)" } - , { definiendum = "" - , definiens = "" + , { definiendum = "x" + , definiens = "an action" } - , { definiendum = "" - , definiens = "" + , { definiendum = "y" + , definiens = "an involved party" } - , { definiendum = "" - , definiens = "" + , { definiendum = "a" + , definiens = "bulls mating with cows" + } + , { definiendum = "e" + , definiens = "a cow" } ] , argumentFormalization = [ { premises = - [ { premise = "" - , notation = "" + [ { premise = "An action qualifies as rape if, and only if, the action involves sexual contact with an involved party and the involved party does not render informed consent for the action." + , notation = "(∀x∀y(Px↔(Qxy∧¬Ryx)))" } - , { premise = "" - , notation = "" + , { premise = "A bull mating with a cow involves sexual contact with a cow." + , notation = "(Qae)" } - , { premise = "" - , notation = "" - } - , { premise = "" - , notation = "" - } - , { premise = "" - , notation = "" + , { premise = "A cow does not render informed consent to a bull mating with a cow." + , notation = "(¬Rea)" } ] - , conclusion = "" - , conclusionNotation = "(∴)" + , conclusion = "Therefore, a bull mating with a cow qualifies as rape." + , conclusionNotation = "(∴Pa)" } ] } \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Veganism/OddOrderPredators.elm b/frontend/src/Debate/Arguments/Veganism/OddOrderPredators.elm index ad794d2..17e63c6 100755 --- a/frontend/src/Debate/Arguments/Veganism/OddOrderPredators.elm +++ b/frontend/src/Debate/Arguments/Veganism/OddOrderPredators.elm @@ -5,50 +5,38 @@ import Debate.Types exposing (..) argumentOddOrderPredators : Argument argumentOddOrderPredators = - { argumentTitle = "Title" - , propositionTitle = "Proposition" + { 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." , propositionSummary = "Summary" - , proofLink = "" + , proofLink = "https://www.umsu.de/trees/#(~6x(Wx~5~3Nx)),(Wa),(~3Na~5F)%7C=(F)" , definitionTable = - [ { definiendum = "" - , definiens = "" + [ { definiendum = "W(x)" + , definiens = "(x) has negative rights" } - , { definiendum = "" - , definiens = "" + , { definiendum = "N(x)" + , definiens = "we should defend (x) from rights violations to any lesser degree than we would tolerate for humans" } - , { definiendum = "" - , definiens = "" + , { definiendum = "F(x)" + , definiens = "it is permissible to prevent predation with lethal force to the same degree we would tolerate for humans" } - , { definiendum = "" - , definiens = "" - } - , { definiendum = "" - , definiens = "" - } - , { definiendum = "" - , definiens = "" + , { definiendum = "a" + , definiens = "animal" } ] , argumentFormalization = [ { premises = - [ { premise = "" - , notation = "" + [ { premise = "For all things, if something has negative rights, then we should not defend it from rights violations to any lesser degree than we would tolerate for humans." + , notation = "(∀x(Wx→¬Nx))" } - , { premise = "" - , notation = "" + , { premise = "Animals have negative rights." + , notation = "(Wa)" } - , { premise = "" - , notation = "" - } - , { premise = "" - , notation = "" - } - , { premise = "" - , notation = "" + , { premise = "If we should not defend animals from rights violations to any lesser degree than we would tolerate for humans, then it is permissible to prevent predation with lethal force to the same degree we would tolerate for humans." + , notation = "(¬Na→F)" } ] - , conclusion = "" - , conclusionNotation = "(∴)" + , conclusion = "Therefore, it is permissible to prevent predation with lethal force to the same degree we would tolerate for humans." + , conclusionNotation = "(∴F)" } ] } \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Veganism/Ostroveganism.elm b/frontend/src/Debate/Arguments/Veganism/Ostroveganism.elm index 21d72b2..32d54b7 100755 --- a/frontend/src/Debate/Arguments/Veganism/Ostroveganism.elm +++ b/frontend/src/Debate/Arguments/Veganism/Ostroveganism.elm @@ -5,50 +5,56 @@ import Debate.Types exposing (..) argumentOstroveganism : Argument argumentOstroveganism = - { argumentTitle = "Title" - , propositionTitle = "Proposition" + { argumentTitle = "Argument for Vegan Bivalves" + , propositionTitle = "Bivalves are not likely to be sentient." , propositionSummary = "Summary" - , proofLink = "" + , proofLink = "https://www.umsu.de/trees/#(~6x(Bx~4Px~1Qx~1(Rx~2Sx))),(Pc~1~3Qc~1Rc~1~3Sc),(~3Bc~5~6x(~3Nx))%7C=(~3Nb)" , definitionTable = - [ { definiendum = "" - , definiens = "" + [ { definiendum = "B(x)" + , definiens = "(x) counts as a brain" } - , { definiendum = "" - , definiens = "" + , { definiendum = "P(x)" + , definiens = "(x) is a complex network of interconnected neurons" } - , { definiendum = "" - , definiens = "" + , { definiendum = "Q(x)" + , definiens = "(x) integrates neuronal pathways from multiple sensory organs" } - , { definiendum = "" - , definiens = "" + , { definiendum = "R(x)" + , definiens = "(x) presents with distinct functional regions" } - , { definiendum = "" - , definiens = "" + , { definiendum = "S(x)" + , definiens = "(x) presents with nuclei with white matter tracts that facilitate inter-regional communication" } - , { definiendum = "" - , definiens = "" + , { definiendum = "N(x)" + , definiens = "the corresponding (y) is likely to be sentient" + } + , { definiendum = "x" + , definiens = "an object" + } + , { definiendum = "y" + , definiens = "brainless biological system into which cerebral ganglia are integrated" + } + , { definiendum = "c" + , definiens = "cerebral ganglia" + } + , { definiendum = "b" + , definiens = "bivalves" } ] , argumentFormalization = [ { premises = - [ { premise = "" - , notation = "" + [ { premise = "Something counts as a brain if, and only if, something is a complex network of interconnected neurons, integrates neuronal pathways from multiple sensory organs, and presents with distinct functional regions or nuclei with white matter tracts that facilitate inter-regional communication." + , notation = "(∀x(Bx↔Px∧Qx∧(Rx∨Sx)))" } - , { premise = "" - , notation = "" + , { premise = "Cerebral ganglia meet criteria one and three, but not criteria two and four." + , notation = "(Pc∧¬Qc∧Rc∧¬Sc)" } - , { premise = "" - , notation = "" - } - , { premise = "" - , notation = "" - } - , { premise = "" - , notation = "" + , { premise = "If cerebral ganglia do not count as brains, then the corresponding brainless biological system into which the cerebral ganglia are integrated is not likely to be sentient." + , notation = "(¬Bc→∀x(¬Nx))" } ] - , conclusion = "" - , conclusionNotation = "(∴)" + , conclusion = "Therefore, bivalves are not likely to be sentient." + , conclusionNotation = "(∴¬Nb)" } ] - } \ No newline at end of file + } diff --git a/frontend/src/Debate/Arguments/Veganism/PollinationReductio.elm b/frontend/src/Debate/Arguments/Veganism/PollinationReductio.elm index df78403..04e8b8f 100755 --- a/frontend/src/Debate/Arguments/Veganism/PollinationReductio.elm +++ b/frontend/src/Debate/Arguments/Veganism/PollinationReductio.elm @@ -5,50 +5,47 @@ import Debate.Types exposing (..) argumentPollinationReductio : Argument argumentPollinationReductio = - { argumentTitle = "Title" - , propositionTitle = "Proposition" + { argumentTitle = "Vegan Anti-Pollination Reductio" + , propositionTitle = "Apples are not vegan" , propositionSummary = "Summary" - , proofLink = "" + , proofLink = "https://www.umsu.de/trees/#(~6x(Vx~4~3Ex)),(Eb),(~3Vb~5~6y(~3Py))%7C=(~3Pa)" , definitionTable = - [ { definiendum = "" - , definiens = "" + [ { definiendum = "V(x)" + , definiens = "(x) is vegan" } - , { definiendum = "" - , definiens = "" + , { definiendum = "E(x)" + , definiens = "(x) involves human on non-human animal exploitation" } - , { definiendum = "" - , definiens = "" + , { definiendum = "P(y)" + , definiens = "(y) generated are vegan" } - , { definiendum = "" - , definiens = "" + , { definiendum = "x" + , definiens = "a being" } - , { definiendum = "" - , definiens = "" + , { definiendum = "y" + , definiens = "a product" } - , { definiendum = "" - , definiens = "" + , { definiendum = "b" + , definiens = "bees pollinating human crops" + } + , { definiendum = "a" + , definiens = "apples" } ] , argumentFormalization = [ { premises = - [ { premise = "" - , notation = "" + [ { premise = "Something is vegan if, and only if, something does not involve human on non-human animal exploitation." + , notation = "(∀x(Vx↔¬Ex))" } - , { premise = "" - , notation = "" + , { premise = "Bees pollinating human crops involves human on non-human exploitation." + , notation = "(Eb)" } - , { premise = "" - , notation = "" - } - , { premise = "" - , notation = "" - } - , { premise = "" - , notation = "" + , { premise = "If bees pollinating human crops is not vegan, then the products generated are not vegan." + , notation = "(¬Vb→∀y(¬Py))" } ] - , conclusion = "" - , conclusionNotation = "(∴)" + , conclusion = "Therefore, apples are not vegan." + , conclusionNotation = "(∴¬Pa)" } ] } \ No newline at end of file diff --git a/frontend/src/Pages/Arguments.elm b/frontend/src/Pages/Arguments.elm index 147adef..bb2c0d3 100755 --- a/frontend/src/Pages/Arguments.elm +++ b/frontend/src/Pages/Arguments.elm @@ -16,6 +16,7 @@ import Debate.Arguments.Nutrition.HealthyFood exposing (..) import Debate.Arguments.Nutrition.Malondialdehyde exposing (..) import Debate.Arguments.Nutrition.SaturatedFatLDL exposing (..) import Debate.Arguments.Philosophy.Agnosticism exposing (..) +import Debate.Arguments.Philosophy.ScratcherPioneers exposing (..) import Debate.Arguments.Politics.BoobyTrapPagers exposing (..) import Debate.Arguments.Science.FlatEarthDebunk exposing (..) import Debate.Arguments.Science.TruncatedMeta exposing (..) @@ -25,6 +26,11 @@ import Debate.Arguments.Veganism.AnimalRights exposing (..) import Debate.Arguments.Veganism.AntiRewilding exposing (..) import Debate.Arguments.Veganism.AntiVandalism exposing (..) import Debate.Arguments.Veganism.ColonizingNature exposing (..) +import Debate.Arguments.Veganism.CropDeaths exposing (..) +import Debate.Arguments.Veganism.DairyCowRape exposing (..) +import Debate.Arguments.Veganism.OddOrderPredators exposing (..) +import Debate.Arguments.Veganism.Ostroveganism exposing (..) +import Debate.Arguments.Veganism.PollinationReductio exposing (..) import Debate.Helpers exposing (..) import Effect exposing (Effect) import Element exposing (..) @@ -149,6 +155,12 @@ debateList = , argumentAntiRewilding , argumentAntiVandalism , argumentColonizingNature + , argumentScratcherPioneers + , argumentCropDeaths + , argumentDairyCowRape + , argumentOddOrderPredators + , argumentOstroveganism + , argumentPollinationReductio ] } ]