3 ms·
Constructivism is based on intuitionistic logic, which lacks some important logical principles. For example, it lacks the following principles: * exclud
by ProfHewitt 5y ago
Constructivism is based on intuitionistic logic, which lacks
some important logical principles.
For example, it lacks the following principles:
* excluded middle
* double negation elimination
The principles can be valuable for proving properties of
concurrent systems,
- rssoconnor 5y agoClassical logic can be embedded into Constructive logic through any one of a number of choices of double negation translations. Thus it is Constructive logic that is arguably more expressive. See https://news.ycombinator.com/item?id=26217587 https://news.ycombinator.com/item?id=26217587
- ProfHewitt 5y agoUnfortunately, a theoretical embedding doesn't always accomplish the work of Double Negation Elimination in practice.