From Newsgroup: comp.lang.prolog


Poincare had quite some problems with the
formal revolution that took place as well
in the last 100 or more years, starting with

things like naive set theory and its antinomies,
ending with computer formalized proofs of the Keppler
packing nowadays. He wrote a lengthy book:

Science and method
by Poincaré, Henri, 1854-1912 https://archive.org/details/sciencemethod00poinuoft/page/n3/mode/2up

His struggle starts at page 160, The New Logics.
Similar Einstein was New Mechanics for him.
Mostlikely Poincaré nowadays would be a form of

Sabine Hossenfelder with 100 YouTube videos and
possibly many followers. Poincaré faced the
destiny of any old fart that became irrelevant

over the time and turned into a commentator.

--- Synchronet 3.20a-Linux NewsLink 1.114

From Newsgroup: comp.lang.prolog


Poincare has surely still a fellowship,
maybe a form of counter culture, similar like
Spencer Brown. Who halucinates a supervenient

logic over the logics from the formal revolution,
mostly appealing to diagrammtic reasoning.

"The mathematician Darboux claimed he was un
intuitif (an intuitive), arguing that this is
demonstrated by the fact that he worked so
often by visual representation. Jacques Hadamard
wrote that Poincaré's research demonstrated
marvelous clarity[76] and Poincaré himself wrote
that he believed that logic was not a way to
invent but a way to structure ideas and that
logic limits ideas." https://en.wikipedia.org/wiki/Henri_Poincar%C3%A9#Character

This is a very common psychological defense
mechanism, sometimes having even a religious

motivation, in that it is believed that the
face of God or Angels speak to humans through
mathematics. But once again with generative

AI and halucinating ChatGPT this humanist
monopole is challenged somehow even more.

Mild Shock schrieb:

Poincare had quite some problems with the
formal revolution that took place as well
in the last 100 or more years, starting with

things like naive set theory and its antinomies,
ending with computer formalized proofs of the Keppler
packing nowadays. He wrote a lengthy book:

Science and method
by Poincaré, Henri, 1854-1912 https://archive.org/details/sciencemethod00poinuoft/page/n3/mode/2up

His struggle starts at page 160, The New Logics.
Similar Einstein was New Mechanics for him.
Mostlikely Poincaré nowadays would be a form of

Sabine Hossenfelder with 100 YouTube videos and
possibly many followers. Poincaré faced the
destiny of any old fart that became irrelevant

over the time and turned into a commentator.

--- Synchronet 3.20a-Linux NewsLink 1.114

From Newsgroup: comp.lang.prolog


Poincare is said to have never spent a long time on a
problem since he believed that the subconscious would
continue working on the problem while he consciously

worked on another problem. So he had a self model
that included some automatic processing. Mostlikely
Einstein used similar techniques, Einstein is said

to have slept about 10 hours a night, which is more
than the average adult needs, and often took naps
during the day. So both men managed and tapped into

their more holistic thinking. A nice example of
what is nowadays called "dual processing":

Dual-process accounts of reasoning postulate that there
are two systems or minds in one brain. https://en.wikipedia.org/wiki/Dual_process_theory#Background

But dual processing is now challenged a little bit.
Just imagine a ChatGPT doing things when the end-user
is idle? Just like a chess program that continues

"thinking", when it is the opponents turn:

Yuval Noah Harari: ChatGPT is the “amoeba of AI evolution” https://www.youtube.com/watch?v=lfid5DUoSBI

What will be the resulting physics?

Mild Shock schrieb:

Poincare has surely still a fellowship,
maybe a form of counter culture, similar like
Spencer Brown. Who halucinates a supervenient

logic over the logics from the formal revolution,
mostly appealing to diagrammtic reasoning.

"The mathematician Darboux claimed he was un
intuitif (an intuitive), arguing that this is
demonstrated by the fact that he worked so
often by visual representation. Jacques Hadamard
wrote that Poincaré's research demonstrated
marvelous clarity[76] and Poincaré himself wrote
that he believed that logic was not a way to
invent but a way to structure ideas and that
logic limits ideas." https://en.wikipedia.org/wiki/Henri_Poincar%C3%A9#Character

This is a very common psychological defense
mechanism, sometimes having even a religious

motivation, in that it is believed that the
face of God or Angels speak to humans through
mathematics. But once again with generative

AI and halucinating ChatGPT this humanist
monopole is challenged somehow even more.

Mild Shock schrieb:

Poincare had quite some problems with the
formal revolution that took place as well
in the last 100 or more years, starting with

things like naive set theory and its antinomies,
ending with computer formalized proofs of the Keppler
packing nowadays. He wrote a lengthy book:

Science and method
by Poincaré, Henri, 1854-1912
https://archive.org/details/sciencemethod00poinuoft/page/n3/mode/2up

His struggle starts at page 160, The New Logics.
Similar Einstein was New Mechanics for him.
Mostlikely Poincaré nowadays would be a form of

Sabine Hossenfelder with 100 YouTube videos and
possibly many followers. Poincaré faced the
destiny of any old fart that became irrelevant

over the time and turned into a commentator.

--- Synchronet 3.20a-Linux NewsLink 1.114

From Newsgroup: comp.lang.prolog

Hi,

Poincare gives an interesting insight, mostly forgotten,
that the last 100 years brought us a new logic:

Science and method
by Poincaré, Henri, 1854-1912 https://archive.org/details/sciencemethod00poinuoft/page/n3/mode/2up

His struggle starts at page 160, The New Logics.
Similar Einstein was New Mechanics for him.

So what are NEW and OLD logic:

- NEW Logic: The Logic for the Past Atom Age
The new logic is basically a logic that allows to
formalize the real numbers, for example via set theory.
It was judged so important that the whole education
underwent a transformation:

One of the motives was the Sputnik shock, as a result
of which there was a great need to catch up
educationally in the West.
https://de.wikipedia.org/wiki/Neue_Mathematik

- OLD Logic: The Logic for the Coming Artificial Age
The old logic is basically Aristotelian Begriffslogik.
Bis zum 19. Jahrhundert war es die dominante Tradition.
Die Logiker für eine solche Logik waren mehr Grammatiker
und Wissensimgenieure, und weniger Mathematiker die der
Physik zugedient haben.

https://de.wikipedia.org/wiki/Begriffslogik

LLMs give a new spin on OLD Logic, which has sent
shockwaves into hardcore NEW Logic proponents
as a means for Begriffslogik. Especially the use of
of less formal means based on natural language itself,

which was somehow seen as a problem, could be a solution:

Modern ontologies:
• Philosophers have debated the foundations for centuries.
• They emphasize technical terms defined in logic.
• But people talk. write. and think in natural languages (NLs).
• Any distinctions not represented in NLs tend to be ignored.

The Great Debate between John Sowa and Barry Smith https://www.youtube.com/watch?v=fhYaTW5MK_U

Bye


Mild Shock schrieb:

Poincare had quite some problems with the
formal revolution that took place as well
in the last 100 or more years, starting with

things like naive set theory and its antinomies,
ending with computer formalized proofs of the Keppler
packing nowadays. He wrote a lengthy book:

Science and method
by Poincaré, Henri, 1854-1912 https://archive.org/details/sciencemethod00poinuoft/page/n3/mode/2up

His struggle starts at page 160, The New Logics.
Similar Einstein was New Mechanics for him.
Mostlikely Poincaré nowadays would be a form of

Sabine Hossenfelder with 100 YouTube videos and
possibly many followers. Poincaré faced the
destiny of any old fart that became irrelevant

over the time and turned into a commentator.

--- Synchronet 3.20a-Linux NewsLink 1.114

From Newsgroup: comp.lang.prolog

Hi,

The stance of LLMs towards ontology is a little
special. Asking OpenAI it tells me that LLMs can
behave as follows:

- Interpret Ontologies: Given descriptions or
structured data from ontologies, they can
understand and process relationships,
classes, and properties.

- Generate Ontology Components: They can help draft
classes, properties, or rules for ontologies when
provided with a domain description or examples.

- Explain Ontologies: They can interpret and explain
the structure and intent of an ontology for end-users.

I know at least of one project that tries to tap into
that, especially inputing a natural language text and
asking description components. The expected problems
are hallucination, informality and rigidity.

But since our whole education system is mainly based
on NEW Logic and not OLD Logic, which is somehow
tacitly assumed. And since LLMs have quite some grass
root dynamics, with YouTube videos platforms having

replaced the academic discussion forums and are now
influencing the terminology in the domain. The whole
matter feels like a bad joke, like waking up in a
Keeping Up with the Kardashians comedy.

Just like here:

A New Lexicon and Its Implications https://www.computer.org/csdl/magazine/it/2024/05/10754993/21THeGJDXUI

Bye

A New Lexicon and Its Implications https://www.computer.org/csdl/magazine/it/2024/05/10754993/21THeGJDXUI
FIGURE 5. Partial list of emergent generative AI terminology.

Mild Shock schrieb:

Hi,

Poincare gives an interesting insight, mostly forgotten,
that the last 100 years brought us a new logic:

Science and method
by Poincaré, Henri, 1854-1912 https://archive.org/details/sciencemethod00poinuoft/page/n3/mode/2up

His struggle starts at page 160, The New Logics.
Similar Einstein was New Mechanics for him.

So what are NEW and OLD logic:

- NEW Logic: The Logic for the Past Atom Age
  The new logic is basically a logic that allows to
  formalize the real numbers, for example via set theory.
  It was judged so important that the whole education
  underwent a transformation:

One of the motives was the Sputnik shock, as a result
of which there was a great need to catch up
educationally in the West.
https://de.wikipedia.org/wiki/Neue_Mathematik

- OLD Logic: The Logic for the Coming Artificial Age
  The old logic is basically Aristotelian Begriffslogik.
  Bis zum 19. Jahrhundert war es die dominante Tradition.
  Die Logiker für eine solche Logik waren mehr Grammatiker
  und Wissensimgenieure, und weniger Mathematiker die der
  Physik zugedient haben.

https://de.wikipedia.org/wiki/Begriffslogik

LLMs give a new spin on OLD Logic, which has sent
shockwaves into hardcore NEW Logic proponents
as a means for Begriffslogik. Especially the use of
of less formal means based on natural language itself,

which was somehow seen as a problem, could be a solution:

Modern ontologies:
•    Philosophers have debated the foundations for centuries.
•    They emphasize technical terms defined in logic.
•    But people talk. write. and think in natural languages (NLs). •    Any distinctions not represented in NLs tend to be ignored.

The Great Debate between John Sowa and Barry Smith https://www.youtube.com/watch?v=fhYaTW5MK_U

Bye

Mild Shock schrieb:

Poincare had quite some problems with the
formal revolution that took place as well
in the last 100 or more years, starting with

things like naive set theory and its antinomies,
ending with computer formalized proofs of the Keppler
packing nowadays. He wrote a lengthy book:

Science and method
by Poincaré, Henri, 1854-1912
https://archive.org/details/sciencemethod00poinuoft/page/n3/mode/2up

His struggle starts at page 160, The New Logics.
Similar Einstein was New Mechanics for him.
Mostlikely Poincaré nowadays would be a form of

Sabine Hossenfelder with 100 YouTube videos and
possibly many followers. Poincaré faced the
destiny of any old fart that became irrelevant

over the time and turned into a commentator.

--- Synchronet 3.20a-Linux NewsLink 1.114