Logic: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

24 May 2025

  • curprev 18:3718:37, 24 May 2025‎ Lfox talk contribs‎ 2,665 bytes +666‎ →‎Subjunctive quantifiers Tag: Visual edit
  • curprev 17:0517:05, 24 May 2025‎ Lfox talk contribs‎ 1,999 bytes +1,999‎ 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
Retrieved from "http://64.23.165.198:80/index.php/Logic"