C.S. Peirce • Logic of Number (MS 229)
• https://inquiryintoinquiry.com/2012/09/01/c-s-peirce-logic-of-number-ms-229/
❝All other sciences without exception depend upon the principles of mathematics; and mathematics borrows nothing from them but hints.❞
— C.S. Peirce
#Peirce #Inquiry #Mathematics #Science
#FoundationsOfMathematics #Pragmatism
Higher Order Sign Relations • Discussion 1
• https://inquiryintoinquiry.com/2025/03/27/higher-order-sign-relations-discussion-1-a/
Re: FB | Charles S. Peirce Society • John Corcoran
• https://www.facebook.com/groups/peircesociety/posts/1768975423238442/
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.
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”.
References —
John Corcoran
• https://johncorcoran.academia.edu/
Schemata : The Concept of Schema in the History of Logic
• https://www.academia.edu/12691868/SCHEMATA_THE_CONCEPT_OF_SCHEMA_IN_THE_HISTORY_OF_LOGIC
Use And Mention, Use Without Mention, Mention Without Use
• https://www.academia.edu/s/ea64a3484e/schemata#comment_525151
Resources —
Higher Order Sign Relations
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations
Survey of Inquiry Driven Systems
• https://inquiryintoinquiry.com/2024/02/28/survey-of-inquiry-driven-systems-6/
Survey of Semiotics, Semiosis, Sign Relations
• https://inquiryintoinquiry.com/2024/01/26/survey-of-semiotics-semiosis-sign-relations-5/
#Peirce #Inquiry #Logic #Mathematics #Reflection
#Semiotics #SignRelations #HigherOrderSignRelations
#InquiryDrivenSystems #ReflectiveInterpretiveFrameworks
#Arithmetization #GödelNumbers #Quotation #UseAndMention
Higher Order Sign Relations • 1
• https://inquiryintoinquiry.com/2025/03/22/higher-order-sign-relations-1-a/
Higher Order Sign Relations • Introduction —
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”.
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.
Resources —
Inquiry Driven Systems
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview
Reflective Interpretive Frameworks
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_10#Reflective_Interpretive_Frameworks
Higher Order Sign Relations
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations
Survey of Inquiry Driven Systems
• https://inquiryintoinquiry.com/2024/02/28/survey-of-inquiry-driven-systems-6/
Survey of Semiotics, Semiosis, Sign Relations
• https://inquiryintoinquiry.com/2024/01/26/survey-of-semiotics-semiosis-sign-relations-5/
#Peirce #Inquiry #Logic #Mathematics #Reflection
#Semiotics #SignRelations #HigherOrderSignRelations
#InquiryDrivenSystems #ReflectiveInterpretiveFrameworks
Signs Of Signs • 4
• https://inquiryintoinquiry.com/2025/03/20/signs-of-signs-4-a/
Re: Michael Harris • Language About Language
• https://mathematicswithoutapologies.wordpress.com/2015/05/23/language-about-language/comment-page-1/#comment-380
❝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'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'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.❞
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.
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 “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.
On the subject of music, all I have is the following incidental —
🙞 Riffs and Rotes
• https://oeis.org/wiki/Riffs_and_Rotes
Perhaps it takes a number theorist to appreciate it …
Resource —
Higher Order Sign Relations
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations
#Peirce #Inquiry #Logic #Mathematics #Reflection
#Semiotics #SignRelations #HigherOrderSignRelations
Signs Of Signs • 3
• https://inquiryintoinquiry.com/2025/03/19/signs-of-signs-3-a/
Re: Michael Harris • Language About Language
• https://mathematicswithoutapologies.wordpress.com/2015/05/23/language-about-language/comment-page-1/#comment-353
❝And if we don't [keep our stories straight], who puts us away?❞
One's answer, or at least one'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's trying to tell us. Are there formal realities, forms which drive us in that way?
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?
Resources —
Higher Order Sign Relations
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations
Survey of Pragmatic Semiotic Information
• https://inquiryintoinquiry.com/2024/03/01/survey-of-pragmatic-semiotic-information-8/
Survey of Semiotics, Semiosis, Sign Relations
• https://inquiryintoinquiry.com/2024/01/26/survey-of-semiotics-semiosis-sign-relations-5/
#Peirce #Inquiry #Logic #Mathematics #Reflection
#Semiotics #SignRelations #HigherOrderSignRelations
Signs Of Signs • 2
• https://inquiryintoinquiry.com/2025/03/18/signs-of-signs-2-a/
Re: Michael Harris • Language About Language
• https://mathematicswithoutapologies.wordpress.com/2015/05/23/language-about-language/comment-page-1/#comment-346
❝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.❞
I think that's called “coherentism”, normally contrasted with or complementary to “objectivism”. 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.”
Resources —
Higher Order Sign Relations
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations
Survey of Pragmatic Semiotic Information
• https://inquiryintoinquiry.com/2024/03/01/survey-of-pragmatic-semiotic-information-8/
Survey of Semiotics, Semiosis, Sign Relations
• https://inquiryintoinquiry.com/2024/01/26/survey-of-semiotics-semiosis-sign-relations-5/
#Peirce #Inquiry #Logic #Mathematics #Reflection
#Semiotics #SignRelations #HigherOrderSignRelations
Signs Of Signs • 1
• https://inquiryintoinquiry.com/2025/03/16/signs-of-signs-1-a/
Re: Michael Harris • Language About Language
• https://mathematicswithoutapologies.wordpress.com/2015/05/23/language-about-language/
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.
Resources —
Higher Order Sign Relations
• https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Part_12#Higher_Order_Sign_Relations
Survey of Pragmatic Semiotic Information
• https://inquiryintoinquiry.com/2024/03/01/survey-of-pragmatic-semiotic-information-8/
Survey of Semiotics, Semiosis, Sign Relations
• https://inquiryintoinquiry.com/2024/01/26/survey-of-semiotics-semiosis-sign-relations-5/
• https://www.academia.edu/community/LpWxoO
• https://www.researchgate.net/post/Signs_Of_Signs
#Peirce #Inquiry #Logic #Mathematics #Reflection
#Semiotics #SignRelations #HigherOrderSignRelations
if I malloc a block of memory, can I tell the computer that a section of this block is read only (temprarily).
I want the program to segfault if this section of code is written to without first marking it writable.
The object of reasoning is to find out …
• https://inquiryintoinquiry.com/2024/01/23/the-object-of-reasoning-is-to-find-out-a/
❝No longer wondered what I would do in life but defined my object.❞
— C.S. Peirce (1861), “My Life, written for the Class-Book”, (CE 1, 3)
❝The object of reasoning is to find out, from the consideration of what we already know, something else which we do not know.❞
— C.S. Peirce (1877), “The Fixation of Belief”, (CP 5.365)
If the object of an investigation is to find out something we do not know then the clues we discover along the way are the signs which determine that object.
People will continue to be confused about determination so long as they can think of no other forms but analytic-behaviorist-causal-dyadic-temporal, object-as-stimulus, sign-as-response varieties. It’s true ordinary language biases us toward billiard‑ball styles of dyadic determination but there are triadic forms of constraint, determination, and interaction not captured by S‑R chains of that order.
Pragmatic objects of signs and concepts are anything we talk or think about and semiosis does not conduct its transactions within the bounds of object as cue, sign as cue ball, and interpretants as solids, stripes, and pockets.
References —
• Peirce, C.S. (1859–1861), “My Life, written for the Class-Book”, pp. 1–3 in Writings of Charles S. Peirce : A Chronological Edition, Volume 1, 1857–1866, Peirce Edition Project, Indiana University Press, Bloomington, IN, 1982.
• Peirce, C.S. (1877), “The Fixation Of Belief”, Popular Science Monthly 12 (Nov 1877), pp. 1–15. Reprinted in Collected Papers, CP 5.358–387.
• https://www.cspeirce.com/menu/library/bycsp/fixation/fx-frame.htm
“Jeremy Corbyn demands 'Chilcot' style inquiry into UK complicity in Israel's war on Gaza”
by Imran Mulla in Middle East Eye
@palestine
@israel
@UKLabour
@BBC5Live
@BBCRadio4
@guardian @Independent @thetimes
“Corbyn says officials may be implicated in the 'gravest breach of international law over support for devastating siege and bombardment of Palestinians”
Ouch❢
• https://inquiryintoinquiry.com/2025/02/27/ouch%e2%9d%a2-a/
❝A child hears it said that the stove is hot. But it is not, he says; and, indeed, that central body is not touching it, and only what that touches is hot or cold. But he touches it, and finds the testimony confirmed in a striking way. Thus, he becomes aware of ignorance, and it is necessary to suppose a self in which this ignorance can inhere. …
❝In short, error appears, and it can be explained only by supposing a self which is fallible.
❝Ignorance and error are all that distinguish our private selves from the absolute ego of pure apperception.❞
🙞 C.S. Peirce • “Questions Concerning Certain Faculties Claimed For Man”
• https://www.cspeirce.com/menu/library/bycsp/question/qu-frame.htm
Resource —
Survey of Cybernetics
• https://inquiryintoinquiry.com/2024/01/25/survey-of-cybernetics-4/
https://www.europesays.com/?p=1873764 Yoav Gallant: Hostages first, then Hamas—calls for October 7 inquiry – Israel News #Conflicts #Gaza #Hamas #Hostage #inquiry #Israel #TheOctober7Massacre #YoavGallant
Theory and Therapy of Representations • 5
• https://inquiryintoinquiry.com/2025/02/25/theory-and-therapy-of-representations-5-b/
Re: R.J. Lipton and K.W. Regan • Legal Complexity
• https://rjlipton.com/2022/09/04/legal-complexity/
❝I do not pretend to understand the moral universe;
the arc is a long one, my eye reaches but little ways;
I cannot calculate the curve and complete the figure by
the experience of sight; I can divine it by conscience.
And from what I see I am sure it bends towards justice.❞
🙞 Theodore Parker
• https://web.archive.org/web/20200302045624/https://books.google.com/books?id=eHgYAAAAYAAJ&pg=PA48#v=onepage&q&f=false
The arc of the moral universe may bend toward justice — there's hope it will.
For the logic of laws to converge on justice may take some doing on our part.
Resources —
Survey of Cybernetics
• https://inquiryintoinquiry.com/2024/01/25/survey-of-cybernetics-4/
Survey of Differential Logic
• https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7/
Survey of Inquiry Driven Systems
• https://inquiryintoinquiry.com/2024/02/28/survey-of-inquiry-driven-systems-6/
#AdaptiveSystems #Cybernetics #SystemsTheory #Governance #Democracy
#Plato #Peirce #MaxWeber #Accountability #Representation #Statistics
#Inquiry #InquiryDrivenSystems #Observation #Expectation #Intention
Theory and Therapy of Representations • 4
• https://inquiryintoinquiry.com/2025/02/24/theory-and-therapy-of-representations-4-b/
Re: Ontolog Forum • Paola Di Maio
• https://groups.google.com/g/ontolog-forum/c/Ek_7cCCyFkQ/m/qI0kQv4UAgAJ
JA: What are the forces distorting our representations of what's observed, what's expected, and what's intended?
PDM: The short answer is — the force behind all distortions is our own unenlightened mind, and all the shortfalls this comes with.
I think that's true, we have to keep reflecting on the state of our personal enlightenments. If we can do that without losing our heads and our systems thinking caps, there will be much we can do to promote the general Enlightenment of the State.
On both personal and general grounds we have a stake in the projects of self‑governing systems — whether it is possible for them to exist and what it takes for them to thrive in given environments. Systems on that order have of course been studied from many points of view and at many levels of organization. Whether we address them under the names of adaptive, cybernetic, error-correcting, intelligent, or optimal control systems they all must be capable to some degree of learning, reasoning, and self‑guidance.
Resources —
Survey of Cybernetics
• https://inquiryintoinquiry.com/2024/01/25/survey-of-cybernetics-4/
Survey of Differential Logic
• https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7/
Survey of Inquiry Driven Systems
• https://inquiryintoinquiry.com/2024/02/28/survey-of-inquiry-driven-systems-6/
#AdaptiveSystems #Cybernetics #SystemsTheory #Governance #Democracy
#Plato #Peirce #MaxWeber #Accountability #Representation #Statistics
#Inquiry #InquiryDrivenSystems #Observation #Expectation #Intention
Theory and Therapy of Representations • 3.2
• https://inquiryintoinquiry.com/2025/02/23/theory-and-therapy-of-representations-3-b/
Scene 2. Theory and Therapy of Representations • 1
• https://inquiryintoinquiry.com/2025/02/21/theory-and-therapy-of-representations-1-b/
Statistics were originally the data a ship of state needed for stationkeeping and staying on course. The Founders of the United States, like the Cybernauts of the Enlightenment they were, engineered a ship of state with checks and balances and error-controlled feedbacks for the sake of representing both reality and the will of the people. In that connection Max Weber saw how a state's accounting systems are intended as representations of realities its crew and passengers must observe or perish.
That brings us to Question 2 —
• What are the forces distorting our representations of what's observed, what's expected, and what's intended?
Resources ─
Survey of Cybernetics
• https://inquiryintoinquiry.com/2024/01/25/survey-of-cybernetics-4/
Pragmatic Theory Of Truth
• https://oeis.org/wiki/Pragmatic_Theory_Of_Truth
#AdaptiveSystems #Cybernetics #SystemsTheory #Governance #Democracy
#Plato #Peirce #MaxWeber #Accountability #Representation #Statistics
#Inquiry #InquiryDrivenSystems #Observation #Expectation #Intention
Theory and Therapy of Representations • 3.1
• https://inquiryintoinquiry.com/2025/02/23/theory-and-therapy-of-representations-3-b/
Representation is a concept we find at the intersection of cybernetics, epistemology, logic, mathematics, psychology, and sociology. In my studies it led me from math to psych and back again, with sidelong glances at the history of democratic governance. Its time come round again, I find myself returning to the scenes of two recurring questions.
Scene 1. Pragmatic Truth • Discussion 18
• https://inquiryintoinquiry.com/2019/11/14/pragmatic-truth-discussion-18/
We do not live in axiom systems. We do not live encased in languages, formal or natural. There is no reason to think we will ever have exact and exhaustive theories of what's out there, and the truth, as we know, is “out there”. Peirce understood there are more truths in mathematics than are dreamt of in logic — and Gödel’s realism should have put the last nail in the coffin of logicism — but some ways of thinking just never get a clue.
That brings us to Question 1 —
• What are formalisms and all their embodiments in brains and computers good for?
Resources ─
Survey of Cybernetics
• https://inquiryintoinquiry.com/2024/01/25/survey-of-cybernetics-4/
Pragmatic Theory Of Truth
• https://oeis.org/wiki/Pragmatic_Theory_Of_Truth
#AdaptiveSystems #Cybernetics #SystemsTheory #Governance #Democracy
#Plato #Peirce #MaxWeber #Accountability #Representation #Statistics
#Inquiry #InquiryDrivenSystems #Observation #Expectation #Intention
Theory and Therapy of Representations • 2
• https://inquiryintoinquiry.com/2025/02/22/theory-and-therapy-of-representations-2-b/
In a complex society, people making decisions and taking actions at places remote from you have the power to affect your life in significant ways. Those people govern your life, they are your government, no matter what spheres of influence they inhabit, private or public. The only way you get a choice in that governance is if there are paths of feedback permitting you to affect the life of those decision makers and action takers in significant ways. That is what accountability, response-ability, and representative government are all about.
Naturally, some people are against that.
In the United States there has been a concerted campaign for as long as I can remember — but even more concerted since the Reagan Regime — to get the People to abdicate their hold on The Powers That Be and just let some anonymous corporate entity send us the bill after the fact. They keep trying to con the People into thinking they can starve the beast, to limit government, when what they are really doing is feeding the beast of corporate control, weakening their own power over the forces that govern their lives.
That is the road to perdition as far as responsible government goes. There is not much of anything one leader or one administration can do unsupported if the People do not constantly demand a government of, by, and for the People.
Resource ─
Survey of Cybernetics
• https://inquiryintoinquiry.com/2024/01/25/survey-of-cybernetics-4/
#AdaptiveSystems #Cybernetics #SystemsTheory #Governance #Democracy
#Plato #Peirce #MaxWeber #Accountability #Representation #Statistics
#Inquiry #InquiryDrivenSystems #Observation #Expectation #Intention
Theory and Therapy of Representations • 1
• https://inquiryintoinquiry.com/2025/02/21/theory-and-therapy-of-representations-1-b/
❝Again, in a ship, if a man were at liberty to do what he chose, but were devoid of mind and excellence in navigation (αρετης κυβερνητικης), do you perceive what must happen to him and his fellow sailors?❞
─ Plato • Alcibiades 135 A
Statistics were originally the data a ship of state needed for stationkeeping and staying on course. The Founders of the United States, like the Cybernauts of the Enlightenment they were, engineered a ship of state with checks and balances and error‑controlled feedbacks for the sake of representing both reality and the will of the people. In that connection Max Weber saw how a state's accounting systems are intended as representations of realities its crew and passengers must observe or perish.
The question for our time is —
• What are the forces distorting our representations of what's observed, what's expected, and what's intended?
Repercussions ─
The Place Where Three Wars Meet
• https://inquiryintoinquiry.com/2012/06/21/the-place-where-three-wars-meet/
Resource ─
Survey of Cybernetics
• https://inquiryintoinquiry.com/2024/01/25/survey-of-cybernetics-4/
#AdaptiveSystems #Cybernetics #SystemsTheory #Governance #Democracy
#Plato #Peirce #MaxWeber #Accountability #Representation #Statistics
#Inquiry #InquiryDrivenSystems #Observation #Expectation #Intention
Basal Ingredients Of Society • ℞
• https://inquiryintoinquiry.com/2025/02/20/basal-ingredients-of-society-%e2%84%9e-a/
❝THE SOCIAL COMPACT❞
❝If then we discard from the social compact what is not of its essence, we shall find that it reduces itself to the following terms:
❝“Each of us puts his person and all his power in common under the supreme direction of the general will, and, in our corporate capacity, we receive each member as an indivisible part of the whole.”❞
Reference —
Jean Jacques Rousseau, “The Social Contract”, G.D.H. Cole (trans.), Great Books of The Western World, Volume 38.
#AdaptiveSystems #Cybernetics #Democracy #Governance
#Inquiry #InquiryDrivenSystems #LearningOrganizations
#Reciprocity #Rousseau #SocialCompact #Sustainability
Basal Ingredients Of Society • Prologue
• https://inquiryintoinquiry.com/2025/02/18/basal-ingredients-of-society-prologue-a/
I settled on the acronym BIOS to suggest the vital elements of life in society, a life in association with others, and not just any association but one whose flickers of life are sustained for more than a few vicissitudes of history. Sustainability in that life requires democracy, a society based on a distinctive form of social compact.
• https://www.academia.edu/community/54MZbO
• https://bsky.app/profile/inquiryintoinquiry.bsky.social/post/3lihriaerw224
• https://www.researchgate.net/post/Basal_Ingredients_Of_Society
#AdaptiveSystems #Cybernetics #Democracy #Governance
#Inquiry #InquiryDrivenSystems #LearningOrganizations
#Reciprocity #Rousseau #SocialCompact #Sustainability
