语言
没有数据
通知
无通知
形式論理（けいしきろんり）とは、 近代（哲学からの影響の薄れた）以降における論理学である数理論理学における論理のように、形式体系として整っている論理のこと。 (独)Formale Logik: ドイツ観念論哲学の祖と言われるイマヌエル・カントがアリストテレス流の論理学に与えた名称。自己の唱えた Transzendentale
semantics)と言う。 さらに、可能性や必然性、条件文などの表現を扱うために、この考えは可能世界意味論に拡張される。可能世界意味論では、文が可能世界にどのように写像されるかを取り扱う。たとえば、「雪が白いかもしれない」という文の表す命題は、雪がさまざまな色をしている可能世界の中に雪が白い可能世界が少なくとも一つ存在し、そこに写像されると考える。
(1)事物が存在しているときの， 外に現れているかたち。
非形式論理学（ひけいしきろんりがく、英: Informal logic）は、現代の論理学がもっぱら扱うのは「A → A ∨ B」といったような人工的・形式的（formal）な記号によって表現する形式論理であるのに対し、自然言語といったような非形式的なものを扱う論理学やその学際的分野である。非形式論理
論理式 論理式 (数学) - 数理論理学、命題論理、述語論理において、形式文法の規則に合った式のこと。 プログラミング言語などで、ブーリアン型を扱う式のこと。 このページは曖昧さ回避のためのページです。一つの語句が複数の意味・職能を有する場合の水先案内のために、異なる用法を一覧にしてあります。お探
頭辞（せっとうじ、prefix）であり、「る」は語基の後ろに付くので接尾辞（せつびじ、suffix）である。その他に、接中辞、接周辞などがある。 一つの形態素に複数の異なる形があるとき、それらの形はその形態素の異形態（いけいたい、allomorph）である、という。例えば日本語の「書いた」と「嗅いだ
リトルネッロ形式（リトルネッロけいしき 伊: Ritornèllo）は、西洋音楽の楽曲形式の一つ。 バロック時代の協奏曲に多く見られた形式で、リトルネッロと呼ばれる主題を何度も挟みながら進行する。ロンド形式と類似しているが、ロンドの場合にロンド主題が毎回同じ調（主調）で奏されるのに対し、リトルネ
gC となるようないくつかの非同型な実リー環が存在する。これらをその実形 (real form) と呼ぶ。任意の複素半単純リー環には（同型の違いを除いて）一意的なコンパクト実形 g があることが分かる。与えられた複素半単純リー環の実形はしばしばキリング形式の inertia の正の指数によってラベルづけされる。
搜索 
