upRootNutrition/obsidian
1
0
Fork 0
mirror of https://gitlab.com/upRootNutrition/obsidian.git synced 2025-06-15 16:25:13 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions
obsidian/🛡️ Debate/Opponents/Turning Veganese.md

2.1 KiB
Executable file
Raw Permalink Blame History

Debate 1

Proposition

"Killing odd-order predators is incompatible with veganism."

Semantics

  1. Veganism
    • an ethical stance against all forms human to non-human animals oppression."
  2. Opression
    • use and/or abuse and/or exploitation.

Analysis

  1. Is it oppressive to let the murderers kill and eat a woman?
    • ""
  2. Is it oppressive to let the lions kill and eat a woman?
    • ""
  3. Is it oppressive to let the lions kill and eat a gazelle?
    • ""

Reductio

Definiendum Definiens
V something (x) is vegan
E something (x) does not involve human on non-human animal exploitation
P the products (x) generated are not vegan
b bees pollinating human crops
a apples
P1) Something is vegan if, and only if, something does not involve human on non-human animal exploitation.
(∀x(Vx↔¬Ex))
P2) Bees pollinating human crops involves human on non-human exploitation.
(Eb)
P3) If bees pollinating human crops is not vegan, then the products generated are not vegan.
(¬Vb→∀x(¬Px))
C) Therefore, apples are not vegan.
(∴¬Pa)

Proof Tree

Hashtags

#debate #debate_opponents #vegan