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.
"synopsis" may belong to another edition of this title.
Search results for Set theory INC^# based on intuitionistic logic with...
Seller Image
Set theory INC^# based on intuitionistic logic with restricted modus ponens rule
Published by
LAP LAMBERT Academic Publishing Jun 2021, 2021
ISBN 10: 6203925357
ISBN 13: 9786203925357
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9786203925357
Buy New
US$ 39.87
US$ 27.06 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
Set theory INC^# based on intuitionistic logic with restricted modus ponens rule
Published by
LAP LAMBERT Academic Publishing, 2021
ISBN 10: 6203925357
ISBN 13: 9786203925357
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: 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. Seller Inventory # 485142424
Buy New
US$ 35.17
US$ 57.64 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Set theory INC^# based on intuitionistic logic with restricted modus ponens rule
Published by
LAP LAMBERT Academic Publishing Jun 2021, 2021
ISBN 10: 6203925357
ISBN 13: 9786203925357
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9786203925357
Buy New
US$ 39.87
US$ 70.59 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
Set theory INC^# based on intuitionistic logic with restricted modus ponens rule
Published by
LAP LAMBERT Academic Publishing, 2021
ISBN 10: 6203925357
ISBN 13: 9786203925357
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9786203925357
Buy New
US$ 41.71
US$ 71.23 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Set theory INC^# based on intuitionistic logic with restricted modus ponens rule
Published by
LAP LAMBERT Academic Publishing, 2021
ISBN 10: 6203925357
ISBN 13: 9786203925357
New
Taschenbuch
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Set theory INC^# based on intuitionistic logic with restricted modus ponens rule | Jaykov Foukzon | Taschenbuch | Englisch | 2021 | LAP LAMBERT Academic Publishing | EAN 9786203925357 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu. Seller Inventory # 120310404
Buy New
US$ 35.75
US$ 82.36 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available