[Logica-l] David Makinson, Frege’s Ontological Diagram Completed, LUW Sept 7 at 4 pm CET,
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 features that play an important role in his thought on the matter, propose an extension of the diagram to include them, and compare with a diagram of the ontology of current first-order logic. https://link.springer.com/article/10.1007/s11787-022-00308-6 Associate Organization: Australasian Association of Logic presented by its president Guillermo Badia Chair: Valentin Goranko editorial board Logica Universalis Everybody is welcome to attend, register here https://www.springer.com/journal/11787/updates/20065848 Best Wishes Jean-Yves Beziau Organizer of the Logica Universalis Webinar https://philpeople.org/profiles/jean-yves-beziau -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLDDr%3D%3DGFYjNV_zbMb5%3DJ5brM%3D%3DRY6j_8UA2xUeMPgxApQ%40mail.gmail.com.
Re: [Logica-l] Per Martin-Löf: transcriptions
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 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 sua mais importante e > sistematica obra "Philosophical aspects of intuitionistic type theory", que > consiste em doze aulas dadas na Universidade de Leiden em 1993. > > O credito vai para Ansten Klev que editou a maioria das transcricoes e > conseguiu a permissao do Martin-Löf e Ivo Pezlar pela manutencao da pagina. > > Abracos, > Bruno > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica > > --- > 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 logica-l+unsubscr...@dimap.ufrn.br. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/b2ac7a5c-733a-45fd-8f63-7d2555b33394n%40dimap.ufrn.br. -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6h%3DC2aAs2NNRwCbek_R9Y4RxUqxaTNnujLOgNoJUiReNQ%40mail.gmail.com.
[Logica-l] Per Martin-Löf: transcriptions
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 sua mais importante e sistematica obra "Philosophical aspects of intuitionistic type theory", que consiste em doze aulas dadas na Universidade de Leiden em 1993. O credito vai para Ansten Klev que editou a maioria das transcricoes e conseguiu a permissao do Martin-Löf e Ivo Pezlar pela manutencao da pagina. Abracos, Bruno -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/b2ac7a5c-733a-45fd-8f63-7d2555b33394n%40dimap.ufrn.br.
[Logica-l] Re: Sobre o jantar da conferência do EBL (boa notícia !!!)
... 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 ... Abraços []s Samuel Em segunda-feira, 5 de setembro de 2022 às 11:45:59 UTC-4, samuel escreveu: > 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 > Aba: Registration --> Registration Dinner > > e para aqueles que se inscrevam no jantar no máximo até a próxima > quarta-feira dia 07, > > Que o valor de 130 reais > > (que antes não incluía nem bebida alcóolica nem o serviço) > > POSSA AGORA INCLUIR > > Ou seja > > Pra quem se inscreveu ou pra quem se inscrever no jantar até quarta-feira > agora, dia 07, > > Por 130 reais você terá direito ao jantar, bebidas incluindo alcóolicas > (água suco cerveja e caipirinha, não inclui vinho) e também ao serviço de > 10% > > Tudo incluído nesse preço aí. > > É uma excelente notícia ! Aproveitem > > Abraços e até breve > > []s Samuel > > > > > > > > > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/6fc1a351-b0e7-4c3c-bf69-2d80a819e34en%40dimap.ufrn.br.
[Logica-l] Livro de resumos do EBL disponibilizado
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ê 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/fd716979-827a-44fd-aaf2-af30cd7a32b6n%40dimap.ufrn.br.
[Logica-l] Sobre o jantar da conferência do EBL (boa notícia !!!)
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 Aba: Registration --> Registration Dinner e para aqueles que se inscrevam no jantar no máximo até a próxima quarta-feira dia 07, Que o valor de 130 reais (que antes não incluía nem bebida alcóolica nem o serviço) POSSA AGORA INCLUIR Ou seja Pra quem se inscreveu ou pra quem se inscrever no jantar até quarta-feira agora, dia 07, Por 130 reais você terá direito ao jantar, bebidas incluindo alcóolicas (água suco cerveja e caipirinha, não inclui vinho) e também ao serviço de 10% Tudo incluído nesse preço aí. É uma excelente notícia ! Aproveitem Abraços e até breve []s Samuel -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/8d07962b-445c-4ef5-8a11-3d4c1d708d7dn%40dimap.ufrn.br.