Deleted Scenes from the $n$-Crowd Movie

Scene 1 (not deleted -- yet? -- but needed for context)

Re: The Arrow of Time in Cat (David Corfield)
At: http://golem.ph.utexas.edu/category/2009/11/the_arrow_of_time_in_cat.html

 > John Baez:  We don't care if the effect fails to determine the cause.

Here's a couple of other things to think about:

__One__

Discussions of the 2-place relation "x determines y"
are frequently confounded by several different senses
of the word "determine".

There are at least these two senses:

1.  Formal, informational, or mathematical determination:

     * "two points determine a line"

2.  Material, causal, or physical determination:

     * "push determines shove"

What exactly do we mean by "the" cause and "the" effect, anyway?

Do we mean a totality of events that we call "the cause" of a given effect?

Do we mean a totality of events that we call "the effect" of a given cause?

__Two__

In the propositions as types analogy, we have a suggestive relation
between the function arrow "->$" and the implication arrow "=>".

But if we say that function arrows are arrows of time, do we really want to
say that implication arrows are arrows of time, and in the same sense, too?

Jon Awbrey, 03 Nov 2009
http://golem.ph.utexas.edu/category/2009/11/the_arrow_of_time_in_cat.html#c028817

-- 

inquiry list: http://stderr.org/pipermail/inquiry/
mwb: http://www.mywikibiz.com/Directory:Jon_Awbrey
knol: http://knol.google.com/k/-/-/3fkwvf69kridz/1