This volume takes a reflective position with respect to the conference
series "Foundations of the Formal Sciences" (FotFS) and asks:
* What are the Formal Sciences?
* Can we develop a theoretical classification of the sciences that
juxtaposes the formal sciences to the natural sciences, social sciences,
and humanities? Can we do this solely by identifying common methodological
features?
* Can we identify changes of the notion of formal sciences over time?
How were the areas that we now conceived as the "Foundations of the Formal
Sciences" classified throughout history?

Investigating the...

Paraconsistent logics are logics which allow solid deductive
reasoning under contradictions by offering a mathematical and
philosophical support to contradictory yet non-trivial theories.

Due to its role in models of scientific reasoning and to its
philosophical implications, as well as to its connections to
topics such as abduction, automated reasoning, logic programming,
and belief revision, paraconsistency has becoming a fast growing
area.

During the III World Congress on
Paraconsistency (WCP3) held in Toulouse, France, in July, 2003, it became apparent that there is a need for...