Victor Porton (ORCID 0000-0001-7064-7975, no affiliation)
Abstract I add a new inference rule to formal systems in such a way that we introduce additional statements that can be proved without getting rid of being sure in their trueness, so producing a new logic (earlier when this was yet vaguely formulated, I called it “Not Logic” on my theological site). The idea was conceived in my theological musings.
Keywords first-order predicate logic, formal system, not logic, logical system
Competing Interests none