Liste des Groupes | Revenir à theory |
On 9/18/2024 3:22 AM, Mikko wrote:As long as you are just truying there is nothing worth of attention.On 2024-09-17 15:20:30 +0000, olcott said:I am trying to explain how finite strings acquire
On 9/17/2024 9:45 AM, Mikko wrote:No, it is not. It is an entirely different process. Being told is notOn 2024-09-17 13:01:37 +0000, olcott said:Inferring is merely indirectly being told.
On 9/17/2024 1:41 AM, Mikko wrote:It is not necessary to be told. I have learned many words simplyOn 2024-09-16 11:57:11 +0000, olcott said:None-the-less if no one ever told you what a "cat" is
On 9/16/2024 2:54 AM, Mikko wrote:Nothing is known about languages before 16 000 BC and very littleOn 2024-09-15 17:09:34 +0000, olcott said:Yet they did not exist back when language was the exact
On 9/15/2024 3:32 AM, Mikko wrote:They are not elementary theorems of English. They are English expressionsOn 2024-09-14 14:01:31 +0000, olcott said:There are billions of elementary theorems in English of
On 9/14/2024 3:26 AM, Mikko wrote:There are no elementary theorems of EnglishOn 2024-09-13 14:38:02 +0000, olcott said:Yes.
On 9/13/2024 6:52 AM, Mikko wrote:Basically a formal language is just a set of strings, usually definedOn 2024-09-04 03:41:58 +0000, olcott said:Formal languages are essentially nothing more than
The Foundation of Linguistic truth is stipulated relationsNo, it does not. Formal languages are designed for many different
between finite strings.
The only way that we know that "cats" <are> "animals"
(in English) is the this is stipulated to be true.
*This is related to*
Truth-conditional semantics is an approach to semantics of
natural language that sees meaning (or at least the meaning
of assertions) as being the same as, or reducible to, their
truth conditions. This approach to semantics is principally
associated with Donald Davidson, and attempts to carry out
for the semantics of natural language what Tarski's semantic
theory of truth achieves for the semantics of logic.
https://en.wikipedia.org/wiki/Truth-conditional_semantics
*Yet equally applies to formal languages*
purposes. Whether they have any semantics and the nature of the
semantics of those that have is determined by the purpose of the
language.
relations between finite strings.
so that it is easy to determine about each string whether it belongs
to that subset. Relations of strings to other strings or anything else
are defined when useful for the purpose of the language.
a subset of the finite strings are stipulated to be elementary theorems.Thus, given T, an elementary theorem is an elementaryThat requires more than just a language. Being an elementary theorem means
statement which is true.
that a subset of the language is defined as a set of the elementary theorems
or postulates, usually so that it easy to determine whether a string is aYes.
member of that set, often simply as a list of all elementary theorems.
One elementary theorem of English is the {Cats} <are> {Animals}.https://www.liarparadox.org/Haskell_Curry_45.pdfNo, that conficts with the meanings of those words. Certain realtions
Some of these relations between finite strings are
elementary theorems thus are stipulated to be true.
between strings are designated as inference rules, usually defined so
that it is easy to determine whether a given string can be inferred
from given (usually one or two) other strings. Elementary theorems
are strings, not relations between strings.
this form: finite_string_X <is a> finite_string_Y
I am stopping here at your first huge mistake.
of claims that that are not language specific.
It is hard to step back and see that "cats" and "animals"Those meanings are older that the words "cat" and "animal" and the
never had any inherent meaning.
word "animal" existed before there was any English language.
same caveman grunt.
about languages before 4000 BC.
Words change ofer time so a word does not have well defined beginning.
If you regard "cat" as a different word from "catt" 'male cat' and
"catte" 'female cat' then it is a fairly new word, if the same then
it is older than the English language.
There was point point in time when words came intoThat is not the same time for all words and also depends on what you
existence.
consider a new word and what just a variant of an existing one. Even
now people use sonds that are not considered words and sounds that
can be regardeded, depending on one's opinion, words or non-words.
it would remains the same in your mind as "vnjrvlgjtyj"
meaningless gibberish.
observing how other peoöle use them.
possible unless someone else already knows. Observation and inferring
are possible even when nobody knows or no other people are present.
Of course observation of people requires their presence but even then
it is possible observe sometingh about them they don't know themselves.
If you sat in a cave with no outside contact thenIn that situation I would worry about other things.
word "cat" would remain pure gibberish forever.
meaning and you just don't seem to want to hear it.
It is impossible to understand the foundation ofFoundation of truth that is unrelated to truth is not a foundation
linguistic truth without first knowing its basis
and you just don't want to hear it.
Langauge is not an expression of knowledge. Knowledge can be expressedknowledge expressed as languageWithout a language there is no way to agree about meanings.Of course foreign langugageSo starting with the exact same caveman grunt for everything
words are often learned from dictionaries and textbooks that give
translations of the words. You cannot learn words from dfinitions
or being told unless you already know enogh words with menaings
to understand those dfinitions and other explanations.
distinctive meanings for different grunts must be established
or they remain utterly meaningless gibberish.
Communication between individuals using these different gruntsMeanings cannot be setablished before a communication occurs.
cannot occur until both sides know the same established meanings.
This all boils down to the ultimate basis of knowledge expressedKnowledge is an older and more common phenomenon than language.
as language is stipulated relations between finite strings or
prior to written language stipulated relations between phonemes.
Les messages affichés proviennent d'usenet.