This paper concerns the paraconsistent logic LPQ⊃,F and an application of it in the area of relational database theory. The notions of a relational database, a query applicable to a relational database, and a consistent answer to a query with respect to a possibly inconsistent relational database are considered from the perspective of this logic. This perspective enables among other things the definition of a consistent answer to a query with respect to a possibly inconsistent database without resort to database (...) repairs. In an earlier paper, LPQ⊃,F is presented with a sequent-style natural deduction proof system. In this paper, a sequent calculus proof system is presented instead because such proof systems are generally considered more suitable as the basis of proof search procedures than natural deduction proof systems and proof search procedures can serve as the core of algorithms for computing consistent answers to queries. (shrink)

The Natuurkundig Genootschap der Dames , formally established by and for women, met regularly from 1785 to 1881 and sporadically until 1887. It challenges our stereotypes both of women and the physical sciences during the eighteenth century and of the intellectual interests open to women in the early European republics. This essay aims not simply to identify the society and its members but to describe their pursuits and consider what their story adds to the history of Western science. What does (...) this society’s existence tell us about the relationship between women and early science in general and about science and society in the Dutch setting in particular? Science and gender look rather different when observed through the activities of the immensely prosperous women of Middelburg, citizens of one of the most highly literate Western countries. The elite lives of the first‐generation members of the women’s society also offer us a glimpse into the early domestication of science, a process vital to its acceptance and assimilation. (shrink)

De Interpretatione is among Aristotle's most influential and widely read writings; C. W. A. Whitaker presents the first systematic study of this work, and offers a radical new view of its aims, its structure, and its place in Aristotle's system. He shows that De Interpretatione is not a disjointed essay on ill-connected subjects, as traditionally thought, but a highly organized and systematic treatise on logic, argument, and dialectic.

An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.

An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.

In his thesis Para uma Teoria Geral dos Homomorfismos (1944), the Portuguese mathematician José Sebastião e Silva constructed an abstract or generalized Galois theory, that is intimately linked to F. Klein’s Erlangen Program and that foreshadows some notions and results of today’s model theory; an analogous theory was independently worked out by M. Krasner in 1938. In this paper, we present a version of the theory making use of tools which were not at Silva’s disposal. At the same time, we (...) tried to keep in mind, so much as possible, the gist of his standpoint. (shrink)

We apply the recently elaborated notions of ‘pragmatic truth’ and ‘pragmatic probability’ to the problem of the construction of a logic of inductive inference. It is argued that the system outlined here is able to overcome many of the objections usually levelled against such attempts. We claim, furthermore, that our view captures the essentially cumulative nature of science and allows us to explain why it is indeed reasonable to accept and believe in the conclusions reached by inductive inference.

We apply the recently elaborated notions of 'pragmatic truth' and 'pragmatic probability' to the problem of the construction of a logic of inductive inference. It is argued that the system outlined here is able to overcome many of the objections usually levelled against such attempts. We claim, furthermore, that our view captures the essentially cumulative nature of science and allows us to explain why it is indeed reasonable to accept and believe in the conclusions reached by inductive inference.

Civilizational analysis has not concerned itself too greatly with the historical experiences of the American New World. There are good reasons to correct this position and Shmuel Eisenstadt’s principal work on America’s distinct modernities goes some way to establishing the colonization of the Atlantic world as an opening phase of modernity. Nonetheless, a more far-reaching analysis of the distinctiveness of diverse American societies can be developed that goes beyond the image of a Protestant North America contrasted with southern Latin cultures. (...) This article outlines the basis for a more nuanced approach in three steps: a focus on intercivilizational engagement, examination of civilizational factors neglected by Eisenstadt and reconsideration of the conceptual range of the notion of ‘civilization’ itself. The archetype of two Americas is replaced by a model of four with some consideration given to indigenous civilizations as a fifth America. (shrink)

Scholars of modernity have taken a particular interest in processes of urbanization and—thinking of Simmel, Benjamin, Mumford and Weber—the character of different varieties of city. From a different angle, notions of urban imaginary have gained greater purchase in the field of contemporary urban studies in comparative analysis of varieties of city. This essay begins with notes on both classical accounts of the city in social theory and current concepts of urban imaginaries. The notes revolve around the essay’s main topic: the (...) institution of cities of New World, specifically those of the United States and Canada. Paralleling Castoriadis’ conception of the imaginary institution, the present author argues for a more exact notion of metropolitan imaginaries, differentiated from the broader subject of urban imaginaries. ‘Metropolitan imaginaries’ denotes processes of urbanization at the heart of networks of migration, transport, and flows of capital and culture. As part of larger imaginaries, metropolises generate immigrant cities. The specific kind of creation in question produces creativity also by concentrating intellectual and creative schools of design in architecture and visual culture. In sum, metropolises are not merely part of networks of connection and creation; they produce networks and act as the hubs of interaction and creativity within larger social imaginaries. The essay explores this argument in the contexts of US and Canadian modernity and state formation, with specific foci on New York, Chicago, and Toronto. The conclusion notes two limitations to the case presented here and sketches planned directions for future research. (shrink)

We formulate Suppes predicates for various kinds of space-time: classical Euclidean, Minkowski's, and that of General Relativity. Starting with topological properties, these continua are mathematically constructed with the help of a basic algebra of events; this algebra constitutes a kind of mereology, in the sense of Lesniewski. There are several alternative, possible constructions, depending, for instance, on the use of the common field of reals or of a non-Archimedian field (with infinitesimals). Our approach was inspired by the work of Whitehead (...) (1919), though our philosophical stance is completely different from his. The structures obtained are idealized constructs underlying extant, physical space-time. (shrink)

An improvement on Horwich's so-called "pseudo-proof" of Russell's principle of induction is offered, which, we believe, avoids certain objections to the former. Although strictly independent of our other work in this area, a connection can be made and in the final section we comment on this and certain questions regarding rationality, etc.

Thomas Hobbes was the first great philosopher to write in English. His account of the human condition, first developed in The Elements of Law, which comprises Human Nature and De Corpore Politico, is a direct product of the intellectual and political strife of the seventeenth century. It is also a remarkably penetrating look at human nature, and a permanently relevant analysis of the fears and self-seeking that result in the war of `each against every man'. In The Elements of Law (...) Hobbes memorably sets out both the main lines of his general philosophy, later augmented in De Corpore, and the moral and political philosophy later made famous in Leviathan. Copies of Human Nature and De Corpore Politico, until 1889 printed as separate works, are rare antiques or scarcely less rare scholarly texts; this is the first complete popular edition. It is here supplemented by chapters from De Corpore and Three Lives, two from Hobbes's original Latin. These have never before been published together in English. (shrink)

Johann Arnason’s exploration of the historical constellation of East Asia has helped reproblematize the conceptual framework of modernity and civilization. This article outlines Arnason’s innovations in civilizational analysis and social theory in the field of comparative studies of Japan. It sets out the terms on which a nuanced elaboration of Arnason’s framework could occur. Two areas warrant closer attention: state formation and the institution of capitalism. It is argued that there are signs of what might be termed a ‘tertiary’ phase (...) of state formation, implicit in Arnason’s discussion of advanced modernity. Moreover, this phase brought Japan into close contact with the newly unfolding context of the West’s civilizational imaginary, particularly in its ideological expressions of evolutionism. The article ends on the problematic of capitalism, raising questions about further potential theoretical developments based on Arnason’s conclusions and other inventive studies of Japanese capitalism. (shrink)

This volume contains the selected discourses of four seventeenth-century philosophers, carefully chosen to illustrate the tenets characteristic of the influential movement known as Cambridge Platonism. Fundamental to their beliefs is the statement most clearly voiced by Benjamin Whichcote, their leader by common consent, that the spiritual is not opposed to the rational, nor Grace to nature. Religion is based on reason, even in the presence of 'mystery'. Free will and Grace are not mutually exclusive. The editor's comprehensive introduction delineates the (...) main principles of the Cambridge Platonists, in the light of their heritage. It compares their attitude to contemporary thought, stressing their mistrust both of institutionalised religion and of the rising tide of materialism. The sermons are reprinted from the original texts and fully annotated with comparisons and references to a wide range of works. The editor also includes a useful list for further reading, biographical notes and a comprehensive index. (shrink)

Our trust in the word of others is often dismissed as unworthy, because the illusory ideal of "autonomous knowledge" has prevailed in the debate about the nature of knowledge. Yet we are profoundly dependent on others for a vast amount of what any of us claim to know. Coady explores the nature of testimony in order to show how it might be justified as a source of knowledge, and uses the insights that he has developed to challenge certain widespread assumptions (...) in the areas of history, law, mathematics, and psychology. (shrink)

R. S. Peters, C. A. Mace; VII—Emotions and the Category of Passivity, Proceedings of the Aristotelian Society, Volume 62, Issue 1, 1 June 1962, Pages 117–142, h.

In this volume C.A. (Chet) Bowers, whose pioneering work on education and environmental and sustainability issues is widely recognized and respected around the world, brings together a carefully curated selection of his seminal work on the ideological, cultural, and linguistic roots of the ecological crisis; misconceptions underlying modern consciousness; the cultural commons; a critique of technology; and educational reforms to address these pressing concerns. In the World Library of Educationalists, international scholars themselves compile career-long collections of what they judge to (...) be their finest pieces - extracts from books, key articles, salient research findings, major theoretical and/practical contributions - so the world can read them in a single manageable volume. Readers will be able to follow the themes and strands of their work and see their contribution to the development of a field, as well as the development of the field itself. Contributors to the series include : Michael Apple, James A. Banks, Joel Spring, William F. Pinar, Stephen J. Ball, Elliot Eisner, Howard Gardner, John Gilbert, Ivor F. Goodson, Peter Jarvis. (shrink)

The ‘beautiful axiom’ to which Dickens refers is a central feature of Thomas Hobbes' thinking but its precise role in his moral philosophy remains unclear. I shall here attempt both to dispel the unclarity and to evaluate the adequacy of the position that emerges. Given the high level of contemporary interest in Hobbes' thought, both within and beyond philosophical circles, this is an enterprise of considerable importance. None the less, my interest is not merely interpretative, since the assessment of Hobbes' (...) attitude to ‘the beautiful axiom’ raises important and difficult questions about what might be termed the preconditions of morality. (shrink)

Peter Geach supports his case that the religion of Thomas Hobbes was both genuine and a version of Socinianism principally by comparing the theological and scriptural sections of Leviathan with the main doctrines of Socinianism and its latter-day developments in Unitarianism and Christadelphianism. He pays particular attention to comparisons with the Racovian Catechism, the theological writings of Joseph Priestley and the Christadelphian document Christendom Astray by Robert Roberts.

Political violence in the form of wars, insurgencies, terrorism and violent rebellion constitutes a major human challenge. C. A. J. Coady brings a philosophical and ethical perspective as he places the problems of war and political violence in the frame of reflective ethics. In this book, Coady re-examines a range of urgent problems pertinent to political violence against the background of a contemporary approach to just war thinking. The problems examined include: the right to make war and conduct war, terrorism, (...) revolution, humanitarianism, mercenary warriors, the ideal of peace and the right way to end war. Coady attempts to vindicate the contemporary relevance of the just war tradition to current problems without applying the tradition in a merely mechanical or uncritical fashion. (shrink)