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 <[email protected]> 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 <[email protected]>: >> 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 >> <[email protected]> escreveu: >> > Walter Carnielli <[email protected]> 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 [email protected]. >> > Para postar neste grupo, envie um e-mail para [email protected]. >> > 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: [email protected] >> 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 [email protected]. >> Para postar neste grupo, envie um e-mail para [email protected]. >> 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 [email protected]. > Para postar nesse grupo, envie um e-mail para [email protected]. > 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 [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. 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.
