Re: [Logica-l] Easychair went commercial

[Daniel Durante]

Já é lugar comum, mas é verdade: se o serviço é de graça, é porque o produto é 
você.

Digo isso de um email (gmail) e admito que pago à Google por alguns bytes na 
nuvem, porque me acostumei a usar o Google photos quando era gratuito. 

Saudações,
Daniel.
-
Departamento de Filosofia - (UFRN)
http://danieldurante.weebly.com

> On 12 Oct 2022, at 12:12, Joao Marcos  wrote:
> 
> E mais barato certamente do que manter um serviço local em qualquer 
> universidade. E mesmo de manter o serviço por um órgão público: 
> administração, segurança, suporte usuários, backups etc. Mas ninguém faz a 
> conta…
> 
> Sobre "nada é de graça neste mundo", na época eu não entendia, mas meu pai 
> sempre dizia isso quando eu chegava em casa e dizia que tinha ganhado de 
> graça uns pacotes de figurinhas do último álbum da Copa, na frente da 
> escola...  O jogo, na realidade, é simples: se algo "tem valor" e você não 
> paga pois eu lhe ofereço "de graça", então eu estou pagando por você.
> 
> A ideia de que recursos naturais (ou computacionais) são "de graça" nos tem 
> levado a um verdadeiro desastre ecológico.  O modelo econômico pode mudar (e 
> com ele a ideia de quem seria o "dono" das coisas e teria "direito" a receber 
> por elas), mas o ponto sempre será "quem está pagando por isso" ou "o quanto 
> você está disposto a pagar por isso".
> 
> JM
> 
> 
> -- 
> 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/CAO6j_Lh0xZFMep6Zs%3DQEQFimy%3DMYGUcTVeaq_0V4PxJgPR88tQ%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/CEF6EAEE-422C-4345-9A20-63857A6F%40gmail.com.

[Logica-l] Artificial Intelligence, Ethics, and Beliefs: The Logic and Religion Webinar, October 13

[Assis]

You are invited to participate in the next session of the Logic and 
Religion Webinar Series which will be held on *October 13, 2022*, at *4pm 
CET* with the topic:

 

*Artificial Intelligence, Ethics, and Beliefs.*

*Speakers:* Sara Lumbreras Sancho 
 (Comillas Pontifical 
University, Spain) and Mark Graves 
 (Center for Theology and 
Natural Science, USA).

*Chair:* Andrea Vestrucci  
(University 
of Bamberg, Germany, and Starr King School, USA)

 

Please register in advance!
https://www.logicandreligion.com/webinars

 

 

Abstract: This webinar will explore the connections between Artificial 
Intelligence (AI), ethics, beliefs and spirituality. Sara Lumbreras will 
focus on the differences between human belief as described in the 
Creditions model proposed by Angel & Seiz, and current AI systems, rather 
than the ones anticipated by transhumanist authors such as Kurzweil. These 
differences lead to some AI models being more ethical than others and thus 
for an ethical basis to build a better AI. Mark Graves will explore his 
recent work on AI *morality 
*
 and *spirituality *. 
He draws upon systems theory and Josiah Royce's pragmatic philosophy to 
describe a structure for AI models compatible with human moral psychology 
and spirituality.

 

 

Join us 5 minutes prior to the beginning of the session!
 
With best wishes,

 

 

-- 

Francisco de Assis Mariano 
The University of Missouri-Columbia
LARA Secretary
l...@logicandreligion.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/789ee9e3-790e-4a3b-93a9-bf4fc6665ffan%40dimap.ufrn.br.

[Logica-l] Várias catracas?

[Frode Bjørdal]

Prezxdos,

Achei que esta pergunta poderia ser apropriada aqui:

Alguém desenvolveou lógicas que distinguem entre diferentes tipos de
teoremas, e fazem uso de diferentes catracas ("turnstiles"), ou meios
equivalentes, para esse fim?

Att.

Frode

-- 
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/CAGarh%2Bbd9s3R%2BjPFvjN7-O-n1_NVhJRsNx%2BJCTbkj%2BcBinio_g%40mail.gmail.com.

Re: [Logica-l] Easychair went commercial

[Adolfo Neto]

A SBC está trabalhando numa nova versão do JEMS.

Em qua., 12 de out. de 2022 12:51, Joao Marcos 
escreveu:

> Ainda é melhor que o sistema da SBC, que faz um monte de exigências para
>> usar o jems.
>>
>
> O JEMS é um horror...  Mas até que seria bom se a SBC tivesse realmente se
> preparado para oferecê-lo como _serviço_ à comunidade (de quem ela recebe
> bastante dinheiro).
>
> []s, JM
>
> --
> 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/CAO6j_Ljj%3DbHeXdrGrdZ4NoRrwRvh_1AGTFc19sv3MYA04F_N0w%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/CAP52AGcf4QO-uwg%3DsO-Sy9BTdQ5pgoJFMZ95PG7B8b%3DOo6wGzw%40mail.gmail.com.

Re: [Logica-l] Easychair went commercial

[Joao Marcos]

>
> Ainda é melhor que o sistema da SBC, que faz um monte de exigências para
> usar o jems.
>

O JEMS é um horror...  Mas até que seria bom se a SBC tivesse realmente se
preparado para oferecê-lo como _serviço_ à comunidade (de quem ela recebe
bastante dinheiro).

[]s, 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_Ljj%3DbHeXdrGrdZ4NoRrwRvh_1AGTFc19sv3MYA04F_N0w%40mail.gmail.com.

Re: [Logica-l] Easychair went commercial

[Frode Bjørdal]

Prezadxs,


Deve se formar sub-eventos. :)

Att.

Frode

On Wed, Oct 12, 2022 at 11:31 AM Elaine Pimentel 
wrote:

> Prezados colegas,
>
> Para aqueles que utilizam Easychair para ajudar na organização de
> conferências, aí vai a má notícia: eles mudaram a licença. Agora, gratis
> apenas para eventos com até 20 submissões :-/
>
> https://easychair.org/licenses
>
> Sinal dos tempos...
>
> Atenciosamente,
> --
> Elaine.
> ---
> Elaine Pimentel
> Associate Professor in Programming Principles, Logic, and Verification
> Department of Computer Science
> University College London
> https://sites.google.com/site/elainepimentel/
> ---
>
> --
> 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/CAHQVs%2BUOcnZOkxOcR-5SETJXrFhqto_4tHFKnoOfWMdA8J4UOw%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/CAGarh%2BY7rGkvMWmdQxti%2By8BfH7d-_pTcUV3OF32KF30PUSoYA%40mail.gmail.com.

Re: [Logica-l] Easychair went commercial

[Marcelo Finger]

De agora em diante essa nova linha de gastos vai estar na planilha de todo
organizador de conferências.

Ainda é melhor que o sistema da SBC, que faz um monte de exigências para
usar o jems.

[]s


On Wed, Oct 12, 2022 at 12:10 PM Alexandre Rademaker 
wrote:

>
> E mais barato certamente do que manter um serviço local em qualquer
> universidade. E mesmo de manter o serviço por um órgão público:
> administração, segurança, suporte usuários, backups etc. Mas ninguém faz a
> conta…
>
> Sent from my iPhone
>
> > On 12 Oct 2022, at 11:57, Joao Marcos  wrote:
> >
> > Certamente é bem mais barato ---tempo é dinheiro--- do que a alternativa
> força-bruta de "organizar à mão".
>
> --
> 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/DBCD3568-A567-472E-A85B-B238BD6A3538%40gmail.com
> .
>


-- 
Marcelo Finger
 Departament of Computer Science, IME-USP
 http://www.ime.usp.br/~mfinger
 ORCID: https://orcid.org/-0002-1391-1175
 ResearcherID: A-4670-2009

Instituto de Matemática e Estatística,

Universidade de São Paulo

Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP

-- 
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/CAGG7Aw2NRu4%3DtV0zpFK5CXR3%2B9bv_s%2Bbe3cEE6%3DdFLZ5wAQB8g%40mail.gmail.com.

Re: [Logica-l] Easychair went commercial

[Joao Marcos]

>
> E mais barato certamente do que manter um serviço local em qualquer
> universidade. E mesmo de manter o serviço por um órgão público:
> administração, segurança, suporte usuários, backups etc. Mas ninguém faz a
> conta…


Sobre "nada é de graça neste mundo", na época eu não entendia, mas meu pai
sempre dizia isso quando eu chegava em casa e dizia que tinha ganhado de
graça uns pacotes de figurinhas do último álbum da Copa, na frente da
escola...  O jogo, na realidade, é simples: se algo "tem valor" e você não
paga pois eu lhe ofereço "de graça", então eu estou pagando por você.

A ideia de que recursos naturais (ou computacionais) são "de graça" nos tem
levado a um verdadeiro desastre ecológico.  O modelo econômico pode mudar
(e com ele a ideia de quem seria o "dono" das coisas e teria "direito" a
receber por elas), mas o ponto sempre será "quem está pagando por isso" ou
"o quanto você está disposto a pagar por isso".

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_Lh0xZFMep6Zs%3DQEQFimy%3DMYGUcTVeaq_0V4PxJgPR88tQ%40mail.gmail.com.

Re: [Logica-l] Easychair went commercial

[Alexandre Rademaker]

E mais barato certamente do que manter um serviço local em qualquer 
universidade. E mesmo de manter o serviço por um órgão público: administração, 
segurança, suporte usuários, backups etc. Mas ninguém faz a conta… 

Sent from my iPhone

> On 12 Oct 2022, at 11:57, Joao Marcos  wrote:
> 
> Certamente é bem mais barato ---tempo é dinheiro--- do que a alternativa 
> força-bruta de "organizar à mão".

-- 
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/DBCD3568-A567-472E-A85B-B238BD6A3538%40gmail.com.

Re: [Logica-l] [Off Topic] Easychair went commercial

[Jorge Petrucio Viana]

A Terra não é só plana, ela é chata, também!!!

abraços
P

Em qua., 12 de out. de 2022 às 11:57, Itala Maria Loffredo D'Ottaviano <
it...@unicamp.br> escreveu:

> Elaine:
>
> Lamentável, mas esperado, não?
>
> Itala
>
> Em qua., 12 de out. de 2022 às 11:44, Walter Carnielli <
> walte...@unicamp.br> escreveu:
>
>> Oi  Elaine,  demorou... todos fazem isto, é  uma. embromação
>> conhecida de todas as operadoras de internet  e companhias que atuam
>> no mercado virtual: acostumam você com um pouquinho grátis, e
>> aparentemente perpétuo,e erguem  um "paywall"  no meio do caminho.
>> Igualzinho a distribuir  balinha com cocaína  nas escolas.  A. Unicamp
>>  fechou os servidores de e-mail   locais das pequenas  instituições.
>> (como o CLE. por exemplo) e   passou todas as contas para a Google,
>> porque eles "lidam melhor com spam". A  Google prometeu espaço
>> infinito e perpétuo, mas já está gritando que "sua conta está chegando
>> no limite do armazenamnto".  Bandidagem virtual total.
>>
>> Tem outras alternativas, mas as universidades públicas ou a CAPES
>> deveriam montar uma coisa desse tipo, grátis e funcional!
>> Abs
>>
>> Walter
>>
>> Em qua., 12 de out. de 2022 às 11:31, Elaine Pimentel
>>  escreveu:
>> >
>> > Prezados colegas,
>> >
>> > Para aqueles que utilizam Easychair para ajudar na organização de
>> conferências, aí vai a má notícia: eles mudaram a licença. Agora, gratis
>> apenas para eventos com até 20 submissões :-/
>> >
>> > https://easychair.org/licenses
>> >
>> > Sinal dos tempos...
>> >
>> > Atenciosamente,
>> > --
>> > Elaine.
>> > ---
>> > Elaine Pimentel
>> > Associate Professor in Programming Principles, Logic, and Verification
>> > Department of Computer Science
>> > University College London
>> > https://sites.google.com/site/elainepimentel/
>> > ---
>> >
>> > --
>> > 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/CAHQVs%2BUOcnZOkxOcR-5SETJXrFhqto_4tHFKnoOfWMdA8J4UOw%40mail.gmail.com
>> .
>>
>>
>>
>> --
>>  
>> Walter Carnielli
>> Laboratory for Applied Ontology (LOA), ISTC-CNR
>> Trento, Italy
>> http://www.loa.istc.cnr.it
>> and
>> CLE and Department of Philosophy
>> University of Campinas –UNICAMP, Brazil
>> https://waltercarnielli.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/CAOrCsLc2oOY%2B15D5QDYo_ZWbbL8kYxz1_GPSgFGsEP_tt%3Ddtxw%40mail.gmail.com
>> .
>>
>
>
> --
> Prof. Dr. Itala M. Loffredo D'Ottaviano
> Full Professor in Logic and the Foundations of Science
> Member and Researcher of the *Centre for Logic, Epistemology and the* *History
> of Science* at the University of Campinas
> Research Fellow of the *Brazilian National Council for Scientific and
> Technological Development*
> Titular Member, *Brazilian Academy of Philosophy* (Rio de Janeiro)
> Emeritus Member, *Académie Internationale de Philosophie de Sciences *
> (Bruxelles)
> Titular Member, *Institut International de Philosophie *(Paris-Nancy)
> Editor of *Coleção CLE, *by the *Centre for Logic, Epistemology and the* 
> *History
> of Science.*
>
> --
> 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/CAGi1dG43ytQDUz%3Dx3xkjvb9jGQoD%3Dbfxvx3a4gHB19BNQX80Ug%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 

Re: [Logica-l] [Off Topic] Easychair went commercial

[Itala Maria Loffredo D'Ottaviano]

Elaine:

Lamentável, mas esperado, não?

Itala

Em qua., 12 de out. de 2022 às 11:44, Walter Carnielli 
escreveu:

> Oi  Elaine,  demorou... todos fazem isto, é  uma. embromação
> conhecida de todas as operadoras de internet  e companhias que atuam
> no mercado virtual: acostumam você com um pouquinho grátis, e
> aparentemente perpétuo,e erguem  um "paywall"  no meio do caminho.
> Igualzinho a distribuir  balinha com cocaína  nas escolas.  A. Unicamp
>  fechou os servidores de e-mail   locais das pequenas  instituições.
> (como o CLE. por exemplo) e   passou todas as contas para a Google,
> porque eles "lidam melhor com spam". A  Google prometeu espaço
> infinito e perpétuo, mas já está gritando que "sua conta está chegando
> no limite do armazenamnto".  Bandidagem virtual total.
>
> Tem outras alternativas, mas as universidades públicas ou a CAPES
> deveriam montar uma coisa desse tipo, grátis e funcional!
> Abs
>
> Walter
>
> Em qua., 12 de out. de 2022 às 11:31, Elaine Pimentel
>  escreveu:
> >
> > Prezados colegas,
> >
> > Para aqueles que utilizam Easychair para ajudar na organização de
> conferências, aí vai a má notícia: eles mudaram a licença. Agora, gratis
> apenas para eventos com até 20 submissões :-/
> >
> > https://easychair.org/licenses
> >
> > Sinal dos tempos...
> >
> > Atenciosamente,
> > --
> > Elaine.
> > ---
> > Elaine Pimentel
> > Associate Professor in Programming Principles, Logic, and Verification
> > Department of Computer Science
> > University College London
> > https://sites.google.com/site/elainepimentel/
> > ---
> >
> > --
> > 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/CAHQVs%2BUOcnZOkxOcR-5SETJXrFhqto_4tHFKnoOfWMdA8J4UOw%40mail.gmail.com
> .
>
>
>
> --
>  
> Walter Carnielli
> Laboratory for Applied Ontology (LOA), ISTC-CNR
> Trento, Italy
> http://www.loa.istc.cnr.it
> and
> CLE and Department of Philosophy
> University of Campinas –UNICAMP, Brazil
> https://waltercarnielli.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/CAOrCsLc2oOY%2B15D5QDYo_ZWbbL8kYxz1_GPSgFGsEP_tt%3Ddtxw%40mail.gmail.com
> .
>


-- 
Prof. Dr. Itala M. Loffredo D'Ottaviano
Full Professor in Logic and the Foundations of Science
Member and Researcher of the *Centre for Logic, Epistemology and the* *History
of Science* at the University of Campinas
Research Fellow of the *Brazilian National Council for Scientific and
Technological Development*
Titular Member, *Brazilian Academy of Philosophy* (Rio de Janeiro)
Emeritus Member, *Académie Internationale de Philosophie de Sciences *
(Bruxelles)
Titular Member, *Institut International de Philosophie *(Paris-Nancy)
Editor of *Coleção CLE, *by the *Centre for Logic, Epistemology and
the* *History
of Science.*

-- 
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/CAGi1dG43ytQDUz%3Dx3xkjvb9jGQoD%3Dbfxvx3a4gHB19BNQX80Ug%40mail.gmail.com.

Re: [Logica-l] Easychair went commercial

[Joao Marcos]

Nada é realmente _grátis_ neste mundo...

A notícia sobre a EasyChair cobrando entre £2.90 e £4.50 por submissão (com
a imposição de um número mínimo de submissões) não é boa, mas ainda pode
sair bem mais barato do que as alternativas:
https://www.openconf.com/ (US$250 pela licença standard)
https://conference-service.com/ (EUR 475 por até 100 submissões)
Certamente é bem mais barato ---tempo é dinheiro--- do que a alternativa
força-bruta de "organizar à mão".

Talvez fosse melhor, contudo, para o modelo "on demand" da EasyChair, que
quem pagasse fosse o autor do trabalho submetido, não o organizador do
evento...

%%%

Por falar em alternativas _abertas_ interessantes, no que diz respeito à
transmissão de conferências online/híbridas, para quem já não paga pelos
(caros) serviços do Google Meet ou do Zoom, fiquei bastante bem
impressionado com o https://bigbluebutton.org/.

%%%

JM


On Wed, Oct 12, 2022 at 11:31 AM Elaine Pimentel 
wrote:

> Prezados colegas,
>
> Para aqueles que utilizam Easychair para ajudar na organização de
> conferências, aí vai a má notícia: eles mudaram a licença. Agora, gratis
> apenas para eventos com até 20 submissões :-/
>
> https://easychair.org/licenses
>
> Sinal dos tempos...
>
> Atenciosamente,
> --
> Elaine.
> ---
> Elaine Pimentel
> Associate Professor in Programming Principles, Logic, and Verification
> Department of Computer Science
> University College London
> https://sites.google.com/site/elainepimentel/
> ---
>
> --
> 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/CAHQVs%2BUOcnZOkxOcR-5SETJXrFhqto_4tHFKnoOfWMdA8J4UOw%40mail.gmail.com
> 
> .
>


-- 
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_Lh5iQAP7j1g%3DJ%2BFGa7fox1i4OeOFemtCDA1dHqXU5_0%3Dg%40mail.gmail.com.

[Logica-l] [Off Topic] Easychair went commercial

[Walter Carnielli]

Oi  Elaine,  demorou... todos fazem isto, é  uma. embromação
conhecida de todas as operadoras de internet  e companhias que atuam
no mercado virtual: acostumam você com um pouquinho grátis, e
aparentemente perpétuo,e erguem  um "paywall"  no meio do caminho.
Igualzinho a distribuir  balinha com cocaína  nas escolas.  A. Unicamp
 fechou os servidores de e-mail   locais das pequenas  instituições.
(como o CLE. por exemplo) e   passou todas as contas para a Google,
porque eles "lidam melhor com spam". A  Google prometeu espaço
infinito e perpétuo, mas já está gritando que "sua conta está chegando
no limite do armazenamnto".  Bandidagem virtual total.

Tem outras alternativas, mas as universidades públicas ou a CAPES
deveriam montar uma coisa desse tipo, grátis e funcional!
Abs

Walter

Em qua., 12 de out. de 2022 às 11:31, Elaine Pimentel
 escreveu:
>
> Prezados colegas,
>
> Para aqueles que utilizam Easychair para ajudar na organização de 
> conferências, aí vai a má notícia: eles mudaram a licença. Agora, gratis 
> apenas para eventos com até 20 submissões :-/
>
> https://easychair.org/licenses
>
> Sinal dos tempos...
>
> Atenciosamente,
> --
> Elaine.
> ---
> Elaine Pimentel
> Associate Professor in Programming Principles, Logic, and Verification
> Department of Computer Science
> University College London
> https://sites.google.com/site/elainepimentel/
> ---
>
> --
> 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/CAHQVs%2BUOcnZOkxOcR-5SETJXrFhqto_4tHFKnoOfWMdA8J4UOw%40mail.gmail.com.



-- 
 
Walter Carnielli
Laboratory for Applied Ontology (LOA), ISTC-CNR
Trento, Italy
http://www.loa.istc.cnr.it
and
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil
https://waltercarnielli.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/CAOrCsLc2oOY%2B15D5QDYo_ZWbbL8kYxz1_GPSgFGsEP_tt%3Ddtxw%40mail.gmail.com.

Re: [Logica-l] Easychair went commercial

[Marcelo Finger]

Xiii, vai complicar a vida de muita gente, e aumentar a taxa de inscrição
em conferências.

Alguém sabe de um serviço alternativo?


On Wed, Oct 12, 2022 at 11:31 AM Elaine Pimentel 
wrote:

> Prezados colegas,
>
> Para aqueles que utilizam Easychair para ajudar na organização de
> conferências, aí vai a má notícia: eles mudaram a licença. Agora, gratis
> apenas para eventos com até 20 submissões :-/
>
> https://easychair.org/licenses
>
> Sinal dos tempos...
>
> Atenciosamente,
> --
> Elaine.
> ---
> Elaine Pimentel
> Associate Professor in Programming Principles, Logic, and Verification
> Department of Computer Science
> University College London
> https://sites.google.com/site/elainepimentel/
> ---
>
> --
> 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/CAHQVs%2BUOcnZOkxOcR-5SETJXrFhqto_4tHFKnoOfWMdA8J4UOw%40mail.gmail.com
> 
> .
>


-- 
Marcelo Finger
 Departament of Computer Science, IME-USP
 http://www.ime.usp.br/~mfinger
 ORCID: https://orcid.org/-0002-1391-1175
 ResearcherID: A-4670-2009

Instituto de Matemática e Estatística,

Universidade de São Paulo

Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP

-- 
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/CAGG7Aw3_VYfCS2uCmYRHSq12CtFtju2jb89fb9pwmd5rn6bvuQ%40mail.gmail.com.

[Logica-l] Easychair went commercial

[Elaine Pimentel]

Prezados colegas,

Para aqueles que utilizam Easychair para ajudar na organização de
conferências, aí vai a má notícia: eles mudaram a licença. Agora, gratis
apenas para eventos com até 20 submissões :-/

https://easychair.org/licenses

Sinal dos tempos...

Atenciosamente,
-- 
Elaine.
---
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London
https://sites.google.com/site/elainepimentel/
---

-- 
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/CAHQVs%2BUOcnZOkxOcR-5SETJXrFhqto_4tHFKnoOfWMdA8J4UOw%40mail.gmail.com.

[Logica-l] Classical Propositional Logic without Atoms

[jean-yves beziau]

Logic and Computation Seminar 
[image: RSS] 
[image: Jean-Yves Béziau] 14/10/2022, 15:00 — 16:00 — Room P3.10,
Mathematics Building Instituto Superior Técnicohttp://tecnico.ulisboa.pt
Jean-Yves Béziau, * UFRJ, Brazil*

Classical Propositional Logic without Atoms

Classical propositional logic (and other propositional logics) are
generally presented with atomic formulas, due to a philosophical idea of
Wittgenstein (1921), baptized by Bertrand Russell “Logical Atomism” (1924).
This philosophical view is controversial and from a mathematical point of
view it is possible to construct propositional logic without atoms. This is
what we will show here in the case of classical propositional logic.
Surprisingly enough this has not yet been studied in detail. On the one
hand Gödel very succinctly talked about that in an informal way
(1929/1930). On the other hand Suszko developed what he called “abstract
logic”, a general theory of propositional logics without the atomic
assumption, but did not study in detail particular cases.

We will here present a precise mathematical definition of classical
propositional logic without atoms, present a semantics for it, a sequent
calculus and prove the completeness theorem using a very general abstract
version of this theorem (Beziau 2001).
References

   - J.-Y. Béziau, “Sequents and bivaluations”, Logique et Analyse, 44
   (2001), pp.373-394.
   - K. Gödel, “Eine Eigenschaft der Realisierungen des Aussagenkalküls”,
   Ergebnisse eines mathematischen Kolloquiums, 2 (1929/30), pp.20-21.
   - B. Russell, “Logical Atomism”, in J. H. Muirhead (ed.), Contemporary
   British Philosophers, London: Allen and Unwin, 1924, pp.356–383.
   - R. Suszko (with S. L. Bloom and D. J. Brown) “A note on abstract
   logics”, Bulletin de l’Académie Polonaise des Sciences, 18 (1970), pp.
   109-110.
   - L. Wittgenstein, “Logisch-Philosophische Abhandlung”, Annalen der
   Naturphilosophie, 14 (1921).

[image: link] 
--

Funded under the scope of UID/EEA/50008/2013.

[image: Instituto de Telecomunicações] [image: FCT]
--



To change your subscription: https://lc.math.tecnico.ulisboa.pt/registration

-- 
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/CAF2zFLCpGoVp_dZPSmmhcBxhk44D7m8-1S-OfALW-MqA_ZgiSQ%40mail.gmail.com.