ノート:直観主義論理

改名提案

「直観論理」から「直観主義論理」への改名を提案します。現在の記事名は「直観論理」となっていますが、「直観主義論理」の方が一般的ではないかと思われるため、Google 検索で何件ヒットするのかを調査してみました。その結果、「直観論理」は約 1,860 件で「直観主義論理」は約 3,800 件ヒットとなり、「直観主義論理」の方が多くヒットします。これを根拠とします。これが本提案の根拠となります。また、数ある書籍の一例に過ぎないのですが、普通の書籍よりは言葉に対して厳密であると思われる『岩波数学辞典』は「直観主義論理」を採用しているようです。

• 「直観論理」の Google 検索結果 - https://www.google.com/search?q=%22%E7%9B%B4%E8%A6%B3%E8%AB%96%E7%90%86%22
• 「直観主義論理」の Google 検索結果 - https://www.google.com/search?q=%22%E7%9B%B4%E8%A6%B3%E4%B8%BB%E7%BE%A9%E8%AB%96%E7%90%86%22

--Hexirp（会話） 2019年2月1日 (金) 11:29 (UTC) 誤解されかねない表現を修正--Hexirp（会話） 2019年2月1日 (金) 11:58 (UTC)