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


Thursday - August 27th

Chair: Marcelo E. Coniglio
08:30 - 09:10
Attitudes, Attempts and Actions - Formulation of the Logic of Agency
Daniel Vanderveken (AIPS, Univ. of Québec, Canada)
09:10 - 09:35
A Proof Theory for the Paraconsistent Logic of Epistemic Inconsistency
Ana Teresa Martins (UFC, Brazil)
09:35 - 10:00
Valuations for Propositional Calculi with Intuitionistic Implication
Andrea Loparic (USP, Brazil)
10:00 - 10:40
A Method of Generating Modal Logics Defining Jaskowski's Discussive Logic D2
Andrzej Pietruszczak and Marek Nasieniewski (Nicolaus Copernicus Univ., Poland)
10:40 - 11:10 Coffee-Break
11:10 - 11:50
Hybrid Type Theory
María Manzano (Univ. of Salamanca, Spain)
11:50 - 12:30
Residuated Lattices as Algebraic Semantics for Paraconsistent Nelson's Logic
Roberto Cignoli (Univ. of Buenos Aires, Argentina)
12:30 - 14:30 Lunch
14:30 - 14:55 - Room 1
Incompleteness in Paraconsistent Modalities
Juliana Bueno-Soler (Unicamp, Brazil)
14:30 - 14:55 - Room 2
On the Foundations of Quantum Mechanics
Ricardo Mendes Grande (Unicamp, Brazil)
14:55 - 15:20 - Room 1
Mathematicae in Primo Gradu Certitudinis: the Mathematical Certainty in the Renaissance Thought
Fábio M. Bertato (Uniararas, Brazil)
14:55 - 15:20 - Room 2
On da Costa’s Paraconsistent Differential Calculus and a Transference Theorem
Tadeu Fernandes de Carvalho and Itala M. Loffredo D'Ottaviano (PUCCAMP, Unicamp, Brazil)
14:55 - 15:20 - Room 3
A Rational Approach to Soft Rationality
Moti Suess (Tel Aviv Univ., Israel)
15:20 - 15:45 - Room 1
The Logic and the Logics: On the Notion of Formal System and the Principle of Logical Freedom
Ricardo Tassinari (Unesp, Brazil)
15:20 - 15:45 - Room 2
On a Direct Method of Generating Tableau Proofs
Aracele Garcia de Oliveira and Arthur Buchsbaum (UFSC, Brazil) 
15:20 - 15:45 - Room 3
Da Costa on Ontology: A Naturalistic Interpretation
Antonio Mariano Nogueira Coelho (UFSC, Brazil)
15:45 - 16:25
Logic is Metaphysics
Daniel Durante Pereira Alves (UFRN, Brazil)
16:25 - 17:00 Coffee-break
17:00 - 17:40
Some Central Problems in the Combination of Logics
Marcelo Coniglio (Unicamp, Brazil)
17:40 - 18:20
Logics for Qualitative Inductive Generalization
Diderik Batens (Univ. of  Ghent, Belgium)
18:20 - 19:00
Rationality, Consistency and Societies
Walter A. Carnielli (Unicamp, 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