All public logs

Combined display of all available logs of Objective Mathematics. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 17:05, 24 May 2025 Lfox talk contribs created page Logic (Created page with "I think that set theory and formal logic need to be re-done rationally. This is a big project. I will list out some of my problems with formal logic below: == Material implication == <math>A \implies B</math> is held to equivalent to <math>\neg A \vee B</math>, so anything follows from a falsehood. This doesn't fit natural language reasoning. For example, suppose that it is not raining outside right now, and I say "if it were raining outside right now, then communism w...") Tag: Visual edit