SCIENCE, TRUTH AND CONSISTENCY
CLE / AIPS Event

HOME

MEETING

AIPS MISSION

CLE MISSION

NEWTON DA COSTA

CLE PUBLICATIONS

SELECTION CRITERIA

PROGRAM

PROCEEDINGS

ACCOMMODATION

LOCALIZATION




Organization:
Centre for Logic, Epistemology and the
History of Science - CLE

 Académie Internationale de Philosophie
des Sciences - AIPS


Scientific Committee:
Evandro Agazzi (AIPS, Univ. of Genoa, Italy)
Oswaldo Chateaubriand (PUC-RJ, Brazil)
Daniele Mundici (Univ. of Florence, Italy)
Itala M. Loffredo D'Ottaviano (Unicamp, Brazil)
Patrick Suppes (Stanford Univ., USA)


Organizing Committee:
Itala M. Loffredo D'Ottaviano (Unicamp, Brazil)
Daniele Mundici (Univ. of Florence, Italy)
Walter A. Carnielli (Unicamp, Brazil)
Marcelo E. Coniglio (Unicamp, Brazil)

Secretariat:
Marcos Antonio Munhoz
Phone: +55-19-35216518
E-mail: munhoz@cle.unicamp.br


Webmaster:
Emerson Luis Francisco
Phone: +55 19 3521-4911
E-mail: emerson.luis@reitoria.unicamp.br
August 23th - 28th 2009

IMECC Auditorium
Institute of Mathematics, Statistics and Scientific Computation
Unicamp - Campinas, SP - Brazil

Monday - August 24th

Chair: Daniele Mundici
08:30 - 09:10
The Search for the Perfect Language
Gregory Chaitin (AIPS, IBM T.J. Research Center, USA)
09:10 - 09:35
A Treatment of Jaskowski Logic
Lafayette de Moraes (PUC-SP, Brazil)
09:35 - 10:00
Historical Observations on the Semantics for da Costa's Paraconsistent Systems
Elias Humberto Alves (Fac. of Philosophy São Bento, Unicamp-SP, Brazil)
10:00 - 10:40
Kurt Gödel: Logical Truth, Computability and Cosmology
Carlos Di Prisco (IVIC, Venezuela)
10:40 - 11:10 Coffee-Break
11:10 - 11:50
On the Principle of Excluded Middle
Jairo José da Silva (UNESP-Rio Claro, SP - Brazil)
11:50 - 12:30
Truth, Truth and Truth
Oswaldo Chateaubriand (PUC-RJ, Brazil)
12:30 - 14:30 Lunch
14:30 - 14:55 - Room 1
The Concept of Density in Autometrized Boolean Spaces in a General Setting
Carlos Gustavo González (Uniso, Brazil)
14:30 - 14:55 - Room 2
Foundations and Model Theory
Rodrigo Freire (Unicamp, Brazil)
14:55 - 15:20 - Room 1
Comment Engendrer les Logiques Paraconsistantes?
La Paraconsistantisation des Logiques
Alexandre Costa-Leite (Unicamp, Brazil)
14:55 - 15:20 - Room 2
A KE Tableau System for the Paraconsistent Logic C1 and an Efficient Implementation of a Theorem Prover for C1
Adolfo Gustavo Serra Seca Neto (UTFPR, Brazil)
15:20 - 15:45 - Room 1
A Society Semantics Approach to Information Architecture:
The Case of Airplane Collision Avoidance
Mamede Lima-Marques (UnB, Brazil)
15:20 - 15:45 - Room 2
Paraconsistent Computation and its Quantum Character
Juan-Carlos Agudelo and Walter A. Carnielli (Unicamp, Brazil)
15:20 - 15:45 - Room 3
Questions on Logic and Linguistics
Márcio Chaves-Tannús (UFU, Brazil)
15:45 - 16:25
Logics of Formal Inconsistency
Walter A. Carnielli, Marcelo E. Coniglio and João Marcos (Unicamp, UFRN, Brazil)
16:25 - 17:00  Coffee-break
17:00 - 17:40
Philosophy of Mathematics for Physicists
Osvaldo Pessoa Jr. (USP, Brazil)
17:40 - 18:20
From Paraconsistency to Universality - A Logical Odyssey
Jean-Yves Béziau (UFC, Brazil)
18:20 - 19:00
Basic Ideas of Quasi-Set Theory
Décio Krause (UFSC, Brazil)


Centre for Logic, Epistemology and the History of Science - CLE
Rua Sérgio Buarque de Holanda, 251
P.O. Box - 6133
13083-970 Campinas, SP - Brazil