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

Groups > sci.logic > #341989

Re: Its a little sad story with NY (Was: NY is the next Detroit in 2035)

Cross-posted to 3 groups.

Show all headers | View raw

Hi,

I was refering to the assumptions that FOL
is the door opener for reasoning with information:

> 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. 

I don't know, there are a lot of half century old
discoveries now in front of me. Where subtle things,
away from FOL, like recently Operational Sets by

Feferman have an appearance in my Prolog system.
What could be also interesting is Church-Frege
Ontology. It was later formalized in a book by

Melvin Fitting. You find it here:

Fitting, M. (2002). Types, Tableaus, and
Gödel’s God, Dordrecht: Kluwer.
https://link.springer.com/book/10.1007/978-94-010-0411-4

I am not yet 100% sure, it could be that I have
also a use case, or many use cases for some
of the distinctions made, it seems the FOL model,

especially the FOL= model, i.e. FOL with equality,
is much much too simplified for practical uses.
I don't know whether these problems have already

a final settlement. A great deal of Proof Assistant
development in recent years only circled around
subletities of equality. Most prominent incursion

was 2009 with Vladimir Voevodsky, also NY.

Bye

Mild Shock schrieb:
> Hi,
> 
> Its a little sad story with NY.
> Since the East Coast Logic was not
> only Chicago, you found in NY
> 
> people dead and still alive:
> - Raymond Smullyan
> - Melvin Fitting
> - Who else?
> 
> Some of them were even Prologers.
> 
> Bye
> 
> Mild Shock schrieb:
>> Hi,
>>
>> Although you could believe you are in the
>> possesion of Cartesian Thinking, you still
>> dont know whether NY is the next Detroit in 2035.
>>
>> Let me explain what mostlikely will happen:
>>
>> - Its for long no sea-line immigration hub anymore
>> - The millionairs don't need financial district proximity
>>    anymore, everything is done online anyways.
>> - The meat grinder of white colour jobs disappears,
>>    everything is done by artificial intelligence anyways.
>> - The new major creates a little califath, with
>>    the appeal of bombay
>> - Jeff Bezos gets his energy from space, and puts
>>    data centers there, and saves the florida crocodiles
>> - Trump still does parties in Miami, and not in NY
>>    and the epstain files have still not been released.
>>
>> LoL
>>
>> Bye
>>
>> Ross Finlayson schrieb
>>> If you're going to read Rene 'Renatus' DesCartes,
>>> and his approach to elements, he doesn't just take
>>> them apart, he does so in a way that the elements
>>> put themselves back together.
>>
>>
> 

Back to sci.logic | Previous | Next — Previous 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