Set theory INC^# based on intuitionistic logic with restricted modus ponens rule
-
- Englisch ausgewählt
29,99 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
23.06.2021
Verlag
LAP LAMBERT Academic PublishingSeitenzahl
60
Maße (L/B/H)
22/15/0,5 cm
Gewicht
107 g
Sprache
Englisch
ISBN
978-620-3-92535-7
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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für dein Feedback
Wir nutzen dein Feedback, um unsere Produktseiten zu verbessern. Bitte habe Verständnis, dass wir dir keine Rückmeldung geben können. Falls du Kontakt mit uns aufnehmen möchtest, kannst du dich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice