A logic with a new inference rule as the new venue of math [very rough draft]

Victor Porton (ORCID 0000-0001-7064-7975, no affiliation)
Israel
porton.victor@gmail.com

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

Article text.