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.
