## The New Encyclopaedia Britannica, Volume 3 |

### From inside the book

Results 1-3 of 42

Page 695

Section 10 / 12 deals first with formal

the predicate calculus , the theory of the syllogism , modal

and 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 ,the predicate calculus , the theory of the syllogism , modal

**logic**, and set theoryand natural - 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

Part One | 17 |

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

galaxies stars the solar system | 63 |

Copyright | |

44 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