upRootNutrition/obsidian
1
0
Fork 0
mirror of https://gitlab.com/upRootNutrition/obsidian.git synced 2025-06-16 07:55:11 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Initial commit

Browse source
This commit is contained in:
Nick 2024-06-28 02:13:12 -05:00
commit bc15d67574
1475 changed files with 1056167 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

148
🛡️ Debate/🪶 Arguments/Gender/Gender Semantics.md Normal file
View file

@ -0,0 +1,148 @@
## Strict Gametic Definition
#### Intended Usage
| <font color="CC6600">**Definiendum**</font> | <font color="CC6600">**Definiens**</font> |
|:-------------------------------------------:|:----------------------------------------- |
| <font color="CC6600">**M**</font> | something (x) counts as male |
| <font color="CC6600">**F**</font> | something (x) counts as female |
| <font color="CC6600">**S**</font> | something (x) is a small gamete |
| <font color="CC6600">**L**</font> | something (x) is a large gamete |
| <font color="CC6600">**p**</font> | sperm |
| <font color="CC6600">**o**</font> | ova |
<div style="text-align: center">
<font color="CC6600">
<b>P1)</b></font> Something counts as male if, and only if, something is a small gamete, and something counts as female if, and only if something is a large gamete.
<br />
<font color="CC6600">
<b>(∀x(Mx↔Sx)∧∀x(Fx↔Lx))</b>
<br />
<b>P2)</b></font> Sperm are small gametes, and ova are large gametes.
<br />
<font color="CC6600">
<b>(Sp∧Lo)</b>
<br />
<b>C)</b></font> Therefore, sperm count as male and ova count as female.
<br />
<font color="CC6600">
<b>(∴Mp∧Fo)</b>
<br />
<br />
</font>
</div>
[Proof Tree](https://www.umsu.de/trees/#(~6x(Mx~4Sx)~1~6x(Fx~4Lx)),(Sp~1Lo)|=(Mp~1Fo))
#### Reductio
| <font color="CC6600">**Definiendum**</font> | <font color="CC6600">**Definiens**</font> |
|:-------------------------------------------:|:----------------------------------------- |
| <font color="CC6600">**M**</font> | something (x) counts as male |
| <font color="CC6600">**F**</font> | something (x) counts as female |
| <font color="CC6600">**S**</font> | something (x) is a small gamete |
| <font color="CC6600">**L**</font> | something (x) is a large gamete |
| <font color="CC6600">**e**</font> | people |
<div style="text-align: center">
<font color="CC6600">
<b>P1)</b></font> Something counts as male if, and only if, something is a small gamete, and something counts as female if, and only if something is a large gamete.
<br />
<font color="CC6600">
<b>(∀x(Mx↔Sx)∧∀x(Fx↔Lx))</b>
<br />
<b>P2)</b></font> People are neither small gametes nor large gametes.
<br />
<font color="CC6600">
<b>(¬Se∧¬Le)</b>
<br />
<b>C)</b></font> Therefore, people do not count as male or female.
<br />
<font color="CC6600">
<b>(∴¬Me∧¬Fe)</b>
<br />
<br />
</font>
</div>
[Proof Tree](https://www.umsu.de/trees/#(~6x(Mx~4Sx)~1~6x(Fx~4Lx)),(~3Se~1~3Le)|=(~3Me~1~3Fe))
---
## Gametic Entailed Definition
#### Intended Usage
| <font color="CC6600">**Definiendum**</font> | <font color="CC6600">**Definiens**</font> |
|:-------------------------------------------:|:----------------------------------------- |
| <font color="CC6600">**M**</font> | something (x) counts as male |
| <font color="CC6600">**F**</font> | something (y) counts as female |
| <font color="CC6600">**S**</font> | something (x) produces small gametes |
| <font color="CC6600">**L**</font> | something (y) produces large gametes |
| <font color="CC6600">**t**</font> | a person with gametogenic testes |
| <font color="CC6600">**o**</font> | a person with gametogenic ovaries |
<div style="text-align: center">
<font color="CC6600">
<b>P1)</b></font> Something counts as male if, and only if, something produces small gametes, and something counts as female if, and only if something produces large gametes.
<br />
<font color="CC6600">
<b>(∀x(Mx↔Sx)∧∀x(Fx↔Lx))</b>
<br />
<b>P2)</b></font> A person with gametogenic testes produces small gametes, and a person with gametogenic ovaries produces large gametes.
<br />
<font color="CC6600">
<b>(St∧Lo)</b>
<br />
<b>C)</b></font> Therefore, A person with gametogenic testes counts as male, and a person with gametogenic ovaries counts as female.
<br />
<font color="CC6600">
<b>(∴Mt∧Fo)</b>
<br />
<br />
</font>
</div>
[Proof Tree](https://www.umsu.de/trees/#(~6x(Mx~4Sx)~1~6x(Fx~4Lx)),(St~1Lo)|=(Mt~1Fo))
#### Reductio
| <font color="CC6600">**Definiendum**</font> | <font color="CC6600">**Definiens**</font> |
|:-------------------------------------------:|:----------------------------------------- |
| <font color="CC6600">**M**</font> | something (x) counts as male |
| <font color="CC6600">**F**</font> | something (y) counts as female |
| <font color="CC6600">**S**</font> | something (x) produces small gametes |
| <font color="CC6600">**L**</font> | something (y) produces large gametes |
| <font color="CC6600">**a**</font> | a person with azoospermia |
| <font color="CC6600">**w**</font> | a person with complete gonadal dysgenesis |
<div style="text-align: center">
<font color="CC6600">
<b>P1)</b></font> Something counts as male if, and only if, something produces small gametes, and something counts as female if, and only if something produces large gametes.
<br />
<font color="CC6600">
<b>(∀x(Mx↔Sx)∧∀x(Fx↔Lx))</b>
<br />
<b>P2)</b></font> A person with azoospermia does not produce small gametes and a person with complete gonadal dysgenesis does not produce large gametes.
<br />
<font color="CC6600">
<b>(¬Sa∧¬Lw)</b>
<br />
<b>C)</b></font> Therefore, a person with azoospermia does not count as male, and a person with complete gonadal dysgenesis does not count as female.
<br />
<font color="CC6600">
<b>(∴¬Ma∧¬Fw)</b>
<br />
<br />
</font>
</div>
[Proof Tree](https://www.umsu.de/trees/#(~6x(Mx~4Sx)~1~6x(Fx~4Lx)),(~3Sa~1~3Lw)|=(~3Ma~1~3Fw))
---
# Hashtags
#debate
#arguments
#transgender

111
🛡️ Debate/🪶 Arguments/Gender/Trans Women.md Normal file
View file

@ -0,0 +1,111 @@
| <font color="CC6600">**Definiendum**</font> | <font color="CC6600">**Definiens**</font> |
|:-------------------------------------------:|:------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
| <font color="CC6600">**Male**</font> | the cluster of traits that associate with small, but not large, gametes. |
| <font color="CC6600">**Female**</font> | the cluster of traits that associate with large, but not small, gametes. |
| <font color="CC6600">**W**</font> | someone (x) is a woman |
| <font color="CC6600">**M**</font> | someone (x) is a man |
| <font color="CC6600">**L**</font> | someone (x) possesses a sufficiently greater sum of weighted traits that more closely associate with large gametes than weighted traits that associate with small gametes |
| <font color="CC6600">**S**</font> | someone (x) possesses a sufficiently greater sum of weighted traits that more closely associate with small gametes than weighted traits that associate with large gametes |
| <font color="CC6600">**O**</font> | someone (x) is over 18 years of age |
| <font color="CC6600">**a**</font> | a trans person of the male sex |
| <font color="CC6600">**g**</font> | a trans person of the female sex |
<div style="text-align: center">
<font color="CC6600">
<b>P1)</b></font> Someone is a woman if, and only if, someone possesses a sufficiently greater sum of weighted traits that more closely associate with large gametes than weighted traits that associate with small gametes and someone is over 18 years of age.
<br />
<font color="CC6600">
<b>(∀x(Wx↔Lx∧Ox))</b>
<br />
<b>P2)</b></font> Someone is a man if, and only if, someone possesses a sufficiently greater sum of weighted traits that more closely associate with small gametes than weighted traits that associate with large gametes and someone is over 18 years of age.
<br />
<font color="CC6600">
<b>(∀x(Mx↔Sx∧Ox))</b>
<br />
<b>P3)</b></font> A trans person of the male sex possesses a sufficiently greater sum of weighted traits that more closely associate with large gametes than weighted traits that associate with small gametes and a trans person with small gametes is over 18 years of age.
<br />
<font color="CC6600">
<b>(La∧Oa)</b>
<br />
<b>P4)</b></font> A trans person of the female sex possesses a sufficiently greater sum of weighted traits that more closely associate with small gametes than weighted traits that associate with large gametes and a trans person with large gametes is over 18 years of age.
<br />
<font color="CC6600">
<b>(Sg∧Og)</b>
<br />
<b>C)</b></font> Therefore, a trans person of the male sex is a woman and a trans person with female sex is a man.
<br />
<font color="CC6600">
<b>(∴Wa∧Mg)</b>
<br />
<br />
</font>
</div>
[Proof Tree](https://www.umsu.de/trees/#(~6x(Wx~4Lx~1Ox)),(~6x(Mx~4Sx~1Ox)),(La~1Oa),(Sg~1Og)|=(Wa~1Mg))
---
### Maz' Argument
| <font color="CC6600">**Definiendum**</font> | <font color="CC6600">**Definiens**</font> |
|:-------------------------------------------:|:------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
| <font color="CC6600">**W**</font> | Someone (x) is a woman |
| <font color="CC6600">**M**</font> | Someone (x) is a man |
| <font color="CC6600">**B**</font> | Someone (x) is a trans person with female sex |
| <font color="CC6600">**A**</font> | Someone (x) is a trans person with male sex |
| <font color="CC6600">**L**</font> | Someone (x) possesses a sufficiently greater sum of weighted traits that more closely associate with large gametes than weighted traits that associate with small gametes |
| <font color="CC6600">**S**</font> | Someone (x) possesses a sufficiently greater sum of weighted traits that more closely associate with small gametes than weighted traits that associate with large gametes |
| <font color="CC6600">**O**</font> | Someone (x) is over 18 years of age |
<div style="text-align: center">
<font color="CC6600">
<b>P1)</b></font> Someone is a woman if, and only if, someone possesses a sufficiently greater sum of weighted traits that more closely associate with large gametes than weighted traits that associate with small gametes **and** is over 18 years of age.
<br />
<font color="CC6600">
<b>(∀x(Wx↔(Lx∧Ox)))</b>
<br />
<b>P2)</b></font> Someone is a man if, and only if, someone possesses a sufficiently greater sum of weighted traits that more closely associate with small gametes than weighted traits that associate with large gametes and is over 18 years of age.
<br />
<font color="CC6600">
<b>(∀x(Mx↔(Sx∧Ox)))</b>
<br />
<b>P3)</b></font> Someone is a trans person with male sex if, and only if, someone possesses a sufficiently greater sum of weighted traits that more closely associate with large gametes than weighted traits that associate with small gametes and is over 18 years of age.
<br />
<font color="CC6600">
<b>∀x(Ax↔(Lx∧Ox))</b>
<br />
<b>P4)</b></font> Someone is a trans person with female sex if, and only if, someone possesses a sufficiently greater sum of weighted traits that more closely associate with small gametes than weighted traits that associate with large gametes and is over 18 years of age.
<br />
<font color="CC6600">
<b>∀x(Bx↔(Sx∧Ox))</b>
<br />
<b>C)</b></font> Therefore, a trans person with small gametes implies a women and a trans person with large gametes implies a man.
<br />
<font color="CC6600">
<b>(∴∀x(Ax→Wx)∧∀x(Bx→Mx))</b>
<br />
<br />
</font>
</div>
[Proof Tree](https://www.umsu.de/trees/#(~6x(Wx~4(Lx~1Ox))),(~6x(Mx~4(Sx~1Ox))),~6x(Ax~4(Lx~1Ox)),~6x(Bx~4(Sx~1Ox))|=(~6x(Ax~5Wx)~1~6x(Bx~5Mx)))
---
# References
Hermaphrodites:
https://www.fertstert.org/article/S0015-0282(08)00233-1/fulltext
Producing both small and large gametes:
https://pubmed.ncbi.nlm.nih.gov/4532534/
https://www.deepdyve.com/lp/pubmed/ovulation-in-a-cytogenetically-proved-phenotypically-male-fertile-Steztrbecy
---
# Hashtags
#debate
#arguments
#transgender