This paper is both a survey and a review of the current state of the debate concerning verisimilitude. As a survey it is intended for the interested outsider who wants both easy access to and some comparison between the respective approaches. As a review it covers the first three books on the topic: those of Oddie. Niiniluoto and Kuipers.

Certain proximities between two distinguished but very dissimilar contemporaries, Quintilian and Tacitus, may be stated. Contemporary they were, though the former, born probably a little before A.D. 40, was older by about twenty years. Both were from outside Rome, Quintilian certainly of provincial, Spanish, origin, Tacitus very probably from one of the Galliae, yet both exemplars of Romanitas.

This book provides a synthesis of four versions of program semantic—srelational semantics, predicate transformer semantics, information systems, and domain theory—showing, through an exhaustive case study analysis, that it is possible to do back-and-forth translation from any of these versions of program semantics into any of the others, and demonstrating that while there are many variations of each, in principle they may be thought of as intertranslatable.

In relevance logic it has become commonplace to associate with each logic both an algebraic counterpart and a relational counterpart. The former comes from the Lindenbaum construction; the latter, called a model structure, is designed for semantical purposes. Knowing that they are related through the logic, we may enquire after the algebraic relationship between the algebra and the model structure. This paper offers a complete solution for the relevance logic R. Namely, R-algebras and R-model structures can be obtained from each (...) other, and represented in terms of each other, by application of power constructions. (shrink)

In this paper we give an example of intertranslatability between an ontology of individuals (nominalism), an ontology of properties (realism), and an ontology of facts (factualism). We demonstrate that these three ontologies are dual to each other, meaning that each ontology can be translated into, and recaptured from, each of the others. The aiin of the enterprise is to raise the possibility that, at least in some settings, there may be no need for considerations of ontological primacy. Whether the world (...) is made up of things, or properties, or facts, may be no more than a matter of how we look at it. (shrink)

This paper continues the power ordering approach to verisimilitude. We define a parameterized verisimilar ordering of theories in the finite propositional case, both semantically and syntactically. The syntactic definition leads to an algorithm for computing verisimilitude. Since the power ordering approach to verisimilitude can be translated into a standard notion of belief revision, the algorithm thereby also allows the computation of membership of a belief-revised theory.

Historically, it has often been maintained that some particular ontology is the right one. The hard core nominalist, for example, would claim that the world is made up of individual objects and nothing else. Likewise, the realist would stake a claim for properties, and the factualists for facts, as the real building-blocks of the world. In a softer version, each of the three protagonists acknowledge that there may be other things in the world, but still maintain that their own favourite (...) objects have ontological primacy – i.e. that these are the things that the world is in the first place made up of, and that such other objects as may exist can be reduced to them. In this paper I show that it is perfectly feasible that such reductionism may be circular. I provide an example of three ontologies, one nominalist, one realist and one factualist, such that, without any loss of generality, each can be translated into either of the others. The technical details have been published elsewhere. Here I will rely on metaphor, not mathematics. S. Afr. J. Philos. Vol.23(3) 2004: 226-243. (shrink)

This paper expands the notion of finite nondeterminism by allowing also cofinite nondeterminism. We characterise a class of programs and a class of predicates, such that each predicate is either finite or cofinite, and programs, when viewed as predicate transformers, preserve this distinction. So as not to be too closely tied to the specifics of any semantic approach, we require our relational model of programs to be translatable also into a predicate transformer model, as well as a Hoare-logical model, by (...) considerations of duality. This make for a well-behaved class of programs and predicates, albeit fairly restricted. One advantage of this approach is that we need not equate either nontermination or non-finite nondeterminism with chaos. (shrink)

Jacob Böhme (1575-1624) is one of the most important German thinkers. His writings have influenced literature, philosophy, religion and art beyond national borders from his time up to the present. One hundred years after the beginning of the Protestant Reformation - on the eve of the Thirty Years' War - Böhme wanted to give voice to the need for a deep spiritual and philosophical renewal. In a series of exhibitions - in Dresden, Coventry, Amsterdam, and Wrocław - the Dresden State (...) Art Collections recall this unconventional thinker, whose ideas about the relationship between science and belief, humanity and nature, woman and man are today more current than ever. Exhibition: Coventry Cathedral, UK (30.04. - 05.07.2019)"-- Back cover. (shrink)

In this paper I present a logical analysis of minorities and minority rights. I consider the question whether the classic social contract of a liberal democracy can be extended to include minorities without significant alteration to the accepted agreement between the individual and the state. S. Afr. J. Philos. Vol.24(3) 2005: 153-175.

Certain proximities between two distinguished but very dissimilar contemporaries, Quintilian and Tacitus, may be stated. Contemporary they were, though the former, born probably a little before A.D. 40, was older by about twenty years. Both were from outside Rome, Quintilian certainly of provincial, Spanish, origin, Tacitus very probably from one of the Galliae, yet both exemplars of Romanitas.

In a famous paper of 1931, Gödel proved that any formalization of elementary Arithmetic is incomplete, in the sense that it contains statements which are neither provable nor disprovable. Some two years before this, Presburger proved that a mutilated system of Arithmetic, employing only addition but not multiplication, is complete. This essay is partly an exposition of a system such as Presburger's, and partly an attempt to gain insight into the source of the incompleteness of Arithmetic, by linking Presburger's result (...) with Gödel's. Chapter 1, p. 1. (shrink)

In 1943 one of the authors of this paper set out a case for the view that the sixth book of Polybius' Histories contained two layers, written at different times, and indicating a change in the historian's assessment of the achievements and merits of the Roman hegemony. The arguments there put forward met with some acceptance; but the recent burst of interest in the problems of the sixth book has shown that unanimity is still remote. Among scholars writing since 1943, (...) one, G. B. Cardona, is a ‘separatist’ who accepts the views of De Sanctis; another, W. Theiler, believes that three ‘layers’ of composition can be detected and isolated; three, E. Mioni, H. Erbse, and H. Ryffel, are ‘Unitarians’, but vary in the date they assign to the composition of the Histories; and K. Ziegler in his R.E. article on Polybius argues for composition in the sixties followed by a revision and publication before 146. (shrink)

In 1943 one of the authors of this paper set out a case for the view that the sixth book of Polybius' Histories contained two layers, written at different times, and indicating a change in the historian's assessment of the achievements and merits of the Roman hegemony. The arguments there put forward met with some acceptance; but the recent burst of interest in the problems of the sixth book has shown that unanimity is still remote. Among scholars writing since 1943, (...) one, G. B. Cardona, is a ‘separatist’ who accepts the views of De Sanctis; another, W. Theiler, believes that three ‘layers’ of composition can be detected and isolated; three, E. Mioni, H. Erbse, and H. Ryffel, are ‘Unitarians’, but vary in the date they assign to the composition of the Histories; and K. Ziegler in his R.E. article on Polybius argues for composition in the sixties followed by a revision and publication before 146. (shrink)

_The Responsive University_ puts forward the proposition that the societal legitimacy of universities depends on whether and how they respond to societal challenges. This issue is exemplified in South Africa, one of the most unequal countries in the world.

At the 1960 International Congress of Logic, Methodology, and Philosophy of Science, and again in his books Conjectures and Refutations (1963) and Objective Knowledge (1972), Karl Popper proposed a formal definition of what it means for one scientific theory to be “closer to the truth” than another (see popper). Such a concept was a necessary ingredient in Popper's philosophy of science, in which all our scientific theories are not only false, but bound to be false. We can never, according to (...) Popper, arrive at the truth: a complete and adequate description of reality. (That such a reality exists, outside us, is the basic tenet of scientific realism.) Nonetheless, Popper holds, scientists do make progress ‐ namely, when they replace one false theory by another which, though still false, is closer to the truth, or, as we shall say, has greater verisimilitude. (shrink)