| Vol-112 © 2004 for the individual papersby the papers' authors. Copying permitted for private and scientific purposes.Re-publication of material on this page requires permission by the copyrightowners.

# WSPI '04
First International Workshop on
Philosophy and Informatics

### Proceedings of the First International Workshop on
Philosophy and Informatics
Cologne (Germany), March 31 - April 1, 2004.

Edited by

### Gregor Büchel *
Bertin Klein #
Thomas Roth-Berghofer +

* Fachhochschule Köln, Betzdorfer Str.2, 50679 Köln, Germany
# DFKI GmbH, Postfach 2080, 67608 Kaiserslautern, Germany
+ Technische Universität Kaiserslautern / DFKI GmbH, 67663 Kaiserslautern, Germany

## Table of Contents

### Full papers

1. Analyzing Knowledge Management Systems: A Veritistic Approach
   Palash Bera, Patrick Rysiew
2. Grounding Knowledge of Engineering Applications in Systematic Terms
   Ying Liu, Jin Yu
3. Self-Referencing Languages Revisited
   Gábor Rédey, Attila Neumann
4. Logic, Neuroscience and Phenomenology: In Cahoots?
   Ahti-Veikko Pietarinen
5. Spinoza's Ontology
   Jan Hladik
6. Reconcile Art and Culture on the Web
   Francis Rousseaux, Alain Bonardi
7. Knowledge Relativity
   Oliver Hoffmann
8. The Conceptual Model, Metapattern, in Knowledge Management and the Conceptual Meaning of Contragrammar
   John D. Haynes, Pieter Wisse
9. Transparente Schichten - Perspektiven der Informatisierung des Wissens
   Gerhard Gamm, Stephan Körnig
10. Ontology: The Discipline and the Tool
    Doug Mayhew, Dirk Siebert
11. Using Philosophy to Improve the Coherence and Interoperability of Applications Ontologies: A Field Report on the Collaboration of IFOMIS and L&C
    Jonathan Simon, Matthew Fielding, Barry Smith
12. A Critical Analysis of the Husserlian Phenomenology in IS Research and IS Development: The Case of Soft Systems Methodology
    Stephen K. Probert
13. A Formal Theory of Conceptual Modeling Universals
    Giancarlo Guizzardi, Gerd Wagner, Marten van Sinderen
14. Philosophical Issues in Computer Science
    Ralph Kopperman, Steve Matthews, Homeira Pajoohesh
15. When the Artifact and AI met Philosophy: a False Comparison towards the Human Intelligence
    Angelica Vassilopoulou

### Statements of interest

1. Is Bayesian inversion a model for searching the truth?
   Wolfgang Jacoby
2. Epistemic Logic and Knowledge Management
   Marcus Spies

submitted by Thomas Roth-Berghofer, 29-Sep-2004
replaced a wrong paper version, Thomas Roth-Berghofer, 14-Dec-2004