Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > sci.logic > #341972

Philosophical Twist due to negligence (Re: Rene Descartes "Discours de la méthode" has fizzled out)

From Mild Shock <janburse@fastmail.fm>
Newsgroups sci.logic, sci.math, sci.lang
Subject Philosophical Twist due to negligence (Re: Rene Descartes "Discours de la méthode" has fizzled out)
Date 2025-11-14 11:44 +0100
Message-ID <10f7170$ju4$2@solani.org> (permalink)
References <dKqcnTafh9KZJZr0nZ2dnZfqnPqdnZ2d@giganews.com> <10f7064$jag$2@solani.org>

Cross-posted to 3 groups.

Show all headers | View raw


Hi,

Descartes’ “divide problems into parts” works
only for well-behaved, linear, decomposable systems.
But its just that parts might end up as Schrödingers

equation. It could be that stable diffusion is the
new constraint solver. In a sense, stable diffusion
models (or other generative AI) are functioning as

probabilistic, fuzzy constraint solvers — but in a
very different paradigm from classical logic or
formal methods. But what was neglected?

- Cybernetics (1940s–50s)
Focused on feedback loops, control, and self-regulation
in machines and biological systems. Showed that
decomposition can fail because subparts are interdependent.

- Chaos Theory (1960s–80s)
Nonlinear deterministic systems can produce unpredictable,
sensitive dependence on initial conditions. Decomposition
into parts is tricky: small errors explode, and “solving
subparts” may not help predict the whole.

- Santa Fe Institute & Complex Systems (1980s–present)
Studied emergent behavior, networks, adaptation,
self-organization. Linear, reductionist thinking fails
to capture dynamics of economic, social, and ecological systems.

Bye

Mild Shock schrieb:
> Hi,
> 
> How it started:
> 
> https://conceptbase.sourceforge.net/
> 
> How its going:
> 
> https://www.ibm.com/products/datastax
> 
> The problem with claims such as " Formal languages,
> such as KAOS, are based on predicate logic and
> capture additional details about an application
> in a precise manner. They also provide a foundation
> for reasoning with information models." is that
> every thing in the quoted sentence is wrong.
> 
> Real AI systems scale by approximation,
> vectorization, distributed representations,
> and partial knowledge — not by globally
> consistent logical models. No classical requirements
> language or ontology captures the informal
> cognitive machinery that makes
> intelligence flexible. Intelligence needs the
> whole messy cognitive spectrum.
> 
> Somehow DataStax looks like n8n married AI embedding.
> I hope Amazon, Meta, Google, etc.. get the message.
> I don't worry about Microsoft, they might come with
> 
> something from their Encarta corner and Copilot+ is
> more Local AI. After all we need things like Wikidata
> in a Robot and not in a Data Center.
> 
> LoL
> 
> Bye

Back to sci.logic | Previous | NextPrevious in thread | Next in thread | Find similar | Unroll thread


Thread

Rene Descartes "Discours de la méthode" has fizzled out Mild Shock <janburse@fastmail.fm> - 2025-11-14 11:27 +0100
  Philosophical Twist due to negligence (Re: Rene Descartes "Discours de la méthode" has fizzled out) Mild Shock <janburse@fastmail.fm> - 2025-11-14 11:44 +0100
    Re: Philosophical Twist due to negligence (Re: Rene Descartes "Discours de la méthode" has fizzled out) Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-11-14 11:10 -0800
      NY is the next Detroit in 2035 (Was: Philosophical Twist due to negligence) Mild Shock <janburse@fastmail.fm> - 2025-11-14 23:12 +0100
        Its a little sad story with NY (Was: NY is the next Detroit in 2035) Mild Shock <janburse@fastmail.fm> - 2025-11-14 23:25 +0100
          Re: Its a little sad story with NY (Was: NY is the next Detroit in 2035) Mild Shock <janburse@fastmail.fm> - 2025-11-14 23:45 +0100
    How to not be Artificial Intelligent [Boris the Loris deeply shocked] (Re: Philosophical Twist due to negligence) Mild Shock <janburse@fastmail.fm> - 2025-11-16 11:24 +0100
      Abstraction refinement (CEGAR) etc.. [Community Blind Spot] (Was: How to not be Artificial Intelligent) Mild Shock <janburse@fastmail.fm> - 2025-11-16 12:05 +0100
        The illusion of set theories [Computational Logic Primate] (Was: Abstraction refinement (CEGAR) etc.. [Community Blind Spot]) Mild Shock <janburse@fastmail.fm> - 2025-11-16 13:08 +0100
          Not all logicians are primarily interested in "computation" (Re: The illusion of set theories [Computational Logic Primate]) Mild Shock <janburse@fastmail.fm> - 2025-11-16 16:32 +0100
  AnythingLLM QNN/ONNX: Massiv Computations versus John Sowa (Re: Rene Descartes "Discours de la méthode" has fizzled out) Mild Shock <janburse@fastmail.fm> - 2025-11-25 20:07 +0100
    Benchmark results DirectML versus QNN [Challenge for Geekbench AI] (Re: AnythingLLM QNN/ONNX: Massiv Computations versus John Sowa) Mild Shock <janburse@fastmail.fm> - 2025-11-25 20:17 +0100

csiph-web