Re: [Logica-l] Sessão Especial do Seminário de Lógica - Dia CBDL (Carol Blasio pela Diversidade da Lógica)

2022-03-18 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L 
Olá,

Com quase toda certeza. Só não dou 100 por cento de certeza porque o contrato 
da UFBA com o Google não permite mais gravações então estamos todos aqui ainda 
se acostumando com as alternativas, mas acho que vamos gravar sim.

Até

[]s Samuel
- Mensagem original -
De: Adolfo Neto 
Para: Samuel Gomes da Silva 
Cc: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA 

Enviadas: Fri, 18 Mar 2022 06:50:46 -0300 (BRT)
Assunto: Re: [Logica-l] Sessão Especial do Seminário de Lógica - Dia CBDL 
(Carol Blasio pela Diversidade da Lógica)

Ótima iniciativa. Será gravado?

On Thu, Mar 17, 2022, 20:40 'Samuel Gomes da Silva' via LOGICA-L <
logica-l@dimap.ufrn.br> wrote:

> Prezados,
>
> Em parceria com o coletivo Lógicas Brasileiras (
> https://logicasbrasileiras.wordpress.com/),
>
> Teremos na segunda-feira, 21 de março, às 19hs, uma Sessão Especial do
> Seminário de Lógica da UFBA, como parte da comemoração do primeiro dia CBDL
> - Carol Blasio* por Diversidade na Lógica.
>
> Seguem dados da palestra:
>
>
> **
>
> Título: Dialectica e os Problemas de Kolmogorov-Veloso
>
> Palestrante: Valeria de Paiva (Topos Institute)
>
> Segunda, 21 de março, 19hs
>
> Entrar com o Google Meet
> <https://meet.google.com/fcy-dxmy-hdd?authuser=0=122>
> meet.google.com/fcy-dxmy-hdd
>
>
> Resumo:
>
> Quero aproveitar a oportunidade desse Dia da Carolina Blasio para discutir 
> abstrações de problemas e de raciocínio, assumindo que problemas são sempre o 
> que queremos resolver, quer em matemática, quer em computação ou mesmo na 
> filosofia.
> Esse trabalho, conjunto com o Prof Samuel Gomes da Silva,
> é nossa homenagem ao Prof Paulo Veloso, que introduziu nos anos
> 80 sua Teoria de Problemas. A Teoria de Problemas também é o tema principal 
> do artigo de A. Kolmogorov "Sobre a interpretação da lógica intuicionista", 
> que apesar do título, trata de problemas, e não de lógica.
>
>
> Queremos conectar os problemas de Kolmogorov aos objetos da construção 
> Dialética e mostrar como a Dialética nos dá uma melhor abordagem aos 
> problemas de Kolmogorov, fornecendo os morfismos das categorias que 
> Kolmogorov não
> possuia em 1932. Então quero tentar convencê-los de que essa coincidência de 
> estruturas algébricas ocorre em vários exemplos matemáticos e pode até 
> apontar para uma boa maneira de pensar sobre multi-sistemas de agentes.
>
>
>
> 
>
> Por favor, sintam-se à vontade para repassar este convite a possíveis
> interessados.
>
> Grato,
>
> []s  Samuel G. da Silva - UFBA
>
>
>
> * Carolina Blasio da Silva (1984-2017)
>
> Carolina Blasio da Silva era uma brilhante lógica brasileira que,
> infelizmente, morreu em 2017
> aos 33 anos de Idade.
>
> Ela era Bacharel em Psicologia (2006) e Bacharel em Filosofia (2012), e
> tinha também
> um mestrado em Filosofia da Religião pela Universidade de Juiz de Fora.
> Antes de seu falecimento, ela defendeu sua tese de doutorado na Unicamp e
> obteve o seu doutoramento em Filosofia (Lógica).
>
> --
> 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/2117560919.13354989.1647559309946.JavaMail.zimbra%40ufba.br
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/2117560919.13354989.1647559309946.JavaMail.zimbra%40ufba.br?utm_medium=email_source=footer>
> .
>

-- 
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/470207501.13703016.1647612023559.JavaMail.zimbra%40ufba.br.

Re: [Logica-l] Sessão Especial do Seminário de Lógica - Dia CBDL (Carol Blasio pela Diversidade da Lógica)

2022-03-18 Por tôpico Adolfo Neto 
Ótima iniciativa. Será gravado?

On Thu, Mar 17, 2022, 20:40 'Samuel Gomes da Silva' via LOGICA-L <
logica-l@dimap.ufrn.br> wrote:

> Prezados,
>
> Em parceria com o coletivo Lógicas Brasileiras (
> https://logicasbrasileiras.wordpress.com/),
>
> Teremos na segunda-feira, 21 de março, às 19hs, uma Sessão Especial do
> Seminário de Lógica da UFBA, como parte da comemoração do primeiro dia CBDL
> - Carol Blasio* por Diversidade na Lógica.
>
> Seguem dados da palestra:
>
>
> **
>
> Título: Dialectica e os Problemas de Kolmogorov-Veloso
>
> Palestrante: Valeria de Paiva (Topos Institute)
>
> Segunda, 21 de março, 19hs
>
> Entrar com o Google Meet
> 
> meet.google.com/fcy-dxmy-hdd
>
>
> Resumo:
>
> Quero aproveitar a oportunidade desse Dia da Carolina Blasio para discutir 
> abstrações de problemas e de raciocínio, assumindo que problemas são sempre o 
> que queremos resolver, quer em matemática, quer em computação ou mesmo na 
> filosofia.
> Esse trabalho, conjunto com o Prof Samuel Gomes da Silva,
> é nossa homenagem ao Prof Paulo Veloso, que introduziu nos anos
> 80 sua Teoria de Problemas. A Teoria de Problemas também é o tema principal 
> do artigo de A. Kolmogorov "Sobre a interpretação da lógica intuicionista", 
> que apesar do título, trata de problemas, e não de lógica.
>
>
> Queremos conectar os problemas de Kolmogorov aos objetos da construção 
> Dialética e mostrar como a Dialética nos dá uma melhor abordagem aos 
> problemas de Kolmogorov, fornecendo os morfismos das categorias que 
> Kolmogorov não
> possuia em 1932. Então quero tentar convencê-los de que essa coincidência de 
> estruturas algébricas ocorre em vários exemplos matemáticos e pode até 
> apontar para uma boa maneira de pensar sobre multi-sistemas de agentes.
>
>
>
> 
>
> Por favor, sintam-se à vontade para repassar este convite a possíveis
> interessados.
>
> Grato,
>
> []s  Samuel G. da Silva - UFBA
>
>
>
> * Carolina Blasio da Silva (1984-2017)
>
> Carolina Blasio da Silva era uma brilhante lógica brasileira que,
> infelizmente, morreu em 2017
> aos 33 anos de Idade.
>
> Ela era Bacharel em Psicologia (2006) e Bacharel em Filosofia (2012), e
> tinha também
> um mestrado em Filosofia da Religião pela Universidade de Juiz de Fora.
> Antes de seu falecimento, ela defendeu sua tese de doutorado na Unicamp e
> obteve o seu doutoramento em Filosofia (Lógica).
>
> --
> 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/2117560919.13354989.1647559309946.JavaMail.zimbra%40ufba.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/CANspyYXsuPGMHWzoNiuwy7Hc-%3DULbBMn%2BzDS%3DjLARSOviCHRSg%40mail.gmail.com.

[Logica-l] Sessão Especial do Seminário de Lógica - Dia CBDL (Carol Blasio pela Diversidade da Lógica)

2022-03-17 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L 
Prezados, 

Em parceria com o coletivo Lógicas Brasileiras ( 
https://logicasbrasileiras.wordpress.com/ ), 

Teremos na segunda-feira, 21 de março, às 19hs, uma Sessão Especial do 
Seminário de Lógica da UFBA, como parte da comemoração do primeiro dia CBDL - 
Carol Blasio* por Diversidade na Lógica. 

Seguem dados da palestra: 

**
 

Título: Dialectica e os Problemas de Kolmogorov-Veloso 

Palestrante: Valeria de Paiva (Topos Institute) 

Segunda, 21 de março, 19hs 

Entrar com o Google Meet 
meet.google.com/fcy-dxmy-hdd 


Resumo: 
Quero aproveitar a oportunidade desse Dia da Carolina Blasio para discutir 
abstrações de problemas e de raciocínio, assumindo que problemas são sempre o 
que queremos resolver, quer em matemática, quer em computação ou mesmo na 
filosofia. 
Esse trabalho, conjunto com o Prof Samuel Gomes da Silva, 
é nossa homenagem ao Prof Paulo Veloso, que introduziu nos anos 
80 sua Teoria de Problemas. A Teoria de Problemas também é o tema principal do 
artigo de A. Kolmogorov "Sobre a interpretação da lógica intuicionista", que 
apesar do título, trata de problemas, e não de lógica. 

Queremos conectar os problemas de Kolmogorov aos objetos da construção 
Dialética e mostrar como a Dialética nos dá uma melhor abordagem aos problemas 
de Kolmogorov, fornecendo os morfismos das categorias que Kolmogorov não 
possuia em 1932. Então quero tentar convencê-los de que essa coincidência de 
estruturas algébricas ocorre em vários exemplos matemáticos e pode até apontar 
para uma boa maneira de pensar sobre multi-sistemas de agentes. 

 
Por favor, sintam-se à vontade para repassar este convite a possíveis 
interessados. 

Grato, 

[]s Samuel G. da Silva - UFBA 



* Carolina Blasio da Silva (1984-2017) 

Carolina Blasio da Silva era uma brilhante lógica brasileira que, infelizmente, 
morreu em 2017 
aos 33 anos de Idade. 

Ela era Bacharel em Psicologia (2006) e Bacharel em Filosofia (2012), e tinha 
também 
um mestrado em Filosofia da Religião pela Universidade de Juiz de Fora. Antes 
de seu falecimento, ela defendeu sua tese de doutorado na Unicamp e obteve o 
seu doutoramento em Filosofia (Lógica). 

-- 
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/2117560919.13354989.1647559309946.JavaMail.zimbra%40ufba.br.