History and Philosophy of Logic Notations
Notations are an important aspect of modern logic. Since the time of Leibniz at least, logicians have been keenly interested in the properties of logical notations and symbolic systems. One remarkable attempt to develop a philosophical investigation into logical notations was made by C. S. Peirce, who coined the phrase “philosophy of notation” to denote the principles that govern logical symbolism, both algebraical and graphical. In the works of logicians such as Leibniz, Lambert, Ploucquet, Boole, Frege, Peirce, Schröder, Peano, Russell (and many others), we find important ideas concerning the different modes of representation of logical concepts, and important suggestions regarding the virtues and faults of the different systems. The aim of the workshop is to update and advance scholarship on the history and philosophy of logic notations, and to explore the present challenges and future developments of the field. Topics that might be addressed include: the history of logical notations; the virtues and the limits of different notations and symbolic systems; the design and the role of notations in logic; the circulation of notations in and outside logic; diagrammatic reasoning and visual thinking in logic and mathematics; cognitive and semiotic dimensions of formal reasoning.
Invited speakers include: Mirja Hartimo (Jyväskylä, Finland), Volker Peckhaus (Paderborn, Germany), Frederik Sjernfelt (Copenhaguen, Denmark), Jean-Yves Béziau (Rio de Janeiro, Brazil) and James Burton (Brighton, UK).
The workshop will take place in Tallinn on 1-2 August 2015, before the 'Logic, Methodology and Philosophy of Science Congress' that takes place on 3-8 August in Helsinki.
There is a 2 hour ferry ride between Tallinn and Helsinki.
A selection of papers will be considered for publication in a special issue of the journal: 'History and Philosophy of Logic'.
Submissions (300 words approx.) should be sent to moktefi [at] unistra.fr by 1 March 2015.
Notifications will be sent by 15 March 2015.
Organisers: Ahti-Veikko Pietarinen, Francesco Bellucci & Amirouche Moktefi (Tallinn University of Technology)