On Wednesday, July 16, 2014 2:22:46 PM UTC-4, Bruno Marchal wrote:
>
>
> On 16 Jul 2014, at 15:05, Craig Weinberg wrote:
>
> So much of our attention in logic and math is focused on using processes 
> to turn specific inputs into even more specific binary outputs. Very little 
> attention is paid to what inputs and outputs are or to the understanding of 
> what truth is in theoretical terms. 
>
> Come on!
>

?
 

>
>
>
> The possibility of inputs is assumed from the start, since no program can 
> exist without being ‘input’ into some kind of material substrate which has 
> been selected or engineered for that purpose. 
>
> In which theory? 
>

What theory details the ontology of inputs?
 

>
>
>
>
> You can’t program a device to be programmable if it isn’t already. 
> Overlooking this is part of the gap between mathematics and reality which 
> is overlooked by all forms of simulation theory and emergentism. 
>
> You are quick. Correct from the 1p machine's view on their own 1p. You do 
> confuse []p and []p & p.
>

So you are saying that programmability is universal outside of 1p views? 
Like infinite computational resources in a dimensionless pool?
 

>
>
>
> Without some initial connection between sensitive agents which are 
> concretely real and non-theoretical, there can be no storage or processing 
> of information. Before we can input any definitions of logical functions, 
> we have to find something which behaves logically and responds reliably to 
> our manipulations of it.
>
> The implications of binary logic, of making distinctions between true/go 
> and false/stop are more far reaching than we might assume. I suggest that 
> if a machine’s operations can be boiled down to true and false bits, then 
> it can have no capacity to exercise intentionality. It has no freedom of 
> action because freedom is a creative act, and creativity in turn entails 
> questioning what is true and what is not. The creative impulse can drive us 
> to attack the truth until it cracks and reveals how it is also false. 
> Creativity also entails redeeming what has been seen as false so that it 
> reveals a new truth. These capabilities and appreciation of them are well 
> beyond the functional description of what a machine would do. Machine logic 
> is, by contrast, the death of choice. To compute is to automate and reduce 
> sense into an abstract sense-of-motion. Leibniz called his early computer a 
> “Stepped Reckoner”, and that it very apt. The word reckon derives from 
> etymological roots that are shared with ‘reg’, as in regal, ruler, and 
> moving straight ahead. It is a straightener or comb of physically embodied 
> rules. A computer functionalizes and conditions reality into rules, step by 
> step, in a mindless imitation of mind. A program or a script is a frozen 
> record of sense-making in retrospect. It is built of propositions defined 
> in isolation rather than sensations which share the common history of all 
> sensation.
>
> The computing machine itself does not exist in the natural world, but 
> rather is distilled from the world’s most mechanistic tendencies. All that 
> does not fit into true or false is discarded. Although Gödel is famous for 
> discovering the incompleteness of formal systems, that discovery itself 
> exists within a formal context. The ideal machine, for example, which 
> cannot prove anything that is false, subscribes to the view that truth and 
> falsehood are categories which are true rather than truth and falsehood 
> being possible qualities within a continuum of sense making. There is a 
> Platonic metaphysics at work here, which conjures a block universe of forms 
> which are eternally true and good. In fact, a casual inspection of our own 
> experience reveals no such clear-cut categories, and the goodness and truth 
> of the situations we encounter are often inseparable from their opposite. 
> We seek sensory experiences for the sake of appreciating them directly, 
> rather than only for their truth or functional benefits. Truth is only one 
> of the qualities of sense which matters.
>
> The way that a computer processes information is fundamentally different 
> than the way that conscious thought works. Where a consistent machine 
> cannot give a formal proof of its own consistency, a person can be certain 
> of their own certainty without proof. That doesn’t always mean that the 
> person’s feeling turns out to match what they or others will understand to 
> be true later on, but unlike a computer, we have available to us an 
> experience of a sense of certainty (especially a ‘common sense’) that is an 
> informal feeling rather than a formal logical proof. A computer has neither 
> certainty nor uncertainty, so it makes no difference to it whether a proof 
> exists or not. The calculation procedure is run and the output is 
> generated. It can be compared against the results of other calculators or 
> to employ more calculations itself to assess a probability, but it has no 
> sense of whether the results are certain or not. Our common sense is a 
> feeling which can be proved wrong, but can also be proved right informally 
> by other people. We can come to a consensus beyond rationality with trust 
> and intuition, which is grounded the possibility of the real rather than 
> the realization of the hypothetical. When we use computation and logic, we 
> are extending our sense of certainty by consulting a neutral third party, 
> but what Gödel shows is that there is a problem with measurement itself. It 
> is not just the ruler that is incomplete, or the book of rules, but the 
> expectation of regularity which is intrinsically unexpected.
>
> One of the trickiest problems with the gap between the theoretical and the 
> concrete us that the gap itself is real rather than theoretical. There can 
> be no theory of why reality is not just information, since theory itself 
> cannot access reality directly. Reality is not only formal. Formality is 
> not real. There is a bias within formal logic which favors certainty. This 
> is at the heart of the utility of logic. In mathematician Bruno Marshall’s 
>
> Marchal, actually.
>

Gack! Sorry about that. :(   I changed in the blog post. My wife babysits a 
by called Marshall so he might have gotten in there. 

>
>
>
> book “The Amoeba’s Secret”, his view on dreams hints at what is beneath 
> the surface of the psychology of mathematics. He writes
>
> “What struck me was the asymmetry existing between the states of dreaming 
> and of being awake: when you are awake, you can never be truly sure that 
> you are. By contrast, when dreaming, you can sometimes perceive it as such.”
>
> Surely most of us have no meaningful doubt that we are awake when we are 
> awake. 
>
> That ambiguous. I agree we felt like that. but we felt like that in 
> contra-lucid dreams. In those dreams, we dream that we have no no 
> meaningful doubt that we are awake.
>

But in all cases any doubt or doubt of doubt could be right or wrong in the 
same way. The awakeness we feel in our doubt of a lucid dream is no more 
than the awakeness if waking life, so if we can trust the lucidity of a 
dream we can surely trust the lucidity of actually being awake.


>
>
>
> The addition of the qualification of being “truly sure” that we are awake 
> seems to assume that there is a deeper epistemology which is possible – as 
> if being awake required a true certainty on top of the mere fact of being 
> awake. To set the feeling of certainty above the content of experience 
> itself is an inversion; a mistake of privileging the expectations of the 
> intellect over the very ground of being from which those expectations arise.
>
> p was before []p, and even p & []p happens before (in machine's self 
> development) []p. 
>

There is no p at all. p is formatting of an input.


>
>
>
> Likewise, to say that we can sometimes perceive our dreaming in a lucid 
> dream is to hold the dream state to a different epistemological standard 
> than we do of being awake. If we could be awake and not really be sure that 
> we are, then certainly we could think that we are having a lucid dream, 
>
>
> No. In the lucid dream, you know that you are dreaming.
>

You know that you are in a dream, but the part that knows that is not 
completely dreaming and is more awake than usual during dreams.
 

>
> When you are awake, well ypou might discover later that you were not, but 
> the fact that you don't know does not entail that you know you are dreaming 
> a priori.
>

If you really are awake, you will not discover later that you were not. 
Knowing isn't relevant, because knowledge is not applicable to states of 
awareness. Our dreaming state of awareness can think that it is not 
dreaming, but that does not mean that the fully awake state can be fooled - 
even if it can be fooled under rare circumstances.
 

>
>
>
> but could be similarly misinformed. We could be dead and living in an 
> afterlife from which we will never return or some such goofy possibility. 
> Mathematical views of reality seem to welcome a kind of escapist sophism 
> which gives too much credence to rabbit holes and not enough to the whole 
> rabbit.
>
> That we sometimes tell when we are dreaming means only that we are more 
> awake within our dream than usual – not that our usual awareness is any 
> more true or sure than it ever is. If we are uncertain in waking life and 
> certain in dreams, it is because our capacity to tell the difference is 
> real and not a dream or theory. There is no way to prove that we are awake, 
> but neither is there any need to prove it since it is self-evident. 
>
> So here the brain teaches to the soul that sometimes self-evidence can be 
> false. A lesson in (Löbian) modesty.
>

I think that the brain has nothing to do with it. It shows that 
consciousness is primary, and proof is an comparative function within 
consciousness which does not itself have any proof of its own validity.
 

>
>
> Any proof that we could have could theoretically be duplicated in a dream 
> also, but that does not mean that there is no difference between dream and 
> reality. 
>
> Absolutely. Indeed there is a special level with stable observable. We 
> cant know it for sure, but we can be correct in some bets or act of faith 
> (like in front of the doctor).
>

What can know for sure?
 

>
>
>
>
> The difference is more than can be learned by ‘proof’ alone.
>
>
> Indeed, from the 1p view. Only God knows the matches.
>

Why God? Why not just extra-cognitive sense modalities?

Craig
 

>
> Bruno
>
>
>
>
> -- 
> You received this message because you are subscribed to the Google Groups 
> "Everything List" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to everything-li...@googlegroups.com <javascript:>.
> To post to this group, send email to everyth...@googlegroups.com 
> <javascript:>.
> Visit this group at http://groups.google.com/group/everything-list.
> For more options, visit https://groups.google.com/d/optout.
>
>
> http://iridia.ulb.ac.be/~marchal/
>
>
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.

Reply via email to