Hacker News Reader

Yes, a proper definition of reasoning must be provided. How are you defining reasoning, exactly? You imply that formal logic is reasoning. Is reasoning just formal logic or is formal logic just a subset of reasoning? If a subset, what’s the rest of it? Since they implement logic, do Prolog programs “reason” or are they just performing inference according to the SLD resolution algorithm?

View on HN

> proper definition of reasoning must be provided

It will be related to the context. If a process tells me that "if the light is blue and the sound is sharp then the lever must be lowered", it outputs reasoning; if what the activity did was running on conditional paths like an Expert System, what it did was different from the content and only improper reasoning; if the activity produced semantic evaluations about the light, the blue, the sound, the sharpness, the lever etc., then it was reasoning even if it was a process that reasoned.

But all of this makes sense only when it is there for the proper implementation of reasoning. Otherwise, Dijkstra is valid.

> If a process tells me that "if the light is blue and the sound is sharp then the lever must be lowered", it outputs reasoning

By this definition, all computer programs using simple IF statements are reasoning.

You misread the post. Pls read it again.

Reply on news.ycombinator.com