## The New Encyclopaedia Britannica, Volume 11Encyclopaedia Britannica, 1983 - Encyclopedias and dictionaries |

### From inside the book

Results 1-3 of 19

Page 34

In all of the respects that so far have been considered, deontic logic is wholly

analogous to the already well developed field of alethic

with statements of the form "It is possible that . . ." (symbolized 0), "It is necessary

...

In all of the respects that so far have been considered, deontic logic is wholly

analogous to the already well developed field of alethic

**modal**logic, which dealswith statements of the form "It is possible that . . ." (symbolized 0), "It is necessary

...

Page 52

The

PC (such as those of PM), and in addition (1) Lp D p (2) L(p d q) D (Lp D Lq).

Axiom (1) expresses the principle that whatever is necessarily true is true and (2)

the ...

The

**modal**system known as T has as axioms some set of axioms adequate forPC (such as those of PM), and in addition (1) Lp D p (2) L(p d q) D (Lp D Lq).

Axiom (1) expresses the principle that whatever is necessarily true is true and (2)

the ...

Page 59

logic of noun expressions, Aristotle initiated the development of

which deals with the notions of necessity, impossibility, possibility, and

contingency.

**Modal**logic. In addition to constructing the first system, however modest, of thelogic of noun expressions, Aristotle initiated the development of

**modal**logic,which deals with the notions of necessity, impossibility, possibility, and

contingency.

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Other editions - View all

### Common terms and phrases

19th century army atoms axiomatic axioms bearings became BIBLIOGRAPHY body centre century church coil 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 material mechanical ment Merina metal metalogic metre 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 square miles stadholder surface syllogisms temperature theorem theory tion torque towns trans types United valid variables velocity wff's