Pois é, mas acho que espaços-tempo exóticos e Cohen-genéricos têm existência no duro, nalguma realidade sei-lá-como.
Sent from my iPhone > On 2 Apr 2017, at 16:03, Carlos Gonzalez <gonza...@gmail.com> wrote: > > 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ê recebeu essa mensagem porque está inscrito 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 nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. > Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver essa 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. -- 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/5FDE812E-74B4-4230-B7D8-0B294006730A%40gmail.com.