[Logica-l] MODELOS MATEMÁTICOS EM TEOLOGIA: Eles são úteis? LARAW quinta 18/08 às 11h de Brasília

2022-08-17 Por tôpico jean-yves beziau 
MATHEMATICAL MODELS IN THEOLOGY- Are They Helpful?
August 18, 2022, 4pm CET
Speaker: Stanisław Krajewski (University of Warsaw, Poland)
https://en.wikipedia.org/wiki/Stanis%C5%82aw_Krajewski
Chair: Ali Sadegh Daghighi (Institute for Interdisciplinary Research in
Fundamental Sciences, Iran)
We will begin by reviewing some mathematical illustrations of religious
concepts, both old, for example by Cusanus, and a few new mathematical
models in theology. The problem is how helpful they are. They can
illustrate ideas, but remain metaphorical pictures assisting our
imagination and attempts to deal with paradoxical situations. The deeper
problem is whether they can model divine realms in a way that would suggest
new insights as it is possible in the case of math models in natural
sciences.

Everybody is welcome to attend, register here:
https://www.logicandreligion.com/webinars
Jean-Yves Beziau
Vice-President of LARA
https://www.logicandreligion.com/lara

-- 
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/CAF2zFLCEGkTN5TTbdyjWUZb4hTtNdZNqvkE-OqbOxH7q-jpkJw%40mail.gmail.com.

Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática)

2022-08-17 Por tôpico Hugo Luiz Mariano 
Obrigado pela divulgação Samuel!

A sessão de teoria de categorias do encontro conjunto Brasil-Portugal de
Matemática, organizado por Valeria de Paiva, Maria Manuel Clementino, José
Siqueira e eu, também gostaríamos de agradecer ao grupo de
Lógica-Matemática da UFBA pela gentil oferta de compartilhar a estrutura do
grupo (canal do youtube) para  divulgar  as palestras da sessão de teoria
das categorias:
https://sites.google.com/view/categoriasbrasil-portugal/

Abraços,
Hugo Mariano

Em qua., 17 de ago. de 2022 às 00:18, 'samuel' via LOGICA-L <
logica-l@dimap.ufrn.br> escreveu:

> ... Ah sim,
>
> E temos "um plus a mais",
>
> No canal do YouTube do nosso grupo de Lógica (link na mensagem anterior)
>
> Também faremos a live das duas sessões de Teoria das Categorias,
>
> Que ocorrerão nas mesmas quinta e sexta só que na parte da manhã, às 10h30.
>
> Abraços
>
> []s  Samuel
>
> Em terça-feira, 16 de agosto de 2022 às 19:14:00 UTC-3, samuel escreveu:
>
>> Caros
>>
>> Atualizando as informações (sobre as sessões de Lógica Matemática do
>> Brasil-Portugal),
>>
>> ---> a sessão presencial de quinta-feira 18/08 às 14hs vai ser
>> transmitida ao vivo (a famosa "live") no canal de YouTube do grupo de
>> Lógica Matemática
>> da UFBA:
>>
>> https://www.youtube.com/channel/UCSqOfroNO6rc3wUeP9-f1qg/featured
>>
>> Será a primeira live que faremos, então pedimos desculpas antecipadamente
>> por qualquer problema...  8-)
>>
>> --> a sessão online da sexta-feira 19/08 às 14hs vai ser transmitida via
>> Zoom no link
>>
>> https://ucl.zoom.us/j/96643160730
>>
>> Convidamos todos os interessados a nos acompanhar !
>>
>> Abraços
>>
>> []s  Samuel
>>
>>
>>
>> Em domingo, 14 de agosto de 2022 às 00:02:29 UTC-3, it...@unicamp.br
>> escreveu:
>>
>>> Caras e caros:
>>>
>>> Também não poderei participar do encontro, pois estarei coordenando o
>>> Fórum mencionado pelo Walter.
>>> Bom encontro!
>>>
>>> Itala
>>>
>>> Em sex., 12 de ago. de 2022 às 20:46, Walter Carnielli <
>>> walt...@unicamp.br> escreveu:
>>>
 Pessoal ,desejo boa sorte mas  esclareço que não poderei participar
 porque eu estou dando uma palestra em um Fórum da Unicamp neste dia.

 Abs
 Walter

 Em sex., 12 de ago. de 2022 17:22, Valeria de Paiva <
 valeria...@gmail.com> escreveu:

> >PS: Temos colegas lógicos também na Sessão de Teoria das Categorias,
> a qual vai ocorrer nos mesmos dias (quinta 18 e sexta 19), porém na parte
> da manhã.
>
> Muito obrigada pelo "shout-out" Samuel!!
>
> O José Siqueira, o Hugo Mariano, a Maria Manuel Clementino e eu
> estamos organizando uma sessão de teoria de categorias no mesmo encontro
> Brasil-Portugal.
> a descrição se encontra em
> https://sites.google.com/view/categoriasbrasil-portugal
>
> Abracos,
> Valeria
>
>
> On Thu, Aug 11, 2022 at 12:30 PM 'Samuel Gomes da Silva' via LOGICA-L <
> logi...@dimap.ufrn.br> wrote:
>
>> Prezados,
>>
>> Seguindo com a presença da Lógica na recente tradição dos encontros
>> bilaterais da Sociedade Brasileira de Matemática com as respectivas
>> sociedades de
>> outros países, em encontros organizados no Brasil (Brasil-Espanha
>> 2015, Brasil-Itália 2016 e Brasil-França 2019),
>>
>> Teremos também uma Sessão de Lógica Matemática no Encontro Conjunto
>> Brasil-Portugal de Matemática
>>
>> 
>> https://sites.google.com/view/ecbpm/
>>
>> o qual vai ser realizado aqui mesmo em Salvador, na semana que vem,
>> de 14 a 19 de agosto.
>>
>> A sessão de Lógica ocorrerá em duas tardes, na quinta dia 18
>> (apresentações presenciais) e sexta dia 19 (apresentações online).
>>
>> Mesmo as apresentações presenciais, tentaremos viabilizar a
>> transmissão ao vivo pelo Canal de YouTube do Grupo de
>> Lógica da UFBA, mando mensagem na semana que vem confirmando isso
>> (além de divulgar o link para a sessão da sexta-feira
>> que vai ser online de todas as formas).
>>
>> Também temos uma página própria para a Sessão de Lógica:
>>
>> https://sites.google.com/view/logica-brasil-portugal
>>
>> Segue a descrição da sessão:
>>
>> ==
>>
>> Tópicos:
>>
>> Decidability, Proof Theory, Type Theory, Model Theory, Complexity,
>> Algebraic Logic, Categorical
>> Logic, Non-Classical Logics, Set Theory.
>>
>> Organizadores da Sessão Temática:
>>
>> Alfredo Roque Freire
>> Elaine Pimentel
>> João Marcos
>> Manuel Martins
>> Samuel G. da Silva
>>
>>
>> **
>> Quinta-feira, 18 de Agosto
>> **
>>
>> 13:50–14:00 Abertura da sessão  (Elaine & João Marcos - organização)
>>
>> 14:00–14:20 Pedro Quaresma -  Coimbra, Portugal
>>
>> New and interesting theorems
>>

[Logica-l] Postdoc wanted-New Zealand

2022-08-17 Por tôpico Walter Carnielli 
Pessoal,

Bom dia, convite imperdível  de Zach Weber, para atuar na Nova Zelândia. Eu
posso recomendar, se alguem se interessar  me  escreva em privado.

Abraços,
Walter
===/=

Dear Walter

I hope you are well! I’m writing with the below job ad for a postdoc in
paraconsistent logic, to come work with me and Jack Copeland in New
Zealand. I’d appreciate if you could share it widely with interested people
in your orbit and beyond.

See you soon at the WCP6!

Best — Zach

Zach Weber
Associate Professor
Head of Programme
Philosophy
University of Otago


JOB: Postdoc in logic, three years full time in New Zealand

We are seeking a Postdoctoral Fellow to work as part of the project
“Paraconsistent Computability Theory” supported by the Marsden Fund, Royal
Society of New Zealand.

The position is jointly funded and supervised by the University of Otago
(Dunedin) and the University of Canterbury (Christchurch), in New Zealand’s
South Island.

The project is to develop the logical and conceptual foundations of
computability theory using paraconsistent logic. The project leaders are
Associate Professor Zach Weber (Otago) and Distinguished Professor Jack
Copeland (Canterbury).

The successful applicant will contribute to the planning, research,
writing, and publication of results, and will have or be near completion of
a PhD in philosophy – especially logic – or computer science or
mathematics, or another related field, and will have expertise in (or be
prepared to develop expertise in) paraconsistent logic, computability
theory, and some relevant topics in the foundations of physics. The
successful applicant will teach one class per year at the University of
Otago.

This is a full-time (1FTE), fixed-term position for three years. Start date
is negotiable with the candidate. Applications will be considered
individually on receipt and this vacancy will close as soon as the position
is filled.

For more information, including application details, please follow the link:

Postdoctoral Fellow (Paraconsistent Logic)


-- 
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/CA%2Bob58OLDozSk_59C%3Dwrgv3pOZqAWb2v-ankOgcMfYtVZH-OTg%40mail.gmail.com.

[Logica-l] Postdoc in (paraconsistent) logic, three years full time in New Zealand

2022-08-17 Por tôpico Joao Marcos 
-- Forwarded message -

JOB: Postdoc in logic, three years full time in New Zealand

We are seeking a Postdoctoral Fellow to work as part of the project
“Paraconsistent Computability Theory” supported by the Marsden Fund,
Royal Society of New Zealand.

The position is jointly funded and supervised by the University of
Otago (Dunedin) and the University of Canterbury (Christchurch), in
New Zealand’s South Island.

The project is to develop the logical and conceptual foundations of
computability theory using paraconsistent logic. The project leaders
are Associate Professor Zach Weber (Otago) and Distinguished Professor
Jack Copeland (Canterbury).

The successful applicant will contribute to the planning, research,
writing, and publication of results, and will have or be near
completion of a PhD in philosophy – especially logic – or computer
science or mathematics, or another related field, and will have
expertise in (or be prepared to develop expertise in) paraconsistent
logic, computability theory, and some relevant topics in the
foundations of physics. The successful applicant will teach one class
per year at the University of Otago.

This is a full-time (1FTE), fixed-term position for three years. Start
date is negotiable with the candidate. Applications will be considered
individually on receipt and this vacancy will close as soon as the
position is filled.

For more information, including application details, please follow the link:

Postdoctoral Fellow (Paraconsistent Logic)
https://otago.taleo.net/careersection/2/jobdetail.ftl?job=2201500

-- 
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_Lhv3Uee86Upm4CUqh5jDSudvXuN9%3Dj4n4SGf5XtZTKnCQ%40mail.gmail.com.