Set theory INC^# based on intuitionistic logic with restricted modus ponens rule
Autor: | Foukzon, Jaykov |
---|---|
EAN: | 9786203925357 |
Sachgruppe: | Mathematik |
Sprache: | Englisch |
Seitenzahl: | 60 |
Produktart: | Kartoniert / Broschiert |
Veröffentlichungsdatum: | 23.06.2021 |
32,90 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
In this book set theory INC# based on intuitionistic logic with restricted modus ponens rule is proposed. It proved that intuitionistic logic with restricted modus ponens rule can to safe Cantor naive set theory from a triviality Considering only pure sets, the naive set comprehension principle says, for anycondition, that there is a set containing all and only the sets satisfying this condition. Infirst-order logic, this can be formulated as the following schematic principle, where ¿may be any formula in whichy does not occur freely: yxx y ¿. 1.1 Russell¿s paradox shows that the instance obtained by letting ¿ be x x isinconsistent in classical logic. One response to the paradox is to restrict naive setcomprehension by ruling out this and other problematic instances: only for each of somespecial conditions is it claimed there is a set containing all and only the sets satisfyingthe condition.