vault backup: 2024-11-04 20:55:56

This commit is contained in:
Nick 2024-11-04 20:55:56 -06:00
parent 9b6a471b2e
commit bcc5953e6a
10 changed files with 195 additions and 64 deletions

View file

@ -1,15 +1,17 @@
### Immortality Reductio
| <font color="CC6600">**Variable**</font> | <font color="CC6600">**Definition**</font> |
|:----------------------------------------:|:--------------------------------------------------------------------------- |
| <font color="CC6600">**H**</font> | humans undergo normal physiological process (x) |
| <font color="CC6600">**R**</font> | normal physiological process (x) does result in negative health outcome (y) |
| <font color="CC6600">**s**</font> | senescence |
| <font color="CC6600">**d**</font> | death |
| <font color="CC6600">**Variable**</font> | <font color="CC6600">**Definition**</font> |
|:----------------------------------------:|:------------------------------------------ |
| <font color="CC6600">**H(x)**</font> | humans undergo (x) |
| <font color="CC6600">**R(x,y)**</font> | (x) does result in (y) |
| <font color="CC6600">**x**</font> | normal physiological process |
| <font color="CC6600">**y**</font> | negative health outcome |
| <font color="CC6600">**s**</font> | senescence |
| <font color="CC6600">**d**</font> | death |
<div style="text-align: center">
<font color="CC6600">
<b>P1)</b></font> If humans undergo a normal physiological process, then the normal physiological process does not result in a negative health outcome.
<b>P1)</b></font> For all things, if humans undergo a normal physiological process, then the normal physiological process does not result in a negative health outcome.
<br />
<font color="CC6600">
<b>(∀x∀y(Hx→¬Rxy))</b>

View file

@ -34,6 +34,7 @@ synthetic a priori
non-physical mental entities
externalist value
warrant
primitive identity
---

View file

@ -41,12 +41,12 @@
# Vegan Society Definition Tho
| <font color="CC6600">**Defineindum**</font> | <font color="CC6600">**Definiens**</font> |
|:----------------------------------------:|:------------------------------------------ |
| <font color="CC6600">V</font> | it is vegan to do something (x) |
| <font color="CC6600">E</font> | something (x) exploits animals (y) |
| <font color="CC6600">A</font> | a being (x) is an animal |
| <font color="CC6600">e</font> | eat |
| <font color="CC6600">g</font> | Groot |
|:-------------------------------------------:|:----------------------------------------- |
| <font color="CC6600">V</font> | it is vegan to do something (x) |
| <font color="CC6600">E</font> | something (x) exploits animals (y) |
| <font color="CC6600">A</font> | a being (x) is an animal |
| <font color="CC6600">e</font> | eat |
| <font color="CC6600">g</font> | Groot |
<div style="text-align: center">
<font color="CC6600">

View file

@ -1,4 +1,4 @@
### Obligatory Activism
## Obligatory Activism
| <font color="CC6600">**Definiendum**</font> | <font color="CC6600">**Definiens**</font> |
|:-------------------------------------------:|:--------------------------------------------------------- |
@ -8,7 +8,7 @@
<div style="text-align: center">
<font color="CC6600">
<b>P1)</b></font> One has an obligation to convince others of something if and only if that something is a moral obligation.
<b>P1)</b></font> For all things, one has an obligation to convince others of an action (x) if, and only if, an action (x) is a moral obligation.
<br />
<font color="CC6600">
<b>(∀x(Cx↔Mx))</b>

View file

@ -1,3 +1,69 @@
# Debate 2
## Proposition
>"Nick believes:
> 1) "
## Analysis
1.
## Semantics
| **Definiendum** | **Definiens** |
|:---------------:|:-------------:|
| | |
| | |
| | |
## Clarified Proposition
>""
## Receipts
![[Pasted image 20241104170500.png]]
![[Pasted image 20241104170436.png]]
---
### Permissible Dog-Stomping Reductio
| <font color="CC6600">**Definiendum**</font> | <font color="CC6600">**Definiens**</font> |
|:-------------------------------------------:|:--------------------------------------------- |
| <font color="CC6600">**P(y)**</font> | animal (y) is property |
| <font color="CC6600">**Q(x,y)**</font> | committing harm (x) against animal (y) is permissible |
| <font color="CC6600">**x**</font> | committing harm against (an animal) |
| <font color="CC6600">**y**</font> | an animal |
| <font color="CC6600">**d**</font> | a stray dog (y) |
| <font color="CC6600">**s**</font> | Peanut the squirrel (y) |
| <font color="CC6600">**m**</font> | stomping in the head of (an animal) (x) |
| <font color="CC6600">**t**</font> | euthanizing (x) |
<div style="text-align: center">
<font color="CC6600">
<b>P1)</b></font> For all things, committing harm (x) against animal (y) is permissible if, and only if, the animal (y) is not property.
<br />
<font color="CC6600">
<b>(∀x∀y(Qxy↔¬Py))</b>
<br />
<b>P2)</b></font> A stray dog is not property and Peanut the squirrel is property.
<br />
<font color="CC6600">
<b>(¬Pd∧Ps)</b>
<br />
<b>C)</b></font> Therefore, stomping in the head of a stray dog is permissible and euthanizing Peanut the squirrel is not permissible.
<br />
<font color="CC6600">
<b>(∴Qmd∧¬Qts)</b>
<br />
<br />
</font>
</div>
---
# Debate 1
## Proposition