upRootNutrition/website
1
0
Fork 0
mirror of https://gitlab.com/upRootNutrition/website.git synced 2025-08-10 04:14:38 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: I think I may be done v1

Browse source
This commit is contained in:
Nick 2024-12-28 22:30:45 -06:00
parent c63ab0bfe7
commit 28293e56e2
11 changed files with 167 additions and 125 deletions
Download patch file Download diff file Expand all files Collapse all files

10
frontend/src/Config/Helpers/Cards/Outer/Helpers.elm
View file

@ -176,7 +176,15 @@ cardMaker device cardable contents =
, row
[ width fill
, spacing 10
, F.center
, case ( device.class, device.orientation ) of
( Phone, Portrait ) ->
F.alignLeft
( Tablet, Portrait ) ->
F.alignLeft
_ ->
F.center
, paddingXY 0
(case ( device.class, device.orientation ) of
( Phone, Portrait ) ->

17
frontend/src/Config/Pages/Debate/Arguments/Records/ColonizingNature.elm
View file

@ -1,7 +1,7 @@
module Config.Pages.Debate.Arguments.Records.ColonizingNature exposing (..)
import Config.Pages.Debate.Arguments.Types exposing (..)
import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (..)
argumentColonizingNature : Argument
@ -9,14 +9,11 @@ argumentColonizingNature =
{ argumentTitle = toTitleCase "Argument for Colonizing Nature"
, propositionTitle = "We are justified in displacing nature into non-existence"
, propositionReductio = ""
, propositionSummary = "Summary"
, proofLink = "https://www.umsu.de/trees/#(P~1~3Q~1~3R~1~3S~5W),(P),(~3Q),(~3R),(~3S)%7C=(W)"
, propositionSummary = "All else equal, is a world where sentient beings are getting torn to shreds and eaten alive or starving to death if they don't succumb to this fate better than a world where this does not happen? I'd argue not. As such, I advocate for non-violently displacing nature into non-existence."
, proofLink = "https://www.umsu.de/trees/#(P~1~3Q~1~3R~1~3S~5W),(P),(~3Q),(~3R),(~3S)%7C=(W)"
, argumentCertainty = 10
, argumentImage = "colonizingnature"
, argumentHashtags = []
, isNewTabLink = False
, definitionTable =
[ { definiendum = "P"
@ -32,12 +29,12 @@ argumentColonizingNature =
, definiens = "the natural world is currently instrumentally vital to facilitating human flourishing"
}
, { definiendum = "W"
, definiens = "we are justified in displacing nature into non-existence"
, definiens = "we are justified in non-violently 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."
[ { 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 non-violently displacing nature into non-existence."
, notation = "(P∧¬Q∧¬R∧¬S)→W"
}
, { premise = "Nature entails intolerable rights violations."
@ -53,8 +50,8 @@ argumentColonizingNature =
, notation = "¬S"
}
]
, conclusion = "Therefore, we are justified in displacing nature into non-existence."
, conclusion = "Therefore, we are justified in non-violently displacing nature into non-existence."
, conclusionNotation = "W"
}
]
}
}

18
frontend/src/Config/Pages/Debate/Arguments/Records/OddOrderPredators.elm
View file

@ -1,31 +1,29 @@
module Config.Pages.Debate.Arguments.Records.OddOrderPredators exposing (..)
import Config.Pages.Debate.Arguments.Types exposing (..)
import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (..)
argumentOddOrderPredators : Argument
argumentOddOrderPredators =
{ argumentTitle = toTitleCase "Argument for Culling Odd Order Predators"
, propositionTitle = "It is permissible to prevent predation with lethal force to the same degree we would tolerate for humans."
, propositionReductio = "I view animal rights as the logical extension of trait-adjusted human rights to non-human animals. I think humans have the right not to be exposed to circumstances where they're hunted for food, and I think it is permissible to use lethal force to save the lives of the hunted, all else equal. By extension I think non-human animals have this right too."
, propositionSummary = "Summary"
, propositionReductio = ""
, propositionSummary = "I view animal rights as the logical extension of trait-adjusted human rights to non-human animals. I think humans have the right not to be exposed to circumstances where they're hunted for food, and I think it is permissible to use lethal force to save the lives of the hunted, all else equal. By extension I think non-human animals have this right too."
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~5~3Qx)),(Pa),(~3Qa~5R)%7C=(R)"
, argumentCertainty = 10
, argumentImage = "oddorderpredators"
, argumentHashtags = []
, isNewTabLink = False
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "(x) has negative rights"
}
, { 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 trait-adjusted humans"
}
, { 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 trait-adjusted humans"
}
, { definiendum = "x"
, definiens = "a being"
@ -36,17 +34,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."
[ { 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 trait-adjusted humans."
, notation = "∀x(Px→¬Qx)"
}
, { premise = "Animals have negative rights."
, 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 trait-adjusted humans."
, 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 trait-adjusted humans."
, conclusionNotation = "R"
}
]

2
frontend/src/Config/Pages/Services/Records/ElmBuilds.elm
View file

@ -15,7 +15,7 @@ servicesElmBuilds =
let
name : String
name =
"Front End Development"
"Custom Elm Sites"
in
{ serviceImage = formatName name
, serviceLink = Path.toString Path.Services_Elm