Victor Porton Change your cover photoUpload Change your cover photoUpload Change your cover photo Victor Porton I am the chief editor of this journal and creator of this site. This user account status is Approved About About Posts Posts Comments Comments If it is, then we have the algorithm of generalization. It remains to write it in details and enter it… On Absolute Logic – logic without axioms A middle is allowing defining predicates only which have no conjuntion at top level. Is this middle reasonable/effective? On Absolute Logic – logic without axioms Obviously, this trouble could be solved by never defining any symbols (or defining some symbols but never defining predicate symbols).… On Absolute Logic – logic without axioms There is however a trouble (that could be classified as a trouble of too much freedom) that for example discovery… On Absolute Logic – logic without axioms Also using my logic partly solves the "wall" between fundamental and applied science, an important case of common goods tragedy… On Absolute Logic – logic without axioms This in turn in some sense at least partly obsoletes my revolt because of my poverty and consequentially no degree:… On Absolute Logic – logic without axioms Can in my logic be proved falseness of anything (A => 0)? If it cannot, we get "logic without false",… On Absolute Logic – logic without axioms So, mappings between funcoids that I discovered are mappings between sets defined by conjunctions of axioms. We could exclude axioms… On Absolute Logic – logic without axioms This obsoletes my own formerly great discovery of Algebraic General Topology (such as funcoids and reloids). In the case of… On Absolute Logic – logic without axioms Sorry, truth implies truth is not provable in intuitionistic logic. On Absolute Logic – logic without axioms load more comments