From 691b4f4805b41aeac44a17107a8484fb9f035d8a Mon Sep 17 00:00:00 2001 From: Nick Date: Mon, 18 Nov 2024 18:01:32 -0600 Subject: [PATCH] feat: reformatted props and preds --- .../Arguments/Philosophy/AnimalRights.elm | 16 ++++++------ .../Arguments/Philosophy/AntiRewilding.elm | 20 +++++++------- .../Arguments/Philosophy/ColonizingNature.elm | 8 +++--- .../Philosophy/EfilismPatrolSquad.elm | 8 +++--- .../Arguments/Philosophy/EthicalSlurs.elm | 26 +++++++++---------- .../Arguments/Philosophy/FineTuning.elm | 16 ++++++------ .../Philosophy/ImmortalityReductio.elm | 10 +++---- .../Philosophy/OddOrderPredators.elm | 21 ++++++++------- .../Arguments/Philosophy/Ostroveganism.elm | 24 ++++++++--------- .../Philosophy/PollinationReductio.elm | 16 ++++++------ .../Philosophy/ScratcherPioneers.elm | 23 +++++++--------- .../Arguments/Philosophy/TransPeople.elm | 22 ++++++++-------- .../Philosophy/VeganSocietyReductio.elm | 16 ++++++------ .../Arguments/Politics/BoobyTrapPagers.elm | 22 ++++++++-------- 14 files changed, 124 insertions(+), 124 deletions(-) diff --git a/frontend/src/Debate/Arguments/Philosophy/AnimalRights.elm b/frontend/src/Debate/Arguments/Philosophy/AnimalRights.elm index e8e886e..2ac9c3c 100755 --- a/frontend/src/Debate/Arguments/Philosophy/AnimalRights.elm +++ b/frontend/src/Debate/Arguments/Philosophy/AnimalRights.elm @@ -8,15 +8,15 @@ argumentAnimalRights = { argumentTitle = "Argument for Animal Rights" , propositionTitle = "We should not exploit animals to any greater degree than we would tolerate for humans." , propositionSummary = "Summary" - , proofLink = "https://www.umsu.de/trees/#(~6x(Wx~5Nx)),(~3Wa~5~7t(Ata~5(Ath~5~3Wh))),(~3~7t(Ata~5(Ath~5~3Wh))),(Wa)%7C=(Na)" + , 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 = - [ { definiendum = "W(x)" + [ { definiendum = "P(x)" , definiens = "(x) has moral worth" } - , { definiendum = "N(x)" + , { definiendum = "Q(x)" , definiens = "we should exploit (x) to any greater degree than we would tolerate for humans" } - , { definiendum = "∃t(At(x)" + , { definiendum = "R(t,x)" , definiens = "there exists a (t) that is absent in (x)" } , { definiendum = "x" @@ -35,17 +35,17 @@ argumentAnimalRights = , argumentFormalization = [ { premises = [ { premise = "For all things, if a being has moral worth, then we should not exploit it to any greater degree than we would tolerate for humans." - , notation = "(∀x(Wx→Nx))" + , notation = "(∀x(Px→¬Qx))" } , { premise = "If animals don’t have moral worth, then there exists a trait that is absent in animals such that if it were absent in humans, humans wouldn’t have moral worth." - , notation = "(¬Wa→∃t(Ata→(Ath→¬Wh)))" + , notation = "(¬Pa→∃t(Rta→(Rth→¬Ph)))" } , { premise = "There doesn’t exist a trait that is absent in animals such that if it were absent in humans, humans wouldn’t have moral worth" - , notation = "(¬∃t(Ata→(Ath→¬Wh)))" + , notation = "(¬∃t(Rta→(Rth→¬Ph)))" } ] , conclusion = "Therefore, we should not exploit animals to any greater degree than we would tolerate for humans." - , conclusionNotation = "(∴Na)" + , conclusionNotation = "(∴¬Qa)" } ] } diff --git a/frontend/src/Debate/Arguments/Philosophy/AntiRewilding.elm b/frontend/src/Debate/Arguments/Philosophy/AntiRewilding.elm index 243766f..c95094f 100644 --- a/frontend/src/Debate/Arguments/Philosophy/AntiRewilding.elm +++ b/frontend/src/Debate/Arguments/Philosophy/AntiRewilding.elm @@ -8,18 +8,18 @@ argumentAntiRewilding = { argumentTitle = "Argument Against Rewilding" , propositionTitle = "Rewilding sentient animals is immoral." , propositionSummary = "Summary" - , proofLink = "https://www.umsu.de/trees/#(~6x(Wx~5~3Nx)),(Wa),(~3Na~5~3F),(~3F~5Ra)|=(Ra)" + , proofLink = "https://www.umsu.de/trees/#(~6x(Px~5~3Qx)),(Pa),(~3Qa~5~3R),(~3R~5Sa)|=(Sa)" , definitionTable = - [ { definiendum = "W(x)" + [ { definiendum = "P(x)" , definiens = "(x) has negative rights" } - , { definiendum = "N(x)" + , { definiendum = "Q(x)" , definiens = "we should defend (x) from rights violations to any lesser degree than we would tolerate for humans" } - , { definiendum = "F" + , { definiendum = "R" , definiens = "it is permissible to subject animals to conditions that are likely to involve predation, starvation, or death due to environmental exposure to any greater degree than we would tolerate for humans" } - , { definiendum = "R(a)" + , { definiendum = "S(a)" , definiens = "rewilding sentient animals is immoral" } , { definiendum = "x" @@ -32,20 +32,20 @@ argumentAntiRewilding = , argumentFormalization = [ { premises = [ { premise = "For all things, if a being (x) has negative rights, then we should not defend a being (x) from rights violations to any lesser degree than we would tolerate for humans." - , notation = "(∀x(Wx→¬Nx))" + , notation = "(∀x(Px→¬Qx))" } , { premise = "Sentient animals have negative rights." - , notation = "(Wa)" + , notation = "(Pa)" } , { premise = "If we should not defend sentient animals from rights violations to any lesser degree than we would tolerate for humans, then it is not permissible to subject sentient animals to conditions that are likely to involve predation, starvation, or death due to environmental exposure to any greater degree than we would tolerate for humans." - , notation = "(¬Na→¬F)" + , notation = "(¬Qa→¬R)" } , { premise = "If it is not permissible to subject sentient animals to conditions that are likely to involve predation, starvation, or death due to environmental exposure to any greater degree than we would tolerate for humans, then rewilding sentient animals is immoral." - , notation = "(¬F→Ra)" + , notation = "(¬R→Sa)" } ] , conclusion = "Therefore, rewilding sentient animals is immoral." - , conclusionNotation = "(∴Ra)" + , conclusionNotation = "(∴Sa)" } ] } \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Philosophy/ColonizingNature.elm b/frontend/src/Debate/Arguments/Philosophy/ColonizingNature.elm index 2d20d2d..47faa75 100755 --- a/frontend/src/Debate/Arguments/Philosophy/ColonizingNature.elm +++ b/frontend/src/Debate/Arguments/Philosophy/ColonizingNature.elm @@ -8,7 +8,7 @@ argumentColonizingNature = { argumentTitle = "Argument for the Non-Violence Displacement of Nature" , propositionTitle = "We are justified in displacing nature into non-existence" , propositionSummary = "Summary" - , proofLink = "https://www.umsu.de/trees/#(P~1~3Q~1~3R~1~3S~5T),(P),(~3Q),(~3R),(~3S)%7C=(T)" + , proofLink = "https://www.umsu.de/trees/#(P~1~3Q~1~3R~1~3S~5W),(P),(~3Q),(~3R),(~3S)%7C=(W)" , definitionTable = [ { definiendum = "P" , definiens = "the natural world contains intolerable rights violations" @@ -22,14 +22,14 @@ argumentColonizingNature = , { definiendum = "S" , definiens = "the natural world is currently instrumentally vital to facilitating human flourishing" } - , { definiendum = "T" + , { definiendum = "W" , definiens = "we are justified in displacing nature into non-existence" } ] , argumentFormalization = [ { premises = [ { premise = "If the natural world contains intolerable rights violations and we do not know that nature is net positive or net negative for utility and there is not any known practical means by which to end the rights violations beyond the use of force and the natural world is not currently instrumentally vital to facilitating human flourishing, then we are justified in displacing nature into non-existence." - , notation = "(P∧¬Q∧¬R∧¬S→T)" + , notation = "(P∧¬Q∧¬R∧¬S→W)" } , { premise = "Nature entails intolerable rights violations." , notation = "(P)" @@ -45,7 +45,7 @@ argumentColonizingNature = } ] , conclusion = "Therefore, we are justified in displacing nature into non-existence." - , conclusionNotation = "(T∴)" + , conclusionNotation = "(W∴)" } ] } \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Philosophy/EfilismPatrolSquad.elm b/frontend/src/Debate/Arguments/Philosophy/EfilismPatrolSquad.elm index 8d3a012..cdd442e 100755 --- a/frontend/src/Debate/Arguments/Philosophy/EfilismPatrolSquad.elm +++ b/frontend/src/Debate/Arguments/Philosophy/EfilismPatrolSquad.elm @@ -8,7 +8,7 @@ argumentEfilismPatrolSquad = { argumentTitle = "The Eternal Intergalactic Sentience Patrol Squad" , propositionTitle = "Efilists are committed to pragmatic natalism" , propositionSummary = "Summary" - , proofLink = "https://www.umsu.de/trees/#(P~5Q),(~3Q),(~3P~1R~5~3S),(R),(~3S~5T)|=(T)" + , proofLink = "https://www.umsu.de/trees/#(P~5Q),(~3Q),(~3P~1R~5~3S),(R),(~3S~5W)|=(W)" , definitionTable = [ { definiendum = "P" , definiens = "humans abstaining from procreation maximally reduces rights violations" @@ -22,7 +22,7 @@ argumentEfilismPatrolSquad = , { definiendum = "S" , definiens = "efilists should abstain from procreation until all sentient life in the universe is sterilized" } - , { definiendum = "T" + , { definiendum = "W" , definiens = "efilists are committed to pragmatic natalism" } ] @@ -41,11 +41,11 @@ argumentEfilismPatrolSquad = , notation = "(R)" } , { premise = "If efilists should not abstain from procreation until all sentient life in the universe is sterilized, then efilists are committed to pragmatic natalism." - , notation = "(¬S→T)" + , notation = "(¬S→W)" } ] , conclusion = "Therefore, efilists are committed to pragmatic natalism." - , conclusionNotation = "(∴T)" + , conclusionNotation = "(∴W)" } ] } diff --git a/frontend/src/Debate/Arguments/Philosophy/EthicalSlurs.elm b/frontend/src/Debate/Arguments/Philosophy/EthicalSlurs.elm index 77848ef..4b2bee3 100755 --- a/frontend/src/Debate/Arguments/Philosophy/EthicalSlurs.elm +++ b/frontend/src/Debate/Arguments/Philosophy/EthicalSlurs.elm @@ -6,23 +6,23 @@ import Debate.Types exposing (..) argumentEthicalSlurs : Argument argumentEthicalSlurs = { argumentTitle = "Argument for Using the Term Retard" - , propositionTitle = "" - , propositionSummary = "" - , proofLink = "https://www.umsu.de/trees/#(~6x(Cx~4Bx)),(~6x(~3Cx~5Dx)),(~3Cr),(~3Br~1Dr~5Sr),(Sr~5Ar)%7C=(Ar)" + , propositionTitle = "It is generally permissible to use the term retard with an altered non-bigoted meaning." + , propositionSummary = "Summary" + , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(~6x(~3Px~5Rx)),(~3Pr),(~3Qr~1Rr~5Sr),(Sr~5Wr)|=(Wr)" , definitionTable = - [ { definiendum = "C(x)" + [ { definiendum = "P(x)" , definiens = "(x) slur's negative connotations have been neutralised" } - , { definiendum = "B(x)" + , { definiendum = "Q(x)" , definiens = "(x) slur has been rendered non-bigoted via altered usage" } - , { definiendum = "D(x)" + , { definiendum = "R(x)" , definiens = "oppressed people will continue to suffer from the use of (x) slur" } , { definiendum = "S(x)" , definiens = "it is permissible to neutralise the term retard's negative connotations" } - , { definiendum = "A(x)" + , { definiendum = "W(x)" , definiens = "it is generally permissible to use the term retard with an altered non-bigoted meaning" } , { definiendum = "r" @@ -32,23 +32,23 @@ argumentEthicalSlurs = , argumentFormalization = [ { premises = [ { premise = "For all slurs, (x) slur's negative connotations have been neutralised if and only if, (x) slur has been rendered non-bigoted via altered usage." - , notation = "(∀x(Cx↔Bx))" + , notation = "(∀x(Px↔Qx))" } , { premise = "For all slurs, if it is not the case that (x) slur's negative connotations have been neutralised, then oppressed people will continue to suffer from the use of (x) slur." - , notation = "(∀x(¬Cx→Dx))" + , notation = "(∀x(¬Px→Rx))" } , { premise = "It is not the case that the term retard's negative connotations have been neutralised." - , notation = "(¬Cr)" + , notation = "(¬Pr)" } , { premise = "If the term retard has not been rendered non-bigoted via altered usage and oppressed people will continue to suffer from the use of the term retard, then it is permissible to neutralise the term retard's negative connotations." - , notation = "(¬Br∧Dr→Sr)" + , notation = "(¬Qr∧Rr→Sr)" } , { premise = "If it is permissible to neutralise the term retard's negative connotations, then It is generally permissible to use the term retard with an altered non-bigoted meaning." - , notation = "(Sr→Ar)" + , notation = "(Sr→Wr)" } ] , conclusion = "Therefore, it is generally permissible to use the term retard with an altered non-bigoted meaning." - , conclusionNotation = "(∴Ar)" + , conclusionNotation = "(∴Wr)" } ] } diff --git a/frontend/src/Debate/Arguments/Philosophy/FineTuning.elm b/frontend/src/Debate/Arguments/Philosophy/FineTuning.elm index a785018..ea39131 100755 --- a/frontend/src/Debate/Arguments/Philosophy/FineTuning.elm +++ b/frontend/src/Debate/Arguments/Philosophy/FineTuning.elm @@ -8,15 +8,15 @@ argumentFineTuning = { argumentTitle = "Fine Tuning Debunk" , propositionTitle = "Fine tuning is an infinitely regressive explanation for God" , propositionSummary = "Summary" - , proofLink = "https://www.umsu.de/trees/#(~6x(Fx~5Dx)),(Fg),(Dg~5T)%7C=(T)" + , proofLink = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(Pg),(Qg~5R)%7C=(R)" , definitionTable = - [ { definiendum = "F(x)" + [ { definiendum = "P(x)" , definiens = "(x) is finely tuned" } - , { definiendum = "D(x)" + , { definiendum = "Q(x)" , definiens = "(x) has a designer" } - , { definiendum = "T" + , { definiendum = "R" , definiens = "fine tuning is an infinitely regressive explanation for God" } , { definiendum = "x" @@ -29,17 +29,17 @@ argumentFineTuning = , argumentFormalization = [ { premises = [ { premise = "If something is finely tuned, then something has a designer." - , notation = "(∀x(Fx→Dx))" + , notation = "(∀x(Px→Qx))" } , { premise = "God's constitution is finely tuned." - , notation = "(Fg)" + , notation = "(Pg)" } , { premise = "If God's constitution has a designer, then fine tuning is an infinitely regressive explanation for God." - , notation = "(Dg→T)" + , notation = "(Qg→R)" } ] , conclusion = "Therefore, fine tuning is an infinitely regressive explanation for God." - , conclusionNotation = "(∴T)" + , conclusionNotation = "(∴R)" } ] } diff --git a/frontend/src/Debate/Arguments/Philosophy/ImmortalityReductio.elm b/frontend/src/Debate/Arguments/Philosophy/ImmortalityReductio.elm index f8a356a..8cc42a4 100755 --- a/frontend/src/Debate/Arguments/Philosophy/ImmortalityReductio.elm +++ b/frontend/src/Debate/Arguments/Philosophy/ImmortalityReductio.elm @@ -10,10 +10,10 @@ argumentImmortalityReductio = , propositionSummary = "Summary" , proofLink = "https://www.umsu.de/trees/#(~6x~6y(Hx~5~3Rxy)),(Hs)%7C=(~3Rsd)" , definitionTable = - [ { definiendum = "H(x)" + [ { definiendum = "P(x)" , definiens = "humans undergo (x)" } - , { definiendum = "R(x,y)" + , { definiendum = "Q(x,y)" , definiens = "(x) results in (y)" } , { definiendum = "x" @@ -32,14 +32,14 @@ argumentImmortalityReductio = , argumentFormalization = [ { premises = [ { premise = "If humans undergo a normal physiological process, then the normal physiological process does not result in a negative health outcome." - , notation = "(∀x∀y(Hx→¬Rxy))" + , notation = "(∀x∀y(Px→¬Qxy))" } , { premise = "Humans undergo senescence." - , notation = "(Hs)" + , notation = "(Ps)" } ] , conclusion = "Therefore, senescence does not result in death." - , conclusionNotation = "(∴¬Rsd)" + , conclusionNotation = "(∴¬Qsd)" } ] } diff --git a/frontend/src/Debate/Arguments/Philosophy/OddOrderPredators.elm b/frontend/src/Debate/Arguments/Philosophy/OddOrderPredators.elm index c708208..32f8da2 100755 --- a/frontend/src/Debate/Arguments/Philosophy/OddOrderPredators.elm +++ b/frontend/src/Debate/Arguments/Philosophy/OddOrderPredators.elm @@ -8,17 +8,20 @@ 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." , propositionSummary = "Summary" - , proofLink = "https://www.umsu.de/trees/#(~6x(Wx~5~3Nx)),(Wa),(~3Na~5F)%7C=(F)" + , proofLink = "https://www.umsu.de/trees/#(~6x(Px~5~3Qx)),(Pa),(~3Qa~5R)%7C=(R)" , definitionTable = - [ { definiendum = "W(x)" + [ { definiendum = "P(x)" , definiens = "(x) has negative rights" } - , { definiendum = "N(x)" + , { definiendum = "Q(x)" , definiens = "we should defend (x) from rights violations to any lesser degree than we would tolerate for humans" } - , { definiendum = "F(x)" + , { definiendum = "R(x)" , definiens = "it is permissible to prevent predation with lethal force to the same degree we would tolerate for humans" } + , { definiendum = "x" + , definiens = "a being" + } , { definiendum = "a" , definiens = "animal" } @@ -26,17 +29,17 @@ argumentOddOrderPredators = , argumentFormalization = [ { premises = [ { 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))" + , notation = "(∀x(Px→¬Qx))" } , { premise = "Animals have negative rights." - , notation = "(Wa)" + , notation = "(Pa)" } , { 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)" + , notation = "(¬Qa→R)" } ] , conclusion = "Therefore, it is permissible to prevent predation with lethal force to the same degree we would tolerate for humans." - , conclusionNotation = "(∴F)" + , conclusionNotation = "(∴R)" } ] - } \ No newline at end of file + } diff --git a/frontend/src/Debate/Arguments/Philosophy/Ostroveganism.elm b/frontend/src/Debate/Arguments/Philosophy/Ostroveganism.elm index f33300f..a90a907 100755 --- a/frontend/src/Debate/Arguments/Philosophy/Ostroveganism.elm +++ b/frontend/src/Debate/Arguments/Philosophy/Ostroveganism.elm @@ -8,24 +8,24 @@ argumentOstroveganism = { argumentTitle = "Argument for Vegan Bivalves" , propositionTitle = "Bivalves are not likely to be sentient." , propositionSummary = "Summary" - , 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)" + , 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 = - [ { definiendum = "B(x)" + [ { definiendum = "P(x)" , definiens = "(x) counts as a brain" } - , { definiendum = "P(x)" + , { definiendum = "Q(x)" , definiens = "(x) is a complex network of interconnected neurons" } - , { definiendum = "Q(x)" + , { definiendum = "R(x)" , definiens = "(x) integrates neuronal pathways from multiple sensory organs" } - , { definiendum = "R(x)" + , { definiendum = "S(x)" , definiens = "(x) presents with distinct functional regions" } - , { definiendum = "S(x)" + , { definiendum = "W(x)" , definiens = "(x) presents with nuclei with white matter tracts that facilitate inter-regional communication" } - , { definiendum = "N(x)" + , { definiendum = "T(x)" , definiens = "the corresponding (y) is likely to be sentient" } , { definiendum = "x" @@ -37,24 +37,24 @@ argumentOstroveganism = , { definiendum = "c" , definiens = "cerebral ganglia" } - , { definiendum = "b" + , { definiendum = "b" , definiens = "bivalves" } ] , argumentFormalization = [ { premises = [ { 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)))" + , notation = "(∀x(Px↔Qx∧Rx∧(Sx∨Wx)))" } , { premise = "Cerebral ganglia meet criteria one and three, but not criteria two and four." - , notation = "(Pc∧¬Qc∧Rc∧¬Sc)" + , notation = "(Qc∧¬Rc∧Sc∧¬Wc)" } , { 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))" + , notation = "(¬Pc→∀x(¬Tx))" } ] , conclusion = "Therefore, bivalves are not likely to be sentient." - , conclusionNotation = "(∴¬Nb)" + , conclusionNotation = "(∴¬Tb)" } ] } diff --git a/frontend/src/Debate/Arguments/Philosophy/PollinationReductio.elm b/frontend/src/Debate/Arguments/Philosophy/PollinationReductio.elm index 54fd5ab..a109260 100755 --- a/frontend/src/Debate/Arguments/Philosophy/PollinationReductio.elm +++ b/frontend/src/Debate/Arguments/Philosophy/PollinationReductio.elm @@ -8,15 +8,15 @@ argumentPollinationReductio = { argumentTitle = "Vegan Anti-Pollination Reductio" , propositionTitle = "Apples are not vegan" , propositionSummary = "Summary" - , proofLink = "https://www.umsu.de/trees/#(~6x(Vx~4~3Ex)),(Eb),(~3Vb~5~6y(~3Py))%7C=(~3Pa)" + , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4~3Qx)),(Qb),(~3Pb~5~6y(~3Ry))|=(~3Ra)" , definitionTable = - [ { definiendum = "V(x)" + [ { definiendum = "P(x)" , definiens = "(x) is vegan" } - , { definiendum = "E(x)" + , { definiendum = "Q(x)" , definiens = "(x) involves human on non-human animal exploitation" } - , { definiendum = "P(y)" + , { definiendum = "R(y)" , definiens = "(y) generated are vegan" } , { definiendum = "x" @@ -35,17 +35,17 @@ argumentPollinationReductio = , argumentFormalization = [ { premises = [ { premise = "Something is vegan if, and only if, something does not involve human on non-human animal exploitation." - , notation = "(∀x(Vx↔¬Ex))" + , notation = "(∀x(Px↔¬Qx))" } , { premise = "Bees pollinating human crops involves human on non-human exploitation." - , notation = "(Eb)" + , notation = "(Qb)" } , { premise = "If bees pollinating human crops is not vegan, then the products generated are not vegan." - , notation = "(¬Vb→∀y(¬Py))" + , notation = "(¬Pb→∀y(¬Ry))" } ] , conclusion = "Therefore, apples are not vegan." - , conclusionNotation = "(∴¬Pa)" + , conclusionNotation = "(∴¬Ra)" } ] } \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Philosophy/ScratcherPioneers.elm b/frontend/src/Debate/Arguments/Philosophy/ScratcherPioneers.elm index 57806e9..6bd5896 100644 --- a/frontend/src/Debate/Arguments/Philosophy/ScratcherPioneers.elm +++ b/frontend/src/Debate/Arguments/Philosophy/ScratcherPioneers.elm @@ -8,18 +8,18 @@ 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)" + , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx~2Rx~2Sx)),(Qt),(Rt),(St)%7C=(Pt)" , definitionTable = - [ { definiendum = "S(x)" + [ { definiendum = "P(x)" , definiens = "(x) is a scratcher" } - , { definiendum = "L(x)" + , { definiendum = "Q(x)" , definiens = "(x) tattoos without a license" } - , { definiendum = "H(x)" + , { definiendum = "R(x)" , definiens = "(x) tattoos without observing basic health standards" } - , { definiendum = "U(x)" + , { definiendum = "S(x)" , definiens = "(x) tattoos without having undertaken apprenticeship" } , { definiendum = "x" @@ -32,23 +32,20 @@ argumentScratcherPioneers = , 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))" + , notation = "(∀x(Px↔Qx∨Rx∨Sx))" } , { premise = "The original trailblazers of modern tattooing tattooed without licenses." - , notation = "(Lt)" + , notation = "(Qt)" } , { premise = "The original trailblazers of modern tattooing tattooed without observing basic health standards." - , notation = "(Ht)" + , notation = "(Rt)" } , { premise = "The original trailblazers of modern tattooing tattooed without having undertaken apprenticeship." - , notation = "(Ut)" - } - , { premise = "" - , notation = "" + , notation = "(St)" } ] , conclusion = "Therefore, the original trailblazers of modern tattooing were scratchers." - , conclusionNotation = "(∴St)" + , conclusionNotation = "(∴Pt)" } ] } diff --git a/frontend/src/Debate/Arguments/Philosophy/TransPeople.elm b/frontend/src/Debate/Arguments/Philosophy/TransPeople.elm index 6ebafc6..863c954 100755 --- a/frontend/src/Debate/Arguments/Philosophy/TransPeople.elm +++ b/frontend/src/Debate/Arguments/Philosophy/TransPeople.elm @@ -8,7 +8,7 @@ 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." , propositionSummary = "Summary" - , proofLink = "https://www.umsu.de/trees/#(~6x(Wx~4Lx~1Ox)),(~6x(Mx~4Sx~1Ox)),(La~1Oa),(Sg~1Og)%7C=(Wa~1Mg)" + , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Rx~1Wx)),(~6x(Qx~4Sx~1Wx)),(Ra~1Wa),(Sg~1Wg)|=(Pa~1Qg)" , definitionTable = [ { definiendum = "Male" , definiens = "the cluster of traits that associate with small, but not large, gametes." @@ -16,19 +16,19 @@ argumentTransPeople = , { definiendum = "Female" , definiens = "the cluster of traits that associate with large, but not small, gametes." } - , { definiendum = "W" + , { definiendum = "P(x)" , definiens = "(x) is a woman" } - , { definiendum = "M" + , { definiendum = "Q(x)" , definiens = "(x) is a man" } - , { definiendum = "L" + , { definiendum = "R(x)" , definiens = "(x) possesses a sufficiently greater sum of weighted traits that more closely associate with large gametes than weighted traits that associate with small gametes" } - , { definiendum = "S" + , { definiendum = "S(x)" , definiens = "(x) possesses a sufficiently greater sum of weighted traits that more closely associate with small gametes than weighted traits that associate with large gametes" } - , { definiendum = "O" + , { definiendum = "W(x)" , definiens = "(x) is over 18 years of age" } , { definiendum = "x" @@ -44,20 +44,20 @@ argumentTransPeople = , argumentFormalization = [ { premises = [ { premise = "Someone is a woman if, and only if, someone possesses a sufficiently greater sum of weighted traits that more closely associate with large gametes than weighted traits that associate with small gametes and someone is over 18 years of age." - , notation = "(∀x(Wx↔Lx∧Ox))" + , notation = "(∀x(Px↔Rx∧Wx))" } , { premise = "Someone is a man if, and only if, someone possesses a sufficiently greater sum of weighted traits that more closely associate with small gametes than weighted traits that associate with large gametes and someone is over 18 years of age." - , notation = "(∀x(Mx↔Sx∧Ox))" + , notation = "(∀x(Qx↔Sx∧Wx))" } , { premise = "A trans person of the male sex possesses a sufficiently greater sum of weighted traits that more closely associate with large gametes than weighted traits that associate with small gametes and a trans person with small gametes is over 18 years of age." - , notation = "(La∧Oa)" + , notation = "(Ra∧Wa)" } , { premise = "A trans person of the female sex possesses a sufficiently greater sum of weighted traits that more closely associate with small gametes than weighted traits that associate with large gametes and a trans person with large gametes is over 18 years of age." - , notation = "(Sg∧Og)" + , notation = "(Sg∧Wg)" } ] , conclusion = "Therefore, a trans person of the male sex is a woman and a trans person with female sex is a man." - , conclusionNotation = "(∴Wa∧Mg)" + , conclusionNotation = "(∴Pa∧Qg)" } ] } diff --git a/frontend/src/Debate/Arguments/Philosophy/VeganSocietyReductio.elm b/frontend/src/Debate/Arguments/Philosophy/VeganSocietyReductio.elm index 7a3e78f..f568d6b 100755 --- a/frontend/src/Debate/Arguments/Philosophy/VeganSocietyReductio.elm +++ b/frontend/src/Debate/Arguments/Philosophy/VeganSocietyReductio.elm @@ -8,15 +8,15 @@ argumentVeganSocietyReductio = { argumentTitle = "Vegan Society Definition Reductio" , propositionTitle = "It is vegan to eat Groot." , propositionSummary = "Summary" - , proofLink = "https://www.umsu.de/trees/#(~6x(Vx~4~3Ex)),(~6x~6y(~3Ax~5~3E(e(y)))),(~3Ag)%7C=(V(e(g)))" + , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4~3Qx)),(~6x~6y(~3Rx~5~3Q(e(y)))),(~3Rg)%7C=(P(e(g)))" , definitionTable = - [ { definiendum = "V(x)" + [ { definiendum = "P(x)" , definiens = "it is vegan to do (x)" } - , { definiendum = "E(x,y)" + , { definiendum = "Q(x,y)" , definiens = "(x) exploits (y)" } - , { definiendum = "A(x)" + , { definiendum = "R(x)" , definiens = "(x) is an animal" } , { definiendum = "x" @@ -35,17 +35,17 @@ argumentVeganSocietyReductio = , argumentFormalization = [ { premises = [ { premise = "For all things, it is vegan to do something if and only if that thing does not exploit animals." - , notation = "(∀x(Vx↔¬Ex))" + , notation = "(∀x(Px↔¬Qx))" } , { premise = "If some beings are not animals, then eating those beings does not exploit animals." - , notation = "(∀x∀y(¬Ax→¬E(e(y))))" + , notation = "(∀x∀y(¬Rx→¬Q(e(y))))" } , { premise = "Groot is not an animal." - , notation = "(¬Ag)" + , notation = "(¬Rg)" } ] , conclusion = "Therefore, it is vegan to eat Groot." - , conclusionNotation = "(∴V(e(g)))" + , conclusionNotation = "(∴P(e(g)))" } ] } \ No newline at end of file diff --git a/frontend/src/Debate/Arguments/Politics/BoobyTrapPagers.elm b/frontend/src/Debate/Arguments/Politics/BoobyTrapPagers.elm index c7567d2..385e7f3 100755 --- a/frontend/src/Debate/Arguments/Politics/BoobyTrapPagers.elm +++ b/frontend/src/Debate/Arguments/Politics/BoobyTrapPagers.elm @@ -6,20 +6,20 @@ import Debate.Types exposing (..) argumentBoobyTrapPagers : Argument argumentBoobyTrapPagers = { argumentTitle = "Argument Against Israeli Pagers as Booby-Traps" - , propositionTitle = "Proposition" + , propositionTitle = "The Israeli pagers were not booby-traps." , propositionSummary = "Summary" - , proofLink = "The Israeli pagers were not booby-traps." + , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4(Qx~1Rx~1Sx))),(Qp),(Rp),(~3Sp)|=(~3Pp)" , definitionTable = - [ { definiendum = "B(x)" + [ { definiendum = "P(x)" , definiens = "(x) is a booby-trap" } - , { definiendum = "D(x)" + , { definiendum = "Q(x)" , definiens = "(x) is a device or material" } - , { definiendum = "K(x)" + , { definiendum = "R(x)" , definiens = "(x) is designed, constructed, or adapted to kill or injure" } - , { definiendum = "F(x)" + , { definiendum = "S(x)" , definiens = "(x) functions (as a device or material that was designed, constructed, or adapted to kill or injure) when a person disturbs or approaches an apparently safe act" } , { definiendum = "x" @@ -32,20 +32,20 @@ argumentBoobyTrapPagers = , argumentFormalization = [ { premises = [ { premise = "For all x, x is a booby-trap if, and only if, x is a device or material AND x is designed, constructed, or adapted to kill or injure AND x functions (as a device or material that was designed, constructed, or adapted to kill or injure) when a person disturbs or approaches an apparently safe act." - , notation = "(∀x(Bx↔(Dx∧Kx∧Fx)))" + , notation = "(∀x(Px↔(Qx∧Rx∧Sx)))" } , { premise = "The Israeli pagers were devices or materials." - , notation = "(Dp)" + , notation = "(Qp)" } , { premise = "The Israeli pagers were designed, constructed, or adapted to kill or injure." - , notation = "(Kp)" + , notation = "(Rp)" } , { premise = "The Israeli pagers did not function (as devices or materials that were designed, constructed, or adapted to kill or injure) when a person disturbs or approaches an apparently safe act." - , notation = "(¬Fp)" + , notation = "(¬Sp)" } ] , conclusion = "Therefore, the Israeli pagers were not booby-traps." - , conclusionNotation = "(∴¬Bp)" + , conclusionNotation = "(∴¬Pp)" } ] } \ No newline at end of file