And that’s all for analyzing statements. You can’t just do that to some words and discover objective truth out of nowhere, so I’m not sure what you think you’re accomplishing here. What you’re linking is more analogous to the code that underlies an AI(if/while loops and whatnot). Reasoning is closer to the scientific method of forming a hypothesis and whatnot than anything you linked.
You basically just pointed out that there’s a math system for logic. Neat.
drspod@lemmy.ml 5 weeks ago
en.wikipedia.org/wiki/Propositional_calculus
en.wikipedia.org/wiki/First-order_logic
fishos@lemmy.world 5 weeks ago
And that’s all for analyzing statements. You can’t just do that to some words and discover objective truth out of nowhere, so I’m not sure what you think you’re accomplishing here. What you’re linking is more analogous to the code that underlies an AI(if/while loops and whatnot). Reasoning is closer to the scientific method of forming a hypothesis and whatnot than anything you linked.
You basically just pointed out that there’s a math system for logic. Neat.