マークアップ‐げんご【マークアップ言語】
《markup language》文書やデータのデザイン、レイアウト、論理構造、意味を記述するためのタグを文章中に配した記述言語。SGML、HTML、XMLなどがある。
マールブルク‐がくは【マールブルク学派】
新カント学派の一。カントの批判主義を論理主義的方向で展開し、数学・自然科学の基礎づけを試みた。代表者はコーエン・ナトルプ・カッシーラーなど。
む‐じゅん【矛盾／矛楯】
［名］(スル) １ ほことたて。 ２ 《昔、中国の楚の国で、矛(ほこ)と盾(たて)とを売っていた者が、「この矛はどんなかたい盾をも突き通すことができ、この盾はどんな矛でも突き通すことができない」...
むじゅん‐がいねん【矛盾概念】
論理学で、同一の類概念に属する概念のうち、互いに他を否定しあってその中間に第三者を入れる余地のない概念。例えば、色という類概念に属する白と非白。→反対概念
むじゅん‐げんり【矛盾原理】
論理学で、思考の原理の一。「Aは非Aではない」または「いかなるものもAかつ非Aであることはできない」という形式で表される。同一原理の反面を表す。矛盾律。矛盾法。→思考の原理
むじゅん‐たいとう【矛盾対当】
論理学で、対当関係の一。主語と述語とは同じであるが、量（全称・特称）と質（肯定・否定）とを異にする二つの判断の真偽関係。→対当関係
むむじゅん‐せい【無矛盾性】
理論体系一般において、ある公理系内に相互に矛盾する公理が存在しないこと。また、そこからの命題の導出に論理的矛盾がないこと。整合性。
めい‐じ【名辞】
《term》論理学で、概念を言語で表したもの。実際上、概念と同じ意味に用いられる。
めい‐せき【明晰／明晳】
［名・形動］ １ 明らかではっきりしていること。また、そのさま。「—な文章」 ２ 論理学で、概念の外延が明確で他とはっきり区別できること。明白。→判明
めい‐だい【命題】
１ 題号をつけること。また、その題。名題。 ２ 論理学で、判断を言語で表したもので、真または偽という性質をもつもの。→判断 ３ 数学で、真偽の判断の対象となる文章または式。定理または問題。
