**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.

## Tuesday, October 19, 2010

## Monday, October 11, 2010

### Second Entia et Nomina Workshop CFP

*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:

EntiaEtNomina2011CFP

## 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+abstractsgmail.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

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).

Abstract:

A theory of deﬁnitions which places the eliminability and conservativeness requirements on deﬁnitions 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 deﬁnitions. Third, Lesniewski’s celebrated ‘rules of deﬁnition’ lay merely syntactical restrictions on the form of deﬁnitions: they do not provide deﬁnitions 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

*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

__http://www.computing-__conference.ugent.be

computing.conference@ugent.be

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.