The New Encyclopædia BritannicaEncyclopædia Britannica, 1992 |
From inside the book
Results 1-3 of 43
Page 240
... logician Jan Łukasiewicz , by the U.S. logician Emil Post , a specialist in recursive unsolvability , by the Austrian - English logician and philosopher Ludwig Wittgenstein , and by other logi- cians to determine the meanings of ...
... logician Jan Łukasiewicz , by the U.S. logician Emil Post , a specialist in recursive unsolvability , by the Austrian - English logician and philosopher Ludwig Wittgenstein , and by other logi- cians to determine the meanings of ...
Page 259
... logician asks whether one of the axioms is redundant because it can be proved from the other axioms . Finally , the logician may ask whether the system is complete , in the sense that it is always possible , for any well - formed ...
... logician asks whether one of the axioms is redundant because it can be proved from the other axioms . Finally , the logician may ask whether the system is complete , in the sense that it is always possible , for any well - formed ...
Page 270
... logician naturally wishes to have . On the other hand , he is still inclined to ask whether there might be some principle of uniqueness according to which elementary logic is the only solution that satisfies certain natural requirements ...
... logician naturally wishes to have . On the other hand , he is still inclined to ask whether there might be some principle of uniqueness according to which elementary logic is the only solution that satisfies certain natural requirements ...
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 Émile Zola energy England 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 meaning medieval mereology metalogic metre modal logic modern moral morpheme nanometres narrative nature novel novelists original philosophical phoneme photons plays poem poet poetry predicate premises propositions prose prosody relation Renaissance romance rules saga satire semantic sense sentence 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 wff's words writing written