⚠ It’s A Trap ⚠

Posted on May 18, 2013 by Jon Awbrey

Re: Kenneth W. Regan • Graduate Student Traps

The most common mathematical trap I run across has to do with Triadic Relation Irreducibility, as noted and treated by the polymath C.S. Peirce.

This trap lies in the mistaken belief that every 3-place (triadic or ternary) relation can be analyzed purely in terms of 2-place (dyadic or binary) relations — “purely” here meaning without resorting to any 3-place relations in the process.

A notable thinker who not only fell but led many others into this trap is none other than René Descartes, whose problematic maxim I noted in the following post.

As mathematical traps go, this one is hydra-headed.

I don’t know if it’s possible to put a prior restraint on the varieties of relational reduction that might be considered, but usually we are talking about either one of two types of reducibility.

Compositional Reducibility.  All triadic relations are irreducible under relational composition, since the composition of two dyadic relations is a dyadic relation, by the definition of relational composition.

Projective Reducibility.  Consider the projections of a triadic relation L \subseteq X \times Y \times Z on the 3 coordinate planes X \times Y, ~ X \times Z, ~ Y \times Z and ask whether these dyadic relations uniquely determine L.  If so, we say L is projectively reducible, otherwise it is projectively irreducible.

Et Sic Deinceps …

  • More Discussion of Relation Reduction • OEIS Wiki • PlanetMath
  • Previous Posts on Triadic Relation Irreducibility • (1) • (2) • (3)
Posted in C.S. Peirce, Category Theory, Descartes, Error, Fallibility, Logic, Logic of Relatives, Mathematical Traps, Mathematics, Peirce, Pragmatism, Reductionism, Relation Theory, Semiotics, Sign Relations, Triadic Relations | Tagged , , , , , , , , , , , , , , , | 5 Comments

Triadic Relation Irreducibility • 3

Posted on May 16, 2013 by Jon Awbrey

References

Related Readings

Posted in C.S. Peirce, Category Theory, Inquiry, Logic, Logic of Relatives, Mathematics, Peirce, Pragmatism, Relation Theory, Semiosis, Semiotics, Sign Relational Manifolds, Sign Relations, Teridentity, Thirdness, Triadic Relations | Tagged , , , , , , , , , , , , , , , | 1 Comment

grabitational singularity

Posted on May 16, 2013 by Jon Awbrey
the trouble with a bubble
on a pyramid top
is the point
when it
pop
⚠
⚠⚠
⚠⚠⚠
⚠⚠⚠⚠
⚠⚠⚠⚠⚠
⚠⚠⚠⚠⚠⚠
Posted in Grabitational Singularity, Singularity, Verse | Tagged , , | 2 Comments

What part do arguments from authority play in mathematical reasoning?

Posted on May 14, 2013 by Jon Awbrey

In forming your answer you may choose to address any or all of the following aspects of the question:

Descriptive
What part do arguments from authority actually play in mathematical reasoning?
Normative
What part do arguments from authority ideally play in mathematical reasoning?
Regulative
What if any discrepancies exist between the actual and the ideal?
What if anything should be done about the discrepancies that exist?

Recycled from a question I asked on MathOverFlow.

Posted in Artificial Intelligence, Authority, Control, Control Theory, Cybernetics, Fixation of Belief, History of Mathematics, History of Science, Information, Information Theory, Inquiry, Inquiry Driven Systems, Intelligent Systems, Intuition, Logic, Logic of Science, Mathematical Intuition, Mathematical Reasoning, Operations Research, Optimal Control, Optimization, Philosophy of Science, Scientific Method | Tagged , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

C.S. Peirce : Information = Comprehension × Extension

Posted on May 8, 2013 by Jon Awbrey

Re: R.J. Lipton and K.W. Regan • A Most Perplexing Mystery

The inverse relationship between symmetry and diversity — that we see for example in the lattice-inverting map of a Galois correspondence — is a variation on an old theme in logic called the “inverse proportionality of comprehension and extension”.

C.S. Peirce, in his probings of the “laws of information”, found this principle to be a special case of a more general formula, saying that the reciprocal relation holds only when the quantity of information is constant.

Readings

Posted in C.S. Peirce, Comprehension, Diversity, Extension, Information, Information = Comprehension × Extension, Inquiry, Intension, Logic, Logic of Science, Peirce, Reciprocity, Semiotics, Sign Relations, Symmetry, Variety | Tagged , , , , , , , , , , , , , , , | 13 Comments

Rock On

Posted on May 6, 2013 by Jon Awbrey
Elsewhere I have brought out the fact that human will had no other purpose than to maintain awareness.  But that could not do without discipline.  Of all the schools of patience and lucidity, creation is the most effective.  It is also the staggering evidence of man’s sole dignity:  the dogged revolt against his condition, perseverance in an effort considered sterile.  It calls for a daily effort, self-mastery, a precise estimate of the limits of truth, measure, and strength.  It constitutes an ascesis.  All that “for nothing”, in order to repeat and mark time.  But perhaps the great work of art has less importance in itself than in the ordeal it demands of a man and the opportunity it provides him of overcoming his phantoms and approaching a little closer to his naked reality. (115)
⁂  
All that remains is a fate whose outcome alone is fatal.  Outside of that single fatality of death, everything, joy or happiness, is liberty.  A world remains of which man is the sole master.  What bound him was the illusion of another world.  The outcome of his thought, ceasing to be renunciatory, flowers in images.  It frolics — in myths, to be sure, but myths with no other depth than that of human suffering and, like it, inexhaustible.  Not the divine fable that amuses and blinds, but the terrestrial face, gesture, and drama in which are summed up a difficult wisdom and an ephemeral passion. (117–118)
⁂  
I leave Sisyphus at the foot of the mountain!  One always finds one’s burden again.  But Sisyphus teaches the higher fidelity that negates the gods and raises rocks.  He too concludes that all is well.  This universe henceforth without a master seems to him neither sterile nor futile.  Each atom of that stone, each mineral flake of that night-filled mountain, in itself forms a world.  The struggle itself toward the heights is enough to fill a man’s heart.  One must imagine Sisyphus happy. (123)

Albert Camus, The Myth of Sisyphus and Other Essays, Justin O’Brien (trans.), Random House, New York, NY, 1991.  Originally published in France as Le Mythe de Sisyphe by Librairie Gallimard, 1942.  First published in the United States by Alfred A. Knopf, 1955.

Posted in Absurdity, Albert Camus, Diversity, Existentialism, Freedom, Myth, Oedipus, Passion, Revolt, Sisyphus | Tagged , , , , , , , , , | 14 Comments

Finding a Needle in a Cactus Patch

Posted on April 30, 2013 by Jon Awbrey

Re: R.J. Lipton • Sex, Lies, And Quantum Computers

Don’t know much about quantum computation, but my ventures in graphical syntaxes for propositional calculus did turn up a logical operator whose evaluation process reminded me a little of the themes involved in the collapse of the wave function.

Here is the essential information —

Boolean formulas constructed from minimal negation operators can be given graph-theoretic representation as “decorated” or “painted” versions of rooted cactus graphs.

Here are a couple of places where you can see some pictures and a description of the Fundamental Evaluation Rule for cactus expressions of propositional formulas.

Posted in Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Graph Theory, Logic, Logical Graphs, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Quantum Computing, Semiotics | Tagged , , , , , , , , , , , , | 4 Comments

Revolt, Freedom, Passion

Posted on April 23, 2013 by Jon Awbrey
Thus I draw from the absurd three consequences, which are my revolt, my freedom, and my passion. By the mere activity of consciousness I transform into a rule of life what was an invitation to death — and I refuse suicide. I know, to be sure, the dull resonance that vibrates throughout these days. Yet I have but a word to say: that it is necessary. When Nietzsche writes: “It clearly seems that the chief thing in heaven and on earth is to obey at length and in a single direction: in the long run there results something for which it is worth the trouble of living on this earth as, for example, virtue, art, music, the dance, reason, the mind — something that transfigures, something delicate, mad, or divine,” he elucidates the rule of a really distinguished code of ethics. But he also points the way of the absurd man. Obeying the flame is both the easiest and the hardest thing to do. However, it is good for man to judge himself occasionally. He is alone in being able to do so. (64–65)

Albert Camus, The Myth of Sisyphus and Other Essays, Justin O’Brien (trans.), Random House, New York, NY, 1991. Originally published in France as Le Mythe de Sisyphe by Librairie Gallimard, 1942. First published in the United States by Alfred A. Knopf, 1955.

Posted in Absurdity, Albert Camus, Existentialism, Freedom, Inquiry, Method, Nietzsche, Passion, Revolt, Sisyphus | Tagged , , , , , , , , , | 3 Comments

Absurdum Quid

Posted on April 22, 2013 by Jon Awbrey
I am thus justified in saying that the feeling of absurdity does not spring from the mere scrutiny of a fact or an impression, but that it bursts from the comparison between a bare fact and a certain reality, between an action and the world that transcends it. The absurd is essentially a divorce. It lies in neither of the elements compared; it is born of their confrontation.

In this particular case and on the plane of intelligence, I can therefore say that the Absurd is not in man (if such a metaphor could have a meaning) nor in the world, but in their presence together. For the moment it is the only bond uniting them. If I wish to limit myself to facts, I know what man wants, I know what the world offers him, and now I can say that I also know what links them. I have no need to dig deeper. A single certainty is enough for the seeker. He simply has to derive all the consequences from it.

The immediate consequence is also a rule of method. The odd trinity brought to light in this way is certainly not a startling discovery. But it resembles the data of experience in that it is both infinitely simple and infinitely complicated. Its first distinguishing feature in this regard is that it cannot be divided. To destroy one of its terms is to destroy the whole. There can be no absurd outside the human mind. Thus, like everything else, the absurd ends with death. But there can be no absurd outside this world either. And it is by this elementary criterion that I judge the notion of the absurd to be essential and consider that it can stand as the first of my truths.

 (30–31)

Albert Camus, The Myth of Sisyphus and Other Essays, Justin O’Brien (trans.), Random House, New York, NY, 1991. Originally published in France as Le Mythe de Sisyphe by Librairie Gallimard, 1942. First published in the United States by Alfred A. Knopf, 1955.

Posted in Absurdity, Albert Camus, Existentialism, Inquiry, Method, Peirce, Pragmatic Maxim, Pragmatism, Sisyphus, Tertium Quid, Thirdness, Triadicity | Tagged , , , , , , , , , , , | 1 Comment

Infinite Uses → Finite Means

Posted on April 17, 2013 by Jon Awbrey
The idea that a language is based on a system of rules determining the interpretation of its infinitely many sentences is by no means novel.  Well over a century ago, it was expressed with reasonable clarity by Wilhelm von Humboldt in his famous but rarely studied introduction to general linguistics (Humboldt, 1836).  His view that a language “makes infinite use of finite means” and that its grammar must describe the processes that make this possible is, furthermore, an outgrowth of a persistent concern, within rationalistic philosophy of language and mind, with this “creative” aspect of language use. (v)
⁂  
Although it was well understood that linguistic processes are in some sense “creative”, the technical devices for expressing a system of recursive processes were simply not available until much more recently.  In fact, a real understanding of how a language can (in Humboldt’s words) “make infinite use of finite means” has developed only within the last thirty years, in the course of studies in the foundations of mathematics. (8)

Reference

  • Noam Chomsky (1965), Aspects of the Theory of Syntax, MIT Press, Cambridge, MA.

Resource

Posted in Automata, Chomsky, Descartes, Finite Means, Formal Grammars, Formal Languages, Foundations of Mathematics, Infinite Use, Innate Ideas, Linguistics, Pigeonhole Principle, Recursion, Syntax, Wilhelm von Humboldt | Tagged , , , , , , , , , , , , , | Leave a comment