9 - 11 April 2001
Ghent University
Department of Philosophy
Blandijnberg 2
B-9000 Ghent
Belgium
Program.
Last update: 09-04-2001
GENERAL INFORMATION:
This workshop is organized by the Centre for Logic and Philosophy of Science, Ghent University, as part of the bilateral cooperation Flanders-Poland (Flanders Community project BIL 98/73).
Program Committee: Diderik Batens (University of Ghent, Belgium), Jerzy Perzanowski (Copernicus University Torun, Poland), Jean Paul Van Bendegem (Free Univerity Brussels, Belgium).
REGISTRATION FEE
1000 BEF (including coffee and conference dinner)
200 BEF (including coffee)
WORKSHOP FORMAT:
The workshop will mainly consist of presentations by the scolars involved in the program. However, there will also be a selection of submitted presentations. All lectures will be plenary.
WORKSHOP FOCUS:
The aim of the project is to elaborate the foundations of paraconsistency, both from a logical and an epistemological point of view. With the advent of paraconsistent logics and inconsistent mathematical systems, there is a strong need to embed these in a broader framework. Elaborating the ontological framework will greatly facilate the study of paraconsistent logics and inconsistent mathematical systems. Expressed in technical terms, the project aims at the articulation of deep-structural semantical systems from which the usual models for paraconsistent logics and paraconsistent mathematics may be derived. These deep-structural systems should be at the level of mereology, causal logic, and the calculus of names. (This endeavor is in the line of Leo Apostel's ontological approach to logic.)
The main focus of the workshop is philosophical and foundational: it
concerns scientific and every-day knowledge in general, including the understanding
of creative processes connected to problems with inconsistent constraints
(from the history of sciences), and logic, mathematics, and artificial
intelligence in particular. In particular the second workshop will focus
on elaboration of deep-structural systems for the present paraconsistent
and inconsistency-adaptive logics and for inconsistent
mathematical systems. The known applications to the history of sciences,
to epistemology and to artificial intelligence will be taken into account.
(The first workshop was organized in Torun, Poland, October 1999.)
(The second workshop was organized in Ghent, Belgium, April 2000.)
(The third workshop was organized in Brussels, Belgium, October 2000.)