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


Tuesday - August 25th

Chair: Oswaldo Chateaubriand
08:30 - 09:10
Bas van Fraassen on Scientific Representation
Michel Ghins (AIPS, Univ. of Louvain, Belgium)
09:10 - 09:35
A Very Simple Kind of Paraconsistent Logic
Edélcio Gonçalves de Souza (PUC-SP, Brazil)
09:35 - 10:00
The Return of Trivium
Clara Helena Sanchez (National Univ. of Colombia, Colombia)
10:00 - 10:25
Jaskowski's Paraconsistent Logic Based on an Argumentation Framework
Juliano Maranhão (USP, Brazil)

10:25 - 11:05
Polynomial Time Cut Elimination for Classical Logic

Marcelo Finger (USP, Brazil)
11:05 - 11:45
Towards a Non-trivial Conciliation of Contraries: Leibniz's Two-pronged Dialectic
Marcelo Dascal (Tel Aviv Univ., Israel)
11:45 - 14:00 Lunch
14:00 - 14:40
"A Logician's Nightmare": the Principle of Inertia from Aristotle to Einstein
Harvey R. Brown (Oxford Univ., England)
14:40 - 15:20
Partial Truth and Visual Evidence
Otávio Bueno (Univ. of Miami, USA)
15:20 - 15:50 Coffee Break
16:00 - UNICAMP Conventions Centre - Room II
Extraordinary Universitarian Assembly - Award of "Emeritus Professor" Title by the State University of Campinas to Newton Carneiro Affonso da Costa

On da Costa's Work and the Brazilian School on Paraconsistent Logic
Itala M. Loffredo D'Ottaviano (Unicamp, Brazil)

Newton Carneiro Affonso da Costa (USP, 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