mastodon.world is one of the many independent Mastodon servers you can use to participate in the fediverse.
Generic Mastodon server for anyone to use.

Server stats:

9.4K
active users

#logicassemiotics

0 posts0 participants0 posts today
Jon Awbrey<p>Survey of Semiotics, Semiosis, Sign Relations • 5<br>• <a href="https://inquiryintoinquiry.com/2024/01/26/survey-of-semiotics-semiosis-sign-relations-5/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/01</span><span class="invisible">/26/survey-of-semiotics-semiosis-sign-relations-5/</span></a></p><p>C.S. Peirce defines “logic” as “formal semiotic”, using “formal” to distinguish the role of logic as a normative science, over and above the descriptive study of signs and their role in wider fields of play. Understanding logic as Peirce understands it thus requires a companion study of semiotics, semiosis, and sign relations.</p><p>What follows is a Survey of blog and wiki resources on the theory of signs, variously known as “semeiotic” or “semiotics”, and the actions referred to as “semiosis” which transform signs among themselves in relation to their objects, all as based on C.S. Peirce's concept of triadic sign relations.</p><p>Please follow the above link for the full set of resources.<br>Articles and blog series on the core ideas are linked below.</p><p>Elements —</p><p>• Semeiotic ( <a href="https://oeis.org/wiki/Semeiotic" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">oeis.org/wiki/Semeiotic</span><span class="invisible"></span></a> )</p><p>• Sign Relations ( <a href="https://oeis.org/wiki/Sign_relation" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">oeis.org/wiki/Sign_relation</span><span class="invisible"></span></a> )</p><p>Sources —</p><p>C.S. Peirce • On the Definition of Logic<br>• <a href="https://inquiryintoinquiry.com/2012/06/01/c-s-peirce-on-the-definition-of-logic/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2012/06</span><span class="invisible">/01/c-s-peirce-on-the-definition-of-logic/</span></a></p><p>C.S. Peirce • Logic as Semiotic<br>• <a href="https://inquiryintoinquiry.com/2012/06/04/c-s-peirce-logic-as-semiotic/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2012/06</span><span class="invisible">/04/c-s-peirce-logic-as-semiotic/</span></a></p><p>C.S. Peirce • Objective Logic<br>• <a href="https://inquiryintoinquiry.com/2012/03/09/c-s-peirce-objective-logic/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2012/03</span><span class="invisible">/09/c-s-peirce-objective-logic/</span></a></p><p>Blog Series —</p><p>• Semeiotic ( <a href="https://inquiryintoinquiry.com/2008/07/30/semeiotic/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2008/07</span><span class="invisible">/30/semeiotic/</span></a> )</p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicAsSemiotics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicAsSemiotics</span></a> <a href="https://mathstodon.xyz/tags/Semeiotic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Semeiotic</span></a> <a href="https://mathstodon.xyz/tags/Semiotics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Semiotics</span></a> <a href="https://mathstodon.xyz/tags/Semiosis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Semiosis</span></a> <br><a href="https://mathstodon.xyz/tags/RelationTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RelationTheory</span></a> <a href="https://mathstodon.xyz/tags/InterpretiveFrameworks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>InterpretiveFrameworks</span></a> <a href="https://mathstodon.xyz/tags/ObjectiveFrameworks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ObjectiveFrameworks</span></a> <br><a href="https://mathstodon.xyz/tags/SystemsOfInterpretation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SystemsOfInterpretation</span></a> <a href="https://mathstodon.xyz/tags/SignRelations" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SignRelations</span></a> <a href="https://mathstodon.xyz/tags/TriadicRelations" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TriadicRelations</span></a></p>
Jon Awbrey<p>Survey of Semiotics, Semiosis, Sign Relations • 4<br>• <a href="https://inquiryintoinquiry.com/2023/04/05/survey-of-semiotics-semiosis-sign-relations-4/" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2023/04</span><span class="invisible">/05/survey-of-semiotics-semiosis-sign-relations-4/</span></a></p><p>C.S. Peirce defines “logic” as “formal semiotic”, using “formal” to distinguish the role of logic as a normative science, over and above the more descriptive study of signs in the wild and their antics at large. Understanding logic as Peirce understood it therefore requires a companion study of semiotics, semiosis, and sign relations.</p><p>This is a Survey of blog and wiki resources on the theory of signs, also known as “semeiotic” or “semiotics”, and the actions referred to as “semiosis” which transform signs among themselves in relation to their objects, all as based on C.S. Peirce's concept of triadic sign relations.</p><p>Please follow the above link for the full set of resources.<br>Articles and blog series on the core ideas are linked below.</p><p>Elements —</p><p>• Semeiotic ( <a href="https://oeis.org/wiki/Semeiotic" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="">oeis.org/wiki/Semeiotic</span><span class="invisible"></span></a> )</p><p>• Sign Relations ( <a href="https://oeis.org/wiki/Sign_relation" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="">oeis.org/wiki/Sign_relation</span><span class="invisible"></span></a> )</p><p>Sources —</p><p>C.S. Peirce • On the Definition of Logic<br>• <a href="https://inquiryintoinquiry.com/2012/06/01/c-s-peirce-on-the-definition-of-logic/" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2012/06</span><span class="invisible">/01/c-s-peirce-on-the-definition-of-logic/</span></a></p><p>C.S. Peirce • Logic as Semiotic<br>• <a href="https://inquiryintoinquiry.com/2012/06/04/c-s-peirce-logic-as-semiotic/" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2012/06</span><span class="invisible">/04/c-s-peirce-logic-as-semiotic/</span></a></p><p>C.S. Peirce • Objective Logic<br>• <a href="https://inquiryintoinquiry.com/2012/03/09/c-s-peirce-objective-logic/" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2012/03</span><span class="invisible">/09/c-s-peirce-objective-logic/</span></a></p><p>Blog Series —</p><p>• Semeiotic ( <a href="https://inquiryintoinquiry.com/2008/07/30/semeiotic/" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2008/07</span><span class="invisible">/30/semeiotic/</span></a> )</p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicAsSemiotics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicAsSemiotics</span></a> <a href="https://mathstodon.xyz/tags/Semeiotic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Semeiotic</span></a> <a href="https://mathstodon.xyz/tags/Semiotics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Semiotics</span></a> <a href="https://mathstodon.xyz/tags/Semiosis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Semiosis</span></a><br><a href="https://mathstodon.xyz/tags/RelationTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RelationTheory</span></a> <a href="https://mathstodon.xyz/tags/InterpretiveFrameworks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>InterpretiveFrameworks</span></a> <a href="https://mathstodon.xyz/tags/ObjectiveFrameworks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ObjectiveFrameworks</span></a><br><a href="https://mathstodon.xyz/tags/SystemsOfInterpretation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SystemsOfInterpretation</span></a> <a href="https://mathstodon.xyz/tags/SignRelations" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SignRelations</span></a> <a href="https://mathstodon.xyz/tags/TriadicRelations" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TriadicRelations</span></a></p>
Jon Awbrey<p>Survey of Animated Logical Graphs<br>• <a href="https://inquiryintoinquiry.com/2023/03/28/survey-of-animated-logical-graphs-5/" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2023/03</span><span class="invisible">/28/survey-of-animated-logical-graphs-5/</span></a></p><p>This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph-theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications.</p><p>Please follow the above link for the full set of resources. A couple of beginning pieces are linked below.</p><p>Logical Graphs • Introduction<br>• <a href="https://inquiryintoinquiry.com/2008/07/29/logical-graphs-introduction/" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2008/07</span><span class="invisible">/29/logical-graphs-introduction/</span></a></p><p>Logical Graphs • Formal Development<br>• <a href="https://inquiryintoinquiry.com/2008/09/19/logical-graphs-formal-development/" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2008/09</span><span class="invisible">/19/logical-graphs-formal-development/</span></a></p><p>I've been thinking about ways to connect the species of logical graphs I've been developing out of Peirce's entitative and existential graphs with the styles of logical graphs envisioned in the RDF Surfaces group.</p><p>One thing arising out of those reflections was I began to tease apart two layers of structure, the one involved in conceiving and computing logical formulas and the other employed in displaying the end results.</p><p>At any rate, I'll explore that theme further as we go.</p><p>For now, the Survey page linked above will provide an overview of work already done.</p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/EntitativeGraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>EntitativeGraphs</span></a> <a href="https://mathstodon.xyz/tags/ExistentialGraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ExistentialGraphs</span></a><br><a href="https://mathstodon.xyz/tags/SpencerBrown" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SpencerBrown</span></a> <a href="https://mathstodon.xyz/tags/LawsOfForm" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LawsOfForm</span></a> <a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/LogicAsSemiotics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicAsSemiotics</span></a><br><a href="https://mathstodon.xyz/tags/RelationTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RelationTheory</span></a> <a href="https://mathstodon.xyz/tags/SignRelations" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SignRelations</span></a> <a href="https://mathstodon.xyz/tags/Semiotics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Semiotics</span></a> <a href="https://mathstodon.xyz/tags/W3C" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>W3C</span></a> <a href="https://mathstodon.xyz/tags/RDF" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RDF</span></a> <a href="https://mathstodon.xyz/tags/RDFSurfaces" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RDFSurfaces</span></a></p>
Jon Awbrey<p>Survey of Animated Logical Graphs<br>• <a href="https://inquiryintoinquiry.com/2023/03/28/survey-of-animated-logical-graphs-5/" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2023/03</span><span class="invisible">/28/survey-of-animated-logical-graphs-5/</span></a></p><p>This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph-theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications.</p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicalGraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicalGraphs</span></a> <a href="https://mathstodon.xyz/tags/EntitativeGraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>EntitativeGraphs</span></a> <a href="https://mathstodon.xyz/tags/ExistentialGraphs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ExistentialGraphs</span></a><br><a href="https://mathstodon.xyz/tags/Boole" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Boole</span></a> <a href="https://mathstodon.xyz/tags/BooleanAlgebra" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BooleanAlgebra</span></a> <a href="https://mathstodon.xyz/tags/BooleanFunctions" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BooleanFunctions</span></a> <a href="https://mathstodon.xyz/tags/ModelTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ModelTheory</span></a> <a href="https://mathstodon.xyz/tags/ProofTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProofTheory</span></a><br><a href="https://mathstodon.xyz/tags/SpencerBrown" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SpencerBrown</span></a> <a href="https://mathstodon.xyz/tags/LawsOfForm" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LawsOfForm</span></a> <a href="https://mathstodon.xyz/tags/PropositionalCalculus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PropositionalCalculus</span></a> <a href="https://mathstodon.xyz/tags/LogicAsSemiotics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LogicAsSemiotics</span></a></p>