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: updated an argument

Browse source
This commit is contained in:
Nick 2024-12-09 04:37:27 -06:00
parent b1074f1757
commit 68be562bd3
2 changed files with 22 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

15
frontend/src/Debate/Arguments/Helpers.elm
View file

@ -76,7 +76,7 @@ argumentMaker : Argument -> Element msg
argumentMaker argument = argumentMaker argument =
row row
topLevelBox topLevelBox
[ cardImageMaker (argumentImage argument) "" [ cardImageMaker (argumentImage argument) (argumentLink argument)
, cardMaker , cardMaker
[ cardTitleMaker argument.argumentTitle [ cardTitleMaker argument.argumentTitle
, cardFormatter , cardFormatter
@ -89,7 +89,8 @@ argumentMaker argument =
, strengthMakerDesktop argument , strengthMakerDesktop argument
, tableMaker argument , tableMaker argument
, desktopFormalizationMaker argument , desktopFormalizationMaker argument
, proofTreeMaker argument
-- , proofTreeMaker argument
] ]
] ]
] ]
@ -109,7 +110,7 @@ argumentMakerMobile argument =
[ column [ column
fieldSpacer fieldSpacer
[ row [ spacing 10, E.width fill ] [ row [ spacing 10, E.width fill ]
[ cardImageMakerMobile (argumentImage argument) "" [ cardImageMakerMobile (argumentImage argument) (argumentLink argument)
, column [ E.width fill ] , column [ E.width fill ]
[ propositionMakerMobile argument [ propositionMakerMobile argument
] ]
@ -119,7 +120,8 @@ argumentMakerMobile argument =
, strengthMakerMobile argument , strengthMakerMobile argument
, tableMaker argument , tableMaker argument
, mobileFormalizationMaker argument , mobileFormalizationMaker argument
, proofTreeMaker argument
-- , proofTreeMaker argument
] ]
] ]
] ]
@ -134,6 +136,11 @@ argumentImage argument =
} }
argumentLink : Argument -> String
argumentLink argument =
argument.proofLink
infoSpacing = infoSpacing =
E.width <| px 100 E.width <| px 100

23
frontend/src/Debate/Arguments/Inferences/DairyCowRape.elm
View file

@ -5,12 +5,11 @@ import Debate.Arguments.Types exposing (..)
argumentDairyCowRape : Argument argumentDairyCowRape : Argument
argumentDairyCowRape = argumentDairyCowRape =
{ argumentTitle = "Argument for Dairy Cattle Being Raped" { argumentTitle = "Argument for Animal Sex Counting as Rape"
, propositionTitle = "A bull mating with a cow qualifies as rape." , propositionTitle = "An animal mating with another animal qualifies as rape."
, propositionReductio = "" , propositionReductio = ""
, propositionSummary = "It's not clear that non-human animal procreation isn't an example of rape if we take sexual interaction in the absence of informed concent to be rape. So, it seems to follow the a bull making with a cow is rape." , propositionSummary = "It's not clear that non-human animal procreation isn't an example of rape if we take sexual interaction in the absence of informed concent to be rape. So, it seems to follow that a bull mating with a cow is rape, for example."
, proofLink = "https://www.umsu.de/trees/#(~6x~6y(Px~4(Qxy~1~3Ryx))),(Qae),(~3Rea)|=(Pa)" , proofLink = "https://www.umsu.de/trees/#(~6x~6y(Px~4(Qxy~1~3Ryx))),(Qae),(~3Rea)|=(Pa)"
, argumentCertainty = 10 , argumentCertainty = 10
, argumentImage = "cowrape" , argumentImage = "cowrape"
, definitionTable = , definitionTable =
@ -30,10 +29,10 @@ argumentDairyCowRape =
, definiens = "an involved party" , definiens = "an involved party"
} }
, { definiendum = "a" , { definiendum = "a"
, definiens = "bulls mating with cows" , definiens = "an animal mating with another animal"
} }
, { definiendum = "e" , { definiendum = "e"
, definiens = "a cow" , definiens = "another animal"
} }
] ]
, argumentFormalization = , argumentFormalization =
@ -41,15 +40,15 @@ argumentDairyCowRape =
[ { premise = "An action qualifies as rape if, and only if, the action involves sexual contact with an involved party and the involved party does not render informed consent for the action." [ { premise = "An action qualifies as rape if, and only if, the action involves sexual contact with an involved party and the involved party does not render informed consent for the action."
, notation = "∀x∀y(Px↔(Qxy∧¬Ryx))" , notation = "∀x∀y(Px↔(Qxy∧¬Ryx))"
} }
, { premise = "A bull mating with a cow involves sexual contact with a cow." , { premise = "An animal mating with another animal involves sexual contact with another animal."
, notation = "Qae" , notation = "Qae"
} }
, { premise = "A cow does not render informed consent to a bull mating with a cow." , { premise = "Said animal does not render informed consent to an animal mating with them."
, notation = "¬Rea" , notation = "¬Rea"
} }
] ]
, conclusion = "Therefore, a bull mating with a cow qualifies as rape." , conclusion = "Therefore, an animal mating with another animal qualifies as rape."
, conclusionNotation = "Pa" , conclusionNotation = "Pa"
} }
] ]
} }