Simplest possible notion of a formal system

What is the basis for reason? And mathematics?

Moderators: AMod, iMod

PeteOlcott
Posts: 1514
Joined: Mon Jul 25, 2016 6:55 pm

Simplest possible notion of a formal system

Post by PeteOlcott »

https://plato.stanford.edu/entries/analytic-synthetic/

When one properly makes the analytic versus synthetic distinction one realizes that
the entire body of conceptual knowledge
is entirely comprised of stipulated relations between expressions of language.

This explicitly includes but is not limited to every single detail about every aspect of every mathematical system along with the semantics of every mathematical expression of any of these systems.

The only possible rebuttal to the above claim is to find a valid counter-example of a pure concept that is not entirely defined using language. As long as we stay on the analytic side of the analytic/synthetic distinction this is impossible.

To formalize the body of conceptual knowledge merely requires expressing the stipulated relations between expressions of language as relations between finite strings.

So we end up with the simplest possible notion of a formal system that can express every element of the entire body of conceptual knowledge as simply a set of stipulated relations between finite strings.

The notion of True(x) is simply the satisfaction of the stipulated relations in the body of conceptual knowledge and the notion of False(x) is the satisfaction of the negation of x in this same body of knowledge.


To understand this idea think of this simplification of Curry/Howard Correspondence.
A software function is named according to the Relation that it represents and returns Boolean.
Finite strings are always Unicode characters. Arguments to this function are finite strings.

">"("5","3") returns true
">"("3","5") returns false
">"("orange","apple") returns false // type mismatch error
">"("apple","orange") returns false // type mismatch error

"◁" is a type of operator
"◁"("cats", "animals") // returns true


Copyright 2019 Pete Olcott
Last edited by PeteOlcott on Mon Aug 12, 2019 6:13 pm, edited 5 times in total.
wtf
Posts: 1178
Joined: Tue Sep 08, 2015 11:36 pm

Re: Simplest possible notion of a formal system

Post by wtf »

PeteOlcott wrote: Fri Aug 09, 2019 6:36 pm Copyright 2019 Pete Olcott
Curses! I was just going to steal this and publish it as my own.

Ok Pete, seriously, I cannot distinguish your system from what's known as True Arithmetic, the set of all true statements about the integers. But I've seen you deny (on Reddit I believe) that your system is TA. Can you explain the distinction?

https://en.wikipedia.org/wiki/True_arithmetic
PeteOlcott
Posts: 1514
Joined: Mon Jul 25, 2016 6:55 pm

Re: Simplest possible notion of a formal system

Post by PeteOlcott »

When I refer to the entire body of conceptual knowledge why the Hell would you think that I am only talking about arithmetic?
wtf
Posts: 1178
Joined: Tue Sep 08, 2015 11:36 pm

Re: Simplest possible notion of a formal system

Post by wtf »

PeteOlcott wrote: Fri Aug 09, 2019 8:01 pm When I refer to the entire body of conceptual knowledge why the Hell would you think that I am only talking about arithmetic?
Is the restriction of your system with to arithmetic of the natural numbers the same as TA then?

And as far as why I'd ask. YOU are the one talking about the Halting problem and ‎Gödel's incompleteness theorems. It's perfectly reasonable to assume you are talking about mathematics.
PeteOlcott
Posts: 1514
Joined: Mon Jul 25, 2016 6:55 pm

Re: Simplest possible notion of a formal system

Post by PeteOlcott »

I am not talking about numbers. I am talking about anything that can possibly be said by anyone about anything.
wtf
Posts: 1178
Joined: Tue Sep 08, 2015 11:36 pm

Re: Simplest possible notion of a formal system

Post by wtf »

PeteOlcott wrote: Fri Aug 09, 2019 8:28 pm I am not talking about numbers. I am talking about anything that can possibly be said by anyone about anything.
PeteOlcott wrote: Fri Aug 09, 2019 6:36 pm https://plato.stanford.edu/entries/analytic-synthetic/
This explicitly includes every single detail about every aspect of every mathematical system along with the semantics of every mathematical expression of any of these systems.
My mistake Pete, I didn't realize your cat typed that by walking on your keyboard. It was wrong of me to ascribe those words to you personally. I now realize that when someone using your handle said that your theory applies to mathematics, you did NOT mean your theory applies to mathematics.
PeteOlcott
Posts: 1514
Joined: Mon Jul 25, 2016 6:55 pm

Re: Simplest possible notion of a formal system

Post by PeteOlcott »

First of all the body of conceptual knowledge contains everything that anyone could ever say about anything in any language what-so-ever.

Once you understand this, then (AND ONLY THEN) do we move to further elaborate that a tiny subset of this is everything that anyone could ever say about mathematics in any language what-so-ever.

If you do not see what I say in necessary prerequisite order it cannot possibly be sufficiently understood.
This is my life's work not any mere entertainment hobby.
wtf
Posts: 1178
Joined: Tue Sep 08, 2015 11:36 pm

Re: Simplest possible notion of a formal system

Post by wtf »

PeteOlcott wrote: Fri Aug 09, 2019 8:46 pm First of all the body of conceptual knowledge contains everything that anyone could ever say about anything in any language what-so-ever.

Once you understand this, then (AND ONLY THEN) do we move to further elaborate that a tiny subset of this is everything that anyone could ever say about mathematics in any language what-so-ever.

If you do not see what I say in necessary prerequisite order it cannot possibly be sufficiently understood.
This is my life's work not any mere entertainment hobby.
Ok fine. So when someone using your handle wrote:

"This explicitly includes every single detail about every aspect of every mathematical system along with the semantics of every mathematical expression of any of these systems."

was that someone other than you? Perhaps you should change your password.

If it was in fact you who wrote those words, I am asking you, just as someone else asked you on Reddit, whether your system restricted to the natural numbers is the same as True Arithmetic.

The reason people ask this is to try to understand what you are saying.
PeteOlcott
Posts: 1514
Joined: Mon Jul 25, 2016 6:55 pm

Re: Simplest possible notion of a formal system

Post by PeteOlcott »

It seems that you are intentionally playing head games and are not interested in any honest dialogue.
User avatar
Sculptor
Posts: 8536
Joined: Wed Jun 26, 2019 11:32 pm

Re: Simplest possible notion of a formal system

Post by Sculptor »

PeteOlcott wrote: Fri Aug 09, 2019 6:36 pm https://plato.stanford.edu/entries/analytic-synthetic/

When one properly makes the analytic versus synthetic distinction one realizes that
the entire body of conceptual knowledge
is entirely comprised of stipulated relations between expressions of language.
You are overstating your case, which ONLY applies to analytic knowledge as synthetic knowledge has to include the empirical

This explicitly includes but is not limited to every single detail about every aspect of every mathematical system along with the semantics of every mathematical expression of any of these systems.

The only possible rebuttal to the above claim is to find a valid counter-example of a pure concept that is not entirely defined using language. As long as we stay on the analytic side of the analytic/synthetic distinction this is impossible.

To formalize the body of conceptual knowledge merely requires expressing the stipulated relations between expressions of language as relations between finite strings.

So we end up with the simplest possible notion of a formal system that can express every element of the entire body of conceptual knowledge as simply a set of stipulated relations between finite strings.

The notion of True(x) is simply the satisfaction of the stipulated relations in the body of conceptual knowledge and the notion of False(x) is the satisfaction of the negation of x in this same body of knowledge.

Copyright 2019 Pete Olcott
PeteOlcott
Posts: 1514
Joined: Mon Jul 25, 2016 6:55 pm

Re: Simplest possible notion of a formal system

Post by PeteOlcott »

Precisely limited my case to the analytic side of the analytic / synthetic distinction is not overstating my case at all. Do you know what a concept is? Is it analytic or synthetic?
User avatar
RCSaunders
Posts: 4704
Joined: Tue Jul 17, 2018 9:42 pm
Contact:

Re: Simplest possible notion of a formal system

Post by RCSaunders »

PeteOlcott wrote: Fri Aug 09, 2019 8:46 pm First of all the body of conceptual knowledge contains everything that anyone could ever say about anything in any language what-so-ever.
"Everything that anyone could ever say about anything in any language what-so-ever," is not knowledge. Some of it might be knowledge, but most of it would be just wrong or nonsense.

This sounds like a very basic epistemological mistake about the nature of knowledge.
Eodnhoj7
Posts: 8595
Joined: Mon Mar 13, 2017 3:18 am

Re: Simplest possible notion of a formal system

Post by Eodnhoj7 »

PeteOlcott wrote: Fri Aug 09, 2019 6:36 pm https://plato.stanford.edu/entries/analytic-synthetic/

When one properly makes the analytic versus synthetic distinction one realizes that
the entire body of conceptual knowledge
is entirely comprised of stipulated relations between expressions of language.

This explicitly includes but is not limited to every single detail about every aspect of every mathematical system along with the semantics of every mathematical expression of any of these systems.

The only possible rebuttal to the above claim is to find a valid counter-example of a pure concept that is not entirely defined using language. As long as we stay on the analytic side of the analytic/synthetic distinction this is impossible.

To formalize the body of conceptual knowledge merely requires expressing the stipulated relations between expressions of language as relations between finite strings.

So we end up with the simplest possible notion of a formal system that can express every element of the entire body of conceptual knowledge as simply a set of stipulated relations between finite strings.

The notion of True(x) is simply the satisfaction of the stipulated relations in the body of conceptual knowledge and the notion of False(x) is the satisfaction of the negation of x in this same body of knowledge.

Copyright 2019 Pete Olcott
Yes, here is my rebutal:



I am assuming I will have to explain it further.

But besides that I agree with everything else you said.
User avatar
RCSaunders
Posts: 4704
Joined: Tue Jul 17, 2018 9:42 pm
Contact:

Re: Simplest possible notion of a formal system

Post by RCSaunders »

PeteOlcott wrote: Sat Aug 10, 2019 12:50 am Do you know what a concept is? Is it analytic or synthetic?
A concept is neither. Even if the so-called analytic/synthetic dichotomy were true (it isn't), it would have nothing to do with concepts. I do not think you know what a concept is.

So, from, "Epistemology, Concepts:"

The Purpose Of Concepts

Words, in any language, represent concepts. Concepts have a single function which is to identify existents. Existents are anything that exists, ontologically (materially), or epistemologically. Material existents (entities) and epistemological existents are all that exists.

The Structure Of Concepts

"A concept consists of two components a "perceivable existent," and a "specification." The, "perceivable existent," is a symbol, usually a spoken or written word. The "specification" is a definition which specifies or indicates the existent or existents the concept identifies.

"The word (or other perceivable symbol) for a concept is not the concept. The word is our means of being conscious of the concept. The concept is the identification of an existent. The definition of a concept indicates what existent a concept identifies."

You'll have to read the rest of the article to truly understand concepts.
Eodnhoj7
Posts: 8595
Joined: Mon Mar 13, 2017 3:18 am

Re: Simplest possible notion of a formal system

Post by Eodnhoj7 »

PeteOlcott wrote: Sat Aug 10, 2019 12:50 am Precisely limited my case to the analytic side of the analytic / synthetic distinction is not overstating my case at all. Do you know what a concept is? Is it analytic or synthetic?
Both.
Post Reply