## The New Encyclopaedia Britannica, Volume 23 |

### From inside the book

Results 1-3 of 81

Page 266

basis of this observation and certain broader developments in logic, Carnap

attempted to develop

thought that the success that metalogic had achieved in the mathematical

disciplines ...

basis of this observation and certain broader developments in logic, Carnap

attempted to develop

**formal**treatments of science and philosophy. It has beenthought that the success that metalogic had achieved in the mathematical

disciplines ...

Page 557

But, instead of rejecting those parts, he proposed in 1905 and, more specifically,

after 1918 roughly to formulate classical mathematics up to a suitable point as a

But, instead of rejecting those parts, he proposed in 1905 and, more specifically,

after 1918 roughly to formulate classical mathematics up to a suitable point as a

**formal**axiomatic theory and to prove this theory consistent — i.e., free from ...Page 559

ematics, including arithmetic, analysis, and set theory short of the paradoxes, in a

Godel's theorem that —A, is unprovable but true shows that not even the first ...

ematics, including arithmetic, analysis, and set theory short of the paradoxes, in a

**formal**system and proving that system consistent by finitary methods. The part ofGodel's theorem that —A, is unprovable but true shows that not even the first ...

### What people are saying - Write a review

#### LibraryThing Review

User Review - keylawk - LibraryThingThis is the 198215th Edition, in two halves, with the Macropaedia and the Micropaedia. First published in 1768, the publisher is the oldest English-language encyclopedia still in print. Two Scottish ... Read full review

#### The New Encyclopaedia Britannica (Encyclopaedia)

User Review - Not Available - Book VerdictFor virtually all its 238 years,Britannica has ruled the shelves as a peerless general encyclopedia. Reviewers have consistently given it high marks for most of the 12 criteria identified inKister's ... Read full review

### Other editions - View all

### Common terms and phrases

20th century Aeschylus allegory ancient Aristotle audience axiomatic axioms ballads biography calculus called character children's literature classical comedy comic criticism culture D.H. Lawrence derived dialects drama electrons elements energy English epic essay example fiction Figure formal France French function genre German grammar Greek hero human inference interpretation John John Locke known language Latin light Lincoln linguistics Lisbon literary logic logician London luminescence Luther Luxembourg meaning medieval mereology metalogic metre modal logic modern moral morpheme nanometres narrative nature noun expressions novel novelists original philosophical phoneme photons plays poem poet poetry predicate premises propositions prose prosody relation Renaissance romance rules saga satire semantic sense sentence set theory social story structure style syllogisms syllogistic symbols T.S. Eliot tagmeme theatre theme theorem theory tion tradition tragedy tragic true truth valid variables verse wave words writing written