mirror of
https://gitlab.com/upRootNutrition/obsidian.git
synced 2025-06-16 07:45:12 -05:00
42 lines
No EOL
1.4 KiB
Markdown
Executable file
42 lines
No EOL
1.4 KiB
Markdown
Executable file
# Debate 1
|
|
|
|
## Internal Critique of Shawn's Trait
|
|
|
|
| <font color="CC6600">**Definiendum**</font> | <font color="CC6600">**Definiens**</font> |
|
|
|:-------------------------------------------:|:--------------------------------------------------------------------------------- |
|
|
| <font color="CC6600">**P**</font> | beings (x) are morally permissible to kill for food the way we kill cows for food |
|
|
| <font color="CC6600">**H**</font> | beings (x) are human (homo sapiens sapiens) |
|
|
| <font color="CC6600">**e**</font> | homo erectus |
|
|
|
|
<div style="text-align: center">
|
|
<font color="CC6600">
|
|
<b>P1)</b></font> If beings are not morally permissible to kill for food the way we kill cows for food, then the beings are human (homo sapiens sapiens).
|
|
<br />
|
|
<font color="CC6600">
|
|
<b>(∀x(¬Px→Hx))</b>
|
|
<br />
|
|
<b>P2)</b></font> Homo erectus are not human.
|
|
<br />
|
|
<font color="CC6600">
|
|
<b>(¬He)</b>
|
|
<br />
|
|
<b>C)</b></font> Therefore, homo erectus are morally permissible to kill for food the way we kill cows for food.
|
|
<br />
|
|
<font color="CC6600">
|
|
<b>(∴Pe)</b>
|
|
<br />
|
|
<br />
|
|
</font>
|
|
</div>
|
|
|
|
[Proof Tree](https://www.umsu.de/trees/#(~6x(~3Px~5Hx)),(~3He)|=(Pe))
|
|
|
|
---
|
|
|
|
# Hashtags
|
|
|
|
#clowns
|
|
#clownery
|
|
#debate_opponents
|
|
#debate
|
|
#carnivore |