Legal, Walter Em 9 de fevereiro de 2017 11:34, Walter Carnielli < [email protected]> escreveu:
> Olá Andrea, > > obrigado pela ótima mensagem! Era meu guru também, tanto que seu livro > ¨First Order Logic¨ foi inspiração para um dos meus primeiros > trabalhos (eu o li antes da sua > primorosa tradução). > > Sobre as "evaluations" versus "valuations", o conceito de > F-saturados e a semântica para > $C_\omega$, eu pelo menos sou um dos vivos que se lembra bem, Não > só me lembro bem, > mas o conceito foi (ou melhor tem sido) bastante usado por meus > estudantes, colaboradores, etc. > > Recentemente, num trabalho ainda submetido a publicação, ''A radical > epistemic approach to paraconsistency: a logic of evidence and > truth'', > Abílio Rodrigues e eu usamos uma adaptação da semântica de > $C_\omega$ para dar um teorema de completude para > LETJ, uma certa ''logic of evidence and truth'' que pode expressar > preservação de evidência e preservação de verdade e que codifica a > logica clássica dentro dela. Com os devidos créditos a você! > > Abraços, > > Walter > > > > > > Em 9 de fevereiro de 2017 10:34, Andrea Loparic <[email protected]> > escreveu: > > Era meu grande guru. > > Foi uma honra traduzir seu ¨First Order Logic¨. > > Embora não tenha tido essa consciência senão anos > > depois, quando fazia a tradução, foi com certeza a > > partir de suas idéias sobre a hauptsatz que eu percebi > > (e em seguida ensinei a todo mundo aqui no Brasil) que > > o Lema de Lindembaum dependia apenas de propriedades da > > definição de dedução. Essa percepção que me veio nos idos > > de 75, se não me engano, quando propus a semântica para > > Cw e logo vi que ela continha semânticas para as Lógicas > > Implicativa e Positiva Intuicionistas, foi a base para a > > generalização que seria a Teoria das Valorações. > > Quem tiver lido com cuidado meu artigo com o Newton > > ¨ Paraconsistency, paracompleteness and valuations¨ - > > que pouco tem a ver com os 2 primeiros e tem tudo a ver > > com valuations - verá que há dois conceitos propostos: > > evaluations e valuations - o primeiro sendo aquele com o > > qual Newton e Aida trabalhavam, antes de conhecerem a > > versão enxuta de Lindenbaum e o segundo, o conceito novo > > que necessariamente teria de coincidir com a função > > característica dos conjuntos maximais (eu chamava > > F-saturados). > > Talvez ainda haja alguns vivos que admitam lembrar-se > > desses fatos. Achei que era o caso de fazer menção, > > em particular pela decisiva influência que teve o mágico > > Smullyan nesse episódio. > > Era a homenagem que não queria deixar passar. > > Andrea > > > > > > > > Em 7 de fevereiro de 2017 18:10, Joao Marcos <[email protected]> > escreveu: > >> > >> > JM qual 'e o livro que 'e autobiography do Smullyan? > >> > >> O primeiro livro que ele escreveu com este objetivo, publicado em > >> 2002, é "Some Interesting Memories: A paradoxical life". Mas não é > >> BEM uma autobiografia... > >> > >> Em 2015 apareceu um outro livro (que eu não li) ---na aparência, mais > >> propriamente autobiográfico, mas escrito da maneira smullyanesca bem > >> conhecida (through ramblings, I mean)--- chamado "Reflections: The > >> magic, music, and mathematics of Raymond Smullyan". > >> > >> PLEASE DO NOT READ THIS LINE. > >> > >> Abraços, > >> Joao Marcos > >> > >> -- > >> 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/CAO6j_Lg84-soe_x%3DGJsTQ7xCDby-8JLZ7aWi07b5Sp3qJuHPqQ%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/CACHAqBnj% > 2BxfSvBEktKEEAqKtQ9EQN9BZXce7cD%3D9jY2-FQZ%2BdA%40mail.gmail.com. > > > > -- > ----------------------------------------------- > 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%2Bob58MoxG-kP% > 3Dc0tSZhfDzrVF4Zne636U6Djdg_T%3DJ9Qo_pYQ%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/CACHAqB%3DTdNhgxtnKxDqKOvhZEmyRmtrviGNtmHaffw1OC5FpFw%40mail.gmail.com.
