|
Problem Solving
in the Sciences:
Adaptive and Interrogative Perspectives International Workshop Thursday 8 - Saturday 10 May, 2003 Brussels University (VUB), Belgium  a
selection of pictures by Jacek Malinowski (1,4 Mb zip) |
|
| Flemish-Polish Cooperation Project |
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). |
| Declaration of Intent | 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. |
| Committees | 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 |
| Program | 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 |
| Registration | All participants who are not
official members of the cooperation project are begged to register
by sending an e-mail to clwf@vub.ac.be.
This e-mail must contain: name and surname, affiliation, address.
A registration fee of 50 EURO has to be paid (in cash, no credit cards)
upon arrival, except by members of either one of the organizing research
groups. |
| Accomodation | VlaPoLo7 only provides accomodation
for participants from Torún or Zielona Góra. To book
a hotel in Brussels, you can, e.g., proceed via Brussels
2001, E
Brussels Hotels or Book
a Hotel in Brussels. If you experience any difficulties, we shall
gladly give some assistance. |
| Getting there | The workshop site is a ten
minute walk away from the nearest subway station, called "Pétillon".
Click here
for a description of the various routes to the university campus,
either by car or public transport.. |
| Proceedings | A selection of the papers
will be published as a special issue of an international journal.
A standard refereeing process will apply. |
| Previous Workshops | VlaPoLo1: 1st Flemish-Polish
Workshop on the Ontological Foundations of Paraconsistency, Torún,
28-30 October, 1999. VlaPoLo2: 2nd Flemish-Polish Workshop on The Ontological Foundations Of Paraconsistency, Ghent, 27-29 April, 2000. VlaPoLo3: 3rd Flemish-Polish Workshop on the Ontological Foundations of Paraconsistency, Brussels, 12-14 October, 2000. VlaPoLo4: 4th Flemish-Polish Workshop on The Ontological Foundations Of Paraconsistency, Ghent, 9-11 April, 2001. VlaPoLo5: Flemish-Polish Workshop on Adaptive and Erotetic Logics and their Application to the Philosophy of Science, Zielona Góra, 14-18 November, 2001. VlaPoLo6: The Dynamics of Reasoning in the Sciences: Adaptive and Interrogative Perspectives, Ghent, 17-19 October, 2002. |
| Contact Address | VlaPoLo7 c/o Centre for Logic and Philosophy of Science (CLWF) Brussels University (VUB) Pleinlaan 2 - Room 5B425 B-1050 Brussels, Belgium Phone: +32-2-629-2784 or 2592 Fax: +32-2-629-2374 clwf@vub.ac.be |