upRootNutrition/website
1
0
Fork 0
mirror of https://gitlab.com/upRootNutrition/website.git synced 2025-06-16 04:25:11 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: reformatted props and preds

Browse source
This commit is contained in:
Nick 2024-11-18 18:01:32 -06:00
parent b3976223fd
commit 691b4f4805
14 changed files with 124 additions and 124 deletions
Download patch file Download diff file Expand all files Collapse all files

16
frontend/src/Debate/Arguments/Philosophy/AnimalRights.elm
View file

@ -8,15 +8,15 @@ argumentAnimalRights =
{ argumentTitle = "Argument for Animal Rights" { argumentTitle = "Argument for Animal Rights"
, propositionTitle = "We should not exploit animals to any greater degree than we would tolerate for humans." , propositionTitle = "We should not exploit animals to any greater degree than we would tolerate for humans."
, propositionSummary = "Summary" , 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 = , definitionTable =
[ { definiendum = "W(x)" [ { definiendum = "P(x)"
, definiens = "(x) has moral worth" , 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" , 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)" , definiens = "there exists a (t) that is absent in (x)"
} }
, { definiendum = "x" , { definiendum = "x"
@ -35,17 +35,17 @@ argumentAnimalRights =
, argumentFormalization = , argumentFormalization =
[ { premises = [ { 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." [ { 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." , { 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" , { 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." , conclusion = "Therefore, we should not exploit animals to any greater degree than we would tolerate for humans."
, conclusionNotation = "(∴Na)" , conclusionNotation = "(∴¬Qa)"
} }
] ]
} }

20
frontend/src/Debate/Arguments/Philosophy/AntiRewilding.elm
View file

@ -8,18 +8,18 @@ argumentAntiRewilding =
{ argumentTitle = "Argument Against Rewilding" { argumentTitle = "Argument Against Rewilding"
, propositionTitle = "Rewilding sentient animals is immoral." , propositionTitle = "Rewilding sentient animals is immoral."
, propositionSummary = "Summary" , 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 = , definitionTable =
[ { definiendum = "W(x)" [ { definiendum = "P(x)"
, definiens = "(x) has negative rights" , 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" , 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" , 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" , definiens = "rewilding sentient animals is immoral"
} }
, { definiendum = "x" , { definiendum = "x"
@ -32,20 +32,20 @@ argumentAntiRewilding =
, argumentFormalization = , argumentFormalization =
[ { premises = [ { 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." [ { 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." , { 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." , { 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." , { 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." , conclusion = "Therefore, rewilding sentient animals is immoral."
, conclusionNotation = "(∴Ra)" , conclusionNotation = "(∴Sa)"
} }
] ]
} }

8
frontend/src/Debate/Arguments/Philosophy/ColonizingNature.elm
View file

@ -8,7 +8,7 @@ argumentColonizingNature =
{ argumentTitle = "Argument for the Non-Violence Displacement of Nature" { argumentTitle = "Argument for the Non-Violence Displacement of Nature"
, propositionTitle = "We are justified in displacing nature into non-existence" , propositionTitle = "We are justified in displacing nature into non-existence"
, propositionSummary = "Summary" , 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 = , definitionTable =
[ { definiendum = "P" [ { definiendum = "P"
, definiens = "the natural world contains intolerable rights violations" , definiens = "the natural world contains intolerable rights violations"
@ -22,14 +22,14 @@ argumentColonizingNature =
, { definiendum = "S" , { definiendum = "S"
, definiens = "the natural world is currently instrumentally vital to facilitating human flourishing" , 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" , definiens = "we are justified in displacing nature into non-existence"
} }
] ]
, argumentFormalization = , argumentFormalization =
[ { premises = [ { 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." [ { 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." , { premise = "Nature entails intolerable rights violations."
, notation = "(P)" , notation = "(P)"
@ -45,7 +45,7 @@ argumentColonizingNature =
} }
] ]
, conclusion = "Therefore, we are justified in displacing nature into non-existence." , conclusion = "Therefore, we are justified in displacing nature into non-existence."
, conclusionNotation = "(T∴)" , conclusionNotation = "(W∴)"
} }
] ]
} }

8
frontend/src/Debate/Arguments/Philosophy/EfilismPatrolSquad.elm
View file

@ -8,7 +8,7 @@ argumentEfilismPatrolSquad =
{ argumentTitle = "The Eternal Intergalactic Sentience Patrol Squad" { argumentTitle = "The Eternal Intergalactic Sentience Patrol Squad"
, propositionTitle = "Efilists are committed to pragmatic natalism" , propositionTitle = "Efilists are committed to pragmatic natalism"
, propositionSummary = "Summary" , 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 = , definitionTable =
[ { definiendum = "P" [ { definiendum = "P"
, definiens = "humans abstaining from procreation maximally reduces rights violations" , definiens = "humans abstaining from procreation maximally reduces rights violations"
@ -22,7 +22,7 @@ argumentEfilismPatrolSquad =
, { definiendum = "S" , { definiendum = "S"
, definiens = "efilists should abstain from procreation until all sentient life in the universe is sterilized" , 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" , definiens = "efilists are committed to pragmatic natalism"
} }
] ]
@ -41,11 +41,11 @@ argumentEfilismPatrolSquad =
, notation = "(R)" , 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." , { 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." , conclusion = "Therefore, efilists are committed to pragmatic natalism."
, conclusionNotation = "(∴T)" , conclusionNotation = "(∴W)"
} }
] ]
} }

26
frontend/src/Debate/Arguments/Philosophy/EthicalSlurs.elm
View file

@ -6,23 +6,23 @@ import Debate.Types exposing (..)
argumentEthicalSlurs : Argument argumentEthicalSlurs : Argument
argumentEthicalSlurs = argumentEthicalSlurs =
{ argumentTitle = "Argument for Using the Term Retard" { argumentTitle = "Argument for Using the Term Retard"
, propositionTitle = "" , propositionTitle = "It is generally permissible to use the term retard with an altered non-bigoted meaning."
, propositionSummary = "" , propositionSummary = "Summary"
, proofLink = "https://www.umsu.de/trees/#(~6x(Cx~4Bx)),(~6x(~3Cx~5Dx)),(~3Cr),(~3Br~1Dr~5Sr),(Sr~5Ar)%7C=(Ar)" , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4Qx)),(~6x(~3Px~5Rx)),(~3Pr),(~3Qr~1Rr~5Sr),(Sr~5Wr)|=(Wr)"
, definitionTable = , definitionTable =
[ { definiendum = "C(x)" [ { definiendum = "P(x)"
, definiens = "(x) slur's negative connotations have been neutralised" , 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" , 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" , definiens = "oppressed people will continue to suffer from the use of (x) slur"
} }
, { definiendum = "S(x)" , { definiendum = "S(x)"
, definiens = "it is permissible to neutralise the term retard's negative connotations" , 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" , definiens = "it is generally permissible to use the term retard with an altered non-bigoted meaning"
} }
, { definiendum = "r" , { definiendum = "r"
@ -32,23 +32,23 @@ argumentEthicalSlurs =
, argumentFormalization = , argumentFormalization =
[ { premises = [ { 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." [ { 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." , { 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." , { 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." , { 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." , { 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." , conclusion = "Therefore, it is generally permissible to use the term retard with an altered non-bigoted meaning."
, conclusionNotation = "(∴Ar)" , conclusionNotation = "(∴Wr)"
} }
] ]
} }

16
frontend/src/Debate/Arguments/Philosophy/FineTuning.elm
View file

@ -8,15 +8,15 @@ argumentFineTuning =
{ argumentTitle = "Fine Tuning Debunk" { argumentTitle = "Fine Tuning Debunk"
, propositionTitle = "Fine tuning is an infinitely regressive explanation for God" , propositionTitle = "Fine tuning is an infinitely regressive explanation for God"
, propositionSummary = "Summary" , 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 = , definitionTable =
[ { definiendum = "F(x)" [ { definiendum = "P(x)"
, definiens = "(x) is finely tuned" , definiens = "(x) is finely tuned"
} }
, { definiendum = "D(x)" , { definiendum = "Q(x)"
, definiens = "(x) has a designer" , definiens = "(x) has a designer"
} }
, { definiendum = "T" , { definiendum = "R"
, definiens = "fine tuning is an infinitely regressive explanation for God" , definiens = "fine tuning is an infinitely regressive explanation for God"
} }
, { definiendum = "x" , { definiendum = "x"
@ -29,17 +29,17 @@ argumentFineTuning =
, argumentFormalization = , argumentFormalization =
[ { premises = [ { premises =
[ { premise = "If something is finely tuned, then something has a designer." [ { 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." , { 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." , { 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." , conclusion = "Therefore, fine tuning is an infinitely regressive explanation for God."
, conclusionNotation = "(∴T)" , conclusionNotation = "(∴R)"
} }
] ]
} }

10
frontend/src/Debate/Arguments/Philosophy/ImmortalityReductio.elm
View file

@ -10,10 +10,10 @@ argumentImmortalityReductio =
, propositionSummary = "Summary" , propositionSummary = "Summary"
, proofLink = "https://www.umsu.de/trees/#(~6x~6y(Hx~5~3Rxy)),(Hs)%7C=(~3Rsd)" , proofLink = "https://www.umsu.de/trees/#(~6x~6y(Hx~5~3Rxy)),(Hs)%7C=(~3Rsd)"
, definitionTable = , definitionTable =
[ { definiendum = "H(x)" [ { definiendum = "P(x)"
, definiens = "humans undergo (x)" , definiens = "humans undergo (x)"
} }
, { definiendum = "R(x,y)" , { definiendum = "Q(x,y)"
, definiens = "(x) results in (y)" , definiens = "(x) results in (y)"
} }
, { definiendum = "x" , { definiendum = "x"
@ -32,14 +32,14 @@ argumentImmortalityReductio =
, argumentFormalization = , argumentFormalization =
[ { premises = [ { premises =
[ { premise = "If humans undergo a normal physiological process, then the normal physiological process does not result in a negative health outcome." [ { 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." , { premise = "Humans undergo senescence."
, notation = "(Hs)" , notation = "(Ps)"
} }
] ]
, conclusion = "Therefore, senescence does not result in death." , conclusion = "Therefore, senescence does not result in death."
, conclusionNotation = "(∴¬Rsd)" , conclusionNotation = "(∴¬Qsd)"
} }
] ]
} }

19
frontend/src/Debate/Arguments/Philosophy/OddOrderPredators.elm
View file

@ -8,17 +8,20 @@ argumentOddOrderPredators =
{ argumentTitle = "Argument for Culling Odd Order Predators" { 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." , propositionTitle = "It is permissible to prevent predation with lethal force to the same degree we would tolerate for humans."
, propositionSummary = "Summary" , 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 = , definitionTable =
[ { definiendum = "W(x)" [ { definiendum = "P(x)"
, definiens = "(x) has negative rights" , 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" , 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" , 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" , { definiendum = "a"
, definiens = "animal" , definiens = "animal"
} }
@ -26,17 +29,17 @@ argumentOddOrderPredators =
, argumentFormalization = , argumentFormalization =
[ { premises = [ { 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." [ { 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." , { 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." , { 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." , conclusion = "Therefore, it is permissible to prevent predation with lethal force to the same degree we would tolerate for humans."
, conclusionNotation = "(∴F)" , conclusionNotation = "(∴R)"
} }
] ]
} }

22
frontend/src/Debate/Arguments/Philosophy/Ostroveganism.elm
View file

@ -8,24 +8,24 @@ argumentOstroveganism =
{ argumentTitle = "Argument for Vegan Bivalves" { argumentTitle = "Argument for Vegan Bivalves"
, propositionTitle = "Bivalves are not likely to be sentient." , propositionTitle = "Bivalves are not likely to be sentient."
, propositionSummary = "Summary" , 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 = , definitionTable =
[ { definiendum = "B(x)" [ { definiendum = "P(x)"
, definiens = "(x) counts as a brain" , definiens = "(x) counts as a brain"
} }
, { definiendum = "P(x)" , { definiendum = "Q(x)"
, definiens = "(x) is a complex network of interconnected neurons" , definiens = "(x) is a complex network of interconnected neurons"
} }
, { definiendum = "Q(x)" , { definiendum = "R(x)"
, definiens = "(x) integrates neuronal pathways from multiple sensory organs" , definiens = "(x) integrates neuronal pathways from multiple sensory organs"
} }
, { definiendum = "R(x)" , { definiendum = "S(x)"
, definiens = "(x) presents with distinct functional regions" , 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" , 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" , definiens = "the corresponding (y) is likely to be sentient"
} }
, { definiendum = "x" , { definiendum = "x"
@ -44,17 +44,17 @@ argumentOstroveganism =
, argumentFormalization = , argumentFormalization =
[ { premises = [ { 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." [ { 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." , { 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." , { 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." , conclusion = "Therefore, bivalves are not likely to be sentient."
, conclusionNotation = "(∴¬Nb)" , conclusionNotation = "(∴¬Tb)"
} }
] ]
} }

16
frontend/src/Debate/Arguments/Philosophy/PollinationReductio.elm
View file

@ -8,15 +8,15 @@ argumentPollinationReductio =
{ argumentTitle = "Vegan Anti-Pollination Reductio" { argumentTitle = "Vegan Anti-Pollination Reductio"
, propositionTitle = "Apples are not vegan" , propositionTitle = "Apples are not vegan"
, propositionSummary = "Summary" , 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 = , definitionTable =
[ { definiendum = "V(x)" [ { definiendum = "P(x)"
, definiens = "(x) is vegan" , definiens = "(x) is vegan"
} }
, { definiendum = "E(x)" , { definiendum = "Q(x)"
, definiens = "(x) involves human on non-human animal exploitation" , definiens = "(x) involves human on non-human animal exploitation"
} }
, { definiendum = "P(y)" , { definiendum = "R(y)"
, definiens = "(y) generated are vegan" , definiens = "(y) generated are vegan"
} }
, { definiendum = "x" , { definiendum = "x"
@ -35,17 +35,17 @@ argumentPollinationReductio =
, argumentFormalization = , argumentFormalization =
[ { premises = [ { premises =
[ { premise = "Something is vegan if, and only if, something does not involve human on non-human animal exploitation." [ { 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." , { 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." , { 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." , conclusion = "Therefore, apples are not vegan."
, conclusionNotation = "(∴¬Pa)" , conclusionNotation = "(∴¬Ra)"
} }
] ]
} }

23
frontend/src/Debate/Arguments/Philosophy/ScratcherPioneers.elm
View file

@ -8,18 +8,18 @@ argumentScratcherPioneers =
{ argumentTitle = "Tattoo Pioneers were Scratchers" { argumentTitle = "Tattoo Pioneers were Scratchers"
, propositionTitle = "The original trailblazers of modern tattooing were scratchers." , propositionTitle = "The original trailblazers of modern tattooing were scratchers."
, propositionSummary = "Summary" , 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 = , definitionTable =
[ { definiendum = "S(x)" [ { definiendum = "P(x)"
, definiens = "(x) is a scratcher" , definiens = "(x) is a scratcher"
} }
, { definiendum = "L(x)" , { definiendum = "Q(x)"
, definiens = "(x) tattoos without a license" , definiens = "(x) tattoos without a license"
} }
, { definiendum = "H(x)" , { definiendum = "R(x)"
, definiens = "(x) tattoos without observing basic health standards" , definiens = "(x) tattoos without observing basic health standards"
} }
, { definiendum = "U(x)" , { definiendum = "S(x)"
, definiens = "(x) tattoos without having undertaken apprenticeship" , definiens = "(x) tattoos without having undertaken apprenticeship"
} }
, { definiendum = "x" , { definiendum = "x"
@ -32,23 +32,20 @@ argumentScratcherPioneers =
, argumentFormalization = , argumentFormalization =
[ { premises = [ { 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." [ { 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." , { 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." , { 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." , { premise = "The original trailblazers of modern tattooing tattooed without having undertaken apprenticeship."
, notation = "(Ut)" , notation = "(St)"
}
, { premise = ""
, notation = ""
} }
] ]
, conclusion = "Therefore, the original trailblazers of modern tattooing were scratchers." , conclusion = "Therefore, the original trailblazers of modern tattooing were scratchers."
, conclusionNotation = "(∴St)" , conclusionNotation = "(∴Pt)"
} }
] ]
} }

22
frontend/src/Debate/Arguments/Philosophy/TransPeople.elm
View file

@ -8,7 +8,7 @@ argumentTransPeople =
{ argumentTitle = "Argument For Trans Identity" { 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." , propositionTitle = "A trans person of the male sex is a woman and a trans person with female sex is a man."
, propositionSummary = "Summary" , 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 = , definitionTable =
[ { definiendum = "Male" [ { definiendum = "Male"
, definiens = "the cluster of traits that associate with small, but not large, gametes." , definiens = "the cluster of traits that associate with small, but not large, gametes."
@ -16,19 +16,19 @@ argumentTransPeople =
, { definiendum = "Female" , { definiendum = "Female"
, definiens = "the cluster of traits that associate with large, but not small, gametes." , definiens = "the cluster of traits that associate with large, but not small, gametes."
} }
, { definiendum = "W" , { definiendum = "P(x)"
, definiens = "(x) is a woman" , definiens = "(x) is a woman"
} }
, { definiendum = "M" , { definiendum = "Q(x)"
, definiens = "(x) is a man" , 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" , 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" , 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" , definiens = "(x) is over 18 years of age"
} }
, { definiendum = "x" , { definiendum = "x"
@ -44,20 +44,20 @@ argumentTransPeople =
, argumentFormalization = , argumentFormalization =
[ { premises = [ { 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." [ { 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." , { 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." , { 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." , { 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." , 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)"
} }
] ]
} }

16
frontend/src/Debate/Arguments/Philosophy/VeganSocietyReductio.elm
View file

@ -8,15 +8,15 @@ argumentVeganSocietyReductio =
{ argumentTitle = "Vegan Society Definition Reductio" { argumentTitle = "Vegan Society Definition Reductio"
, propositionTitle = "It is vegan to eat Groot." , propositionTitle = "It is vegan to eat Groot."
, propositionSummary = "Summary" , 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 = , definitionTable =
[ { definiendum = "V(x)" [ { definiendum = "P(x)"
, definiens = "it is vegan to do (x)" , definiens = "it is vegan to do (x)"
} }
, { definiendum = "E(x,y)" , { definiendum = "Q(x,y)"
, definiens = "(x) exploits (y)" , definiens = "(x) exploits (y)"
} }
, { definiendum = "A(x)" , { definiendum = "R(x)"
, definiens = "(x) is an animal" , definiens = "(x) is an animal"
} }
, { definiendum = "x" , { definiendum = "x"
@ -35,17 +35,17 @@ argumentVeganSocietyReductio =
, argumentFormalization = , argumentFormalization =
[ { premises = [ { premises =
[ { premise = "For all things, it is vegan to do something if and only if that thing does not exploit animals." [ { 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." , { 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." , { premise = "Groot is not an animal."
, notation = "(¬Ag)" , notation = "(¬Rg)"
} }
] ]
, conclusion = "Therefore, it is vegan to eat Groot." , conclusion = "Therefore, it is vegan to eat Groot."
, conclusionNotation = "(∴V(e(g)))" , conclusionNotation = "(∴P(e(g)))"
} }
] ]
} }

22
frontend/src/Debate/Arguments/Politics/BoobyTrapPagers.elm
View file

@ -6,20 +6,20 @@ import Debate.Types exposing (..)
argumentBoobyTrapPagers : Argument argumentBoobyTrapPagers : Argument
argumentBoobyTrapPagers = argumentBoobyTrapPagers =
{ argumentTitle = "Argument Against Israeli Pagers as Booby-Traps" { argumentTitle = "Argument Against Israeli Pagers as Booby-Traps"
, propositionTitle = "Proposition" , propositionTitle = "The Israeli pagers were not booby-traps."
, propositionSummary = "Summary" , 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 = , definitionTable =
[ { definiendum = "B(x)" [ { definiendum = "P(x)"
, definiens = "(x) is a booby-trap" , definiens = "(x) is a booby-trap"
} }
, { definiendum = "D(x)" , { definiendum = "Q(x)"
, definiens = "(x) is a device or material" , definiens = "(x) is a device or material"
} }
, { definiendum = "K(x)" , { definiendum = "R(x)"
, definiens = "(x) is designed, constructed, or adapted to kill or injure" , 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" , 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" , { definiendum = "x"
@ -32,20 +32,20 @@ argumentBoobyTrapPagers =
, argumentFormalization = , argumentFormalization =
[ { premises = [ { 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." [ { 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." , { 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." , { 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." , { 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." , conclusion = "Therefore, the Israeli pagers were not booby-traps."
, conclusionNotation = "(∴¬Bp)" , conclusionNotation = "(∴¬Pp)"
} }
] ]
} }