This workshop is organized by the Centre for Logic and Philosophy of Science (CLWF) of Brussels University (VUB), together with its partners in the Bilateral Scientific and Technological Cooperation Project BIL01/80 funded by the Science, Innovation and Media Department of the Ministry of the Flemish Community (Belgium) and by the State Committee for Scientific Research of the Republic of Poland.
The partners in this project are: Centre for Logic and Philosophy of Science (Ghent University), the Chair of Logic and Philosophy of Science (University of Zielona Góra) and the Group of Logic and Cognitive Science (N. Copernicus University Torún).
Traditionally, the role and function of logic with respect to science is mainly seen as related to the organization of knowledge in theories, and to the inference of predictions from theories together with observational data. During the last thirty years or so, awareness has grown that this view is extremely one-sided.
In the philosophy of science, attention has gradually shifted from products to processes. This led, for example, to the study of discovery processes and other problem solving processes. It also led to many contributions on the process of explanation. The forms of reasoning that occur in such processes impose novel requirements on logic.
In view of this, the traditional approach to logic needs to be supplemented with new viewpoints as well as with new instruments. Moreover, according to many, classical logic has to be replaced in the present context. The traditional study of abstract relations and properties, such as derivability and theoremhood, or semantic consequence and validity, is typically product-oriented and has nearly nothing to offer for the understanding of the aforementioned reasoning processes.
Even available results on computational matters are not of much use in this respect. One needs to articulate logical procedures that are suitable for explicating actual human reasoning. Evidently, this articulation has to be precise, and the procedures have to be philosophically justified and have to be carefully studied in metatheoretic terms. However, the metatheoretic properties and techniques may heavily differ from the traditional ones. For example, many such procedures do not strictly fit into the traditional definition of a proof.
This situation was one source of inspiration for the co-operation project of which the present congress is an activity. A further source of inspiration was the great promise of adaptive logics and erotetic logics (and of their combination) for capturing dynamic aspects of reasoning that are beyond the reach of the traditional approach to logic.
Although the four co-operating research groups have a clear and heavy programme, they are convinced that their research will be richer and more mature by the confrontation that this congress may provide. For this reason, members of other research groups are invited to present alternative approaches and to point out problems. It is neither required nor expected that contributions are formal in nature. The floor will be available for philosophers of science and historians of science as well as for logicians that favour alternative roads.
Programme
DAY 1
Thursday 8 May 2003 - D.2.01 ("Promotiezaal"); beamer available
9.30-10.00 WELCOME
10.00-10.15 OPENING SPEECH
10.15-12.15 MORNING SESSION (chair: Jean Paul Van Bendegem)
10.15-10.55 Jacek Malinowski (Torún) Presupposition and Logical Entailment
10.55-11.35 Leen De Vreese & Erik Weber (Ghent) Adaptive Question Logics for Singular Causal Explanation
11.35-12.15 Mariusz Urbanski (Zielona Góra) Computing Abduction with Socratic Proofs
12.15-13.45 LUNCH
13.45-15.45 FIRST AFTERNOON SESSION (chair: Andrzej Wisniewski)
13.45-14.25 Lieven Haesaert (Ghent) Localising Problems in the Inconsisent Background Knowledge
14.25-15.05 László Pólos & Michael Hannan (Stanford) A Model-Theoretic Approach to Theories in Flux
15.05-15.45 Jean Paul Van Bendegem (Brussels) No Proofs without Methods
15.45-16.15 COFFEE BREAK
16.15-17.35 SECOND AFTERNOON SESSION (chair: Bart Van Kerkhove)
16.15-16.55 Guido Vanackere (Ghent) Communication-Adaptive Logic. A Most Intuitive Lower Limit Logic
16.55-17.35 Maciej Witek (Zielona Góra) Consistency of an Irrealist Conception of a Truth-Talk
17.35-18.15 Jerzy Perzanowski (Torún) First Steps Towards Monadologic
17.35 END
DAY 2
Friday 9 May 2003 - M.429 ("Zaal Walter De Brock"); beamer unavailable
9.45-10.15 COFFEE
10.15-12.15 MORNING SESSION (chair: Dirk Batens)
10.15-10.55 Andrzej Wisniewski (Zielona Góra) Erotetic Search Scenarios and Deduction
10.55-11.35 Dagmar Provijn (Ghent) A Reconstruction of Signed Systems for Paraconsistent Reasoning within the Adaptive Logic Program
11.35-12.15 Sonja Smets (Brussels) Quantum Modality for Superpositions
12.15-13.45 LUNCH
13.45-15.45 FIRST AFTERNOON SESSION (chair: Wojciech Sady)
13.45-14.25 Kristof Declercq & Rob Vanderbeken (Ghent) Questions, Answers and Contexts
14.25-15.05 M. Carmen Hernández-Martín (Seville) Constructive reasoning and the old Greek analysis: Archimedes' research of the volume of the sphere
15.05-15.45 Marek Nasieniewski (Torún) A Comparison of Two Adaptive Logics Built on the Logic D2
15.45-16.15 COFFEE BREAK
16.15-18.15 SECOND AFTERNOON SESSION (chair: Erik Weber)
16.15-16.55 Alex Klijn (Ghent) Learning to Prove: An Adaptive Approach
16.55-17.35 Bart Van Kerkhove & Sonja Smets (Brussels) SWOTs of Category Theory in the Foundations of Mathematics
17.35-18.15 Roman Murawski (Poznan) Kant's and Leibniz's Philosophical Ideas and the Development of Hilbert's Programme
18.15 BREAK
19.30 CONFERENCE DINNER
DAY 3
Saturday 10 May 2003 - D.2.01 ("Promotiezaal"); beamer available
9.45-10.15 COFFEE
10.15-12.15 MORNING SESSION (chair: Jacek Malinowski)
10.15-10.55 Diderik Batens (Ghent) The Basic Inductive Schema and Its Relation to Falsification, Compatibility, and Conjecture
10.55-11.35 Adam Grobler (Zielona Góra) The Concept of Knowledge and Erotetic Implication
11.35-12.15 Isabel D'hanis (Ghent) Conceptual Change in 17th and 18th century Aether Theories
12.15-13.45 LUNCH
13.45-15.45 FIRST AFTERNOON SESSION (chair: Adam Grobler)
13.45-14.25 Tim De Mey (Ghent) Harvey's Quantitative Argument as a "Platonic" Thought Experiment
14.25-15.05 Patrick Allo (Brussels) An Adaptive Logic for Presumptive Truth
15.05-15.45 Liza Verhoeven (Ghent) Should Questions Be Relevant?
15.45-16.15 COFFEE BREAK
16.15-17.35 SECOND AFTERNOON SESSION (chair: Sonja Smets)
16.15-16.55 Wojciech Sady (Zielona Góra) The Nature of Scientific Investigations
16.55-17.35 Erik Weber & Lieven Haesaert (Ghent) Theory Construction and Adaptive Logics
17.35 END
Organisation
- Congress Chair: Jean Paul Van Bendegem
- Organizing Committee: Diderik Batens, Adam Grobler, Joke Meheus, Jerzy Perzanowski, Jean Paul Van Bendegem, Erik Weber, Andrzej Wisniewski
- Local Organizing Committee: Sonja Smets, Jean Paul Van Bendegem, Bart Van Kerkhove