Having a proof resolves this contradiction. However, we also should keep in mind that it does not mean something is not true, if is has no proof yet. It just means it is not proven or disproven yet. This is the area where I see a lot of people getting lost. 7/
Another interesting book I ran was Churchman. Design of Inquiring Systems (1971). Logical proofs would be represented by Leibnizian inquiring systems relying on factnets. They are not perfect for many reasons - imperfect knowledge, observations, problems with sampling methods, etc. 8/
Because of this some proofs (especially longer ones) may not necessarily be accurate as errors start to accumulate. But these are not the reason to abandon logic altogether. As we see maga just does not believe in logic. And they learn what to think, not how to think. 9/
I think this is why we struggle to get on the same page with maga. No amount of arguing with them or justification will change their opinions. No matter how hard we try. They need a different approach. And last, but not least. I'd appreciate have any recs on the topic of definitions of truth. 🔟/🔟