## The New Encyclopędia BritannicaEncyclopędia Britannica, 1983 - Encyclopedias and dictionaries |

### From inside the book

Results 1-3 of 42

Page 695

Section 10/12 deals first with formal

predicate calculus , the theory of the syllogism , modal

natural - number arithmetic . It goes on to the nature and elements of metalogic ...

Section 10/12 deals first with formal

**logic**, treating the propositional calculus , thepredicate calculus , the theory of the syllogism , modal

**logic**, and set theory andnatural - number arithmetic . It goes on to the nature and elements of metalogic ...

Page 696

Development of mathematical

; Boole's algebra of

Cantor of the relation between

...

Development of mathematical

**logic**in the 19th century : expansions of syllogistic; Boole's algebra of

**logic**; refinements of the calculus ; the study by Frege andCantor of the relation between

**logic**and the foundations of mathematics 4.**Logic**...

Page 699

Discoveries about formal mathematical systems : completeness and consistency ;

decidability and undecidability 4. Discoveries about

consistency , completeness , and decidability of the propositional calculus b .

Discoveries about formal mathematical systems : completeness and consistency ;

decidability and undecidability 4. Discoveries about

**logical**calculi a . Theconsistency , completeness , and decidability of the propositional calculus b .

### What people are saying - Write a review

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

### Contents

atomic nuclei and elementary particles | 20 |

Energy radiation and the states and transformation of matter | 29 |

molecular structure | 36 |

Copyright | |

47 other sections not shown

### Other editions - View all

### Common terms and phrases

activity administration Africa analysis animals articles article sections articles referred arts basic begins behaviour biological cells Central century changes characteristics chemical civil classification communication concept concerning covers cultural deals diseases distribution diverse Division early Earth economic effects elements Empire energy environment establishment European evolution factors fields Finally forms functions goes groups growth headnote human Indian industry influence institutions involved Italy kinds knowledge language learning literature logic major materials measurement mechanisms methods military motion movements nature organization origin outline of subject passim patterns period philosophy physical plants political population practices principles problems processes production properties reactions reforms relation religion religious role sciences sections other references separately social society space structure surface techniques theory tion treatment treats types various views waves Western