[Logica-l] ainda sobre o tópico do gênero em Lógica

[Joao Marcos]

Alguns trabalhos recentes de Franci Mangraviti (Ruhr-Universität Bochum):

The Liberation Argument for Inconsistent Mathematics
https://ojs.victoria.ac.nz/ajl/article/view/8289

Rethinking Inconsistent Mathematics, PhD Thesis
https://philpapers.org/archive/MANRIM-2.pdf

Outros artigos:
https://philpapers.org/s/Franci%20Mangraviti


JM

-- 
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/CAO6j_Lgp3E-xKq2YAENdEi_QnZLgWQRO0UiT627sL2%2BW74LxFw%40mail.gmail.com.

Re: [Logica-l] Trends in Logic conference- Torun,2023

[Gisele Secco]

María é um espetáculo!

Bravissima!

On Sat, Jul 22, 2023 at 4:56 PM Joao Marcos  wrote:

> > No geral, acho importante reconhecermos que o trabalho de promoção da
> inclusão nesta edição do CLMPST não foi trivial.
>
> Gostaria de aproveitar para elogiar o trabalho GERAL feito pela Maria
> Martinez-Ordaz na organização deste evento em Buenos Aires, o qual não
> foi trivial em NENHUM sentido da palavra.
>
> []s, Joao Marcos
>
> --
> http://sequiturquodlibet.googlepages.com/
>
-- 
Gisele Dalva Secco

ORCID 
PhilPeople 

-- 
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/CADjHNnqRR97hD6EjZU6ny8U_Eu5sR0N08O3qBe2ZZ%2BfFqhWX3w%40mail.gmail.com.

Re: [Logica-l] Trends in Logic conference- Torun,2023

[Joao Marcos]

> No geral, acho importante reconhecermos que o trabalho de promoção da 
> inclusão nesta edição do CLMPST não foi trivial.

Gostaria de aproveitar para elogiar o trabalho GERAL feito pela Maria
Martinez-Ordaz na organização deste evento em Buenos Aires, o qual não
foi trivial em NENHUM sentido da palavra.

[]s, Joao Marcos

-- 
http://sequiturquodlibet.googlepages.com/

-- 
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/CAO6j_LhgAyBthuBuS87AyRp9iSDEFr7iNCcvy%2B7Yz049W4KeXQ%40mail.gmail.com.

Re: [Logica-l] Trends in Logic conference- Torun,2023

[Gisele Secco]

Totalmente de acordo, Maria, obrigada por você trazer as informações!

Eu já havia achado o de Praga bem cuidadoso, mas os colegas de Argentina
realmente fizeram melhor!

Não sei se todos sabem, mas logo após o CLMPST haverá a 19ª edição de um
dos mais tradicionais eventos internacionais de Mulheres na Filosofia:

https://historyofwomenphilosophers.org/event/iaph-19th-symposium-feminisms-today-philsophical-contributions-against-violence-discrimination-and-exclusions/

E a nossa Nastassja Pugliese está em uma plenária com ninguém menos do que
Mary Ellen Waithe (informe-se).

Quer dizer, claro que as coisas boas são louváveis, mas é pouco, e reclamar
vai fazer parte até as coisas estarem melhores (:

Boa viagem pra quem vai a Buenos Aires, que sea relindo.

G.

On Sat, Jul 22, 2023 at 4:42 PM Maria Martinez-Ordaz <
martinezord...@gmail.com> wrote:

> Oi pessoal
>
> Acho que, como diz Gisele, é importante sempre reconhecer novas
> estratégias para melhorar, mas também é igualmente importante observar
> quando esforços concretos foram feitos para tornar nossos espaços
> acadêmicos mais inclusivos e acessíveis.
>
> A CLMPST tinha duas mulheres à frente da organização, a presidente do
> comitê de programa e a presidente do comitê local – a primeira
> representando não apenas as mulheres na filosofia da ciência, mas também na
> lógica. Algumas das figuras mais importantes, a que o João já se referiu na
> sua mensagem, são as seguintes (embora na inauguração Atocha fale mais
> sobre o esforço de inclusão e os resultados obtidos).
>
>-
> *3 Plenary Speakers *2/3 minority (gender, country, etc)
>2/3 female representation
>-
> *23 Invited speakers *12/23 minority (gender, country, etc)
>11/23 female representation
>- *24 PC members*
>15/24 minority (gender, country, etc)
>10/24 female representation
>-
> *5 DLMPST-commissions representatives *3/5 minority (gender, country, etc)
>3/5 female representation
>
> Relativamente às taxas de inscrição, para além do programa de voluntariado
> que excluía o pagamento integral da inscrição (e que não existia nas
> edições anteriores), os custos desta edição são os mesmos senão mais
> baratos do que nas duas edições anteriores.
>
>- *Prague 2019: **Standard fee* 280 €/ 395 €/  450 €  *Reduced
>fee *95 €/ 150 €/ 200 €
>- *Helsinki 2015:   **Standard fee* 250 €/ 400 € / 400 € *Reduced
>fee *** 125 €/ 200 €/ 200 €
>
> No geral, acho importante reconhecermos que o trabalho de promoção da
> inclusão nesta edição do CLMPST não foi trivial.
>
> Sobre os Keynote speakers/membros da PC, teremos que esperar por mais
> informações, talvez os palestrantes que estão por confirmar (sob o rótulo
> "More to be announced.") sejam mulheres/membros de outras minorias e que
> seus nomes ainda não aparecem, é apenas uma complicação logística e não um
> mecanismo de exclusão.
>
> Abracos,
>
> M.
>
> El sáb, 22 jul 2023 a las 16:52, Gisele Secco ()
> escribió:
>
>> Oi pessoal
>>
>> Uma das questões, Petrucio, é o que fazemos com essa falta de
>> conhecimento.
>>
>> Uns quantos fazem nada, umas quantas tentam mostrar como é importante que
>> melhoremos - de vários modos: convidando mais mulheres para eventos,
>> prestando mais atenção no modo com o nos comunicamos com estudantes que não
>> são do mesmo perfil (homens brancos etc..), especialmente estudantes novos,
>> conversando sobre isso com as colegas e alunas, escutando… I la vane va.
>>
>> É difícil mudar uma cultura de exclusões como esta na qual fomos
>> educados. Mas não é impossível. Ocorre que para que as mudanças positivas
>> aconteçam é preciso querer. Quem gosta das cousas como estão ou não se
>> importa não vai querer mudar, não vai fazer o mínimo esforço.
>>
>> Agora, Walter, meu caro, você realmente argumentou apelando a “Nem todo
>> homem”?
>>
>> Estranho!
>>
>> Implícito no meu reclame-cutuco, claro, estava que
>>
>> - levando-se em conta TUDO o que se sabe (ou deveria saber?) sobre
>> mecanismos de exclusão de grupos ditos “outros” na academia;
>>
>> - considerando o tanto que nós mesmos já trocamos ideia sobre isso;
>>
>> - lembrando das estratégias por promoção de diversidade nos grupos
>> lógicos acadêmicos com a qual a SBL tem se comprometido, dentro e fora do
>> Brasil (na área de STEM, na filosofia, em todas as áreas, por todas as
>> partes do mundo!);
>>
>> Dado tudo isso, me parece plenamente justificado externar incômodo com
>> MAIS UM MANEL. Eu ainda reforcei isso quando falei que o mesmo poderia ser
>> dito de muitos outros (a maioria) dos eventos da área de lógica. Nós não
>> temos todas as soluções para resolver este problema, Walter, mas precisamos
>> de aliados para pensar junto. Assim, discutível, para mim, é você apelar ao
>> tipo de argumento que começa com “Nem Todo Homem”…
>>
>> Agora que estava terminando o email vi o do JM e não só corroboro o que
>> ele disse (o evento está bem equilibrado) como lembro que o CLMPST ofereceu
>> isenção para estudantes q

Re: [Logica-l] Trends in Logic conference- Torun,2023

[Maria Martinez-Ordaz]

Oi pessoal

Acho que, como diz Gisele, é importante sempre reconhecer novas estratégias
para melhorar, mas também é igualmente importante observar quando esforços
concretos foram feitos para tornar nossos espaços acadêmicos mais
inclusivos e acessíveis.

A CLMPST tinha duas mulheres à frente da organização, a presidente do
comitê de programa e a presidente do comitê local – a primeira
representando não apenas as mulheres na filosofia da ciência, mas também na
lógica. Algumas das figuras mais importantes, a que o João já se referiu na
sua mensagem, são as seguintes (embora na inauguração Atocha fale mais
sobre o esforço de inclusão e os resultados obtidos).

   -
*3 Plenary Speakers *2/3 minority (gender, country, etc)
   2/3 female representation
   -
*23 Invited speakers *12/23 minority (gender, country, etc)
   11/23 female representation
   - *24 PC members*
   15/24 minority (gender, country, etc)
   10/24 female representation
   -
*5 DLMPST-commissions representatives *3/5 minority (gender, country, etc)
   3/5 female representation

Relativamente às taxas de inscrição, para além do programa de voluntariado
que excluía o pagamento integral da inscrição (e que não existia nas
edições anteriores), os custos desta edição são os mesmos senão mais
baratos do que nas duas edições anteriores.

   - *Prague 2019: **Standard fee* 280 €/ 395 €/  450 €  *Reduced fee *95
   €/ 150 €/ 200 €
   - *Helsinki 2015:   **Standard fee* 250 €/ 400 € / 400 € *Reduced
   fee *** 125 €/ 200 €/ 200 €

No geral, acho importante reconhecermos que o trabalho de promoção da
inclusão nesta edição do CLMPST não foi trivial.

Sobre os Keynote speakers/membros da PC, teremos que esperar por mais
informações, talvez os palestrantes que estão por confirmar (sob o rótulo
"More to be announced.") sejam mulheres/membros de outras minorias e que
seus nomes ainda não aparecem, é apenas uma complicação logística e não um
mecanismo de exclusão.

Abracos,

M.

El sáb, 22 jul 2023 a las 16:52, Gisele Secco ()
escribió:

> Oi pessoal
>
> Uma das questões, Petrucio, é o que fazemos com essa falta de
> conhecimento.
>
> Uns quantos fazem nada, umas quantas tentam mostrar como é importante que
> melhoremos - de vários modos: convidando mais mulheres para eventos,
> prestando mais atenção no modo com o nos comunicamos com estudantes que não
> são do mesmo perfil (homens brancos etc..), especialmente estudantes novos,
> conversando sobre isso com as colegas e alunas, escutando… I la vane va.
>
> É difícil mudar uma cultura de exclusões como esta na qual fomos educados.
> Mas não é impossível. Ocorre que para que as mudanças positivas aconteçam é
> preciso querer. Quem gosta das cousas como estão ou não se importa não vai
> querer mudar, não vai fazer o mínimo esforço.
>
> Agora, Walter, meu caro, você realmente argumentou apelando a “Nem todo
> homem”?
>
> Estranho!
>
> Implícito no meu reclame-cutuco, claro, estava que
>
> - levando-se em conta TUDO o que se sabe (ou deveria saber?) sobre
> mecanismos de exclusão de grupos ditos “outros” na academia;
>
> - considerando o tanto que nós mesmos já trocamos ideia sobre isso;
>
> - lembrando das estratégias por promoção de diversidade nos grupos lógicos
> acadêmicos com a qual a SBL tem se comprometido, dentro e fora do Brasil
> (na área de STEM, na filosofia, em todas as áreas, por todas as partes do
> mundo!);
>
> Dado tudo isso, me parece plenamente justificado externar incômodo com
> MAIS UM MANEL. Eu ainda reforcei isso quando falei que o mesmo poderia ser
> dito de muitos outros (a maioria) dos eventos da área de lógica. Nós não
> temos todas as soluções para resolver este problema, Walter, mas precisamos
> de aliados para pensar junto. Assim, discutível, para mim, é você apelar ao
> tipo de argumento que começa com “Nem Todo Homem”…
>
> Agora que estava terminando o email vi o do JM e não só corroboro o que
> ele disse (o evento está bem equilibrado) como lembro que o CLMPST ofereceu
> isenção para estudantes que se candidatassem para trabalhar algumas horas
> no evento.
>
> Vamos fazer melhor? É só e tudo isso que estamos tentando convencê-los a
> fazer.
>
> Ah, por fim: se tiver de apontar dedos, apontaremos, por mais que a
> instituição “todo homem” se desagrade.
>
> Abraço,
> G.
>
>
> On Sat, Jul 22, 2023 at 2:21 PM Jorge Petrucio Viana <
> petrucio_vi...@id.uff.br> wrote:
>
>> > porque me parece que a maioria das vezes o que acontece é que as coisas
>> que as mulheres provam e descobrem, passam a ser parte do inconsciente
>> coletivo, em vez de serem atribuídas a elas.
>>
>> Valéria,
>> exatamente este é o ponto que eu quero enfatizar no momento.
>>
>> A questão não é se eu orientei ou não milhares de alunas com ou sem
>> ótimos empregos, inclusive no âmbito internacional.
>> A questão, simplesmente, é: quase ninguém sabe quais são os resultados
>> relevantes que as mulheres obtiveram (dentro e fora da computação, lógica
>> ou matemática).
>> Isso por não serem divulgados, como dever

Re: [Logica-l] Trends in Logic conference- Torun,2023

[Walter Carnielli]

Gisele,


Não é apelo a "nem todo homem",  ou a "nem todo evento"  ou a nem tudo isso
ou nem tudo aquilo--  é também,  ao invés de só criticar,  reconhecer o
esforço em contrário de muita(o)s. Mulheres inclusive.

Abs



Em sáb., 22 de jul. de 2023 19:52, Gisele Secco 
escreveu:

> Oi pessoal
>
> Uma das questões, Petrucio, é o que fazemos com essa falta de
> conhecimento.
>
> Uns quantos fazem nada, umas quantas tentam mostrar como é importante que
> melhoremos - de vários modos: convidando mais mulheres para eventos,
> prestando mais atenção no modo com o nos comunicamos com estudantes que não
> são do mesmo perfil (homens brancos etc..), especialmente estudantes novos,
> conversando sobre isso com as colegas e alunas, escutando… I la vane va.
>
> É difícil mudar uma cultura de exclusões como esta na qual fomos educados.
> Mas não é impossível. Ocorre que para que as mudanças positivas aconteçam é
> preciso querer. Quem gosta das cousas como estão ou não se importa não vai
> querer mudar, não vai fazer o mínimo esforço.
>
> Agora, Walter, meu caro, você realmente argumentou apelando a “Nem todo
> homem”?
>
> Estranho!
>
> Implícito no meu reclame-cutuco, claro, estava que
>
> - levando-se em conta TUDO o que se sabe (ou deveria saber?) sobre
> mecanismos de exclusão de grupos ditos “outros” na academia;
>
> - considerando o tanto que nós mesmos já trocamos ideia sobre isso;
>
> - lembrando das estratégias por promoção de diversidade nos grupos lógicos
> acadêmicos com a qual a SBL tem se comprometido, dentro e fora do Brasil
> (na área de STEM, na filosofia, em todas as áreas, por todas as partes do
> mundo!);
>
> Dado tudo isso, me parece plenamente justificado externar incômodo com
> MAIS UM MANEL. Eu ainda reforcei isso quando falei que o mesmo poderia ser
> dito de muitos outros (a maioria) dos eventos da área de lógica. Nós não
> temos todas as soluções para resolver este problema, Walter, mas precisamos
> de aliados para pensar junto. Assim, discutível, para mim, é você apelar ao
> tipo de argumento que começa com “Nem Todo Homem”…
>
> Agora que estava terminando o email vi o do JM e não só corroboro o que
> ele disse (o evento está bem equilibrado) como lembro que o CLMPST ofereceu
> isenção para estudantes que se candidatassem para trabalhar algumas horas
> no evento.
>
> Vamos fazer melhor? É só e tudo isso que estamos tentando convencê-los a
> fazer.
>
> Ah, por fim: se tiver de apontar dedos, apontaremos, por mais que a
> instituição “todo homem” se desagrade.
>
> Abraço,
> G.
>
>
> On Sat, Jul 22, 2023 at 2:21 PM Jorge Petrucio Viana <
> petrucio_vi...@id.uff.br> wrote:
>
>> > porque me parece que a maioria das vezes o que acontece é que as coisas
>> que as mulheres provam e descobrem, passam a ser parte do inconsciente
>> coletivo, em vez de serem atribuídas a elas.
>>
>> Valéria,
>> exatamente este é o ponto que eu quero enfatizar no momento.
>>
>> A questão não é se eu orientei ou não milhares de alunas com ou sem
>> ótimos empregos, inclusive no âmbito internacional.
>> A questão, simplesmente, é: quase ninguém sabe quais são os resultados
>> relevantes que as mulheres obtiveram (dentro e fora da computação, lógica
>> ou matemática).
>> Isso por não serem divulgados, como deveriam.
>>
>> Ok, posso relativizar: eu, pelo menos, e minhas amigas, amigos e amiges
>> não sabemos!
>> P
>>
>>
>>
>> .
>>
>>
>>
>>
>> Em sáb., 22 de jul. de 2023 às 18:04, Valeria de Paiva <
>> valeria.depa...@gmail.com> escreveu:
>>
>>> Petrucio,
>>> por que você não colocou o link da tese da Laiz na sua mensagem?
>>> a tese dela não está em algum depósito de teses? Não está no arxiv?
>>> Devia, né? Cade a pequena excursão histórica? e onde esta' o resultado
>>> original da Soler? (a enciclopédia de Matematica da Springer 'e um outro
>>> engodo)
>>>
>>> porque me parece que a maioria das vezes o que acontece e' que as coisas
>>> que as mulheres provam e descobrem, passam a ser parte do inconsciente
>>> coletivo, em vez de serem atribuidas a elas. você sabe quem foi que
>>> descobriu de que as estrelas são feitas?
>>>
>>> https://en.wikipedia.org/wiki/Cecilia_Payne-Gaposchkin
>>>
>>> todo mundo sabia que as contas dos projetos espaciais
>>> americanos iniciais eram feitas por humanos. Eu não sabia, e acho que
>>> ninguém sabia muito, que eram feitas por mulheres negras, né?
>>> atualmente a gente  sabe, pelo menos que Katherine Goble Johnson
>>> , Dorothy Vaughan
>>> , and Mary Jackson
>>>   existiram.
>>>
>>> Do mesmo jeito que poucas pessoas sabem que as cartas astronômicas que
>>> são usadas atualmente, foram compiladas pelas
>>> Computadoras de Harvard
>>> https://en.wikipedia.org/wiki/Harvard_Computers
>>> ainda que, quem sabe da história, só sabe o nome do Pickering.
>>>
>>> Se você quiser escrever um blog post sobre o teorema da Soler, eu vou
>>> adorar colocar 

Re: [Logica-l] Trends in Logic conference- Torun,2023

[Gisele Secco]

Oi pessoal

Uma das questões, Petrucio, é o que fazemos com essa falta de conhecimento.

Uns quantos fazem nada, umas quantas tentam mostrar como é importante que
melhoremos - de vários modos: convidando mais mulheres para eventos,
prestando mais atenção no modo com o nos comunicamos com estudantes que não
são do mesmo perfil (homens brancos etc..), especialmente estudantes novos,
conversando sobre isso com as colegas e alunas, escutando… I la vane va.

É difícil mudar uma cultura de exclusões como esta na qual fomos educados.
Mas não é impossível. Ocorre que para que as mudanças positivas aconteçam é
preciso querer. Quem gosta das cousas como estão ou não se importa não vai
querer mudar, não vai fazer o mínimo esforço.

Agora, Walter, meu caro, você realmente argumentou apelando a “Nem todo
homem”?

Estranho!

Implícito no meu reclame-cutuco, claro, estava que

- levando-se em conta TUDO o que se sabe (ou deveria saber?) sobre
mecanismos de exclusão de grupos ditos “outros” na academia;

- considerando o tanto que nós mesmos já trocamos ideia sobre isso;

- lembrando das estratégias por promoção de diversidade nos grupos lógicos
acadêmicos com a qual a SBL tem se comprometido, dentro e fora do Brasil
(na área de STEM, na filosofia, em todas as áreas, por todas as partes do
mundo!);

Dado tudo isso, me parece plenamente justificado externar incômodo com MAIS
UM MANEL. Eu ainda reforcei isso quando falei que o mesmo poderia ser dito
de muitos outros (a maioria) dos eventos da área de lógica. Nós não temos
todas as soluções para resolver este problema, Walter, mas precisamos de
aliados para pensar junto. Assim, discutível, para mim, é você apelar ao
tipo de argumento que começa com “Nem Todo Homem”…

Agora que estava terminando o email vi o do JM e não só corroboro o que ele
disse (o evento está bem equilibrado) como lembro que o CLMPST ofereceu
isenção para estudantes que se candidatassem para trabalhar algumas horas
no evento.

Vamos fazer melhor? É só e tudo isso que estamos tentando convencê-los a
fazer.

Ah, por fim: se tiver de apontar dedos, apontaremos, por mais que a
instituição “todo homem” se desagrade.

Abraço,
G.


On Sat, Jul 22, 2023 at 2:21 PM Jorge Petrucio Viana <
petrucio_vi...@id.uff.br> wrote:

> > porque me parece que a maioria das vezes o que acontece é que as coisas
> que as mulheres provam e descobrem, passam a ser parte do inconsciente
> coletivo, em vez de serem atribuídas a elas.
>
> Valéria,
> exatamente este é o ponto que eu quero enfatizar no momento.
>
> A questão não é se eu orientei ou não milhares de alunas com ou sem ótimos
> empregos, inclusive no âmbito internacional.
> A questão, simplesmente, é: quase ninguém sabe quais são os resultados
> relevantes que as mulheres obtiveram (dentro e fora da computação, lógica
> ou matemática).
> Isso por não serem divulgados, como deveriam.
>
> Ok, posso relativizar: eu, pelo menos, e minhas amigas, amigos e amiges
> não sabemos!
> P
>
>
>
> .
>
>
>
>
> Em sáb., 22 de jul. de 2023 às 18:04, Valeria de Paiva <
> valeria.depa...@gmail.com> escreveu:
>
>> Petrucio,
>> por que você não colocou o link da tese da Laiz na sua mensagem?
>> a tese dela não está em algum depósito de teses? Não está no arxiv?
>> Devia, né? Cade a pequena excursão histórica? e onde esta' o resultado
>> original da Soler? (a enciclopédia de Matematica da Springer 'e um outro
>> engodo)
>>
>> porque me parece que a maioria das vezes o que acontece e' que as coisas
>> que as mulheres provam e descobrem, passam a ser parte do inconsciente
>> coletivo, em vez de serem atribuidas a elas. você sabe quem foi que
>> descobriu de que as estrelas são feitas?
>>
>> https://en.wikipedia.org/wiki/Cecilia_Payne-Gaposchkin
>>
>> todo mundo sabia que as contas dos projetos espaciais
>> americanos iniciais eram feitas por humanos. Eu não sabia, e acho que
>> ninguém sabia muito, que eram feitas por mulheres negras, né?
>> atualmente a gente  sabe, pelo menos que Katherine Goble Johnson
>> , Dorothy Vaughan
>> , and Mary Jackson
>>   existiram.
>>
>> Do mesmo jeito que poucas pessoas sabem que as cartas astronômicas que
>> são usadas atualmente, foram compiladas pelas
>> Computadoras de Harvard
>> https://en.wikipedia.org/wiki/Harvard_Computers
>> ainda que, quem sabe da história, só sabe o nome do Pickering.
>>
>> Se você quiser escrever um blog post sobre o teorema da Soler, eu vou
>> adorar colocar no "Women in Logic", no "Logicas Brasileiras", e em outros
>> lugares que conseguir.
>>
>> abraços,
>> Valeria
>>
>> On Sat, Jul 22, 2023 at 1:04 PM Jorge Petrucio Viana <
>> petrucio_vi...@id.uff.br> wrote:
>>
>>> Talvez dentro do tópico...
>>>
>>> Em 2012, 13, 14 eu pensei bastante sobre essa questão das mulheres na
>>> lógica, matemática e computação.
>>> E resolvi que era hora de dar a minha contribuição, por menor que fosse.
>>> 

Re: [Logica-l] Trends in Logic conference- Torun,2023

[Joao Marcos]

> Vejam o caso do CLMPST em Buenos Aires,  onde estamos agora.

Como membro do PC do CLMPST posso dizer que levamos cuidadosamente em
consideração a presença substancial de mulheres entre invited e
plenary speakers.  E o mesmo valeu para o próprio PC.  E ambos o chair
do evento e o chair da organização foram ocupados por mulheres.
Também a presidência do próprio CLMPST se encontra ocupada por uma
mulher, aliás.

> Querem "incentivar" a participação de mulheres, muito bem , de pleno acordo-  
>  mas não oferecem nenhuma vantagem ou incentivo.
>
> Minhas ex-alunas,  jovens professoras ou desempregadas,  acharam caríssimo 
> pagar 100 USD para se candidatar a um paper,  e não tiveram como participar.

Bem, neste caso o preço foi igualmente "caro" (baratíssimo, na
verdade, comparado com os valores praticados por eventos da área de
Computação, por exemplo) para "mulheres, negros, LGBTQIA+,
latino-americanos, não-anglos, asiáticos, indígenas ou outras
minorias".  Ah, e também para os próprios membros do PC do evento.

Abraços, e até já,
Joao Marcos

-- 
http://sequiturquodlibet.googlepages.com/

-- 
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/CAO6j_LjLAENWnxYpguOZzhc_JqtG8fb43FO802%3Dkp2L1n%3DwQXg%40mail.gmail.com.

Re: [Logica-l] Trends in Logic conference- Torun,2023

[Jorge Petrucio Viana]

> porque me parece que a maioria das vezes o que acontece é que as coisas
que as mulheres provam e descobrem, passam a ser parte do inconsciente
coletivo, em vez de serem atribuídas a elas.

Valéria,
exatamente este é o ponto que eu quero enfatizar no momento.

A questão não é se eu orientei ou não milhares de alunas com ou sem ótimos
empregos, inclusive no âmbito internacional.
A questão, simplesmente, é: quase ninguém sabe quais são os resultados
relevantes que as mulheres obtiveram (dentro e fora da computação, lógica
ou matemática).
Isso por não serem divulgados, como deveriam.

Ok, posso relativizar: eu, pelo menos, e minhas amigas, amigos e amiges não
sabemos!
P



.




Em sáb., 22 de jul. de 2023 às 18:04, Valeria de Paiva <
valeria.depa...@gmail.com> escreveu:

> Petrucio,
> por que você não colocou o link da tese da Laiz na sua mensagem?
> a tese dela não está em algum depósito de teses? Não está no arxiv? Devia,
> né? Cade a pequena excursão histórica? e onde esta' o resultado original da
> Soler? (a enciclopédia de Matematica da Springer 'e um outro engodo)
>
> porque me parece que a maioria das vezes o que acontece e' que as coisas
> que as mulheres provam e descobrem, passam a ser parte do inconsciente
> coletivo, em vez de serem atribuidas a elas. você sabe quem foi que
> descobriu de que as estrelas são feitas?
>
> https://en.wikipedia.org/wiki/Cecilia_Payne-Gaposchkin
>
> todo mundo sabia que as contas dos projetos espaciais
> americanos iniciais eram feitas por humanos. Eu não sabia, e acho que
> ninguém sabia muito, que eram feitas por mulheres negras, né?
> atualmente a gente  sabe, pelo menos que Katherine Goble Johnson
> , Dorothy Vaughan
> , and Mary Jackson
>   existiram.
>
> Do mesmo jeito que poucas pessoas sabem que as cartas astronômicas que são
> usadas atualmente, foram compiladas pelas
> Computadoras de Harvard
> https://en.wikipedia.org/wiki/Harvard_Computers
> ainda que, quem sabe da história, só sabe o nome do Pickering.
>
> Se você quiser escrever um blog post sobre o teorema da Soler, eu vou
> adorar colocar no "Women in Logic", no "Logicas Brasileiras", e em outros
> lugares que conseguir.
>
> abraços,
> Valeria
>
> On Sat, Jul 22, 2023 at 1:04 PM Jorge Petrucio Viana <
> petrucio_vi...@id.uff.br> wrote:
>
>> Talvez dentro do tópico...
>>
>> Em 2012, 13, 14 eu pensei bastante sobre essa questão das mulheres na
>> lógica, matemática e computação.
>> E resolvi que era hora de dar a minha contribuição, por menor que fosse.
>> Desta forma, resolvi orientar uma aluna em um projeto de IC sobre um
>> teorema importante provado por uma mulher.
>> Assim a aluna de graduação Laiz Valim (oriunda do Ensino a Distância e
>> hoje fazendo doutorado na USP em álgebra não comutativa) foi apresentada ao
>> maravilhoso mundo do Teorema de Solèr
>>
>> https://encyclopediaofmath.org/wiki/Solèr_theorem.
>>
>> Na época eu achava, e ainda acho isso, que
>>
>> *** um caminho necessário e bastante promissor é mostrar às meninas (em
>> geral) como outras mulheres conseguiram obter resultados que todos
>> consideram relevantes. ***
>>
>> Laiz estudou o trabalho de Solèr, estudou dois artigos onde o resultado
>> dela é reverenciado e, inclusive, entrou em contato com um pesquisador que
>> havia sido colega de Solèr no doutorado (quando ela obteve o seu resultado)
>> para pedir informações sobre a vida dela e complementar o seu trabalho
>> matemático com uma pequena excursão histórica.
>>
>> Na imensa maioria das vezes em que eu vejo o assunto mulheres na ciência
>> sendo tratado, eu não vejo uma boa propaganda com a divulgação de
>> resultados, vejo muitas discussões políticas e histórias pessoais.
>> Obviamente, não estou dizendo que isso não é importante e estou relatando
>> apenas a minha experiência...
>>
>> A orientação da Laiz foi uma pequena porta de entrada para tentar
>> contribuir na mudança deste estado de coisas.
>> Infelizmente, não consegui levar a ideia adiante.
>>
>> abraços
>> P
>>
>>
>> Em sex., 21 de jul. de 2023 às 19:41, Valeria de Paiva <
>> valeria.depa...@gmail.com> escreveu:
>>
>>> Obrigada pelos links, Hermógenes!
>>> e pela "inside information".
>>>
>>> Eu acho que a gente precisa fazer uma página especial do Lógicas
>>> Brasileiras só com sugestões de como acabar com os MANELS.
>>> Não sei se adianta não, pois as reclamações que você mandou são de 2014
>>> e 2015 na maior parte. Mas pode deixar que desistir a gente não desiste
>>> não. Só precisamos pensar a nossa estratégia.
>>> []s
>>> Valeria
>>>
>>> On Fri, Jul 21, 2023 at 10:20 AM Hermógenes Oliveira <
>>> olive...@daad-alumni.de> wrote:
>>>
 Olá, pessoal.

 Eu simpatizo com a frustração e o cansaço, mas concordo com Elaine que
 convém continuar reclamando.

 Me lembro que, há não muito tempo atrás, após reclamações
 

Re: [Logica-l] Trends in Logic conference- Torun,2023

[Valeria de Paiva]

Petrucio,
por que você não colocou o link da tese da Laiz na sua mensagem?
a tese dela não está em algum depósito de teses? Não está no arxiv? Devia,
né? Cade a pequena excursão histórica? e onde esta' o resultado original da
Soler? (a enciclopédia de Matematica da Springer 'e um outro engodo)

porque me parece que a maioria das vezes o que acontece e' que as coisas
que as mulheres provam e descobrem, passam a ser parte do inconsciente
coletivo, em vez de serem atribuidas a elas. você sabe quem foi que
descobriu de que as estrelas são feitas?

https://en.wikipedia.org/wiki/Cecilia_Payne-Gaposchkin

todo mundo sabia que as contas dos projetos espaciais
americanos iniciais eram feitas por humanos. Eu não sabia, e acho que
ninguém sabia muito, que eram feitas por mulheres negras, né?
atualmente a gente  sabe, pelo menos que Katherine Goble Johnson
, Dorothy Vaughan
, and Mary Jackson
  existiram.

Do mesmo jeito que poucas pessoas sabem que as cartas astronômicas que são
usadas atualmente, foram compiladas pelas
Computadoras de Harvard
https://en.wikipedia.org/wiki/Harvard_Computers
ainda que, quem sabe da história, só sabe o nome do Pickering.

Se você quiser escrever um blog post sobre o teorema da Soler, eu vou
adorar colocar no "Women in Logic", no "Logicas Brasileiras", e em outros
lugares que conseguir.

abraços,
Valeria

On Sat, Jul 22, 2023 at 1:04 PM Jorge Petrucio Viana <
petrucio_vi...@id.uff.br> wrote:

> Talvez dentro do tópico...
>
> Em 2012, 13, 14 eu pensei bastante sobre essa questão das mulheres na
> lógica, matemática e computação.
> E resolvi que era hora de dar a minha contribuição, por menor que fosse.
> Desta forma, resolvi orientar uma aluna em um projeto de IC sobre um
> teorema importante provado por uma mulher.
> Assim a aluna de graduação Laiz Valim (oriunda do Ensino a Distância e
> hoje fazendo doutorado na USP em álgebra não comutativa) foi apresentada ao
> maravilhoso mundo do Teorema de Solèr
>
> https://encyclopediaofmath.org/wiki/Solèr_theorem.
>
> Na época eu achava, e ainda acho isso, que
>
> *** um caminho necessário e bastante promissor é mostrar às meninas (em
> geral) como outras mulheres conseguiram obter resultados que todos
> consideram relevantes. ***
>
> Laiz estudou o trabalho de Solèr, estudou dois artigos onde o resultado
> dela é reverenciado e, inclusive, entrou em contato com um pesquisador que
> havia sido colega de Solèr no doutorado (quando ela obteve o seu resultado)
> para pedir informações sobre a vida dela e complementar o seu trabalho
> matemático com uma pequena excursão histórica.
>
> Na imensa maioria das vezes em que eu vejo o assunto mulheres na ciência
> sendo tratado, eu não vejo uma boa propaganda com a divulgação de
> resultados, vejo muitas discussões políticas e histórias pessoais.
> Obviamente, não estou dizendo que isso não é importante e estou relatando
> apenas a minha experiência...
>
> A orientação da Laiz foi uma pequena porta de entrada para tentar
> contribuir na mudança deste estado de coisas.
> Infelizmente, não consegui levar a ideia adiante.
>
> abraços
> P
>
>
> Em sex., 21 de jul. de 2023 às 19:41, Valeria de Paiva <
> valeria.depa...@gmail.com> escreveu:
>
>> Obrigada pelos links, Hermógenes!
>> e pela "inside information".
>>
>> Eu acho que a gente precisa fazer uma página especial do Lógicas
>> Brasileiras só com sugestões de como acabar com os MANELS.
>> Não sei se adianta não, pois as reclamações que você mandou são de 2014 e
>> 2015 na maior parte. Mas pode deixar que desistir a gente não desiste não.
>> Só precisamos pensar a nossa estratégia.
>> []s
>> Valeria
>>
>> On Fri, Jul 21, 2023 at 10:20 AM Hermógenes Oliveira <
>> olive...@daad-alumni.de> wrote:
>>
>>> Olá, pessoal.
>>>
>>> Eu simpatizo com a frustração e o cansaço, mas concordo com Elaine que
>>> convém continuar reclamando.
>>>
>>> Me lembro que, há não muito tempo atrás, após reclamações
>>> ,
>>> houve uma conversa interna e o grupo em Tübingen passou a considerar a
>>> questão nos eventos que organizou dali em diante.
>>>
>>> Cordialmente,
>>>
>>> --
>>> Hermógenes Oliveira
>>>
>>> --
>>> 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/35fc81c8-3a12-4252-af6b-227117d79c3dn%40dimap.ufrn.br
>>> 

Re: [Logica-l] Trends in Logic conference- Torun,2023

[Walter Carnielli]

Acho tudo isso um tanto discutível.
Eu ja orientei diversas moças  (mulheres)
em graduação, mestrado, doutorado,  pós-doutorado -não vou declinar nomes
aqui- inclusive ajudando a "lançar na carreira" nomes hoje conhecidos
internacionalnente na Itália e Austria. Sem nomes...

Acho que não se deve apontar dedo.para todos os homens,  como se todos
fossem  culpados.  Às vezes simplesmente não há mulheres, negros, LGBTQIA+,
latino-americanos, não-anglos,  asiáticos, indígenas ou outras minorias
para se  colocar em painéis, e nao é  sempre por  que não se queira.

Vejam o caso do CLMPST em Buenos Aires,  onde estamos agora. Querem
"incentivar" a participação de mulheres, muito bem , de pleno acordo-   mas
não oferecem nenhuma vantagem ou incentivo.

Minhas ex-alunas,  jovens professoras ou desempregadas,  acharam caríssimo
pagar 100 USD para se candidatar a um paper,  e não tiveram como participar.

Uma gratuidade ou desconto ajudaria muito  Mas assim não funciona...

Abs

W.




Em sáb., 22 de jul. de 2023 17:04, Jorge Petrucio Viana <
petrucio_vi...@id.uff.br> escreveu:

> Talvez dentro do tópico...
>
> Em 2012, 13, 14 eu pensei bastante sobre essa questão das mulheres na
> lógica, matemática e computação.
> E resolvi que era hora de dar a minha contribuição, por menor que fosse.
> Desta forma, resolvi orientar uma aluna em um projeto de IC sobre um
> teorema importante provado por uma mulher.
> Assim a aluna de graduação Laiz Valim (oriunda do Ensino a Distância e
> hoje fazendo doutorado na USP em álgebra não comutativa) foi apresentada ao
> maravilhoso mundo do Teorema de Solèr
>
> https://encyclopediaofmath.org/wiki/Solèr_theorem.
>
> Na época eu achava, e ainda acho isso, que
>
> *** um caminho necessário e bastante promissor é mostrar às meninas (em
> geral) como outras mulheres conseguiram obter resultados que todos
> consideram relevantes. ***
>
> Laiz estudou o trabalho de Solèr, estudou dois artigos onde o resultado
> dela é reverenciado e, inclusive, entrou em contato com um pesquisador que
> havia sido colega de Solèr no doutorado (quando ela obteve o seu resultado)
> para pedir informações sobre a vida dela e complementar o seu trabalho
> matemático com uma pequena excursão histórica.
>
> Na imensa maioria das vezes em que eu vejo o assunto mulheres na ciência
> sendo tratado, eu não vejo uma boa propaganda com a divulgação de
> resultados, vejo muitas discussões políticas e histórias pessoais.
> Obviamente, não estou dizendo que isso não é importante e estou relatando
> apenas a minha experiência...
>
> A orientação da Laiz foi uma pequena porta de entrada para tentar
> contribuir na mudança deste estado de coisas.
> Infelizmente, não consegui levar a ideia adiante.
>
> abraços
> P
>
>
> Em sex., 21 de jul. de 2023 às 19:41, Valeria de Paiva <
> valeria.depa...@gmail.com> escreveu:
>
>> Obrigada pelos links, Hermógenes!
>> e pela "inside information".
>>
>> Eu acho que a gente precisa fazer uma página especial do Lógicas
>> Brasileiras só com sugestões de como acabar com os MANELS.
>> Não sei se adianta não, pois as reclamações que você mandou são de 2014 e
>> 2015 na maior parte. Mas pode deixar que desistir a gente não desiste não.
>> Só precisamos pensar a nossa estratégia.
>> []s
>> Valeria
>>
>> On Fri, Jul 21, 2023 at 10:20 AM Hermógenes Oliveira <
>> olive...@daad-alumni.de> wrote:
>>
>>> Olá, pessoal.
>>>
>>> Eu simpatizo com a frustração e o cansaço, mas concordo com Elaine que
>>> convém continuar reclamando.
>>>
>>> Me lembro que, há não muito tempo atrás, após reclamações
>>> ,
>>> houve uma conversa interna e o grupo em Tübingen passou a considerar a
>>> questão nos eventos que organizou dali em diante.
>>>
>>> Cordialmente,
>>>
>>> --
>>> Hermógenes Oliveira
>>>
>>> --
>>> 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/35fc81c8-3a12-4252-af6b-227117d79c3dn%40dimap.ufrn.br
>>> 
>>> .
>>>
>> --
>> 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/CAESt%3DXscFJqwWGH3S3Cxv%2B6Uvh-JPrU6bpis_De3H

Re: [Logica-l] Trends in Logic conference- Torun,2023

[Jorge Petrucio Viana]

Talvez dentro do tópico...

Em 2012, 13, 14 eu pensei bastante sobre essa questão das mulheres na
lógica, matemática e computação.
E resolvi que era hora de dar a minha contribuição, por menor que fosse.
Desta forma, resolvi orientar uma aluna em um projeto de IC sobre um
teorema importante provado por uma mulher.
Assim a aluna de graduação Laiz Valim (oriunda do Ensino a Distância e hoje
fazendo doutorado na USP em álgebra não comutativa) foi apresentada ao
maravilhoso mundo do Teorema de Solèr

https://encyclopediaofmath.org/wiki/Solèr_theorem.

Na época eu achava, e ainda acho isso, que

*** um caminho necessário e bastante promissor é mostrar às meninas (em
geral) como outras mulheres conseguiram obter resultados que todos
consideram relevantes. ***

Laiz estudou o trabalho de Solèr, estudou dois artigos onde o resultado
dela é reverenciado e, inclusive, entrou em contato com um pesquisador que
havia sido colega de Solèr no doutorado (quando ela obteve o seu resultado)
para pedir informações sobre a vida dela e complementar o seu trabalho
matemático com uma pequena excursão histórica.

Na imensa maioria das vezes em que eu vejo o assunto mulheres na ciência
sendo tratado, eu não vejo uma boa propaganda com a divulgação de
resultados, vejo muitas discussões políticas e histórias pessoais.
Obviamente, não estou dizendo que isso não é importante e estou relatando
apenas a minha experiência...

A orientação da Laiz foi uma pequena porta de entrada para tentar
contribuir na mudança deste estado de coisas.
Infelizmente, não consegui levar a ideia adiante.

abraços
P


Em sex., 21 de jul. de 2023 às 19:41, Valeria de Paiva <
valeria.depa...@gmail.com> escreveu:

> Obrigada pelos links, Hermógenes!
> e pela "inside information".
>
> Eu acho que a gente precisa fazer uma página especial do Lógicas
> Brasileiras só com sugestões de como acabar com os MANELS.
> Não sei se adianta não, pois as reclamações que você mandou são de 2014 e
> 2015 na maior parte. Mas pode deixar que desistir a gente não desiste não.
> Só precisamos pensar a nossa estratégia.
> []s
> Valeria
>
> On Fri, Jul 21, 2023 at 10:20 AM Hermógenes Oliveira <
> olive...@daad-alumni.de> wrote:
>
>> Olá, pessoal.
>>
>> Eu simpatizo com a frustração e o cansaço, mas concordo com Elaine que
>> convém continuar reclamando.
>>
>> Me lembro que, há não muito tempo atrás, após reclamações
>> ,
>> houve uma conversa interna e o grupo em Tübingen passou a considerar a
>> questão nos eventos que organizou dali em diante.
>>
>> Cordialmente,
>>
>> --
>> Hermógenes Oliveira
>>
>> --
>> 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/35fc81c8-3a12-4252-af6b-227117d79c3dn%40dimap.ufrn.br
>> 
>> .
>>
> --
> 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/CAESt%3DXscFJqwWGH3S3Cxv%2B6Uvh-JPrU6bpis_De3H1_w4WkZTw%40mail.gmail.com
> 
> .
>

-- 
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/CACRvmVQ9pKD%3Dem2jvb%3DMYyswRA_csmeq4UPvuRKs5UnddPEKsQ%40mail.gmail.com.

[Logica-l] Symbolic Logic and Religious Symbolism, Sinaia, Sept 3-8, 2023 - CfP - Final Deadline July 24

[jean-yves beziau]

Workshop organized by Jean-Yves Beziau and Caroline Pires Ting
Federal University of Rio de Janeiro (Brazil) and Logica Universalis
Association (Geneva, Switzerland)
Part of the 4th World Congress on Logic and Religion, Sinaia, Sept 3-8, 2023
Keynote Speaker: Franziska Kohlt (University of Leeds, UK and University of
Southern California, USA)
Title of the talk:  "Lewis Carroll's Logic and Religion"

CALL FOR PAPERS
On the one hand symbolism is important in most religions, on the other hand
modern logic is often characterized as symbolic.
This workshop, part of WoCoLoR4, explores the relation between these two
symbolic approaches.
Suggested topics include - but are not limited to - the following:
> Boole's symbolic mathematical notation in logic and abstract religious
notions
> Zoroastrianism's dualism, Pythagoras's table of opposites, Trinity
Christian triangle, Islamic geometrical objects and the theory of
oppositions
> Yin/Yang and the notion of complementary contradiction
> the symbolism of the cross, crucifixion, negation and abnegation
> Venn symbolic logic, Venn diagrams and their application for
understanding  religious phenomena
> the universal quantifier and catholicism as a religion for all
>  is the existential quantifier really symbolizing existence?
> Cabala symbolism and logic in Alice's Adventures in Wonderland by Charles
Dodgson, aka Lewis Carroll, deacon in the Church of England and symbolic
logician
> logical "interpretation" of Gödel's proof of the existence of God in
symbolic logic

Submit a one page abstract by July 24
Religious Symbolism and Symbolic Logic, Sinaia, Sept 3-8, 2023
https://sites.google.com/view/symbol-relog

-- 
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/CAF2zFLA-4gCNnb6HXY_2WXJdTGeMAop_VGZ7QfA9ad7F0V%3DjtA%40mail.gmail.com.