The New Encyclopędia BritannicaEncyclopędia Britannica, 1983 - Encyclopedias and dictionaries |
From inside the book
Results 1-3 of 20
Page 34
... modal logic , which deals with statements of the form " It is possible that . . . " ( symbol- ized ◊ ) , " It is necessary that . . . " ( symbolized ) , etc. ( see LOGIC , FORMAL : IV . Other special systems of logic : Traditional ...
... modal logic , which deals with statements of the form " It is possible that . . . " ( symbol- ized ◊ ) , " It is necessary that . . . " ( symbolized ) , etc. ( see LOGIC , FORMAL : IV . Other special systems of logic : Traditional ...
Page 52
... modal system known as T has as axioms some set of axioms adequate for PC ( such as those of PM ) , and in addition ( 1 ) Lp p ( 2 ) L ( pq ) ( Lp Ɔ Lq ) . Axiom ( 1 ) expresses the principle that whatever is neces- sarily true is true ...
... modal system known as T has as axioms some set of axioms adequate for PC ( such as those of PM ) , and in addition ( 1 ) Lp p ( 2 ) L ( pq ) ( Lp Ɔ Lq ) . Axiom ( 1 ) expresses the principle that whatever is neces- sarily true is true ...
Page 59
... Modal logic . In addition to constructing the first sys- tem , however modest , of the logic of noun expressions , Aristotle initiated the development of modal logic , which deals with the notions of necessity , impossibility , possibil ...
... Modal logic . In addition to constructing the first sys- tem , however modest , of the logic of noun expressions , Aristotle initiated the development of modal logic , which deals with the notions of necessity , impossibility , possibil ...
Other editions - View all
Common terms and phrases
applied army atoms bearings became become body called cause central centre century church complete connected continued cutting direction Dutch early effect electric electrons energy equal example expressions fact field Figure force France French function gears German give given House important increased industry Italy King known land later load logic London Louis lubricant machines magnetic major material means mechanical ment miles motion move movement natural obtained operations original period political population position possible principles problem produced properties propositions region relations remained result River rotation rule shaft speed square surface temperature theory tion tool towns true turn types United universal usually valid