Message: #0  2025-12-13  

Proposition, analogy, and appropriation form a sequence of concepts in
philosophy and rhetoric, where propositions serve as truth-bearing
statements, analogies draw comparisons between them, and appropriation
involves adopting or repurposing those comparisons.[1][2]

## Propositions
Propositions represent the abstract meanings of declarative sentences
that carry truth values, such as "twice two are four."  They underpin
logical arguments and beliefs, distinct from the sentences expressing
them.[3][4][1]

## Analogies
Analogies compare two domains to infer similarities, like equating
followers to planets orbiting a leader's sun.  In logic, they rely on
shared properties or causes, with strength increasing alongside the
number of parallels.  Aristotle emphasized their role in securing
plausible admissions without full universals.[2][5]

## Appropriation
Appropriation occurs when analogies are strategically repurposed in
rhetoric or ethics, deriving authority from prior cases to influence
new ones.  Misuse leads to false analogies, assuming unshared traits
follow from superficial resemblances.  In type theory, it parallels
"propositions as types," where proofs inhabit propositions akin to
functions inhabiting types.[6][7][8][9]

[1](https://en.wikipedia.org/wiki/Proposition)
[2](https://plato.stanford.edu/entries/reasoning-analogy/)
[3](https://plato.stanford.edu/entries/propositions/)
[4](https://en.wikipedia.org/wiki/Propositional_logic)
[5](https://www.academypublication.com/issues/past/tpls/vol02/12/18.pdf)
[6](https://oeis.org/wiki/Propositions_As_Types_Analogy)
[7](https://itzhakgilboa.weebly.com/uploads/8/3/6/3/8363317/agps_rhetoric_and_analogies.pdf)
[8](https://st.network/analysis/top/the-false-analogy-when-the-apple-insists-on-being-a-pear.html)
[9](http://tobiasfritz.science/2014/topic3.pdf)
[10](https://egyankosh.ac.in/bitstream/123456789/37954/1/Unit-4.pdf)
[11](http://assets.press.princeton.edu/chapters/s9727.pdf)
[12](https://www.math.fsu.edu/~pkirby/mad2104/SlideShow/s2_1.pdf)
[13](https://plato.stanford.edu/entries/logic-propositional/)
[14](https://www.sfu.ca/~swartz/pw/text/pw_chap02.pdf)
[15](https://philarchive.org/archive/MENPWP-3v2)
[16](https://inters.org/analogy)
[17](https://ojs.library.dal.ca/dionysius/article/view/6894/5993)
[18](https://philarchive.org/archive/KLEPAT-10)