Jon Awbrey<p>Precursors Of Category Theory • 3<br />• <a href="https://inquiryintoinquiry.com/2024/05/27/precursors-of-category-theory-3-a/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/05</span><span class="invisible">/27/precursors-of-category-theory-3-a/</span></a></p><p>❝Act only according to that maxim by which you can at the same time will that it should become a universal law.❞</p><p>— Immanuel Kant (1785)</p><p>C.S. Peirce • “On a New List of Categories” (1867)</p><p>❝§1. This paper is based upon the theory already established, that the function of conceptions is to reduce the manifold of sensuous impressions to unity, and that the validity of a conception consists in the impossibility of reducing the content of consciousness to unity without the introduction of it.❞ (CP 1.545).</p><p>❝§2. This theory gives rise to a conception of gradation among those conceptions which are universal. For one such conception may unite the manifold of sense and yet another may be required to unite the conception and the manifold to which it is applied; and so on.❞ (CP 1.546).</p><p>Cued by Kant's idea regarding the function of concepts in general, Peirce locates his categories on the highest levels of abstraction able to provide a meaningful measure of traction in practice. Whether successive grades of conceptions converge to an absolute unity or not is a question to be pursued as inquiry progresses and need not be answered in order to begin.</p><p>Resources —</p><p>Precursors Of Category Theory<br />• <a href="https://oeis.org/wiki/Precursors_Of_Category_Theory" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Precursors_Of_Ca</span><span class="invisible">tegory_Theory</span></a></p><p>Propositions As Types Analogy<br />• <a href="https://oeis.org/wiki/Propositions_As_Types_Analogy" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Propositions_As_</span><span class="invisible">Types_Analogy</span></a></p><p>Survey of Precursors Of Category Theory<br />• <a href="https://inquiryintoinquiry.com/2024/05/24/survey-of-precursors-of-category-theory-5/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/05</span><span class="invisible">/24/survey-of-precursors-of-category-theory-5/</span></a></p><p><a href="https://mathstodon.xyz/tags/Aristotle" class="mention hashtag" rel="tag">#<span>Aristotle</span></a> <a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Kant" class="mention hashtag" rel="tag">#<span>Kant</span></a> <a href="https://mathstodon.xyz/tags/Carnap" class="mention hashtag" rel="tag">#<span>Carnap</span></a> <a href="https://mathstodon.xyz/tags/Hilbert" class="mention hashtag" rel="tag">#<span>Hilbert</span></a> <a href="https://mathstodon.xyz/tags/Ackermann" class="mention hashtag" rel="tag">#<span>Ackermann</span></a> <a href="https://mathstodon.xyz/tags/SaundersMacLane" class="mention hashtag" rel="tag">#<span>SaundersMacLane</span></a> <br /><a href="https://mathstodon.xyz/tags/Abstraction" class="mention hashtag" rel="tag">#<span>Abstraction</span></a> <a href="https://mathstodon.xyz/tags/Analogy" class="mention hashtag" rel="tag">#<span>Analogy</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="tag">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/Diagrams" class="mention hashtag" rel="tag">#<span>Diagrams</span></a> <a href="https://mathstodon.xyz/tags/FoundationsOfMathematics" class="mention hashtag" rel="tag">#<span>FoundationsOfMathematics</span></a> <br /><a href="https://mathstodon.xyz/tags/FunctionalLogic" class="mention hashtag" rel="tag">#<span>FunctionalLogic</span></a> <a href="https://mathstodon.xyz/tags/RelationTheory" class="mention hashtag" rel="tag">#<span>RelationTheory</span></a> <a href="https://mathstodon.xyz/tags/ContinuousPredicate" class="mention hashtag" rel="tag">#<span>ContinuousPredicate</span></a> <a href="https://mathstodon.xyz/tags/HypostaticAbstraction" class="mention hashtag" rel="tag">#<span>HypostaticAbstraction</span></a> <br /><a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="tag">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/PeircesCategories" class="mention hashtag" rel="tag">#<span>PeircesCategories</span></a> <a href="https://mathstodon.xyz/tags/PropositionsAsTypes" class="mention hashtag" rel="tag">#<span>PropositionsAsTypes</span></a> <a href="https://mathstodon.xyz/tags/TypeTheory" class="mention hashtag" rel="tag">#<span>TypeTheory</span></a> <a href="https://mathstodon.xyz/tags/Universals" class="mention hashtag" rel="tag">#<span>Universals</span></a></p>
Recent searches
No recent searches
Search options
Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!
Administered by:
Server stats:
2.9Kactive users
mathstodon.xyz: About · Status · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.3.7
#universals
0 posts · 0 participants · 0 posts today
Jon Awbrey<p>Precursors Of Category Theory • 2.3<br />• <a href="https://inquiryintoinquiry.com/2024/05/26/precursors-of-category-theory-2-a/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/05</span><span class="invisible">/26/precursors-of-category-theory-2-a/</span></a></p><p>In the logic of Aristotle categories are adjuncts to reasoning whose function is to resolve ambiguities and thus to prepare equivocal signs, otherwise recalcitrant to being ruled by logic, for the application of logical laws. The example of ζωον illustrates the fact that we don't need categories to “make” generalizations so much as to “control” generalizations, to reign in abstractions and analogies which have been stretched too far.</p><p>References —</p><p>• Aristotle, “The Categories”, Harold P. Cooke (trans.), pp. 1–109 in Aristotle, Volume 1, Loeb Classical Library, William Heinemann, London, UK, 1938.</p><p>• Karpeles, Eric (2008), Paintings in Proust, Thames and Hudson, London, UK.</p><p>Resources —</p><p>Precursors Of Category Theory<br />• <a href="https://oeis.org/wiki/Precursors_Of_Category_Theory" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Precursors_Of_Ca</span><span class="invisible">tegory_Theory</span></a></p><p>Propositions As Types Analogy<br />• <a href="https://oeis.org/wiki/Propositions_As_Types_Analogy" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Propositions_As_</span><span class="invisible">Types_Analogy</span></a></p><p>Survey of Precursors Of Category Theory<br />• <a href="https://inquiryintoinquiry.com/2024/05/24/survey-of-precursors-of-category-theory-5/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/05</span><span class="invisible">/24/survey-of-precursors-of-category-theory-5/</span></a></p><p><a href="https://mathstodon.xyz/tags/Aristotle" class="mention hashtag" rel="tag">#<span>Aristotle</span></a> <a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Kant" class="mention hashtag" rel="tag">#<span>Kant</span></a> <a href="https://mathstodon.xyz/tags/Carnap" class="mention hashtag" rel="tag">#<span>Carnap</span></a> <a href="https://mathstodon.xyz/tags/Hilbert" class="mention hashtag" rel="tag">#<span>Hilbert</span></a> <a href="https://mathstodon.xyz/tags/Ackermann" class="mention hashtag" rel="tag">#<span>Ackermann</span></a> <a href="https://mathstodon.xyz/tags/SaundersMacLane" class="mention hashtag" rel="tag">#<span>SaundersMacLane</span></a> <br /><a href="https://mathstodon.xyz/tags/Abstraction" class="mention hashtag" rel="tag">#<span>Abstraction</span></a> <a href="https://mathstodon.xyz/tags/Analogy" class="mention hashtag" rel="tag">#<span>Analogy</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="tag">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/Diagrams" class="mention hashtag" rel="tag">#<span>Diagrams</span></a> <a href="https://mathstodon.xyz/tags/FoundationsOfMathematics" class="mention hashtag" rel="tag">#<span>FoundationsOfMathematics</span></a> <br /><a href="https://mathstodon.xyz/tags/FunctionalLogic" class="mention hashtag" rel="tag">#<span>FunctionalLogic</span></a> <a href="https://mathstodon.xyz/tags/RelationTheory" class="mention hashtag" rel="tag">#<span>RelationTheory</span></a> <a href="https://mathstodon.xyz/tags/ContinuousPredicate" class="mention hashtag" rel="tag">#<span>ContinuousPredicate</span></a> <a href="https://mathstodon.xyz/tags/HypostaticAbstraction" class="mention hashtag" rel="tag">#<span>HypostaticAbstraction</span></a> <br /><a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="tag">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/PeircesCategories" class="mention hashtag" rel="tag">#<span>PeircesCategories</span></a> <a href="https://mathstodon.xyz/tags/PropositionsAsTypes" class="mention hashtag" rel="tag">#<span>PropositionsAsTypes</span></a> <a href="https://mathstodon.xyz/tags/TypeTheory" class="mention hashtag" rel="tag">#<span>TypeTheory</span></a> <a href="https://mathstodon.xyz/tags/Universals" class="mention hashtag" rel="tag">#<span>Universals</span></a></p>
Jon Awbrey<p>Precursors Of Category Theory • 2.2<br />• <a href="https://inquiryintoinquiry.com/2024/05/26/precursors-of-category-theory-2-a/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/05</span><span class="invisible">/26/precursors-of-category-theory-2-a/</span></a></p><p>Aristotle —</p><p>❝Things are equivocally named, when they have the name only in common, the definition (or statement of essence) corresponding with the name being different. For instance, while a man and a portrait can properly both be called animals (ζωον), these are equivocally named. For they have the name only in common, the definitions (or statements of essence) corresponding with the name being different. For if you are asked to define what the being an animal means in the case of the man and the portrait, you give in either case a definition appropriate to that case alone.</p><p>❝Things are univocally named, when not only they bear the same name but the name means the same in each case — has the same definition corresponding. Thus a man and an ox are called animals. The name is the same in both cases; so also the statement of essence. For if you are asked what is meant by their both of them being called animals, you give that particular name in both cases the same definition.❞ (Aristotle, Categories, 1.1a1–12).</p><p>Translator's Note. ❝Ζωον in Greek had two meanings, that is to say, living creature, and, secondly, a figure or image in painting, embroidery, sculpture. We have no ambiguous noun. However, we use the word ‘living’ of portraits to mean ‘true to life’.❞</p><p><a href="https://mathstodon.xyz/tags/Aristotle" class="mention hashtag" rel="tag">#<span>Aristotle</span></a> <a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Kant" class="mention hashtag" rel="tag">#<span>Kant</span></a> <a href="https://mathstodon.xyz/tags/Carnap" class="mention hashtag" rel="tag">#<span>Carnap</span></a> <a href="https://mathstodon.xyz/tags/Hilbert" class="mention hashtag" rel="tag">#<span>Hilbert</span></a> <a href="https://mathstodon.xyz/tags/Ackermann" class="mention hashtag" rel="tag">#<span>Ackermann</span></a> <a href="https://mathstodon.xyz/tags/SaundersMacLane" class="mention hashtag" rel="tag">#<span>SaundersMacLane</span></a> <br /><a href="https://mathstodon.xyz/tags/Abstraction" class="mention hashtag" rel="tag">#<span>Abstraction</span></a> <a href="https://mathstodon.xyz/tags/Analogy" class="mention hashtag" rel="tag">#<span>Analogy</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="tag">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/Diagrams" class="mention hashtag" rel="tag">#<span>Diagrams</span></a> <a href="https://mathstodon.xyz/tags/FoundationsOfMathematics" class="mention hashtag" rel="tag">#<span>FoundationsOfMathematics</span></a> <br /><a href="https://mathstodon.xyz/tags/FunctionalLogic" class="mention hashtag" rel="tag">#<span>FunctionalLogic</span></a> <a href="https://mathstodon.xyz/tags/RelationTheory" class="mention hashtag" rel="tag">#<span>RelationTheory</span></a> <a href="https://mathstodon.xyz/tags/ContinuousPredicate" class="mention hashtag" rel="tag">#<span>ContinuousPredicate</span></a> <a href="https://mathstodon.xyz/tags/HypostaticAbstraction" class="mention hashtag" rel="tag">#<span>HypostaticAbstraction</span></a> <br /><a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="tag">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/PeircesCategories" class="mention hashtag" rel="tag">#<span>PeircesCategories</span></a> <a href="https://mathstodon.xyz/tags/PropositionsAsTypes" class="mention hashtag" rel="tag">#<span>PropositionsAsTypes</span></a> <a href="https://mathstodon.xyz/tags/TypeTheory" class="mention hashtag" rel="tag">#<span>TypeTheory</span></a> <a href="https://mathstodon.xyz/tags/Universals" class="mention hashtag" rel="tag">#<span>Universals</span></a></p>
Jon Awbrey<p>Precursors Of Category Theory • 2.1<br />• <a href="https://inquiryintoinquiry.com/2024/05/26/precursors-of-category-theory-2-a/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/05</span><span class="invisible">/26/precursors-of-category-theory-2-a/</span></a></p><p>❝Thanks to art, instead of seeing one world only, our own, we see that world multiply itself and we have at our disposal as many worlds as there are original artists …❞</p><p>— Marcel Proust</p><p>When it comes to looking for the continuities of the category concept across different systems and systematizers, we don't expect to find their kinship in the names or numbers of categories, since those are legion and their divisions deployed on widely different planes of abstraction, but in their common function.</p><p><a href="https://mathstodon.xyz/tags/Aristotle" class="mention hashtag" rel="tag">#<span>Aristotle</span></a> <a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Kant" class="mention hashtag" rel="tag">#<span>Kant</span></a> <a href="https://mathstodon.xyz/tags/Carnap" class="mention hashtag" rel="tag">#<span>Carnap</span></a> <a href="https://mathstodon.xyz/tags/Hilbert" class="mention hashtag" rel="tag">#<span>Hilbert</span></a> <a href="https://mathstodon.xyz/tags/Ackermann" class="mention hashtag" rel="tag">#<span>Ackermann</span></a> <a href="https://mathstodon.xyz/tags/SaundersMacLane" class="mention hashtag" rel="tag">#<span>SaundersMacLane</span></a> <br /><a href="https://mathstodon.xyz/tags/Abstraction" class="mention hashtag" rel="tag">#<span>Abstraction</span></a> <a href="https://mathstodon.xyz/tags/Analogy" class="mention hashtag" rel="tag">#<span>Analogy</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="tag">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/Diagrams" class="mention hashtag" rel="tag">#<span>Diagrams</span></a> <a href="https://mathstodon.xyz/tags/FoundationsOfMathematics" class="mention hashtag" rel="tag">#<span>FoundationsOfMathematics</span></a> <br /><a href="https://mathstodon.xyz/tags/FunctionalLogic" class="mention hashtag" rel="tag">#<span>FunctionalLogic</span></a> <a href="https://mathstodon.xyz/tags/RelationTheory" class="mention hashtag" rel="tag">#<span>RelationTheory</span></a> <a href="https://mathstodon.xyz/tags/ContinuousPredicate" class="mention hashtag" rel="tag">#<span>ContinuousPredicate</span></a> <a href="https://mathstodon.xyz/tags/HypostaticAbstraction" class="mention hashtag" rel="tag">#<span>HypostaticAbstraction</span></a> <br /><a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="tag">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/PeircesCategories" class="mention hashtag" rel="tag">#<span>PeircesCategories</span></a> <a href="https://mathstodon.xyz/tags/PropositionsAsTypes" class="mention hashtag" rel="tag">#<span>PropositionsAsTypes</span></a> <a href="https://mathstodon.xyz/tags/TypeTheory" class="mention hashtag" rel="tag">#<span>TypeTheory</span></a> <a href="https://mathstodon.xyz/tags/Universals" class="mention hashtag" rel="tag">#<span>Universals</span></a></p>
Jon Awbrey<p>Precursors Of Category Theory • 1<br />• <a href="https://inquiryintoinquiry.com/2024/05/25/precursors-of-category-theory-1-a/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/05</span><span class="invisible">/25/precursors-of-category-theory-1-a/</span></a></p><p>A few years ago I began a sketch on the “Precursors of Category Theory”, tracing the continuities of the category concept from Aristotle, to Kant and Peirce, through Hilbert and Ackermann, to contemporary mathematical practice. My notes on the project are still very rough and incomplete but I find myself returning to them from time to time.</p><p>Preamble —</p><p>❝Now the discovery of ideas as general as these is chiefly the willingness to make a brash or speculative abstraction, in this case supported by the pleasure of purloining words from the philosophers: “Category” from Aristotle and Kant, “Functor” from Carnap (“Logische Syntax der Sprache”), and “natural transformation” from then current informal parlance.❞</p><p>— Saunders Mac Lane • “Categories for the Working Mathematician”</p><p>Resources —</p><p>Precursors Of Category Theory<br />• <a href="https://oeis.org/wiki/Precursors_Of_Category_Theory" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Precursors_Of_Ca</span><span class="invisible">tegory_Theory</span></a></p><p>Propositions As Types Analogy<br />• <a href="https://oeis.org/wiki/Propositions_As_Types_Analogy" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Propositions_As_</span><span class="invisible">Types_Analogy</span></a></p><p>Survey of Precursors Of Category Theory<br />• <a href="https://inquiryintoinquiry.com/2024/05/24/survey-of-precursors-of-category-theory-5/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/05</span><span class="invisible">/24/survey-of-precursors-of-category-theory-5/</span></a></p><p><a href="https://mathstodon.xyz/tags/Aristotle" class="mention hashtag" rel="tag">#<span>Aristotle</span></a> <a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Kant" class="mention hashtag" rel="tag">#<span>Kant</span></a> <a href="https://mathstodon.xyz/tags/Carnap" class="mention hashtag" rel="tag">#<span>Carnap</span></a> <a href="https://mathstodon.xyz/tags/Hilbert" class="mention hashtag" rel="tag">#<span>Hilbert</span></a> <a href="https://mathstodon.xyz/tags/Ackermann" class="mention hashtag" rel="tag">#<span>Ackermann</span></a> <a href="https://mathstodon.xyz/tags/SaundersMacLane" class="mention hashtag" rel="tag">#<span>SaundersMacLane</span></a> <br /><a href="https://mathstodon.xyz/tags/Abstraction" class="mention hashtag" rel="tag">#<span>Abstraction</span></a> <a href="https://mathstodon.xyz/tags/Analogy" class="mention hashtag" rel="tag">#<span>Analogy</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="tag">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/Diagrams" class="mention hashtag" rel="tag">#<span>Diagrams</span></a> <a href="https://mathstodon.xyz/tags/FoundationsOfMathematics" class="mention hashtag" rel="tag">#<span>FoundationsOfMathematics</span></a> <br /><a href="https://mathstodon.xyz/tags/FunctionalLogic" class="mention hashtag" rel="tag">#<span>FunctionalLogic</span></a> <a href="https://mathstodon.xyz/tags/RelationTheory" class="mention hashtag" rel="tag">#<span>RelationTheory</span></a> <a href="https://mathstodon.xyz/tags/ContinuousPredicate" class="mention hashtag" rel="tag">#<span>ContinuousPredicate</span></a> <a href="https://mathstodon.xyz/tags/HypostaticAbstraction" class="mention hashtag" rel="tag">#<span>HypostaticAbstraction</span></a> <br /><a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="tag">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/PeircesCategories" class="mention hashtag" rel="tag">#<span>PeircesCategories</span></a> <a href="https://mathstodon.xyz/tags/PropositionsAsTypes" class="mention hashtag" rel="tag">#<span>PropositionsAsTypes</span></a> <a href="https://mathstodon.xyz/tags/TypeTheory" class="mention hashtag" rel="tag">#<span>TypeTheory</span></a> <a href="https://mathstodon.xyz/tags/Universals" class="mention hashtag" rel="tag">#<span>Universals</span></a></p>
Jon Awbrey<p>Survey of Precursors Of Category Theory • 5<br />• <a href="https://inquiryintoinquiry.com/2024/05/24/survey-of-precursors-of-category-theory-5/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/05</span><span class="invisible">/24/survey-of-precursors-of-category-theory-5/</span></a></p><p>A few years ago I began a sketch on the “Precursors of Category Theory”, tracing the continuities of the category concept from Aristotle, to Kant and Peirce, through Hilbert and Ackermann, to contemporary mathematical practice. A Survey of resources on the topic is given below, still very rough and incomplete, but perhaps a few will find it of use.</p><p>Background —</p><p>Precursors Of Category Theory<br />• <a href="https://oeis.org/wiki/Precursors_Of_Category_Theory" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Precursors_Of_Ca</span><span class="invisible">tegory_Theory</span></a></p><p>Propositions As Types Analogy<br />• <a href="https://oeis.org/wiki/Propositions_As_Types_Analogy" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Propositions_As_</span><span class="invisible">Types_Analogy</span></a></p><p>Blog Series —</p><p>Notes On Categories<br />• <a href="https://inquiryintoinquiry.com/2013/02/22/notes-on-categories-1/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2013/02</span><span class="invisible">/22/notes-on-categories-1/</span></a></p><p>Precursors Of Category Theory<br />1. <a href="https://inquiryintoinquiry.com/2013/12/20/precursors-of-category-theory-1/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2013/12</span><span class="invisible">/20/precursors-of-category-theory-1/</span></a><br />2. <a href="https://inquiryintoinquiry.com/2013/12/30/precursors-of-category-theory-2/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2013/12</span><span class="invisible">/30/precursors-of-category-theory-2/</span></a><br />3. <a href="https://inquiryintoinquiry.com/2014/01/03/precursors-of-category-theory-3/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2014/01</span><span class="invisible">/03/precursors-of-category-theory-3/</span></a></p><p>Precursors Of Category Theory • Discussion<br />1. <a href="https://inquiryintoinquiry.com/2020/09/13/precursors-of-category-theory-discussion-1/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2020/09</span><span class="invisible">/13/precursors-of-category-theory-discussion-1/</span></a><br />2. <a href="https://inquiryintoinquiry.com/2020/09/21/precursors-of-category-theory-discussion-2/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2020/09</span><span class="invisible">/21/precursors-of-category-theory-discussion-2/</span></a><br />3. <a href="https://inquiryintoinquiry.com/2020/09/25/precursors-of-category-theory-discussion-3/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2020/09</span><span class="invisible">/25/precursors-of-category-theory-discussion-3/</span></a></p><p>Categories à la Peirce —</p><p>C.S. Peirce • A Guess at the Riddle<br />• <a href="https://inquiryintoinquiry.com/2012/03/21/c-s-peirce-a-guess-at-the-riddle/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2012/03</span><span class="invisible">/21/c-s-peirce-a-guess-at-the-riddle/</span></a></p><p>Peirce's Categories<br />1. <a href="https://inquiryintoinquiry.com/2015/10/30/peirces-categories-1/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2015/10</span><span class="invisible">/30/peirces-categories-1/</span></a><br />2. <a href="https://inquiryintoinquiry.com/2015/10/31/peirces-categories-2/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2015/10</span><span class="invisible">/31/peirces-categories-2/</span></a><br />3. <a href="https://inquiryintoinquiry.com/2015/11/04/peirces-categories-3/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2015/11</span><span class="invisible">/04/peirces-categories-3/</span></a><br />•••<br />19. <a href="https://inquiryintoinquiry.com/2020/05/13/peirces-categories-19/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2020/05</span><span class="invisible">/13/peirces-categories-19/</span></a><br />20. <a href="https://inquiryintoinquiry.com/2020/05/14/peirces-categories-20/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2020/05</span><span class="invisible">/14/peirces-categories-20/</span></a><br />21. <a href="https://inquiryintoinquiry.com/2020/06/25/peirces-categories-21/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2020/06</span><span class="invisible">/25/peirces-categories-21/</span></a></p><p>C.S. Peirce and Category Theory<br />1. <a href="https://inquiryintoinquiry.com/2021/06/23/c-s-peirce-and-category-theory-1/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2021/06</span><span class="invisible">/23/c-s-peirce-and-category-theory-1/</span></a><br />2. <a href="https://inquiryintoinquiry.com/2021/06/24/c-s-peirce-and-category-theory-2/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2021/06</span><span class="invisible">/24/c-s-peirce-and-category-theory-2/</span></a><br />3. <a href="https://inquiryintoinquiry.com/2021/06/27/c-s-peirce-and-category-theory-3/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2021/06</span><span class="invisible">/27/c-s-peirce-and-category-theory-3/</span></a><br />4. <a href="https://inquiryintoinquiry.com/2021/06/28/c-s-peirce-and-category-theory-4/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2021/06</span><span class="invisible">/28/c-s-peirce-and-category-theory-4/</span></a><br />5. <a href="https://inquiryintoinquiry.com/2021/06/29/c-s-peirce-and-category-theory-5/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2021/06</span><span class="invisible">/29/c-s-peirce-and-category-theory-5/</span></a><br />6. <a href="https://inquiryintoinquiry.com/2021/06/30/c-s-peirce-and-category-theory-6/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2021/06</span><span class="invisible">/30/c-s-peirce-and-category-theory-6/</span></a><br />7. <a href="https://inquiryintoinquiry.com/2021/07/01/c-s-peirce-and-category-theory-7/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2021/07</span><span class="invisible">/01/c-s-peirce-and-category-theory-7/</span></a><br />8. <a href="https://inquiryintoinquiry.com/2021/07/02/c-s-peirce-and-category-theory-8/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2021/07</span><span class="invisible">/02/c-s-peirce-and-category-theory-8/</span></a></p><p><a href="https://mathstodon.xyz/tags/Aristotle" class="mention hashtag" rel="tag">#<span>Aristotle</span></a> <a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Kant" class="mention hashtag" rel="tag">#<span>Kant</span></a> <a href="https://mathstodon.xyz/tags/Carnap" class="mention hashtag" rel="tag">#<span>Carnap</span></a> <a href="https://mathstodon.xyz/tags/Hilbert" class="mention hashtag" rel="tag">#<span>Hilbert</span></a> <a href="https://mathstodon.xyz/tags/Ackermann" class="mention hashtag" rel="tag">#<span>Ackermann</span></a> <a href="https://mathstodon.xyz/tags/SaundersMacLane" class="mention hashtag" rel="tag">#<span>SaundersMacLane</span></a> <br /><a href="https://mathstodon.xyz/tags/Abstraction" class="mention hashtag" rel="tag">#<span>Abstraction</span></a> <a href="https://mathstodon.xyz/tags/Analogy" class="mention hashtag" rel="tag">#<span>Analogy</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="tag">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/Diagrams" class="mention hashtag" rel="tag">#<span>Diagrams</span></a> <a href="https://mathstodon.xyz/tags/FoundationsOfMathematics" class="mention hashtag" rel="tag">#<span>FoundationsOfMathematics</span></a> <br /><a href="https://mathstodon.xyz/tags/FunctionalLogic" class="mention hashtag" rel="tag">#<span>FunctionalLogic</span></a> <a href="https://mathstodon.xyz/tags/RelationTheory" class="mention hashtag" rel="tag">#<span>RelationTheory</span></a> <a href="https://mathstodon.xyz/tags/ContinuousPredicate" class="mention hashtag" rel="tag">#<span>ContinuousPredicate</span></a> <a href="https://mathstodon.xyz/tags/HypostaticAbstraction" class="mention hashtag" rel="tag">#<span>HypostaticAbstraction</span></a> <br /><a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="tag">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/PeircesCategories" class="mention hashtag" rel="tag">#<span>PeircesCategories</span></a> <a href="https://mathstodon.xyz/tags/PropositionsAsTypes" class="mention hashtag" rel="tag">#<span>PropositionsAsTypes</span></a> <a href="https://mathstodon.xyz/tags/TypeTheory" class="mention hashtag" rel="tag">#<span>TypeTheory</span></a> <a href="https://mathstodon.xyz/tags/Universals" class="mention hashtag" rel="tag">#<span>Universals</span></a></p>
formuchdeliberation<p>Usually ascribed to John Scotus Eriugena is the view that forms of species and genera exist in reality separately from particulars while each particular participates in that one and the same form... Read more at philosophy indefinitely...<br><a href="https://mastodon.world/tags/philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>philosophy</span></a> <a href="https://mastodon.world/tags/universals" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>universals</span></a> <a href="https://mastodon.world/tags/epistemology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>epistemology</span></a> <a href="https://mastodon.world/tags/historyofphilosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>historyofphilosophy</span></a> <a href="https://mastodon.world/tags/Boethius" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Boethius</span></a> <a href="https://mastodon.world/tags/particulars" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>particulars</span></a> <a href="https://mastodon.world/tags/conceptualism" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>conceptualism</span></a> <a href="https://mastodon.world/tags/platonism" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>platonism</span></a> <a href="https://mastodon.world/tags/theoryofforms" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theoryofforms</span></a> <a href="https://mastodon.world/tags/medievalphilosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>medievalphilosophy</span></a> <a href="https://philosophyindefinitely.wordpress.com/2019/09/04/the-problem-of-universals/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">philosophyindefinitely.wordpre</span><span class="invisible">ss.com/2019/09/04/the-problem-of-universals/</span></a></p>
Jim Donegan 🎵 ✅<p><a href="https://mastodon.scot/tags/GeorgeLakoff" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>GeorgeLakoff</span></a> - All <a href="https://mastodon.scot/tags/Reality" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Reality</span></a> Consists of What <a href="https://mastodon.scot/tags/Things" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Things</span></a>? </p><p><a href="https://www.youtube.com/watch?v=kzKPHfWTrSg" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">youtube.com/watch?v=kzKPHfWTrS</span><span class="invisible">g</span></a> </p><p><a href="https://mastodon.scot/tags/Philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Philosophy</span></a> <a href="https://mastodon.scot/tags/Metaphysics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Metaphysics</span></a> <a href="https://mastodon.scot/tags/Realism" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Realism</span></a> <a href="https://mastodon.scot/tags/Categories" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Categories</span></a> <a href="https://mastodon.scot/tags/Objects" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Objects</span></a> <a href="https://mastodon.scot/tags/UNiversals" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>UNiversals</span></a> <a href="https://mastodon.scot/tags/Numbers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Numbers</span></a> <a href="https://mastodon.scot/tags/Concepts" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Concepts</span></a> <a href="https://mastodon.scot/tags/Freedom" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Freedom</span></a> <a href="https://mastodon.scot/tags/FreeWill" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FreeWill</span></a> <a href="https://mastodon.scot/tags/Time" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Time</span></a> <a href="https://mastodon.scot/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mastodon.scot/tags/Maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Maths</span></a> <a href="https://mastodon.scot/tags/Mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mathematics</span></a> <a href="https://mastodon.scot/tags/Multiverse" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Multiverse</span></a> <a href="https://mastodon.scot/tags/Mental" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mental</span></a> <a href="https://mastodon.scot/tags/Physical" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Physical</span></a> <a href="https://mastodon.scot/tags/Materialism" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Materialism</span></a> <a href="https://mastodon.scot/tags/Experience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Experience</span></a> <a href="https://mastodon.scot/tags/CloserToTruth" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CloserToTruth</span></a> <a href="https://mastodon.scot/tags/RobertKuhn" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RobertKuhn</span></a></p>
Jon Awbrey<p>Survey of Precursors Of Category Theory • 4<br />• <a href="http://inquiryintoinquiry.com/2023/08/01/survey-of-precursors-of-category-theory-4/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">http://</span><span class="ellipsis">inquiryintoinquiry.com/2023/08</span><span class="invisible">/01/survey-of-precursors-of-category-theory-4/</span></a></p><p>A few years ago I began a sketch on the “Precursors of Category Theory”, tracing the continuities of the category concept from Aristotle, to Kant and Peirce, through Hilbert and Ackermann, to contemporary mathematical practice. A Survey of resources on the topic is given below, still very rough and incomplete, but perhaps a few will find it of use.</p><p>Background —</p><p>Precursors Of Category Theory<br />• <a href="https://oeis.org/wiki/Precursors_Of_Category_Theory" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Precursors_Of_Ca</span><span class="invisible">tegory_Theory</span></a></p><p>Propositions As Types Analogy<br />• <a href="https://oeis.org/wiki/Propositions_As_Types_Analogy" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Propositions_As_</span><span class="invisible">Types_Analogy</span></a></p><p>Blog Series —</p><p>Notes On Categories<br />• <a href="https://inquiryintoinquiry.com/2013/02/22/notes-on-categories-1/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2013/02</span><span class="invisible">/22/notes-on-categories-1/</span></a></p><p>Precursors Of Category Theory<br />1. <a href="https://inquiryintoinquiry.com/2013/12/20/precursors-of-category-theory-1/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2013/12</span><span class="invisible">/20/precursors-of-category-theory-1/</span></a><br />2. <a href="https://inquiryintoinquiry.com/2013/12/30/precursors-of-category-theory-2/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2013/12</span><span class="invisible">/30/precursors-of-category-theory-2/</span></a><br />3. <a href="https://inquiryintoinquiry.com/2014/01/03/precursors-of-category-theory-3/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2014/01</span><span class="invisible">/03/precursors-of-category-theory-3/</span></a></p><p>Precursors Of Category Theory • Discussion<br />1. <a href="https://inquiryintoinquiry.com/2020/09/13/precursors-of-category-theory-discussion-1/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2020/09</span><span class="invisible">/13/precursors-of-category-theory-discussion-1/</span></a><br />2. <a href="https://inquiryintoinquiry.com/2020/09/21/precursors-of-category-theory-discussion-2/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2020/09</span><span class="invisible">/21/precursors-of-category-theory-discussion-2/</span></a><br />3. <a href="https://inquiryintoinquiry.com/2020/09/25/precursors-of-category-theory-discussion-3/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2020/09</span><span class="invisible">/25/precursors-of-category-theory-discussion-3/</span></a></p><p>Categories à la Peirce —</p><p>C.S. Peirce • A Guess at the Riddle<br />• <a href="https://inquiryintoinquiry.com/2012/03/21/c-s-peirce-a-guess-at-the-riddle/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2012/03</span><span class="invisible">/21/c-s-peirce-a-guess-at-the-riddle/</span></a></p><p>Peirce's Categories<br />1. <a href="https://inquiryintoinquiry.com/2015/10/30/peirces-categories-1/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2015/10</span><span class="invisible">/30/peirces-categories-1/</span></a><br />2. <a href="https://inquiryintoinquiry.com/2015/10/31/peirces-categories-2/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2015/10</span><span class="invisible">/31/peirces-categories-2/</span></a><br />3. <a href="https://inquiryintoinquiry.com/2015/11/04/peirces-categories-3/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2015/11</span><span class="invisible">/04/peirces-categories-3/</span></a><br />•••<br />19. <a href="https://inquiryintoinquiry.com/2020/05/13/peirces-categories-19/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2020/05</span><span class="invisible">/13/peirces-categories-19/</span></a><br />20. <a href="https://inquiryintoinquiry.com/2020/05/14/peirces-categories-20/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2020/05</span><span class="invisible">/14/peirces-categories-20/</span></a><br />21. <a href="https://inquiryintoinquiry.com/2020/06/25/peirces-categories-21/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2020/06</span><span class="invisible">/25/peirces-categories-21/</span></a></p><p><a href="https://mathstodon.xyz/tags/Aristotle" class="mention hashtag" rel="tag">#<span>Aristotle</span></a> <a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Kant" class="mention hashtag" rel="tag">#<span>Kant</span></a> <a href="https://mathstodon.xyz/tags/Carnap" class="mention hashtag" rel="tag">#<span>Carnap</span></a> <a href="https://mathstodon.xyz/tags/Hilbert" class="mention hashtag" rel="tag">#<span>Hilbert</span></a> <a href="https://mathstodon.xyz/tags/Ackermann" class="mention hashtag" rel="tag">#<span>Ackermann</span></a> <a href="https://mathstodon.xyz/tags/SaundersMacLane" class="mention hashtag" rel="tag">#<span>SaundersMacLane</span></a> <br /><a href="https://mathstodon.xyz/tags/Abstraction" class="mention hashtag" rel="tag">#<span>Abstraction</span></a> <a href="https://mathstodon.xyz/tags/Analogy" class="mention hashtag" rel="tag">#<span>Analogy</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="tag">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/Diagrams" class="mention hashtag" rel="tag">#<span>Diagrams</span></a> <a href="https://mathstodon.xyz/tags/FoundationsOfMathematics" class="mention hashtag" rel="tag">#<span>FoundationsOfMathematics</span></a> <br /><a href="https://mathstodon.xyz/tags/FunctionalLogic" class="mention hashtag" rel="tag">#<span>FunctionalLogic</span></a> <a href="https://mathstodon.xyz/tags/RelationTheory" class="mention hashtag" rel="tag">#<span>RelationTheory</span></a> <a href="https://mathstodon.xyz/tags/ContinuousPredicate" class="mention hashtag" rel="tag">#<span>ContinuousPredicate</span></a> <a href="https://mathstodon.xyz/tags/HypostaticAbstraction" class="mention hashtag" rel="tag">#<span>HypostaticAbstraction</span></a> <br /><a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="tag">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/PeircesCategories" class="mention hashtag" rel="tag">#<span>PeircesCategories</span></a> <a href="https://mathstodon.xyz/tags/PropositionsAsTypes" class="mention hashtag" rel="tag">#<span>PropositionsAsTypes</span></a> <a href="https://mathstodon.xyz/tags/TypeTheory" class="mention hashtag" rel="tag">#<span>TypeTheory</span></a> <a href="https://mathstodon.xyz/tags/Universals" class="mention hashtag" rel="tag">#<span>Universals</span></a></p>
Friedrich Wilhelm Grafe<p><span class="h-card"><a href="https://a.gup.pe/u/philosophy" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>philosophy</span></a></span> <br><span class="h-card"><a href="https://a.gup.pe/u/philosophie" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>philosophie</span></a></span></p><p><span class="h-card"><a href="https://writing.exchange/@bryankam" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>bryankam</span></a></span> </p><p>there's an important paper wrt <a href="https://fediphilosophy.org/tags/knowledge" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>knowledge</span></a> by <a href="https://fediphilosophy.org/tags/universals" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>universals</span></a> in <a href="https://fediphilosophy.org/tags/Spinoza" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Spinoza</span></a> by <a href="https://fediphilosophy.org/tags/YitzakMelamed" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>YitzakMelamed</span></a> (jhu)<br>"Spinoza’s Critique of Gersonides’ view on Divine Omniscience<br>(07.10.16)"<br>[ but unfortunately can't say whether and where published ]<br>where in "Part III: Spinoza Turns the Table" Melamed points to respective passages in "Cogitata Metaphysica", and in 'Short Treatise'</p>
SearchLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLoginDrag & drop to upload