ろんり‐きごう【論理記号】
記号論理学で、論理式を構成するのに用いる記号。論理積の「∧」、論理和の「∨」、否定の「〜」など。存在記号の「∃」、全称記号の「∀」を含めることもある。論理演算子。
ろんり‐けいさん【論理計算】
⇒論理演算(ろんりえんざん)
ろんり‐ゲート【論理ゲート】
《logic gate》⇒ゲート5
ろんり‐コア【論理コア】
《logical core》コンピューターのCPUで、一つの物理コアを仮想的に分割し、複数の命令（スレッド）を処理できるようにしたもの。例えば、10コア20スレッドのCPUの場合、物理コアは10...
ろんり‐ご【論理語】
論理学で、言語の要素のうち、語られる時・所によって変化する実質的な内容に対し、変化しない基本的かつ普遍的な形式的要素。「でない」「かつ」「または」「ならば」および述語論理における「すべて」「ある...
ろんり‐サーバー【論理サーバー】
《logical server》⇒仮想サーバー
ろんり‐しき【論理式】
論理記号を用いていくつかの命題を結び合わせた式。
ろんり‐しゅうせきかいろ【論理集積回路】
⇒ロジックIC
ろんり‐しゅぎ【論理主義】
哲学で、論理を基にして物事を説明したり主張したりする傾向・立場。 １ 世界は理または理法をもって成立するとし、この理に基づいて世界を説明しようとする形而上学的立場。 ２ 認識論で、認識や価値・妥...
ろんり‐じっしょうしゅぎ【論理実証主義】
ウィーン学団に始まった実証主義哲学。マッハの実証主義を受け継ぎ、前期ウィトゲンシュタインの決定的影響のもとに成立した。知識の基礎を経験に求め、形而上学を否定し、哲学の任務は科学において用いられる...
