Posts

Showing posts from September, 2018

FURTHER LOGIC AS TO RULES OF THINKING CORRECTLY, MAKING CORRECT ANALYSIS, THAT DIFFER THOUGH ARE BASIS FOR CLASSICAL LOGIC, OR ARE USED TO AMPLIFY CLASSICAL LOGIC'S LIMITATIONS.

Image
FURTHER LOGIC AS TO RULES OF THINKING CORRECTLY,
MAKING CORRECT ANALYSIS, THAT DIFFER THOUGH
ARE BASIS FOR CLASSICAL LOGIC, OR ARE USED
TO AMPLIFY CLASSICAL LOGIC'S LIMITATIONS.
These references further demonstrate that the Logic I used in the Book of Pure Logic, is proven through Mathematics, and more advanced logic in intuitionism and constructive proof. Expanding the correct methods of deduction and inference.

https://en.wikipedia.org/wiki/Intuitionistic_logic
https://plato.stanford.edu/entries/logic-intuitionistic/


Intuitionistic logic
From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

Intuitionistic logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical logic by more closely mirroring the notion of constructive proof. In particular, systems of intuitionistic logic do not include the law of the excluded middle and double negation elimination, which are fundamental inference rules…