home.social

#morphism — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #morphism, aggregated by home.social.

  1. Icon, Likeness, Likely Story, Likelihood, Probability • 2
    inquiryintoinquiry.com/2026/05

    Re: Peirce List • Phyllis Chiasson
    web.archive.org/web/2013121115
    web.archive.org/web/2013121103

    I'm still a bit fuzzy on how Aristotle's account relates to Peirce's usage, though I'm pretty sure Peirce must have taken Aristotle's usage into account, but it does seem that Aristotle drew some sort of distinction here, using a term “tekmerion” which gets translated as “index” to make the following remark later on in that chapter.

    ❝We must either classify signs in this way, and regard their middle term as an index [τεκµηριον] (for the name ‘index’ is given to that which causes us to know, and the middle term is especially of this nature), or describe the arguments drawn from the extremes as ‘signs’, and that which is drawn from the middle as an ‘index’. For the conclusion which is reached through the first figure is most generally accepted and most true.❞ (Aristotle, Prior Analytics, 2.27.70b1–6).

    Reference —

    Aristotle, “Prior Analytics”, Hugh Tredennick (trans.), pp. 181–531 in Aristotle, Volume 1, Loeb Classical Library, William Heinemann, London, UK, 1938.

    Resource —

    Theme One Program • User Guide • Appendix A
    academia.edu/5211369/Theme_One

    #Aristotle #Peirce #IconIndexSymbol #Semiotics #SignRelations
    #Logic #Mathematics #Probability #ProbableReasoning #Induction
    #Inquiry #Analogy #Likelihood #LikelyStory #Likeness #Morphism

  2. Icon, Likeness, Likely Story, Likelihood, Probability • 2
    inquiryintoinquiry.com/2026/05

    Re: Peirce List • Phyllis Chiasson
    web.archive.org/web/2013121115
    web.archive.org/web/2013121103

    I'm still a bit fuzzy on how Aristotle's account relates to Peirce's usage, though I'm pretty sure Peirce must have taken Aristotle's usage into account, but it does seem that Aristotle drew some sort of distinction here, using a term “tekmerion” which gets translated as “index” to make the following remark later on in that chapter.

    ❝We must either classify signs in this way, and regard their middle term as an index [τεκµηριον] (for the name ‘index’ is given to that which causes us to know, and the middle term is especially of this nature), or describe the arguments drawn from the extremes as ‘signs’, and that which is drawn from the middle as an ‘index’. For the conclusion which is reached through the first figure is most generally accepted and most true.❞ (Aristotle, Prior Analytics, 2.27.70b1–6).

    Reference —

    Aristotle, “Prior Analytics”, Hugh Tredennick (trans.), pp. 181–531 in Aristotle, Volume 1, Loeb Classical Library, William Heinemann, London, UK, 1938.

    Resource —

    Theme One Program • User Guide • Appendix A
    academia.edu/5211369/Theme_One

    #Aristotle #Peirce #IconIndexSymbol #Semiotics #SignRelations
    #Logic #Mathematics #Probability #ProbableReasoning #Induction
    #Inquiry #Analogy #Likelihood #LikelyStory #Likeness #Morphism

  3. Icon, Likeness, Likely Story, Likelihood, Probability • 2
    inquiryintoinquiry.com/2026/05

    Re: Peirce List • Phyllis Chiasson
    web.archive.org/web/2013121115
    web.archive.org/web/2013121103

    I'm still a bit fuzzy on how Aristotle's account relates to Peirce's usage, though I'm pretty sure Peirce must have taken Aristotle's usage into account, but it does seem that Aristotle drew some sort of distinction here, using a term “tekmerion” which gets translated as “index” to make the following remark later on in that chapter.

    ❝We must either classify signs in this way, and regard their middle term as an index [τεκµηριον] (for the name ‘index’ is given to that which causes us to know, and the middle term is especially of this nature), or describe the arguments drawn from the extremes as ‘signs’, and that which is drawn from the middle as an ‘index’. For the conclusion which is reached through the first figure is most generally accepted and most true.❞ (Aristotle, Prior Analytics, 2.27.70b1–6).

    Reference —

    Aristotle, “Prior Analytics”, Hugh Tredennick (trans.), pp. 181–531 in Aristotle, Volume 1, Loeb Classical Library, William Heinemann, London, UK, 1938.

    Resource —

    Theme One Program • User Guide • Appendix A
    academia.edu/5211369/Theme_One

    #Aristotle #Peirce #IconIndexSymbol #Semiotics #SignRelations
    #Logic #Mathematics #Probability #ProbableReasoning #Induction
    #Inquiry #Analogy #Likelihood #LikelyStory #Likeness #Morphism

  4. Icon, Likeness, Likely Story, Likelihood, Probability • 2
    inquiryintoinquiry.com/2026/05

    Re: Peirce List • Phyllis Chiasson
    web.archive.org/web/2013121115
    web.archive.org/web/2013121103

    I'm still a bit fuzzy on how Aristotle's account relates to Peirce's usage, though I'm pretty sure Peirce must have taken Aristotle's usage into account, but it does seem that Aristotle drew some sort of distinction here, using a term “tekmerion” which gets translated as “index” to make the following remark later on in that chapter.

    ❝We must either classify signs in this way, and regard their middle term as an index [τεκµηριον] (for the name ‘index’ is given to that which causes us to know, and the middle term is especially of this nature), or describe the arguments drawn from the extremes as ‘signs’, and that which is drawn from the middle as an ‘index’. For the conclusion which is reached through the first figure is most generally accepted and most true.❞ (Aristotle, Prior Analytics, 2.27.70b1–6).

    Reference —

    Aristotle, “Prior Analytics”, Hugh Tredennick (trans.), pp. 181–531 in Aristotle, Volume 1, Loeb Classical Library, William Heinemann, London, UK, 1938.

    Resource —

    Theme One Program • User Guide • Appendix A
    academia.edu/5211369/Theme_One

    #Aristotle #Peirce #IconIndexSymbol #Semiotics #SignRelations
    #Logic #Mathematics #Probability #ProbableReasoning #Induction
    #Inquiry #Analogy #Likelihood #LikelyStory #Likeness #Morphism

  5. Icon, Likeness, Likely Story, Likelihood, Probability • 2
    inquiryintoinquiry.com/2026/05

    Re: Peirce List • Phyllis Chiasson
    web.archive.org/web/2013121115
    web.archive.org/web/2013121103

    I'm still a bit fuzzy on how Aristotle's account relates to Peirce's usage, though I'm pretty sure Peirce must have taken Aristotle's usage into account, but it does seem that Aristotle drew some sort of distinction here, using a term “tekmerion” which gets translated as “index” to make the following remark later on in that chapter.

    ❝We must either classify signs in this way, and regard their middle term as an index [τεκµηριον] (for the name ‘index’ is given to that which causes us to know, and the middle term is especially of this nature), or describe the arguments drawn from the extremes as ‘signs’, and that which is drawn from the middle as an ‘index’. For the conclusion which is reached through the first figure is most generally accepted and most true.❞ (Aristotle, Prior Analytics, 2.27.70b1–6).

    Reference —

    Aristotle, “Prior Analytics”, Hugh Tredennick (trans.), pp. 181–531 in Aristotle, Volume 1, Loeb Classical Library, William Heinemann, London, UK, 1938.

    Resource —

    Theme One Program • User Guide • Appendix A
    academia.edu/5211369/Theme_One

    #Aristotle #Peirce #IconIndexSymbol #Semiotics #SignRelations
    #Logic #Mathematics #Probability #ProbableReasoning #Induction
    #Inquiry #Analogy #Likelihood #LikelyStory #Likeness #Morphism

  6. Icon, Likeness, Likely Story, Likelihood, Probability • 1
    inquiryintoinquiry.com/2026/05

    Here's a likely locus classicus for “icon” in its logical sense —

    ❝A probability (εικος) is not the same as a sign (σηµειον). The former is a generally accepted premiss; for that which people know to happen or not to happen, or to be or not to be, usually in a particular way, is a probability:

    ❝For example, that the envious are malevolent or that those who are loved are affectionate.

    ❝A sign, however, means a demonstrative premiss which is necessary or generally accepted. That which coexists with something else, or before or after whose happening something else has happened, is a sign of that something’s having happened or being.❞ (Aristotle, Prior Analytics, 2.27.70a3–10).

    Reference —

    Aristotle, “Prior Analytics”, Hugh Tredennick (trans.), pp. 181–531 in Aristotle, Volume 1, Loeb Classical Library, William Heinemann, London, UK, 1938.

    Resource —

    Theme One Program • User Guide • Appendix A
    academia.edu/5211369/Theme_One

    #Aristotle #Peirce #IconIndexSymbol #Semiotics #SignRelations
    #Logic #Mathematics #Probability #ProbableReasoning #Induction
    #Inquiry #Analogy #Likelihood #LikelyStory #Likeness #Morphism

  7. Icon, Likeness, Likely Story, Likelihood, Probability • 1
    inquiryintoinquiry.com/2026/05

    Here's a likely locus classicus for “icon” in its logical sense —

    ❝A probability (εικος) is not the same as a sign (σηµειον). The former is a generally accepted premiss; for that which people know to happen or not to happen, or to be or not to be, usually in a particular way, is a probability:

    ❝For example, that the envious are malevolent or that those who are loved are affectionate.

    ❝A sign, however, means a demonstrative premiss which is necessary or generally accepted. That which coexists with something else, or before or after whose happening something else has happened, is a sign of that something’s having happened or being.❞ (Aristotle, Prior Analytics, 2.27.70a3–10).

    Reference —

    Aristotle, “Prior Analytics”, Hugh Tredennick (trans.), pp. 181–531 in Aristotle, Volume 1, Loeb Classical Library, William Heinemann, London, UK, 1938.

    Resource —

    Theme One Program • User Guide • Appendix A
    academia.edu/5211369/Theme_One

    #Aristotle #Peirce #IconIndexSymbol #Semiotics #SignRelations
    #Logic #Mathematics #Probability #ProbableReasoning #Induction
    #Inquiry #Analogy #Likelihood #LikelyStory #Likeness #Morphism

  8. Icon, Likeness, Likely Story, Likelihood, Probability • 1
    inquiryintoinquiry.com/2026/05

    Here's a likely locus classicus for “icon” in its logical sense —

    ❝A probability (εικος) is not the same as a sign (σηµειον). The former is a generally accepted premiss; for that which people know to happen or not to happen, or to be or not to be, usually in a particular way, is a probability:

    ❝For example, that the envious are malevolent or that those who are loved are affectionate.

    ❝A sign, however, means a demonstrative premiss which is necessary or generally accepted. That which coexists with something else, or before or after whose happening something else has happened, is a sign of that something’s having happened or being.❞ (Aristotle, Prior Analytics, 2.27.70a3–10).

    Reference —

    Aristotle, “Prior Analytics”, Hugh Tredennick (trans.), pp. 181–531 in Aristotle, Volume 1, Loeb Classical Library, William Heinemann, London, UK, 1938.

    Resource —

    Theme One Program • User Guide • Appendix A
    academia.edu/5211369/Theme_One

    #Aristotle #Peirce #IconIndexSymbol #Semiotics #SignRelations
    #Logic #Mathematics #Probability #ProbableReasoning #Induction
    #Inquiry #Analogy #Likelihood #LikelyStory #Likeness #Morphism

  9. Icon, Likeness, Likely Story, Likelihood, Probability • 1
    inquiryintoinquiry.com/2026/05

    Here's a likely locus classicus for “icon” in its logical sense —

    ❝A probability (εικος) is not the same as a sign (σηµειον). The former is a generally accepted premiss; for that which people know to happen or not to happen, or to be or not to be, usually in a particular way, is a probability:

    ❝For example, that the envious are malevolent or that those who are loved are affectionate.

    ❝A sign, however, means a demonstrative premiss which is necessary or generally accepted. That which coexists with something else, or before or after whose happening something else has happened, is a sign of that something’s having happened or being.❞ (Aristotle, Prior Analytics, 2.27.70a3–10).

    Reference —

    Aristotle, “Prior Analytics”, Hugh Tredennick (trans.), pp. 181–531 in Aristotle, Volume 1, Loeb Classical Library, William Heinemann, London, UK, 1938.

    Resource —

    Theme One Program • User Guide • Appendix A
    academia.edu/5211369/Theme_One

    #Aristotle #Peirce #IconIndexSymbol #Semiotics #SignRelations
    #Logic #Mathematics #Probability #ProbableReasoning #Induction
    #Inquiry #Analogy #Likelihood #LikelyStory #Likeness #Morphism

  10. Icon, Likeness, Likely Story, Likelihood, Probability • 1
    inquiryintoinquiry.com/2026/05

    Here's a likely locus classicus for “icon” in its logical sense —

    ❝A probability (εικος) is not the same as a sign (σηµειον). The former is a generally accepted premiss; for that which people know to happen or not to happen, or to be or not to be, usually in a particular way, is a probability:

    ❝For example, that the envious are malevolent or that those who are loved are affectionate.

    ❝A sign, however, means a demonstrative premiss which is necessary or generally accepted. That which coexists with something else, or before or after whose happening something else has happened, is a sign of that something’s having happened or being.❞ (Aristotle, Prior Analytics, 2.27.70a3–10).

    Reference —

    Aristotle, “Prior Analytics”, Hugh Tredennick (trans.), pp. 181–531 in Aristotle, Volume 1, Loeb Classical Library, William Heinemann, London, UK, 1938.

    Resource —

    Theme One Program • User Guide • Appendix A
    academia.edu/5211369/Theme_One

    #Aristotle #Peirce #IconIndexSymbol #Semiotics #SignRelations
    #Logic #Mathematics #Probability #ProbableReasoning #Induction
    #Inquiry #Analogy #Likelihood #LikelyStory #Likeness #Morphism

  11. @sliverdaemon @tmbotg It's beyond myself, too, but I have an idea.

    If the #inclusion #relation (a -> b iif a contained in b) is a #morphism of the Set category, its initial object would be the empty set, and "everything" would be the terminal object.

    Although, for that to work, I think that the sets should be restricted to "proper" ones, to avoid Russell's #paradox: no sets containing themselves, which would means loops within the supposed lattice. So, a subcategory of the Set category.