Brazilian logic
|
|
In logic, Brazilian logic is a name given by Chris Mortensen, in his book Inconsistent Mathematics, to a system R# of relevance logic. It is named this way because the inventor of the approach, Newton da Costa, is Brazilian.
This approach is a way to get rid of (A ∧ ¬A) → B without getting rid of the law of non-contradiction (i.e. the rule that states that A ∧ ¬A is false).
Brazilian logic is the dual of intuitionistic logic, where you drop the law of excluded middle (i.e. the law that states that A ∨ ¬A is true). Intuitionistic logic is modeled by open sets in a topological space: and stands for intersection, or for union, and not for the interior of the complement. Similarly, Brazilian logic is modeled by closed sets. In intuitionistic logic a slight gap (at the boundary) between A and ¬A is allowed, whereas in Brazilian logic a slight overlap is allowed.