Gentzen-type formulation of the prepositional logic LQ

We give a Gentzen-type formulation GQ for the intermediate logic LQ and prove the cut-elimination theorem on it, where LQ is the propositional logic obtained from the intuitionistic propositional logic LI by adding the axioms of the form AV A.     

A new semantics for intuitionistic predicate logic

The main part of the proof of Kripke's completeness theorem for intuitionistic logic is Henkin's construction. We introduce a new Kripke-type semantics with semilattice structures for intuitionistic logic. The completeness theorem for this semantics can he proved without Henkin's construction.     

A new formulation of the Principle of Indifference

The idea of a probabilistic logic of inductive inference based on some form of the principle of indifference has always retained a powerful appeal. However, up to now all modifications of the principle failed. In this paper, a new formulation of such a principle is provided that avoids generating paradoxes and inconsistencies. Because of these results, the thesis that probabilities cannot be logical quantities, determined in an objective way through some form of the principle of indifference, is no longer supportable. Later, the paper investigates some implications of the new principle of indifference. To conclude, a re-examination of the foundations of the so-called objective Bayesian inference is called for.     

A new semantical approach to the logic of preference

A possible world semantics for preference is developed. The remainder operator () is used to give precision to the notion that two states of the world are as similar as possible, given a specified difference between them. A general structure is introduced for preference relations between states of affairs, and three types of such preference relations are defined. It is argued that one of them, actual preference, corresponds closely to the concept of preference in informal discourse. Its logical properties are studied and shown to be plausible.     

A new approach to the formulation and testing of learning models

It is argued that current attempts to model human learning behavior commonly fail on one of two counts: either the model assumptions are artificially restricted so as to permit the application of mathematical techniques in deriving their consequences, or else the required complex assumptions are imbedded in computer programs whose technical details obscure the theoretical content of the model. The first failing is characteristic of so-called mathematical models of learning, while the second is characteristic of computer simulation models. An approach to model building which avoids both these failings is presented under the title of a black-box theory of learning. This method permits the statement of assumptions of any desired complexity in a language which clearly exhibits their theoretical content.Section II of the paper is devoted to the problem of testing and comparing alternative learning theories. The policy advocated is to abandon attempts at hypothesis testing. It is argued that, in general, we not only lack sufficient data and sufficiently powerful techniques to test hypotheses, but that the truth of a model is not really the issue of basic interest. A given model may be true in the sense that on the basis of available evidence we cannot statistically reject it, but not interesting in the sense that it provides little information about the processes underlying behavior. Rather, we should accept or reject models on the basis of how much information they provide about the way in which subjects respond to environmental structure. This attitude toward model testing is made precise by introducing a formal measure of the information content of a model. Finally, it is argued that the statistical concept of degrees-of-freedom is misleading when used in the context of model testing and should be replaced by a measure of the information absorbed from the data in estimating parameters.I would like to express my indebtedness to Ernest W. Adams and Julian Feldman for their guidance and encouragement of the research reported here.Much of the research reported here was conducted at the University of California, Berkeley, and incorporated in a Ph.D. dissertation in Logic and the Methodology of Science [15]. The research was supported in part by the Computer Institute for Social Science Research, Michigan State University.     

从现代逻辑观点看印度新因明三支论式

Comparing the three-form reasoning of new Hetu-vidya with Western logic, scholars have put forward four perspectives. Combining their strengths and shortcomings, and the examples of Hetu-vidya reasoning, we can conclude that the three-form reasoning should have four forms: (1) the affirmative expression of formal implication; (2) the modus ponens of hypothetical reasoning concerning sufficient conditions after universal instantiation; (3) the negative expression of a formal implication; and (4) the modus tollens of hypothetical reasoning concerning sufficient conditions after universal instantiation.