The discussion revolves around sources for learning about non-axiomatic logics, particularly focusing on the work of Pei Wang. Participants explore the concept of non-axiomatic logic, its differences from axiomatic systems, and its applications, especially in artificial intelligence.
Participants have not reached a consensus on the specifics of non-axiomatic logics, and multiple viewpoints and questions remain regarding its definition and implications.
There are limitations in the discussion regarding the depth of understanding of non-axiomatic logics, as some participants express uncertainty and seek clarification on its differences from other reasoning systems.
The scientific method is the best example of a non-axiomatic logic I can think of.EvLer said:Does anybody know a good source for learning about non-axiomatic logics?
I found just one name Pei Wang.
Thanks in advance.
Yeah, that's what I found too: basically work by one person named Pei Wang. I guess one difference between axiomatic and non-axiomatic as described by him is that axiomatic systems assume knowledge provided through premises to be sufficient, while non-axiomatic systems take insufficiency of knowledge as the ground fact, they learn and adapt. A better paper by him that I found (if anybody is interested) is Cognitive Logic versus Mathematical logic.honestrosewater said:I have no idea what a non-axiomatic logic is, but in trying to find out, googling 'non-axiomatic reasoning system' gives better results.