Tuesday, October 19, 2010

Applications of Logic in Philosophy and Foundations of Mathematics CFP

If structural completeness is your thing, Janusz Czelakowski, Tomasz Połacik and Marcin Selinger are organizing a conference focusing on such issues. It will take place in a nice small mountain town in Poland (Szklarska Poręba) 9-13 may, 2011. The conference is about to be bilingual, so feel free to take a look at the CFP and maybe drop them a line.

Monday, October 11, 2010

Second Entia et Nomina Workshop CFP

This is the second time Gdansk University is organizing Entia et Nomina, a logico-philosophical workshop. Most likely, it is also the last time the language is Polish. Next time, we plan to switch to English. So, English speakers - stay tuned. Polish speakers - CFP below:


Friday, October 8, 2010

PhDs in Logic, CFP

17-18 February 2011, PhDs in Logic III, Brussels, Belgium (deadline: 15 November 2010)

PhDs in Logic is an annual two-day graduate conference and winter school in logic. Each year we invite four established professors to do a tutorial on their work in two one-hour sessions. We also give about ten PhD students the opportunity to do a thirty-minute presentation on (a) their own work or (b) an overview of some topic in their field.

The current conference will feature the tutorials by Eric Pacuit (*Epistemic Logic*), Sonja Smets (*Quantum Logic*), Mai Gehrke (*Algebraic Logic*) and Peter Koepke (*Set Theory*). PhD students in logic with a background in philosophy, computer science, or mathematics are the intended audience for these tutorials. They are also the type of students we have in mind for our thirty-minute student sessions.

Students interested in doing a talk should send a 500-1000 word abstract to phdsinlogic+abstracts at gmail.com by November 15th, 2010.

For more information, visit our website at http://www.vub.ac.be/phdsinlogic2011/.

Saturday, October 2, 2010

Busting a myth about Lesniewski and definitions

Some time ago I run into a few logicians chatting at a conference about how Lesniewski formulated the standard theory of definitions. For some reason I felt obliged to say a few words about this. One thing let to another, and this ended up in a footnote to Gupta's entry on definitions at the Stanford Encyclopedia (see footnote three). A few more coincidences and I started writing a paper about this with Severi Hamari. After a freakish number of revisions (around 20) we finally agreed on a version, and I posted it on academia.

Many thanks for their comments to John MacFarlane, Nuel Belnap, Wilfrid Hodges, Paolo Mancosu, Oystein Linnebo and Jan von Plato (I hope I didn't forget anyone).


A theory of definitions which places the eliminability and conservativeness requirements on definitions is usually called the standard theory. We examine a persistent myth which credits this theory to S. Lesniewski, a Polish logician. After a brief survey of its origins, we show that the myth is highly dubious. First, no place in Lesniewski’s published orunpublished work is known where the standard conditions are discussed. Second, Lesniewski’s own logical theories allow for creative definitions. Third, Lesniewski’s celebrated ‘rules of definition’ lay merely syntactical restrictions on the form of definitions: they do not provide definitions with such meta-theoretical requirements as eliminability or conservativeness. On the positive side, we point out that among the Polish logicians, in the 1920s and 30s, a study of these meta-theoretical conditions is more readily found in the works of J. Lukasiewicz and K. Ajdukiewicz.

History and Philosophy of Computing, Ghent, Nov 7-10, 2011

From 7-10 November 2011 the Centre for Logic and Philosophy of Science organizes an International Conference on the History and Philosophy of Computing.


The computing sciences collect the most diverse complex of experts: philosophers, logicians, historians, mathematicians, computer scientists, programmers, engineers. The number of involved subjects grows accordingly: from foundational issues to their applications; from philosophical questions to problems of realizability and design of specifications; from theoretical studies of computational barriers to the relevance of machines for educational purposes.

A historical awareness of the evolution of computing not only helps to clarify the complex structure of the computing sciences, but it also provides an insight in what computing was, is and maybe could be in the future. Philosophy, on the other hand, helps to tackle some of the fundamental problems of computing, going from the limits of the “mathematicizing power of homo sapiens”to the design of feasible and concrete models of interactive processes.

The aim of this conference is to bring together these two streams: we are strongly convinced that an interplay between the researchers with an interest in the history and philosophy of computing can crucially add to the maturity of the field.

We plan to have up to 30 contributed papers to be presented at the conference. We welcome contributions from logicians and philosophers or historians of science as well as from philosophically and/or historically aware computer scientists and mathematicians.

Topics of the conference include:

  • The birth, evolution and future of computation

  • Philosophical, foundational and practical issues of computability in logic, mathematics and computer science

  • Computation in the sciences

More details on deadlines and submissions can be found at:



Bill Aspray (University of Texas)

Martin Davis (New York University)

Fairouz Kamareddine (Heriot-Watt University Edinburgh)

Sybille Krämer (Freie Universität Berlin)

Giovanni Sambin (Universita' di Padova)

Raymond Turner (University of Essex)


Liesbeth De Mol and Giuseppe Primiero


G. Alberts (Amsterdam)

S. Artemov (New York)

M. Campbell-Kelly (Warwick)

A. Eden (Essex)

L. Floridi (Oxford & Hertfordshire)

R. Kahle (Lisbon)

B. Loewe (Amsterdam)

J. Meheus (Ghent)

E. Myin (Antwerp)

S. Negri (Helsinki)

V. de Paiva (Palo Alto)

S. Smets (Groningen)

G. Sundholm (Leiden)

C. Toffalori (Camerino)

J.P. van Bendegem (Brussels)

M. van Dyck (Ghent)

B. van Kerkhove (Brussels & Hasselt)

E. Weber (Ghent)


A number of Students Grants will be available through our Sponsor and Supporting Associations. More details to come on the webpage of the conference.