Call for Papers: Logic Workshop at Buenos Aires

January 31, 2012

Call for Papers

Logic Workshop at Buenos Aires
A Tribute to Horacio Arló-Costa

SADAF, the Argentine Society for Philosophical Analysis, is organizing a Tribute to Horacio Arló-Costa, to take place in Buenos Aires, August 2nd to 4th, 2012.

Invited speakers:

Verónica Becher (Universidad de Buenos Aires)

John Collins (Columbia University)

Paul Egré (Jean Nicod Institute)

Jeff Helzner (Columbia University)

Rohit Parikh (City University of New York)

Fernando Tohmé (Universidad Nacional del Sur)

To be confirmed:

Cristina Bicchieri (University of Pensylvannia)

Alberto Moretti (SADAF-Universidad de Buenos Aires-CONICET)

Gladys Palau (Universidad de Buenos Aires)

Paul Pedersen (Carnegie Mellon University)

We call for contributions in any area of philosophical logic, including (but not limited to) epistemic and modal logic, ampliative reasoning, belief revision, conditional logic, game theory and decision theory, among other topics.

We invite submissions for 40-minute presentations. Submissions should take the form of a 1000/1500-word abstract. They should be sent by e-mail in an attached file in pdf format to info@sadaf.org.ar. Authors’ names and affiliation should be given only in the text of the e-mail message. The abstracts will be blind reviewed by an international scientific committee. English and Spanish will be the official languages of the conference. However, we encourage contributors to provide to the audience an extended abstract, ppt presentation, handout or full paper in English during the Conference.

Deadline for reception of submissionsMarch 30th, 2012

Communication of acceptance/rejection: May 30th, 2012

For further particulars, please check the SADAF website at www.sadaf.org.ar or contact us by sending an e-mail to info@sadaf.org.ar.

Organizing Committee: Eduardo Barrio, Eleonora Cresto, Sandra Lazzer, Diana Pérez.

Scientific Committee: Verónica Becher, John Collins, Paul Egré, Jeff Helzner, Alberto Moretti, Gladys Palau, Rohit Parikh, Fernando Tohmé.


About SADAF

SADAF, the Argentine Society for Philosophical Analysis, is a non-profit organization devoted to research in philosophy. It was founded in 1972, and at present it counts with more than two hundred members, many of which are either faculty members or advanced students at various universities in Argentina and abroad. SADAF offers seminars and colloquium series, and hosts different kinds of academic meetings all year round. Since 1981 it is also home of Análisis Filosófico, a biannual, peer-reviewed journal of philosophy. Horacio Arló-Costa was an active member of SADAF while he lived in Argentina, and kept close ties with our institution after leaving the country. More information in Spanish in www.sadaf.org.ar

Submitted by Eleonora Cresto


CFP Extended Deadline: Games, Interactive Rationality and Learning (G.I.R.L.`12@Lund)

January 30, 2012

1st Conference on
Games, Interactive Rationality and Learning

G.I.R.L.`12@Lund
Lund, Department of Philosophy and Cognitive Science
April 19-21, 2012

Call for Papers
Deadline Extended: February 15, 2012

Calendar/Important dates.

February 15: Abstract submission deadline

March 1: Author notification

April 19-20: Conference

April 21 or April 28: Undergraduate/Graduate Session

Aims of the conference.

Formal philosophy relies increasingly on simulations, and sometimes on empirical test, coming closer to both computer-, cognitive- and social sciences. Some examples are learning-theoretic models of inquiry, network theory-based approaches in social epistemology, and game-theoretic evolutionary approaches of communication. The aim of the G.I.R.L.’12 Conference is to bring together researchers in philosophy, cognitive science and artificial intelligence, to investigate new areas where the game- and learning-theoretic simulation approaches can lead to fruitful results.

A central topic is interactive rationality, or rational behavior that emerges from interaction. Unlike “rational interaction”—its much better known sister—it does not presuppose agents to be rational to begin with. Examples are given by evolutionary game-theory, which studies rational (equilibrium-reaching) behavior emerging from interaction of non-reflective agents; or learning-theoretic models of inquiry showing how inquiry can solve inductive problems, while substituting truth-tracking efficiency to reflexive justification.

Subject.

We welcome submissions of either already published research, or original material, primarily on the following topics:

  • Relations between “ecological rationality” of choice and inference heuristics, and choice-, decision- and game-theoretic axiomatic approaches to rationality;
  • Models of signaling games, evolutionary games, or games with bounded agents;
  • Learning-theoretic approaches of inquiry, knowledge acquisition and reasoning;
  • Simulation-based approaches of group learning and decision-making in networks.

Submissions on related subjects not listed above are welcome. If the number of original contributions is sufficient, we will consider the
publication of a proceedings volume.

Submissions – Abstracts.

Original submission: abstracts of 200-500 words, plus bibliography

Published research: abstract of the published version, plus bibliography.

Submissions should be sent electronically in word or pdf format to justine[dot]jacot[at]fil[dot]lu[dot]se, with ”G.I.R.L.’12@Lund_Submission” in the subject line of the mail, and whether your submission is intended for the graduate session.

Deadline for submissions: February 15, 2012.

Invited Speakers (pending confirmation).

Alexandru Baltag (ILLC, Amsterdam, Netherlands)

Nina Gierasimczuk (University of Groningen, Netherlands)

Vincent F. Hendricks (University of Copenhagen, Denmark)

Kevin Kelly (Carnegie Mellon University, Pittsburgh PA, US)

Paul Pedersen (Carnegie Mellon University, Pittsburgh PA, US)

Ruth Poproski (Carnegie Mellon University , Pittsburgh PA, US)

Patricia Rich (Carnegie Mellon University, Pittsburgh PA, US)

Sonja Smets (University of Groningen, Netherlands and ILLC, Amsterdam)

Local organizing Committee.

Emmanuel Genot (Lund, Theoretical Philosophy)

Justine Jacot (Lund, Theoretical Philosophy)

Philip Pärnamets (Lund, Cognitive Science)

Webpage of the conference:

http://www.fil.lu.se/conferences/conference.asp?id=49&lang=se

Submitted by Justine Jacot


A Formal Epistemology Reader

January 30, 2012

A Formal Epistemology Reader

Edited by
Horacio Arló-Costa, Johan van Benthem, Vincent F. Hendricks
Cambridge: Cambridge University Press, 2012
ISBN 9781107608726 (paperback)
ISBN 9781107001794 (hardback)
Assistant Editors: Henrik Boensvang & Rasmus K. Rendsvig

Release date / Fall 2012

‘Formal epistemology’ is a term coined in the late 1990s for a new constellation of interests in philosophy,the roots of which are found in earlier works of epistemologists, philosophers of science, and logicians. It addresses a growing agenda of problems concerning knowledge, belief, certainty, rationality, deliberation, decision, strategy, action and agent interaction – and it does so using methods from logic, probability, computability, decision, and game theory. This volume presents 42 classic texts in formal epistemology, and strengthens the ties between research into this area of philosophy and its neighbouring intellectual disciplines. The editors provide introductions to five basic subsections: Bayesian Epistemology, Belief Change, Decision Theory, Interactive Epistemology and Logics of Knowledge and Belief. The volume also includes a thorough index and suggestions for further reading, and thus offers a complete teaching and research package for students as well as research scholars of formal epistemology, philosophy, logic,computer science, theoretical economics and cognitive psychology.

Read more about the collection, and view table of contents here: http://www.vince-inc.com/vincent/?p=1030.

[Cross posted at Certain Doubts]


Jeremy Avigad: Computability, Constructivity, and Convergence in Measure Theory

January 30, 2012

Jeremy Avigad, Professor of the Department of Philosophy and the Department of Mathematical Sciences at Carnegie Mellon University, will deliver a faculty colloquium lecture, “Computability, Constructivity, and Convergence in Measure Theory.” After earning a degree in mathematics from Harvard University, Avigad pursued a Ph.D. in mathematics from the University of California, Berkeley, under the supervision of Jack Silver, earning his doctorate in 1995 for his thesis, Proof-Theoretic Investigations of Subsystems of Second-Order Arithmetic. With ongoing research interests in mathematical logic, proof theory, the philosophy of mathematics, formal verification, automated reasoning, and the history of mathematics, Avigad joined the Department of Philosophy in 1996 and the Department of Mathematical Sciences in 2007.  What follows is an abstract of his lecture to be delivered Thursday, February 2, 2012, at Carnegie Mellon University.

When confronted with a nonconstructive theorem, those interested in computational and constructive aspects of mathematics have various options: they can seek constructive and computational versions of the theorem in question; they can calibrate the extent to which the given theorem it nonconstructive; and they can look for computational or other explicit information hidden in the proof. I will discuss measure-theoretic convergence theorems that come up in the study of dynamical systems and stochastic processes, and give examples of all three approaches to understanding their constructive content.I will try to make the talk accessible to a broad audience.

Philosophy Colloquium
Department of Philosophy
Carnegie Mellon University

Thursday, February 2, 2012

Reception.
4:00-4:35 pm DH 4301

Lecture.
4:45-6:00 pm BH A53

As usual, all are invited to attend.


With Permission, a Disjunction entails its Disjuncts

January 24, 2012

In addition to the Games and Decisions talk by Nils-Eric Sahlin on Wednesday, January 25,
Martin Aher of the Cognitive Science Institute of the University of Osnabrück will deliver a colloquium lecture, “Free Choice in Deontic Radical Inquisitive Semantics,” on Thursday, January 26. A Visiting Scholar of the Department of Philosophy, Aher is a Ph.D. student studying computational linguistics under the supervision of Carla Umbach and Jeroen Groenendijk. What follows is an abstract of his lecture to be delivered at Carnegie Mellon University.

We will propose a novel solution to the puzzle that the word “or” under permission, for example under “may,” loses standard entailment relations. While a disjunction is generally entailed by its disjuncts, under permission it receives a “free choice” reading where the disjunction entails its disjuncts. Our solution is driven by empirical data from legal discourse and does not suffer from the same problems as implicature-based accounts. We will argue against implicature-based accounts and provide an entailment-based solution. The framework for the proposal is inquisitive semantics, which will be introduced in its radical form. Following Anderson’s violation-based deontic logic, we will demonstrate that a support-based radical inquisitive semantics will correctly model both the free choice effect and the boolean standard entailment relations in downward entailing contexts. An inquisitive semantics is especially suited to model cases where the continuation “but I do not know which” coerces an ignorance reading. It also demonstrates that the counterarguments to deontic reduction failed to take into account the effects of different utterances in conversation, such that a refined definition of radical inquisitive entailment renders such inferences invalid. Furthermore, we will argue that the problem of strengthening the antecedent that is used as a counterargument against entailment-based accounts also fails under a refined notion of entailment.


Philosophy Colloquium
Department of Philosophy
Carnegie Mellon University

Thursday, January 26, 2012

Reception.
4:00-4:35 pm DH 4301

Lecture.
4:45-6:00 pm BH A53

As usual, all are invited to attend.


Call for Papers: Games, Interactive Rationality and Learning (G.I.R.L.`12@Lund)

January 23, 2012

1st Conference on
Games, Interactive Rationality and Learning

G.I.R.L.`12@Lund
Lund, Department of Philosophy and Cognitive Science
April 19-21, 2012

Call for Papers
Deadline January 31, 2012

Aims of the conference.

Formal philosophy relies increasingly on simulations, and sometimes on empirical test, coming closer to both computer-, cognitive- and social sciences. Some examples are learning-theoretic models of inquiry, network theory-based approaches in social epistemology, and game-theoretic evolutionary approaches of communication. The aim of the G.I.R.L.’12 Conference is to bring together researchers in philosophy, cognitive science and artificial intelligence, to investigate new areas where the game- and learning-theoretic simulation approaches can lead to fruitful results.

A central topic is interactive rationality, or rational behavior that emerges from interaction. Unlike “rational interaction”—its much better known sister—it does not presuppose agents to be rational to begin with. Examples are given by evolutionary game-theory, which studies rational
(equilibrium-reaching) behavior emerging from interaction of non-reflective agents; or learning-theoretic models of inquiry showing how inquiry can solve inductive problems, while substituting truth-tracking efficiency to reflexive justification.

Subject.

We welcome submissions of either already published research, or
original material, primarily on the following topics:

  • Relations between “ecological rationality” of choice and inference heuristics, and choice-, decision- and game-theoretic axiomatic approaches to rationality;
  • Models of signaling games, evolutionary games, or games with bounded agents;
  • Learning-theoretic approaches of inquiry, knowledge acquisition and reasoning;
  • Simulation-based approaches of group learning and decision-making in networks.

Submissions on related subjects not listed above are welcome. If the number of original contributions is sufficient, we will consider the
publication of a proceedings volume.

Submissions – Abstracts.

Original submission: abstracts of 200-500 words, plus bibliography

Published research: abstract of the published version, plus bibliography.

Submissions should be sent electronically in word or pdf format to justine[dot]jacot[at]fil[dot]lu[dot]se, with ”G.I.R.L.’12@Lund_Submission” in the subject line of the mail, and whether your submission is intended for the graduate session.

Deadline for submissions: January 31, 2012.

Invited Speakers (pending confirmation).

Alexandru Baltag (ILLC, Amsterdam, Netherlands)

Nina Gierasimczuk (University of Groningen, Netherlands)

Vincent F. Hendricks (University of Copenhagen, Denmark)

Kevin Kelly (Carnegie Mellon University, Pittsburgh PA, US)

Paul Pedersen (Carnegie Mellon University, Pittsburgh PA, US)

Ruth Poproski (Carnegie Mellon University , Pittsburgh PA, US)

Patricia Rich (Carnegie Mellon University, Pittsburgh PA, US)

Sonja Smets (University of Groningen, Netherlands and ILLC, Amsterdam)

Calendar/Important dates.

January, 31: Abstract submission deadline

February, 29: Authors notification

April, 19-20: Conference

April, 21: Undergraduate/Graduate Session

Local organizing Committee

Emmanuel Genot (Lund, Theoretical Philosophy)

Justine Jacot (Lund, Theoretical Philosophy)

Philip Pärnamets (Lund, Cognitive Science)

Webpage of the conference:

http://www.fil.lu.se/conferences/conference.asp?id=49&lang=se

Submitted by Justine Jacot


Kitcher on Parfit

January 21, 2012

Here is Philip’s timely review in The New Republic.


Follow

Get every new post delivered to your Inbox.

Join 88 other followers