Division of Logic, Methodology and Philosophy of Science and Technology of the International Union of History and Philosophy of Science and Technology Bulletin no. 24

IF 0.4 4区 数学 Q4 LOGIC Mathematical Logic Quarterly Pub Date : 2024-06-06 DOI:10.1002/malq.202400004
{"title":"Division of Logic, Methodology and Philosophy of Science and Technology of the International Union of History and Philosophy of Science and Technology Bulletin no. 24","authors":"","doi":"10.1002/malq.202400004","DOIUrl":null,"url":null,"abstract":"<p><i>Assessors</i>:</p><p>Hanne Andersen, Copenhagen, Denmark. Rachel Ankeny, Adelaide, Australia. Valeria de Paiva, Mountain View CA, U.S.A. Gerhard Heinzmann, Nancy, France. Concha Martinez Vidal, Santiago de Compostela, Spain. Tomáš Marvan, Prague, Czech Republic. Dhruv Raina, Delhi, India. Cheng Sumei, Shanghai, China. Alasdair Urquhart, Toronto, Canada. Andrés Villaveces, Bogotá, Colombia.</p><p><i>Former Presidents: († = deceased)</i></p><p>Menachem Magidor (Israel), Elliott Sober (United States of America), Wilfrid Hodges (United Kingdom), Adolf Grünbaum† (United States of America), Michael Rabin (United States of America), Wesley Salmon† (United States of America), Jens-Erik Fenstad† (Norway), Lawrence J. Cohen† (United Kingdom), Dana S. Scott (United States of America), Jerzy Łoś† (Poland). Patrick Suppes† (United States of America), Jaakko Hintikka† (Finland &amp; United States of America), Andrzej Mostowski† (Poland), Stephan Körner† (United Kingdom), Yehoshua Bar-Hillel† (Israel), Georg Henrik von Wright† (Finland), Stephen C. Kleene† (United States of America).</p><p>Former president Jens Erik Fenstad passed away on 14 April 2020.</p><p>The <i>Executive Committee</i> of the Division is composed of the President, the Vice-Presidents, the Secretary-General, the Treasurer, and the immediate Past President. The <i>Council</i> consists of the Executive Committee plus the Assessors.</p><p><i>Ordinary Members Present</i> (number of votes and names of delegates in parentheses; total votes: 68 before <b>Agenda item 5</b>; 69 after <b>Agenda item 5</b>). Argentina (2; 1 after <b>Agenda item 5</b>; Víctor Rodríguez), Australia (3; Pamela Robinson), Austria (1; Georg Schiemer), Belgium (1; Peter Verdée), Brazil (2; Elaine Pimentel), Canada (3; Zeyad El Nabolsy), P. R. China (3; Chen Bo), Czech Republic (2; Libor Behounek, Robin Kopecký), Denmark (2; Magdalena Malecka), Estonia (1; Peeter Müürsepp), Finland (2; Uskali Müki), France (4; Andrew Arana, Paola Cantu, Karine Chemla, Gerhard Heinzmann), Germany (4; Benedikt Löwe), Iran (1; Benedikt Löwe), Italy (4; Daniele Molinini), Japan (4; Mitsuhiro Okada), Republic of Korea (2; Insok Ko), Mexico (2; Atocha Aliseda, Ambrosio Velasco-Gómez), The Netherlands (2; Benedikt Löwe), Poland (2; Piotr Błaszczyk), Romania (1; Sorin Costreie), Russian Federation (3; Ilya Kasavin, Andrei Rodin, Lada Shipovalova), South Africa (1; Sean Muller), Spain (2; José A. Díez Calzada), Sweden (3; Valentin Goranko), Taiwan (2; Husan-Chih Lin, Kok-Yong Lee), United Kingdom (4; Robin Hendry), and United States of America (5; Hasok Chang, Philip Kircher, Helen Longino). After <b>Agenda item 5</b>, the number of votes of Argentina was reduced to 1 and the new Ordinary Member Portugal (2; João Luis Cordovil, Joan Bertran-San-Millán) was admitted; therefore, the number of votes of ordinary members increased by one.</p><p><i>Ordinary Members Absent</i>. Eire (cf. <b>Agenda item 5</b>), Hungary (1), India (1), Israel (1), Moldova (1), New Zealand (2), Norway (1).</p><p><i>International Members Present</i> (total votes: 25). <i>Académie Internationale de Philosophie des Sciences</i> (2; Michel Ghins, Jure Zovko), Association Computability in Europe (1; Giuseppe Primiero), Association for Symbolic Logic (6; Juliet Floyd), Association for the Philosophy of Mathematical Practice (1; Marco Panza), Charles S. Peirce Society (1; Javier Legris). European Philosophy of Science Association (2; Alberto Naibo), Association for Logic, Language and Information (2; Valentin Goranko, Benedikt Löwe), <i>Gesellschaft für Wissenschaftsphilosophie</i> (2; Paul Hoyningen-Huene), Institut Wiener Kreis (2; Georg Schiemer), <i>Polskie Towarzystwo Logiki i Filozofii Nauki</i> (1; Cezary Cieśliński), Scandinavian Logic Society (1; Valentin Goranko), <i>Société de Philosophie des Sciences</i> (4; Alberto Naibo).</p><p><i>Commissions Present</i> (total votes: 4). Commission on the Philosophy of Technology and Engineering Sciences (1; Juan Manuel Durán), History and Philosophy of Computation (1; Giuseppe Primiero), International Association for Science and Cultural Diversity (1; Madeline Muntersbjorn), Joint Commission (1; Agnes Bolinska).</p><p><i>Commissions Absent</i>. Commission on Arabic Logic (1), Inter-Division Teaching Commission (1).</p><p><i>Membership Candidates Present</i>. Portugal (2; João Luis Cordovil, Joan Bertran-San-Millán).</p><p><i>Others</i>. According to tradition, the General Assembly was open to all participants of CLMPST 2023. The <i>Division for History of Science and Technology</i> (DHST/IUHPST) was represented by DHST President Marcos Cueto (Brazil).</p><p><i>Total number of votes present</i>. 97 before <b>Agenda item 5</b>; 98 after <b>Agenda item 5</b>. The total number of votes was 109, both before and after <b>Agenda item 5</b>. Therefore, the number of votes present was at least half of of the valid voting power and thus the General Assembly was validly constituted according to Article 15 of the Division's statutes.</p><p>\n </p><p>Adopted by the General Assembly of IUHPS/DLMPS; Moscow, August 18, 1987; Article 25 amended by General Assembly of IUHPS/DLMPS, Florence, Italy, August 23, 1995; Articles 9, 13 and 19 amended and new Articles 20 and 21 introduced, raising by 2 the numbering of subsequent articles, by General Assembly of IUHPS/DLMPS, Nancy, France, July 24, 2011; amendments in Articles 1, 2, 5, 12, and 21 by General Assembly of IUHPS/DLMPS, Helsinki, Finland, August 6, 2015; amendments in Articles 1, 2, 4, 5, 6, 7, 10, 11, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 27, 28, and 29 and deletion of Article 30 by General Assembly of DLMPST/IUHPST, Buenos Aires, Argentina, 27 July 2023.</p><p>These statutes were approved by the General Assembly of DHST held virtually on 31 July 2021 and the General Assembly of DLMPST in Buenos Aires on 27 July 2023.</p>","PeriodicalId":49864,"journal":{"name":"Mathematical Logic Quarterly","volume":null,"pages":null},"PeriodicalIF":0.4000,"publicationDate":"2024-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202400004","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mathematical Logic Quarterly","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/malq.202400004","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"LOGIC","Score":null,"Total":0}
引用次数: 0

Abstract

Assessors:

Hanne Andersen, Copenhagen, Denmark. Rachel Ankeny, Adelaide, Australia. Valeria de Paiva, Mountain View CA, U.S.A. Gerhard Heinzmann, Nancy, France. Concha Martinez Vidal, Santiago de Compostela, Spain. Tomáš Marvan, Prague, Czech Republic. Dhruv Raina, Delhi, India. Cheng Sumei, Shanghai, China. Alasdair Urquhart, Toronto, Canada. Andrés Villaveces, Bogotá, Colombia.

Former Presidents: († = deceased)

Menachem Magidor (Israel), Elliott Sober (United States of America), Wilfrid Hodges (United Kingdom), Adolf Grünbaum† (United States of America), Michael Rabin (United States of America), Wesley Salmon† (United States of America), Jens-Erik Fenstad† (Norway), Lawrence J. Cohen† (United Kingdom), Dana S. Scott (United States of America), Jerzy Łoś† (Poland). Patrick Suppes† (United States of America), Jaakko Hintikka† (Finland & United States of America), Andrzej Mostowski† (Poland), Stephan Körner† (United Kingdom), Yehoshua Bar-Hillel† (Israel), Georg Henrik von Wright† (Finland), Stephen C. Kleene† (United States of America).

Former president Jens Erik Fenstad passed away on 14 April 2020.

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

Ordinary Members Present (number of votes and names of delegates in parentheses; total votes: 68 before Agenda item 5; 69 after Agenda item 5). Argentina (2; 1 after Agenda item 5; Víctor Rodríguez), Australia (3; Pamela Robinson), Austria (1; Georg Schiemer), Belgium (1; Peter Verdée), Brazil (2; Elaine Pimentel), Canada (3; Zeyad El Nabolsy), P. R. China (3; Chen Bo), Czech Republic (2; Libor Behounek, Robin Kopecký), Denmark (2; Magdalena Malecka), Estonia (1; Peeter Müürsepp), Finland (2; Uskali Müki), France (4; Andrew Arana, Paola Cantu, Karine Chemla, Gerhard Heinzmann), Germany (4; Benedikt Löwe), Iran (1; Benedikt Löwe), Italy (4; Daniele Molinini), Japan (4; Mitsuhiro Okada), Republic of Korea (2; Insok Ko), Mexico (2; Atocha Aliseda, Ambrosio Velasco-Gómez), The Netherlands (2; Benedikt Löwe), Poland (2; Piotr Błaszczyk), Romania (1; Sorin Costreie), Russian Federation (3; Ilya Kasavin, Andrei Rodin, Lada Shipovalova), South Africa (1; Sean Muller), Spain (2; José A. Díez Calzada), Sweden (3; Valentin Goranko), Taiwan (2; Husan-Chih Lin, Kok-Yong Lee), United Kingdom (4; Robin Hendry), and United States of America (5; Hasok Chang, Philip Kircher, Helen Longino). After Agenda item 5, the number of votes of Argentina was reduced to 1 and the new Ordinary Member Portugal (2; João Luis Cordovil, Joan Bertran-San-Millán) was admitted; therefore, the number of votes of ordinary members increased by one.

Ordinary Members Absent. Eire (cf. Agenda item 5), Hungary (1), India (1), Israel (1), Moldova (1), New Zealand (2), Norway (1).

International Members Present (total votes: 25). Académie Internationale de Philosophie des Sciences (2; Michel Ghins, Jure Zovko), Association Computability in Europe (1; Giuseppe Primiero), Association for Symbolic Logic (6; Juliet Floyd), Association for the Philosophy of Mathematical Practice (1; Marco Panza), Charles S. Peirce Society (1; Javier Legris). European Philosophy of Science Association (2; Alberto Naibo), Association for Logic, Language and Information (2; Valentin Goranko, Benedikt Löwe), Gesellschaft für Wissenschaftsphilosophie (2; Paul Hoyningen-Huene), Institut Wiener Kreis (2; Georg Schiemer), Polskie Towarzystwo Logiki i Filozofii Nauki (1; Cezary Cieśliński), Scandinavian Logic Society (1; Valentin Goranko), Société de Philosophie des Sciences (4; Alberto Naibo).

Commissions Present (total votes: 4). Commission on the Philosophy of Technology and Engineering Sciences (1; Juan Manuel Durán), History and Philosophy of Computation (1; Giuseppe Primiero), International Association for Science and Cultural Diversity (1; Madeline Muntersbjorn), Joint Commission (1; Agnes Bolinska).

Commissions Absent. Commission on Arabic Logic (1), Inter-Division Teaching Commission (1).

Membership Candidates Present. Portugal (2; João Luis Cordovil, Joan Bertran-San-Millán).

Others. According to tradition, the General Assembly was open to all participants of CLMPST 2023. The Division for History of Science and Technology (DHST/IUHPST) was represented by DHST President Marcos Cueto (Brazil).

Total number of votes present. 97 before Agenda item 5; 98 after Agenda item 5. The total number of votes was 109, both before and after Agenda item 5. Therefore, the number of votes present was at least half of of the valid voting power and thus the General Assembly was validly constituted according to Article 15 of the Division's statutes.

Adopted by the General Assembly of IUHPS/DLMPS; Moscow, August 18, 1987; Article 25 amended by General Assembly of IUHPS/DLMPS, Florence, Italy, August 23, 1995; Articles 9, 13 and 19 amended and new Articles 20 and 21 introduced, raising by 2 the numbering of subsequent articles, by General Assembly of IUHPS/DLMPS, Nancy, France, July 24, 2011; amendments in Articles 1, 2, 5, 12, and 21 by General Assembly of IUHPS/DLMPS, Helsinki, Finland, August 6, 2015; amendments in Articles 1, 2, 4, 5, 6, 7, 10, 11, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 27, 28, and 29 and deletion of Article 30 by General Assembly of DLMPST/IUHPST, Buenos Aires, Argentina, 27 July 2023.

These statutes were approved by the General Assembly of DHST held virtually on 31 July 2021 and the General Assembly of DLMPST in Buenos Aires on 27 July 2023.

查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
国际科技史与科技哲学联合会逻辑学、方法论与科技哲学分部第 24 期公报
评委:丹麦哥本哈根的 Hanne Andersen。Rachel Ankeny,澳大利亚阿德莱德。Valeria de Paiva,美国加利福尼亚州山景城。 Gerhard Heinzmann,法国南希。Concha Martinez Vidal,西班牙圣地亚哥-德孔波斯特拉。Tomáš Marvan,捷克共和国布拉格。Dhruv Raina,印度德里。程素梅,中国上海。Alasdair Urquhart,加拿大多伦多。安德烈斯-比利亚韦塞斯,哥伦比亚波哥大:(† = 已故)梅纳赫姆-马吉多尔(以色列)、埃利奥特-索伯(美国)、威尔弗莱德-霍奇斯(英国)、阿道夫-格伦鲍姆(美国)、迈克尔-拉宾(美国)、韦斯利-萨尔蒙(美国)、延斯-埃里克-芬斯塔德(挪威)、劳伦斯-科恩(英国)、达纳-斯科特(美国)、耶日-罗兹(波兰)。Patrick Suppes†(美利坚合众国)、Jaakko Hintikka†(芬兰和amp;美利坚合众国)、Andrzej Mostowski†(波兰)、Stephan Körner†(联合王国)、Yehoshua Bar-Hillel†(以色列)、Georg Henrik von Wright†(芬兰)、Stephen C.分部执行委员会由主席、副主席、秘书长、司库和前任主席组成。理事会由执行委员会和评估员组成:议程项目 5 之前 68 票;议程项目 5 之后 69 票)。阿根廷(2 票;议程项目 5 后 1 票;Víctor Rodríguez)、澳大利亚(3 票;Pamela Robinson)、奥地利(1 票;Georg Schiemer)、比利时(1 票;Peter Verdée)、巴西(2 票;Elaine Pimentel)、加拿大(3 票;Zeyad El Nabolsy)、中华人民共和国(3 票;Chen Bo)、大不列颠及北爱尔兰联合王国(1 票)、美利坚合众国(1 票)。中国(3;陈波)、捷克共和国(2;Libor Behounek、Robin Kopecký)、丹麦(2;Magdalena Malecka)、爱沙尼亚(1;Peeter Müürsepp)、芬兰(2;Uskali Müki)、法国(4;Andrew Arana、Paola Cantu、Karine Chemla、Gerhard Heinzmann)、德国(4;Benedikt Löwe)、伊朗(1;Benedikt Löwe)、意大利(4;Daniele Molinini)、日本(4;大韩民国(2;Insok Ko)、墨西哥(2;Atocha Aliseda、Ambrosio Velasco-Gómez)、荷兰(2;Benedikt Löwe)、波兰(2;Piotr Błaszczyk)、罗马尼亚(1;Sorin Costreie)、俄罗斯联邦(3;Ilya Kasavin、Andrei Rodin、Lada Shipovalova)、南非(1;Sean Muller)、西班牙(2;José A.Díez Calzada)、瑞典(3;Valentin Goranko)、台湾(2;Husan-Chih Lin、Kok-Yong Lee)、联合王国(4;Robin Hendry)和美利坚合众国(5;Hasok Chang、Philip Kircher、Helen Longino)。在议程项目 5 之后,阿根廷的票数减至 1 票,新的普通成员葡萄牙(2 票;João Luis Cordovil、Joan Bertran-San-Millán)被接纳;因此,普通成员的票数增加 1 票。爱尔兰(参见议程项目 5)、匈牙利(1)、印度(1)、以色列(1)、摩尔多瓦 (1)、新西兰(2)、挪威(1)。国际科学哲学院(2;Michel Ghins、Jure Zovko)、欧洲可计算性协会(1;Giuseppe Primiero)、符号逻辑协会(6;Juliet Floyd)、数学实践哲学协会(1;Marco Panza)、查尔斯-S-皮尔斯协会(1;Javier Legris)。欧洲科学哲学协会(2;Alberto Naibo)、逻辑、语言和信息协会(2;Valentin Goranko、Benedikt Löwe)、Gesellschaft für Wissenschaftsphilosophie(2;Paul Hoyningen-Huene)、Wiener Kreis 研究所(2;Georg Schiemer)、Polskie Towarzystwo Logiki i Filozofii Nauki(1;Cezary Cieśliński)、斯堪的纳维亚逻辑学会(1;Valentin Goranko)、Société de Philosophie des Sciences(4;Alberto Naibo)。出席的委员会(总票数:4)。技术和工程科学哲学委员会(1 票;Juan Manuel Durán),计算历史和哲学委员会(1 票;Giuseppe Primiero),国际科学和文化多样性协会(1 票;Madeline Muntersbjorn),联合委员会(1 票;Agnes Bolinska)。阿拉伯语逻辑委员会(1)、跨部门教学委员会(1)。葡萄牙(2;João Luis Cordovil,Joan Bertran-San-Millán)。根据传统,大会向 2023 年 CLMPST 的所有与会者开放。科技史分部(DHST/IUHPST)由 DHST 主席 Marcos Cueto(巴西)代表。议程项目 5 之前 97 票;议程项目 5 之后 98 票。议程项目 5 之前和之后的总票数为 109 票。因此,出席会议的票数至少占有效表决权的一半,因此,根据分部章程第 15 条,大会的组成是有效的。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
CiteScore
0.60
自引率
0.00%
发文量
49
审稿时长
>12 weeks
期刊介绍: Mathematical Logic Quarterly publishes original contributions on mathematical logic and foundations of mathematics and related areas, such as general logic, model theory, recursion theory, set theory, proof theory and constructive mathematics, algebraic logic, nonstandard models, and logical aspects of theoretical computer science.
期刊最新文献
Effectiveness of Walker's cancellation theorem Editorial correction for L. Halbeisen, R. Plati, and Saharon Shelah, “Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$”, https://doi.org/10.1002/malq.202300024 Good points for scales (and more) Wadge degrees of Δ20$\mathbf{\Delta }^0_2$ omega‐powers Issue Information
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1