Data: 15 e 16 de Junho

Local: University of Lisbon, Faculty of Letters, Room B112.B

Organização: Elia Zardini and Bogdan Dicher

Mais informações: email: ezardini@ucm.es; site: https://cful.letras.ulisboa.pt/events/new-perspectives-on-the-objects-and-grounds-of-structural-rules/

Showing that a conclusion is a logical consequence of some premises typically requires two distinct kinds of rules. To wit, it requires operational rules, which codify the behaviour of the logical operations (negation, conjunction, universal quantification etc.). But it also requires structural rules, which govern instead the ways in which the premises and conclusions of an argument are structured, independently of the logical operations which appear in them (an example is the structural rule of commutativity, which states, roughly, that the order of the premises or conclusions does not matter). On the basis of this distinction, it is possible to characterise uniformly a multitude of non-classical logics that have in effect in common the feature of denying some structural rules of classical logic (but that may actually agree with classical logic concerning instead its basic operational rules). These logics are nowadays known as “substructural logics”: logics that are weaker than classical logic in that they deny at least one of its structural rules. Substructural logics have had important philosophical applications in several areas (logical pluralism, rivalry between logics, paradoxes etc.). In these applications, structural rules are typically understood from the standpoint of what may well be called the “orthodox interpretation”, according to which they codify properties of the relation of logical consequence and such properties are fundamental with respect to the logical operations. The workshop will discuss this orthodox interpretation and, more generally, will examine the conceptual foundations of substructural logics and their philosophical applications.

Não há fee, mas a participação deverá ser comunicada para o email: ezardini@ucm.es