On 20 Oct 2013, at 17:29, Craig Weinberg wrote:
Not at all. the modal logics are entirely determined by the initial
This is the problem. I do not allow any initial freestanding axioms.
The modal logics are not free, their are derived in arithmetic.
The initial sensivity (your term) used here (AUDA) is only your
understanding of the arithmetical laws of addition and
multiplication, (and of the machines, whose existence and activities
are derived from that.
You can start from sensitivity, but then you are a poet, not a
Poetry is important, but it is not science, and it is bas poetry when
it pretend some truth, and denies a respectful attitude toward
But you are a machine under comp and you CAN believe consistently
that you are a machine.
This is ambiguous, and when made precise, leads to not so obvious
questions, or simple falsities (I cannot believe consistently that I
Comp is refutable, so more precise questions are open problems.
Proofs have no existence without a conscious prover. Proof is
nothing but an expectation of matching one set of experiences to
We have made progress about things like provability, formal, informal,
and computability. You might study this a little bit.
The relation of arithmetic to qualia is completely fabricated and
has no basis in mathematics as far as I can tell.
You beg the question. Even if the relation between qualia and
arithmetic that I describe as deriving from comp and the classical
theory of knowledge is wrong, you have to show that all possible comp
theories are wrong.
I'm not talking about computer science, I'm talking about
consciousness, metaphysics, and cosmology.
You have to address computer science when saying that computers cannot
But indeed, you seem to just ignore the machines, so you don't gave
them any chance.
I am specifically challenging the assumption that computation or
arithmetic is elementary,
It is not.
Then what are you saying is elementary?
0, s(0), s(s(0)), etc.
I meant that computation are not elementary, or assumed. It is defined
from 0, s(0), ... and the laws of + and *.
Then you have to provide just one counter-example.
I am the counter-example. Color is the counter example. Flavor,
sound, feeling, etc.
You beg the question. Comp already explain why the 1p says so, but
that is an (machine's) opinion/feeling.
You are not a counter-example to comp. On the contrary you illustrate
very well the comp prediction that comp is hard to believe by machines
introspecting themselves a little bit.
Comp, like the Gödelian sentences, says something like "you can't
believe in me". That is why it asks for an act of faith.
Not true. There are no elementary axioms. Axioms are rules.
Logicians distinguish axioms (which are formula, or sentences), and
rules, which are operations on formulas leading to other formula. It
is as different as a number, like 0, and an operation like s (s(x) = x
I have to go, but I have read the other comment, and either you are
not providing any reason to believe that comp is false or inconsistent.
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 post to this group, send email to email@example.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.