Keynote Speakers

**Carlos Caleiro **

Department of Mathematics, TU Lisbon

**Gregory Chaitin **

IBM T. J. Watson Research Center, New York

**Newton da Costa**

UFSC - Brasil

**Hans van Ditmarsch **

Dept. of Logic, University of Sevilla

**Lou Goble **

Department of Philosophy, Willamette University

**Carlos Di Prisco**

Instituto Venezolano de Investigaciones Científicas

**Jose Iovino **

University of Texas at San Antonio

**Carlos Areces **

INRIA Nancy Grand Est

Logics to Describe and Change

We can fairly say that Logic (whichever you want to chose, be it
propositional or first order, classical or non-classical) is the
mathematical tool used, par excellence, to describe a structure.
Modal logics, for example, are particularly well suited to describe
relational structures, specially if you are interested in a
computationally well behaved formalisms (e.g., to use in formal
verification). But why can a logic only *describe* a structure? In
this talk I will introduce a family of modal logics that contain
operators that can both describe and *change* the structure. I will
present some results characterizing their complexity and expressive
power and discuss some open problems.

Download

Logics to Describe and Change

** CARLOS ARECES **

FaMAF, Universidad Nacional de Córdoba

Córdoba, Argentina

Department of Mathematics, TU Lisbon

Abstract valuation semantics

We define and study abstract valuation semantics for logics. In the context of the behavioral approach to the algebraization of logics (which we briefly overview), we show, by means of meaningful bridge theorems and application examples, that this algebraically well-behaved version of valuation semantics is suited to play a role similar to the one traditionally played by logical matrices. Joint work with Ricardo Gonçalves.

Download

Abstract Valuation Semantics

** CARLOS CALEIRO**

Department of Mathematics, TU Lisbon

Portugal

IBM T. J. Watson Research Center, New York

Life as evolving software

Our goal is to prove mathematically that Darwinian evolution works by studying what
physicists call a toy model, one that is much simpler than the real thing, but
that hopefully preserves the essential features.
DNA is digital software, so we study the evolution of randomly mutating software,
a hill-climbing random walk in software space.
This approach is starting to yield mathematical results, which we shall outline.
In particular, Gödel incompleteness is used to show that evolution is unending.
For more information, see http://www.cs.umaine.edu/~chaitin/sfi.html

Download

Live as Evolving Software

GREGORY CHAITIN

IBM T. J. Watson Research Center, New York

UFSC - Brasil

Logic and space-time

The basic theories in physics, such as classical mechanics, special and general relativity, non-relativistic quantum mechanics, quantum field theory, and loop gravitation, treat space and time in different ways, and in some cases these are incompatible with one another. Therefore, among other reasons, the logic which is subjacent to physics, in the way that it is effectively developed, seems to be paraconsistent, even though it might be possible, in the future, to develop a unifying theory, as it was believed would happen in the future, with the advent of string theory. The required paraconsistent logic is the one which is called locally classical paraclassical logic. However, as non-classical logics are already being used in the field of physics, perhaps in the future the logic of physics will end up converting itself into a locally non-classical paraconsistent logic.

Dept. of Logic, University of Sevilla

Dynamic Epistemic Logic

I will introduce various logics for change of knowledge and belief, that have become known under the name 'Dynamic Epistemic Logic'. The basic logic of public announcements, proposed by Jan Plaza in 1989, serves to formalize logic puzzles such as 'muddy children', and 'consecutive numbers'. But much more is possible in this setting, and there are generalizations to private actions, combining information change with factual change, and so on. I will point out some relations with AGM belief revision, with Moore-sentences (p is true and you don't know that p) and with knowability (is everything knowable? no!). The topic remains much in the limelight, latest developments are about protocols, and quantifying over information change, and protocol synthesis/planning. I will give a sprinkling of such topics as well.

Download

Dynamic Epistemic Logic

** HANS van DITMARSCH **

Dept. of Logic, University of Sevilla

**Richard L. Epstein **

Advanced Reasoning Forum

Reasoning about the World as Process

Modern formal logic is based on the assumption that the world is made up of things and propositions are about the relations or properties of things. Starting with some hints in our ordinary language, I will show how we can devise a formal logic to reason instead about the world as process-mass. Clarifying that view with a formal language and logic raises questions about how grammar shapes our perceptions of the world and our morality.

Department of Philosophy, Willamette University

Deontic Logic (Adapted) for Normative Conflicts

Normative conflicts are situations in which an agent ought to do each of several things but cannot do them all. They seem an all too frequent part of anyone's life. Yet standard deontic logic declares them to be logically impossible. Hence we look to adapt the standard principles to develop a logic of normative concepts that can accommodate such conflicts. Here I present the problems posed by normative conflicts, and how difficult they seem to be. Then I introduce some promising new results that apply the framework of Adaptive Logic to these problems. I will close, however, with a critical look at those results, and question how adequate they really are. This will point to some broader, more philosophical questions about what one expects of systems of philosophical logic, and especially systems for nonmonotonic or defeasible reasoning.

Download

Deontic Logic (Adapted) for Normative Conflicts

LOU GOBLE

Department of Philosophy, Willamette University

Instituto Venezolano de Investigaciones Científicas

A glance to Ramsey theory

The astoundingly fast development of Ramsey theory has uncovered its deep connections with several other areas of mathematics such as logic, set theory, topological dynamics, functional analysis and, of course, combinatorial theory. We will survey some aspects of the theory, from its origins to some recent advancements and open questions.

University of Texas at San Antonio

From discrete to continuous logic

In recent years there has been considerable activity in generalizing
to continuous settings techniques from logic (set theory and model
theory) that were initially devised for discrete settings. Several
model-theoretic frameworks have been proposed, independently, as
formalisms for continuous logic (Chang-Keisler, Henson, Ben Yaacov
and Usvyatsov); however, these have turned out to be equivalent.
I will state a maximality theorem that, among other things,
characterizes these logics and explains why the equivalence that
has been observed so far is not a mere coincidence.
Our result covers not only to the already proposed formalisms,
but a wide range of logics, namely, logics for which certain
topologies are regular.

The results that I will present have been obtained jointly with
Xavier Caicedo and Jonathan Brucks.

Informs

Registration

Registrations are open for the XVI Brazilian Logic Conference/Logic School. - Registration

Registrations are open for the XVI Brazilian Logic Conference/Logic School. - Registration

**EBL** begins at 13h, on May 9th (Monday) and ends at 18h, on May 13th (Friday)

** LOGIC SCHOOL** begins at 9h, on May 7th (Saturday) and ends at 20h on May 8th (Sunday) See important dates:

Visa Informations

The Brazilian Embassies and Consulates abroad maintain updated web sites, that provide information about visas and entry requirements, such as immunizations, depending on where you are coming from, as well as other practical information and health tips. Please take some time to review the entry requirements to avoid unpleasant surprises.

© 2011 - XVI EBL - Brazilian Logic Conference / Logic School / May 7th – 13th, 2011 Contact us

Home | Description | Comittees | Program | Keynote Speakers | Turing Session | Call for papers | Submissions | Logic School | Registration | Proceedings | Touristic information

Siga o XVI EBL:

Home | Description | Comittees | Program | Keynote Speakers | Turing Session | Call for papers | Submissions | Logic School | Registration | Proceedings | Touristic information

Siga o XVI EBL: