第13届国际逻辑学、方法论与科学哲学大会
论文征集中！
“第13届国际逻辑学、方法论与科学哲学大会”由清华大学主办，将于2007年8月9日（周四）至8月15日（周三）北京市友谊宾馆（网址：www.bjfriendshiphotel.com）召开。论文现正在征集之中。
大会的投稿论文应该是简短的研究报告。论文报告应不超过20分钟，留5-10分钟用于评论与讨论。大会特设以下专题：
A逻辑学
A1数学逻辑（证明论，递归论，模型论，集合论）
A2哲学逻辑（非经典逻辑，逻辑与语言，逻辑的哲学基础，作为建模工具的逻辑）
A3逻辑与计算
A3.1形式语言与计算（程序与形式语言的语义学，动态与时态逻辑，知识表达和人工智能，证实，计算语言学）
A3.2逻辑与复杂性（交互与零信息证明，证明系统的复杂性，复杂性理论与模型论，可概率检查的证明）
B一般科学哲学
B1方法论与科学推理的综合问题
B2方法论的形式化进路
B3科学哲学中的历史与社会学面向
C特殊科学的哲学问题
C1数学与逻辑的哲学
C2物理哲学
C3生物哲学
C4 认知科学、心理学与语言学的哲学
C5经济学、合理性理论、决策论与博奕论的哲学
C6社会科学哲学
C7医学哲学
D科学与社会
D1科学实践与技术中的伦理学问题
D2生命伦理学
D3科学与教育
专题讨论
S1 弗洛伊德与心理分析
S2 宇宙论
大会报告将按照上述专题分组进行。与会者应先提交一页纸的论文摘要，上面标明参加专题、工作单位、通讯方式（电话、地址、email）等。网上电子提交在www.clmps2007.org，截止日期2007年3月10日。如果邮寄，应在2007年3月1日前寄至：“北京市清华大学科技与社会研究所13届大会组委会（100084）王巍 收”。如有查询，可浏览大会网站www.clmps2007.org，Email:
eval(unescape('%64%6f%63%75%6d%65%6e%74%2e%77%72%69%74%65%28%27%3c%61%20%68%72%65%66%3d%22%6d%61%69%6c%74%6f%3a%6c%6d%70%73%32%30%30%37%40%74%73%69%6e%67%68%75%61%2e%65%64%75%2e%63%6e%22%3e%6c%6d%70%73%32%30%30%37%40%74%73%69%6e%67%68%75%61%2e%65%64%75%2e%63%6e%3c%2f%61%3e%27%29%3b'))。
竭诚欢迎所有逻辑学方法论与科学哲学界的专家、学者和朋友参加大会！本届大会不仅是逻辑、方法论与科学哲学的世界盛会，也将成为我国相关学科发展的里程碑！
The 13th International Congress of Logic, Methodology and Philosophy of Science
Tsinghua University, Beijing, China
www.clmps2007.org
Call for Papers!
The 13th International Congress of Logic, Methodology and Philosophy of Science will be hosted by Tsinghua University, Beijing, China from August 9 (Thursday) to August 15 (Wednesday), 2007. Now call for papers!
The contributed papers are supposed to be short research reports, with the presentation of no more than 20 minutes, and the comments or discussions of 5-10 minutes. The sections of the Congress are as follows:
A LOGIC
A1 Mathematical logic (Proof theory, recursion theory, model theory, set theory.)
A2 Philosophical and applied logics (Non-classical logics, logic and language, philosophical
foundations of logic, logic as a modeling tool.)
A3 Logic and computation
A3.1 Formal languages and computation (Semantics of programs and of formal languages, dynamic and temporal logics, knowledge representation and AI, verification, computational linguistics.)
A3.2 Logic and complexity (Interactive and zero-knowledge proofs, complexity of proof systems,
complexity theory and model theory, probabilistically checkable proofs.)
B GENERAL PHILOSOPHY OF SCIENCE
B1 General problems of methodology and scientific reasoning
B2 Formal approaches to methodology
B3 Historical and sociological aspects in the philosophy of science
C PHILOSOPHICAL ISSUES OF PARTICULAR SCIENCES
C1 Philosophy of mathematics and logic
C2 Philosophy of physics
C3 Philosophy of biology
C4 Philosophy of cognitive science, psychology and linguistics
C5 Philosophy of economics, theories of rationality, decision theory, game theory
C6 Philosophy of social sciences
C7 Philosophy of medicine
D SCIENCE AND SOCIETY
D1 Ethical issues in scientific practice and technology
D2 Bioethics
D3 Science and education
SYMPOSIUM
S1 Freud & Psychoanalysis
S2 Cosmology
The presentations will be grouped according to the subject categories listed above. The participant is expected to submit a one-page abstract, with his/her prospective section, university/employer and contact information (including phone number, address and email). The deadline is March 10, 2007, but submission by regular mail is no later than March 1, 2007. Electronic submission goes to www.clmps2007.org. Regular mail is addressed as:
Wei Wang
The LOC of the 13th Congress
Institute of Science, Technology and Society
Tsinghua University, Beijing 100084
China
For more information, please visit the website of the Congress: www.clmps2007.org. Should you have any questions, please do not hesitate to write to
.
All people interested in logic, methodology and philosophy of science are warmly welcome! Join us in Beijing, August 9-15, 20007 for a new landmark event!
+==+==+==+==+==+==+==+==+==+==+==+==+==+