mirror of
https://gitlab.com/upRootNutrition/website.git
synced 2025-06-17 12:55:12 -05:00
feat: added arguments
This commit is contained in:
Nick
parent
da420159f4
commit
2e1135e510
11 changed files with 259 additions and 335 deletions
|
|
@ -5,50 +5,54 @@ import Debate.Types exposing (..)
|
|||
|
||||
argumentAgriculturalPredation : Argument
|
||||
argumentAgriculturalPredation =
|
||||
{ argumentTitle = "Title"
|
||||
, propositionTitle = "Proposition"
|
||||
{ argumentTitle = "Argument for Animal Agirculture Counting as Predation"
|
||||
, propositionTitle = "Animal agriculture counts as predation."
|
||||
, propositionSummary = "Summary"
|
||||
, proofLink = ""
|
||||
, proofLink = "https://www.umsu.de/trees/#(~6x~6y~6z(Px~4Qxyz~1(Rxyz~2Sxyz)~1Txyz)),(Qahl),(Rahl~2Sahl),(Tahl)%7C=(Pa)"
|
||||
, definitionTable =
|
||||
[ { definiendum = ""
|
||||
, definiens = ""
|
||||
[ { definiendum = "P(x)"
|
||||
, definiens = "(x) counts as predation"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "Q(x,y,z)"
|
||||
, definiens = "(x) involves a (y) regularly capturing a (z)"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "R(x,y,z)"
|
||||
, definiens = "(x) involves a (y) regularly killing a (z)"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "S(x,y,z)"
|
||||
, definiens = "(x) involves a (y) regularly subduing a (z)"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "T(x,y,z)"
|
||||
, definiens = "(x) involves a (y) regularly consuming, to the captor's benefit, a (z)"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "a"
|
||||
, definiens = "animal agriculture"
|
||||
}
|
||||
, { definiendum = "h"
|
||||
, definiens = "humans"
|
||||
}
|
||||
, { definiendum = "l"
|
||||
, definiens = "livestock"
|
||||
}
|
||||
|
||||
]
|
||||
, argumentFormalization =
|
||||
[ { premises =
|
||||
[ { premise = ""
|
||||
, notation = ""
|
||||
[ { premise = "Something counts as predation if, and only if, something involves an animal regularly capturing, killing or subduing, and consuming, to the captor's benefit, another animal."
|
||||
, notation = "(∀x∀y∀z(Px↔Qxyz∧(Rxyz∨Sxyz)∧Txyz))"
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
, { premise = "Animal agriculture involves humans regularly capturing livestock."
|
||||
, notation = "(Qahl)"
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
, { premise = "Animal agriculture involves humans regularly killing or subduing livestock."
|
||||
, notation = "(Rahl∨Sahl)"
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
, { premise = "Animal agriculture involves humans regularly consuming, to the captors' benefit, livestock."
|
||||
, notation = "(Tahl)"
|
||||
}
|
||||
]
|
||||
, conclusion = ""
|
||||
, conclusionNotation = "(∴)"
|
||||
, conclusion = "Therefore, animal agriculture counts as predation."
|
||||
, conclusionNotation = "(∴Pa)"
|
||||
}
|
||||
]
|
||||
}
|
||||
|
|
@ -1,53 +1,51 @@
|
|||
module Debate.Arguments.Veganism.AnimalRights exposing (..)
|
||||
|
||||
import Debate.Types exposing (..)
|
||||
|
||||
|
||||
argumentAnimalRights : Argument
|
||||
argumentAnimalRights =
|
||||
{ argumentTitle = "Title"
|
||||
, propositionTitle = "Proposition"
|
||||
{ argumentTitle = "Argument for Animal Rights"
|
||||
, propositionTitle = "We should not exploit animals to any greater degree than we would tolerate for humans."
|
||||
, propositionSummary = "Summary"
|
||||
, proofLink = ""
|
||||
, 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)"
|
||||
, definitionTable =
|
||||
[ { definiendum = ""
|
||||
, definiens = ""
|
||||
[ { definiendum = "W(x)"
|
||||
, definiens = "(x) has moral worth"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "N(x)"
|
||||
, definiens = "we should exploit (x) to any greater degree than we would tolerate for humans"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "∃t(At(x)"
|
||||
, definiens = "there exists a (t) that is absent in (x)"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "x"
|
||||
, definiens = "a being"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "t"
|
||||
, definiens = "trait"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "a"
|
||||
, definiens = "animal"
|
||||
}
|
||||
, { definiendum = "h"
|
||||
, definiens = "human"
|
||||
}
|
||||
]
|
||||
, argumentFormalization =
|
||||
[ { premises =
|
||||
[ { premise = ""
|
||||
, notation = ""
|
||||
[ { 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))"
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
, { 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)))"
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
, { 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)))"
|
||||
}
|
||||
]
|
||||
, conclusion = ""
|
||||
, conclusionNotation = "(∴)"
|
||||
, conclusion = "Therefore, we should not exploit animals to any greater degree than we would tolerate for humans."
|
||||
, conclusionNotation = "(∴Na)"
|
||||
}
|
||||
]
|
||||
}
|
||||
}
|
||||
|
|
|
|||
|
|
@ -5,50 +5,47 @@ import Debate.Types exposing (..)
|
|||
|
||||
argumentAntiRewilding : Argument
|
||||
argumentAntiRewilding =
|
||||
{ argumentTitle = "Title"
|
||||
, propositionTitle = "Proposition"
|
||||
{ argumentTitle = "Vegan Society Definition Reductio"
|
||||
, propositionTitle = "It is vegan to eat Groot."
|
||||
, propositionSummary = "Summary"
|
||||
, proofLink = ""
|
||||
, proofLink = "https://www.umsu.de/trees/#(~6x(Vx~4~3Ex)),(~6x~6y(~3Ax~5~3E(e(y)))),(~3Ag)%7C=(V(e(g)))"
|
||||
, definitionTable =
|
||||
[ { definiendum = ""
|
||||
, definiens = ""
|
||||
[ { definiendum = "V(x)"
|
||||
, definiens = "it is vegan to do (x)"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "E(x,y)"
|
||||
, definiens = "(x) exploits (y)"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "A(x)"
|
||||
, definiens = "(x) is an animal"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "x"
|
||||
, definiens = "a being"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "y"
|
||||
, definiens = "an animal"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "e"
|
||||
, definiens = "eat"
|
||||
}
|
||||
, { definiendum = "g"
|
||||
, definiens = "Groot"
|
||||
}
|
||||
]
|
||||
, argumentFormalization =
|
||||
[ { premises =
|
||||
[ { premise = ""
|
||||
, notation = ""
|
||||
[ { premise = "For all things, it is vegan to do something if and only if that thing does not exploit animals."
|
||||
, notation = "(∀x(Vx↔¬Ex))"
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
, { premise = "If some beings are not animals, then eating those beings does not exploit animals."
|
||||
, notation = "(∀x∀y(¬Ax→¬E(e(y))))"
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
, { premise = "Groot is not an animal."
|
||||
, notation = "(¬Ag)"
|
||||
}
|
||||
]
|
||||
, conclusion = ""
|
||||
, conclusionNotation = "(∴)"
|
||||
, conclusion = "Therefore, it is vegan to eat Groot."
|
||||
, conclusionNotation = "(∴V(e(g)))"
|
||||
}
|
||||
]
|
||||
}
|
||||
|
|
@ -5,50 +5,35 @@ import Debate.Types exposing (..)
|
|||
|
||||
argumentAntiVandalism : Argument
|
||||
argumentAntiVandalism =
|
||||
{ argumentTitle = "Title"
|
||||
, propositionTitle = "Proposition"
|
||||
{ argumentTitle = "Argument Against Zoo Vandalism"
|
||||
, propositionTitle = "Vandalizing zoos increases the probability of harming the animals they keep."
|
||||
, propositionSummary = "Summary"
|
||||
, proofLink = ""
|
||||
, proofLink = "https://www.umsu.de/trees/#(P~5Q),(P),(Q~5R)%7C=(R)"
|
||||
, definitionTable =
|
||||
[ { definiendum = ""
|
||||
, definiens = ""
|
||||
[ { definiendum = "P"
|
||||
, definiens = "zoos must spend extra money cleaning graffiti"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "Q"
|
||||
, definiens = "zoos will have less money to devote to animal care"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "R"
|
||||
, definiens = "vandalizing zoos increases the probability of harming the animals they keep"
|
||||
}
|
||||
]
|
||||
, argumentFormalization =
|
||||
[ { premises =
|
||||
[ { premise = ""
|
||||
, notation = ""
|
||||
[ { premise = "If zoos must spend extra money cleaning graffiti, then zoos will have less money to devote to animal care."
|
||||
, notation = "(P→Q)"
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
, { premise = "Zoos must spend extra money cleaning graffiti."
|
||||
, notation = "(P)"
|
||||
}
|
||||
, { premise = "If zoos will have less money to devote to animal care, then vandalizing zoos increases the probability of harming the animals they keep."
|
||||
, notation = "(Q→R)"
|
||||
}
|
||||
]
|
||||
, conclusion = ""
|
||||
, conclusionNotation = "(∴)"
|
||||
, conclusion = "Therefore, vandalizing zoos increases the probability of harming the animals they keep."
|
||||
, conclusionNotation = "(∴R)"
|
||||
}
|
||||
]
|
||||
}
|
||||
|
|
@ -5,50 +5,47 @@ import Debate.Types exposing (..)
|
|||
|
||||
argumentColonizingNature : Argument
|
||||
argumentColonizingNature =
|
||||
{ argumentTitle = "Title"
|
||||
, propositionTitle = "Proposition"
|
||||
{ argumentTitle = "Argument for the Non-Violence Displacement of Nature"
|
||||
, propositionTitle = "We are justified in displacing nature into non-existence"
|
||||
, propositionSummary = "Summary"
|
||||
, proofLink = ""
|
||||
, proofLink = "https://www.umsu.de/trees/#(P~1~3Q~1~3R~1~3S~5T),(P),(~3Q),(~3R),(~3S)%7C=(T)"
|
||||
, definitionTable =
|
||||
[ { definiendum = ""
|
||||
, definiens = ""
|
||||
[ { definiendum = "P"
|
||||
, definiens = "the natural world contains intolerable rights violations"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "Q"
|
||||
, definiens = "we know that nature is net positive or net negative for utility"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "R"
|
||||
, definiens = "there is any known practical means by which to end the rights violations beyond the use of force"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "S"
|
||||
, definiens = "the natural world is currently instrumentally vital to facilitating human flourishing"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "T"
|
||||
, definiens = "we are justified in displacing nature into non-existence"
|
||||
}
|
||||
]
|
||||
, argumentFormalization =
|
||||
[ { premises =
|
||||
[ { premise = ""
|
||||
, notation = ""
|
||||
[ { 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)"
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
, { premise = "Nature entails intolerable rights violations."
|
||||
, notation = "(P)"
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
, { premise = "We do not know if nature is net positive or net negative for utility."
|
||||
, notation = "(¬Q)"
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
, { premise = "There is not any known practical means by which to end the rights violations beyond the use of force."
|
||||
, notation = "(¬R)"
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
, { premise = "The natural world is not currently instrumentally vital to facilitating human flourishing."
|
||||
, notation = "(¬S)"
|
||||
}
|
||||
]
|
||||
, conclusion = ""
|
||||
, conclusionNotation = "(∴)"
|
||||
, conclusion = "Therefore, we are justified in displacing nature into non-existence."
|
||||
, conclusionNotation = "(T∴)"
|
||||
}
|
||||
]
|
||||
}
|
||||
|
|
@ -1,54 +0,0 @@
|
|||
module Debate.Arguments.Veganism.OrcaDorsalFins exposing (..)
|
||||
|
||||
import Debate.Types exposing (..)
|
||||
|
||||
|
||||
argumentOrcaDorsalFins : Argument
|
||||
argumentOrcaDorsalFins =
|
||||
{ argumentTitle = "Title"
|
||||
, propositionTitle = "Proposition"
|
||||
, propositionSummary = "Summary"
|
||||
, proofLink = ""
|
||||
, definitionTable =
|
||||
[ { definiendum = ""
|
||||
, definiens = ""
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
}
|
||||
]
|
||||
, argumentFormalization =
|
||||
[ { premises =
|
||||
[ { premise = ""
|
||||
, notation = ""
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
}
|
||||
]
|
||||
, conclusion = ""
|
||||
, conclusionNotation = "(∴)"
|
||||
}
|
||||
]
|
||||
}
|
||||
Loading…
Add table
Add a link
Reference in a new issue