The New Encyclopaedia Britannica: Macropaedia (19 v.)Encyclopaedia Britannica, 1983 - Encyclopedias and dictionaries |
From inside the book
Results 1-3 of 20
Page 34
... logic , it is only necessary to take one of these three operations as primi- tive ( i.e. , as an irreducible given ) ... modal logic , which deals with statements of the form " It is possible that . . . " ( symbol- ized ◊ ) , " It is ...
... logic , it is only necessary to take one of these three operations as primi- tive ( i.e. , as an irreducible given ) ... modal logic , which deals with statements of the form " It is possible that . . . " ( symbol- ized ◊ ) , " It is ...
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 ...
Page 74
... logic should be considered in terms of certain games ( in the precise sense of game theory ) that are , roughly ... modal logic , which may be defined , in the narrow sense , as the study of logical necessity and possibility ; for even ...
... logic should be considered in terms of certain games ( in the precise sense of game theory ) that are , roughly ... modal logic , which may be defined , in the narrow sense , as the study of logical necessity and possibility ; for even ...
Other editions - View all
Common terms and phrases
19th century army atoms axiomatic axioms bearings became BIBLIOGRAPHY body centre century church dipoles Dutch economic electric electrons energy example ferromagnetic Figure fluid flux density force France French friction function gears German helium-3 Holland important industry King known land later Lo-yang load lock locomotion loess logic logicians logistic London Louis Low Countries lubricant luminescence Luther Lutheran Luxembourg lymph lymph nodes lymphatic Macau machines Mackenzie River Madagascar Madhya Pradesh magic magnesium magnetic field magnetic moment material mechanical ment metal metres miles modal modal logic motion move movement Netherlands nodes nuclear operations particles percent political population predicate produced propositions provinces River rotation rule screw shaft speed square stadholder surface syllogisms temperature theorem theory tion tool torque towns types United valid variables velocity wff's