Results


Knowledge and belief: an introduction to the logic of the two notions

Classics

The Wageningen University & Research Library Catalogue contains a.o. the titles of the books and journals held by the participating libraries. Journal articles are not included in this database. Subjects covered include Agrotechnology, Food and Food Production, Plant and Animal Sciences, Soil Science, Geo-information, Landscape and Spatial Planning, Water and Climate, Ecosystem Studies, Economics and Society.


The Logic of Scientific Discovery

Classics

The Wageningen University & Research Library Catalogue contains a.o. the titles of the books and journals held by the participating libraries. Journal articles are not included in this database. Subjects covered include Agrotechnology, Food and Food Production, Plant and Animal Sciences, Soil Science, Geo-information, Landscape and Spatial Planning, Water and Climate, Ecosystem Studies, Economics and Society.


Empirical Explorations with the Logic Theory Machine: A Case Study in Heuristics

Classics

This is a case study in problem-solving, representing part of a program of research on complex information-processing systems. We have specifieda system for finding proofs of theorems in elementary symbolic logic, and by programming a computer to these specifications, have obtained empirical data on the problem-solving process in elementary logic. The program is called the Logic Theory Machine (LT); it was devised to learn how it is possible to solve difficult problems such as proving mathematical theorems, discovering scientific laws from data, playing chess, or understanding the meaning of English prose.The research reported here is aimed at understanding the complexp rocesses (heuristics) that are effective in problem-solving. Hence, we are not interested in methods that guarantee solutions, but which require vastamounts of computation. Rather, we wish to understand how a mathematician, for example, is able to prove a theorem even though he does not know when he starts how, or if, he is going to succeed.Proceedings of the Western Joint Computer Conference, 15:218-239. Reprinted in Feigenbaum and Feldman, Computers and Thought (1963).


Truth and probability

Classics

Footnote numbering is maintained as in the original text -- as a result, page numbers are also noted for where the footnote originally appears. Some minor typographical errors remain in the1931 edition which are corrected here: - - Page 169, line 19, we replaced "intensities fo feelings" with "intensities of feelings" Page 176, line 22 we replaced "few asumptions as possible" with "few assumptions as possible" - - Page 187, line 12, we replaced "objective interpetation" with "objective interpretation" Page 191, Footnote 1, we replaced "guided only be ratiocination" with "guided only by ratiocination". Keynes's symbolism p/h meaning the probability of proposition p given proposition h. "Truth and Probability" written 1926. CONTENTS (1) The Frequency Theory (2) Mr Keynes' Theory (3) Degrees of Belief (4) The Logic of Consistency (5) The Logic of Truth (1) THE FREQUENCY THEORY In the hope of avoiding some purely verbal controversies, I propose to begin by making some admissions in favour of the frequency theory.