—————

08 June 2011 : Abstract submission (EXTENDED deadline)

22 June 2011 : Paper submission (EXTENDED deadline)

03 August 2011 : Notification of acceptance

01 September 2011 : Registration

08 September 2011 : Revised papers according to the reviews

26-29 September 2011 : Symposium

30 November 2011 : Final papers for post-proceedings

I want to joint the Programm Committee of the Conferennce. How I can do this?

Thank yoy

Dr. Eugen Berman ]]>

Try one of these:

http://www.ifcolog.net/?p=1097

http://www.ifcolog.net/?p=1069

The use of diagrams in logic is old but unequal. The nineteenth century is often said to be the golden age of diagrammatic logic, thanks to the wide use of Euler and Venn diagrams, before a period of decline with the

arrival of the Frege – Russell tradition of symbolization. One more obstacle that prevented the use of diagrams is the plurality of logical

systems and the difficulty to deal with them. However, diagram studies have known a revival in recent years. It is thus legitimate to wonder

what place diagrams hold in modern logical theory and practice.

The aim of this session is to discuss the logical status of diagrams.

Topics include: What is a logic diagram? Is diagrammatic logic one more

logic? Or are diagrams merely a notation that one can adapt to fit to different logics? Do diagrams fit to some logical systems better than to

others? Is there still room for the use of diagrams in modern logic?

Please find bellow the program of the session.

Program

09.00: Opening remarks

09.05: Valeria Giardino, A Cognitive Approach to Diagrams in Logic

09.30: Frege’s Affair

Danielle Macbeth (invited speaker), Reasoning in Diagrams: The case of

Begriffsschrift

Juliusz Doboszewski & Andrzej J. Nowak, Nonlinear orthography or

nonlinear reasoning: Frege’s Begriffsschrift as seen against Peirce’s

existential graphs

10.30: Coffee break

11.00: Peirce’s Gamma

Catherine Legg, The Hardness of the Iconic Must: Can Peirce’s

Existential Graphs Assist Modal Epistemology?

Len Olsen, Sentential Modal Logic and the Gamma Graphs

Ahti-Veikko Pietarinen, Tableaux for Gammas

12.30: Lunch break

14.00: Euler and Beyond

Koji Mineshima, Mitsuhiro Okada, & Ryo Takemura, Reasoning with Euler

diagrams: a proof-theoretical approach

John Howse, Peter Rodgers & Gem Stapleton, Levels of Syntax for Euler

Diagram Logics

Jørgen Fischer Nilsson, Diagrammatic Reasoning with Class Relationship Logic

Denis I. Saveliev, Diagrams in the Membership Game

15.55: Closing remarks

]]>