Retificação- Qualificação de Henrique Antunes Almeida, quarta-feira, 28/03/2018, às 13h

[Walter Carnielli]

Car@s,

Por obra dos Fados, a Qualificação não será às 9 horas mas às 13 horas:

Retificacao-Qualificação de Henrique Antunes Almeida, quarta-feira, 28/03/2018, às 13:00, CLE-- Sala 206.

Att

Walter

Em ter, 27 de mar de 2018 14:06, Walter Carnielli <walter.c...@gmail.com> escreveu:

Caros estudantes e colegas:

Gostaria  de convidar os que estiverem por perto para  assistir à
Sessão de Qualificação de Doutorado do
meu orientando Henrique Antunes Almeida, a acontecer  amanhã,
quarta-feira,  28/03/2018, às 09:00, no
Centro de Lógica, Epistemologia e História da Ciência (CLE) - Sala 206.

Título:  CONTRADICTIONS FOR FREE-
A Nominalistic Interpretation of Inconsistent Mathematical Theories

======================================
Abstract

Contradictions are not so threatening as they might seem, at least,
they are not so threatening
when the objects they are about do not really exist. This is leading
idea of this thesis. In a nut-
shell, it will be argued here that one can coherently subscribe to a
semantic version dialetheism
– maintaining thus that some contradictions are in fact true – while,
at the same time, holding
on to an ontological formulation of the principle of non-contradiction
– the maxim according to
which no object is supposed to have contradictory properties. In order
to support this view, I will
focus on the case of mathematics, arguing that once Jody Azzouni’s
distinctive version of math-
ematical nominalism is adopted, one can provide a neat account of the
truth of contradictory
mathematical theories, without ever having to assume the existence of
contradictory objects.
The reason why Azzouni’s nominalism allows for such an interpretation
of inconsistency
mathematics is that it drives a wedge between truth and existence in
such a way that the truth
of a certain class of statements is not supposed to count as evidence
for the existence of the
purported objects those statements are about (separation thesis).
Rather, the question of whether
or not a certain entity is to be taken to exist is to be decided on
independent grounds, which
turn on whether or not that entity is ontologically independent of us.
More precisely, Azzouni
subscribes to a criterion of existence according to which an entity is
to count as existing if, and
only if, it is independent of our psychological processes and
linguistic practices. By applying this
criterion to the case of mathematics, he is then capable of arguing
for the seemingly incompatible
theses (i) that standard mathematics is in fact true, and (ii) that
the objects our mathematical
theories are about do not really exist.
=================================================

 A banca  será composta pelos Professores  Marco Antonio Caron Ruffino
 e Giorgio Venturi (IFCH / Unicamp),  além do orientador (Walter Carnielli)


--
-----------------------------------------------
Walter Carnielli
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
State University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Institutional e-mail: walter.c...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli
CV Lattes : http://lattes.cnpq.br/1055555496835379