international union of history and philosophy of science division of logic, methodology and...

INTERNATIONAL UNION OF HISTORY AND PHILOSOPHY OFSCIENCE DIVISION OF LOGIC, METHODOLOGY AND

PHILOSOPHY OF SCIENCE

Bulletin No 18

I. EXECUTIVE COMMITTEE AND ASSESSORS OF THE DIVISION,1995–1999

Executive Committee:President, WESLEY SALMON, Department of Philosophy, University ofPittsburgh, 1001 Cathedral of Learning, Pittsburgh, PA 15260, USA.First Vice-President, PETR HAJEK, Institute of Computer Science, Podvodarenskou veri 2, 182 07 Praha 8, Czech Republic.Second Vice-President MARIA LUISA DALLA CHIARA, Dipartimentodi Filosofia, Via Bolognese 52, 50139 Firenze, Italy.Secretary, ELLIOTT SOBER, Department of Philosophy, 5185 Helen C.White Hall, University of Wisconsin, Madison, Wisconsin, USA 53706.Treasurer (1991–1998), ANNE PRELLER, LIRMM/CNRS, 161 Rue Ada,34392 Montpellier, France.Treasurer (1998-1999), HELMUT PFEIFFER, Institut für Mathematik,Universität Hannover, Welfengarten 1, 30167 Hannover, Germany.Past President, JENS-ERIK FENSTAD, Department of Mathematics,University of Oslo, PO Box 1053, Blinden, 0316 Oslo 3, Norway.

Assessors:JOHN CROSSLEY, Department of Computer Science, Monash University,Clayton, Victoria 3168, Australia.PETER GARDENFORS, Department of Philosophy, Lund University,Kungshnser, Lundagard S-223 50 Sweden.KAZUYUKI NOMOTO, Department of Philosophy, Tokyo MetropolitanUniversity, 192-03 Minami-Osawa 1-1, Hachioji Tokyo, Japan.CARLOS DI PRISCO, Department of Mathematics, I.V.I.C. Apdo 21827,Caracas 1020-A, Venezuela.MICHAEL REDHEAD, Philosophy and History of Science, WolfsonCollege, Cambridge CB3 9BB, United Kingdom.

Synthese123: 153–162, 2000.© 2000Kluwer Academic Publishers. Printed in the Netherlands.

154 IUHPS/DLMPS BULLETIN NO. 18

QUI RENZONG, Institute of Philosophy, CASS, 5 Jianguomennei Av-enue, Beijing, 00732, China.BORIS YUDIN, Institute of Human Studies, Russian Academy of Sci-ences, Volkhonka 14, Moscow 11984, Russia.

Former Presidents(∗ = deceased):Jens-Erik Fenstad (Norway)L. J. Cohen (UK)D. S. Scott (USA)S. C. Kleene∗ (USA)G. H. Von Wright (Finland)Yehoshua Bar-Hillel∗ (Israel)Stephan Korner (UK)Andrzej Mostowski∗ (Poland)Jaakko Hintikka (USA)Patrick Suppes (USA)Jerzy Łos∗ (Poland)

The Executive Committeeof the Division is Composed of the Presid-ent, the Vice-Presidents, Secretary, and Treasurer and the immediate PastPresident. TheCouncil consists of the Executive Committee plus theAssessors.

II. COMMITTEES FOR THE 11TH INTERNATIONAL CONGRESS(CRACOW, POLAND, AUGUST 1999)

Local Organizing Committee (∗ = Chair)

J. Wolenski∗, M. Heller, J Kabzinski, A. Łomnicki, J. Misiek, A Pelczar,Zd. Piatek. T. Placek, A. Rojszczak, A. Staruszkiewicz, W. Suchon, E.Szumakowicz, J. Szymura, E. Wojciechowski, A. Wronski, E.Zarnecka-Bialy.

National Organizing Committee (∗ = Chair)

J. Wolenski∗ , S. Amsterdamski, Zd. Augustynek, T. Batóg, A. Bronk, G.Bryll, W. Buszkowski, R. Duda, T. Grabinska, A. Grobler, A. Grzegor-czyk, L. Guinanski, K. Ilałkowska, J. Hawranek, , H. Hi˙z, J. J. Jadacki,E. Kałuszynska, J. Kalinowski, S. Kiczuk, J. Kmita, W. Krajewski, Cz.Lejewski, M. Lubanski, G. Malinowski, W. Marciszewski, R. Murawski,J. Mycielski, E. Nieznanski, L. Nowak, I. Nowakowa, M. Omyla, E.Orlowska, L. Pacholski, J. Pasniczek , Zd. Pawlak, J. Perzanowski, E.

IUHPS/DLMPS BULLETIN NO. 18 155

Pietruska-Madej, K. Piróg-Rzcpecka , A. Skowron, B. Stanosz, J. Such,L.W. Szczerba, M. Tempczyk, J. Tiuryn, K. Trzçsicki, M. Urchs, B.Weglorz, A. Wisniewski, P. Wójtylak, B. Wolniewicz, R. Wójcicki, A.K.Wróblewski, U. Wybraniec-Skardowska, M. Zabierowski, K. Zamiara, J.Zybmunt, E.Zabski, J.Zycinski.

General Program Committee(∗ = Chair)

P. Gardenfors∗ (Sweden), F. Jackson (Australia), L. Pacholski (Poland), E.Sober (USA), J. Stern (France), S. Uchii (Japan).

Sectional Program Committees(∗ = Chair)

I.1.1. Proof Theory: Jean-Yves Girard (France), Sam Buss∗ (USA), JanKrajicek (Czech Republic).I.1.2. Model Theory: Wilfrid Hodges∗ (UK), Jouko Vaananen (Finland),Boris Zilber (Russia).I.1.3. Recursion Theory: Robert Soare (USA), Yannis Moschovakis∗(USA), Helmut Schwichtenberg (Germany).I.1.4. Axiomatic Set Theory: Alain Louveau∗ (France), Hugh Woodin(USA), Stevo Todorcevic (Canada).I.2. Logic and Computation: David Harel (Israel), Jerzy Tiuryn∗ (Poland),Mitsuhiro Okada (Japan).I.3. Logic, Language, and Cognition: Martin Davies∗ (UK), Takashi Iida(Japan), Frank Veltman (Holland).II.1.1. Methodology: Peter Achinstein (USA), Hugh Mellor (UK), DavidPapineau∗ (UK).II.1.2. Probability, Induction, and Decision Theory: Brian Skyrms∗(USA), Ellery Eells (USA), Maria Carla Galavotti (Italy).II.2.1. Philosophy of Logic, Mathematics, and Computer Science: CharlesParsons∗ (USA), Rich Thomason (USA), Max Urchs (Poland).II.2.2. Philosophy of the Physical Sciences: Jan Faye∗ (Denmark), VictorRodriguez (Argentina), Nancy Cartwright (UK).II.2.3. Philosophy of the Biological Sciences: Jean Gayon (France), KimSterelny (New Zealand), Geroen Wolters∗ (Germany).II.2.4. Philosophy of Cognitive Science and Artificial Intelligence:Margaret Boden (UK), Christopher Habel∗ (Germany), Shun Tsuchiya(University, Japan).II.2.5. Philosophy of Linguistics: Lloyd Humberstone (Australia), HansKamp (Germany), Jim Hurford∗ (UK).II.2.6. Philosophy of the Social Sciences: Susan Hurley (UK), MerrileeSalmon (USA), Dan Sperber∗ (Paris, France).


III.3.1. Ethics of Science and Technology: Lars Bergström∗ (Sweden),Tony Coady (Australia), Peter Singer (Australia).III.3.2. History of Logic, Methodology, and Philosophy of Science:Richard Creath (USA), Hide Ishiguro∗ (Japan), Storrs McCall (Canada).III.3.3. Philosophy questions raised by the history and sociology of sci-ence: Stephen Gaukroger∗ (Australia), Nils Roll-Hansen (Norway), DavidBloor (UK).

Special Symposia and their Chairs

1. A Hundred Years of the Philosophy of Science. R. Hilpinen.2. Cognitive Science Meets Philosophy of Science. P. Gardenfors.3. Special Round-Table Symposium on Ethics and Responsibility inScience. W. Salmon.

Affiliated Symposia and their Chairs

1. Many Valued Logics for Computer Science. B. Konikowska.2. Affiliated Symposium of the Polish Association for Logic and Com-puter Science. W. Penczek.

III. MINUTES OF THE GENERAL ASSEMBLY, CRACOW,POLAND - AUGUST 23, 1999

Ordinary Members Present: Australia, Austria, the Baltic Association, Bel-gium, Canada, China (Taipei), the Czech Republic, Denmark, Finland,France, Germany, Ireland, Israel, Italy, Japan, the Netherlands, Norway,Poland, Romania, Russia, Slovenia, Spain, Sweden, Switzerland, theUnited Kingdom, the United States.

Ordinary Members Absent: Brazil, Chile, China (CAST), Georgia, Hun-gary, India, Iran, Monaco, Peru, Yugoslavia.

International Members Present: Association for Symbolic Logic.

International Members Absent: International Association for Philosophyof Science, International Academy for Philosophy of Science, C. S. PeirceSociety.

1. After the verification of delegates, President Salmon called the meetingto order at 7:40 p.m.2. The minutes of the previous General Assembly, published inSynthese(1996)106(3), 431–443, were approved unanimously.3. The Executive Committee proposed that the following organizations beadmitted as members: (i) the European Association for Logic, Language,


and Information (FOLLI), (ii) the Institute Vienna Circle, (iii) the Inter-national Society for History, Philosophy, and Social Studies of Biology,(iv) the Kurt Gödel Society, and (v) the Polish Association of Logic andPhilosophy of Science. Each organization shall have one vote and will payno dues.

Professor Ryszard Wojcicki proposed the following amendment B – (i)that the four organizations listed be admitted provisionally as members,and that their membership be reconsidered by the General Assembly atthe 2003 Congress; (ii) that the Executive Committee report to the 2003General Assembly what policies it thinks should be followed in admittingorganizations as members, and that it consider adopting a policy wherebyorganizations pay dues to the Division. The amendment was approved bya substantial majority.

Thus amended, the original proposal from the Executive Committee wasapproved unanimously.

4. The Executive Committee proposed that a new membership category,“observer status”, be created. This category will be open just to nationsthat wish to become ordinary members but are unable to pay dues initially.Such nations, after they are admitted as ordinary members, may apply forobserver status. A nation applying for observer status must undertake tobecome an ordinary dues paying member within four years. Observerswill have no votes. The intention is that observer status be a temporaryarrangement. This proposal was approved unanimously.5. Reclassification and termination of members. The Executive Commit-tee recommended the acceptance of the United Kingdom’s request that itsdues category be raised back to category D. This proposal was approvedunanimously.

6. President’s report.(6a) The Executive Committee met three times since the 1995 FlorenceCongress: Prague, 1996, hosted by Petr Hajek, First Vice President; Mont-pellier, 1998, hosted by Anne Preller, then Treasurer; Cracow, 1999, hostedby Jan Wolenski, Chairman of the Local Organizing Committee for theXith International Congress of DLMPS.(6b) A DHS-DLMPS Joint Conference on Philosophical Problems in theHistoriography of Science, organized by DLMPS and co-sponsored bythe Pittsburgh Center for Philosophy of Science, was held in November,1998, at the University of Pittsburgh. Elliott Sober was Program Chairman;Wesley Salmon was Local Arrangements Chairman.


(6c) Anne Preller, Treasurer of DLMPS, resigned as of 31 December 1998.We are grateful to her for seven years of excellent and faithful service tothe Division. As stipulated in the DLMPS Statutes, the President, withthe approval of the DLMPS Council, appointed Helmut Pfeiffer, formerlyTreasurer of the Division, to serve as temporary Treasurer for 1999. Hekindly accepted this responsibility, for which we express our gratitude.(6d) The Nominating Committee, consisting of John Crossley (Australia),Carlos Di Prisco (Venezuela), Jens Erik Fenstad (Norway), and WesleySalmon (USA), Chairman, presented the slate of candidates elected at thismeeting of the General Assembly.(6e) The President announced with great sadness the death in 1998 of JerzyŁos, who served as President of DLMPS 1979–1983.

7. Secretary’s reportAt present 36 Ordinary Members belong to the Division.During 1996, IUHPS/DLMPS helped support a conference on “Recent

Trends in the Study of Science: Naturalized Epistemology and the Soci-ology of Knowledge” (University of Miskolc, Hungary) and a conferenceon "Logical Foundations of Mathematics, Computer Science, and Physics– Kurt Goedel’s Legacy” (Brno, Czech Republic).

During 1997, IUHPS/DLMPS helped support the annual summer meet-ing of the Association for Symbolic Logic at the University of Leeds,United Kingdom, a session on environmental sciences that was part ofthe annual British Society for the Philosophy of Science meeting at Ox-ford, UK, and a conference on “Cognitive Models in Science” in Ljubjana,Slovenia.

During 1998, the two divisions of our Union (Division of History ofScience and Division of Logic, Methodology, and Philosophy of Science)sponsored a joint conference on methodological and historiographicalissues raised by the history of science at the University of Pittsburgh,Pittsburgh, Pa, USA in November 23–25, 1998. The IUHPS/DLMPS alsohelped support the Association of Symbolic Logic Colloquium in Prague,Czech Republic, in August, 1998.

8. Treasurer’s report.This is a kind of secondhand report. The Treasurer elected 1991 in

Uppsala for eight years, Prof. Anne Preller, resigned at the end of 1998, be-cause she had the feeling that some for her important disciplines of Logiccome short in the Programme of this Congress, particularly concerning theapplications of Logic to Computer Science. In this situation the Presidentof the Division, Professor Wesley Salmon, asked me to act as treasurer forthe year 1999. I had been Treasurer of the Division from 1983 to 1991


and thus the predecessor of Anne Preller. Though I felt sympathy with thereasons of Mrs. Preller’s resignation, I accepted the task, not anticipatingthat it is difficult to enter a going train and I would become ill in spring upto now.

Although Mrs. Preller promised to prepare the treasurer’s report 1995–1998, she provided the figures very carefully, which are available toyou now [see Appendix], but she gave comments. Therefore I add someremarks.

The general trend indicated in the treasurer’s report 1995 in Florencethat the Division was getting poorer, continued and increased. As thefigures show, the assets of the Division increased from 1995 to 1998 byUS$15,316. This is only half of the support of the Division to the Congresshere in Cracow, i.e., $32,000. This does not mirror the situation exactly,because the allocations from ICSU and the expenses for scientific activitiesdo not correspond every year. But the principle of the financial policy ofthe Division, to save the support for the next Congress during the yearsin between is not gained. In order to keep the assets of the Division, itis important to reduce expenses and increase the income. Remarkably thecontributions from Ordinary Members decrease from year to year. This ispartially due to fact that more and more members – and not only the poorones - reduce their subscriptions or impose the total bank charges to theDivision. Perhaps the delegates present here could ask their paying bodieskindly and cautiously to transfer the full amount. Another possibility toincrease the income of the Division is to apply for more financial supportfrom ICSU, because our allocation from ICSU depends on the sum ofapplications the Division has been submitting. If you or your membersplan activities which can be subsidized by the Division, apply to the earli-est possible date to the Secretary General in order to get at least partialsupport from ICSU! How to save expenses in the future is not only amatter of development of the exchange rates, the general inflation, and thebank interests but also of self-imposed moderation with respect to officeexpenses and the meetings of the Executive Committee.

When I remember my first report as Treasurer of the Division in 1987I realize that there were the same complaints as today. Somehow thesituation was brought under control.

9. Discussion of various items from the floor. It was suggested that thenew Executive Committee, when it formulates the program for the 2003Congress, consider the fact that the logic sections were on the whole rathersparsely attended, whereas there were many contributed papers and par-ticipants in the philosophy of physics and methodology sections. It alsowas suggested that the Division establish a web page on which meetings


supported by the Division can be announced. And it was suggested thatthe Division should consider publishing proceedings of future congresseselectronically, rather than in book form.

10. New Executive Committee and Council. The Nominations Committeeproposed:

Michael Rabin (Israel), President; Graham Priest (Australia), First VicePresident; Deborah Mayo (USA), Second Vice President; Dag Westerstahl(Sweden), Secretary; Ulf Schmerl (Germany), Treasurer; Wesley Salmon(USA), Past President.

Assessors: Soshichi Uchii (Japan), Xavier Caicedo (Colombia), LaszloSzabo (Hungary), Roberto Cignoli (Argentina), Ewa Orlowska (Poland),Alexander Razborov (Russia), Peter Lipton (United Kingdom), AnneFagot-Largeault (France).

This proposal was adopted unanimously.

11. Location of the 12th Congress (2003). Professor Luis M. Valdes, Fac-ulty of Philosophy, University of Oviedo, Spain presented the invitationfrom Oviedo that the 2003 Congress be held there. The Executive Com-mittee recommended that the General Assembly accept this invitation. Theproposal was adopted unanimously.12. Professor W. Harper moved that the task of examining and approv-ing the accounts of the Division be delegated to the Division’s Council.This proposal was adopted unanimously. See Appendix. The meeting wasadjourned at 8:45 p.m.

Respectfully submitted,Elliott SoberSecretary, IUHPS/DLMPS

APPENDIX: IUHPS/DLMPS ACCOUNTINGPrepared by Helmut Pfeiffer, Treasurer

[Note from Elliott Sober, Secretary: As indicated in item 12 of the minutesfrom the IUHPS/DLMPS General Assembly in Cracow, Poland (August1999), this accounting was distributed to the Division’s Council. TheCouncil voted to approve it.]


I. INCOME (in US $)

Bank Balance, January 1, 1995 79,337.00

Bank Balance, December 31, 1998 94,653.00

Bank Balance 1998 – Bank Balance 1995 15,316.00

(a) Allocation from ICSU

1995 9,000.00

1996 3,600.00

1997 9,000.00

1998 0.00

Total 21,600.00

mean over 4 yea rs 5,400

(b) Contribution from Ordinary Members

1995 16,164.00

1996 12,250.00

1997 11,822.00

1998 14,060.00

Total 54,296.00

mean over 4 years 13,574

(c) Sales of Publications/Royalties

1995 239.00

1996 554.00

1997 414.00

1998 3,056.00

Total 4,263.00

mean over 4 years 1,066Bank interests

1995 2,178.00

1996 3,526.00

1997 2,394.00

1998 4,287.00

Total 12,385.00

mean over 4 years 3,096Total of income US $ 92,544.00


II. EXPENSES

(a) Scientific activities

1995 31,500.00

1996 11,949.00

1997 1,900.00

1998 8,758.00

Total 54,107.00



(b) Executive committee meeting

1995 3,948.00

1996 2,677.00

1997 0,00

1998 6,232.00

Total 12,857.00


(c) Contribution to ICSU

1995 639.00

1996 670.00

1997 700.00

1998 728.00

Total 2,737.00

mean over 4 years 684

(d) General office expenses

1995 300.00

1996 348.00

1997 211.00

1998 341.00

Total 1,200.00


(e) Audit fees

1995 550,00

1996 480,00

1997 389,00

1998 688,00

Total 2,107.00


(f) Bank charges

1995 1,045.00

1996 578,00

1997 564,00

1998 550,00

Total 2,737.00

mean over 4 years 684Total of Expenditure US $ 75,745.00

mean of expenditure over 4 years 18, 936Gain or loss on exchange

1995 +206.00

1996 −618.00

1997 −3,728.00

1998 +2,657.00

Total −1,483.00

Total Excess of income over expenditure 1995–199892,544− 75,745− 1,483 = US $ 15,316.00

international union of history and philosophy of science division of logic, methodology and...

Documents