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!

Server stats:

2.8K
active users

#inquiry

0 posts0 participants0 posts today
DoomsdaysCW<p><a href="https://kolektiva.social/tags/Harvard" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Harvard</span></a> professors sue <a href="https://kolektiva.social/tags/Trump" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Trump</span></a> administration over funding cut threats</p><p>by Katie Cole, April 14, 2025, <a href="https://kolektiva.social/tags/WBUR" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>WBUR</span></a></p><p>"The Harvard chapter of the American Association of University Professors sued the Trump administration Friday over what they call an 'unlawful and unprecedented' attempt to use federal funding cuts to restrict <a href="https://kolektiva.social/tags/FreeSpeech" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FreeSpeech</span></a>.</p><p>"The <a href="https://kolektiva.social/tags/DepartmentOfEducation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DepartmentOfEducation</span></a> announced in late March that it would review $8.7 billion in federal grants and contacts given to Harvard, alleging that the school failed to prevent <a href="https://kolektiva.social/tags/antisemitic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>antisemitic</span></a> discrimination on campus.</p><p>"The Trump administration then unveiled a broad set of demands on April 4 the university must agree to in order to keep getting federal funding, including cutting all diversity, equity and inclusion programming, and modifying any programming and departments that 'fuel antisemitic harassment.' The administration gave Columbia University a similar set of demands in March, which the school agreed to.</p><p>"The lawsuit by the professors' group, filed in <a href="https://kolektiva.social/tags/Massachusetts" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Massachusetts</span></a> federal court, alleges that the administration's federal funding review violates the <a href="https://kolektiva.social/tags/TitleVI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TitleVI</span></a> of the <a href="https://kolektiva.social/tags/CivilRightsAct" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CivilRightsAct</span></a>, which prohibits discrimination in programs that receive federal funds. The court filing says the law requires specific procedures to cut federal funds and that the Trump administration has not taken any of those steps.</p><p>"The group said in a press release that the administration's actions are in effort to create a chilling effect among universities and faculty to stop speech that the president does not like.</p><p>" 'Eliminating discrimination and protecting all students is important,' said Nikolas Bowie, a Harvard law professor and the secretary-treasurer of the school's <a href="https://kolektiva.social/tags/AAUP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AAUP</span></a> chapter, in a statement. 'But Trump is defying the Civil Rights Act, terrifying students, and illegally holding hostage grants for hospitals and scientific research so he can accomplish his real goal of punishing academics for our politics.'</p><p>"The lawsuit says that the actions by the administration have 'already caused severe and irreparable harm by halting <a href="https://kolektiva.social/tags/academic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>academic</span></a> <a href="https://kolektiva.social/tags/research" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>research</span></a> and <a href="https://kolektiva.social/tags/inquiry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>inquiry</span></a> at Harvard.'</p><p>"This is the second suit that the Harvard AAUP chapter has filed against the Trump administration this year. The first was a joint suit with other chapters, including one from Columbia, over federal efforts to deport <a href="https://kolektiva.social/tags/MahmoudKhalil" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MahmoudKhalil</span></a> and students that engaged in <a href="https://kolektiva.social/tags/ProPalestinian" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProPalestinian</span></a> <a href="https://kolektiva.social/tags/activism" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>activism</span></a>."</p><p><a href="https://www.wbur.org/news/2025/04/14/harvard-aaup-trump-funding-cuts-lawsuit" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">wbur.org/news/2025/04/14/harva</span><span class="invisible">rd-aaup-trump-funding-cuts-lawsuit</span></a></p><p><a href="https://kolektiva.social/tags/SilencingDissent" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SilencingDissent</span></a> <a href="https://kolektiva.social/tags/CharacteristicsOfFascism" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CharacteristicsOfFascism</span></a> <a href="https://kolektiva.social/tags/Fascism" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Fascism</span></a> <a href="https://kolektiva.social/tags/Authoritarian" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Authoritarian</span></a> <a href="https://kolektiva.social/tags/Authoritarianism" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Authoritarianism</span></a> <a href="https://kolektiva.social/tags/BibiIsAWarCriminal" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BibiIsAWarCriminal</span></a> <a href="https://kolektiva.social/tags/FreeMahmoudKhalil" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FreeMahmoudKhalil</span></a> <a href="https://kolektiva.social/tags/FreePalestine" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FreePalestine</span></a> <a href="https://kolektiva.social/tags/AcademicFreedom" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AcademicFreedom</span></a> <a href="https://kolektiva.social/tags/FreeSpeech" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FreeSpeech</span></a> <a href="https://kolektiva.social/tags/TrumpIsABully" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TrumpIsABully</span></a> <a href="https://kolektiva.social/tags/DEI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DEI</span></a> <a href="https://kolektiva.social/tags/Erasure" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Erasure</span></a> <a href="https://kolektiva.social/tags/Censorship" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Censorship</span></a></p>
seni<p>Questions - Answers - Teaching <a href="https://www.10publications.com/blog/how-to-teach-the-art-of-inquiry" rel="nofollow noopener noreferrer" target="_blank">www.10publications.com/blog/how-to-...</a> <a class="hashtag" href="https://bsky.app/search?q=%23educatuin" rel="nofollow noopener noreferrer" target="_blank">#educatuin</a> <a class="hashtag" href="https://bsky.app/search?q=%23teachers" rel="nofollow noopener noreferrer" target="_blank">#teachers</a> <a class="hashtag" href="https://bsky.app/search?q=%23inquiry" rel="nofollow noopener noreferrer" target="_blank">#inquiry</a><br><br><a href="https://www.10publications.com/blog/how-to-teach-the-art-of-inquiry" rel="nofollow noopener noreferrer" target="_blank">How to teach the art of inquir...</a></p>
Jon Awbrey<p>C.S. Peirce • Logic of Number (MS 229)<br />• <a href="https://inquiryintoinquiry.com/2012/09/01/c-s-peirce-logic-of-number-ms-229/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2012/09</span><span class="invisible">/01/c-s-peirce-logic-of-number-ms-229/</span></a></p><p>❝All other sciences without exception depend upon the principles of mathematics; and mathematics borrows nothing from them but hints.❞</p><p>— C.S. Peirce </p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Inquiry" class="mention hashtag" rel="tag">#<span>Inquiry</span></a> <a href="https://mathstodon.xyz/tags/Mathematics" class="mention hashtag" rel="tag">#<span>Mathematics</span></a> <a href="https://mathstodon.xyz/tags/Science" class="mention hashtag" rel="tag">#<span>Science</span></a> <br /><a href="https://mathstodon.xyz/tags/FoundationsOfMathematics" class="mention hashtag" rel="tag">#<span>FoundationsOfMathematics</span></a> <a href="https://mathstodon.xyz/tags/Pragmatism" class="mention hashtag" rel="tag">#<span>Pragmatism</span></a></p>
Jon Awbrey<p>Higher Order Sign Relations • Discussion 1<br />• <a href="https://inquiryintoinquiry.com/2025/03/27/higher-order-sign-relations-discussion-1-a/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2025/03</span><span class="invisible">/27/higher-order-sign-relations-discussion-1-a/</span></a></p><p>Re: FB | Charles S. Peirce Society • John Corcoran<br />• <a href="https://www.facebook.com/groups/peircesociety/posts/1768975423238442/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">facebook.com/groups/peircesoci</span><span class="invisible">ety/posts/1768975423238442/</span></a></p><p>Questions about the proper treatment of use and mention from the standpoint of Peirce’s theory of signs came up recently in discussions on Facebook. In pragmatic semiotics the trade‑off between “signs-of-objects” and “signs-as-objects” opens up the wider space of Higher Order Sign Relations. In previous work on Inquiry Driven Systems I introduced the subject in the following way.</p><p>When interpreters reflect on their use of signs they require an appropriate technical language in which to pursue their reflections. They need signs referring to sign relations, signs referring to elements and components of sign relations, and signs referring to properties and classes of sign relations. The orders of signs developing as reflection evolves can be organized under the heading of “higher order signs” and the reflective sign relations involving them can be referred to as “higher order sign relations”.</p><p>References —</p><p>John Corcoran<br />• <a href="https://johncorcoran.academia.edu/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="">johncorcoran.academia.edu/</span><span class="invisible"></span></a></p><p>Schemata : The Concept of Schema in the History of Logic<br />• <a href="https://www.academia.edu/12691868/SCHEMATA_THE_CONCEPT_OF_SCHEMA_IN_THE_HISTORY_OF_LOGIC" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">academia.edu/12691868/SCHEMATA</span><span class="invisible">_THE_CONCEPT_OF_SCHEMA_IN_THE_HISTORY_OF_LOGIC</span></a></p><p>Use And Mention, Use Without Mention, Mention Without Use<br />• <a href="https://www.academia.edu/s/ea64a3484e/schemata#comment_525151" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">academia.edu/s/ea64a3484e/sche</span><span class="invisible">mata#comment_525151</span></a></p><p>Resources —</p><p>Higher Order Sign Relations<br />• <a href="https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Inquiry_Driven_S</span><span class="invisible">ystems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations</span></a> </p><p>Survey of Inquiry Driven Systems<br />• <a href="https://inquiryintoinquiry.com/2024/02/28/survey-of-inquiry-driven-systems-6/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/02</span><span class="invisible">/28/survey-of-inquiry-driven-systems-6/</span></a></p><p>Survey of Semiotics, Semiosis, Sign Relations<br />• <a href="https://inquiryintoinquiry.com/2024/01/26/survey-of-semiotics-semiosis-sign-relations-5/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><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><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Inquiry" class="mention hashtag" rel="tag">#<span>Inquiry</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Mathematics" class="mention hashtag" rel="tag">#<span>Mathematics</span></a> <a href="https://mathstodon.xyz/tags/Reflection" class="mention hashtag" rel="tag">#<span>Reflection</span></a> <br /><a href="https://mathstodon.xyz/tags/Semiotics" class="mention hashtag" rel="tag">#<span>Semiotics</span></a> <a href="https://mathstodon.xyz/tags/SignRelations" class="mention hashtag" rel="tag">#<span>SignRelations</span></a> <a href="https://mathstodon.xyz/tags/HigherOrderSignRelations" class="mention hashtag" rel="tag">#<span>HigherOrderSignRelations</span></a> <br /><a href="https://mathstodon.xyz/tags/InquiryDrivenSystems" class="mention hashtag" rel="tag">#<span>InquiryDrivenSystems</span></a> <a href="https://mathstodon.xyz/tags/ReflectiveInterpretiveFrameworks" class="mention hashtag" rel="tag">#<span>ReflectiveInterpretiveFrameworks</span></a> <br /><a href="https://mathstodon.xyz/tags/Arithmetization" class="mention hashtag" rel="tag">#<span>Arithmetization</span></a> <a href="https://mathstodon.xyz/tags/G%C3%B6delNumbers" class="mention hashtag" rel="tag">#<span>GödelNumbers</span></a> <a href="https://mathstodon.xyz/tags/Quotation" class="mention hashtag" rel="tag">#<span>Quotation</span></a> <a href="https://mathstodon.xyz/tags/UseAndMention" class="mention hashtag" rel="tag">#<span>UseAndMention</span></a></p>
Inquiry Into Inquiry<p><strong>Higher Order Sign Relations • Discussion 1</strong></p><p>Re: <a href="https://www.facebook.com/groups/peircesociety" rel="nofollow noopener noreferrer" target="_blank">FB | Charles S. Peirce Society</a> • <a href="https://www.facebook.com/groups/peircesociety/posts/1768975423238442/" rel="nofollow noopener noreferrer" target="_blank">John Corcoran</a></p><p>Questions about the proper treatment of use and mention from the standpoint of Peirce’s theory of signs came up recently in discussions on Facebook.&nbsp; In pragmatic semiotics the trade‑off between “signs-of-objects” and “signs-as-objects” opens up the wider space of <i>higher order sign relations</i>.&nbsp; In previous work on Inquiry Driven Systems I introduced the subject in the following way.</p><p>When interpreters reflect on their use of signs they require an appropriate technical language in which to pursue their reflections.&nbsp; They need signs referring to sign relations, signs referring to elements and components of sign relations, and signs referring to properties and classes of sign&nbsp;relations.&nbsp; The orders of signs developing as reflection evolves can be organized under the heading of “higher order signs” and the reflective sign relations involving them can be referred to as “higher order sign relations”.</p><p><strong>References</strong></p><ul><li><a href="https://johncorcoran.academia.edu/" rel="nofollow noopener noreferrer" target="_blank">John Corcoran</a></li><ul><li><a href="https://www.academia.edu/12691868/SCHEMATA_THE_CONCEPT_OF_SCHEMA_IN_THE_HISTORY_OF_LOGIC" rel="nofollow noopener noreferrer" target="_blank">Schemata : The Concept of Schema in the History of Logic</a></li><li><a href="https://www.academia.edu/s/ea64a3484e/schemata#comment_525151" rel="nofollow noopener noreferrer" target="_blank">Use And Mention, Use Without Mention, Mention Without Use</a></li></ul></ul><p><strong>Resources</strong></p><ul><li><a href="https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview" rel="nofollow noopener noreferrer" target="_blank">Inquiry Driven Systems</a></li><ul><li><a href="https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_10#Reflective_Interpretive_Frameworks" rel="nofollow noopener noreferrer" target="_blank">Reflective Interpretive Frameworks</a></li><ul><li><a href="https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations" rel="nofollow noopener noreferrer" target="_blank">Higher Order Sign Relations</a></li></ul></ul><li><a href="https://inquiryintoinquiry.com/2024/02/28/survey-of-inquiry-driven-systems-6/" rel="nofollow noopener noreferrer" target="_blank">Survey of Inquiry Driven Systems</a></li><li><a href="https://inquiryintoinquiry.com/2024/01/26/survey-of-semiotics-semiosis-sign-relations-5/" rel="nofollow noopener noreferrer" target="_blank">Survey of Semiotics, Semiosis, Sign Relations</a></li></ul><p>cc: <a href="https://www.academia.edu/community/lQq2R0" rel="nofollow noopener noreferrer" target="_blank">Academia.edu</a> • BlueSky • <a href="https://groups.io/g/lawsofform/topic/higher_order_sign_relations/111962888" rel="nofollow noopener noreferrer" target="_blank">Laws of Form</a> • <a href="https://mathstodon.xyz/@Inquiry/114241756103141345" rel="nofollow noopener noreferrer" target="_blank">Mathstodon</a> • <a href="https://www.researchgate.net/post/Higher_Order_Sign_Relations_Discussion" rel="nofollow noopener noreferrer" target="_blank">Research Gate</a><br>cc: <a href="https://lists.cs.uni-kassel.de/hyperkitty/list/cg@lists.iccs-conference.org/thread/CLSNF43X3NLU5TLBPE6VYTPAEY273T2H/" rel="nofollow noopener noreferrer" target="_blank">Conceptual Graphs</a> • <a href="https://groups.google.com/g/cybcom/c/LtEXddlFovg" rel="nofollow noopener noreferrer" target="_blank">Cybernetics</a> • <a href="https://groups.google.com/g/structural-modeling/c/9-ReYmpRH1g" rel="nofollow noopener noreferrer" target="_blank">Structural Modeling</a> • <a href="https://groups.google.com/g/syssciwg/c/Nrfvfrt48vM" rel="nofollow noopener noreferrer" target="_blank">Systems Science</a></p><p><a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/arithmetization/" target="_blank">#Arithmetization</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/c-s-peirce/" target="_blank">#CSPeirce</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/godel-numbers/" target="_blank">#GödelNumbers</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/higher-order-sign-relations/" target="_blank">#HigherOrderSignRelations</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/inquiry/" target="_blank">#Inquiry</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/inquiry-driven-systems/" target="_blank">#InquiryDrivenSystems</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/inquiry-into-inquiry/" target="_blank">#InquiryIntoInquiry</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/logic/" target="_blank">#Logic</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/mathematics/" target="_blank">#Mathematics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/quotation/" target="_blank">#Quotation</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/reflection/" target="_blank">#Reflection</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/reflective-interpretive-frameworks/" target="_blank">#ReflectiveInterpretiveFrameworks</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/semiotics/" target="_blank">#Semiotics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/sign-relations/" target="_blank">#SignRelations</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/triadic-relations/" target="_blank">#TriadicRelations</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/use-and-mention/" target="_blank">#UseAndMention</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/visualization/" target="_blank">#Visualization</a></p>
Jon Awbrey<p>Higher Order Sign Relations • 1<br />• <a href="https://inquiryintoinquiry.com/2025/03/22/higher-order-sign-relations-1-a/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2025/03</span><span class="invisible">/22/higher-order-sign-relations-1-a/</span></a></p><p>Higher Order Sign Relations • Introduction —</p><p>When interpreters reflect on their use of signs they require an appropriate technical language in which to pursue their reflections. They need signs referring to sign relations, signs referring to elements and components of sign relations, and signs referring to properties and classes of sign relations. The orders of signs developing as reflection evolves can be organized under the heading of “higher order signs” and the reflective sign relations involving them can be referred to as “higher order sign relations”.</p><p>Some years ago I was formatting my old dissertation proposal on Inquiry Driven Systems for the web when the subject of “signs about signs” arose on the Peirce List. It called to mind the part of my document on Higher Order Sign Relations, on which basis Reflective Interpretive Frameworks are constructed, and the introduction to which begins as above.</p><p>Resources —</p><p>Inquiry Driven Systems<br />• <a href="https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Inquiry_Driven_S</span><span class="invisible">ystems_%E2%80%A2_Overview</span></a> </p><p>Reflective Interpretive Frameworks<br />• <a href="https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_10#Reflective_Interpretive_Frameworks" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Inquiry_Driven_S</span><span class="invisible">ystems_%E2%80%A2_Part_10#Reflective_Interpretive_Frameworks</span></a> </p><p>Higher Order Sign Relations<br />• <a href="https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Inquiry_Driven_S</span><span class="invisible">ystems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations</span></a> </p><p>Survey of Inquiry Driven Systems<br />• <a href="https://inquiryintoinquiry.com/2024/02/28/survey-of-inquiry-driven-systems-6/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/02</span><span class="invisible">/28/survey-of-inquiry-driven-systems-6/</span></a></p><p>Survey of Semiotics, Semiosis, Sign Relations<br />• <a href="https://inquiryintoinquiry.com/2024/01/26/survey-of-semiotics-semiosis-sign-relations-5/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><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><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Inquiry" class="mention hashtag" rel="tag">#<span>Inquiry</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Mathematics" class="mention hashtag" rel="tag">#<span>Mathematics</span></a> <a href="https://mathstodon.xyz/tags/Reflection" class="mention hashtag" rel="tag">#<span>Reflection</span></a> <br /><a href="https://mathstodon.xyz/tags/Semiotics" class="mention hashtag" rel="tag">#<span>Semiotics</span></a> <a href="https://mathstodon.xyz/tags/SignRelations" class="mention hashtag" rel="tag">#<span>SignRelations</span></a> <a href="https://mathstodon.xyz/tags/HigherOrderSignRelations" class="mention hashtag" rel="tag">#<span>HigherOrderSignRelations</span></a> <br /><a href="https://mathstodon.xyz/tags/InquiryDrivenSystems" class="mention hashtag" rel="tag">#<span>InquiryDrivenSystems</span></a> <a href="https://mathstodon.xyz/tags/ReflectiveInterpretiveFrameworks" class="mention hashtag" rel="tag">#<span>ReflectiveInterpretiveFrameworks</span></a></p>
Inquiry Into Inquiry<p><strong>Higher Order Sign Relations • 1</strong></p><p><strong>Higher Order Sign Relations • Introduction</strong></p><p>When interpreters reflect on their use of signs they require an appropriate technical language in which to pursue their reflections.&nbsp; They need signs referring to sign relations, signs referring to elements and components of sign relations, and signs referring to properties and classes of sign&nbsp;relations.&nbsp; The orders of signs developing as reflection evolves can be organized under the heading of “higher order signs” and the reflective sign relations involving them can be referred to as “higher order sign relations”.</p><p>Some years ago I was formatting my old dissertation proposal on Inquiry Driven Systems for the web when the subject of “signs about signs” arose on the Peirce List.&nbsp; It called to mind the part of my document on Higher Order Sign Relations, on which basis Reflective Interpretive Frameworks are constructed, and the introduction to which begins as above.</p><p><strong>Resources</strong></p><ul><li><a href="https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview" rel="nofollow noopener noreferrer" target="_blank">Inquiry Driven Systems</a></li><ul><li><a href="https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_10#Reflective_Interpretive_Frameworks" rel="nofollow noopener noreferrer" target="_blank">Reflective Interpretive Frameworks</a></li><ul><li><a href="https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations" rel="nofollow noopener noreferrer" target="_blank">Higher Order Sign Relations</a></li></ul></ul><li><a href="https://inquiryintoinquiry.com/2024/02/28/survey-of-inquiry-driven-systems-6/" rel="nofollow noopener noreferrer" target="_blank">Survey of Inquiry Driven Systems</a></li><li><a href="https://inquiryintoinquiry.com/2024/01/26/survey-of-semiotics-semiosis-sign-relations-5/" rel="nofollow noopener noreferrer" target="_blank">Survey of Semiotics, Semiosis, Sign Relations</a></li></ul><p>cc: <a href="https://www.academia.edu/community/5A3Qgj" rel="nofollow noopener noreferrer" target="_blank">Academia.edu</a> • BlueSky • <a href="https://groups.io/g/lawsofform/topic/higher_order_sign_relations/111851506" rel="nofollow noopener noreferrer" target="_blank">Laws of Form</a> • <a href="https://mathstodon.xyz/@Inquiry/114208001547886678" rel="nofollow noopener noreferrer" target="_blank">Mathstodon</a> • <a href="https://www.researchgate.net/post/Higher_Order_Sign_Relations" rel="nofollow noopener noreferrer" target="_blank">Research Gate</a><br>cc: <a href="https://lists.cs.uni-kassel.de/hyperkitty/list/cg@lists.iccs-conference.org/thread/MORIXKHB6YVUQGPF5EY2GUILGL5UNX7Y/" rel="nofollow noopener noreferrer" target="_blank">Conceptual Graphs</a> • <a href="https://groups.google.com/g/cybcom/c/8YdnwZeJ5ew" rel="nofollow noopener noreferrer" target="_blank">Cybernetics</a> • <a href="https://groups.google.com/g/structural-modeling/c/5AdnNqv1bVY" rel="nofollow noopener noreferrer" target="_blank">Structural Modeling</a> • <a href="https://groups.google.com/g/syssciwg/c/4ssNya1sI14" rel="nofollow noopener noreferrer" target="_blank">Systems Science</a></p><p><a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/c-s-peirce/" target="_blank">#CSPeirce</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/higher-order-sign-relations/" target="_blank">#HigherOrderSignRelations</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/inquiry/" target="_blank">#Inquiry</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/inquiry-into-inquiry/" target="_blank">#InquiryIntoInquiry</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/logic/" target="_blank">#Logic</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/mathematics/" target="_blank">#Mathematics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/recursion/" target="_blank">#Recursion</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/reflection/" target="_blank">#Reflection</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/relation-theory/" target="_blank">#RelationTheory</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/semiotics/" target="_blank">#Semiotics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/sign-relations/" target="_blank">#SignRelations</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/triadic-relations/" target="_blank">#TriadicRelations</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/type-theory/" target="_blank">#TypeTheory</a></p>
Mojo ♻️<p>Independent Tasmanian MP Andrew Wilkie is pushing for an inquiry into Tasmania’s salmon industry, raising serious concerns about whether diseased fish are being sold to the public. <br>A shocking policy document from 10 years ago has surfaced, revealing that staff were advised to recover as many fish as possible during mass die-offs for harvest and processing. 🚩 <br>This raises major questions about food safety and industry practices. Shouldn’t we know what’s on our plates? </p><p><a href="https://aus.social/tags/Tasmania" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Tasmania</span></a> <a href="https://aus.social/tags/SalmonIndustry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SalmonIndustry</span></a> <a href="https://aus.social/tags/FoodSafety" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FoodSafety</span></a> <a href="https://aus.social/tags/Inquiry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Inquiry</span></a> <a href="https://aus.social/tags/AndrewWilkie" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AndrewWilkie</span></a> <a href="https://aus.social/tags/Transparency" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Transparency</span></a> </p><p><a href="https://www.abc.net.au/listen/programs/pm/claims-diseased-salmon-sold-to-public/105083374" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">abc.net.au/listen/programs/pm/</span><span class="invisible">claims-diseased-salmon-sold-to-public/105083374</span></a></p>
Jon Awbrey<p>Signs Of Signs • 4<br />• <a href="https://inquiryintoinquiry.com/2025/03/20/signs-of-signs-4-a/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2025/03</span><span class="invisible">/20/signs-of-signs-4-a/</span></a> </p><p>Re: Michael Harris • Language About Language<br />• <a href="https://mathematicswithoutapologies.wordpress.com/2015/05/23/language-about-language/comment-page-1/#comment-380" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">mathematicswithoutapologies.wo</span><span class="invisible">rdpress.com/2015/05/23/language-about-language/comment-page-1/#comment-380</span></a> </p><p>❝But then inevitably I find myself wondering whether a proof assistant, or even a formal system, can make the distinction between “technical” and “fundamental” questions. There seems to be no logical distinction. The formalist answer might involve algorithmic complexity, but I don&#39;t think that sheds any useful light on the question. The materialist answer (often? usually?) amounts to just‑so stories involving Darwin, and lions on the savannah, and maybe an elephant, or at least a mammoth. I don&#39;t find these very satisfying either and would prefer to find something in between, and I would feel vindicated if it could be proved (in I don&#39;t know what formal system) that the capacity to make such a distinction entails appreciation of music.❞</p><p>Peirce proposed a distinction between “corollarial” and “theorematic” reasoning in mathematics which strikes me as similar to the distinction Michael Harris seeks between “technical” and “fundamental” questions.</p><p>I can&#39;t say I have a lot of insight into how the distinction might be drawn but I recall a number of traditions pointing to the etymology of “theorem” as having to do with the observation of objects and practices whose depth of detail always escapes full accounting by any number of partial views.</p><p>On the subject of music, all I have is the following incidental —</p><p>🙞 Riffs and Rotes<br />• <a href="https://oeis.org/wiki/Riffs_and_Rotes" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="">oeis.org/wiki/Riffs_and_Rotes</span><span class="invisible"></span></a></p><p>Perhaps it takes a number theorist to appreciate it …</p><p>Resource —</p><p>Higher Order Sign Relations<br />• <a href="https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Inquiry_Driven_S</span><span class="invisible">ystems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations</span></a></p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Inquiry" class="mention hashtag" rel="tag">#<span>Inquiry</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Mathematics" class="mention hashtag" rel="tag">#<span>Mathematics</span></a> <a href="https://mathstodon.xyz/tags/Reflection" class="mention hashtag" rel="tag">#<span>Reflection</span></a> <br /><a href="https://mathstodon.xyz/tags/Semiotics" class="mention hashtag" rel="tag">#<span>Semiotics</span></a> <a href="https://mathstodon.xyz/tags/SignRelations" class="mention hashtag" rel="tag">#<span>SignRelations</span></a> <a href="https://mathstodon.xyz/tags/HigherOrderSignRelations" class="mention hashtag" rel="tag">#<span>HigherOrderSignRelations</span></a></p>
Inquiry Into Inquiry<p><strong>Signs Of Signs • 4</strong></p><p>Re: <a href="https://mathematicswithoutapologies.wordpress.com/about-the-author/" rel="nofollow noopener noreferrer" target="_blank">Michael Harris</a> • <a href="https://mathematicswithoutapologies.wordpress.com/2015/05/23/language-about-language/comment-page-1/#comment-380" rel="nofollow noopener noreferrer" target="_blank">Language About Language</a></p><p>But then inevitably I find myself wondering whether a proof assistant, or even a formal system, can make the distinction between “technical” and “fundamental” questions.&nbsp; There seems to be no logical distinction.&nbsp; The formalist answer might involve algorithmic complexity, but I don’t think that sheds any useful light on the&nbsp;question.&nbsp; The materialist answer (often? usually?) amounts to just‑so stories involving Darwin, and lions on the savannah, and maybe an elephant, or at least a&nbsp;mammoth.&nbsp; I don’t find these very satisfying either and would prefer to find something in between, and I would feel vindicated if it could be proved (in I don’t know what formal system) that the capacity to make such a distinction entails appreciation of music.</p><p>Peirce proposed a distinction between <i>corollarial</i> and <i>theorematic</i> reasoning in mathematics which strikes me as similar to the distinction Michael Harris seeks between <i>technical</i> and <i>fundamental</i> questions.</p><p>I can’t say I have a lot of insight into how the distinction might be drawn but I recall a number of traditions pointing to the etymology of <i>theorem</i> as having to do with the observation of objects and practices whose depth of detail always escapes full accounting by any number of partial views.</p><p>On the subject of music, all I have is the following incidental —</p><p>🙞 <a href="https://oeis.org/wiki/Riffs_and_Rotes" rel="nofollow noopener noreferrer" target="_blank">Riffs and Rotes</a></p><p>Perhaps it takes a number theorist to appreciate it …</p><p><strong>Resources</strong></p><ul><li><a href="https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations" rel="nofollow noopener noreferrer" target="_blank">Higher Order Sign Relations</a></li><li><a href="https://inquiryintoinquiry.com/2024/03/01/survey-of-pragmatic-semiotic-information-8/" rel="nofollow noopener noreferrer" target="_blank">Survey of Pragmatic Semiotic Information</a></li><li><a href="https://inquiryintoinquiry.com/2024/01/26/survey-of-semiotics-semiosis-sign-relations-5/" rel="nofollow noopener noreferrer" target="_blank">Survey of Semiotics, Semiosis, Sign Relations</a></li></ul><p>cc: <a href="https://www.academia.edu/community/LZaDXJ" rel="nofollow noopener noreferrer" target="_blank">Academia.edu</a> • BlueSky • <a href="https://groups.io/g/lawsofform/topic/signs_of_signs/111748291" rel="nofollow noopener noreferrer" target="_blank">Laws of Form</a> • <a href="https://mathstodon.xyz/@Inquiry/114174025186011486" rel="nofollow noopener noreferrer" target="_blank">Mathstodon</a> • <a href="https://www.researchgate.net/post/Signs_Of_Signs" rel="nofollow noopener noreferrer" target="_blank">Research Gate</a><br>cc: <a href="https://lists.cs.uni-kassel.de/hyperkitty/list/cg@lists.iccs-conference.org/thread/WNZ2FJ7BHLSATCZ4WLMH3ADHX4L7XYUB/" rel="nofollow noopener noreferrer" target="_blank">Conceptual Graphs</a> • <a href="https://groups.google.com/g/cybcom/c/cpmiE6kDIJI" rel="nofollow noopener noreferrer" target="_blank">Cybernetics</a> • <a href="https://groups.google.com/g/structural-modeling/c/WW5AbYAqhNU" rel="nofollow noopener noreferrer" target="_blank">Structural Modeling</a> • <a href="https://groups.google.com/g/syssciwg/c/3On1byrRZOQ" rel="nofollow noopener noreferrer" target="_blank">Systems Science</a></p><p><a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/aesthetics/" target="_blank">#Aesthetics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/c-s-peirce/" target="_blank">#CSPeirce</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/category-theory/" target="_blank">#CategoryTheory</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/coherentism/" target="_blank">#Coherentism</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/communication/" target="_blank">#Communication</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/connotation/" target="_blank">#Connotation</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/form/" target="_blank">#Form</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/formal-languages/" target="_blank">#FormalLanguages</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/foundations-of-mathematics/" target="_blank">#FoundationsOfMathematics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/higher-order-propositions/" target="_blank">#HigherOrderPropositions</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/illusion/" target="_blank">#Illusion</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/inquiry/" target="_blank">#Inquiry</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/inquiry-into-inquiry/" target="_blank">#InquiryIntoInquiry</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/interpretation/" target="_blank">#Interpretation</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/interpretive-frameworks/" target="_blank">#InterpretiveFrameworks</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/logic/" target="_blank">#Logic</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/mathematics/" target="_blank">#Mathematics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/objective-frameworks/" target="_blank">#ObjectiveFrameworks</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/objectivism/" target="_blank">#Objectivism</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/pragmatic-semiotic-information/" target="_blank">#PragmaticSemioticInformation</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/pragmatics/" target="_blank">#Pragmatics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/pragmatism/" target="_blank">#Pragmatism</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/recursion/" target="_blank">#Recursion</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/reflection/" target="_blank">#Reflection</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/semantics/" target="_blank">#Semantics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/semiotics/" target="_blank">#Semiotics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/sign-relations/" target="_blank">#SignRelations</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/syntax/" target="_blank">#Syntax</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/translation/" target="_blank">#Translation</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/triadic-relations/" target="_blank">#TriadicRelations</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/type-theory/" target="_blank">#TypeTheory</a></p>
loganer<p><a href="https://mastodon.social/tags/C" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>C</span></a> <a href="https://mastodon.social/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Programming</span></a> <a href="https://mastodon.social/tags/Networking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Networking</span></a> <a href="https://mastodon.social/tags/Inquiry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Inquiry</span></a> </p><p>to send a file over a socket connection do I just read the file from the disk and send them as raw bytes or is there something special i need to do?</p><p>for example, if I have a TestImage.png in my 'web root' directory and a browser request the /TestImage.png , do I just read the file byte for byte into an array and then just send that to be browser?</p>
Jon Awbrey<p>Signs Of Signs • 3<br />• <a href="https://inquiryintoinquiry.com/2025/03/19/signs-of-signs-3-a/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2025/03</span><span class="invisible">/19/signs-of-signs-3-a/</span></a></p><p>Re: Michael Harris • Language About Language<br />• <a href="https://mathematicswithoutapologies.wordpress.com/2015/05/23/language-about-language/comment-page-1/#comment-353" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">mathematicswithoutapologies.wo</span><span class="invisible">rdpress.com/2015/05/23/language-about-language/comment-page-1/#comment-353</span></a></p><p>❝And if we don&#39;t [keep our stories straight], who puts us away?❞</p><p>One&#39;s answer, or at least one&#39;s initial response to that question will turn on how one feels about formal realities. As I understand it, reality is that which persists in thumping us on the head until we get what it&#39;s trying to tell us. Are there formal realities, forms which drive us in that way?</p><p>Discussions like those tend to begin by supposing we can form a distinction between external and internal. That is a formal hypothesis, not yet born out as a formal reality. Are there formal realities which drive us to recognize them, to pick them out of a crowd of formal possibilities?</p><p>Resources —</p><p>Higher Order Sign Relations<br />• <a href="https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Inquiry_Driven_S</span><span class="invisible">ystems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations</span></a></p><p>Survey of Pragmatic Semiotic Information<br />• <a href="https://inquiryintoinquiry.com/2024/03/01/survey-of-pragmatic-semiotic-information-8/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/03</span><span class="invisible">/01/survey-of-pragmatic-semiotic-information-8/</span></a></p><p>Survey of Semiotics, Semiosis, Sign Relations<br />• <a href="https://inquiryintoinquiry.com/2024/01/26/survey-of-semiotics-semiosis-sign-relations-5/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><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><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Inquiry" class="mention hashtag" rel="tag">#<span>Inquiry</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Mathematics" class="mention hashtag" rel="tag">#<span>Mathematics</span></a> <a href="https://mathstodon.xyz/tags/Reflection" class="mention hashtag" rel="tag">#<span>Reflection</span></a> <br /><a href="https://mathstodon.xyz/tags/Semiotics" class="mention hashtag" rel="tag">#<span>Semiotics</span></a> <a href="https://mathstodon.xyz/tags/SignRelations" class="mention hashtag" rel="tag">#<span>SignRelations</span></a> <a href="https://mathstodon.xyz/tags/HigherOrderSignRelations" class="mention hashtag" rel="tag">#<span>HigherOrderSignRelations</span></a></p>
Inquiry Into Inquiry<p><strong>Signs Of Signs • 3</strong></p><p>Re: <a href="https://mathematicswithoutapologies.wordpress.com/" rel="nofollow noopener noreferrer" target="_blank">Michael Harris</a> • <a href="https://mathematicswithoutapologies.wordpress.com/2015/05/23/language-about-language/comment-page-1/#comment-353" rel="nofollow noopener noreferrer" target="_blank">Language About Language</a></p><p>And if we don’t [keep our stories straight], who puts us away?</p><p>One’s answer, or at least one’s initial response to that question will turn on how one feels about formal realities.&nbsp; As I understand it, reality is that which persists in thumping us on the head until we get what it’s trying to tell us.&nbsp; Are there formal realities, forms which drive us in that way?</p><p>Discussions like those tend to begin by supposing we can form a distinction between external and internal.&nbsp; That is a formal hypothesis, not yet born out as a formal reality.&nbsp; Are there formal realities which drive us to recognize them, to pick them out of a crowd of formal possibilities?</p><p><strong>Resources</strong></p><ul><li><a href="https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations" rel="nofollow noopener noreferrer" target="_blank">Higher Order Sign Relations</a></li><li><a href="https://inquiryintoinquiry.com/2024/03/01/survey-of-pragmatic-semiotic-information-8/" rel="nofollow noopener noreferrer" target="_blank">Survey of Pragmatic Semiotic Information</a></li><li><a href="https://inquiryintoinquiry.com/2024/01/26/survey-of-semiotics-semiosis-sign-relations-5/" rel="nofollow noopener noreferrer" target="_blank">Survey of Semiotics, Semiosis, Sign Relations</a></li></ul><p>cc: <a href="https://www.academia.edu/community/l8ZppG" rel="nofollow noopener noreferrer" target="_blank">Academia.edu</a> • BlueSky • <a href="https://groups.io/g/lawsofform/topic/signs_of_signs/111748291" rel="nofollow noopener noreferrer" target="_blank">Laws of Form</a> • <a href="https://mathstodon.xyz/@Inquiry/114174025186011486" rel="nofollow noopener noreferrer" target="_blank">Mathstodon</a> • <a href="https://www.researchgate.net/post/Signs_Of_Signs" rel="nofollow noopener noreferrer" target="_blank">Research Gate</a><br>cc: <a href="https://lists.cs.uni-kassel.de/hyperkitty/list/cg@lists.iccs-conference.org/thread/WNZ2FJ7BHLSATCZ4WLMH3ADHX4L7XYUB/" rel="nofollow noopener noreferrer" target="_blank">Conceptual Graphs</a> • <a href="https://groups.google.com/g/cybcom/c/cpmiE6kDIJI" rel="nofollow noopener noreferrer" target="_blank">Cybernetics</a> • <a href="https://groups.google.com/g/structural-modeling/c/WW5AbYAqhNU" rel="nofollow noopener noreferrer" target="_blank">Structural Modeling</a> • <a href="https://groups.google.com/g/syssciwg/c/3On1byrRZOQ" rel="nofollow noopener noreferrer" target="_blank">Systems Science</a></p><p><a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/aesthetics/" target="_blank">#Aesthetics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/c-s-peirce/" target="_blank">#CSPeirce</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/category-theory/" target="_blank">#CategoryTheory</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/coherentism/" target="_blank">#Coherentism</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/communication/" target="_blank">#Communication</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/connotation/" target="_blank">#Connotation</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/form/" target="_blank">#Form</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/formal-languages/" target="_blank">#FormalLanguages</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/foundations-of-mathematics/" target="_blank">#FoundationsOfMathematics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/higher-order-propositions/" target="_blank">#HigherOrderPropositions</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/illusion/" target="_blank">#Illusion</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/inquiry/" target="_blank">#Inquiry</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/inquiry-into-inquiry/" target="_blank">#InquiryIntoInquiry</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/interpretation/" target="_blank">#Interpretation</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/interpretive-frameworks/" target="_blank">#InterpretiveFrameworks</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/logic/" target="_blank">#Logic</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/mathematics/" target="_blank">#Mathematics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/objective-frameworks/" target="_blank">#ObjectiveFrameworks</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/objectivism/" target="_blank">#Objectivism</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/pragmatic-semiotic-information/" target="_blank">#PragmaticSemioticInformation</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/pragmatics/" target="_blank">#Pragmatics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/pragmatism/" target="_blank">#Pragmatism</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/recursion/" target="_blank">#Recursion</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/reflection/" target="_blank">#Reflection</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/semantics/" target="_blank">#Semantics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/semiotics/" target="_blank">#Semiotics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/sign-relations/" target="_blank">#SignRelations</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/syntax/" target="_blank">#Syntax</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/translation/" target="_blank">#Translation</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/triadic-relations/" target="_blank">#TriadicRelations</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/type-theory/" target="_blank">#TypeTheory</a></p>
CBC Montreal<p>CAQ government turns attention to SAAQclic inquiry after byelection loss<br>The Legault government announced municipal judge Denis Gallant will preside over the public inquiry into the SAAQclic fiasco. <br><a href="https://mastodon.hongkongers.net/tags/politics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>politics</span></a> <a href="https://mastodon.hongkongers.net/tags/government" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>government</span></a> <a href="https://mastodon.hongkongers.net/tags/inquiry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>inquiry</span></a> <br><a href="https://www.cbc.ca/player/play/9.6689627?cmp=rss" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">cbc.ca/player/play/9.6689627?c</span><span class="invisible">mp=rss</span></a></p>
Jon Awbrey<p>Signs Of Signs • 2<br />• <a href="https://inquiryintoinquiry.com/2025/03/18/signs-of-signs-2-a/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2025/03</span><span class="invisible">/18/signs-of-signs-2-a/</span></a></p><p>Re: Michael Harris • Language About Language<br />• <a href="https://mathematicswithoutapologies.wordpress.com/2015/05/23/language-about-language/comment-page-1/#comment-346" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">mathematicswithoutapologies.wo</span><span class="invisible">rdpress.com/2015/05/23/language-about-language/comment-page-1/#comment-346</span></a> </p><p>❝I compared mathematics to a “consensual hallucination”, like virtual reality, and I continue to believe that the aim is to get (consensually) to the point where that hallucination is a second nature.❞</p><p>I think that&#39;s called “coherentism”, normally contrasted with or complementary to “objectivism”. It&#39;s the philosophy of a gang of co‑conspirators who think, “We&#39;ll get off scot‑free so long as we all keep our stories straight.”</p><p>Resources —</p><p>Higher Order Sign Relations<br />• <a href="https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Inquiry_Driven_S</span><span class="invisible">ystems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations</span></a></p><p>Survey of Pragmatic Semiotic Information<br />• <a href="https://inquiryintoinquiry.com/2024/03/01/survey-of-pragmatic-semiotic-information-8/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/03</span><span class="invisible">/01/survey-of-pragmatic-semiotic-information-8/</span></a></p><p>Survey of Semiotics, Semiosis, Sign Relations<br />• <a href="https://inquiryintoinquiry.com/2024/01/26/survey-of-semiotics-semiosis-sign-relations-5/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><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><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Inquiry" class="mention hashtag" rel="tag">#<span>Inquiry</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Mathematics" class="mention hashtag" rel="tag">#<span>Mathematics</span></a> <a href="https://mathstodon.xyz/tags/Reflection" class="mention hashtag" rel="tag">#<span>Reflection</span></a> <br /><a href="https://mathstodon.xyz/tags/Semiotics" class="mention hashtag" rel="tag">#<span>Semiotics</span></a> <a href="https://mathstodon.xyz/tags/SignRelations" class="mention hashtag" rel="tag">#<span>SignRelations</span></a> <a href="https://mathstodon.xyz/tags/HigherOrderSignRelations" class="mention hashtag" rel="tag">#<span>HigherOrderSignRelations</span></a></p>
Inquiry Into Inquiry<p><strong>Signs Of Signs • 2</strong></p><p>Re: <a href="https://mathematicswithoutapologies.wordpress.com/" rel="nofollow noopener noreferrer" target="_blank">Michael Harris</a> • <a href="https://mathematicswithoutapologies.wordpress.com/2015/05/23/language-about-language/comment-page-1/#comment-346" rel="nofollow noopener noreferrer" target="_blank">Language About Language</a></p><p>I compared mathematics to a “consensual hallucination”, like virtual reality, and I continue to believe that the aim is to get (consensually) to the point where that hallucination is a second nature.</p><p>I think that’s called <i>coherentism</i>, normally contrasted with or complementary to <i>objectivism</i>.&nbsp; It’s the philosophy of a gang of co‑conspirators who think, “We’ll get off scot‑free so long as we all keep our stories straight.”</p><p><strong>Resources</strong></p><ul><li><a href="https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations" rel="nofollow noopener noreferrer" target="_blank">Higher Order Sign Relations</a></li><li><a href="https://inquiryintoinquiry.com/2024/03/01/survey-of-pragmatic-semiotic-information-8/" rel="nofollow noopener noreferrer" target="_blank">Survey of Pragmatic Semiotic Information</a></li><li><a href="https://inquiryintoinquiry.com/2024/01/26/survey-of-semiotics-semiosis-sign-relations-5/" rel="nofollow noopener noreferrer" target="_blank">Survey of Semiotics, Semiosis, Sign Relations</a></li></ul><p>cc: <a href="https://www.academia.edu/community/lnOnqP" rel="nofollow noopener noreferrer" target="_blank">Academia.edu</a> • BlueSky • <a href="https://groups.io/g/lawsofform/topic/signs_of_signs/111748291" rel="nofollow noopener noreferrer" target="_blank">Laws of Form</a> • <a href="https://mathstodon.xyz/@Inquiry/114174025186011486" rel="nofollow noopener noreferrer" target="_blank">Mathstodon</a> • <a href="https://www.researchgate.net/post/Signs_Of_Signs" rel="nofollow noopener noreferrer" target="_blank">Research Gate</a><br>cc: <a href="https://lists.cs.uni-kassel.de/hyperkitty/list/cg@lists.iccs-conference.org/thread/WNZ2FJ7BHLSATCZ4WLMH3ADHX4L7XYUB/" rel="nofollow noopener noreferrer" target="_blank">Conceptual Graphs</a> • <a href="https://groups.google.com/g/cybcom/c/cpmiE6kDIJI" rel="nofollow noopener noreferrer" target="_blank">Cybernetics</a> • <a href="https://groups.google.com/g/structural-modeling/c/WW5AbYAqhNU" rel="nofollow noopener noreferrer" target="_blank">Structural Modeling</a> • <a href="https://groups.google.com/g/syssciwg/c/3On1byrRZOQ" rel="nofollow noopener noreferrer" target="_blank">Systems Science</a></p><p><a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/aesthetics/" target="_blank">#Aesthetics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/c-s-peirce/" target="_blank">#CSPeirce</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/category-theory/" target="_blank">#CategoryTheory</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/coherentism/" target="_blank">#Coherentism</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/communication/" target="_blank">#Communication</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/connotation/" target="_blank">#Connotation</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/form/" target="_blank">#Form</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/formal-languages/" target="_blank">#FormalLanguages</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/foundations-of-mathematics/" target="_blank">#FoundationsOfMathematics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/higher-order-propositions/" target="_blank">#HigherOrderPropositions</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/illusion/" target="_blank">#Illusion</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/inquiry/" target="_blank">#Inquiry</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/inquiry-into-inquiry/" target="_blank">#InquiryIntoInquiry</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/interpretation/" target="_blank">#Interpretation</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/interpretive-frameworks/" target="_blank">#InterpretiveFrameworks</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/logic/" target="_blank">#Logic</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/mathematics/" target="_blank">#Mathematics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/objective-frameworks/" target="_blank">#ObjectiveFrameworks</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/objectivism/" target="_blank">#Objectivism</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/pragmatic-semiotic-information/" target="_blank">#PragmaticSemioticInformation</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/pragmatics/" target="_blank">#Pragmatics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/pragmatism/" target="_blank">#Pragmatism</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/recursion/" target="_blank">#Recursion</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/reflection/" target="_blank">#Reflection</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/semantics/" target="_blank">#Semantics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/semiotics/" target="_blank">#Semiotics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/sign-relations/" target="_blank">#SignRelations</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/syntax/" target="_blank">#Syntax</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/translation/" target="_blank">#Translation</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/triadic-relations/" target="_blank">#TriadicRelations</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/type-theory/" target="_blank">#TypeTheory</a></p>
Hacker News<p>UK wants dirt on data brokers before criminals get there first</p><p><a href="https://www.theregister.com/2025/03/18/uk_data_broker_inquiry/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">theregister.com/2025/03/18/uk_</span><span class="invisible">data_broker_inquiry/</span></a></p><p><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/UK" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>UK</span></a> <a href="https://mastodon.social/tags/data" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>data</span></a> <a href="https://mastodon.social/tags/brokers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>brokers</span></a> <a href="https://mastodon.social/tags/inquiry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>inquiry</span></a> <a href="https://mastodon.social/tags/criminals" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>criminals</span></a> <a href="https://mastodon.social/tags/cybersecurity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cybersecurity</span></a> <a href="https://mastodon.social/tags/privacy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>privacy</span></a></p>
Jon Awbrey<p>Signs Of Signs • 1<br />• <a href="https://inquiryintoinquiry.com/2025/03/16/signs-of-signs-1-a/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2025/03</span><span class="invisible">/16/signs-of-signs-1-a/</span></a></p><p>Re: Michael Harris • Language About Language <br />• <a href="https://mathematicswithoutapologies.wordpress.com/2015/05/23/language-about-language/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">mathematicswithoutapologies.wo</span><span class="invisible">rdpress.com/2015/05/23/language-about-language/</span></a></p><p>There is a language and a corresponding literature treating logic and mathematics as related species of communication and information gathering, namely, the pragmatic-semiotic tradition transmitted through the lifelong efforts of C.S. Peirce. It is by no means a dead language but it continues to fly beneath the radar of many trackers in logic and math today. Nevertheless, the resource remains for those who wish to look into it.</p><p>Resources —</p><p>Higher Order Sign Relations<br />• <a href="https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Inquiry_Driven_S</span><span class="invisible">ystems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations</span></a></p><p>Survey of Pragmatic Semiotic Information<br />• <a href="https://inquiryintoinquiry.com/2024/03/01/survey-of-pragmatic-semiotic-information-8/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/03</span><span class="invisible">/01/survey-of-pragmatic-semiotic-information-8/</span></a></p><p>Survey of Semiotics, Semiosis, Sign Relations<br />• <a href="https://inquiryintoinquiry.com/2024/01/26/survey-of-semiotics-semiosis-sign-relations-5/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><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>• <a href="https://www.academia.edu/community/LpWxoO" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="">academia.edu/community/LpWxoO</span><span class="invisible"></span></a><br />• <a href="https://www.researchgate.net/post/Signs_Of_Signs" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">researchgate.net/post/Signs_Of</span><span class="invisible">_Signs</span></a></p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Inquiry" class="mention hashtag" rel="tag">#<span>Inquiry</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Mathematics" class="mention hashtag" rel="tag">#<span>Mathematics</span></a> <a href="https://mathstodon.xyz/tags/Reflection" class="mention hashtag" rel="tag">#<span>Reflection</span></a> <br /><a href="https://mathstodon.xyz/tags/Semiotics" class="mention hashtag" rel="tag">#<span>Semiotics</span></a> <a href="https://mathstodon.xyz/tags/SignRelations" class="mention hashtag" rel="tag">#<span>SignRelations</span></a> <a href="https://mathstodon.xyz/tags/HigherOrderSignRelations" class="mention hashtag" rel="tag">#<span>HigherOrderSignRelations</span></a></p>
Inquiry Into Inquiry<p><strong>Signs Of Signs • 1</strong></p><p>Re: <a href="https://mathematicswithoutapologies.wordpress.com/" rel="nofollow noopener noreferrer" target="_blank">Michael Harris</a> • <a href="https://mathematicswithoutapologies.wordpress.com/2015/05/23/language-about-language/" rel="nofollow noopener noreferrer" target="_blank">Language About Language</a></p><p>There is a language and a corresponding literature treating logic and mathematics as related species of communication and information gathering, namely, the pragmatic‑semiotic tradition transmitted through the lifelong efforts of C.S.&nbsp;Peirce.&nbsp; It is by no means a dead language but it continues to fly beneath the radar of many trackers in logic and math today.&nbsp; Nevertheless, the resource remains for those who wish to look into it.</p><p><strong>Resources</strong></p><ul><li><a href="https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations" rel="nofollow noopener noreferrer" target="_blank">Higher Order Sign Relations</a></li><li><a href="https://inquiryintoinquiry.com/2024/03/01/survey-of-pragmatic-semiotic-information-8/" rel="nofollow noopener noreferrer" target="_blank">Survey of Pragmatic Semiotic Information</a></li><li><a href="https://inquiryintoinquiry.com/2024/01/26/survey-of-semiotics-semiosis-sign-relations-5/" rel="nofollow noopener noreferrer" target="_blank">Survey of Semiotics, Semiosis, Sign Relations</a></li></ul><p>cc: <a href="https://www.academia.edu/community/LpWxoO" rel="nofollow noopener noreferrer" target="_blank">Academia.edu</a> • BlueSky • <a href="https://groups.io/g/lawsofform/topic/signs_of_signs/111748291" rel="nofollow noopener noreferrer" target="_blank">Laws of Form</a> • <a href="https://mathstodon.xyz/@Inquiry/114174025186011486" rel="nofollow noopener noreferrer" target="_blank">Mathstodon</a> • <a href="https://www.researchgate.net/post/Signs_Of_Signs" rel="nofollow noopener noreferrer" target="_blank">Research Gate</a><br>cc: <a href="https://lists.cs.uni-kassel.de/hyperkitty/list/cg@lists.iccs-conference.org/thread/WNZ2FJ7BHLSATCZ4WLMH3ADHX4L7XYUB/" rel="nofollow noopener noreferrer" target="_blank">Conceptual Graphs</a> • <a href="https://groups.google.com/g/cybcom/c/cpmiE6kDIJI" rel="nofollow noopener noreferrer" target="_blank">Cybernetics</a> • <a href="https://groups.google.com/g/structural-modeling/c/WW5AbYAqhNU" rel="nofollow noopener noreferrer" target="_blank">Structural Modeling</a> • <a href="https://groups.google.com/g/syssciwg/c/3On1byrRZOQ" rel="nofollow noopener noreferrer" target="_blank">Systems Science</a></p><p><a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/aesthetics/" target="_blank">#Aesthetics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/c-s-peirce/" target="_blank">#CSPeirce</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/category-theory/" target="_blank">#CategoryTheory</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/coherentism/" target="_blank">#Coherentism</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/communication/" target="_blank">#Communication</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/connotation/" target="_blank">#Connotation</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/form/" target="_blank">#Form</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/formal-languages/" target="_blank">#FormalLanguages</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/foundations-of-mathematics/" target="_blank">#FoundationsOfMathematics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/higher-order-propositions/" target="_blank">#HigherOrderPropositions</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/illusion/" target="_blank">#Illusion</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/inquiry/" target="_blank">#Inquiry</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/inquiry-into-inquiry/" target="_blank">#InquiryIntoInquiry</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/interpretation/" target="_blank">#Interpretation</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/interpretive-frameworks/" target="_blank">#InterpretiveFrameworks</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/logic/" target="_blank">#Logic</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/mathematics/" target="_blank">#Mathematics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/objective-frameworks/" target="_blank">#ObjectiveFrameworks</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/objectivism/" target="_blank">#Objectivism</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/pragmatic-semiotic-information/" target="_blank">#PragmaticSemioticInformation</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/pragmatics/" target="_blank">#Pragmatics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/pragmatism/" target="_blank">#Pragmatism</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/recursion/" target="_blank">#Recursion</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/reflection/" target="_blank">#Reflection</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/semantics/" target="_blank">#Semantics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/semiotics/" target="_blank">#Semiotics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/sign-relations/" target="_blank">#SignRelations</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/syntax/" target="_blank">#Syntax</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/translation/" target="_blank">#Translation</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/triadic-relations/" target="_blank">#TriadicRelations</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://inquiryintoinquiry.com/tag/type-theory/" target="_blank">#TypeTheory</a></p>
loganer<p><a href="https://mastodon.social/tags/C" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>C</span></a> <a href="https://mastodon.social/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Programming</span></a> <a href="https://mastodon.social/tags/inquiry" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>inquiry</span></a> </p><p>if I malloc a block of memory, can I tell the computer that a section of this block is read only (temprarily).</p><p>I want the program to segfault if this section of code is written to without first marking it writable.</p>