mirror of
https://gitlab.com/upRootNutrition/website.git
synced 2025-06-16 04:25:11 -05:00
feat: added arguments
This commit is contained in:
Nick
parent
74dfd2725c
commit
600bfc267c
7 changed files with 186 additions and 153 deletions
|
|
@ -0,0 +1,54 @@
|
|||
module Debate.Arguments.Philosophy.ScratcherPioneers exposing (..)
|
||||
|
||||
import Debate.Types exposing (..)
|
||||
|
||||
|
||||
argumentScratcherPioneers : Argument
|
||||
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)"
|
||||
, definitionTable =
|
||||
[ { definiendum = "S(x)"
|
||||
, definiens = "(x) is a scratcher"
|
||||
}
|
||||
, { definiendum = "L(x)"
|
||||
, definiens = "(x) tattoos without a license"
|
||||
}
|
||||
, { definiendum = "H(x)"
|
||||
, definiens = "(x) tattoos without observing basic health standards"
|
||||
}
|
||||
, { definiendum = "U(x)"
|
||||
, definiens = "(x) tattoos without having undertaken apprenticeship"
|
||||
}
|
||||
, { definiendum = "x"
|
||||
, definiens = "a tattoo artist"
|
||||
}
|
||||
, { definiendum = "t"
|
||||
, definiens = "original trailblazers of modern tattooing"
|
||||
}
|
||||
]
|
||||
, 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))"
|
||||
}
|
||||
, { premise = "The original trailblazers of modern tattooing tattooed without licenses."
|
||||
, notation = "(Lt)"
|
||||
}
|
||||
, { premise = "The original trailblazers of modern tattooing tattooed without observing basic health standards."
|
||||
, notation = "(Ht)"
|
||||
}
|
||||
, { premise = "The original trailblazers of modern tattooing tattooed without having undertaken apprenticeship."
|
||||
, notation = "(Ut)"
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
}
|
||||
]
|
||||
, conclusion = "Therefore, the original trailblazers of modern tattooing were scratchers."
|
||||
, conclusionNotation = "(∴St)"
|
||||
}
|
||||
]
|
||||
}
|
||||
|
|
@ -5,50 +5,29 @@ import Debate.Types exposing (..)
|
|||
|
||||
argumentCropDeaths : Argument
|
||||
argumentCropDeaths =
|
||||
{ argumentTitle = "Title"
|
||||
{ argumentTitle = "Cropland vs Wildland Argument"
|
||||
, propositionTitle = "Proposition"
|
||||
, propositionSummary = "Summary"
|
||||
, proofLink = ""
|
||||
, propositionSummary = "We can't claim to know that cropland kills more animals than wildland, because if we did know this, there would be evidence for it, and there isn't any such evidence."
|
||||
, proofLink = "https://www.umsu.de/trees/#(P~5Q),(~3Q)%7C=(~3P)"
|
||||
, definitionTable =
|
||||
[ { definiendum = ""
|
||||
, definiens = ""
|
||||
[ { definiendum = "P"
|
||||
, definiens = "it is known that cropland leads to more animal death than wildland"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "Q"
|
||||
, definiens = "there is evidence that cropland leads to more animal death than wildland"
|
||||
}
|
||||
]
|
||||
, argumentFormalization =
|
||||
[ { premises =
|
||||
[ { premise = ""
|
||||
, notation = ""
|
||||
[ { premise = "If it is known that cropland leads to more animal death than wildland, then there is evidence that cropland leads to more animal death than wildland."
|
||||
, notation = "(P→Q)"
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
, { premise = "There is not evidence that cropland leads to more animal death than wildland."
|
||||
, notation = "(P)"
|
||||
}
|
||||
]
|
||||
, conclusion = ""
|
||||
, conclusionNotation = "(∴)"
|
||||
, conclusion = "Therefore, it is not known that cropland leads to more animal death than wildland."
|
||||
, conclusionNotation = "(∴¬P)"
|
||||
}
|
||||
]
|
||||
}
|
||||
|
|
@ -5,50 +5,47 @@ import Debate.Types exposing (..)
|
|||
|
||||
argumentDairyCowRape : Argument
|
||||
argumentDairyCowRape =
|
||||
{ argumentTitle = "Title"
|
||||
, propositionTitle = "Proposition"
|
||||
{ argumentTitle = "Argument for Dairy Cattle Being Raped"
|
||||
, propositionTitle = "A bull mating with a cow qualifies as rape"
|
||||
, propositionSummary = "Summary"
|
||||
, proofLink = ""
|
||||
, proofLink = "https://www.umsu.de/trees/#(~6x~6y(Px~4(Qxy~1~3Ryx))),(Qae),(~3Rea)|=(Pa)"
|
||||
, definitionTable =
|
||||
[ { definiendum = ""
|
||||
, definiens = ""
|
||||
[ { definiendum = "P(x)"
|
||||
, definiens = "(x) qualifies as rape"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "Q(x,y)"
|
||||
, definiens = "(x) involves sexual contact with (y)"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "R(y,x)"
|
||||
, definiens = "(y) renders informed consent for (x)"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "x"
|
||||
, definiens = "an action"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "y"
|
||||
, definiens = "an involved party"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "a"
|
||||
, definiens = "bulls mating with cows"
|
||||
}
|
||||
, { definiendum = "e"
|
||||
, definiens = "a cow"
|
||||
}
|
||||
]
|
||||
, argumentFormalization =
|
||||
[ { premises =
|
||||
[ { premise = ""
|
||||
, notation = ""
|
||||
[ { 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)))"
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
, { premise = "A bull mating with a cow involves sexual contact with a cow."
|
||||
, notation = "(Qae)"
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
, { premise = "A cow does not render informed consent to a bull mating with a cow."
|
||||
, notation = "(¬Rea)"
|
||||
}
|
||||
]
|
||||
, conclusion = ""
|
||||
, conclusionNotation = "(∴)"
|
||||
, conclusion = "Therefore, a bull mating with a cow qualifies as rape."
|
||||
, conclusionNotation = "(∴Pa)"
|
||||
}
|
||||
]
|
||||
}
|
||||
|
|
@ -5,50 +5,38 @@ import Debate.Types exposing (..)
|
|||
|
||||
argumentOddOrderPredators : Argument
|
||||
argumentOddOrderPredators =
|
||||
{ argumentTitle = "Title"
|
||||
, propositionTitle = "Proposition"
|
||||
{ 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 = ""
|
||||
, proofLink = "https://www.umsu.de/trees/#(~6x(Wx~5~3Nx)),(Wa),(~3Na~5F)%7C=(F)"
|
||||
, definitionTable =
|
||||
[ { definiendum = ""
|
||||
, definiens = ""
|
||||
[ { definiendum = "W(x)"
|
||||
, definiens = "(x) has negative rights"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "N(x)"
|
||||
, definiens = "we should defend (x) from rights violations to any lesser degree than we would tolerate for humans"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "F(x)"
|
||||
, definiens = "it is permissible to prevent predation with lethal force to the same degree we would tolerate for humans"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "a"
|
||||
, definiens = "animal"
|
||||
}
|
||||
]
|
||||
, argumentFormalization =
|
||||
[ { premises =
|
||||
[ { premise = ""
|
||||
, notation = ""
|
||||
[ { 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))"
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
, { premise = "Animals have negative rights."
|
||||
, notation = "(Wa)"
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
, { 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)"
|
||||
}
|
||||
]
|
||||
, conclusion = ""
|
||||
, conclusionNotation = "(∴)"
|
||||
, conclusion = "Therefore, it is permissible to prevent predation with lethal force to the same degree we would tolerate for humans."
|
||||
, conclusionNotation = "(∴F)"
|
||||
}
|
||||
]
|
||||
}
|
||||
|
|
@ -5,50 +5,56 @@ import Debate.Types exposing (..)
|
|||
|
||||
argumentOstroveganism : Argument
|
||||
argumentOstroveganism =
|
||||
{ argumentTitle = "Title"
|
||||
, propositionTitle = "Proposition"
|
||||
{ argumentTitle = "Argument for Vegan Bivalves"
|
||||
, propositionTitle = "Bivalves are not likely to be sentient."
|
||||
, propositionSummary = "Summary"
|
||||
, proofLink = ""
|
||||
, 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)"
|
||||
, definitionTable =
|
||||
[ { definiendum = ""
|
||||
, definiens = ""
|
||||
[ { definiendum = "B(x)"
|
||||
, definiens = "(x) counts as a brain"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "P(x)"
|
||||
, definiens = "(x) is a complex network of interconnected neurons"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "Q(x)"
|
||||
, definiens = "(x) integrates neuronal pathways from multiple sensory organs"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "R(x)"
|
||||
, definiens = "(x) presents with distinct functional regions"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "S(x)"
|
||||
, definiens = "(x) presents with nuclei with white matter tracts that facilitate inter-regional communication"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "N(x)"
|
||||
, definiens = "the corresponding (y) is likely to be sentient"
|
||||
}
|
||||
, { definiendum = "x"
|
||||
, definiens = "an object"
|
||||
}
|
||||
, { definiendum = "y"
|
||||
, definiens = "brainless biological system into which cerebral ganglia are integrated"
|
||||
}
|
||||
, { definiendum = "c"
|
||||
, definiens = "cerebral ganglia"
|
||||
}
|
||||
, { definiendum = "b"
|
||||
, definiens = "bivalves"
|
||||
}
|
||||
]
|
||||
, argumentFormalization =
|
||||
[ { premises =
|
||||
[ { premise = ""
|
||||
, notation = ""
|
||||
[ { 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)))"
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
, { premise = "Cerebral ganglia meet criteria one and three, but not criteria two and four."
|
||||
, notation = "(Pc∧¬Qc∧Rc∧¬Sc)"
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
, { 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))"
|
||||
}
|
||||
]
|
||||
, conclusion = ""
|
||||
, conclusionNotation = "(∴)"
|
||||
, conclusion = "Therefore, bivalves are not likely to be sentient."
|
||||
, conclusionNotation = "(∴¬Nb)"
|
||||
}
|
||||
]
|
||||
}
|
||||
|
|
@ -5,50 +5,47 @@ import Debate.Types exposing (..)
|
|||
|
||||
argumentPollinationReductio : Argument
|
||||
argumentPollinationReductio =
|
||||
{ argumentTitle = "Title"
|
||||
, propositionTitle = "Proposition"
|
||||
{ argumentTitle = "Vegan Anti-Pollination Reductio"
|
||||
, propositionTitle = "Apples are not vegan"
|
||||
, propositionSummary = "Summary"
|
||||
, proofLink = ""
|
||||
, proofLink = "https://www.umsu.de/trees/#(~6x(Vx~4~3Ex)),(Eb),(~3Vb~5~6y(~3Py))%7C=(~3Pa)"
|
||||
, definitionTable =
|
||||
[ { definiendum = ""
|
||||
, definiens = ""
|
||||
[ { definiendum = "V(x)"
|
||||
, definiens = "(x) is vegan"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "E(x)"
|
||||
, definiens = "(x) involves human on non-human animal exploitation"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "P(y)"
|
||||
, definiens = "(y) generated are vegan"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "x"
|
||||
, definiens = "a being"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "y"
|
||||
, definiens = "a product"
|
||||
}
|
||||
, { definiendum = ""
|
||||
, definiens = ""
|
||||
, { definiendum = "b"
|
||||
, definiens = "bees pollinating human crops"
|
||||
}
|
||||
, { definiendum = "a"
|
||||
, definiens = "apples"
|
||||
}
|
||||
]
|
||||
, argumentFormalization =
|
||||
[ { premises =
|
||||
[ { premise = ""
|
||||
, notation = ""
|
||||
[ { premise = "Something is vegan if, and only if, something does not involve human on non-human animal exploitation."
|
||||
, notation = "(∀x(Vx↔¬Ex))"
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
, { premise = "Bees pollinating human crops involves human on non-human exploitation."
|
||||
, notation = "(Eb)"
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
}
|
||||
, { premise = ""
|
||||
, notation = ""
|
||||
, { premise = "If bees pollinating human crops is not vegan, then the products generated are not vegan."
|
||||
, notation = "(¬Vb→∀y(¬Py))"
|
||||
}
|
||||
]
|
||||
, conclusion = ""
|
||||
, conclusionNotation = "(∴)"
|
||||
, conclusion = "Therefore, apples are not vegan."
|
||||
, conclusionNotation = "(∴¬Pa)"
|
||||
}
|
||||
]
|
||||
}
|
||||
|
|
@ -16,6 +16,7 @@ import Debate.Arguments.Nutrition.HealthyFood exposing (..)
|
|||
import Debate.Arguments.Nutrition.Malondialdehyde exposing (..)
|
||||
import Debate.Arguments.Nutrition.SaturatedFatLDL exposing (..)
|
||||
import Debate.Arguments.Philosophy.Agnosticism exposing (..)
|
||||
import Debate.Arguments.Philosophy.ScratcherPioneers exposing (..)
|
||||
import Debate.Arguments.Politics.BoobyTrapPagers exposing (..)
|
||||
import Debate.Arguments.Science.FlatEarthDebunk exposing (..)
|
||||
import Debate.Arguments.Science.TruncatedMeta exposing (..)
|
||||
|
|
@ -25,6 +26,11 @@ import Debate.Arguments.Veganism.AnimalRights exposing (..)
|
|||
import Debate.Arguments.Veganism.AntiRewilding exposing (..)
|
||||
import Debate.Arguments.Veganism.AntiVandalism exposing (..)
|
||||
import Debate.Arguments.Veganism.ColonizingNature exposing (..)
|
||||
import Debate.Arguments.Veganism.CropDeaths exposing (..)
|
||||
import Debate.Arguments.Veganism.DairyCowRape exposing (..)
|
||||
import Debate.Arguments.Veganism.OddOrderPredators exposing (..)
|
||||
import Debate.Arguments.Veganism.Ostroveganism exposing (..)
|
||||
import Debate.Arguments.Veganism.PollinationReductio exposing (..)
|
||||
import Debate.Helpers exposing (..)
|
||||
import Effect exposing (Effect)
|
||||
import Element exposing (..)
|
||||
|
|
@ -149,6 +155,12 @@ debateList =
|
|||
, argumentAntiRewilding
|
||||
, argumentAntiVandalism
|
||||
, argumentColonizingNature
|
||||
, argumentScratcherPioneers
|
||||
, argumentCropDeaths
|
||||
, argumentDairyCowRape
|
||||
, argumentOddOrderPredators
|
||||
, argumentOstroveganism
|
||||
, argumentPollinationReductio
|
||||
]
|
||||
}
|
||||
]
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue