Yellow shoes, umbrella, sweet potato, and oarlocks

 

Pegging Aristotle

I am pretty much done with my paper on the "Moving Topic". In it, I cover quite a lot of territory, from the basis of cooperative behavior, to irony, to the attractiveness of scientific theories of Newton, Lagrange, etc., to the definition of imponderables like: "truth", "causality", "free will", "space", etc.......Good Stuff!

I was and remain worried that the paper does not have any significant content but I have to recognize that figuring out a very reasonable definition of "truth" is, in fact, significant - especially since it is a topological concept of homotopy. Again, good stuff! But it is sad that I am not likely to be around when or if my theories are ever understood or praised. Also, I am afraid to stop writing because, I could forget all the details in the blink of an eye, and then what will my identity be?

The weird feeling I have is that I have sodomized Aristotle, and I am ducking, waiting to be spanked for the act. If I submit the paper to an academic journal, that is exactly what is likely to happen...that and the forgetting.

Black bean and cheddar empanadas

I had some left-over "blanks" from empanada making, rolled them out, and filled them with refried black beans from a can, bits of cheddar cheese, and baked at 420 for ~20 minutes. Something about them, perhaps the flakey dough, after it had rested 24 hours in the fridge, made them particularly good.

Dough - see empanada dough recipe for 2 cups of flour. Divided into 16 pieces.

Filling - Goya refried black beans (~4 tablespoons per empanada); a couple small pieces of cheese.

Bake at 420 for ~20 minutes.

A DeMorgan Law derived from Narrative

Wanting to relate narratives to the traditional Boolean “calculus”, here are some of the kinds of assumptions needed for a test case:

·        A kind of  temp_collection {A,B, C, … } that can be interchanged with the comma-separated narrative pattern ‘A,B,C,…’

·        Blocking this kind of temp_collection replaces it with a temp_collection having each of its elements blocked. In other words (A,B,C,…)* is equivalent to (A*,B*,C*,…).

With those assumptions we can limp towards a derivation of the De Morgan Law

not( A or B ) = not( A ) and not( B ).

First to represent “A or B” in our current framework, we put A and B in a temp_collection, along with a blockage of the alternatives. Thus ‘A or B’ is written:

{ []*, A, B }

To negate that, we write

{ []*, A, B }*

Distributing the outer blockage, gives us

{ []**, A*, B*}

Which “writes back out” as the narrative [], A*,B*. This is endpoint equivalent to ‘A*,B*’. The ‘,’ is transcribed as “and”.

This gives us a hint at doing traditional logic with narratives  - with a heavy reliance on temp_collection behavior and blockage properties. It would be worth isolating the narrative equivalences needed to support a discussion of the infinite. 

The definition of "truth"

Wow! I had no idea they were still so confused about the definition(s) of "TRUE". So here it is:

We distinguish three types of truth: 

• Tautological truth - which follows from the mechanics of symbol definition and persistence of meaning.
• A priori truth - which follows from definitions
• A posteriori truth - which is an observable equating of different paths towards the same outcome

Tautological includes "A=A" and possible others

A Priori includes at least two kinds of definition. The "x is a kind of y", leads to "peanuts are legumes". And the "x is part of y" leads to "you need ingredient to cook".

A Posteriori is the most interesting version of truth. It says: Two methods for producing the same outcome are equal  - if all you care about is the outcome. For example "2+2=4" is TRUE. Note that it is NOT true if you are listing partitions of 4. The truth depends on the assumptions you make.

I gotta crow a little cuz several thousand years of philosophers never spotted that ignoring intermediate step and the equality of outcome, is the definition of "truth". 

Update: OK, OK, maybe there is another kind of truth. There are behaviors whose repetition guarantees certain things: Adding material is transitive ("More is more"). Containment is transitive ("if a in b and b in c, then a in c"). Getting from A to B is transitive because if I can get to C from B, then I can get from A to C - it just takes longer. Another is: is A can be substituted for B and B can be substituted for C, then A can be substituted for C.

The orchid's insurance

As an example of how it is easy to say nonsense with the 'part' symbol '.', I picked two random topics: flowers and insurance,

The idea is that for random topics P, and Q, the P.Q would be nonsense. But perhaps there is a kindOf P and a kindOf Q where it is not nonsense? 

We imagine a very special orchid, being shipped and someone insuring it against damage. Now the "orchid's insurance" makes sense.