On Saturday, 13 August 2022 at 21:59:39 UTC+2, dklei...@gmail.com wrote:
> On Saturday, August 13, 2022 at 2:09:34 AM UTC-7, Skep Dick wrote:
> >
> > Perhaps you should consider an altrernative perspective? Not the rules of logic, but the logic of rules.
> >
> > https://nguyentito.eu/locus-solum-mscs.pdf
> >
> Thank You for th reference to something that is new to me.
>
> I will have to make significant effort to understand it. At first glance
> the prognosis is not promising. It sounds too much like high power
> nuttery. But I should not jump to a dismissal.
If I may make a suggestion that may spare you a significant amount of time.

I would NEVER recommend reading such a dense paper with zero context - you are going to end up nowhere. Especialy if you don't know that Girard lost the plot a little bit around that time of his career so it's difficult to pry apart the novelty from the quackery.

Despite his explicit hatred for game semantics, he landed up exactly there anyway - game theory. Dialogical logic.
So it's entirely possible that you already have some intuition for the implication of his work, but you may have arrived at those intuitions/implications via a different field.

First start with the background/history of DIalogical Logic (https://plato.stanford.edu/entries/logic-dialogical/) and if any of the fields/authors sound familiar to you and you already have intuitions in constructive mathematics, type theory or game theory - rather follow the most recent developments in that area.

Girard is a genius. But he's also a crank/lone wolf and he hasn't had much of a community to help him develop his work or make it more accessible to outsiders.

On Saturday, 13 August 2022 at 15:22:24 UTC+2, richar...@gmail.com wrote:
> And anti-social
Looks like we have ourselves a society of anti-socialites.

> Which is why you need to SPECIFY which foundation you are using as
> statements mean different things in different foundations.
I don't know how else to explain it to you... I don't use any particular foundations.

I start with theorems (conclusions!) and I figure out axioms (premises!) as I go along.

> Because that gets clumsy, we assign a "default" foundation that is assumed.
There is no default foundation.

There is your default (if you even have one)
There is my default (if I even have one)

> Since you won't stand on a foundation, your "work" just colapses.
No it doesn't. The lack of foundation IS my foundation.

My work stands on its own head.

> Not quite. There are core foundations of logic that have been discovered
> if ignored lead to logic that can't support itself.
Which logic? There are so many logics to choose from!

Classical, intuitionistic, dialectic, temporal, linear, symbolic, modal.

Logic, like mathematics, is invented.

As long as you understand the invention/creation process you don't need any foundations.

> Then you can't build anything. What is your FIRST principle, and what
> does it stand on.
My FIRST principle is that there are NO first principles!

It stands on its own head! Like any recursive function does!

> I will need a bit of time to absorb that thought, but the key is that it
> appears that this logic of rules can only come about once you HAVE a set
> of rules of logic to build it on.
No! This logic is about the process of CONSTRUCTING (inventing) the rules!

Protocol synthesis.

> The "Logic of Rules" will still need the "Rules of Logic" for it to work.
This logic is precisely about defining what "working" means!

> This seems to be a common problem with many of the "grand thinkers",
> that they fail to see the assumptions they have built into their system
> bacause they have just accepted them as pre-existing.
The assumptions they have built into their system are after the fact.

They are outputs of the Design process!

> THey are using a foundation they refuse to see, and thus don't build
> fully on it and the structure can colapse.
What could possibly make it collapse? We have already figured out that ANY set of axioms we develop fail to produce contradictions. Platonism died a few centuries ago.

This way we got Bolyai, Lobachevsky, and Riemann geometries.

On 8/13/22 5:34 PM, Skep Dick wrote:
> On Saturday, 13 August 2022 at 15:22:24 UTC+2, richar...@gmail.com wrote:
>> And anti-social
> Looks like we have ourselves a society of anti-socialites.
>
>> Which is why you need to SPECIFY which foundation you are using as
>> statements mean different things in different foundations.
> I don't know how else to explain it to you... I don't use any particular foundations.

Then you have no foundations, so your work is build on sand and colapses.

>
> I start with theorems (conclusions!) and I figure out axioms (premises!) as I go along.

But those theorems come from something. If you don't know the rules used
to make them, you can't actually use them, as you don't know there
actual meaning.

So, starting with theorems contradicts your previous statement that you
don't use foundations. What it appears is that you don't know what
foundations you are building on, or even if you are working on a
consistent set of foundations.

That makes your work worthless, as you don't know under what conditions
it holds.

>
>> Because that gets clumsy, we assign a "default" foundation that is assumed.
> There is no default foundation.

But there are, every effective group defines its defaults, or finds it
has nothing to work with.

>
> There is your default (if you even have one)
> There is my default (if I even have one)

And that attutide means you are anti-social and can't actually work with
others.

>
>> Since you won't stand on a foundation, your "work" just colapses.
> No it doesn't. The lack of foundation IS my foundation.
>
> My work stands on its own head.

Maybe it stands on its own head because it has nothing to stand on.
>
>> Not quite. There are core foundations of logic that have been discovered
>> if ignored lead to logic that can't support itself.
> Which logic? There are so many logics to choose from!
>
> Classical, intuitionistic, dialectic, temporal, linear, symbolic, modal.
>
> Logic, like mathematics, is invented.
>
> As long as you understand the invention/creation process you don't need any foundations.
>
>> Then you can't build anything. What is your FIRST principle, and what
>> does it stand on.
> My FIRST principle is that there are NO first principles!

Then you have nothing. Or you think you are God.

Or you are just stupid and don't understand what you first princliples
are, or if they actaully even work.

>
> It stands on its own head! Like any recursive function does!
>
>> I will need a bit of time to absorb that thought, but the key is that it
>> appears that this logic of rules can only come about once you HAVE a set
>> of rules of logic to build it on.
> No! This logic is about the process of CONSTRUCTING (inventing) the rules!
>
> Protocol synthesis.

And where does it get the material to synthesis those protocols?

>
>> The "Logic of Rules" will still need the "Rules of Logic" for it to work.
> This logic is precisely about defining what "working" means!
>
>> This seems to be a common problem with many of the "grand thinkers",
>> that they fail to see the assumptions they have built into their system
>> bacause they have just accepted them as pre-existing.
> The assumptions they have built into their system are after the fact.
>
> They are outputs of the Design process!
>
>> THey are using a foundation they refuse to see, and thus don't build
>> fully on it and the structure can colapse.
> What could possibly make it collapse? We have already figured out that ANY set of axioms we develop fail to produce contradictions. Platonism died a few centuries ago.
>

So, you have deluded yourself to ignore failed logic systems, that
almost suredly says your logic system is actually failed.

We know of MANY system that have colasped because they were found to be
self-inconsistent, because they produce contradictions.

So, you statement that ANY set of axioms we develop will fail to produce
contradictions is proven to be false.

> This way we got Bolyai, Lobachevsky, and Riemann geometries.
>
>

On Sunday, 14 August 2022 at 00:08:38 UTC+2, richar...@gmail.com wrote:
> Then you have no foundations, so your work is build on sand and colapses.
^^^ This criterion is built on sand and colapses.

Upon what foundation do you base the assertion that systems need to have foundations?

> But those theorems come from something.
Yes. They come from me sucking my thumb.

>If you don't know the rules used to make them, you can't actually use them, as you don't know there
> actual meaning.
Says who? Engineers don't care about denotational semantics.

We care about what stuff DOES, not what it MEANS. My programs don't mean anything - they do stuff.
> So, starting with theorems contradicts your previous statement that you
> don't use foundations.
So what? Non-contradiction is just an axiom. You can choose to accept it, or reject it, or consider it on case-by-case basis.

Each design choice a different logical system makes.

Where is the "fondation"?

>What it appears is that you don't know what
> foundations you are building on, or even if you are working on a
> consistent set of foundations.
I thought you said you reason from first principles?

Consistency is one possible semantic property of the system.

You may or may not be interested in it. It's just a design choice.

> That makes your work worthless, as you don't know under what conditions
> it holds.
Only if you are an uncharitable wanker who thinks I am too stupid to do risk analysis based on my use-case.
> >> Because that gets clumsy, we assign a "default" foundation that is assumed.
> > There is no default foundation.
> But there are, every effective group defines its defaults, or finds it
> has nothing to work with.
When you set it up like a tautology - no shit!

Any foundation is a default foundation.
Even the lack of a foundation is still a default foundation!

Foundations can be chosen on case-by-case basis!
Depending on whatever is relevant at the time!

> And that attutide means you are anti-social and can't actually work with
> others.
OK, I'll let my colleagues know.

> Maybe it stands on its own head because it has nothing to stand on.
Precisely! But it still stands.

> Then you have nothing. Or you think you are God.
If I have nothing then I still have something!

> Or you are just stupid and don't understand what you first princliples
> are, or if they actaully even work.
I told you what my first principles is!

The first principle is that there are NO first principles.
My first principle is the rejection of ALL axioms. Including the non-contradiction axiom.

What is it that you don't understand?

> And where does it get the material to synthesis those protocols?
From wherever we get any of the materials to conceptualise stuff.

> So, you have deluded yourself to ignore failed logic systems, that
> almost suredly says your logic system is actually failed.
What is it that you don't understand when I say that the notion of a "failed logical system" is NOT a logical notion.

Our criteria for success and failure are NOT logical.

> We know of MANY system that have colasped because they were found to be
> self-inconsistent, because they produce contradictions.
So what? On what foundation do you base the assertion that logic should contain no contradictions?

> So, you statement that ANY set of axioms we develop will fail to produce
> contradictions is proven to be false.
Wow! Idiot. ANY powerful language left unrestricted produces contradictions!
That's a feature not a bug!

For all we know ZFC is inconsistent. That doesn't even matter. It's useful!
If we happen to find a contradiction in it - it won't undo any of the utility the system has had for the past 100+ years.

Your religion is Logicism and your God is the non-contradiction axiom...

I am with Walt Whitman on this one... Do I contradict myself? Very well then, I contradict myself. I am large - I contain multitudes.

On 8/13/22 6:52 PM, Skep Dick wrote:
> On Sunday, 14 August 2022 at 00:08:38 UTC+2, richar...@gmail.com wrote:
>> Then you have no foundations, so your work is build on sand and colapses.
> ^^^ This criterion is built on sand and colapses.

No, it is a firm foundation. Can you show otherwise?

>
> Upon what foundation do you base the assertion that systems need to have foundations?

First principles.

If you have no first principle, you have no principles, so nothing proven.

>
>> But those theorems come from something.
> Yes. They come from me sucking my thumb.

A if you want to try to persuade people that this is a good basis to
accept your ideas, go ahead.

>
>> If you don't know the rules used to make them, you can't actually use them, as you don't know there
>> actual meaning.
> Says who? Engineers don't care about denotational semantics.

We sure do. In fact, if something doesn't make sense, you can't actually
safely use it.

>
> We care about what stuff DOES, not what it MEANS. My programs don't mean anything - they do stuff.

>
>> So, starting with theorems contradicts your previous statement that you
>> don't use foundations.
> So what? Non-contradiction is just an axiom. You can choose to accept it, or reject it, or consider it on case-by-case basis.
>
> Each design choice a different logical system makes.
>
> Where is the "fondation"?

So, you have just effectively said that there is no way to tell if a
system is useful or not. I guess that shows where you systems are going
to end on that spectrum.

You don't know what your system means, or if it yields results that are
actually usable, but the look pretty (I guess, depend on pretty).

>
>> What it appears is that you don't know what
>> foundations you are building on, or even if you are working on a
>> consistent set of foundations.
> I thought you said you reason from first principles?
>
> Consistency is one possible semantic property of the system.
>
> You may or may not be interested in it. It's just a design choice.

Nope, because a fundamental property is that a system that allows
contradictions, if it allows deriving other properties from existing
properties, will tend to allow more contradictions to be derived, until
the system doesn't provide the ability to know if anything actually
means anything.

>
>> That makes your work worthless, as you don't know under what conditions
>> it holds.
> Only if you are an uncharitable wanker who thinks I am too stupid to do risk analysis based on my use-case.

You have defined that you don't have the data to DO a risk anaylsis. You
have symbols without meaning. You don't know under what conditions that
statement are actually defined under, you don't have the data to DO a
risk analysis.

That or you have just been lying about not having the foundations of the
theorems you are taking.

>
>>>> Because that gets clumsy, we assign a "default" foundation that is assumed.
>>> There is no default foundation.
>> But there are, every effective group defines its defaults, or finds it
>> has nothing to work with.
> When you set it up like a tautology - no shit!
>
> Any foundation is a default foundation.
> Even the lack of a foundation is still a default foundation!
>
> Foundations can be chosen on case-by-case basis!
> Depending on whatever is relevant at the time!
>
>> And that attutide means you are anti-social and can't actually work with
>> others.
> OK, I'll let my colleagues know.

But I bet you have an agreed upon set of defaults with them, or you
speciiy your system each time to them.

>
>> Maybe it stands on its own head because it has nothing to stand on.
> Precisely! But it still stands.

Try to stand on your own head!

Not stand with you head to the floor, but STAND ON YOU HEAD as your
foundation.

>
>> Then you have nothing. Or you think you are God.
> If I have nothing then I still have something!

Nope, Nothing is not a something. You have Nothing, not even the empty
set, as that is a something.

You can't talk of the "set of knowledge" because you don't have the
foundation of a set theory, you have NOTHING.

>
>> Or you are just stupid and don't understand what you first princliples
>> are, or if they actaully even work.
> I told you what my first principles is!
>
> The first principle is that there are NO first principles.
> My first principle is the rejection of ALL axioms. Including the non-contradiction axiom.

Then you have nothing to work with, and are beleiving in a false world.

>
> What is it that you don't understand?
>
>> And where does it get the material to synthesis those protocols?
> From wherever we get any of the materials to conceptualise stuff.

Which are the first principles, which you don't have.

>
>
>> So, you have deluded yourself to ignore failed logic systems, that
>> almost suredly says your logic system is actually failed.
> What is it that you don't understand when I say that the notion of a "failed logical system" is NOT a logical notion.
>
> Our criteria for success and failure are NOT logical.

So, you are saying your criteria for success are ILLOGICAL?

>
>> We know of MANY system that have colasped because they were found to be
>> self-inconsistent, because they produce contradictions.
> So what? On what foundation do you base the assertion that logic should contain no contradictions?

The emperical first principle that contradictions lead to valueless
systems.

>
>> So, you statement that ANY set of axioms we develop will fail to produce
>> contradictions is proven to be false.
> Wow! Idiot. ANY powerful language left unrestricted produces contradictions!
> That's a feature not a bug!

"Left Unrestricted", that is why we need rules, and we need to be smart
about our rules.

>
> For all we know ZFC is inconsistent. That doesn't even matter. It's useful!
> If we happen to find a contradiction in it - it won't undo any of the utility the system has had for the past 100+ years.
>
> Your religion is Logicism and your God is the non-contradiction axiom...
>
> I am with Walt Whitman on this one... Do I contradict myself? Very well then, I contradict myself. I am large - I contain multitudes.
>
>

Yes, we might find that ZFC is actually inconsistent, and then we would
need to find what we need to remove from it to keep most of what it
generated and get it back to be consistent.

Just like what happened when it was found that Naive Set Theory broke
things and allowed contradictions, so we need to adjust how we did set
theory to close that hole.

That's the good thing of having a good foundation, when you find a
problem, there is normally a good way to fix it. While we can't know for
certain that the full foundation is without cracks, we do know that it
seems at least generally sound, and any actual cracks are apt to be in
some corner. Switch to a less well tested foundation, and you have less
certainty on that, but you mght be able to make a risk analysts.

Not knowing what you foundation is and how good it is, says you can't do
that risk analysis, as you don't have the needed factors to analyize.

On Sunday, 14 August 2022 at 01:30:41 UTC+2, richar...@gmail.com wrote:
> On 8/13/22 6:52 PM, Skep Dick wrote:
> > On Sunday, 14 August 2022 at 00:08:38 UTC+2, richar...@gmail.com wrote:
> >> Then you have no foundations, so your work is build on sand and colapses.
> > ^^^ This criterion is built on sand and colapses.
> No, it is a firm foundation. Can you show otherwise?
Uhh. Burden of proof?

If your foundation is "firm" prove its firmness.

> If you have no first principle, you have no principles, so nothing proven.
Well, what kind of scam do you have going on there? What proves YOUR first principle?

> >> But those theorems come from something.
> > Yes. They come from me sucking my thumb.
> A if you want to try to persuade people that this is a good basis to
> accept your ideas, go ahead.
Well, what makes your thumb-sucking better than my thumb-sucking?

> We sure do. In fact, if something doesn't make sense, you can't actually
> safely use it.
Uhm.... You do understand that proving the safety properties of systems IS part&parcel of model-checking, right?

https://en.wikipedia.org/wiki/Safety_property

When last did you prove the safety property of your stove?
I bet you just used good enough heuristics, like most humans!

> So, you have just effectively said that there is no way to tell if a
> system is useful or not.
What? Of course I have a way to tell if it's useful.

Does it do what I expect it to do?
Does it NOT do what I don't expect it to do?

That's not logic - that's expectations.

>I guess that shows where you systems are going to end on that spectrum.
I bet you guessed wrong which end of the spectrum my systems end up on.

> You don't know what your system means, or if it yields results that are
> actually usable, but the look pretty (I guess, depend on pretty).
Of course I know whether the systems are useful! How do I know? Because people are actually USING them.
But I have no fucking idea what my systems mean.

What does Google mean?
What does AWS mean?
What does Twitter mean?

> Nope, because a fundamental property is that a system that allows
> contradictions, if it allows deriving other properties from existing
> properties, will tend to allow more contradictions to be derived, until
> the system doesn't provide the ability to know if anything actually
> means anything.
Which is PRECISELY how it is! Nobody gives a shit what a system MEANS.

People care about what systems DOES.

What does an airplane mean? It doesn't mean anything! It flies! It enables faster travel!

> You have defined that you don't have the data to DO a risk anaylsis. You
> have symbols without meaning.
You are super confused. The symbol 10 means the number 10. You know how to count, right?

What that number REPRESENTS is an entirely non-Mathematical question.
It's a question of HOW are you using the symbols?
WHAT are you using the symbols for?

>You don't know under what conditions that statement are actually defined under, you don't have the data to DO a
> risk analysis.
Then how am I doing risk analysis?

> That or you have just been lying about not having the foundations of the
> theorems you are taking.
I don't have foundations. Everything is ad-hoc - depending on my use-case.

I know a bunch of design patterns.

> But I bet you have an agreed upon set of defaults with them, or you
> speciiy your system each time to them.
Which system are you even talking about? We are systems engineers!

We have systems, systems of systems and systems of systems of systems.
They all have different configuration parameters or "defaults".

We have a few shared languages - English, Mathematics, a metric fuckton of metaphors and jargon which has been culturaly evolved.

But ultimately, we create/negotiate meaning in real time.

> >> Maybe it stands on its own head because it has nothing to stand on.
> > Precisely! But it still stands.
> Try to stand on your own head!
> Not stand with you head to the floor, but STAND ON YOU HEAD as your
> foundation.
Not so good with metaphors, anlogies and abstract thought, eh?

With this level of pedantry, nitpicking and inability to communicate, I wonder whether YOU are capable of team work...

> Nope, Nothing is not a something. You have Nothing, not even the empty
> set, as that is a something.
If nothing wasn't something then you wouldn't be able to conceptualise it.
Let alone encode it in language.

> You can't talk of the "set of knowledge" because you don't have the
> foundation of a set theory, you have NOTHING.
I can't talk about the thing that I am talking about "because I don't have the foundations"

Who's going to stop me from talking about the "set of knowledge" despite my lack of foundations?

You?

> Then you have nothing to work with, and are beleiving in a false world.
And yet I am working with it.

The world doesn't give a shit what you think or say about it.
True or false. It's the exact same world.

> >> And where does it get the material to synthesis those protocols?
> > From wherever we get any of the materials to conceptualise stuff.
> Which are the first principles, which you don't have.
Uhhh. ANd where did you get the material to synthesize your first principles?
And where did you get the material to synthesize the material?

Recursion - you don't grok it.

> So, you are saying your criteria for success are ILLOGICAL?
No, I am not. I am saying that our criteria for success or failure are neither logical nor illogical.

Our criteria have nothing to do with logic.
Logic is just a tool with a narrow domain of applicability.

> The emperical first principle that contradictions lead to valueless
> systems.
So English is valueless to you? OK...

> "Left Unrestricted", that is why we need rules, and we need to be smart
> about our rules.
You think it's "smart" to restrict the expressive power of recursive languages?

No wonder you can't communicate effectively in English!

> Yes, we might find that ZFC is actually inconsistent, and then we would
> need to find what we need to remove from it to keep most of what it
> generated and get it back to be consistent.
Why wait until then? Just take out everything that doesn't work already!

> Just like what happened when it was found that Naive Set Theory broke
> things and allowed contradictions, so we need to adjust how we did set
> theory to close that hole.
Yeah. You closed that hole, alright! By restricting comprehension.

Own goal.

> That's the good thing of having a good foundation, when you find a
> problem, there is normally a good way to fix it.
You still haven't address the foundational issue here...

What makes ANYTHING a "problem"?!?

> While we can't know for
> certain that the full foundation is without cracks, we do know that it
> seems at least generally sound, and any actual cracks are apt to be in
> some corner. Switch to a less well tested foundation, and you have less
> certainty on that, but you mght be able to make a risk analysts.
As a risk analyst - I can tell you that Logicians are utter idiots.

Who builds a system that doesn't tolerate ANY failure !?!
Who builds a system which EXPLODES on failure ?!?!

> Not knowing what you foundation is and how good it is, says you can't do
> that risk analysis, as you don't have the needed factors to analyize.
I just did it...

By abandoning the "law" of non-contradiction I have reduced the risk of my system exploding.

On 8/13/22 8:29 PM, Skep Dick wrote:
> On Sunday, 14 August 2022 at 01:30:41 UTC+2, richar...@gmail.com wrote:
>> On 8/13/22 6:52 PM, Skep Dick wrote:
>>> On Sunday, 14 August 2022 at 00:08:38 UTC+2, richar...@gmail.com wrote:
>>>> Then you have no foundations, so your work is build on sand and colapses.
>>> ^^^ This criterion is built on sand and colapses.
>> No, it is a firm foundation. Can you show otherwise?
> Uhh. Burden of proof?

Burden of proof is on the one promposing change. First Principles are
the establish system, so the burden of proof is on YOUR side.

First Principle are those fundamentals that we find SO fundamental and
obvious that we accept them "universally" as Axioms, without proof,
because without them we have nothing to base a proof on. These are the
principles that have stood the test of time and conditions, and have
been found to be UNIVERSALLY true in any system that actually turned out
to be useful.

You reject First Principles, therefore you have no accepted universal
axioms to base any of your proof on, so you can't actually "prove"
anything to be actually true, only that it seems to fit within your
system. You have to "hope" that the things you "arbitrarily" chose as
your basis (since you don't have a first principle to guide what you can
choose) to actually work together and be useful.

>
> If your foundation is "firm" prove its firmness.

I will go with the Millenniums of testing as its proof.

>
>> If you have no first principle, you have no principles, so nothing proven.
> Well, what kind of scam do you have going on there? What proves YOUR first principle?

The experiance of the ages.

>
>>>> But those theorems come from something.
>>> Yes. They come from me sucking my thumb.
>> A if you want to try to persuade people that this is a good basis to
>> accept your ideas, go ahead.
> Well, what makes your thumb-sucking better than my thumb-sucking?

Because it is based on the testing of ages.

>
>> We sure do. In fact, if something doesn't make sense, you can't actually
>> safely use it.
> Uhm.... You do understand that proving the safety properties of systems IS part&parcel of model-checking, right?

And how do you actually test that if you don't have a foundation to
provide any data that is meaningful.

You are defining that your system is just symbolic, but "bad" is
semantic, so you need to know meaning to determine if something "bad"
will happen.

You lost you definitions of things when you stripped the Theorems from
the foundations and put them on a new experimental one. You have no
actual basis to even define safety.

>
> https://en.wikipedia.org/wiki/Safety_property
>
> When last did you prove the safety property of your stove?
> I bet you just used good enough heuristics, like most humans!

I trust that UL testing is good enough,

Note also, that definition isn't actualy correct, as there is NEVER
"absolute" safety in any "Real" system, as there are always dangers
beyound our ability to predict or mitigate. We can perhaps in limited
system show that as long as they are operated withing their
specifications, there are no hazards created by the system.

In general, we accept relative safety, if the predictable dangers are
sufficiently small compared to the uncontrollable dangers, then it is
acceptable. Sometimes we even accept measurable dangers if the cost to
mitigate is too high, and the benefit encured is high enough, and the
bounded limit and expected levels of "badness" are small enough.

>
>
>> So, you have just effectively said that there is no way to tell if a
>> system is useful or not.
> What? Of course I have a way to tell if it's useful.
>
> Does it do what I expect it to do?
> Does it NOT do what I don't expect it to do?

But how do you know what it WILL do, with any measure of surity?

Remember, you said you took the theorem out of the system, and didn't
take its foundation, thus you lost its meaning and rules that say how
and when it works.

Note, I suspect that you don't actually do what you said, but I need to
take you at your word that you do act as stupidly as you claim.

>
> That's not logic - that's expectations.

And if you can't do the logic, you can't have expectations that have a
reasonable chance of being correct.

>
>> I guess that shows where you systems are going to end on that spectrum.
> I bet you guessed wrong which end of the spectrum my systems end up on.
>
>> You don't know what your system means, or if it yields results that are
>> actually usable, but the look pretty (I guess, depend on pretty).
> Of course I know whether the systems are useful! How do I know? Because people are actually USING them.
> But I have no fucking idea what my systems mean.
>
> What does Google mean?
> What does AWS mean?
> What does Twitter mean?

And I suspect that you have lied about not importing the foundations
when you used the system.

>
>> Nope, because a fundamental property is that a system that allows
>> contradictions, if it allows deriving other properties from existing
>> properties, will tend to allow more contradictions to be derived, until
>> the system doesn't provide the ability to know if anything actually
>> means anything.
> Which is PRECISELY how it is! Nobody gives a shit what a system MEANS.
>
> People care about what systems DOES.
>
> What does an airplane mean? It doesn't mean anything! It flies! It enables faster travel!
>
>> You have defined that you don't have the data to DO a risk anaylsis. You
>> have symbols without meaning.
> You are super confused. The symbol 10 means the number 10. You know how to count, right?

No the symbol "10" could be the number Ten, it could be the number two,
It could even mean the number Eight in some older papers. (and the
meaning of Ten, Two, and Eight are dependent on other more basic
definitions),

>
> What that number REPRESENTS is an entirely non-Mathematical question.
> It's a question of HOW are you using the symbols?
> WHAT are you using the symbols for?
>
>
>> You don't know under what conditions that statement are actually defined under, you don't have the data to DO a
>> risk analysis.
> Then how am I doing risk analysis?
>
>> That or you have just been lying about not having the foundations of the
>> theorems you are taking.
> I don't have foundations. Everything is ad-hoc - depending on my use-case.
>
> I know a bunch of design patterns.
>
>> But I bet you have an agreed upon set of defaults with them, or you
>> speciiy your system each time to them.
> Which system are you even talking about? We are systems engineers!
>
> We have systems, systems of systems and systems of systems of systems.
> They all have different configuration parameters or "defaults".
>
> We have a few shared languages - English, Mathematics, a metric fuckton of metaphors and jargon which has been culturaly evolved.
>
> But ultimately, we create/negotiate meaning in real time.
>
>>>> Maybe it stands on its own head because it has nothing to stand on.
>>> Precisely! But it still stands.
>> Try to stand on your own head!
>> Not stand with you head to the floor, but STAND ON YOU HEAD as your
>> foundation.
> Not so good with metaphors, anlogies and abstract thought, eh?
>
> With this level of pedantry, nitpicking and inability to communicate, I wonder whether YOU are capable of team work...
>
>> Nope, Nothing is not a something. You have Nothing, not even the empty
>> set, as that is a something.
> If nothing wasn't something then you wouldn't be able to conceptualise it.
> Let alone encode it in language.
>
>> You can't talk of the "set of knowledge" because you don't have the
>> foundation of a set theory, you have NOTHING.
> I can't talk about the thing that I am talking about "because I don't have the foundations"
>
> Who's going to stop me from talking about the "set of knowledge" despite my lack of foundations?

Because the words don't mean anything without the foundations.

It seems the problem is that you DO have foundations, you just don't
know what they are, or if you are obeying the rules built into them.

It appears that you are just living a life of blissful ignorance, not
realizing how much you don't understand and just trusting that things
will work out.

>
> You?
>
>> Then you have nothing to work with, and are beleiving in a false world.
> And yet I am working with it.
>
> The world doesn't give a shit what you think or say about it.
> True or false. It's the exact same world.

On Sunday, 14 August 2022 at 03:27:25 UTC+2, richar...@gmail.com wrote:
> Burden of proof is on the one promposing change. First Principles are
> the establish system, so the burden of proof is on YOUR side.
I am not proposing any changes? I am proposing that the established system doesn't have first principles!

It may serve various purposes and goals, but it has no "first principles".\

> First Principle are those fundamentals that we find SO fundamental and
> obvious that we accept them "universally" as Axioms, without proof,
> because without them we have nothing to base a proof on.
So what? In the words of Donald Knuth: Beware of bugs in the code - I have only proven it correct, not tried it!

> principles that have stood the test of time and conditions, and have
> been found to be UNIVERSALLY true in any system that actually turned out
> to be useful.
Are you actually going to show me those principles; or are you just going to keep endlesly talking about them?

> You reject First Principles, therefore you have no accepted universal
> axioms to base any of your proof on, so you can't actually "prove"
> anything to be actually true, only that it seems to fit within your
> system.
Yes. I don't understand why this needs saying or repeating?

I don't subscribe to your religious mindset.

I am a pragmatist, not a foundationalist.
The "universal principles" that worked yesterday stopped working today. Shit changed!

>You have to "hope" that the things you "arbitrarily" chose as
> your basis (since you don't have a first principle to guide what you can
> choose) to actually work together and be useful.
Yep! The more I practice - the luckier I get.

> I will go with the Millenniums of testing as its proof.
The test of time is not a proof. It's an empirical test.

For all your insistence on "standard definitions" you still don't know the difference between the formal and the empirical.

> The experiance of the ages.
The experience of the ages, the knowledged passed down comes in the form of practical rituals - not in the form of principles.

It's one thing to put principles to paper - it's another thing to act them out.

> > Well, what makes your thumb-sucking better than my thumb-sucking?
> Because it is based on the testing of ages.
Oh yeah? And which ones survived?

> And how do you actually test that if you don't have a foundation to
> provide any data that is meaningful.
I don't need a foundation. Just a system for collecting the data I need.

> You are defining that your system is just symbolic, but "bad" is
> semantic, so you need to know meaning to determine if something "bad"
> will happen.
Bad is not semantic. It's a judgment. If we could encode "badness" in semantics we would've
worked out this whole "morality" stuff by now and left the AI to run the place.

> You lost you definitions of things when you stripped the Theorems from
> the foundations and put them on a new experimental one. You have no
> actual basis to even define safety.
You do understand that safety is not a definition, yeah?

Maybe you don't...

> I trust that UL testing is good enough,
So you didn't prove any safety properties about the system.

Thought so.

> Note also, that definition isn't actualy correct, as there is NEVER
> "absolute" safety in any "Real" system, as there are always dangers
> beyound our ability to predict or mitigate. We can perhaps in limited
> system show that as long as they are operated withing their
> specifications, there are no hazards created by the system.
Never mind that! There's at least two types of safety in every system!

The kind of safety where as few things as possible go wrong.
The kind of safety where as many things as possible go right.

> In general, we accept relative safety, if the predictable dangers are
> sufficiently small compared to the uncontrollable dangers, then it is
> acceptable.
Sounds like you are only interested in the first kind of safety.

> But how do you know what it WILL do, with any measure of surity?
How did the Wright brothers know their airplane will fly with any measure of surity?

They didn't. Until they did.

> Remember, you said you took the theorem out of the system, and didn't
> take its foundation, thus you lost its meaning and rules that say how
> and when it works.
You mean exactly like the theory of how/why airplanes fly has changed 3 times over the last 100 years?
But airplanes keep flying.

You mean exactly how the rules of gravity changed twice in the last 500 years?
But objects keep falling.

You seem completely oblivious to instrumentalism in science.

> Note, I suspect that you don't actually do what you said, but I need to
> take you at your word that you do act as stupidly as you claim.
Therein lies the crux, dumbo! Self-description and self-evaluation doesn't work!

That's the entire point and implication of undecidability!

> And if you can't do the logic, you can't have expectations that have a
> reasonable chance of being correct.
Way to equivocate the point. Yet again. Mr Logic.

I expect my car to be exactly where I parked it. Is that a "correct" or an "incorrect" expectation?

> And I suspect that you have lied about not importing the foundations
> when you used the system.
You mean software libraries? Those are not foundations.

You said (or lied that?) fundations have to be consistent/free from contradictions.
There is no software in existence which fits this definition.

> No the symbol "10" could be the number Ten, it could be the number two,
> It could even mean the number Eight in some older papers. (and the
> meaning of Ten, Two, and Eight are dependent on other more basic
> definitions),
Great! So when I intentionally set you up to pretend that 10 is unambiguous you produced exactly the response I guessed you would. Which serves to perfectly demonstrate THAT there are no first principles!

It is impossible to make everything explicit in language!
There are (inherently and always) things left unsaid, unsayable and implicit.

Because EVERY notation/syntax is arbitrary convention!

> Because the words don't mean anything without the foundations.
Uhuh. What's the foundation of the word "red"? What's the foundation of colors?
What's the foundation of experience?

> It seems the problem is that you DO have foundations, you just don't
> know what they are, or if you are obeying the rules built into them.
It really seems you don't understand the essence of Wittgenstein's rule-following paradox.

No course of action could be determined by a rule, because every course of action can be made out to accord with the rule.

> It appears that you are just living a life of blissful ignorance, not
> realizing how much you don't understand and just trusting that things
> will work out.
It appears you are as confused as always.

I have a model of the world. It's an effective model. It's build upon experience and direct interaction with reality.
It's built from the ground up.

My mental model of how stuff works is NOT built from any "first principles".

If I could build the model up from first principles I wouldn't have needed experience, or repetitive iteration, or trial&error.

> And the world doesn't care what YOU think about it, or what you expect
> out of it.
Precisely! That's why there are no foundations.

Our attempts to adapt to; and cope with an extremely complex problem-domain produces a bunch of hacks which help us cope with the situation. All models are wrong - some are useful.

> It will give you what it will give you, and if you didn't properly
> prepare for it because you ignored how it actually works because you
> think you can just use whatever rules you want, some day you will meet
> an unpleasent surprise.
You don't know how anything "actually works" outside the explanation offered by your models.
Which are always incomplete, and rather slow to adapt to; or incorporate new information.

> Just shows you don't understand the first principles.
You've spent A LOT of time talking about them. And zero time listing, or showing them.

I wonder why ;)

> If it keeps you from doing the things that break the system, yes.
And if it keeps me from doing the things which stops the system from exploding?

> Do you think it would make sense to issue everyone with a Gun and tell
> them it was ok to do with it whatever they felt like?
Do you think it would make sense to tell people how to use a gun; or train people how to use a gun?

I've never sean anybody learn any practical skills from reading a book....

> Sometimes restrictions improve things.
And sometimes they worsen things.

There is no first principle which tells you which time is when.

> So, you think it makes sense to have the set of all sets that don't
> contain themselves? (Is this set in that set?)
The theoretical answer doesn't matter in practice unless it has practical implications.

On Saturday, August 13, 2022 at 2:16:43 PM UTC-7, Skep Dick wrote:
> On Saturday, 13 August 2022 at 21:59:39 UTC+2, dklei...@gmail.com wrote:
> > On Saturday, August 13, 2022 at 2:09:34 AM UTC-7, Skep Dick wrote:
> > >
> > > Perhaps you should consider an altrernative perspective? Not the rules of logic, but the logic of rules.
> > >
> > > https://nguyentito.eu/locus-solum-mscs.pdf
> > >
> > Thank You for th reference to something that is new to me.
> >
> > I will have to make significant effort to understand it. At first glance
> > the prognosis is not promising. It sounds too much like high power
> > nuttery. But I should not jump to a dismissal.
> If I may make a suggestion that may spare you a significant amount of time.
>
> I would NEVER recommend reading such a dense paper with zero context - you are going to end up nowhere. Especialy if you don't know that Girard lost the plot a little bit around that time of his career so it's difficult to pry apart the novelty from the quackery.
>
> Despite his explicit hatred for game semantics, he landed up exactly there anyway - game theory. Dialogical logic.
> So it's entirely possible that you already have some intuition for the implication of his work, but you may have arrived at those intuitions/implications via a different field.
>
> First start with the background/history of DIalogical Logic (https://plato.stanford.edu/entries/logic-dialogical/) and if any of the fields/authors sound familiar to you and you already have intuitions in constructive mathematics, type theory or game theory - rather follow the most recent developments in that area.
>
Your link changed target in February of this year. You still want to use it?
>
> Girard is a genius. But he's also a crank/lone wolf and he hasn't had much of a community to help him develop his work or make it more accessible to outsiders.

Summary of the below:

You don't understand what you are talking about becaus you refuse to
actually try to know something.

Simple points:

It is proven that we can not prove everything.

Some things MUST be assumed to be true.

It is "best" if these assumptions come from what has been emperically
been shown to lead to logic that produces good results, verses logic
that produces "unreal" results.

Those assumptions, that have been proven over the test of time, are what
we know as the First Principles.

Yes, we can look at deviating from these, but we need to do this
DELIBERATELY and with CLARITY, and see what develops and perhaps broaden
our understand.

For example, at one point it was assumed as a First Principle that two
lines both a right angle to a third line, non-coincident, and co-planar,
would keep a constant distance from each other as far as you went.

At some later point, this concept was challanged, and thoght experements
were done imagining systems where this did not hold, and the results
analyized, which brough forward the concept of Non-Euclidian Geometry.

Similarly, by careful chalenging First Principles, we have gotten things
like Complex Numbers, Trans-Finite Mathematics of various flavors, and
even things like the Theory of Relativity.

There have also likely been many other attempts that didn't result in
useful findings, because the rules ARE more solidly fixed, or we haven't
thought of the right way they can be generalized. Most of these don't
get much notice, or just a notice as a Good Attempt, because the people
doing them make it clear what they are attempting to do, and the
ACKNOWLEDGE that they are INTENTIONALLY trying to deviate from the
accepted First Principles.

There are also people who just tried to ignore the First Princples, and
became known as laughing stocks because there work just didn't "work",
and it it clear that the failure was due to ignoring first principles.

You seem to be aimed at this last category

If you ARE actually looking at the Logic of the Rules, you should know
about the First Principles, and understand how they came about.

Yes, you might challange some of them, but you would do this not by
INGORING them, but by looking them straight in the eye and work on the
reason they WERE accepted in the first place. There are reasons.

As an example, yes, long ago, the existence of the Natural Numbers were
just taken as a First Principle (and many still do), but some people
were unhappy with that and worked on a way to reduce how much just
needed to be assumed to make them work. Thus came the various method to
"generate" the Natural numbers, which (generally) don't change the
nature of the Natural Numbers, but some of them show ways to generalize
them to broader concepts, sometimes even to including things like
infinitesimals.

On 8/13/22 11:16 PM, Skep Dick wrote:
> On Sunday, 14 August 2022 at 03:27:25 UTC+2, richar...@gmail.com wrote:
>> Burden of proof is on the one promposing change. First Principles are
>> the establish system, so the burden of proof is on YOUR side.
> I am not proposing any changes? I am proposing that the established system doesn't have first principles!
>
> It may serve various purposes and goals, but it has no "first principles".\
>
>> First Principle are those fundamentals that we find SO fundamental and
>> obvious that we accept them "universally" as Axioms, without proof,
>> because without them we have nothing to base a proof on.
> So what? In the words of Donald Knuth: Beware of bugs in the code - I have only proven it correct, not tried it!
>
>> principles that have stood the test of time and conditions, and have
>> been found to be UNIVERSALLY true in any system that actually turned out
>> to be useful.
> Are you actually going to show me those principles; or are you just going to keep endlesly talking about them?
>
>> You reject First Principles, therefore you have no accepted universal
>> axioms to base any of your proof on, so you can't actually "prove"
>> anything to be actually true, only that it seems to fit within your
>> system.
> Yes. I don't understand why this needs saying or repeating?
>
> I don't subscribe to your religious mindset.
>
> I am a pragmatist, not a foundationalist.
> The "universal principles" that worked yesterday stopped working today. Shit changed!
>
>> You have to "hope" that the things you "arbitrarily" chose as
>> your basis (since you don't have a first principle to guide what you can
>> choose) to actually work together and be useful.
> Yep! The more I practice - the luckier I get.
>
>> I will go with the Millenniums of testing as its proof.
> The test of time is not a proof. It's an empirical test.
>
> For all your insistence on "standard definitions" you still don't know the difference between the formal and the empirical.
>
>> The experiance of the ages.
> The experience of the ages, the knowledged passed down comes in the form of practical rituals - not in the form of principles.
>
> It's one thing to put principles to paper - it's another thing to act them out.
>
>>> Well, what makes your thumb-sucking better than my thumb-sucking?
>> Because it is based on the testing of ages.
> Oh yeah? And which ones survived?
>
>> And how do you actually test that if you don't have a foundation to
>> provide any data that is meaningful.
> I don't need a foundation. Just a system for collecting the data I need.
>
>> You are defining that your system is just symbolic, but "bad" is
>> semantic, so you need to know meaning to determine if something "bad"
>> will happen.
> Bad is not semantic. It's a judgment. If we could encode "badness" in semantics we would've
> worked out this whole "morality" stuff by now and left the AI to run the place.
>
>> You lost you definitions of things when you stripped the Theorems from
>> the foundations and put them on a new experimental one. You have no
>> actual basis to even define safety.
> You do understand that safety is not a definition, yeah?
>
> Maybe you don't...
>
>> I trust that UL testing is good enough,
> So you didn't prove any safety properties about the system.
>
> Thought so.
>
>> Note also, that definition isn't actualy correct, as there is NEVER
>> "absolute" safety in any "Real" system, as there are always dangers
>> beyound our ability to predict or mitigate. We can perhaps in limited
>> system show that as long as they are operated withing their
>> specifications, there are no hazards created by the system.
> Never mind that! There's at least two types of safety in every system!
>
> The kind of safety where as few things as possible go wrong.
> The kind of safety where as many things as possible go right.
>
>> In general, we accept relative safety, if the predictable dangers are
>> sufficiently small compared to the uncontrollable dangers, then it is
>> acceptable.
> Sounds like you are only interested in the first kind of safety.
>
>> But how do you know what it WILL do, with any measure of surity?
> How did the Wright brothers know their airplane will fly with any measure of surity?
>
> They didn't. Until they did.
>
>> Remember, you said you took the theorem out of the system, and didn't
>> take its foundation, thus you lost its meaning and rules that say how
>> and when it works.
> You mean exactly like the theory of how/why airplanes fly has changed 3 times over the last 100 years?
> But airplanes keep flying.
>
> You mean exactly how the rules of gravity changed twice in the last 500 years?
> But objects keep falling.
>
> You seem completely oblivious to instrumentalism in science.
>
>> Note, I suspect that you don't actually do what you said, but I need to
>> take you at your word that you do act as stupidly as you claim.
> Therein lies the crux, dumbo! Self-description and self-evaluation doesn't work!
>
> That's the entire point and implication of undecidability!
>
>> And if you can't do the logic, you can't have expectations that have a
>> reasonable chance of being correct.
> Way to equivocate the point. Yet again. Mr Logic.
>
> I expect my car to be exactly where I parked it. Is that a "correct" or an "incorrect" expectation?
>
>> And I suspect that you have lied about not importing the foundations
>> when you used the system.
> You mean software libraries? Those are not foundations.
>
> You said (or lied that?) fundations have to be consistent/free from contradictions.
> There is no software in existence which fits this definition.
>
>> No the symbol "10" could be the number Ten, it could be the number two,
>> It could even mean the number Eight in some older papers. (and the
>> meaning of Ten, Two, and Eight are dependent on other more basic
>> definitions),
> Great! So when I intentionally set you up to pretend that 10 is unambiguous you produced exactly the response I guessed you would. Which serves to perfectly demonstrate THAT there are no first principles!
>
> It is impossible to make everything explicit in language!
> There are (inherently and always) things left unsaid, unsayable and implicit.
>
> Because EVERY notation/syntax is arbitrary convention!
>
>> Because the words don't mean anything without the foundations.
> Uhuh. What's the foundation of the word "red"? What's the foundation of colors?
> What's the foundation of experience?
>
>> It seems the problem is that you DO have foundations, you just don't
>> know what they are, or if you are obeying the rules built into them.
> It really seems you don't understand the essence of Wittgenstein's rule-following paradox.
>
> No course of action could be determined by a rule, because every course of action can be made out to accord with the rule.
>
>> It appears that you are just living a life of blissful ignorance, not
>> realizing how much you don't understand and just trusting that things
>> will work out.
> It appears you are as confused as always.
>
> I have a model of the world. It's an effective model. It's build upon experience and direct interaction with reality.
> It's built from the ground up.
>
> My mental model of how stuff works is NOT built from any "first principles".
>
> If I could build the model up from first principles I wouldn't have needed experience, or repetitive iteration, or trial&error.
>
>> And the world doesn't care what YOU think about it, or what you expect
>> out of it.
> Precisely! That's why there are no foundations.
>
> Our attempts to adapt to; and cope with an extremely complex problem-domain produces a bunch of hacks which help us cope with the situation. All models are wrong - some are useful.
>
>> It will give you what it will give you, and if you didn't properly
>> prepare for it because you ignored how it actually works because you
>> think you can just use whatever rules you want, some day you will meet
>> an unpleasent surprise.
> You don't know how anything "actually works" outside the explanation offered by your models.
> Which are always incomplete, and rather slow to adapt to; or incorporate new information.
>
>> Just shows you don't understand the first principles.
> You've spent A LOT of time talking about them. And zero time listing, or showing them.
>
> I wonder why ;)
>
>> If it keeps you from doing the things that break the system, yes.
> And if it keeps me from doing the things which stops the system from exploding?
>
>> Do you think it would make sense to issue everyone with a Gun and tell
>> them it was ok to do with it whatever they felt like?
> Do you think it would make sense to tell people how to use a gun; or train people how to use a gun?
>
> I've never sean anybody learn any practical skills from reading a book....
>
>> Sometimes restrictions improve things.
> And sometimes they worsen things.
>
> There is no first principle which tells you which time is when.
>
>> So, you think it makes sense to have the set of all sets that don't
>> contain themselves? (Is this set in that set?)
> The theoretical answer doesn't matter in practice unless it has practical implications.
>
> What would be different about the universe if it did; or didn't make sense?
>
>> Yep, you just scored one.
> Not possible. I am not playing a goal-scoring game.
>
>> No, you just don't see that you system HAS exploded, or has been
>> crippled to the point of not being useful for many things.
> Precisely!
>
> When an airplane explodes; or has been crippled the failure is overt.
> You are flat out admitting that the impact of logical errors on a system is barely detectable.
>
>
>

On Sunday, 14 August 2022 at 20:08:13 UTC+2, richar...@gmail.com wrote:
> It is proven that we can not prove everything.
Liar! Liar! Pants on fire!

You literally just said that a logic which can prove a contradiction can prove everything.

So can we; or can't we prove everything?!? Looks like you've changed your mind.

> Some things MUST be assumed to be true.
I agree 100%. I assume that the law of CONTRADICTION (N.B not non-contradiction) is true.

> It is "best" if these assumptions come from what has been emperically
> been shown to lead to logic that produces good results, verses logic
> that produces "unreal" results.
You are confusing the abstract for the concrete. Maybe you don't understand the difference?

Logic is deductive.
The universe we live in allows no more than abductive and inductive reasoning.

> Those assumptions, that have been proven over the test of time, are what
> we know as the First Principles.
Ah! The irony. A proof requires an axiom.

Your axioms ARE your first principles.

How do you know your axioms/first principles are true?

Hint: you can't possibly be using logic! Otherwise your axioms have axioms, and your axiom's axioms have axioms.

> Yes, we can look at deviating from these, but we need to do this
> DELIBERATELY and with CLARITY, and see what develops and perhaps broaden
> our understand.
You mean like giving up the training wheels on a bycicle?

Only when you grow up and learn how to think without rules...

> For example, at one point it was assumed as a First Principle that two
> lines both a right angle to a third line, non-coincident, and co-planar,
> would keep a constant distance from each other as far as you went.
>
> At some later point, this concept was challanged, and thoght experements
> were done imagining systems where this did not hold, and the results
> analyized, which brough forward the concept of Non-Euclidian Geometry.
I know. I said that already. Hence my point none of the axioms were "true" or "false".

They were just postulates.

> Similarly, by careful chalenging First Principles, we have gotten things
> like Complex Numbers, Trans-Finite Mathematics of various flavors, and
> even things like the Theory of Relativity.
Founded upon ZFC (which ma be inconsistent). Wich is founded upon Classical logic. Which explodes.

Looks like you have built your tower on sand.

>
> There have also likely been many other attempts that didn't result in
> useful findings, because the rules ARE more solidly fixed, or we haven't
> thought of the right way they can be generalized. Most of these don't
> get much notice, or just a notice as a Good Attempt, because the people
> doing them make it clear what they are attempting to do, and the
> ACKNOWLEDGE that they are INTENTIONALLY trying to deviate from the
> accepted First Principles.
>
> There are also people who just tried to ignore the First Princples, and
> became known as laughing stocks because there work just didn't "work",
> and it it clear that the failure was due to ignoring first principles.
>
> You seem to be aimed at this last category
Q.E.D What an uncharitable Dick.

My "work" is the standard model in any modern computer science and Mathematics school which teaches Univalent foundations.

> If you ARE actually looking at the Logic of the Rules, you should know
> about the First Principles, and understand how they came about.
I do know how they come about - they are arbitrarily chosen.

> Yes, you might challange some of them, but you would do this not by
> INGORING them, but by looking them straight in the eye and work on the
> reason they WERE accepted in the first place. There are reasons.
In all my interactions with you so far you have lied about having "first principles".

They seem more like rationalisations than first principles.

On 8/14/22 4:28 PM, Skep Dick wrote:
> On Sunday, 14 August 2022 at 20:08:13 UTC+2, richar...@gmail.com wrote:
>> It is proven that we can not prove everything.
> Liar! Liar! Pants on fire!
>
> You literally just said that a logic which can prove a contradiction can prove everything.
>
> So can we; or can't we prove everything?!? Looks like you've changed your mind.

Well, you got me there, we can only not prove everything in a system
that is consistent. And inconsistent system CAN prove everything, even
everything that is false, which means that it doesn't actually establish
the Truth of anything, so an inconsistent system while it can go through
the motions and "prove" everything, actually doesn't prove anything at
all because its proof means nothing.

Trying to parse that sentence without a knowledge of semantics will
likely make you head explode, so please try to do so.

>
>> Some things MUST be assumed to be true.
> I agree 100%. I assume that the law of CONTRADICTION (N.B not non-contradiction) is true.
>
>> It is "best" if these assumptions come from what has been emperically
>> been shown to lead to logic that produces good results, verses logic
>> that produces "unreal" results.
> You are confusing the abstract for the concrete. Maybe you don't understand the difference?

>
> Logic is deductive.
> The universe we live in allows no more than abductive and inductive reasoning.

Why do you say that? We can do Deductive Reasoning in this universe.

>
>> Those assumptions, that have been proven over the test of time, are what
>> we know as the First Principles.
> Ah! The irony. A proof requires an axiom.

No, a DEDUCTIVE proof requires an axiom, not all proofs are deductive.

>
> Your axioms ARE your first principles.
>
> How do you know your axioms/first principles are true?
>
> Hint: you can't possibly be using logic! Otherwise your axioms have axioms, and your axiom's axioms have axioms.

Right, that is why they are First Principles that have been made into Axiom.

Real Axioms are not logically provable, if they were logically provable,
they wouldn't need to be axioms, but could be first Theorms.

The key is establishing your set of First Principles to be sound, and
that is why you need to choose them with care.

>
>> Yes, we can look at deviating from these, but we need to do this
>> DELIBERATELY and with CLARITY, and see what develops and perhaps broaden
>> our understand.
> You mean like giving up the training wheels on a bycicle?
>
> Only when you grow up and learn how to think without rules...

I think you fell off your bicycle a few to many times.

The problem isn't just breaking some of the rules, but ignoring them.
That is like going for a Hike and throwing away the trail map and then
bushwacking cross country.

>
>> For example, at one point it was assumed as a First Principle that two
>> lines both a right angle to a third line, non-coincident, and co-planar,
>> would keep a constant distance from each other as far as you went.
>>
>> At some later point, this concept was challanged, and thoght experements
>> were done imagining systems where this did not hold, and the results
>> analyized, which brough forward the concept of Non-Euclidian Geometry.
> I know. I said that already. Hence my point none of the axioms were "true" or "false".
>
> They were just postulates.

The were assumed True in the system.

>
>> Similarly, by careful chalenging First Principles, we have gotten things
>> like Complex Numbers, Trans-Finite Mathematics of various flavors, and
>> even things like the Theory of Relativity.
> Founded upon ZFC (which ma be inconsistent). Wich is founded upon Classical logic. Which explodes.
>
> Looks like you have built your tower on sand.

Where does classical logic explode?

That only happens if you insert a false premise into you logic and
assume it true.

Unless you have an actaul contradiction that you can show in classical
logic.

>
>>
>> There have also likely been many other attempts that didn't result in
>> useful findings, because the rules ARE more solidly fixed, or we haven't
>> thought of the right way they can be generalized. Most of these don't
>> get much notice, or just a notice as a Good Attempt, because the people
>> doing them make it clear what they are attempting to do, and the
>> ACKNOWLEDGE that they are INTENTIONALLY trying to deviate from the
>> accepted First Principles.
>>
>> There are also people who just tried to ignore the First Princples, and
>> became known as laughing stocks because there work just didn't "work",
>> and it it clear that the failure was due to ignoring first principles.
>>
>> You seem to be aimed at this last category
> Q.E.D What an uncharitable Dick.
>
> My "work" is the standard model in any modern computer science and Mathematics school which teaches Univalent foundations.

And until you can prove that ALL existing logic can be brought under
that umbrella, your claims are not-established.

From what I read, that is still very much a work in progress.

So you are sailing in a leaking ship and we need to find out if the
holes CAN be patched well enough to keep it aflost.

Classic logic is still very much on a firm foundation

>
>> If you ARE actually looking at the Logic of the Rules, you should know
>> about the First Principles, and understand how they came about.
> I do know how they come about - they are arbitrarily chosen.

If they were, they you are lost.

Maybe that is your problem, you don't know why you are doing thiings, so
don't know what is good to do and what isn't

>
>> Yes, you might challange some of them, but you would do this not by
>> INGORING them, but by looking them straight in the eye and work on the
>> reason they WERE accepted in the first place. There are reasons.
> In all my interactions with you so far you have lied about having "first principles".
>
> They seem more like rationalisations than first principles.
>

Nope, just your lack of understanding.

Apparently too complicated for you because you have filled you mind with
drivel that you can't (or won't) organize.