A major advantage of conceptual graphs is their ease of use in the graphical form. This paper is intended to present some general guidelines for building a suitable conceptual graph interface and the details of a particular implementation currently under development. The resulting software is to be completely integrated with the existing PEIRCE code, built to conform with the PEIRCE standards o...

We propose to reconsider abductive reasonning in the context of empirical reasonning, and to investigate its deep relations with constraint-based reasonning, a currently very success-full approach used in the problem-solving community. Abduction has been proposed in the rst years of this century by the logician and philosopher C. S. Peirce as a new inference mechanism for logical system along i...

The thesis of this book is that Löwenheim’s and Skolem’s work on what is now known as the downward Löwenheim–Skolem theorem developed directly from Schröder’s Algebra der Logik, which was itself an avowed elaboration of the work of the American logician Charles S. Peirce and his student O. H. Mitchell. We have been unable to detect any direct influence of Frege, Russell, or Hilbert on the devel...

ENTURY OF L IFE H APPY B IRTHDAY P AUL W EISS Paul Weiss, one of the great American philosophers of the twentieth century, celebrated his 100th birthday on 19 May. Peirceans worldwide are indebted to Paul for the crucial role he played in the 1930s in editing Peirce’s writings for the Harvard edition. The Collected Papers inaugurated Peirce scholarship, standing as the historical foundation for...

In this paper we investigate principles of the representation of time and modality in terms of conceptual graphs. Based on the works of A. N. Prior, and C. S. Peirce, we suggest a formalism that takes into account the notion of ‘Now’, as a starting point for developing a formalism that can account for comprehension of texts involving temporal descriptions. We analyze the temporal structure of t...

PEIRCE is a project aiming to build a state-of-the-art, industrial strength conceptual graphs workbench. PEIRCE is integrating the conceptual graphs development eeorts that are taking place around the world. There are already over 40 researchers from over 8 countries involved in the project. This paper describes the PEIRCE project and the structure for managing the distributed development of PE...

Peirce algebras combine sets, relations and various operations linking the two in a unifying setting. This paper offers a modal perspective on Peirce algebras. Using modal logic a characterization of the full Peirce algebras is given, as well as a finite axiomatization of their equational theory that uses so-called unorthodox derivation rules. In addition, the expressive power of Peirce algebra...

Este artículo se basa en el supuesto de que la semiótica C. S. Peirce hace falta lista ciencias componen ciencia cognitiva. Para dar munición a este supuesto, discute algunos temas capaces mostrar lo puede ofrecer cognitiva para contribuir superación controvertidos, así como desarrollo conceptos relevantes cognitiva, concepto cognición mismo y los conciencia, representación, pensamiento, etc. D...

What distinguishes abductive inference from other modes of inference? What distinguishes the different forms of abductive inference? These are perhaps the key questions that face the student of abduction, and the core of Lorenzo Magnani’s book is devoted to them. The book contains, among other things, a defence of several putative distinctions, and it touches on an impressively wide range of pe...