(Peço desculpas se já postaram a informação) Além do livro publicado pela Martins Fontes, indicado por João Marcos, Marcelo Ferreira tem uma publicação gratuita pela Language Science Press, também sobre semântica formal de línguas naturais, que vocês encontram em https://langsci-press.org/catalog/book/200
Boa leitura! Abraços, Leonor Em quinta-feira, 11 de janeiro de 2024 às 09:53:12 UTC-3, Joao Marcos escreveu: > Salve, lógicos de plantão! > > Buscam-se recursos didáticos a nível de graduação para ensinar sobre > RECURSÃO (ESTRUTURAL) *para filósofos e linguistas*: > https://twitter.com/antitheorem/status/1744730134765351143 > > Desde já agradeço pelos ponteiros compartilhados, > Joao Marcos > > > PS1: Agradeço aos colegas por todas as referências compartilhadas > recentemente sobre *ensinar a traduzir*: > > https://groups.google.com/a/dimap.ufrn.br/g/logica-l/c/zZSy3qiiLH8/m/vObqtfXKCQAJ > Outras referências específicas sempre serão bem-vindas! > > PS2: Ligado ao ponto anterior, pareceu-me interessante apontar este > livro introdutório, muito bem feito e em português, de um professor da > USP, sobre a *interpretação de sentenças da linguagem natural* (usando > cálculo lambda): > https://www.martinsfontespaulista.com.br/semantica-998434/p > > PS3: Gostaria de apontar que este fio, sobre o uso da Lógica no ensino > de *Matemática* a nível secundário e terciário, recebeu pouquíssimas > contribuições desta comunidade: > > https://groups.google.com/a/dimap.ufrn.br/g/logica-l/c/3z34nQdCB_k/m/yn8utORiAgAJ > Sempre é tempo de colher mais opiniões sobre este assunto! > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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 acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/f7ab8521-47cf-44c8-b716-e5057539cd46n%40dimap.ufrn.br.
