- Differential Logic • Part 1 • Part 2 • Part 3

- Differential Logic and Dynamic Systems
- Part 1 • Part 2 • Part 3 • Part 4 • Part 5
- Appendices • References

- Differential Logic, Dynamic Systems, Tangent Functors • (1)

- Differential Logic and Dynamic Systems
- Part 1 • Part 2 • Part 3 • Part 4 • Part 5
- Appendices • References
- Differential Analytic Turing Automata

- The Present Is Big With The Future • Leibniz • (1) • (2)
- All Process, No Paradox • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9)
- Time, Topology, Differential Logic • (1) • (2) • (3) • (4) • (5) • (6)

cc: Conceptual Graphs • Cybernetics • Ontolog • Structural Modeling • Systems Science

cc: FB | Differential Logic • Mathstodon | Differential Logic • Laws of Form (1) (2)

- AS:
- I see — “sign relation” is a special term for triadic relations of some kind (with some properties); like this: thing in first position and thing in second position must refer to the thing in third position. Where “refer” is an unary partial function from one thing to another. Am I on a right direction?

Hi Alex,

It is not uncommon in practice to find a sign having many interpretant signs and many referent objects Generally speaking, then, we start out with a sign relation as a subset of a cartesian product where are sets called the *object domain*, *sign domain*, *interpretant sign domain*, respectively. A definition of a sign relation — there are a few canonical ones we find useful in practice — will specify what sort of constraint is involved in forming that subset.

Regards,

Jon

cc: Conceptual Graphs • Cybernetics • Laws of Form • Ontolog Forum

cc: FB | Semeiotics • Structural Modeling • Systems Science

- AS:
- Not on a narrow topic, but maybe you have a desire to answer.

Hypothesis. Any material something can be a sign.

Is it possible to give an example of something material that cannot be a sign?

Hi Alex,

Sign relations are mathematical relations we can use to model processes of communication, learning, reasoning, just plain talking and thinking in general. Anytime we can imagine a triadic relation where one thing, material or otherwise, is related to a second thing in such a way that both refer to a third thing, and that whole relationship is useful in modeling one of the above mentioned processes, then we have a candidate which may be suitable for serving the purpose of a sign relation in the pragmatic conception of the term.

Regards,

Jon

cc: Conceptual Graphs • Cybernetics • Laws of Form • Ontolog Forum

cc: FB | Semeiotics • Structural Modeling • Systems Science

*The arc of the semiotic universe is long but it bends towards universal harmony.*

Re: FB | Semiotics, Books, Links, News • What’s at the End of a Chain of Interpretants?

Semiotic manifolds, like physical and mathematical manifolds, may be finite and bounded or infinite and unbounded but they may also be finite and unbounded, having no boundary in the topological sense. Thus unbounded semiosis does not imply infinite semiosis.

Here are two points in previous discussions where the question of infinite semiosis came up.

- Inquiry List • Futures Of Logical Graphs

cc: Conceptual Graphs • Cybernetics • Laws of Form • Ontolog Forum

cc: FB | Semeiotics • Structural Modeling • Systems Science

The problem we face is as old as the problem of other minds, or intersubjectivity, or even commensurability, and it naturally involves a whole slew of other old problems — reality and appearance, or reality and representation, not to mention the one and the many. One way to sum up the question might be “conditions on the possibility of a mutually objective world”.

Working on what oftentimes seems like the tenuous assumption that there really is a real world causing the impressions in my mind and the impressions in yours — more generally speaking, that there really is a real world impressing itself in systematic measures on every frame of reference — we find ourselves pressed to give an account of the hypothetical unity beneath the manifest diversity — and how it is possible to discover the former in the latter.

Manifold theory proposes one type of solution to that host of problems.

cc: FB | Semeiotics • Structural Modeling • Systems Science

cc: FB | Semeiotics • Structural Modeling • Systems Science

Springer‑Verlag, New York, NY, 1995.

- 2.2. Submanifolds, Immersions, Submersions • (7) • (8) • (9) • (10) • (11) • (12) • (13) • (14) • (15) • (16) • (17) • (18)

Using the concepts and terminology from Lang’s text, I explained the connection between manifold theory and semiotics in the following way.

cc: FB | Semeiotics • Structural Modeling • Systems Science

What brought the concept of a manifold to mind in that context was a set of problems associated with *perspectivity*, *relativity*, and *interoperability* among multiple ontologies. To my way of thinking, those are the very sorts of problems manifolds were invented to handle.

- Doolin, Brian F., and Martin, Clyde F. (1990),
*Introduction to Differential Geometry for Engineers*, Marcel Dekker, New York, NY.

cc: FB | Semeiotics • Structural Modeling • Systems Science

I will have to wait for my present train of thought to stop at a station before I can hop another but several recent discussions of geometry have brought the subject back to mind and I thought it might serve to drop off a few mail bags of related letters in anticipation of the next pass through this junction.

Here is a set of excerpts from Murray G. Murphey (1961), *The Development of Peirce’s Philosophy*, discussing Peirce’s reception of Riemann’s philosophy of geometry.

- Manifolds of Signs • (1) • (2) • (3)

Later developments of the manifold concept, looking to applications on the one hand and theory on the other, are illustrated by excerpts in the next two posts.

cc: FB | Semeiotics • Structural Modeling • Systems Science

Re: FB | Charles S. Peirce Society • Joseph Harry

Paradoxes star among my first loves in logic. So enamored was I with tricks of the mind’s eye I remember once concocting the motto, “Only what is paradoxical is ornery enough to exist”. These days my less precocious self tends to suspect all our nominal paradoxes will gradually dissolve on sufficient inspection and placement in the proper light. There I find the pragmatic spectrum of C.S. Peirce, stretching from the theory of triadic sign relations to the mathematical forms underlying logic, brings a full range of lights to the purpose.

It was by those lights, Peirce’s semiotic and logical graphs, I came to see through the fog of misdirection surrounding the so-called Liar Paradox, inscribing my epitaph to Epimenides under the heading “All Liar, No Paradox”. More than that it became possible to see how the apparent paradox derives its appearance from unexamined assumptions about the relation between signs and objects.

That much prologue brings us up to speed with the Zeroth Law Of Semiotics and the scene of Joseph Harry’s remarks.

- JH:
- “Meaning is a privilege not a right” would seem to be a meaningless proposition, since ‘privilege’ and ‘right’ are third-order evaluative, symbolic terms, while ‘meaning’ is a neutral second-order term, implying only existential individualized dynamic activity or process. Driving (a car) is a privilege not a right, but meaning is neither.

Dear Joseph,

That may be too literal a reading for Zero‑Aster’s poetic figure. If I read the oracle right, the contrast between “privilege” and “right” serves merely to mark the distinction between meanings optional and obligatory. Whether any hint of “private law” or “law unto itself” is intended or involved is something I would have to spend more time thinking about.

Regards,

Jon

cc: Conceptual Graphs • Cybernetics • Laws of Form (1) (2) • Ontolog Forum

cc: FB | Semeiotics • Peirce List (1) (2) (3) • Structural Modeling • Systems Science