{"id":1016,"date":"2026-05-09T19:26:58","date_gmt":"2026-05-10T04:26:58","guid":{"rendered":"https:\/\/www.aomushi.net\/?p=1016"},"modified":"2026-05-15T21:40:51","modified_gmt":"2026-05-16T06:40:51","slug":"math","status":"publish","type":"post","link":"https:\/\/www.aomushi.net\/index.php\/2026\/05\/09\/math\/","title":{"rendered":"math"},"content":{"rendered":"\n<p>Logic Matters<\/p>\n\n\n<ul class=\"wp-block-rss\"><li class='wp-block-rss__item'><div class='wp-block-rss__item-title'><a href='https:\/\/logicmatters.net\/blog\/postcard-fron-ljubljana.html'>Postcard from Ljubljana<\/a><\/div><\/li><li class='wp-block-rss__item'><div class='wp-block-rss__item-title'><a href='https:\/\/logicmatters.net\/blog\/apologies.html'>Apologies<\/a><\/div><\/li><li class='wp-block-rss__item'><div class='wp-block-rss__item-title'><a href='https:\/\/logicmatters.net\/blog\/open-logic.html'>Book note: The Open Logic FOL texts<\/a><\/div><\/li><li class='wp-block-rss__item'><div class='wp-block-rss__item-title'><a href='https:\/\/logicmatters.net\/blog\/settling-in.html'>Settling in \u2013 and a PHQ concert<\/a><\/div><\/li><li class='wp-block-rss__item'><div class='wp-block-rss__item-title'><a href='https:\/\/logicmatters.net\/blog\/new-hardback.html'>A new hardback!<\/a><\/div><\/li><\/ul>\n\n\n<figure class=\"wp-block-embed is-type-wp-embed is-provider-logic-matters wp-block-embed-logic-matters\"><div class=\"wp-block-embed__wrapper\">\n<blockquote class=\"wp-embedded-content\" data-secret=\"eG1LA6N8sA\"><a href=\"https:\/\/www.logicmatters.net\/about\/\">About PS<\/a><\/blockquote><iframe loading=\"lazy\" class=\"wp-embedded-content\" sandbox=\"allow-scripts\" security=\"restricted\" style=\"position: absolute; visibility: hidden;\" title=\"&#8220;About PS&#8221; &#8212; Logic Matters\" src=\"https:\/\/www.logicmatters.net\/about\/embed\/#?secret=8VKXtcl1EU#?secret=eG1LA6N8sA\" data-secret=\"eG1LA6N8sA\" width=\"600\" height=\"338\" frameborder=\"0\" marginwidth=\"0\" marginheight=\"0\" scrolling=\"no\"><\/iframe>\n<\/div><\/figure>\n\n\n\n<p>\u5b9f\u969b\u3001\u79c1\u306f40\u5e74\u9593\u3001\u5b89\u5b9a\u3057\u305f\u7d66\u4e0e\u306e\u5927\u5b66\u8077\u306b\u5c31\u304d\u3001\u3086\u3063\u305f\u308a\u3068\u3057\u305f\u6642\u9593\u3092\u904e\u3054\u3057\u306a\u304c\u3089\u3001\u54f2\u5b66\u3084\u6570\u5b66\u3078\u306e\u8208\u5473\u3092\u81ea\u7531\u306b\u8ffd\u6c42\u3067\u304d\u305f\u3053\u3068\u306f\u3001\u3053\u306e\u4e0a\u306a\u3044\u5e78\u904b\u3067\u3057\u305f\u3002\u540c\u4e16\u4ee3\u306e\u591a\u304f\u306e\u4eba\u3068\u540c\u3058\u3088\u3046\u306b\u3001\u5f53\u6642\u3001\u81ea\u5206\u3084\u540c\u4e16\u4ee3\u306e\u4eba\u305f\u3061\u304c\u3069\u308c\u307b\u3069\u6075\u307e\u308c\u3066\u3044\u305f\u304b\u3092\u3001\u5341\u5206\u306b\u7406\u89e3\u3057\u3066\u3044\u306a\u304b\u3063\u305f\u3053\u3068\u306f\u78ba\u304b\u3067\u3059\u3002\u3053\u306e\u30b5\u30a4\u30c8\u306e\u5b66\u751f\u5411\u3051\u306e\u30bb\u30af\u30b7\u30e7\u30f3\u3001\u4f8b\u3048\u3070\u7121\u6599\u3067\u30c0\u30a6\u30f3\u30ed\u30fc\u30c9\u3067\u304d\u308b<br><em>\u300c\u5165\u9580\u6570\u5b66\u8ad6\u7406\u5b66\u300d<\/em>\u3092\u542b\u3080\u300c<a href=\"https:\/\/www.logicmatters.net\/tyl\/\">\u5b66\u7fd2<\/a>\u30ac\u30a4\u30c9\u300d\u306a\u3069\u306f\u3001\u611f\u8b1d\u306e\u6c17\u6301\u3061\u3092\u8fbc\u3081\u3066\u3001\u3055\u3055\u3084\u304b\u3067\u306f\u3042\u308a\u307e\u3059\u304c\u5fc3\u304b\u3089\u306e\u53d6\u308a\u7d44\u307f\u3067\u3059\u3002\u307e\u305f\u3001\u4ee5\u524d\u51fa\u7248\u3057\u305f\u66f8\u7c4d\u306e\u4e00\u90e8\u3082\u30aa\u30fc\u30d7\u30f3\u30a2\u30af\u30bb\u30b9\u3067\u516c\u958b\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3057\u305f\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Logic Matters \u5b9f\u969b\u3001\u79c1\u306f40\u5e74\u9593\u3001\u5b89\u5b9a\u3057\u305f\u7d66\u4e0e\u306e\u5927\u5b66\u8077\u306b\u5c31\u304d\u3001\u3086\u3063\u305f\u308a\u3068\u3057\u305f\u6642\u9593\u3092\u904e\u3054\u3057\u306a\u304c\u3089\u3001\u54f2\u5b66\u3084\u6570\u5b66\u3078\u306e\u8208\u5473\u3092\u81ea\u7531\u306b\u8ffd\u6c42\u3067\u304d\u305f\u3053\u3068\u306f\u3001\u3053\u306e\u4e0a\u306a\u3044\u5e78\u904b\u3067\u3057\u305f\u3002\u540c\u4e16\u4ee3\u306e\u591a\u304f\u306e\u4eba\u3068\u540c\u3058\u3088\u3046\u306b\u3001\u5f53\u6642\u3001\u81ea\u5206\u3084\u540c\u4e16\u4ee3\u306e\u4eba\u305f\u3061\u304c\u3069\u308c\u307b\u3069\u6075\u307e\u308c\u3066\u3044\u305f\u304b\u3092\u3001\u5341\u5206\u306b\u7406\u89e3\u3057\u3066\u3044\u306a\u304b\u3063\u305f\u3053\u3068\u306f\u78ba\u304b\u3067\u3059\u3002\u3053\u306e\u30b5\u30a4\u30c8\u306e\u5b66\u751f\u5411\u3051\u306e\u30bb\u30af\u30b7\u30e7\u30f3\u3001\u4f8b\u3048\u3070\u7121\u6599\u3067\u30c0\u30a6\u30f3\u30ed\u30fc\u30c9\u3067\u304d\u308b\u300c\u5165\u9580\u6570\u5b66\u8ad6\u7406\u5b66\u300d\u3092\u542b\u3080\u300c\u5b66\u7fd2\u30ac\u30a4\u30c9\u300d\u306a\u3069\u306f\u3001\u611f\u8b1d\u306e\u6c17\u6301\u3061\u3092\u8fbc\u3081\u3066\u3001\u3055\u3055\u3084\u304b\u3067\u306f\u3042\u308a\u307e\u3059\u304c\u5fc3\u304b\u3089\u306e\u53d6\u308a\u7d44\u307f\u3067\u3059\u3002\u307e\u305f\u3001\u4ee5\u524d\u51fa\u7248\u3057\u305f\u66f8\u7c4d\u306e\u4e00\u90e8\u3082\u30aa\u30fc\u30d7\u30f3\u30a2\u30af\u30bb\u30b9\u3067\u516c\u958b\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3057\u305f\u3002<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-1016","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/www.aomushi.net\/index.php\/wp-json\/wp\/v2\/posts\/1016","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.aomushi.net\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.aomushi.net\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.aomushi.net\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.aomushi.net\/index.php\/wp-json\/wp\/v2\/comments?post=1016"}],"version-history":[{"count":5,"href":"https:\/\/www.aomushi.net\/index.php\/wp-json\/wp\/v2\/posts\/1016\/revisions"}],"predecessor-version":[{"id":1023,"href":"https:\/\/www.aomushi.net\/index.php\/wp-json\/wp\/v2\/posts\/1016\/revisions\/1023"}],"wp:attachment":[{"href":"https:\/\/www.aomushi.net\/index.php\/wp-json\/wp\/v2\/media?parent=1016"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.aomushi.net\/index.php\/wp-json\/wp\/v2\/categories?post=1016"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.aomushi.net\/index.php\/wp-json\/wp\/v2\/tags?post=1016"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}