BEGIN:VCALENDAR PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN VERSION:2.0 CALSCALE:GREGORIAN METHOD:PUBLISH BEGIN:VEVENT DTSTAMP:20240329T140118Z DTSTART;TZID=Europe/Tallinn:20150801T040000 DTEND;TZID=Europe/Tallinn:20150802T130000 SUMMARY:History and Philosophy of Logic Notations UID:20240329T140716Z-iCalPlugin-Grails@philevents-web-6f97df9687-7c6q9 TZID:Europe/Tallinn LOCATION:Tallinn\, Estonia DESCRIPTION:
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 &ldquo\;philosophy of notation&rdquo\; 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.
\nThe 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 will 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.
\nThe 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.
\nFor more information\, please contact: \;moktefi@unistra.fr
\nThe organisers\,
\nAhti-Veikko Pietarinen\, Francesco Bellucci and Amirouche Moktefi
\n\n\nWorkshop program\n1. August 2015
\nLocation: \;Building \;SOC \;- Room \;414\, \;Tallinn University of Technology
\n10.00-10.15 Opening
\n10.15-11.00 \;Volker Peckhaus\, \;&lsquo\;Mathematics as universal reasoning&rsquo\;: On the role of symbols in the algebra of logic
\n11.00-11.30 \;Gabriela Besler\, \;Gottlob Frege&rsquo\;s notation in use
\n11.30-12.00 Coffee break
\n12.00-12.30 \;Jens Lemanski\, \;Schemes and notations of Euler-diagrams in the Weigel and Weise circle
\n12.30-13.00 \;Anna-Sophie Heinemann\, \;&ldquo\;horrent with mysterious spiculae&rdquo\;: Augustus De Morgan&rsquo\;s notational system of 1850
\n13.00-14.00 Lunch break
\n14.00-14.30 \;Ahti-Veikko Pietarinen\, \;No scope for illation?
\n14.30-15.00 \;Francesco Bellucci\, \;Peirce and Wittgenstein on parentheses and other signs
\n15.00-15.30 \;Javier Legris\, \;C. S. Peirce&rsquo\;s existential graphs beyond the distinction of logic as calculus vs. logic as language
\n15.30-16.00 Coffee break
\n16.00-16.45 \;Frederik Stjernfelt\, \;Natural kinds and the philosophy of notation
\n16.45-17.30 \;Jim Burton\, \;The spontaneous ideology of spider diagrams
\n
2. August 2015
Location: Building \;SOC \;- Room \;414\, \;Tallinn University of Technology
\n10.30-11.00 \;Ofra Rechter\, \;Kant on Notation and Intuition
\n11.00-11.30 \;Amirouche Moktefi\, \;On the choice of notations in early symbolic logic
\n11.30-12.00 \;Dirk Schlimm\, \;Towards a cognitive and pragmatic account of notations for propositional logic
\n12.00-13.00 Lunch break
\n13.00-13.45 \;Jean-Yves Bé\;ziau\, \;Semiotics of modern logic
\n13.45-14.30 \;Emily Grosholz\, \;The idioms of logic\, arithmetic\, and algebraic number theory
\n14.30-15.00 Coffee break
\n15.00-15.30 \;Larisa Gogianu\, \;First-order logic without identity
\n15.30-16.00 \;Fabien Schang\, \;If\, and only if
\n16.00-16.30 \;Reinhard Kahle &\; Wilfried Keller\, \;Coloured syntax and semantics
ORGANIZER;CN=Francesco Bellucci;CN=Amirouche Moktefi;CN=Ahti-Veikko Pietarinen: METHOD:PUBLISH END:VEVENT END:VCALENDAR