On Wednesday, August 9, 2023 at 10:10:46 PM UTC-5, olcott wrote:
This is the exactly same learned-by-rote compared to careful
examination of the philosophical foundations that I have been talking
about written by a learned-by-rote guy.
learned-by-rote (logicians) really don't care if the whole basis of
their understanding is inherently incorrect.
Anders Ahlgren
When I was getting my PhD, we had a joint logic seminar with both
philosophical and mathematical logicians. I would say the most striking
difference is what part of the talk they are interested in.
When a mathematical logician gives a talk in front of an audience that
contains philosophical logicians, it often goes something like this.
There is a brief introduction, including a couple of definitions. For
the mathematical logician, this is just boring routine stuff, something
you need to go through before you write down the theorem and gets to the
interesting part, the neat techniques he or she invented to prove it.
However, as soon as the definitions are shown, the philosophers raise
their hands and want to discuss whether this is the “right” definition. >> For them, the definition is supposed to clarify what you are studying;
the definition itself should captures some underlying basic truth. The
mathematical logician just doesn’t care about that. He or she will
rather be thinking something along the lines of “Clearly it is the right >> definition, because that is the definition that lets us prove this
extremely cool theorem that I haven’t even gotten to write down yet!
Shut up and let me get on with it!”
https://www.quora.com/What-is-the-difference-between-philosophical-logic-mathematical-logic
--
Copyright 2023 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
Actually, logic is a roadblock to achieving truly great advances.
This is the exactly same learned-by-rote compared to careful
examination of the philosophical foundations that I have been talking
about written by a learned-by-rote guy.
learned-by-rote (logicians) really don't care if the whole basis of
their understanding is inherently incorrect.
Anders Ahlgren
When I was getting my PhD, we had a joint logic seminar with both philosophical and mathematical logicians. I would say the most striking difference is what part of the talk they are interested in.
When a mathematical logician gives a talk in front of an audience that contains philosophical logicians, it often goes something like this.
There is a brief introduction, including a couple of definitions. For
the mathematical logician, this is just boring routine stuff, something
you need to go through before you write down the theorem and gets to the interesting part, the neat techniques he or she invented to prove it.
However, as soon as the definitions are shown, the philosophers raise
their hands and want to discuss whether this is the “right” definition. For them, the definition is supposed to clarify what you are studying;
the definition itself should captures some underlying basic truth. The mathematical logician just doesn’t care about that. He or she will
rather be thinking something along the lines of “Clearly it is the right definition, because that is the definition that lets us prove this
extremely cool theorem that I haven’t even gotten to write down yet!
Shut up and let me get on with it!”
https://www.quora.com/What-is-the-difference-between-philosophical-logic-mathematical-logic
--
Copyright 2023 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
This is the exactly same learned-by-rote compared to careful
examination of the philosophical foundations that I have been talking
about written by a learned-by-rote guy.
learned-by-rote (logicians) really don't care if the whole basis of
their understanding is inherently incorrect.
Anders Ahlgren
When I was getting my PhD, we had a joint logic seminar with both philosophical and mathematical logicians. I would say the most striking difference is what part of the talk they are interested in.
When a mathematical logician gives a talk in front of an audience that contains philosophical logicians, it often goes something like this.
There is a brief introduction, including a couple of definitions. For
the mathematical logician, this is just boring routine stuff, something
you need to go through before you write down the theorem and gets to the interesting part, the neat techniques he or she invented to prove it.
However, as soon as the definitions are shown, the philosophers raise
their hands and want to discuss whether this is the “right” definition. For them, the definition is supposed to clarify what you are studying;
the definition itself should captures some underlying basic truth. The mathematical logician just doesn’t care about that. He or she will
rather be thinking something along the lines of “Clearly it is the right definition, because that is the definition that lets us prove this
extremely cool theorem that I haven’t even gotten to write down yet!
Shut up and let me get on with it!”
https://www.quora.com/What-is-the-difference-between-philosophical-logic-mathematical-logic
On 8/9/23 11:10 PM, olcott wrote:
This is the exactly same learned-by-rote compared to carefulNo, your blathering is coming from a NEVER learned at all guy.
examination of the philosophical foundations that I have been talking about written by a learned-by-rote guy.
learned-by-rote (logicians) really don't care if the whole basis ofAnd what is "inherently incorrect". So far the only thing that I have
their understanding is inherently incorrect.
seen you really don't like is the fact that we say the major parts of
logic is "incomplete" because there are statements that ARE TRUE, but we will never be able to prove them in the system.
What is so wrong with that? The nature of Truth is that there is no requirement that we actually be able to know it for it to actually be True.
Your error seems rooted in the egotistical concept that you need to be
able to, at least potentially, be able to know EVERYTHING that is
"True". We can't!
Anders Ahlgren
When I was getting my PhD, we had a joint logic seminar with both philosophical and mathematical logicians. I would say the most striking difference is what part of the talk they are interested in.
When a mathematical logician gives a talk in front of an audience that contains philosophical logicians, it often goes something like this.
There is a brief introduction, including a couple of definitions. For
the mathematical logician, this is just boring routine stuff, something you need to go through before you write down the theorem and gets to the interesting part, the neat techniques he or she invented to prove it.
However, as soon as the definitions are shown, the philosophers raise their hands and want to discuss whether this is the “right” definition.
For them, the definition is supposed to clarify what you are studying;
the definition itself should captures some underlying basic truth. The mathematical logician just doesn’t care about that. He or she will rather be thinking something along the lines of “Clearly it is the right definition, because that is the definition that lets us prove this extremely cool theorem that I haven’t even gotten to write down yet! Shut up and let me get on with it!”
https://www.quora.com/What-is-the-difference-between-philosophical-logic-mathematical-logic
So, you are agreeing that you don't understand what the logician has defined!
As I have said MANY times, and you don't seem to understand, you are perfectly free to define your own "new" logic system, you just can't
then say you are using the same system as people have previously defined.
And, more importantly, you can't just claim that you system is useful
for anything until you actually show that it is.
Go ahead, TRY to actually define your "new" logical system, but you will need to be PRECISE to define what you mean, not just that "everyone"
should know what that term means.
Then go and show what can be done with that system.
Since you are trying to redefine the ultimate core of the logic system,
what a "deduction" can do, you can't just use ANYTHING that comes out of
any standard logic sytem, but need to re-derive the centuries of work
done in logic, making sure you only do deductions that meet your definition.
The argument that you don't have time doesn't work, using work you have declared might be incorrect is just incorrect.
I think your really problem is that you can't really define what you
mean, because you don't exactly know what you want. You see a problem
with the results of logic, that it PROVES things that you don't like, so want to remove the ability to prove that, but the problem is that if you remove that part of the ability, the "knife" isn't sharp enough to
remove other major parts that you do need.
You also don't understand that if you change something, it isn't what it was.
I think that ultimately, what you don't understand is that in logic you
have to be very sure of what you are starting with, as a little error in your foundation brings the whole system down. That is the Principle of Explosion, that in a logic system powerful enough to do the sort of work
we want out of logic, there is no such thing as a "small error", any
error, if accepted into the system, brings it down.
Yes, there are forms of logic that become "Explosion Proof", that can contain an error into breaking just a small part of the system, but the making of the system explosion proof, does so by hampering what it can do.
On Thursday, August 10, 2023 at 7:07:36 AM UTC-5, Richard Damon wrote:elderly professor says, somethings impossible it really is possible and then you'll go on and on in your post a bunch of meaningless quasi-logical terminology and been going on now for 15 years with you and then you'll go on and on and on and people have
On 8/9/23 11:10 PM, olcott wrote:
This is the exactly same learned-by-rote compared to carefulNo, your blathering is coming from a NEVER learned at all guy.
examination of the philosophical foundations that I have been talking about written by a learned-by-rote guy.
learned-by-rote (logicians) really don't care if the whole basis of their understanding is inherently incorrect.And what is "inherently incorrect". So far the only thing that I have
seen you really don't like is the fact that we say the major parts of logic is "incomplete" because there are statements that ARE TRUE, but we will never be able to prove them in the system.
What is so wrong with that? The nature of Truth is that there is no requirement that we actually be able to know it for it to actually be True.
Your error seems rooted in the egotistical concept that you need to be able to, at least potentially, be able to know EVERYTHING that is
"True". We can't!
Anders Ahlgren
When I was getting my PhD, we had a joint logic seminar with both philosophical and mathematical logicians. I would say the most striking difference is what part of the talk they are interested in.
When a mathematical logician gives a talk in front of an audience that contains philosophical logicians, it often goes something like this. There is a brief introduction, including a couple of definitions. For the mathematical logician, this is just boring routine stuff, something you need to go through before you write down the theorem and gets to the interesting part, the neat techniques he or she invented to prove it.
However, as soon as the definitions are shown, the philosophers raise their hands and want to discuss whether this is the “right” definition.
For them, the definition is supposed to clarify what you are studying; the definition itself should captures some underlying basic truth. The mathematical logician just doesn’t care about that. He or she will rather be thinking something along the lines of “Clearly it is the right
definition, because that is the definition that lets us prove this extremely cool theorem that I haven’t even gotten to write down yet! Shut up and let me get on with it!”
https://www.quora.com/What-is-the-difference-between-philosophical-logic-mathematical-logic
So, you are agreeing that you don't understand what the logician has defined!
As I have said MANY times, and you don't seem to understand, you are perfectly free to define your own "new" logic system, you just can't
then say you are using the same system as people have previously defined.
And, more importantly, you can't just claim that you system is useful
for anything until you actually show that it is.
Go ahead, TRY to actually define your "new" logical system, but you will need to be PRECISE to define what you mean, not just that "everyone" should know what that term means.
Then go and show what can be done with that system.
Since you are trying to redefine the ultimate core of the logic system, what a "deduction" can do, you can't just use ANYTHING that comes out of any standard logic sytem, but need to re-derive the centuries of work
done in logic, making sure you only do deductions that meet your definition.
The argument that you don't have time doesn't work, using work you have declared might be incorrect is just incorrect.
I think your really problem is that you can't really define what you
mean, because you don't exactly know what you want. You see a problem
with the results of logic, that it PROVES things that you don't like, so want to remove the ability to prove that, but the problem is that if you remove that part of the ability, the "knife" isn't sharp enough to
remove other major parts that you do need.
You also don't understand that if you change something, it isn't what it was.
I think that ultimately, what you don't understand is that in logic you have to be very sure of what you are starting with, as a little error in your foundation brings the whole system down. That is the Principle of Explosion, that in a logic system powerful enough to do the sort of work we want out of logic, there is no such thing as a "small error", any error, if accepted into the system, brings it down.
Yes, there are forms of logic that become "Explosion Proof", that can contain an error into breaking just a small part of the system, but the making of the system explosion proof, does so by hampering what it can do.Not when the goal is to create an artificial mind that always uses
correct reasoning.
that's impossible.
And now you, since you enjoy arguing with people, and you do nothing useful with your life, except arguing will come up with some kind of response you know nothings impossible, Arthur C Clarke how does lol we're nothing is impossible and then, if an
On Thursday, August 10, 2023 at 7:07:36 AM UTC-5, Richard Damon wrote:
On 8/9/23 11:10 PM, olcott wrote:
This is the exactly same learned-by-rote compared to carefulNo, your blathering is coming from a NEVER learned at all guy.
examination of the philosophical foundations that I have been talking
about written by a learned-by-rote guy.
And what is "inherently incorrect". So far the only thing that I have
learned-by-rote (logicians) really don't care if the whole basis of
their understanding is inherently incorrect.
seen you really don't like is the fact that we say the major parts of
logic is "incomplete" because there are statements that ARE TRUE, but we
will never be able to prove them in the system.
What is so wrong with that? The nature of Truth is that there is no
requirement that we actually be able to know it for it to actually be True. >>
Your error seems rooted in the egotistical concept that you need to be
able to, at least potentially, be able to know EVERYTHING that is
"True". We can't!
So, you are agreeing that you don't understand what the logician has
Anders Ahlgren
When I was getting my PhD, we had a joint logic seminar with both
philosophical and mathematical logicians. I would say the most striking
difference is what part of the talk they are interested in.
When a mathematical logician gives a talk in front of an audience that
contains philosophical logicians, it often goes something like this.
There is a brief introduction, including a couple of definitions. For
the mathematical logician, this is just boring routine stuff, something
you need to go through before you write down the theorem and gets to the >>> interesting part, the neat techniques he or she invented to prove it.
However, as soon as the definitions are shown, the philosophers raise
their hands and want to discuss whether this is the “right” definition. >>> For them, the definition is supposed to clarify what you are studying;
the definition itself should captures some underlying basic truth. The
mathematical logician just doesn’t care about that. He or she will
rather be thinking something along the lines of “Clearly it is the right >>> definition, because that is the definition that lets us prove this
extremely cool theorem that I haven’t even gotten to write down yet!
Shut up and let me get on with it!”
https://www.quora.com/What-is-the-difference-between-philosophical-logic-mathematical-logic
defined!
As I have said MANY times, and you don't seem to understand, you are
perfectly free to define your own "new" logic system, you just can't
then say you are using the same system as people have previously defined.
And, more importantly, you can't just claim that you system is useful
for anything until you actually show that it is.
Go ahead, TRY to actually define your "new" logical system, but you will
need to be PRECISE to define what you mean, not just that "everyone"
should know what that term means.
Then go and show what can be done with that system.
Since you are trying to redefine the ultimate core of the logic system,
what a "deduction" can do, you can't just use ANYTHING that comes out of
any standard logic sytem, but need to re-derive the centuries of work
done in logic, making sure you only do deductions that meet your definition. >>
The argument that you don't have time doesn't work, using work you have
declared might be incorrect is just incorrect.
I think your really problem is that you can't really define what you
mean, because you don't exactly know what you want. You see a problem
with the results of logic, that it PROVES things that you don't like, so
want to remove the ability to prove that, but the problem is that if you
remove that part of the ability, the "knife" isn't sharp enough to
remove other major parts that you do need.
You also don't understand that if you change something, it isn't what it
was.
I think that ultimately, what you don't understand is that in logic you
have to be very sure of what you are starting with, as a little error in
your foundation brings the whole system down. That is the Principle of
Explosion, that in a logic system powerful enough to do the sort of work
we want out of logic, there is no such thing as a "small error", any
error, if accepted into the system, brings it down.
Yes, there are forms of logic that become "Explosion Proof", that can
contain an error into breaking just a small part of the system, but the
making of the system explosion proof, does so by hampering what it can do.
Not when the goal is to create an artificial mind that always uses
correct reasoning.
that's impossible.
And now you, since you enjoy arguing with people, and you do nothing useful with your life, except arguing will come up with some kind of response you know nothings impossible, Arthur C Clarke how does lol we're nothing is impossible and then, if anelderly professor says, somethings impossible it really is possible and then you'll go on and on in your post a bunch of meaningless quasi-logical terminology and been going on now for 15 years with you and then you'll go on and on and on and people have
On 8/11/2023 9:00 AM, Don Stockbauer wrote:elderly professor says, somethings impossible it really is possible and then you'll go on and on in your post a bunch of meaningless quasi-logical terminology and been going on now for 15 years with you and then you'll go on and on and on and people have
On Thursday, August 10, 2023 at 7:07:36 AM UTC-5, Richard Damon wrote:
On 8/9/23 11:10 PM, olcott wrote:
This is the exactly same learned-by-rote compared to carefulNo, your blathering is coming from a NEVER learned at all guy.
examination of the philosophical foundations that I have been talking >>> about written by a learned-by-rote guy.
And what is "inherently incorrect". So far the only thing that I have
learned-by-rote (logicians) really don't care if the whole basis of
their understanding is inherently incorrect.
seen you really don't like is the fact that we say the major parts of
logic is "incomplete" because there are statements that ARE TRUE, but we >> will never be able to prove them in the system.
What is so wrong with that? The nature of Truth is that there is no
requirement that we actually be able to know it for it to actually be True.
Your error seems rooted in the egotistical concept that you need to be
able to, at least potentially, be able to know EVERYTHING that is
"True". We can't!
So, you are agreeing that you don't understand what the logician has
Anders Ahlgren
When I was getting my PhD, we had a joint logic seminar with both
philosophical and mathematical logicians. I would say the most striking >>> difference is what part of the talk they are interested in.
When a mathematical logician gives a talk in front of an audience that >>> contains philosophical logicians, it often goes something like this.
There is a brief introduction, including a couple of definitions. For >>> the mathematical logician, this is just boring routine stuff, something >>> you need to go through before you write down the theorem and gets to the >>> interesting part, the neat techniques he or she invented to prove it. >>>
However, as soon as the definitions are shown, the philosophers raise >>> their hands and want to discuss whether this is the “right” definition.
For them, the definition is supposed to clarify what you are studying; >>> the definition itself should captures some underlying basic truth. The >>> mathematical logician just doesn’t care about that. He or she will
rather be thinking something along the lines of “Clearly it is the right
definition, because that is the definition that lets us prove this
extremely cool theorem that I haven’t even gotten to write down yet! >>> Shut up and let me get on with it!”
https://www.quora.com/What-is-the-difference-between-philosophical-logic-mathematical-logic
defined!
As I have said MANY times, and you don't seem to understand, you are
perfectly free to define your own "new" logic system, you just can't
then say you are using the same system as people have previously defined. >>
And, more importantly, you can't just claim that you system is useful
for anything until you actually show that it is.
Go ahead, TRY to actually define your "new" logical system, but you will >> need to be PRECISE to define what you mean, not just that "everyone"
should know what that term means.
Then go and show what can be done with that system.
Since you are trying to redefine the ultimate core of the logic system, >> what a "deduction" can do, you can't just use ANYTHING that comes out of >> any standard logic sytem, but need to re-derive the centuries of work
done in logic, making sure you only do deductions that meet your definition.
The argument that you don't have time doesn't work, using work you have >> declared might be incorrect is just incorrect.
I think your really problem is that you can't really define what you
mean, because you don't exactly know what you want. You see a problem
with the results of logic, that it PROVES things that you don't like, so >> want to remove the ability to prove that, but the problem is that if you >> remove that part of the ability, the "knife" isn't sharp enough to
remove other major parts that you do need.
You also don't understand that if you change something, it isn't what it >> was.
I think that ultimately, what you don't understand is that in logic you >> have to be very sure of what you are starting with, as a little error in >> your foundation brings the whole system down. That is the Principle of
Explosion, that in a logic system powerful enough to do the sort of work >> we want out of logic, there is no such thing as a "small error", any
error, if accepted into the system, brings it down.
Yes, there are forms of logic that become "Explosion Proof", that can
contain an error into breaking just a small part of the system, but the >> making of the system explosion proof, does so by hampering what it can do.
Not when the goal is to create an artificial mind that always uses
correct reasoning.
that's impossible.
There are two aspects to this:
(1) Correcting all of the errors of predicate logic only requires these changes:
When we make the single change to predicate logic such that every
conclusion must be a semantically necessary consequence of all of its premises (just like the syllogism) then Gödel incompleteness, Tarski undefinability and the principle of explosion are no longer possible.
Any expression of language that is not a a semantically necessary consequence of all of its premises is deemed invalid.
If we can't prove the conclusion from the premises the argument is
invalid. This makes Gödel incompleteness impossible.
The Liar Paradox basis of the Tarski Undefinability theorem is also
rejected as invalid.
(2) Then we get to the difficult part, populating the knowledge ontology with the set of human knowledge. I think that the CycL language of the
CYC project may be best for this.
This will remain infeasible until it can be fully automated with LLM.
And now you, since you enjoy arguing with people, and you do nothing useful with your life, except arguing will come up with some kind of response you know nothings impossible, Arthur C Clarke how does lol we're nothing is impossible and then, if an
achieve actual evidence of global warming by all the hot temperatures
around the globe, and Al Gore was right we're past the tipping point
where were using so much faucet fuels appmt will never be weaned off the titty and so here in the next few summers will get hotter and hotter and hotter and then everyone will die
Severe anthropogenic climate change proven entirely with verifiable facts https://www.researchgate.net/publication/336568434_Severe_anthropogenic_climate_change_proven_entirely_with_verifiable_facts
--
Copyright 2023 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
On Thursday, August 10, 2023 at 7:07:36 AM UTC-5, Richard Damon wrote:
On 8/9/23 11:10 PM, olcott wrote:
This is the exactly same learned-by-rote compared to carefulNo, your blathering is coming from a NEVER learned at all guy.
examination of the philosophical foundations that I have been talking
about written by a learned-by-rote guy.
And what is "inherently incorrect". So far the only thing that I have
learned-by-rote (logicians) really don't care if the whole basis of
their understanding is inherently incorrect.
seen you really don't like is the fact that we say the major parts of
logic is "incomplete" because there are statements that ARE TRUE, but we
will never be able to prove them in the system.
What is so wrong with that? The nature of Truth is that there is no
requirement that we actually be able to know it for it to actually be True. >>
Your error seems rooted in the egotistical concept that you need to be
able to, at least potentially, be able to know EVERYTHING that is
"True". We can't!
So, you are agreeing that you don't understand what the logician has
Anders Ahlgren
When I was getting my PhD, we had a joint logic seminar with both
philosophical and mathematical logicians. I would say the most striking
difference is what part of the talk they are interested in.
When a mathematical logician gives a talk in front of an audience that
contains philosophical logicians, it often goes something like this.
There is a brief introduction, including a couple of definitions. For
the mathematical logician, this is just boring routine stuff, something
you need to go through before you write down the theorem and gets to the >>> interesting part, the neat techniques he or she invented to prove it.
However, as soon as the definitions are shown, the philosophers raise
their hands and want to discuss whether this is the “right” definition. >>> For them, the definition is supposed to clarify what you are studying;
the definition itself should captures some underlying basic truth. The
mathematical logician just doesn’t care about that. He or she will
rather be thinking something along the lines of “Clearly it is the right >>> definition, because that is the definition that lets us prove this
extremely cool theorem that I haven’t even gotten to write down yet!
Shut up and let me get on with it!”
https://www.quora.com/What-is-the-difference-between-philosophical-logic-mathematical-logic
defined!
As I have said MANY times, and you don't seem to understand, you are
perfectly free to define your own "new" logic system, you just can't
then say you are using the same system as people have previously defined.
And, more importantly, you can't just claim that you system is useful
for anything until you actually show that it is.
Go ahead, TRY to actually define your "new" logical system, but you will
need to be PRECISE to define what you mean, not just that "everyone"
should know what that term means.
Then go and show what can be done with that system.
Since you are trying to redefine the ultimate core of the logic system,
what a "deduction" can do, you can't just use ANYTHING that comes out of
any standard logic sytem, but need to re-derive the centuries of work
done in logic, making sure you only do deductions that meet your definition. >>
The argument that you don't have time doesn't work, using work you have
declared might be incorrect is just incorrect.
I think your really problem is that you can't really define what you
mean, because you don't exactly know what you want. You see a problem
with the results of logic, that it PROVES things that you don't like, so
want to remove the ability to prove that, but the problem is that if you
remove that part of the ability, the "knife" isn't sharp enough to
remove other major parts that you do need.
You also don't understand that if you change something, it isn't what it
was.
I think that ultimately, what you don't understand is that in logic you
have to be very sure of what you are starting with, as a little error in
your foundation brings the whole system down. That is the Principle of
Explosion, that in a logic system powerful enough to do the sort of work
we want out of logic, there is no such thing as a "small error", any
error, if accepted into the system, brings it down.
Yes, there are forms of logic that become "Explosion Proof", that can
contain an error into breaking just a small part of the system, but the
making of the system explosion proof, does so by hampering what it can do.
Not when the goal is to create an artificial mind that always uses
correct reasoning.
that's impossible.
And now you, since you enjoy arguing with people, and you do nothing useful with your life, except arguing will come up with some kind of response you know nothings impossible, Arthur C Clarke how does lol we're nothing is impossible and then, if anelderly professor says, somethings impossible it really is possible and then you'll go on and on in your post a bunch of meaningless quasi-logical terminology and been going on now for 15 years with you and then you'll go on and on and on and people have
On Friday, August 11, 2023 at 6:41:48 PM UTC-5, Richard Damon wrote:
On 8/11/23 10:00 AM, Don Stockbauer wrote:
On Thursday, August 10, 2023 at 7:07:36 AM UTC-5, Richard Damon wrote:
On 8/9/23 11:10 PM, olcott wrote:
This is the exactly same learned-by-rote compared to carefulNo, your blathering is coming from a NEVER learned at all guy.
examination of the philosophical foundations that I have been talking >>> about written by a learned-by-rote guy.
And what is "inherently incorrect". So far the only thing that I have >> seen you really don't like is the fact that we say the major parts of >> logic is "incomplete" because there are statements that ARE TRUE, but we
learned-by-rote (logicians) really don't care if the whole basis of >>> their understanding is inherently incorrect.
will never be able to prove them in the system.
What is so wrong with that? The nature of Truth is that there is no
requirement that we actually be able to know it for it to actually be True.
Your error seems rooted in the egotistical concept that you need to be >> able to, at least potentially, be able to know EVERYTHING that is
"True". We can't!
So, you are agreeing that you don't understand what the logician has
Anders Ahlgren
When I was getting my PhD, we had a joint logic seminar with both
philosophical and mathematical logicians. I would say the most striking
difference is what part of the talk they are interested in.
When a mathematical logician gives a talk in front of an audience that >>> contains philosophical logicians, it often goes something like this. >>> There is a brief introduction, including a couple of definitions. For >>> the mathematical logician, this is just boring routine stuff, something
you need to go through before you write down the theorem and gets to the
interesting part, the neat techniques he or she invented to prove it. >>>
However, as soon as the definitions are shown, the philosophers raise >>> their hands and want to discuss whether this is the “right” definition.
For them, the definition is supposed to clarify what you are studying; >>> the definition itself should captures some underlying basic truth. The >>> mathematical logician just doesn’t care about that. He or she will >>> rather be thinking something along the lines of “Clearly it is the right
definition, because that is the definition that lets us prove this
extremely cool theorem that I haven’t even gotten to write down yet! >>> Shut up and let me get on with it!”
https://www.quora.com/What-is-the-difference-between-philosophical-logic-mathematical-logic
defined!
As I have said MANY times, and you don't seem to understand, you are
perfectly free to define your own "new" logic system, you just can't
then say you are using the same system as people have previously defined.
And, more importantly, you can't just claim that you system is useful >> for anything until you actually show that it is.
Go ahead, TRY to actually define your "new" logical system, but you will
need to be PRECISE to define what you mean, not just that "everyone"
should know what that term means.
Then go and show what can be done with that system.
Since you are trying to redefine the ultimate core of the logic system, >> what a "deduction" can do, you can't just use ANYTHING that comes out of
any standard logic sytem, but need to re-derive the centuries of work >> done in logic, making sure you only do deductions that meet your definition.
The argument that you don't have time doesn't work, using work you have >> declared might be incorrect is just incorrect.
I think your really problem is that you can't really define what you
mean, because you don't exactly know what you want. You see a problem >> with the results of logic, that it PROVES things that you don't like, so
want to remove the ability to prove that, but the problem is that if you
remove that part of the ability, the "knife" isn't sharp enough to
remove other major parts that you do need.
You also don't understand that if you change something, it isn't what it
was.
I think that ultimately, what you don't understand is that in logic you >> have to be very sure of what you are starting with, as a little error in
your foundation brings the whole system down. That is the Principle of >> Explosion, that in a logic system powerful enough to do the sort of work
we want out of logic, there is no such thing as a "small error", any
error, if accepted into the system, brings it down.
Yes, there are forms of logic that become "Explosion Proof", that can >> contain an error into breaking just a small part of the system, but the >> making of the system explosion proof, does so by hampering what it can do.
Not when the goal is to create an artificial mind that always uses correct reasoning.And "correct reasoning" is not explosion proof. Put in bad data, and the contradictions it creates can infect all of the logic, and it is able to "correctly" prove all statement true, even if it has already proven its opposite.
an elderly professor says, somethings impossible it really is possible and then you'll go on and on in your post a bunch of meaningless quasi-logical terminology and been going on now for 15 years with you and then you'll go on and on and on and peoplethat's impossible.
Do you have "proof" of that?
And now you, since you enjoy arguing with people, and you do nothing useful with your life, except arguing will come up with some kind of response you know nothings impossible, Arthur C Clarke how does lol we're nothing is impossible and then, if
Why do you say I do nothing useful with my life?
How well do you know me?
I have had people actually tell me I am vital to the work I do.
Your logic here seems to show that you don't actually know what you are talking aboug.I wasn't even talking about you I was talking about you not you I was I was actually talking about Olcott not you do you understand do you understand the reference reference was to you not you eat more pecans
On 8/11/23 10:00 AM, Don Stockbauer wrote:
On Thursday, August 10, 2023 at 7:07:36 AM UTC-5, Richard Damon wrote:
On 8/9/23 11:10 PM, olcott wrote:
This is the exactly same learned-by-rote compared to carefulNo, your blathering is coming from a NEVER learned at all guy.
examination of the philosophical foundations that I have been talking >>> about written by a learned-by-rote guy.
And what is "inherently incorrect". So far the only thing that I have
learned-by-rote (logicians) really don't care if the whole basis of
their understanding is inherently incorrect.
seen you really don't like is the fact that we say the major parts of
logic is "incomplete" because there are statements that ARE TRUE, but we >> will never be able to prove them in the system.
What is so wrong with that? The nature of Truth is that there is no
requirement that we actually be able to know it for it to actually be True.
Your error seems rooted in the egotistical concept that you need to be
able to, at least potentially, be able to know EVERYTHING that is
"True". We can't!
So, you are agreeing that you don't understand what the logician has
Anders Ahlgren
When I was getting my PhD, we had a joint logic seminar with both
philosophical and mathematical logicians. I would say the most striking >>> difference is what part of the talk they are interested in.
When a mathematical logician gives a talk in front of an audience that >>> contains philosophical logicians, it often goes something like this.
There is a brief introduction, including a couple of definitions. For >>> the mathematical logician, this is just boring routine stuff, something >>> you need to go through before you write down the theorem and gets to the >>> interesting part, the neat techniques he or she invented to prove it. >>>
However, as soon as the definitions are shown, the philosophers raise >>> their hands and want to discuss whether this is the “right” definition.
For them, the definition is supposed to clarify what you are studying; >>> the definition itself should captures some underlying basic truth. The >>> mathematical logician just doesn’t care about that. He or she will
rather be thinking something along the lines of “Clearly it is the right
definition, because that is the definition that lets us prove this
extremely cool theorem that I haven’t even gotten to write down yet! >>> Shut up and let me get on with it!”
https://www.quora.com/What-is-the-difference-between-philosophical-logic-mathematical-logic
defined!
As I have said MANY times, and you don't seem to understand, you are
perfectly free to define your own "new" logic system, you just can't
then say you are using the same system as people have previously defined. >>
And, more importantly, you can't just claim that you system is useful
for anything until you actually show that it is.
Go ahead, TRY to actually define your "new" logical system, but you will >> need to be PRECISE to define what you mean, not just that "everyone"
should know what that term means.
Then go and show what can be done with that system.
Since you are trying to redefine the ultimate core of the logic system, >> what a "deduction" can do, you can't just use ANYTHING that comes out of >> any standard logic sytem, but need to re-derive the centuries of work
done in logic, making sure you only do deductions that meet your definition.
The argument that you don't have time doesn't work, using work you have >> declared might be incorrect is just incorrect.
I think your really problem is that you can't really define what you
mean, because you don't exactly know what you want. You see a problem
with the results of logic, that it PROVES things that you don't like, so >> want to remove the ability to prove that, but the problem is that if you >> remove that part of the ability, the "knife" isn't sharp enough to
remove other major parts that you do need.
You also don't understand that if you change something, it isn't what it >> was.
I think that ultimately, what you don't understand is that in logic you >> have to be very sure of what you are starting with, as a little error in >> your foundation brings the whole system down. That is the Principle of
Explosion, that in a logic system powerful enough to do the sort of work >> we want out of logic, there is no such thing as a "small error", any
error, if accepted into the system, brings it down.
Yes, there are forms of logic that become "Explosion Proof", that can
contain an error into breaking just a small part of the system, but the >> making of the system explosion proof, does so by hampering what it can do.
Not when the goal is to create an artificial mind that always usesAnd "correct reasoning" is not explosion proof. Put in bad data, and the contradictions it creates can infect all of the logic, and it is able to "correctly" prove all statement true, even if it has already proven its opposite.
correct reasoning.
elderly professor says, somethings impossible it really is possible and then you'll go on and on in your post a bunch of meaningless quasi-logical terminology and been going on now for 15 years with you and then you'll go on and on and on and people havethat's impossible.
Do you have "proof" of that?
And now you, since you enjoy arguing with people, and you do nothing useful with your life, except arguing will come up with some kind of response you know nothings impossible, Arthur C Clarke how does lol we're nothing is impossible and then, if an
Why do you say I do nothing useful with my life?I wasn't even talking about you I was talking about you not you I was I was actually talking about Olcott not you do you understand do you understand the reference reference was to you not you eat more pecans
How well do you know me?
I have had people actually tell me I am vital to the work I do.
Your logic here seems to show that you don't actually know what you are talking aboug.
On 8/11/23 10:00 AM, Don Stockbauer wrote:
On Thursday, August 10, 2023 at 7:07:36 AM UTC-5, Richard Damon wrote:
On 8/9/23 11:10 PM, olcott wrote:
This is the exactly same learned-by-rote compared to carefulNo, your blathering is coming from a NEVER learned at all guy.
examination of the philosophical foundations that I have been talking >>> about written by a learned-by-rote guy.
And what is "inherently incorrect". So far the only thing that I have
learned-by-rote (logicians) really don't care if the whole basis of
their understanding is inherently incorrect.
seen you really don't like is the fact that we say the major parts of
logic is "incomplete" because there are statements that ARE TRUE, but we >> will never be able to prove them in the system.
What is so wrong with that? The nature of Truth is that there is no
requirement that we actually be able to know it for it to actually be True.
Your error seems rooted in the egotistical concept that you need to be
able to, at least potentially, be able to know EVERYTHING that is
"True". We can't!
So, you are agreeing that you don't understand what the logician has
Anders Ahlgren
When I was getting my PhD, we had a joint logic seminar with both
philosophical and mathematical logicians. I would say the most striking >>> difference is what part of the talk they are interested in.
When a mathematical logician gives a talk in front of an audience that >>> contains philosophical logicians, it often goes something like this.
There is a brief introduction, including a couple of definitions. For >>> the mathematical logician, this is just boring routine stuff, something >>> you need to go through before you write down the theorem and gets to the >>> interesting part, the neat techniques he or she invented to prove it. >>>
However, as soon as the definitions are shown, the philosophers raise >>> their hands and want to discuss whether this is the “right” definition.
For them, the definition is supposed to clarify what you are studying; >>> the definition itself should captures some underlying basic truth. The >>> mathematical logician just doesn’t care about that. He or she will
rather be thinking something along the lines of “Clearly it is the right
definition, because that is the definition that lets us prove this
extremely cool theorem that I haven’t even gotten to write down yet! >>> Shut up and let me get on with it!”
https://www.quora.com/What-is-the-difference-between-philosophical-logic-mathematical-logic
defined!
As I have said MANY times, and you don't seem to understand, you are
perfectly free to define your own "new" logic system, you just can't
then say you are using the same system as people have previously defined. >>
And, more importantly, you can't just claim that you system is useful
for anything until you actually show that it is.
Go ahead, TRY to actually define your "new" logical system, but you will >> need to be PRECISE to define what you mean, not just that "everyone"
should know what that term means.
Then go and show what can be done with that system.
Since you are trying to redefine the ultimate core of the logic system, >> what a "deduction" can do, you can't just use ANYTHING that comes out of >> any standard logic sytem, but need to re-derive the centuries of work
done in logic, making sure you only do deductions that meet your definition.
The argument that you don't have time doesn't work, using work you have >> declared might be incorrect is just incorrect.
I think your really problem is that you can't really define what you
mean, because you don't exactly know what you want. You see a problem
with the results of logic, that it PROVES things that you don't like, so >> want to remove the ability to prove that, but the problem is that if you >> remove that part of the ability, the "knife" isn't sharp enough to
remove other major parts that you do need.
You also don't understand that if you change something, it isn't what it >> was.
I think that ultimately, what you don't understand is that in logic you >> have to be very sure of what you are starting with, as a little error in >> your foundation brings the whole system down. That is the Principle of
Explosion, that in a logic system powerful enough to do the sort of work >> we want out of logic, there is no such thing as a "small error", any
error, if accepted into the system, brings it down.
Yes, there are forms of logic that become "Explosion Proof", that can
contain an error into breaking just a small part of the system, but the >> making of the system explosion proof, does so by hampering what it can do.
Not when the goal is to create an artificial mind that always usesAnd "correct reasoning" is not explosion proof. Put in bad data, and the contradictions it creates can infect all of the logic, and it is able to "correctly" prove all statement true, even if it has already proven its opposite.
correct reasoning.
elderly professor says, somethings impossible it really is possible and then you'll go on and on in your post a bunch of meaningless quasi-logical terminology and been going on now for 15 years with you and then you'll go on and on and on and people havethat's impossible.
Do you have "proof" of that?
And now you, since you enjoy arguing with people, and you do nothing useful with your life, except arguing will come up with some kind of response you know nothings impossible, Arthur C Clarke how does lol we're nothing is impossible and then, if an
Why do you say I do nothing useful with my life?
How well do you know me?
I have had people actually tell me I am vital to the work I do.
Your logic here seems to show that you don't actually know what you are talking aboug.
On Friday, August 11, 2023 at 6:41:48 PM UTC-5, Richard Damon wrote:
On 8/11/23 10:00 AM, Don Stockbauer wrote:
On Thursday, August 10, 2023 at 7:07:36 AM UTC-5, Richard Damon wrote:
On 8/9/23 11:10 PM, olcott wrote:
This is the exactly same learned-by-rote compared to carefulNo, your blathering is coming from a NEVER learned at all guy.
examination of the philosophical foundations that I have been talking >>> about written by a learned-by-rote guy.
And what is "inherently incorrect". So far the only thing that I have >> seen you really don't like is the fact that we say the major parts of >> logic is "incomplete" because there are statements that ARE TRUE, but we
learned-by-rote (logicians) really don't care if the whole basis of >>> their understanding is inherently incorrect.
will never be able to prove them in the system.
What is so wrong with that? The nature of Truth is that there is no
requirement that we actually be able to know it for it to actually be True.
Your error seems rooted in the egotistical concept that you need to be >> able to, at least potentially, be able to know EVERYTHING that is
"True". We can't!
So, you are agreeing that you don't understand what the logician has
Anders Ahlgren
When I was getting my PhD, we had a joint logic seminar with both
philosophical and mathematical logicians. I would say the most striking
difference is what part of the talk they are interested in.
When a mathematical logician gives a talk in front of an audience that >>> contains philosophical logicians, it often goes something like this. >>> There is a brief introduction, including a couple of definitions. For >>> the mathematical logician, this is just boring routine stuff, something
you need to go through before you write down the theorem and gets to the
interesting part, the neat techniques he or she invented to prove it. >>>
However, as soon as the definitions are shown, the philosophers raise >>> their hands and want to discuss whether this is the “right” definition.
For them, the definition is supposed to clarify what you are studying; >>> the definition itself should captures some underlying basic truth. The >>> mathematical logician just doesn’t care about that. He or she will >>> rather be thinking something along the lines of “Clearly it is the right
definition, because that is the definition that lets us prove this
extremely cool theorem that I haven’t even gotten to write down yet! >>> Shut up and let me get on with it!”
https://www.quora.com/What-is-the-difference-between-philosophical-logic-mathematical-logic
defined!
As I have said MANY times, and you don't seem to understand, you are
perfectly free to define your own "new" logic system, you just can't
then say you are using the same system as people have previously defined.
And, more importantly, you can't just claim that you system is useful >> for anything until you actually show that it is.
Go ahead, TRY to actually define your "new" logical system, but you will
need to be PRECISE to define what you mean, not just that "everyone"
should know what that term means.
Then go and show what can be done with that system.
Since you are trying to redefine the ultimate core of the logic system, >> what a "deduction" can do, you can't just use ANYTHING that comes out of
any standard logic sytem, but need to re-derive the centuries of work >> done in logic, making sure you only do deductions that meet your definition.
The argument that you don't have time doesn't work, using work you have >> declared might be incorrect is just incorrect.
I think your really problem is that you can't really define what you
mean, because you don't exactly know what you want. You see a problem >> with the results of logic, that it PROVES things that you don't like, so
want to remove the ability to prove that, but the problem is that if you
remove that part of the ability, the "knife" isn't sharp enough to
remove other major parts that you do need.
You also don't understand that if you change something, it isn't what it
was.
I think that ultimately, what you don't understand is that in logic you >> have to be very sure of what you are starting with, as a little error in
your foundation brings the whole system down. That is the Principle of >> Explosion, that in a logic system powerful enough to do the sort of work
we want out of logic, there is no such thing as a "small error", any
error, if accepted into the system, brings it down.
Yes, there are forms of logic that become "Explosion Proof", that can >> contain an error into breaking just a small part of the system, but the >> making of the system explosion proof, does so by hampering what it can do.
Not when the goal is to create an artificial mind that always uses correct reasoning.And "correct reasoning" is not explosion proof. Put in bad data, and the contradictions it creates can infect all of the logic, and it is able to "correctly" prove all statement true, even if it has already proven its opposite.
an elderly professor says, somethings impossible it really is possible and then you'll go on and on in your post a bunch of meaningless quasi-logical terminology and been going on now for 15 years with you and then you'll go on and on and on and peoplethat's impossible.
Do you have "proof" of that?
And now you, since you enjoy arguing with people, and you do nothing useful with your life, except arguing will come up with some kind of response you know nothings impossible, Arthur C Clarke how does lol we're nothing is impossible and then, if
Why do you say I do nothing useful with my life?
How well do you know me?
I have had people actually tell me I am vital to the work I do.
Your logic here seems to show that you don't actually know what you are talking aboug.Prove to me that you're not a Vulcan
On 8/11/23 10:00 AM, Don Stockbauer wrote:
On Thursday, August 10, 2023 at 7:07:36 AM UTC-5, Richard Damon wrote:
On 8/9/23 11:10 PM, olcott wrote:
This is the exactly same learned-by-rote compared to carefulNo, your blathering is coming from a NEVER learned at all guy.
examination of the philosophical foundations that I have been talking >>> about written by a learned-by-rote guy.
And what is "inherently incorrect". So far the only thing that I have
learned-by-rote (logicians) really don't care if the whole basis of
their understanding is inherently incorrect.
seen you really don't like is the fact that we say the major parts of
logic is "incomplete" because there are statements that ARE TRUE, but we >> will never be able to prove them in the system.
What is so wrong with that? The nature of Truth is that there is no
requirement that we actually be able to know it for it to actually be True.
Your error seems rooted in the egotistical concept that you need to be
able to, at least potentially, be able to know EVERYTHING that is
"True". We can't!
So, you are agreeing that you don't understand what the logician has
Anders Ahlgren
When I was getting my PhD, we had a joint logic seminar with both
philosophical and mathematical logicians. I would say the most striking >>> difference is what part of the talk they are interested in.
When a mathematical logician gives a talk in front of an audience that >>> contains philosophical logicians, it often goes something like this.
There is a brief introduction, including a couple of definitions. For >>> the mathematical logician, this is just boring routine stuff, something >>> you need to go through before you write down the theorem and gets to the >>> interesting part, the neat techniques he or she invented to prove it. >>>
However, as soon as the definitions are shown, the philosophers raise >>> their hands and want to discuss whether this is the “right” definition.
For them, the definition is supposed to clarify what you are studying; >>> the definition itself should captures some underlying basic truth. The >>> mathematical logician just doesn’t care about that. He or she will
rather be thinking something along the lines of “Clearly it is the right
definition, because that is the definition that lets us prove this
extremely cool theorem that I haven’t even gotten to write down yet! >>> Shut up and let me get on with it!”
https://www.quora.com/What-is-the-difference-between-philosophical-logic-mathematical-logic
defined!
As I have said MANY times, and you don't seem to understand, you are
perfectly free to define your own "new" logic system, you just can't
then say you are using the same system as people have previously defined. >>
And, more importantly, you can't just claim that you system is useful
for anything until you actually show that it is.
Go ahead, TRY to actually define your "new" logical system, but you will >> need to be PRECISE to define what you mean, not just that "everyone"
should know what that term means.
Then go and show what can be done with that system.
Since you are trying to redefine the ultimate core of the logic system, >> what a "deduction" can do, you can't just use ANYTHING that comes out of >> any standard logic sytem, but need to re-derive the centuries of work
done in logic, making sure you only do deductions that meet your definition.
The argument that you don't have time doesn't work, using work you have >> declared might be incorrect is just incorrect.
I think your really problem is that you can't really define what you
mean, because you don't exactly know what you want. You see a problem
with the results of logic, that it PROVES things that you don't like, so >> want to remove the ability to prove that, but the problem is that if you >> remove that part of the ability, the "knife" isn't sharp enough to
remove other major parts that you do need.
You also don't understand that if you change something, it isn't what it >> was.
I think that ultimately, what you don't understand is that in logic you >> have to be very sure of what you are starting with, as a little error in >> your foundation brings the whole system down. That is the Principle of
Explosion, that in a logic system powerful enough to do the sort of work >> we want out of logic, there is no such thing as a "small error", any
error, if accepted into the system, brings it down.
Yes, there are forms of logic that become "Explosion Proof", that can
contain an error into breaking just a small part of the system, but the >> making of the system explosion proof, does so by hampering what it can do.
Not when the goal is to create an artificial mind that always usesAnd "correct reasoning" is not explosion proof. Put in bad data, and the contradictions it creates can infect all of the logic, and it is able to "correctly" prove all statement true, even if it has already proven its opposite.
correct reasoning.
elderly professor says, somethings impossible it really is possible and then you'll go on and on in your post a bunch of meaningless quasi-logical terminology and been going on now for 15 years with you and then you'll go on and on and on and people havethat's impossible.
Do you have "proof" of that?
And now you, since you enjoy arguing with people, and you do nothing useful with your life, except arguing will come up with some kind of response you know nothings impossible, Arthur C Clarke how does lol we're nothing is impossible and then, if an
Why do you say I do nothing useful with my life?
How well do you know me?
I have had people actually tell me I am vital to the work I do.
Your logic here seems to show that you don't actually know what you are talking aboug.
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 365 |
Nodes: | 16 (2 / 14) |
Uptime: | 25:23:45 |
Calls: | 7,769 |
Files: | 12,905 |
Messages: | 5,749,281 |