{"provider_name":"Hatena Blog","blog_title":"nuhsnuh\u2019s blog","description":"(\u6700\u8fd1\u3001\u7cbe\u795e\u7684\u306b\u75b2\u52b4\u56f0\u618a\u3057\u3001\u3057\u3070\u3089\u304f\u5bdd\u8fbc\u3093\u3067\u3057\u307e\u3044\u307e\u3057\u305f\u3002\u4e0d\u5b89\u3092\u548c\u3089\u3052\u308b\u85ac\u3092\u751f\u308c\u3066\u306f\u3058\u3081\u3066\u98f2\u3093\u3067\u3001\u5fc3\u3092\u843d\u3061\u7740\u304b\u305b\u3088\u3046\u3068\u3057\u3066\u3044\u308b\u3068\u3053\u308d\u3067\u3059\u3002\u4ee5\u4e0b\u306b\u63b2\u3052\u308b\u6587\u7ae0\u306f\u3001\u5bdd\u8fbc\u3093\u3067\u3057\u307e\u3046\u524d\u306b\u5927\u90e8\u5206\u3092\u66f8\u304d\u307e\u3057\u305f\u3002\u305f\u3060\u3057\u5fc3\u7a4f\u3084\u304b\u3067\u306a\u3044\u6642\u671f\u306b\u66f8\u3044\u3066\u304a\u308a\u307e\u3059\u306e\u3067\u3001\u63a8\u6572\u3092\u7d4c\u3066\u304a\u308a\u307e\u305b\u3093\u3002\u305d\u306e\u305f\u3081\u3001\u307b\u3068\u3093\u3069\u601d\u3044\u4ed8\u304d\u3068\u8a00\u3063\u3066\u3088\u3044\u3088\u3046\u306a\u6587\u7ae0\u3067\u3059\u3002\u9593\u9055\u3063\u3066\u304a\u308a\u307e\u3057\u305f\u3089\u5927\u5909\u3059\u307f\u307e\u305b\u3093\u3002) Unrestricted Comprehension Principle \u3092\u4fdd\u6301\u3057\u305f\u307e\u307e\u3001Russell Paradox \u304b\u3089\u306e\u77db\u76fe\u5c0e\u51fa\u3092\u9632\u3050\u624b\u6bb5\u3068\u3057\u3066\u3001structural rules \u306e\u4e00\u3064\u3092\u843d\u3068\u3059\u3068\u3044\u3046\u3053\u3068\u304c\u3001\u6709\u671b\u306a\u624b\u7acb\u3066\u3068\u3057\u3066\u8003\u3048\u3089\u308c\u2026","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnuhsnuh.hatenablog.jp%2Fentry%2F20161211%2Fp2\" title=\"\u3000Why Contraction-Free Logics Aren&#39;t Convenient for Most of Us? - nuhsnuh\u2019s blog\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","image_url":"https://cdn-ak.f.st-hatena.com/images/fotolife/n/nuhsnuh/20161210/20161210235920.png","width":"100%","type":"rich","author_name":"nuhsnuh","published":"2016-12-11 00:00:02","version":"1.0","height":"190","title":"\u3000Why Contraction-Free Logics Aren't Convenient for Most of Us?","blog_url":"https://nuhsnuh.hatenablog.jp/","categories":["Curry's Paradox","Contraction"],"author_url":"https://blog.hatena.ne.jp/nuhsnuh/","url":"https://nuhsnuh.hatenablog.jp/entry/20161211/p2","provider_url":"https://hatena.blog"}