[FOM] PHINEWS Bulletin, June 2005 (redirected from Vincent F. Hendricks)

Tue Jun 7 21:08:59 EDT 2005

PHINEWS Bulletin, June 2005

The Newsletter for Philosophical Logic and Its Applications
edited by Vincent F. Hendricks, Stig Andur Pedersen and Dov M. Gabbay
Published by PHILOG and Springer

Table of Contents
(1) Formal Philosophy - www.formalphilosophy.com
(2) Jaakko Hintikka: Knowledge and Belief, re-issue edition 2005
(3) Annoucements
- 7th European Agent Systems Summer School (EASSS05)
- FOURTH INTERNATIONAL WORKSHOP ON COMPUTATIONAL MODELS OF SCIENTIFIC
REASONING AND APPLICATIONS (CMSRA-IV)
(4) Job annoucement
(5) PHINEWS
------
(1) Formal Philosophy - http://www.formalphilosophy.com
Founded and edited by Vincent F. Hendricks and John Symons /
ISBN 1904987176 / Available in December 2005, online and book format
Formal methods play a significant role in philosophical and scientific
thinking. The development of novel formal theories and techniques has often
sparked the formulation of, and the solution to, central philosophical and
scientific problems. Formal insights have sharpened, radicalized and
extended insights and ideas, which without use of formal representations
would not have seen the light of day. Formal methods serve as fulcrums in
philosophy and science, although formal means per se may be technical in
nature, they raise many general philosophical questions. What is the range
of applications of formal methods? Can one advance universal principles for
determining whether a given problem at hand can be solved using formal
methods? Etc.

Formal Philosophy is a collection of short interviews with some of the most
influential and prominent scholars in formal philosophy. We hear their views
on formal philosophy, its aim, scope, prospect and future direction and how
your work fits in these regards.

Formal Philosophy conveys the importance of formal philosophy and serves as
a resource for prospective students interested in the application and scope
of formal methods in philosophy.
Interviewees
* Johan van Benthem
* Brian F. Chellas
* Anne Fagot-Largeault
* Solomon Feferman
* Melvin Fitting
* Bas van Fraassen
* Dagfinn Føllesdal
* Haim Gaifman
* Clark Glymour
* Adolf Grünbaum
* Susan Haack
* Sven Ove Hansson
* Jaakko Hintikka
* Isaac Levi
* H. Jerome Keisler
* Ruth Barcan Marcus
* Rohit Parikh
* Jeff Paris
* Gabriel Sandu
* Krister Segerberg
* Wolfgang Spohn
* Robert Stalnaker
* Patrick Suppes
* Timothy Williamson

(2) JAAKKO HINTIKKA: Knowledge and Belief: An Introduction to the Logic of
the Two Notions.
Reissue edition, Prepared by Vincent F. Hendricks & John Symons, King's
College Publications, May 2005, ISBN: 1904987087

In 1962 Jaakko Hintikka published "Knowledge and Belief: An Introduction to
the Logic of the Two Notions" with Cornell University Press. Almost every
paper or a book on epistemic and doxastic logic that has appeared since then
has referred to this seminal work. Although many philosophers working in
logic, epistemology, game-theory, economics, computer science
and linguistics mention the book, it is very likely that most have never
literally had their hands on it, much less owned a copy. After a fourth
printing in 1969, Knowledge and Belief went out of print and as many of us
have found to our dismay, it has become increasingly difficult to find used
copies at our local shops or online. It is our pleasure to provide the
interdisciplinary community with this reprint edition of Knowledge and
Belief.

Knowledge and Belief is a classic on which a generation - my generation - of
epistemologists cut their teeth. This reissue is welcome. It will provide
something for the next generation to chew on.
Fred Dretske, Duke University

It is wonderful to see this classic being reissued after so many years out
of print. It was extremely influential in its day; its influence continues
to this day, through the impact of epistemic logic in fields as diverse
distributed computing, artificial intelligence, and game theory. This
reissue should make it possible for a new generation of researchers to
appreciate Hintikka's groundbreaking work.
Joseph Halpern, Cornell University

Available at AMAZON
http://www.amazon.co.uk/exec/obidos/ASIN/1904987087/qid%3D1117465677/026-7894271-0092408

(3) ANNOUNCEMENTS:
AgentLink is proud to present the
7th European Agent Systems Summer School (EASSS05)
Utrecht, The Netherlands, 18 - 22 July 2005.
EASSS05 consists of a mixture of introductory and advanced courses delivered
by internationally leading experts in the agent field, and it covers the
full range of theoretical and practical aspects of agent-based computing.
This year's EASSS offers more courses than ever, including practical
programming sessions and a course with robots.
EASSS05 is open to anyone from research or industry, both AgentLink members
and non-members alike. A registration fee will be charged to cover costs,
but some support will also be available for PhD students.
There are several cheap connections from European cities to Utrecht, and
EASSS05 will be held one week before AAMAS05!
Since we anticipate popular demand for this edition of EASSS, attendees are
advised to book local accommodation as soon as possible.
For more information, a full program and registration:
http://www.agentlink.org/happenings/easss/2005/index.html
Wiebe van der Hoek
Coordinator of AgentLink III's
Student Integration Programme
------
LAST CALL FOR PAPERS & EXTENDED DEADLINES
FOURTH INTERNATIONAL WORKSHOP ON
COMPUTATIONAL MODELS OF SCIENTIFIC
REASONING AND APPLICATIONS (CMSRA-IV)
Lisbon, Portugal
September 21-23, 2005
**EXTENDED** Paper Deadlines:
Abstracts: May 24, 2005.
Full Papers: May 29, 2005.
Notification of Acceptance: June 30, 2005
Camera-ready Papers: July 15, 2005
A special issue of the Journal of Applied Logic will be devoted to the
best original papers presented in the workshop.
Web: http://centria.di.fct.unl.pt/~greg/conf/CMSRA-IV.html
Purpose
-------
The CMSRA workshops are an international forum for researchers from the
fields of Logic & Decision, Knowledge Representation & Reasoning, Formal
Epistemology, Computational Logic and Cognitive Science to discuss recent
work in computational models of scientific reasoning.
Scope & Motivation
------------------
The CMSRA workshops are designed to promote research of high-level cognitive
reasoning that addresses both the logico-philosophical issues surrounding
high-level cognitive notions such as 'knowledge', 'belief' and 'rationality'
among others, and also addresses the computational issues involved in
constructing practical working models of such reasoning.
Research in this area is being driven by practical concerns and purely
theoretical concerns. From a practical point of view, distributed computing
and autonomous robotic agents offer two examples of research areas where
there is increased interest in improving the capabilities of agents (or
distributed processes) to reason about what each 'knows'. From a
logico-philosophical point of view, the natural emphasis on formal semantics
*and* syntax that computational modeling demands is generating new formal
studies of concepts and relations that have been traditionally studied by
philosophical logics, opening promising new lines of research.
Topics include:
1. Knowledge Representation & Formal Epistemology
KR&R Ontologies, Concept Formation
Theory Formation
Confirmation Theory, Evidence
Rational Acceptance, Belief
The Anchoring Problem, Perception
Experimental Design
2. Decision & Inference
Probability, Logic and Uncertainty Frameworks
Higher Order and Non-classical, Pure & Applied Logics
Computational Models of Reasoning:
-Analogical, Inductive, Abductive & Statistical Reasoning;
-Causal & Explanatory Reasoning;
-Hypothetical & Counterfactual Reasoning;
-Evidential & Defeasible Reasoning;
-Discovery, Investigation & Inquiry;
-Theory change, Belief Revision/Updates.
Learning
3. Distributed/Social Agents
Argumentation
Negotiation
Semantic web
Social Choice
Cooperation & Team Behavior
Distributed Scientific Reasoning
Computational Models of agent behavior in terms of:
-Multi-agent Modal epistemic logic;
-Update/Conditional Logics;
-Logic Programming;
-Game Theory.
4. Applications
New Information Technologies
Computational Theories in the Sciences
Probabilistic Proof Procedures
Intelligent Data Mining, Agent-Based Scientific Discovery
Models of Agreement
Bioinformatic Knowledge Processing
Invited Speakers:
-----------------
Teddy Seidenfeld, Carnegie Mellon University
Wiebe van der Hoek, University of Liverpool
Program Chairs & Organizers
-----------------
Luis Moniz Pereira (lmp at di.fct.unl.pt)
Gregory Wheeler (greg at di.fct.unl.pt)
Program Committee
-----------------
Horacio Arlo-Costa (Carnegie Mellon, USA)
Jean-Yves Beziau (University of Neuchatel, Switzerland)
Claudio Delrieux (Universidad Nacional del Sur, Argentina)
James Hawthorne (University of Oklahoma, USA)
Pat Hayes (IHMC, USA)
Anthony Hunter (University College London, UK)
Kevin Kelly (Carnegie Mellon, USA)
Henry Kyburg (University of Rochester & IHMC, USA)
Ron Loui (Washington University at St. Louis, USA)
Lorenzo Magnani (University of Pavia, Italy)
Joke Meheus (Universiteit Gent, Belgium)
Luis Moniz Pereira (Universidade Nova de Lisboa, Portugal)
David Pearce (Universidad Rey Juan Carlos, Spain)
Choh Man Teng (IHMC, USA)
Gabriel Uzquiano (Ohio State University, USA)
Gregory Wheeler (Universidade Nova de Lisboa, Portugal)
Jon Williamson (London School of Economics, UK)
For more information:
Web: http://centria.di.fct.unl.pt/~greg/conf/CMSRA-IV.html
Gregory Wheeler
CENTRIA: Artificial Intelligence Center
Dept. of Computer Science
Universidade Nova de Lisboa
2829-516 Caparica, Portugal
<http://centria.di.fct.unl.pt/~greg>

(4) JOB ANNOUCEMENT
THE UNIVERSITY OF LIVERPOOL * DEPARTMENT OF COMPUTER SCIENCE
LECTURER IN MULTI-AGENT SYSTEMS
The post will be attached to the Agent Application, Research and Technology
group (Agent ART), and the successful candidate will have an excellent track
record of research in this area. Current research interests of the group
include: logical foundations of multi-agent systems, (particularly temporal,
modal, epistemic, dynamic, and game logics for agent systems); argumentation
and dialogue systems, and ontologies and the semantic web. Applicants with
expertise in these areas are particularly welcome, but we welcome applicants
with other related expertise. The post attracts a special HEFCE-funded
"Golden Hello" to the value of GBP 9K paid in three instalments over three
years, subject to individuals satisfying the eligibility criteria.

Informal enquiries to:
Professor Mike Wooldridge, Head of Department,
mailto:mjw at csc.liv.ac.uk
or
Professor Wiebe van der Hoek, Head of Agent ART group,
mailto:wiebe at csc.liv.ac.uk

PLEASE QUOTE REF: B/488 IN ALL COMMUNICATIONS
Closing Date for Applications: 17 June 2005
SALARY GBP 23,643-35,883 pa
Further particulars and details of the application procedure should be
requested from the Director of Personnel, The University of Liverpool,
Liverpool L69 3BX on (+44 151) 794 2210 (24 hr answerphone), via
email:jobs at liv.ac.uk or are available online at
http://www.liv.ac.uk/university/jobs.html

(5) PHINEWS
PHINEWS, volume 8 is due in October 2005. Deadline for submissions is
September 1, 2005.
PHINEWS is published by PHILOG: http://www.philog.ruc.dk
and Springer:
http://www.springeronline.com

With best wishes for the summer,
Vincent F. Hendricks

Vincent F. Hendricks, dr. phil., PhD
Editor-in-chief: Synthese & Synthese Library
Professor of Epistemology, Logic and Methodology
Member of IIP - The International Institute of Philosophy
Editor: Trends in Logic (Studia Logica Library) / Studia Logica
Director of PHILOG, Editor-in-chief of PHINEWS
Department of Philosophy and Science Studies Roskilde University P.O. Box
260, 4000 Roskilde Denmark
Cell: (+45) 4016 8063
Website:
http://akira.ruc.dk/~vincent
http://www.formalphilosophy.com
http://www.vince-inc.com