Even science is pretty hard to justify with formal logic. There's a pretty big gap between inductive reasoning (statistics) and deductive reasoning (formal log

Even science is pretty hard to justify with formal logic. There's a pretty big gap between inductive reasoning (statistics) and deductive reasoning (formal logic), called the problem of induction. No logician or philosopher has come up with a widely accepted way to solve it in the roughly 200 years since David Hume started writing on the subject. https://en.wikipedia.org/wiki/Problem_of_induction https://en.wikipedia.org/wiki/Problem_of_induction