Prezado Walter e outros colegas, Essa história de Tarski é altamente significativa com relação a vários problemas da filosofia e da história da matemática e a lógica.
O meu primeiro artigo filosófico tem muito a ver com isso, pois ocupa-se da discussão entre Zermelo e vários matemáticos franceses acerca do Axioma da Escolha. Uma coisa a destacar é que o realismo como posição relacionada à ciência e à filosofia tem-se desenvolvido muito e tornado-se mais complexo. Depois das contribuições de Quine, Putnam, as correntes da "idealização" (Nancy Cartwright), as pesquisas psicológicas e cognitivas, etc., as versões antigas do realismo, incluindo a de Gödel nos parecem ingênuas ou simplistas. Hoje, uma "verdade óbvia" muitas vezes pressupõe um contexto, tendo tanta ou mais importância o "óbvia" que o "verdade". Para os matemáticos realistas de 1924, "verdade" baseia-se na realidade ---certo: que realidade?--- e, portanto para eles é uma questão mais objetiva que subjetiva. Lebesque acreditava na falsidade do AE num contexto de realismo matemático, pensava que estava falando de uma verdade objetiva. Claro, de uma maneira que hoje achamos ingênua, não como o realismo de Putnam, por exemplo. Para Lebesgue falar de um enunciado falso é uma perda de tempo inútil. Teria muito para dizer, mas o que eu acho o mais interessante é ver como posições metafísicas podem decidir o que será publicado ou não. Será que hoje ainda acontece isso? Gostaríamos de pensar que não. Carlos 2017-04-01 18:38 GMT-03:00 Walter Carnielli <walter.carnie...@gmail.com>: > Caro Hermógenes: > > como se depreende da historinha, Fréchet acreditava na verdade do > Axioma da Escolha, e Lebesgue na falsidade. Esse é o ponto da > mensagem. O que eu escrevi é menos importante. > > De toda forma, escreví que [...] o Axioma da Escolha não é nem óbvio > (quer dizer, **obviamente verdadeiro**) nem falso, e se um(a) > estudante se sentir "autorizado(a)" a solicitar-me uma demonstração > do *Axioma* da Escolha, vai aprender loguinho que deu-se a si > próprio(a) uma "autorização" errada... > > W. > > > Em 1 de abril de 2017 17:05, Hermógenes Oliveira > <hermogenes.olive...@student.uni-tuebingen.de> escreveu: > > Walter Carnielli <walter.carnie...@gmail.com> escreveu: > > > >> > >> [...] > >> > >> Para os estudantes iniciantes compreenderem [...] o Axioma da Escolha > >> não é [...] falso [...] > > > > Me parece que "estudantes iniciantes", dependendo do seu grau de > > doutrinação em Lógica (especialmente lógica clássica ensinada como > > "teoria do bom raciocínio"), tenderiam a entender a afirmação acima como > > equivalente a "o Axioma da Escolha é verdadeiro" e estariam assim > > autorizados a solicitar-lhe, como justificativa dessa alegação, uma > > demonstração do *Axioma* da Escolha, visto que "axioma" aqui não pode > > ser tomado como verdade óbvia/evidente (conforme você mesmo escreveu). > > > > -- > > Hermógenes Oliveira > > > > -- > > Você está recebendo esta mensagem porque se inscreveu no grupo > "LOGICA-L" dos Grupos do Google. > > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, > envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. > > Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. > > Visite este grupo em https://groups.google.com/a/ > dimap.ufrn.br/group/logica-l/. > > Para ver esta discussão na web, acesse https://groups.google.com/a/ > dimap.ufrn.br/d/msgid/logica-l/87pogvnbav.fsf%40camelot.oliveira. > > > > -- > ----------------------------------------------- > 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.carnie...@cle.unicamp.br > Website: http://www.cle.unicamp.br/prof/carnielli > > -- > Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" > dos Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. > Visite este grupo em https://groups.google.com/a/ > dimap.ufrn.br/group/logica-l/. > Para ver esta discussão na web, acesse https://groups.google.com/a/ > dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58PefXHrTvKjpDB% > 2B6jzb4s0SLwtJ8H55md%3DN3GfjWE0aDg%40mail.gmail.com. > -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGJaJ%2B-uSW_sCYatYqFqWyB6fn%3Db6cCiS%2BmCWU%2BCFp5vC0X3pQ%40mail.gmail.com.