Henry E. Kyburg, Jr.

Henry E. Kyburg, Jr. (1928–2007) was Gideon Burbank Professor of Moral Philosophy and Professor of Computer Science at the University of Rochester, New York, and Pace Eminent Scholar at the Institute for Human and Machine Cognition, Pensacola, Florida. His first faculty posts were at Rockefeller Institute, University of Denver, Wesleyan College, and Wayne State University.

Kyburg worked in probability and logic, and is known for his Lottery Paradox (1961). Kyburg also edited Studies in Subjective Probability (1964) with Howard Smokler. Because of this collection's relation to Bayesian probability, Kyburg is often misunderstood to be a Bayesian. His own theory of probability is outlined in Logical Foundations of Statistical Inference (1974), a theory that first found form in his 1961 book Probability and the Logic of Rational Belief (in turn, a work closely related to his doctoral thesis). Kyburg describes his theory as Keynesian and Fisherian (see John Maynard Keynes and Ronald Fisher), a delivery on the promises of Rudolf Carnap and Hans Reichenbach for a logical probability based on reference classes, a reaction to Neyman–Pearson statistics (see Jerzy Neyman, Egon Pearson, and Neyman–Pearson lemma), and neutral with respect to Bayesian confirmational conditionalization. On the latter subject, Kyburg had extended discussion in the literature with lifelong friend and colleague Isaac Levi.

Kyburg's later major works include Epistemology and Inference (1983), a collection of essays; Theory and Measurement (1984), a response to Krantz–Luce–Suppes–Tversky's Foundations of Measurement; and Science and Reason (1990), which seeks to allay Karl Popper's and Bruno de Finetti's concerns that empirical data could not confirm a universally quantified scientific axiom (e.g., F = ma).

Kyburg was Fellow of the American Association for the Advancement of Science (1982), Fellow of the American Academy of Arts and Science (1995), Fellow of the American Association for Artificial Intelligence (2002), and recipient of the Butler Medal for Philosophy in Silver from Columbia University, where he received his PhD with Ernest Nagel as his advisor. Kyburg was also a graduate of Yale University and a 1980 Guggenheim Fellow.[1]

Kyburg owned a farm in Lyons, New York where he raised Angus cattle with his wife, Sarah, and promoted wind turbine systems for energy-independent farmers.

Philosophical relatives

Several full professors of philosophy today were once undergraduates of Henry Kyburg, including Daniel Dennett, Robert Stalnaker, Rich Thomason, and Teddy Seidenfeld. Kyburg's own line of philosophical descent was: Gottfried Leibniz >> Christian Wolff (philosopher) >> Martin Knutzen >> Immanuel Kant >> Karl Leonhard Reinhold >> Friedrich Adolf Trendelenburg >> George Sylvester Morris >> Josiah Royce / William James / Charles Sanders Peirce >> Morris Cohen >> Ernest Nagel >> Henry Kyburg.

His AI dissertation students were Ronald Loui, Bulent Murtezaoglu, and Choh Man Teng, and postdoctoral visitor Fahiem Bacchus. His philosophy students included daughter Alice Kyburg, Mariam Thalos, Gregory Wheeler, William Harper, Abhaya Nayak, Prashanta Bandyopadhaya, in addition to those listed above.

Theory of probability

Several ideas distinguish Kyburg's Kyburgian or epistemological interpretation of probability:

Example: Suppose a corpus of Knowledge at a level of acceptance. Contained in this corpus are statements,

 e is a T1 and e is a T2.  

The observed

 frequency of P among T1 is .9.  

The observed

 frequency of P among T2 is .4.  

What is the probability that e is a P?

Here, there are two conflicting reference classes, so the probability is either [0, 1], or some interval combining the .4 and .9, which sometimes is just [.4, .9] (but often a different conclusion will be warranted). Adding the knowledge

 All T1's are T2's 

now makes T1 the most specific relevant reference class and a dominator of all interfering reference classes. With this universal statement of class inclusion,

 the probability is [.9, .9], by direct inference from T1.  

Kyburg's rules apply to conflict and subsumption in complicated partial orders.

Acceptance and principles of rational belief

Kyburg's inferences are always relativized to a level of acceptance that defines a corpus of morally certain statements. This is like a level of confidence, except that Neyman–Pearson theory is prohibited from retrospective calculation and post-observational acceptance, while Kyburg's epistemological interpretation of probability licenses both. At a level of acceptance, any statement that is more probable than the level of acceptance can be adopted as if it were a certainty. This can create logical inconsistency, which Kyburg illustrated in his famous lottery paradox.

In the example above, the calculation that e is a P with probability .9 permits the acceptance of the statement e is a P categorically, at any level of acceptance lower than .9 (assuming also that the calculation was performed at an acceptance level above .9). The interesting tension is that very high levels of acceptance contain few evidentiary statements. They do not even include raw observations of the senses if those senses have often been fooled in the past. Similarly, if a measurement device reports within an interval of error at a rate of .95, then no measurable statements are acceptable at a level above .95, unless the interval of error is widened. Meanwhile, at lower levels of acceptance, so many contradictory statements are acceptable that nothing useful can be derived without inconsistency.

Kyburg's treatment of universally quantified sentences is to add them to the Ur-corpus or meaning postulates of the language. There, a statement like F = ma or preference is transitive provides additional inferences at all acceptance levels. In some cases, the addition of an axiom produces predictions that are not refuted by experience. These are the adoptable theoretical postulates (and they must still be ordered by some kind of simplicity). In other cases, the theoretical postulate is in conflict with the evidence and measurement-based observations, so the postulate must be rejected. In this way, Kyburg provides a probability-mediated model of predictive power, scientific theory-formation, the Web of Belief, and linguistic variation. The theory of acceptance mediates the tension between linguistic categorical assertion and probability-based epistemology.

References

External links

This article is issued from Wikipedia - version of the 11/11/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.