ノート:直観主義論理
(ノート:直観論理から転送)
改名提案[編集]
「直観論理」から「直観主義論理」への改名を提案します。現在の記事名は「直観論理」となっていますが、「直観主義論理」の方が一般的ではないかと思われるため、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)
済 一週間待っても改名提案に対する反対意見がなかったので改名を実行しました。--Hexirp(会話) 2019年2月9日 (土) 03:20 (UTC)