Bulletin No. 16

This bulletin was published in Synthese Volume 91 No. 1-2 (1992) 153-165, DOI 10.1007/BF00484974.



Executive Committee:

  • President: L. J. Cohen, The Queen's College, Oxford OX1 4AW, United Kingdom
  • First Vice-President: I. T. Frolov, Institute of Philosophy, Academy of Sciences of the USSR, Volkhonka 14, 119-842 Moscow, USSR
  • Second Vice-President: D. Van Dalen, Filosofisch Instituut, Rijksuniversiteit Utrecht, P.O. Box 80-103, 3508 TC Utrecht, The Netherlands
  • Secretary: R. Hilpinen, Department of Philosophy, University of Turku, SF-20500 Turku, Finland
  • Treasurer: H. Pfeiffer, Institute of Mathematics, University of Hannover, Welfengarten 1, D3000 Hannover, Germany
  • Past President: D. S. Scott, Department of Computer Science, Carnegie-Mellon University, Pittsburgh, Pennsylvania 15213, USA


  • M. L. Dalla Chiara, Universita Degli Studi di Firenze
  • C. A. Di Prisco, Instituto Venezolano de Investigaciones Cientificas
  • J. L. Krivine, Université Paris VII
  • M. Makkai, McGill University
  • G. Nerlich, University of Adelaide
  • D. Prawitz, University of Stockholm

Alternate Assessors:

  • G. Asser, Ernst-Moritz-Arndt University
  • T. Hosoi, Science University of Tokyo

Former Presidents:

  • S.C. Kleene, University of Wisconsin, Madison, Wisconsin 53706, USA
  • G. H. von Wright, Laivurinkatu 4, SF-00150 Helsinki, Finland
  • Yehoshua Bar-Hillel (deceased)
  • Stephan Körner, Belgrave Road, Bristol BS8 2AB, England
  • Andrzej Mostowski (deceased)
  • Jaakko Hintikka, Department of Philosophy, Boston University, Boston, Massachusetts 02215, USA
  • Patrick Suppes, Ventura Hall, Stanford University, California 94305, USA
  • Jerzy Łoś, Wiejska 9, Ap. 121, Warszawa 00-480, Poland

The Executive Committee of the Division is composed of the President, Vice-Presidents, Secretary, Treasurer and the immediate Past-President. The Council consists of the Executive Committee plus the Assessors.

(Uppsala, Sweden, 7-14 August 1991)

Local Organising Committee

  • Chairman: Dag Prawitz, Institute of Philosophy, University of Stockholm, S-106 91 Stockholm, Sweden
  • Congress Secretary: Dag Westerståhl, Department of Philosophy, University of Stockholm, S-106 91 Stockholm, Sweden
  • Martin Edman
  • Aant Elzinga
  • Peter Gärdenfors
  • Sten Lindström
  • Per Martin-Löf
  • Wlodzimierz Rabinowicz
  • Sören Stenlund
  • Viggo Stoltenberg-Hansen
  • Claes ~berg

Programme Committee

  • Chairman: Brian Skyrms, Department of Philosophy, University of California, Irvine, California 92717, USA
  • Margaret Boden (UK)
  • V. A. Lektorsky (USSR)
  • Graham Nerlich (Australia)
  • Dag Prawitz (Sweden)

Chairmen of Sectional Panels:

I. Logic

  • G. Takeuti (USA), Section 1: Proof Theory and Categorial Logic
  • A. Macintyre (UK), Section 2: Model Theory, Set Theory and Formal Systems
  • R. I. Soare (USA), Section 3: Recursion Theory and Constructivism
  • J. van Benthem (Netherlands), Section 4: Logic and Computer Science
  • K. Fine (USA), Section 5: Philosophical Logic

II. General Philosophy of Science

  • B. van Fraassen (USA), Section 6: Methodology
  • H. E. Kyburg (USA), Section 7: Probability, Induction and Decision Theory
  • C. Thiel (Germany), Section 8: History of Logic, Methodology and Philosophy of Science
  • R. Hailer (Austria), Section 9: Ethics of Science and Technology

III. Philosophical and Foundational Problems about the Sciences

  • P. Martin-Löf (Sweden), Section 10: Logic, Mathematics and Computer Science
  • A. Shimony (USA), Section 11: Physical Sciences
  • E. Sober (USA), Section 12: Biological Sciences
  • P. Gärdenfors (Sweden), Section 13: Cognitive Science and AI (including Computational Perspectives in Psychology)
  • T. Parsons (USA), Section 14: Linguistics
  • C. Glymour (USA), Section 15: Social Sciences (including Non-computational Psychology)

III. MINUTES OF THE GENERAL ASSEMBLY (Uppsala, Sweden, 11 August 1991)

(1) Delegates

The credentials committee (R. Hilpinen and H. Pfeiffer) reported that, in accordance with their mandate from the Executive Committee, they had verified the credentials of 20 delegations from ordinary members and two delegations from international member organisations. They were as follows. (The category of each ordinary member and the voting entitlement of each international member is indicated in parentheses.)

Ordinary Members:

  • Australia (B): G. Nerlich
  • Bulgaria (A): D. Ginev
  • China: Beijing (C): L.-H. Qiu
  • China: Taipei (B): S.-C. Liu
  • Czechoslovakia (A): L. Tondl
  • Denmark (B): D. Favrholt
  • Finland (B): I. Niiniluoto
  • France (D): J. Stern
  • Germany (D): C. Thiel
  • Ireland (A): P. O'Gorman
  • Italy (A): M. L. Dalla Chiara (5-12: D)
  • Japan (D): H. Kurosaki
  • Netherlands (C): D. van Dalen (5-12: B)
  • Norway (A): J. E. Fenstad
  • Poland (B): R. Wójcicki
  • Romania (A): A. Botez
  • Sweden (B): D. Prawitz (5-12: C)
  • U.S.S.R. (D): V. S. Stepin
  • U.K. (D): H. Mellor
  • U.S.A. (E): R. Giere

Ordinary members not present:

Austria (A), Belgium (A), Brazil (A), Canada (C), Greece (A), Hungary (A), India (A), Israel (A), Korea (A), Monaco (A), Peru (A), Spain (B), Switzerland (A), Venezuela (A), and Yugoslavia (A).

International Members:

  • Association for Symbolic Logic (10): M. Lerman,
  • International Association for Philosophy of Science (10): G. Hunt

(2) Minutes of the Previous General Assembly

The President stated that the draft minutes of the last General Assembly were published in Synthese 76 (1988), pp. 455-61, and in Studia Logica 47(4) (December 1988). The minutes were then agreed and adopted.

(3) New Members

On the recommendation of the Executive Committee, the General Assembly accepted the International Academy of Philosophy of Science as an International Member, with one vote in the General Assembly.

(4) Reclassification and Termination of Members

On the recommendation of the Executive Committee and the application of the member in question, it was agreed to reclassify Italy (A) in category D, The Netherlands (C) in category B, and Sweden (B) in category C.

It was agreed to terminate the membership of Greece on the ground of the failure to pay the dues for three consecutive years.

It was agreed to terminate the membership of Brazil as of the beginning of 1992, unless Brazil pays the dues for 1991 before the end of this year.

(5) President's Report

I am happy to be able to report that the Division has had another successful four-year period of activity. The details will be given to you by the Secretary and Treasurer in their own reports. I myself would just like to take this opportunity of stressing how much the Division owes to the energy, efficiency and dedication that those Officers have displayed. It has been a pleasure to work with them. I do not foresee any immediate need for substantial changes in the way in which the Division operates, though we should do well to continue looking for ways in which to expand our membership and the range of our scholarly and scientific activities, while keeping our administrative costs to the minimum.

(6) Secretary's Report

Scholarly Activities of the Division

The main activities of the Division have been the organisation and sponsorship of scholarly meetings and the publication of their proceedings. The Proceedings of the previous Congress, Logic, Methodology and Philosophy of Science VIII, were published in 1989 by Elsevier Science Publishers as Vol. 123 of the Studies in Logic series.

Between 1988-91 the Division has sponsored seventeen International conferences, symposia, and summer schools; a list of the meetings is given in Appendix A. The 7th Joint Conference of History and Philosophy of Science was held at the University of Coimbra, Portugal, 18-22 April 1988, on the general theme 'Scientific Revolutions'. The proceedings have been published in a volume edited by William Shea and Beat Sitter, Revolutions in Science, Watson Publishing International, Canton, Mass., 1988. The 8th Joint Conference was held from 12-14 December 1990, in Florence, Italy, on the general theme 'History and Philosophy of Modern Sciences'. The Division has continued to support the European summer meeting of the Association of Symbolic Logic, and it has sponsored several meetings organised by the International Association for Philosophy of Science and its member societies.

Cooperation with Other Organisations

The Secretaries of the two Divisions have maintained close contact during the four-year period. The present Secretary General of the Union is the Secretary of the Division of History of Science, Professor Tore Fr~ingsmyr of the University of Uppsala, Sweden. The Secretary of the Division represented the Union at the 22nd General Assembly of ICSU in Beijing, China, 11-16 September 1988, at the 23rd General Assembly of ICSU in Sofia, Bulgaria, 1-5 October 1990, and at the meetings of the General Committee of ICSU in 1988 (Beijing), 1989 (Lisbon, Portugal) and 1990 (Sofia). L. J. Cohen and R. Hilpinen were members of the ICSU Standing Committee of Structure and Statutes during 1989-90.

In 1989 the Executive Committee created a special Union Committee for ICSU's International Geosphere-Biosphere Programme (IGBP); this Committee was expanded to a Committee of Science and Ethics in 1991. The Chairperson of the Committee, Professor Kristin Shrader-Frechette (U.S.A.) has prepared for the Executive Board of ICSU a memorandum concerning the conceptual and ethical issues related to the climate changes and the conservation of biological diversity.

Meetings of the Executive Committee

The Executive Committee has met once a year: in 1987 during the Moscow Congress of LMPS, in August 1988 in Oxford, in August 1989 in Munich, in August 1990 in Utrecht, and again during the present Congress. Much of the business of the Committee has been conducted by correspondence.


The Secretary has continued the publication of annual bulletins about the activities of the Division in Synthese and Studia Logica, by courtesy of the Editors of the two journals. These bulletins have also been distributed to the members of the Division.

(7) Treasurer's Report

At the last General Assembly in Moscow 1987 our financial expectations were not good. It was not clear whether the Moscow Congress would require more than the US$25,000 reserved for it. ICSU had announced its intention to reduce its contribution from $5,000 to $3,000 per year. Increasing world-wide inflation threatened to reduce our assets. Therefore I presented a very cautious forecast for the years 1987-91. The actual development was not as negative as expected.

The expenses for the Moscow Congress did not exceed the $25,000. The contributions from ICSU touched the limit of $3,000 only in 1989; in the other years ICSU contributed more via special grants so that the average was $4,600. Increasing inflation caused higher interest rates. On the other hand, surprisingly, the applications for supporting scientific activities did not reach the expected level. Perhaps one reason for this is that our support can only cover a small part of the budget of a conference or symposium, and it has become more difficult to get the difference from other sources. The dues from the Ordinary Members turned out to be on the average less than expected, even though the unit of subscription had been increased at the last General Assembly.

If you imagine that we have already paid for this Congress, and more than $8;000 is still outstanding for this year, we arrive at the figure $40,000 at the end of this year, compared with $43,000 at the end of 1987. This means that I have been able to maintain the assets of the Division almost on the earlier level. Of course, because of the decrease of the buying power of the dollar, the assets have reduced in comparison to 1987. Nevertheless I refrain from proposing a new increase of the unit of membership dues, but I assume that my successor will be forced to ask you to increase the unit again.

There is another item to be mentioned, which may be relevant to you and your Committees. Last year ICSU introduced a new system of grant applications and combined it with a new method of distributing its support to the Scientific Unions.
Earlier, one half of the annual ICSU grant was allocated to the unions according to a certain fixed ratio of distribution. The second half was distributed as special grants for which special applications had to be made; these were grants for specific events, conferences, symposia and so on. These applications generally exceeded the amount available, and an ICSU committee had to decide how the money was distributed. Of course this took time and therefore the applications had to be submitted a long time in advance.

The new procedure of ICSU consists of distributing the whole support as special grants, that is, applications have to be made in all cases. The tentative level of annual support for each ICSU body is determined by the Standing Finance Committee of ICSU and communicated to the Unions about two years in advance. The application for a given year must be made by February of the previous year. This means that a half of our scientific activities should be planned two years in advance. For example, in October 1990 ICSU informed IUHPS that in 1992 $12,000 can be expected, that is, $6,000 for each Division. In the future, the corresponding date is already 1 February. The applications concerning the use of this amount (in 1992) had to be made by 15 February 1991. To put it in practical terms, if you plan activities which you wish to be subsidised by the Division, apply at the earliest possible date to the Secretary, so that the application can be included in the ICSU contribution.

Finally, I want to mention the criteria which ICSU favours in distributing grants: international nature of the meeting; interdisciplinary character (involving more than one of the ICSU bodies); promotion of basic sciences; participation of young and women scientists; and cooperation with scientists in developing countries.

(8) Unit of Subscription

It was agreed to keep the unit of annual subscription on the present level of US$125.00. However, the Treasurer informed the Assembly that an increase will probably be necessary in 1995.

(9) Budgetary Determinations

The General Assembly authorised the Executive Committee to make budgetary determinations in the interval until the next General Assembly.

(10) The New Executive Committee and Council of the Division

On the recommendation of the Nominating Committee (L. J. Cohen (Chair), M. Makkai, G. Nerlich, and D. S. Scott), the following were elected (nem. con.) to office for the period 1991-95.

  • President: J.E. Fenstad (Norway)
  • 1st Vice-President: D. Prawitz (Sweden)
  • 2nd Vice-President: R. Wójcicki (Poland)
  • Secretary: E. Sober (USA)
  • Treasurer: A. Preller (France)
  • Past President: L.J. Cohen (UK)


  • M. Boffa (Belgium)
  • R. B. Chuaqui (Chile)
  • P. R. H. Forrest (Australia)
  • M. Hallett (Canada)
  • H. Ishiguro (Japan)
  • V. Lektorsky (USSR)
  • G. E. Mints (USSR)
  • G. Sambin (Italy)

(11) The Commission on the Ethics of Science

On the recommendation of the Executive Committee, it was agreed to create a Commission on the Ethics of Science, and appoint the following persons to the Commission:

  • Kristin Shrader-Frechette (USA, Chair-person),
  • Bengt Hansson (Sweden),
  • Ren-Zong Qiu (China),
  • William Shea (Canada).

The main purpose of the Commission is to advise ICSU and its members about questions related to science and ethics, and organise research and conferences in the field. The Commission will also serve as the IGBP-commission of the Division.

(12) Location of the 10th International Congress (1995)

The President informed the General Assembly that the possibility of issuing an invitation for the next congress was currently under consideration in two member committees, but that it would be premature to name either of these. The General Assembly therefore authorised the Executive Committee to explore these possibilities further, and to decide in due course, when one or more formal invitations become available, about the most suitable date and location.


  • 7th Joint International Conference of History and Philosophy of Science, University of Coimbra, Portugal, 18-22 April 1988.
  • Colloquium Logicum (Logic in Mathematics, Philosophy and Computer Science), University of Kiel, 2-4 June 1988.
  • Conference on Algebraic Logic, Budapest, Hungary, 4-11 August 1988.
  • Logic Colloquium 1988 (The European Summer Meeting of the Association for Symbolic Logic), Padova, Italy, 23-30 August 1988.
  • Autumn School of Logic and Its Applications, Jablonna, Poland, 7-15 October 1988.
  • Conference on Recursion Theory, Mathematical Research Institute, Oberwolfach, West Germany, 15-21 March 1989.
  • Logic Colloquium 1989 (The European Summer Meeting of the Association for Symbolic Logic), Berlin, Germany, 24 July-3 August 1989.
  • Workshop on Logic and Philosophy of Science, Lima, Peru, August 1989.
  • The Dynamics of Knowledge and Belief, Lund, Sweden, 24-26 August 1989.
  • Evolving Knowledge in Natural Science and Artificial Intelligence, University of Reading, UK, 22-24 September 1989.
  • Conference on Dynamical Chaos Theory, Bristol, England, March 1990.
  • Turing 1990, University of Sussex, Brighton, England, 3-6 April 1990.
  • Third Logical Biennial 'Kleene '90', Chaika, near Varna, Bulgaria, 6-15 June 1990.
  • Logic Colloquium 1990 (The European Summer Meeting of the Association for Symbolic Logic), Helsinki, Finland, 15-22 July 1990.
  • Annual International Conference of the British Society for Philosophy of Science, Wolfson College, Cambridge, England, 21-23 September 1990.
  • 8th Joint Meeting of the two Divisions of IUHPS, Florence, Italy, 12-14 December 1990.
  • Annual International Conference of the British Society for Philosophy of Science, Causation in Science, King's College, London, England, 20-22 September 1991.

[Financial appendix to be added]