This book is an introduction, entirely by example, to the possibilities of using computer models as tools in phosophical research in general and in philosophical logic in particular. Topics include chaos, fractals, and the semantics of paradox; epistemic dynamics; fractal images of formal systems; the evolution of generosity; real-valued game theory; and computation and undecidability in the spatialized Prisoner's Dilemma.

Formal systems are standardly envisaged in terms of a grammar specifying well-formed formulae together with a set of axioms and rules. Derivations are ordered lists of formulae each of which is either an axiom or is generated from earlier items on the list by means of the rules of the system; the theorems of a formal system are simply those formulae for which there are derivations. Here we outline a set of alternative and explicitly visual ways of envisaging and analyzing (...) at least simple formal systems using fractal patterns of infinite depth. Progressively deeper dimensions of such a fractal can be used to map increasingly complex wffs or increasingly complex 'value spaces', with tautologies, contradictions, and various forms of contingency coded in terms of color. This and related approaches, it turns out, offer not only visually immediate and geometrically intriguing representations of formal systems as a whole but also promising formal links (1) between standard systems and classical patterns in fractal geometry, (2) between quite different kinds of value spaces in classical and infinite-valued logics, and (3) between cellular automata and logic. It is hoped that pattern analysis of this kind may open possibilities for a geometrical approach to further questions within logic and metalogic. (shrink)

Le propos de cette étude est d’explorer l’interface entre religion traditionnelle africaine et christianisme à l’aide d’une catégorie particulière de sources: les témoignages oraux d’un groupe de femmes chrétiennes de Sobantu, un township sud-africain. Peut-on adhérer à la religion chrétienne sans trahir son identité africaine? Souvent, mais pas toujours, en référence à la position de leur Église respective, chacune de ces femmes se forme une opinion sur cette question difficile.

Is there truth in history? Historians are commonly expected to produce ‘facts’ and to be ‘objective’. If they teach the history of Christianity, their audience sees in them the depositors of the ‘truth’ on the history of church. Showing the contradictions of the church’s discourse in the past and highlighting the essentially transient nature of church doctrine are perceived as a threat. Yet, our knowledge of the Christian past is provisional and limited. It depends on the quality of the historical (...) sources at our disposal. Consciously or not, it is always the result of a process of knowledge construction. The aim of this article is to explore the triple challenge – pedagogical, pastoral and intellectual – that researchers in history of Christianity face in the exercise of their profession. Historians trained in the tradition of historical criticism consider that an historical narrative can claim a certain degree of approximation of the truth if the documents on which it is based pass the test of authenticity, reliability and validity. Without necessarily denying that truth exists somehow and somewhere, postmodern historians – and this also applies to Christian history – insist that any form of historical knowledge is constructed and that all approaches to truth are situated in terms of period, geographical location, social environment, class, gender, age and race. The study of history of Christianity brings discomfort. But in the end, one gains from confronting the critical challenges of the discipline. Faith will come out stronger if it faces the reality of the human condition. (shrink)

The 13 papers in this proceedings are from the 2004 Texas Linguistics Society Conference, held March 5-7, 2004 at the University of Texas at Austin. The theme of the conference was ¿Issues at the semantics-pragmatics interface.¿.

The goal of philosophy of information is to understand what information is, how it operates, and how to put it to work. But unlike ‘information’ in the technical sense of information theory, what we are interested in is meaningful information. To understand the nature and dynamics of information in this sense we have to understand meaning. What we offer here are simple computational models that show emergence of meaning and information transfer in randomized arrays of neural nets. These we take (...) to be formal instantiations of a tradition of theories of meaning as use. What they offer, we propose, is a glimpse into the origin and dynamics of at least simple forms of meaning and information transfer as properties inherent in behavioral coordination across a community. (shrink)

Zeno's paradoxes of motion and the semantic paradoxes of the Liar have long been thought to have metaphorical affinities. There are, in fact, isomorphisms between variations of Zeno's paradoxes and variations of the Liar paradox in infinite-valued logic. Representing these paradoxes in dynamical systems theory reveals fractal images and provides other geometric ways of visualizing and conceptualizing the paradoxes.

This article advances the first semantics that is neither for nor against a default implicational link between the progressive and perfective forms, when it comes to solving the imperfective paradox. Depending on the doxastic context of its use, we contend that the progressive form sometimes allows and sometimes does not allow the inference of the corresponding simple form. In other words, the preparatory phase of an event might or might not be believed to lead to its culmination. Indeed, the context (...) can put constraints on beliefs about the time of the culmination and whether or not it allows this inference to be made. From a formal perspective, this new solution to the imperfective paradox combines a specific modal approach with an event-structure analysis originating in event semantics. Finally, this approach solves the associated difficulties that have plagued the most well-known theories in this field. (shrink)