The central purpose of this paper is to sketch the logic of being a democrat. That is, what is involved in being a democrat will be defined and delineated. I shall proceed by first examining Richard Wollheim's alleged paradox of democratic theory. Wollheim's solution to the paradox will then be shown to be unsatisfactory. Next, the concept of being a democrat will be clarified. The stage will then be set for showing that Wollheim's alleged paradox of democratic theory dissolves upon (...) discerning what a democrat qua democrat is committed to believe. In the process of clarifying what is involved in being a democrat and dissolving the alleged paradox of democratic theory, it will become evident that one popular argument often levelled against resistance to democratic law is without foundation. This is the argument that any democrat who conscientiously disobeys valid democratic law is necessarily behaving inconsistently with his democratic principles; and, therefore, if someone does conscientiously disobey valid democratic law, it proves he is not ‘really’ a democrat after all. (shrink)

The central purpose of the paper is to elucidate the inalienable rights thesis, I.E. That there is at least one inalienable right. Various senses of 'natural right' and 'inalienable' are analyzed so as to further clarify what is or could be the meaning and the truth of that thesis. A widespread confusion between the meaning of the terms 'inalienable natural right' and 'indefeasible natural right' is dispelled. It is concluded that present thinking about inalienable natural rights does not reveal precisely (...) why and in what sense there is such a right. A successful defense of the inalienable rights thesis is suggested. (shrink)

Mathematical proofs generally allow for various levels of detail and conciseness, such that they can be adapted for a particular audience or purpose. Using automated reasoning approaches for teaching proof construction in mathematics presupposes that the step size of proofs in such a system is appropriate within the teaching context. This work proposes a framework that supports the granularity analysis of mathematical proofs, to be used in the automated assessment of students' proof attempts and for the presentation of hints and (...) solutions at a suitable pace. Models for granularity are represented by classifiers, which can be generated by hand or inferred from a corpus of sample judgments via machine-learning techniques. This latter procedure is studied by modeling granularity judgments from four experts. The results provide support for the granularity of assertion-level proofs but also illustrate a degree of subjectivity in assessing step size. (shrink)

Rigorous formal proof is one of the key techniques in the natural sciences, engineering, and of course also in the formal sciences. Progress in automated reasoning increasingly enables computer systems to support, and even teach, users to conduct formal a.

The central purpose of this paper is to examine the case for political authority, i.e., the argument for having political authority rather than for having none. Thus, the case for political authority is the case against anarchism. My construction of that case owes much, no doubt, to observations made long ago by Thomas Hobbes and john locke. Nevertheless, these observations have never been stated in a satisfactory and systematic fashion, not even by Hobbes and locke themselves. Hobbes’ observations have, more (...) often than not, been misunderstood, and those of locke have generally been overlooked. However, this paper is not intended to be an exercise in the history of political philosophy. Rather, it is an assessment of a philosophical thesis, namely, that political authority is essential to man's survival and well-being. Although this thesis is rarely contested and, in fact, borders on the commonplace, it is contestable. Moreover, since disenchantment with authority and how it is exercised is growing, an examination of how men are likely to fare in its absence is appropriate. Such an examination is complex, but it is not impossible. (shrink)