## Fourier Transforms of Boolean Functions

Re: Another Problem

The problem is concretely about Boolean functions of variables, and seems not to involve prime numbers at all. For any subset of the coordinates, the corresponding Fourier coefficient is given by:

where is if is odd, and otherwise.

Need to play around with this concept a while …

## Gaussian Coefficients

The *Gaussian coefficient*, also known as the *q-binomial coefficient*, is notated as Gauss(*n*, *k*)_{q} and given by the following formula:

(*q*^{n}−1)(*q*^{n−1}−1) … (*q*^{n−k+1}−1) / (*q ^{k}*−1)(

*q*

^{k−1}−1) … (

*q*−1).

The ordinary generating function for selecting at most one positive integer is:

1/(1−*q*) = 1 + *q* + *q*^{2} + *q*^{3} + …

The ordinary generating function for selecting exactly one positive integer is:

*q*/(1−*q*) = *q* + *q*^{2} + *q*^{3} + *q*^{4} + …

The ordinary generating function for selecting exactly one positive integer ≥ *n* is:

*q*^{n}/(1−*q*) = *q*^{n} + *q*^{n+1} + *q*^{n+2} + *q*^{n+3} + …

The ordinary generating function for selecting exactly one positive integer < *n* is:

*q*/(1−*q*) − *q*^{n}/(1−*q*) = *q* + *q*^{2} + … + *q*^{n−2} + *q*^{n−1}

(*q* − *q*^{n}) / (1 − *q*) = *q* + *q*^{2} + … + *q*^{n−2} + *q*^{n−1}

(*q*^{n} − *q*) / (*q* − 1) = *q* + *q*^{2} + … + *q*^{n−2} + *q*^{n−1}

The ordinary generating function for selecting at most one positive integer < *n* is:

(*q*^{n} − 1) / (*q* − 1) = 1 + *q* + *q*^{2} + … + *q*^{n−2} + *q*^{n−1}

The ordinary generating function for selecting at most one positive multiple of *k* is:

1/(1−*q*^{k}) = 1 + *q*^{k} + *q*^{2k} + *q*^{3k} + …

We have come to a critical point in the arc of democratic societies, where the idea that money can regulate itself, evangelized by the Church of the Invisible Hand, has tipped its hand to the delusion that money itself can regulate society.

Laßt uns rechnen …

One … Two … Three …

— Robert Musil •

The Man Without Qualitiese^{iπ}Benjamin Peirce apparently liked this mathematical synonym for the additive inverse of 1 so much that he introduced three special symbols for e, i, π — ones that enable e

^{iπ}to be written in a single cursive ligature, as shown here.This reminds me of some things I used to think about — I always loved

~~working~~playing with generating functions and I can remember a time in the 80s when I was very pleased with myself for working out theq-analogue of integration by parts— but it will probably take me a while to warm up those old gray cells today.Let me first see if I can get LaTeX to work in these comment boxes …

The

Gaussian coefficient, also known as theq-binomial coefficient, is notated as Gauss(n,k)_{q}and given by the following formula:(

q^{n}−1)(q^{n−1}−1) … (q^{n−k+1}−1) / (q−1)(^{k}q^{k−1}−1) … (q−1).Groups like acting on the space of boolean functions on variables come up in my explorations of differential logic.

Here’s one indication of a context where these groups come up —

Here’s a discussion of the case where

NotesRecent Developments in Switching TheoryAll Learning Is But Recollection

All Leaning Is But Reïnclination

And they will lean that way forever …I lean that way myself, inclined to believe

All leaning inclines to preserve the swerve.

If

Then the Shadow falls in a moat

Between the castle of invention

And the undiscovered country.

If

Then the Shadow falls in a moat

Between the castle of invention

And the undiscovered country.

Plato, “Timaeus”, 38 A

Benjamin Jowett (trans.)

Try 9001 and 9002 = 〈 and 〉

Or 12296 and 12297 = 〈 and 〉

⟨ ⟩ = ⟨ ⟩ = ⟨ ⟩

Other possibilities short of using LaTeX —

〈 〉 = 〈 〉

〈 〉 = 〈 〉

If we are thinking about records of a fixed finite length and a fixed signature then a relational data base is a finite subset of a -dimensional coordinate space

Given a non-empty subset of the indices we can take the projection of on the subspace

Saying that “a query is likely to use only a few columns” amounts to saying that most of the time we can get by with the help of our small dimension projections. This is akin to a very old idea, having its ancestor in Descartes’ suggestion that “we should never attend to more than one or two” dimensions at a time.

cf. Château Descartes

Just a thought, more loose than lucid most likely —

There is another kind of “discrete logarithm” that I used to call the “vector logarithm” of a positive integer Consider the primes factorization of and write the exponents of the primes in order as a coordinate tuple where for any prime not dividing and where the exponents are all after some finite point. Then multiplying two positive integers maps to adding the corresponding vectors.

## Emeticon

http://s583.photobucket.com/user/metasonix/media/vomit.gif.html

[URL=http://s583.photobucket.com/user/metasonix/media/vomit.gif.html][IMG]http://i583.photobucket.com/albums/ss273/metasonix/vomit.gif[/IMG][/URL]

The following tag would normally force invisible borders on a table:

`<table border="0" style="border-width:0">`

But WordPress still leaves a light border line on top of each cell, so you have to add the following parameter to each table datum:

`<td style="border-top:1px solid white">`

Sign relations are just a special case of triadic relations, in much the same way that groups and group actions are special types of triadic relations. It’s a bit of a complication that we participate in sign relations whenever we try to talk about anything else, but it still makes sense to try and tease the separate issues apart as much as we can.

As far as relations in general go, relative terms are often expressed by slotted frames like “brother of __”, “divisor of __”, or “sum of __ and __”. Peirce referred to these kinds of incomplete expressions as

rhemesorrhemataand Frege used the adjectiveungesättigtorunsaturatedto convey more or less the same idea.Switching the focus to sign relations, it’s a fair question to ask what sorts of objects might be denoted by pieces of code like “brother of __”, “divisor of __”, or “sum of __ and __”. And while we’re at it, what is this thing called

denotation, anyway?It may help to clarify the relationship between logical

relativesand mathematicalrelations. The wordrelativeas used in logic is short forrelative term— as such it refers to a piece of language that is used to denote a formal object. So what kind of object is that? The way things work in mathematics, we are free to make up a formal object that corresponds directly to the term, so long as we can form a consistent theory of it, but in our case it is probably easier to relate the relative term to the kinds of relations we already know and love in mathematics and database theory.In those contexts a relation is just a set of ordered tuples and, if you are a fan of strong typing like I am, such a set is always set in a specific setting, namely, it’s a subset of a specific Cartesian product.

Peirce wrote -tuples in the form and referred to them as

elementary -adic relatives. He expressed a set of -tuples as a “logical sum” or “logical aggregate”, what we would call a logical disjunction of these elementary relatives, and he frequently regarded them as being arranged in the form of -dimensional arrays.Time for some concrete examples, which I will give in the next comment …

Table 1 shows the first few ordered pairs in the relation on positive integers that corresponds to the relative term, “divisor of”. Thus, the ordered pair appears in the relation if and only if

Table 2 shows the same information in the form of a

logical matrix. This has a coefficient of in row and column when , otherwise it has a coefficient of (The zero entries have been omitted here for ease of reading.)In much the same way that matrices in linear algebra represent linear transformations, these logical arrays and matrices represent logical transformations.

To be continued …Ð ð

Arrays like the ones sampled above supply a way to understand the difference between a relation and its associated relative terms. To make a long story short, we could say that a

relative termis a relation plus an indication of its intended application. But explaining what that means will naturally take a longer story.In his first paper on the “Logic of Relatives” (1870) Peirce treated sets — in other words, the extensions of concepts — as

logical aggregatesorlogical sums. He wrote a plus sign with a comma to indicate an operation of logical addition, abstractly equivalent to inclusive “or”, that was used to form these sums.For example, letting be the concept of the first ten positive integers, it can be expressed as the following logical sum.

Relations, as sets of tuples, can also be expressed as logical sums.

For example, letting be the divisibility relation on positive integers, it is possible to think of as a logical sum that begins in the following way.

It should be apparent that this is only a form of expression, not a definition, since it takes a prior concept of divisibility to say what ordered pairs appear in the sum, but it’s a reformulation that has its uses, nonetheless.

To be continued …Define operations on the elementary relatives that obey the following rules:

Extending these rules in the usual distributive fashion to sums of elementary monadic and dyadic relatives allows us to define

relative multiplicationsof the following forms:where and are 2-adic relatives,

where is 2-adic and is 1-adic,

where is 1-adic and is 2-adic.

For example, expressed in terms of coefficients, the relative product of 2-adic relatives and is given by the following formula:

This will of course remind everyone of the formula for multiplying matrices in linear algebra, but I have affixed a comma atop the summation symbol to remind us that the logical sum is the inclusive disjunction — that Peirce wrote as — and not the exclusive disjunction that corresponds to the linear algebraic sum

To be continued …To the extent that mathematics has to do with reasoning about possible existence, or inference from pure hypothesis, a line of thinking going back to Aristotle and developed greatly by C.S. Peirce may have some bearing on the question of How and Why Mathematics is Possible. In that line of thought, hypothesis formation is treated as a case of “abductive” inference, whose job in science generally is to supply suitable raw materials for deduction and induction to develop and test. In that light, a large part of our original question becomes, as Peirce once expressed it —

Is it reasonable to believe that “we can trust to the human mind’s having such a power of guessing right that before very many hypotheses shall have been tried, intelligent guessing may be expected to lead us to the one which will support all tests, leaving the vast majority of possible hypotheses unexamined”? (Peirce,

Collected Papers, CP 6.530).The question may fit the situation in mathematics slightly better if we modify the word

hypothesisto sayproof.The Jug of PunchBein’ on the twenty-third of June,

As I sat weaving all at my loom,

Bein’ on the twenty-third of June,

As I sat weaving all at my loom,

I heard a thrush, singing on yon bush,

And the song she sang was

The Jug of Punch.What more pleasure can a boy desire,

Than sitting down beside the fire?

What more pleasure can a boy desire,

Than sitting down beside the fire?

And in his hand a jug of punch,

And on his knee a tidy wench.

When I am dead and left in my mould,

At my head and feet place a flowing bowl,

When I am dead and left in my mould,

At my head and feet place a flowing bowl,

And every young man that passes by,

He can have a drink and remember I.

All Liar, No ParadoxAccording to my understanding of it, the so-called Liar Paradox is just the most simple-minded of fallacies, involving nothing more mysterious than the acceptance of a false assumption, from which anyone can prove anything at all.

Let us contemplate one of the shapes in which the putative Liar Paradox is commonly cast:

Somebody writes down:

1. Statement 1 is false.

Then you are led to reason: If Statement 1 is false then by the principle that permits the substitution of equals in a true statement to obtain yet another true statement, you can derive the result:

“Statement 1 is false” is false. Ergo, Statement 1 is true, and so on, and so on, ad nauseam infinitum.

Where did you go wrong? Where were you misled?

Just here, to wit, where it is writ:

1. Statement 1 is false.

What is this really saying? Well, it’s the same as writing:

Statement 1. Statement 1 is false.

And what the heck does this dot.comment say? It is inducing you to accept this identity:

“Statement 1” = “Statement 1 is false”.

That appears to be a purely syntactic indexing,the sort of thing you are led to believe that you can do arbitrarily, with logical impunity. But you cannot, for syntactic identity implies logical equivalence, and that is liable to find itself constrained by iron bands of logical law.

And you cannot, not with logical impunity, assume the result of this transmutation, which would be as much as to say this:

“Statement 1” = “Negation of Statement 1”

And this my friends, call it “Statement 0”, is purely and simply a false statement, with no hint of paradox about it.

Statement 0 was slipped into your drink before you were even starting to think. A bit before you were led to substitute you should have examined more carefully the site proposed for the substitution!

For the principle that you rushed to use does not permit you to substitute unequals into a statement that is false to begin with, not just in the first place, but even before, in the zeroth place of argument, as it were, and still expect to come up with a truth.

Now let that be the end of that.

Of course, the solution to the conundrum is that statement 1 is sometimes false. If “statement 1 is false” is equivalent to “statement 1 is always false”, then it is an example of where it is false.

For the moment, I am viewing these questions merely as matters of classical propositional logic, even just Boolean formulas.

If we have a Boolean formula like then we do not know whether and are true or false, but we do know that the formula as a whole is true, because we adopted axioms beforehand to make it so.

In that perspective, a form like “1. Statement 1 is true” is just a way of expressing the formula “Statement 1 = (Statement 1 = true)”, which has the form which is true on the adopted axioms.

FYSMI (funny you should mention it), but I was thinking about Dirac holes just the other day, in connection with an inquiry into Fourier Transforms of Boolean Functions.

I have there a notion of

singular propositions, which are Boolean functions that pick out single cells in their given universe of discourse, and I needed a handy name for the complements of these. I suppose I could have been gutsy and called them “Awbrey holes”, but it turns out that a long ago near-namesake of mine is already credited with the discovery of something else entirely under very nearly that name. So I finally settled oncrenular propositions.Someone might enjoy looking at the complexity of Boolean functions as expressed in terms of

minimal negation operators. Such expressions have graph-theoretic representations in a species of cactus graphs calledpainted and rooted cacti, as illustrated here:• Cactus Language for Propositional Logic

I know I once made a table of more or less canonical cactus expressions for the 256 Boolean functions on 3 variables, but I will have to look for that later.

Peirce’s “Pickwickian” paragraph comes to mind, said Jon Perennially —

— C.S. Peirce,

Collected Papers, CP 5.421.Charles Sanders Peirce, “What Pragmatism Is”,

The Monist, Volume 15, 1905, 161–181. Reprinted in theCollected Papers, CP 5.411–437.— Charles Dickens •

Hard TimesOne of the first things we learn in systems theory and engineering is that meaningless measures are always the easiest to make and to game. The one thing needful for a meaningful measure is to ask — and to keep on asking — the eminently practical question, “What is the purpose of this system?”

What is the purpose of an educational system? What is the purpose of an economic system? What is the purpose of a governmental system? Take your eyes off those prizes and you lose sight of all.

Benjamin Peirce liked Euler’s Formula so much that he introduced three special symbols for — ones that enable to be written in a single cursive ligature, as shown in this note.

… the way our DNA would prove it …

hypotheses non fingerprinto —But I’m captivated by the fingerprints of finite partial functions

— Geoffrey Chaucer • “The Squire’s Tale”

It sometimes helps to think of a set of boolean functions as a higher order boolean function and to view these as a type of generalized quantifiers.

‰

‰ → ‰

Synchronicity Rules❢

I just started reworking an old exposition of mine on Cook’s Theorem, where I borrowed the Parity Function example from Wilf (1986),

Algorithms and Complexity, and translated it into the cactus graph syntax for propositional calculus that I developed as an extension of Peirce’s logical graphs.☞ Parity Machine Example

In the Realm of Riffs and Rotes —

There are pictures of 23 and 512 here.

Re: A Request That We Passed On

## Source Copy

A

proof predicatehas the form and says that is a valid proof (in a given formal system) of the formula . This is the logical analogue of checking the validity of a computation by a particular machine. Aprovability predicatethen has the form .The weird fact, which applies to the same natural strong formal systems that Kurt Gödel’s famous incompleteness theorems hold for, is that there are statements such that proves , but does not prove itself.

## Transcription

A

proof predicatehas the form and says that is a valid proof (in a given formal system) of the formula This is the logical analogue of checking the validity of a computation by a particular machine. Aprovability predicatethen has the formThe weird fact, which applies to the same natural strong formal systems that Kurt Gödel’s famous incompleteness theorems hold for, is that there are statements such that proves but does not prove itself.

Exercise for the Reader —

Draw the Riff and Rote for

— Dante •

Purgatorio09.112–114— Robert Musil •

The Man Without QualitiesRe: “Are there more good cases of isomorphism to study?”

Just off the top of my head, as Data says, there are a couple of examples that come to mind.

Sign Relations.In computational settings, a sign relation is a triadic relation of the form where is a set of formal objects under consideration and and are two formal languages used to denote those objects. It is common practice to cut one’s teeth on the special case before moving on to more solid diets.Cactus Graphs.In particular, a variant of cactus graphs known (by me, anyway) aspainted and rooted cacti(PARCs) affords us with a very efficient graphical syntax for propositional calculus.I’ll post a few links in the next couple of comments.

Minimal Negation Operators and Painted CactiLet

The mathematical objects of penultimate interest are the boolean functions for

A

minimal negation operatorfor is a boolean function defined as follows:•

• if and only if exactly one of the arguments equals

The first few of these operators are already enough to generate all boolean functions via functional composition but the rest of the family is worth keeping around for many practical purposes.

In most contexts may be written for since the number of arguments determines the rank of the operator. In some contexts even the letter may be omitted, writing just the argument list in which case it helps to use a distinctive typeface for the list delimiters, as

A logical conjunction of arguments can be expressed in terms of minimal negation operators as and this is conveniently abbreviated as a concatenation of arguments

See the following article for more information:

☞ Minimal Negation Operators

To be continued …

The species of cactus graphs we want here are all constructed from a single family of logical operators called

minimal negation operators. The operator is a boolean function such that just in case exactly one of the arguments equalsAwbrey, S.M., and Scott, D.K. (August 1993), “Educating Critical Thinkers for a Democratic Society”, in

Critical Thinking : The Reform of Education and the New Global Economic Realities, Thirteenth Annual International Conference of The Center for Critical Thinking, Rohnert, CA. ERIC Document ED4703251. Online.Aristotle understood that the affective is the basis of the cognitive.

☞ Interpretation as Action : The Risk of Inquiry

Let me get some notational matters out of the way before continuing.

I use for a generic 2-point set, usually and usually but not always interpreted for logic so that and I use “teletype” parentheses for negation, so that for Later on I’ll be using teletype format lists for minimal negation operators.

As long as we’re reading as a boolean variable the equation is not paradoxical but simply false. As an algebraic structure can be extended in many ways but that leaves open the question of whether those extensions have any application to logic.

On the other hand, the assignment statement makes perfect sense in computational contexts. The effect of the assignment operation on the value of the variable is commonly expressed in time series notation as and the same change is expressed even more succinctly by defining and writing

Now suppose we are observing the time evolution of a system with a boolean state variable and what we observe is the following time series:

Computing the first differences we get:

Computing the second differences we get:

This leads to thinking of the system as having an extended state and this additional language gives us the facility of describing state transitions in terms of the various orders of differences. For example, the rule can now be expressed by the rule

The following article has a few more examples along these lines:

☞ Differential Analytic Turing Automata

To my way of thinking, boolean universes are some of the most fascinating and useful spaces around, so anything that encourages their exploration is a good thing.

I doubt if there is any such thing as a perfect calculus or syntactic system for articulating their structure but some are decidedly better than others and any improvement we find makes a positive difference in the order of practical problems we can solve in the time we have at hand.

In that perspective, it seems to me that too fixed a focus on P versus NP leads to a condition of tunnel vision that obstructs the broader exploration of those spaces and the families of calculi for working with them.

Questions about a suitable analogue of differential calculus for boolean spaces keep popping (or pipping) up. Having spent a fair amount of time exploring the most likely analogies between real spaces like and the corresponding boolean spaces where I can’t say I’ve gotten all that far, but some of my first few, halting steps are recorded here:

☞ Differential Logic and Dynamic Systems

We shall not cease from exploration

And the end of all our exploring

Will be to arrive where we started

And know the place for the first time.

— T.S. Eliot • Little Gidding

I can’t remember when I first started playing with Gödel codings of graph-theoretic structures, which arose in logical and computational settings, but I remember being egged on in that direction by Martin Gardner’s 1976 column on Catalan numbers, planted plane trees, polygon dissections, etc.

Codings being injections from a combinatorial species to integers, either non-negative integers or positive integers I was especially interested in codings that were also surjective, thereby revealing something about the target domain of arithmetic.

The most interesting bijection I found was between positive integers and finite partial functions from to All of this comes straight out of the primes factorizations. That type of bijection may remind some people of Dana Scott’s Corresponding to the positive integers there arose two species of graphical structures, which I dubbed

riffsandrotes.Re: Why Is Congruence Hard To Learn?

I always have pictures like this in my head.

I remember having a similar discussion a number of times in the early days of object-oriented programming, or at least when the “fadding crowd” first latched onto it.

We might picture the dyadic relation between Objects and Processes as a rectangular matrix with an entry of indicating where Process has meaningful application to Object

Then the process orientation amounts to slicing the matrix along columns while the object orientation amounts to slicing it along rows.

But a more general orientation might consider the possibility that the tuples naturally cluster in different ways, partitioning the space into shapes more general than vertical or horizontal stripes.

On Boole’s Ark all cases come two by two. Here’s a sketch of the Case Analysis-Synthesis Theorem (CAST) that weathers any deluge:

Case Analysis-Synthesis Theorem

The most striking example of a “Primitive Insight Proof” (PIP❢) known to me is the Dawes–Utting proof of the Double Negation Theorem from the CSP–GSB axioms for propositional logic. There is a graphically illustrated discussion here. I cannot guess what order of insight it took to find this proof — for me it would have involved a whole lot of random search through the space of possible proofs, and that’s even if I got the notion to look for one.

There is of course a much deeper order of insight into the mathematical form of logical reasoning that it took C.S. Peirce to arrive at his maximally elegant 4-axiom set.

The insight that it takes to find a succinct axiom set for a theoretical domain falls under the heading of abductive or retroductive reasoning, a knack as yet refractory to computational attack, but once we’ve lucked on a select-enough set of axioms we can develop theorems that afford us a more navigable course through the subject.

For example, back on the range of propositional calculus, it takes but a few pivotal theorems and the lever of mathematical induction to derive the Case Analysis-Synthesis Theorem (CAST), which provides a bridge between proof-theoretic methods that demand a modicum of insight and model-theoretic methods that can be run routinely.

“And if we don’t, 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 that drive us in that way?

Discussions like these 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 that drive us to recognize them, to pick them out of a crowd of formal possibilities?

Thanks for all that. My snippet was from the B.S. Miller rendering, and I did get an inkling while reading it of an Eleatic influence on the translator. Your recent mention of Arjuna sent me reeling back to some readings and writings I was immersed in 20 years ago. A few days’ digging turned up hard and soft copies of a WinWord mutilation of MacWord document that unfortunately lost all the graphics and half the formatting, but LibreOffice was able to export a MediaWiki text that I could paste up on one of my wikis. Traveling coming up so it may be another couple weeks before I can LaTeX what needs to be LaTeXed, but here is the link for future reference:

☸ Inquiry Driven Systems : Fields Of Inquiry

❤

Skew = Agonic =

Chiaroscuro =

As I read him, Peirce began with a quest to understand how science works, which required him to examine how symbolic mediations inform inquiry, which in turn required him to develop the logic of relatives beyond its bare beginnings in De Morgan. There are therefore intimate links, which I am still trying to understand, among his respective theories of inquiry, signs, and relations.

There’s a bit on the relation between interpretation and inquiry here and a bit more on the three types of inference — abduction, deduction, induction — here.

There is a deep and pervasive analogy between systems of commerce and systems of communication, turning on their near-universal use of

symbola(images, media, proxies, signs, symbols, tokens, etc.) to stand forpragmata(objects, objective values, the things we really care about, or would really care about if we examined our values in practice thoroughly enough).Both types of sign-using systems are prey to the same sort of dysfunction or functional disease — it sets in when their users confuse signs with objects so badly that signs become ends instead of means.

There is a vast literature on this topic, once you think to go looking for it. And it’s a perennial theme in fable and fiction.

☞ Recycling a comment on Cathy O’Neil’s blog from two years ago …

My brother James is a social anthropologist who wrote a dissertation with constant reference to Weber and we used to have long discussions about the routinization of charisma. I came to it from the direction of Meno’s question whether virtue can be taught. So let us add

virtuoso, adjective and substantive, to the krater before us.From what I’ve seen, Peirce’s brand of pragmatism, as an application of the closure

cumrepresentation principle known as the pragmatic maxim and incorporating realism about generals, is a sturdier stage for mathematical performance than the derivative styles of neo-pragmatism that Gene Halton aptly described as “fragmatism”.Immanuel Kant discussed the correspondence theory of truth in the following manner:

Truth is said to consist in the agreement of knowledge with the object. According to this mere verbal definition, then, my knowledge, in order to be true, must agree with the object. Now, I can only compare the object with my knowledge by this means, namely,

by taking knowledge of it. My knowledge, then, is to be verified by itself, which is far from being sufficient for truth. For as the object is external to me, and the knowledge is in me, I can only judge whether my knowledge of the object agrees with my knowledge of the object. Such a circle in explanation was called by the ancientsDiallelos. And the logicians were accused of this fallacy by the sceptics, who remarked that this account of truth was as if a man before a judicial tribunal should make a statement, and appeal in support of it to a witness whom no one knows, but who defends his own credibility by saying that the man who had called him as a witness is an honourable man. (Kant, 45)Kant, Immanuel (1800),

Introduction to Logic. Reprinted, Thomas Kingsmill Abbott (trans.), Dennis Sweet (intro.), Barnes and Noble, New York, NY, 2005.There are bits of ambiguity in the use of words like

empiricalandexternal.If by

empiricalwe meanbased on experience, then it brings to mind the maxim of a famous intuitionist (whose name I’ve misplaced for the moment, maybe Brouwer?) —There are no non-experienced truths.When it comes to

external, I cannot say how to define that mathematically, but if we replace our criterion of objectitude byindependentoruniversalthen those are concepts about which mathematics has definite things to say.You can still get the old editor by going to:

`https://yourblogname.wordpress.com/wp-admin/post-new.php`

.Réseau

Réseaux

Rousseau

Social compacts come and go

And may converge one day

To one that comes

And never goes

So reap what you réseau

⁂

Manifold • Atlas of Charts

Intersecting circles of competence

Overlapping neighborhoods of expertise

Communities of inquiry as social networks

Some networks are more compact than others

## The 12 Latin Squares of Order 3

Re: Did you desire to know this?

To read the writing on the walls, I musta, since I did.

So there must be desires we don’t know we have until we bear their fruits.

Re: Wouldn’t you like to know what’s going on in my mind?

Crazy Old Guy Syndrome

Related discussion at MathBabe

Version 1As always, it’s a matter of whether our models are adequate to the thing itself, the phenomenon before us.

When it comes to a network that has the capacity to inquire into itself, the way our universe inquires into itself, the main thing lacking in almost all our network models has always been a logical capacity that is adequate to the task.

Version 2As always, it’s a matter of whether our models are adequate to the thing itself, the phenomenon before us.

If the universe is a network that has the capacity to inquire into itself, the way our universe appears to do through us, then what order of logical capacity is up to that task?

For my part, I don’t think the common run of network models that we are seeing today have enough “logic” in them to do the job. Just to be cute about it, they need more nots in their ether.

Happy Vita Nova❢ You may wish eventually to look into the way that networks, or graphs, can be used to do logic. Doing that requires getting beneath purely positive connections to the varieties of negation that can be used to generate all the rest. Peirce was a pioneer in this pursuit, as evidenced by his logical graphs.

The Alfred E. Neumann Computer &madash;

Maybe it’s a madder of bisociative alge〈bra|s

Less in the way of error-correction and

More in the way of punkreation codes

I used to think about the heap problem a lot when I was programming and I decided the heap quits being a heap as soon as you remove one grain because then it becomes two heaps.

The Pascal sorting of the sorites played on moves between heaps and stacks, but I’ve forgotten the details of that particular epiphany. The whole-system-theoretic point is clear enough though — the system as a whole makes a discrete transition from one state of organization to another.

One classical tradition views logic as a normative science, the one whose object is truth. This puts it on a par with ethics, whose object is justice or morality in action, and aesthetics, whose object is beauty or the admirable in itself.

The pragmatic spin on this line of thinking views logic, ethics, and aesthetics as a concentric series of normative sciences, each a subdiscipline of the next. Logic tells us how we ought to conduct our reasoning in order to achieve the goals of reasoning in general. Thus logic is a special application of ethics. Ethics tells us how we ought to conduct our activities in general in order to achieve the good appropriate to each enterprise. What makes the difference between a normative science and a prescriptive dogma is whether this telling is based on actual inquiry into the relationship of conduct to result, or not.

Here’s a bit more I wrote on this a long time ago in a galaxy not far away —

☞ Logic, Ethics, Aesthetics

Version 2Making reality our friend is necessary to survival and finding good descriptions of reality is the better part of doing that, so I don’t think we have any less interest in truth than the Ancients. From what I remember, Plato had specific objections to specific styles of art, not to art in general. There is even a Pythagorean tradition that reads

The Republicas a metaphorical treatise on music theory, one that serves as a canon for achieving harmony in human affairs. Truth in fiction and myth is a matter of interpretation and — come to think of it — that’s not essentially different from truth in more literal forms of expression.Version 3Making reality our friend is necessary to survival and finding good descriptions of reality is the better part of doing that, so I shouldn’t imagine we have any less interest in truth than the Ancients. From what I remember, Plato had specific objections to specific styles of art, not to art in general. There is even a Pythagorean tradition that interprets

The Republicas a metaphorical treatise on music theory, no doubt serving incidentally as a canon of harmony in human affairs. Truth in fiction and myth is a matter of interpretation and, come to think of it, that is not essentially different from truth in more literal forms of expression.These are the forms of time,which imitates eternity and

revolves according to a law

of number.

Plato • Timaeus • 38 A

Benjamin Jowett (trans.)

It is clear from Aristotle and even Plato in places that the good of reasoning from fair samples and freely chosen examples was bound up with notions of probability, which in the Greek idiom meant likeness, likelihood, and likely stories, in effect, how much the passing image could tell us of the original idea.

Re: Michael Harris • Are Your Colleagues Zombies?

Comment 1There are many things that could be discussed in this connection, but coming from a perspective informed by Peirce on the nature of inquiry and the whole tradition augured by Freud and Jung on the nature of the unconscious makes for a slightly shifted view of things compared, say, to the pet puzzles of analytic philosophy and rationalistic cognitive psychology.

Comment 2Let me just ramble a bit and scribble a list of free associative questions that came to mind as I perused your post and sampled a few of its links.

There is almost always in the back of my mind a question about how the species of mathematical inquiry fits within the genus of inquiry in general.

That raises a question about the nature of inquiry. Do machines or zombies — unsouled creatures — inquire or question at all? Is awareness or consciousness necessary to inquiry? Inquiry in general? Mathematical inquiry as a special case?

Comment 3One of the ideas we get from Peirce is that inquiry begins with the

irritation of doubt(IOD) and ends with thefixation of belief(FOB). This fits nicely in the frame of our zombie flick for a couple of reasons: (1) it harks back to Aristotle’s idea that the cognitive is derivative of the affective, (2) it reminds me of what my middle to high school biology texts always enumerated as a defining attribute of living things, theirirritability.Re: John Baez • The Internal Model Principle

Comment 1Ashby’s book was my own first introduction to cybernetics and I recently returned to his discussion of regulation games in connection with some issues in Peirce’s logic of science or “theory of inquiry”.

In that context it seems like the formula would have to be saying that the Regulator’s choices are a subset given by applying that portion of the game matrix with goal values in the body to the Disturber’s input.

Comment 2There’s a far-ranging discussion that could take off from this point — touching on the links among analogical reasoning, arrows and morphisms, cybernetic images, iconic representations, mental models, systems simulations, etc., and just how categorically or not those functions are necessary to intelligent agency, all of which questions have enjoyed large and overlapping literatures for a long time now — but I’m not sure how much of that you meant to open up.

☞ mno

So many modes of mathematical thought,

So many are learned, so few are taught.

There are streams that flow beneath the sea,

There are waves that crash upon the strand,

Lateral thoughts that spread and meander —

Who knows what springs run under the sand?

There are many modes of mathematical thought. The way I see it they all play their part. We have the byways of lateral thinking. We have that “laser-like focus on one topic”. At MathOverFlow they prefer the latter to the exclusion of the lateral. Their logo paints a picture of overflow but they color mostly inside the box.

You May Already Be Subscribed❢

Up till now quantification theory has been based on the assumption of individual variables ranging over universal collections of perfectly determinate elements. Merely to write down quantified formulas like and involves a subscription to such notions, as shown by the membership relations invoked in their indices.

The book that struck the deepest chord with me was

To Mock a Mockingbird : And Other Logic Puzzles Including an Amazing Adventure in Combinatory Logic, Alfred A. Knopf, New York, NY, 1985.I once attended a conference at Michigan State on “Creativity in Logic and Math” or some such theme and there was another conference going on down the hall on Birdcalls — seriously — complete with sound effects all afternoon. It made me wonder a little …

At any rate, I found much study there —

☞ Propositions As Types

Contrapositive or modus tollens arguments are very common in mathematics. Since it’s Comedy Hour, I can’t help thinking of Chrysippus, who is said to have died laughing, and his dog — not the one tied to a cart, the one chasing a rabbit or stag or whatever.

Let me resort to a Peircean usage of for and for

Then is written

From a functional point of view it was a step backward when we passed from Peirce’s and to the present and There’s a rough indication of what I mean at the following location:

☞ Functional Logic : Higher Order Propositions