The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious application areas. The book contains chapters that analyse, appraise, or reshape Makinson’s work and chapters that develop themes emerging from his contributions. These are grouped into major areas to which Makinsons has made highly influential contributions and the volume in its entirety is divided into four sections, each devoted to a particular area of logic: belief change, uncertain reasoning, normative systems and the resources (...) of classical logic. Among the contributions included in the volume, one chapter focuses on the “inferential preferential method”, i.e. the combined use of classical logic and mechanisms of preference and choice and provides examples from Makinson’s work in non-monotonic and defeasible reasoning and belief revision. One chapter offers a short autobiography by Makinson which details his discovery of modern logic, his travels across continents and reveals his intellectual encounters and inspirations. The chapter also contains an unusually explicit statement on his views on the role of logic in philosophy. (shrink)

Lilian Bermejo-Luque has posed these questions:1.What is the relationship between presumption and presumptive inference? 2.What are the correctness conditions for presumptions and presumptive inferences? Cohen’s method of relevant variables, Toulmin’s model, and Rescher’s theory of plausibility suggest answers. An inference is presumptive just in case its warrant transfers presumption from its premises to its conclusion. A warrant licencing an inference from the claim that an empirical property φ holds to the claim that some other property ψ holds is backed by (...) observation of a constant conjunction of those properties. The stronger the backing, the stronger the warrant. Warrants may be defeated by instances of φ holding in conjunction with some property χ and ψ not holding. The method of relevant variables directs us to organize such defeating properties into relevant variables. We then test the strength of a warrant by seeing how many variables fail to have a value which defeats the warrant. The more variables with no defeater, the stronger the warrant. We may construct a canonical ordering of the relevant variables by ranking them according to the plausibility of their including defeating values. We may evaluate the strength not only of empirically backed warrants, but warrants backed by institutional rules, such as a branch of law, or by a priori intuited connections between properties. An inference rule will be presumptive just in case the plausibility of its warrant being defeated is below some specified level. (shrink)

First published in 2002. Routledge is an imprint of Taylor & Francis, an informa company.

Modern belief revision theory is based to a large extent on partial meet contraction that was introduced in the seminal article by Carlos Alchourrón, Peter Gärdenfors, and David Makinson that appeared in 1985. In the same year, Alchourrón and Makinson published a significantly different approach to the same problem, called safe contraction. Since then, safe contraction has received much less attention than partial meet contraction. The present paper summarizes the current state of knowledge on safe contraction, provides some new results (...) and offers a list of unsolved problems that are in need of investigation. (shrink)

This chapter contains sections titled: Highlights of Past Literature Current Work Future Work.

Various theories try to give accounts of how measures of this confidence do or ought to behave, both as far as the internal mental consistency of the agent as ...

My thesis is that some methodological ideas of the Pozna school, i.e., the principles of idealization and concretization (factualization), and the correspondence principle can be represented rather successfully using the relations of theoretization and specialization of revised structuralism.Let n(i), t(j)> (i=1,...m, j=1,...k) denote the conceptual apparatus of a theory T, and a class M={} (i=1,...m, j=1,...k) the models of T. The n-components refer to the values of dependent variables and t-components to the values of independent variables of the theory. The (...) n- and t-components in turn represent appropriate concepts. Consider T * as a conceptual enrichment of T with concepts n(i *), t(j *)> (ii * or jj *) and models M *={D *, n(i *), t(j *)>}. If the classes M and M * are suitably related, then the situation illustrates both the case of the theoretization-relation of (revised) structuralism and of the factualization-principle of the Pozna school. (shrink)

L. J. Cohen has presented an understanding of appraising argument strength which applies to a variety of types of defeasible reasoning. This method can be used to explicate how a body of information may back a warrant and to rank different bodies of evidence on strength of backing. We shall argue that this method allows backing warrants objectively, whether they are inductive warrants backed by observation or moral warrants backed in part a priori. The method also suggests where arguments employing (...) these warrants may be vulnerable to bias bias but need not be infected by it. (shrink)