[Logica-l] David Makinson, Frege’s Ontological Diagram Completed, LUW Sept 7 at 4 pm CET,

2022-09-05 Por tôpico jean-yves beziau
The next session of the Logica Universalis Webinar will take place Wednesday September 7 at 4pm CET. Speaker: David Makinson Title of the Talk: Frege’s Ontological Diagram Completed Abstract: In a letter of 1891, Frege drew a diagram to illustrate his logical ontology. We observe that it omits feat

Re: [Logica-l] Per Martin-Löf: transcriptions

2022-09-05 Por tôpico Eduardo Ochs
Tou lendo algumas transcrições. Caramba, que coisa fantástica!!! Já recomendei pra esse cara daqui incluir o link na lista dele: https://github.com/jozefg/learn-tt [[]] =), Eduardo Ochs http://angg.twu.net/math-b.html On Mon, 5 Sept 2022 at 23:33, Bruno Bentzen wrote: > > Caros, > > Meus

[Logica-l] Per Martin-Löf: transcriptions

2022-09-05 Por tôpico Bruno Bentzen
Caros, Meus colegas do Instituto de Filosofia da Academia Tcheca de Ciencias criaram a seguinte pagina contendo uma colecao de escritos ineditos de Per Martin-Löf na forma de transcricoes de aulas dadas entre 1993 e 2019: https://pml.flu.cas.cz/ Entre esses escritos esta o que talvez seja a su

[Logica-l] Re: Sobre o jantar da conferência do EBL (boa notícia !!!)

2022-09-05 Por tôpico 'samuel' via LOGICA-L
... O cardápio será --> entradas: mini acarajé, mini abará, bolinho de peixe --> pratos principais: MOQUECA DE PEIXE MOQUECA DE CAMARÃO BOBÓ DE CAMARÃO FILÉ Á PARMEGIANA FILÉ DE FRANGO COM LEGUMES --> sobremesas: PUDIM DE LEITE OU AMBROSIA. -Cada convidado terá direito a uma das opções ... Ab

[Logica-l] Livro de resumos do EBL disponibilizado

2022-09-05 Por tôpico 'samuel' via LOGICA-L
Prezados Em ebl2021.ufba.br AbaProgram --> Book of Abstracts Já está disponibilizada uma versão preliminar (faltando só ISBN a princípio) do Livro de resumos do EBL. Abraços []s Samuel -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você

[Logica-l] Sobre o jantar da conferência do EBL (boa notícia !!!)

2022-09-05 Por tôpico 'samuel' via LOGICA-L
Caros, Nesta semana estarei sempre escrevendo com novidades sobre o vindouro EBL, A mensagem de agora é: ---> Conseguiremos garantir, para os que já se inscreveram no Formulário do Jantar da Conferência (que vai ocorrer na noite da quarta-feira dia 14). O formulário está em: ebl2021.ufba.br A