The traditional understanding of logical laws is that they are the most general and fundamental laws that human thought must follow. The three principles of identity, contradiction, and the excluded middle have traditionally been cited as the fundamental principles of logic that represent logical laws. The law of identity is expressed as " A is A ," the law of contradiction as " A and not non- A ," and the law of the excluded middle as " A or not- A ." From the standpoint of modern logic, we can symbolize these fundamental principles. If we can understand A as a proposition (descriptive sentence), then these are expressed as " A ⇒ A ," "~( A ∧~ A )," and "A ∨~ A " (meaning ⇒: then, ~: not, ∧: and, ∨: or). Source: Heibonsha World Encyclopedia, 2nd Edition Information |
人間の思考が従うべきもっとも一般的かつ基本的な法則,というのが論理法則の伝統的な理解である。そして論理法則を代表する論理学の根本原理として,同一律,矛盾律,排中律の三原則が挙げられるのが通例であった。同一律は〈AはAである〉と,矛盾律は〈Aかつ非Aでない〉と,排中律は〈Aまたは非A〉と表現される法則である。現代論理学の立場からわれわれはこれらの根本原則を記号化することができる。仮にAを命題(記述文)と理解してよいなら,それぞれ,〈A⇒A〉〈~(A∧~A)〉〈A∨~A〉(⇒:ならば,~:ない,∧:かつ,∨:または,の意)。
出典 株式会社平凡社世界大百科事典 第2版について 情報 |
>>: Tractatus Logico-Philosophicus (English: Tractatus Logico-Philosophicus)
An affiliated organization of the Central Committe...
An operating system (OS) developed by Bell Labs i...
…the capital of Denmark. In Danish, it is called ...
...And foremen and others still retain a large de...
A samurai family in southern Kyushu since the Kama...
1539-1582 A military commander from the Sengoku t...
For example, when we hear the word "apple,&q...
An exact frequency that is the standard for frequ...
〘Noun〙 ("Shun" is the Chinese pronunciat...
...The book mainly includes the theories of Greek...
Born March 14, 1946 in Guatemala City. Guatemalan ...
An Indian poet from around 900. He was of Kshatriy...
…In this formula, + means excess and - means defi...
…Barnacles [Shigeo Gamou]. . . From [European Bar...
…There are two ways of thinking about the legisla...