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

Wednesday - August 26th

Chair: Walter A. Carnielli
08:30 - 09:10
Consistency from the Perspective of an Experimental Systems Approach to the Sciences and their Epistemic Objects
Hans-Jörg Rheinberger (AIPS, Max Planck Institute, Germany)
09:10 - 09:35
 Almost Topological Spaces and Modal Logics
Hércules de Araújo Feitosa (Unesp, Brazil)
09:35 - 10:00
 On Univocal Connectives
Rodolfo Ertola Biraben (National Univ. of La Plata, Argentina)
10:00 - 10:40
 Newton da Costa, the Hirsch Problem and the Construction of General Undecidable Problems
Marcelo Tsuji (USP, Brazil)
10:40 - 11:10 Coffee-Break
11:10 - 11:50
 Bradwardine and Tarski: An Exaggerated Contrast
David Miller (Univ. of Warwick, England)
11:50 - 12:30
 On Negation in Kant
Zeljko Loparic (Unicamp, PUC-SP, Brazil)
12:30 - 14:30 Lunch
14:30 - 14:55 - Room 1
Ontological Structural Realism, Tarski-Givant's Set Theory and Quasi-set Theory
Leandro Oliva Suguitani and Itala M. Loffredo D'Ottaviano (Unicamp, Brazil)
14:30 - 14:55 - Room 2
 Logics of Deontic Inconsistency
Newton Marques Peron and Marcelo E. Coniglio (Unicamp, Brazil)
14:30 - 14:55 - Room 3
Quasi-Truth Theories and Paraconsistent Databases
Luis Henrique Silvestrini and Marcelo E. Coniglio (Unesp, Brazil)
14:55 - 15:20 - Room 1
Paraconsistent Positions in Ancient Greek Logic
Evandro Luis Gomes and Itala M. Loffredo D'Ottaviano (Unicamp, Brazil)
14:55 - 15:20 - Room 2
On Two Different Dimensions of Arithmetic
Anderson Araújo and Walter A. Carnielli (Unicamp, Brazil)
14:55 - 15:20 - Room 3
The Place of Classical Mechanics in the Philosophical Reflections at the End of the 19th Century
Antonio Augusto P. Videira (UERJ, Brazil)
15:20 - 15:45
The Substitution Law for Implication and An Application of it for Proving
Interpolation Law
Arthur Buchsbaum (UFSC, Brazil)
15:45 - 16:25
Quantifiers in Different Classes of Algebras  
Aldo Figallo (National Univ. of the South - National Univ. of San Juan, Argentina)
16:25 - 17:00 Coffee-break
17:00 - 17:40
da Costa: Explorations of Foundations of Science (Physics, Economics, Computer Science)
Francisco Antonio Dória (UFRJ, Brazil)
17:40 - 18:20
A Generalization of Steinitz's Theorem
Alexandre Rodrigues (USP, Brazil)
18:20 - 19:00
Newton da Costa et l'Ecole de Curitiba
Artibano Micali (Univ. of Montpellier, France)


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