Set theory INC^# based on intuitionistic logic with restricted modus ponens rule - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Set theory INC^# based on intuitionistic logic with...
Image fournie par le vendeur
Set theory INC^# based on intuitionistic logic with restricted modus ponens rule
Edité par
LAP LAMBERT Academic Publishing Jun 2021, 2021
ISBN 10 : 6203925357
ISBN 13 : 9786203925357
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 60 pp. Englisch. N° de réf. du vendeur 9786203925357
Acheter neuf
EUR 32,90
EUR 23 shipping
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Set theory INC^# based on intuitionistic logic with restricted modus ponens rule
Edité par
LAP LAMBERT Academic Publishing, 2021
ISBN 10 : 6203925357
ISBN 13 : 9786203925357
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Foukzon JaykovJaykov Foukzon (born October I, 1954). Nationality: Soviet Union. Education: Moscow State University (1976). Doctoral adviser: Lev Pontryagin. Soviet and Russian mathematician and physicist.Institutions: Russian Space R. N° de réf. du vendeur 485142424
Acheter neuf
EUR 29,02
EUR 48,99 shipping
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Set theory INC^# based on intuitionistic logic with restricted modus ponens rule
Edité par
LAP LAMBERT Academic Publishing Jun 2021, 2021
ISBN 10 : 6203925357
ISBN 13 : 9786203925357
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware -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.Books on Demand GmbH, Überseering 33, 22297 Hamburg 60 pp. Englisch. N° de réf. du vendeur 9786203925357
Acheter neuf
EUR 32,90
EUR 60 shipping
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Set theory INC^# based on intuitionistic logic with restricted modus ponens rule
Edité par
LAP LAMBERT Academic Publishing, 2021
ISBN 10 : 6203925357
ISBN 13 : 9786203925357
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. N° de réf. du vendeur 9786203925357
Acheter neuf
EUR 34,42
EUR 60,54 shipping
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)