[Logica-l] CFA: The First Brazilian Workshop on Algebraic Logic, São Paulo, Oct. 10-11, 2024

[Aldo Figallo-Orellano]

[Please distribute. Apologies for multiple postings]

The First Brazilian Workshop on Algebraic Logic
October 10-11, 2024, São Paulo
https://sites.google.com/view/algebraiclogic/


The São Paulo Research Foundation <https://fapesp.br/en/about> has among
its expansive policies the promotion of new lines of research in the state
of São Paulo. With this objective we have organized this event with
researchers from Brazil, Argentina and Europe. The event will feature
exhibitions of invited speakers, communications and posters, divided into 2
days. During this period, work meetings will also be held to support joint
projects in development, in addition to being an excellent opportunity for
contacts and establishment of new scientific collaborations.

Another important objective of the event is to encourage the participation
of students interested in all areas of Logic, who will benefit from this
meeting by attending the exhibitions and interacting with the speakers.
This also includes poster sessions, including the work of students in
scientific initiation and post-graduation who are developing their
activities in areas related to the event.

This event is organized with the financial support of São Paulo research
foundation and the institutional support of  the Institute of Mathematics
and Statistics <https://www.ime.usp.br/en/home/> from University of São
Paulo (USP), Brazil. The members of  Young Investigator Grant 21/04883-0
<https://bv.fapesp.br/en/auxilios/112095/paraconsistent-set-theory/> invite
the logic community to participate.


INVITED SPEAKERS

Francisco Miraglia, University of São Paulo

Carles Noguera, University of Siena

Petr Cintula, The Czech Academy of Sciences

Rodrigo Freire, University of Brasília

Martín Figallo, Universidad Nacional del Sur



SCIENTIFIC COMMITTEE

Lluís Godo, Spanish National Research Council

Itala D'Ottaviano, University of Campinas

Hugo Mariano, University of São Paulo

Umberto Rivieccio, Universidad Nacional de Educación a Distancia

Juliana Bueno-Soler, University of Campinas

Aldo Figallo Orellano, University of São Paulo

Gustavo Pelaitay, CONICET and Universidad Nacional de San Juan

Verónica Borja Macías, Universidad Tecnológica de la Mixteca

ORGANIZERS

Aldo Figallo Orellano, (Research Fellow) University of São Paulo (Chair)

Hugo Mariano, University of São Paulo (Co-chair)

Itala D'Ottaviano, University of Campinas

Martín Figallo, Universidad Nacional del Sur

COLLABORATORS

Emanuele Santana, (PhD Student) University of São Paulo

Pedro Reis, (PhD  Student) University of São Paulo

Mateus Campos, (Bachelor student) University of São Paulo
Other invited speakers will participate in the event, all the information
about the workshop activities will appear in the final version of the
schedule.

Call for Abstracts

Contributions will be welcome in all areas of mathematical logic. Authors
must send an abstract with at most one page with the bibliography to be
considered. Depending on the amount of contributions, some could be sent
for presentation in Poster format. It is suggested that those interested in
participating are students of Scientific Initiation (IC, in Portuguese)
and/or recently accepted in a postgraduate program submit a abstract in the
Posters session.

IMPORTANT DATES

Abstract submission:  05 September 2024

Author notification: 30 September 2024

Submissions should be sent to: wal2024@gmail.com
<20wal2024@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 acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAAd%2BSQmm_aJdG3cyH8c62ZvoVkyJc326%2BzMRB7%3D5aXP0_dfjQQ%40mail.gmail.com.

[Logica-l] Beth Dissertation Prize

[Aldo Figallo-Orellano]

https://www.facebook.com/share/p/pivjrzf8DXedKZdB/?mibextid=oFDknk

Larry Moss:

Do you know someone who wrote a terrific PhD dissertation in topics
relevant to the Beth Dissertation Award?  (See below for the areas covered
by this interdisciplinary prize.)  If so, please tell them about this!

And a thank-you to my friends here who are on the selection committee.

——--
Since 2002, the Association for Logic, Language, and Information (FoLLI)
has been awarding the annual E.W. Beth Dissertation Prize to outstanding
Ph.D. dissertations in Logic, Language, and Information with financial
support of the E.W. Beth Foundation.  Nominations are now invited for the
best dissertation in these areas resulting in a Ph.D. degree awarded in
2023.
——--
Qualifications:

 - A Ph.D. dissertation on a topic concerning Logic, Language, or
Information is eligible for the Beth Dissertation Prize 2024, if the degree
was awarded  between January 1st and December 31st, 2023.
 - There are no restrictions on the nationality, ethnicity, age, gender or
employment status of the author of the nominated dissertation, nor on the
university, academic department or scientific institution formally
conferring the Ph.D. degree, nor on the language in which the dissertation
has originally been written.
 -  In accordance with the aim of the Beth Foundation to continue and
extend the work of the Dutch logician Evert Willem Beth, nominations are
invited of excellent dissertations on topics in the broad remit of ESSLLI,
including current topics in philosophical and mathematical logic, computer
science logic, philosophy of science, philosophy of language, history of
logic, history of the philosophy of science and scientific philosophy in
general, as well as the current theoretical and foundational developments
in information and computation, language, and cognition. Dissertations with
results more broadly impacting various research areas in their
interdisciplinary investigations are especially solicited.
 -  If a nominated dissertation has originally been written in a language
other than English, its dossier should still contain the required 10 page
English abstract, see below. If the committee decides that a nominated
dissertation in a language other than English requires translation to
English for proper evaluation, the committee can transfer its nomination to
the competition in 2025. The English translation must in such cases be
submitted before the deadline of the call for nominations in 2025. The
committee may recommend the Beth Foundation to consider supporting such
nominated dissertations for English translation, upon request by the author
of the dissertation.

The prize consists of:
 - a certificate
 - a donation of 3000 euros, provided by the E.W. Beth Foundation. In case
two dissertations are selected, the prize will be split between the winners.
 - an invitation to submit the dissertation, possibly after revision, for
publication in FoLLI Publications on Logic, Language and Information
(Springer).

Only digital submissions are accepted, without exception. Hard copy
submissions are not allowed. The following documents are to be submitted in
the nomination dossier:
 - The original dissertation in pdf format (ps/doc/rtf etc. not acceptable).
 - A ten-page English abstract of the dissertation, presenting the main
results of each chapter.
 - A letter of nomination from the dissertation supervisor, which concisely
describes the scope and significance of the dissertation, stating when the
degree was officially awarded and the members of the Ph.D. committee.
Nominations should contain the address, phone and email details of the
nominator.
 - Two additional letters of support, including at least one from a referee
not affiliated with the academic institution that awarded the Ph.D. degree,
nor otherwise related to the nominee (e.g. former teachers, supervisors,
co-authors, publishers or relatives) or the dissertation.
 - Self-nominations are not possible.

All pdf documents must be submitted electronically, *as one pdf file*, via
EasyChair by following the link

https://easychair.org/conferences/?conf=beth24

***The deadline is April 30, 2024.***

In case of any problems or questions please contact the chair of the
committee Elaine Pimentel (e.pimen...@ucl.ac.uk).

The prize will be awarded by the chair of the FoLLI board at a ceremony
during the 35th ESSLLI summer school in Leuven, Belgium, 29 July - 9 August
2024.

Beth dissertation prize committee 2024 (more TBA):

Guy Emerson (University of Cambridge)
Chris Fermüller (TU-Wien)
Herman Geuvers (Radboud University Nijmegen)
Erich Grädel (RWTH Aachen University)
Sandra Kiefer (University of Oxford)
Laura Kovacs (TU Wien)
Clemens Kupke (University of Strathclyde)
Larry Moss (Indiana University Bloomington)
Reinhard Muskens (ILLC, University of Amsterdam)
Alberto Naibo (IHPST - Université Paris 1 Panthéon-Sorbonne)
Elaine Pimentel (University College London, cha

Re: [Logica-l] [OUF!] seis milhões de judeos exterminados durante a segunda guerra mundial

[Aldo Figallo-Orellano]

aldofigallo saiu do grupo

Em sex., 29 de mar. de 2024, 22:26, yuri lumer 
escreveu:

> Eu acho que antissionismo é quase sempre um verniz para o antissemitismo,
> mas isso obviamente não tem relação com críticas a Israel de maneira geral.
>
> A questão é que no debate público deformaram o conceito de sionismo
> atribuindo a ele uma carga pejorativa a priori e alienando completamente
> este conceito de uma representação real para poder se declarar contra os
> judeus sem ser racista.
>
> Tem um vídeo curtinho do prof. Michel Gherman que considero interessante e
> bem didático sobre a multiplicidade do conceito.
>
> https://youtu.be/tl1i9BmIEAM?feature=shared
>
>
> Sei que este é um debate longo e se for procurar, encontrá na Internet
> centenas de artigos dizendo que sim , que não é que depende.
>
> O Guga Chacra escreveu um coluna no Globo onde ele faz uma demarcação que
> me parece fazer sentido e que para efeitos práticos é o que eu adoto.
>
>
> https://oglobo.globo.com/blogs/guga-chacra/post/2024/03/criticas-a-israel-x-antissemitismo.ghtml
>
>
>
> Eu tambem acho a reacao de Israel brutal e preocupante no aspecto
> hunanitario, mas sempre refleti o que deveria ter sido feito. Este artigo
> do David Brooks no NYT me pareceu interessante neste sentido e compartilho
> aqui também para quem tiver interesse .
>
>
>
>
> https://www.nytimes.com/2024/03/24/opinion/gaza-israel-war.html?unlocked_article_code=1.fU0.E8dH.LoZ_UqS18-_k&smid=nytcore-ios-share&referringSource=articleShare&ugrp=m
>
>
>
>
>
> Em qui., 28 de mar. de 2024 15:22, Mayk Alves de Andrade <
> andrade.m...@gmail.com> escreveu:
>
>> Essa história é muito complexa, então vou me ater a alguns fatos simples.
>>
>> 1. Antissemitismo segue existindo, assim como islamofobia.
>>
>> 2. Somos contra os nazistas não porque eles erram alemães, germânicos ou
>> cristãos, mas porque fizeram atrocidade desumanas.
>>
>> 3. Existe um movimento contra Israel que não está baseado no fato de ser
>> um país judeu, mas sim pelos crimes contra a humanidade que estão
>> cometendo. Ou seja, existe uma diferença enorme entre antissemitismo e
>> antissionismo.
>>
>> 4. Ser contra os crimes de Israel não é equivalente a ser a favor do
>> Hamas. A existência do antissemitismo não justifica a existência do
>> sionismo e vice-versa.
>>
>> 5. A ideia de nação é uma invenção moderna, um mito. O nacionalismo
>> bélico, portanto, nunca é justificável. Misture a ideia de raça, nação e
>> religião em uma disputa de controle territorial ou de mercado e você terá a
>> receita perfeita para o nascimento do fascismo.
>>
>> Abraços.
>>
>> On Thu, 28 Mar 2024 at 14:00 Frode Alfson Bjørdal <
>> bjordal.fr...@gmail.com> wrote:
>>
>>> «Não é a minha dramaturgia Frode» - Caracterizei o texto que você
>>> vinculou, e supus que foi escrito por você. Não é responsável?
>>>
>>> «se desenvolveu a maior onda de antisemitismo depois da segunda guerra
>>> mundial» - Indubitavelmente, e desenvolveu-se pelas autoridades do Israel.
>>>
>>> https://fb.watch/r5m1HV1nOU/
>>>
>>> torsdag 28. mars 2024 kl. 08:33:35 UTC-3 skrev jyb:
>>>
>>> Não é a minha dramaturgia Frode, é a realidade!
>>> é importante lembrar disso no momento
>>> que depois dos ataques do Hamas a Israel
>>> em particular ligados a um festa brasileira
>>> https://www.youtube.com/watch?v=f5sI6mIBPAc
>>> se desenvolveu a maior onda de antisemitismo depois da segunda guerra
>>> mundial
>>> https://www.youtube.com/watch?v=rbfccVBo9tE
>>> JYB
>>>
>>>
>>>
>>> On Wed, Mar 27, 2024 at 7:40 PM Frode Alfson Bjørdal <
>>> bjorda...@gmail.com> wrote:
>>>
>>> Inegavelmente, mas não creio que a sua dramaturgia seja ética, dadas as
>>> circunstâncias dos dias de hoje.
>>>
>>>
>>> Professor emérito em filosofia, Universitetet i Oslo
>>>
>>> Frode Alfson Bjørdal
>>>
>>>
>>> On Wed, Mar 27, 2024 at 2:45 PM jean-yves beziau 
>>> wrote:
>>>
>>> seis milhões de judeus exterminados durante a segunda guerra mundial
>>> https://www.youtube.com/watch?v=bsTQKcHC2qg
>>> les enfants d'israël
>>> https://www.youtube.com/watch?v=Cu2Z-_aAhN8
>>> JYB
>>>
>>> --
>>> 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+u...@dimap.ufrn.br.
>>> Para acessar essa discussão na Web, acesse
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCh3-WmOrC5Q3gxGDSTQs%2BFC3zREm2O9E%3Dc%3DpC2TCEtMg%40mail.gmail.com
>>> 
>>> .
>>>
>>> --
>>> 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 cancela

[Logica-l] Re: CFP: REACTS'24 - International Workshop on Reconfigurable Transition Systems, Aveiro, Nov 5, 2024

[Aldo Figallo-Orellano]

===
>
> TBA
>
>
> ==
> PROGRAM COMMITTEE
> ==
>
> Carlos Areces, Universidad Nacional de Córdoba and CONICET (Argentina)
> Luis Soares Barbosa, Universidade Do Minho (Portugal)
> Mario Benevides, Universidade Federal do Rio de Janeiro (Brazil)
> Johan van Benthem, ILLC, University of Amsterdam (The Netherlands) &
> Stanford University (USA)
> Patrick Blackburn, University of Roskilde (Denmark)
> Valentin Cassano, Universidad Nacional de Río Cuarto and CONICET
> (Argentina)
> Madalena Chaves, Centre Inria d'Université Côte d'Azur (France)
> Diana Costa, Universidade de Lisboa (Portugal)
> Stéphane Demri, CNRS, Université Paris-Saclay (France)
> Hans van Ditmarsch, CNRS, University of Toulouse (France)
> Daniel Figueiredo, University of Aveiro (Portugal)
> Sabine Frittella, Université d'Orleans (France)
> Sujata Gosh, Indian Statistical Institute, Chennai (India)
> Andreas Herzig, CNRS, Université Paul Sabatier (France)
> Juha Kontinen, University of Helsinki (Finland)
> Sergio Marcelino, Universidade de Lisboa (Portugal)
> Regivan Santiago, Universidade Federal do Rio Grande do Norte (Brazil)
> François Schwarzentruber, ENS Rennes (France)
> Igor Sedlár, Czech Academy of Sciences (Czech Republic)
> Sonja Smets, ILLC, University of Amsterdam (The Netherlands)
> Ionuț Țuțu, Simion Stoilow Institute of Mathematics of the Romanian
> Academy (Romania)
> Fernando R. Velázquez-Quesada, University of Bergen (Norway)
> Fan Yang, Utrecht University (The Netherlands)
>
>
>
> ==
> PUBLICATION
> ==
>
> Accepted regular papers will be published after the Workshop by Springer
> in a volume of Lecture Notes in Computer Science (
> http://www.springer.com/lncs),
> which will collect contributions to some workshops co-located with SEFM
> 2024.
>
> Condition for inclusion in the post-proceedings is that at least one of
> the co-authors has presented the paper at the Workshop.
>
> ==
> IMPORTANT DATES
> ==
>
> Paper submission:  20 august 2024 (AoE)
>
> Author notification: 20 September 2024
>
> Workshop: 5 November 2024
>
>
> ==
> CONTACT
> ==
>
> If you have any problems or questions, please contact us via e-mail at:
>
> rferv...@unc.edu.ar / mart...@ua.pt
>
> --
> Has recibido este mensaje porque estás suscrito al grupo "LOG-ARG" de
> Grupos de Google.
> Para cancelar la suscripción a este grupo y dejar de recibir sus mensajes,
> envía un correo electrónico a log-arg+unsubscr...@googlegroups.com.
> Para ver este debate en la Web, visita
> https://groups.google.com/d/msgid/log-arg/CABgJriyE3KmJTYFqJ3pQDB9ao%3DmwomM2-5gbx4P_T1pckduhhg%40mail.gmail.com
> .
>


-- 


Aldo Figallo Orellano

Department of Mathematics

Institute of Mathematics and Statistics

University of São Paulo (USP), Brazil

https://sites.google.com/view/figallo

-- 
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 acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAAd%2BSQ%3DLWVnkAYhDApkpXuZ_kG5U8_5qqKrjtgHFAUv-ReQxJg%40mail.gmail.com.

[Logica-l] Re: Becas de Posdoctorado

[Aldo Figallo-Orellano]

Hola!
Dadas las preguntas me enviaron aclaró que las becas no son solo para
lógicos y el deadline es que sigue abajo.

Saludos

Aldo

Yablonowsky Fellowship

Postdoctoral fellowship

The Yablonowsky Postdoctoral Fellowship aims to attract young researchers
in all areas of Mathematics, including Applied Mathematics, Statistics, and
Computer Science who have concluded a doctorate in other institutions of
excellence and recognized in the area, to develop research at IME-USP, for
a period of up to two years. The research grant is funded by the
Yablonowsky Fund.

Announcement

   - CALL FOR APPLICATION – MAY 2024

   
<https://drive.google.com/file/d/1fMw9eODSOpAdwNDlekquHoQkbBBv-1SZ/view?usp=share_link>Call
   for applications for the award of one (1) research scholarship under the
   auspices of the Pedro Yablonowsky Fund. From May 15, 2024 until Aug 13,
   2023. (Portuguese version <https://www.ime.usp.br/bolsa-yablonowsky/>)


El dom, 17 mar 2024 a la(s) 7:20 p.m., Aldo Figallo-Orellano (
aldofiga...@gmail.com) escribió:

> Hola a todes,
>
> Los interesados en aplicar a la beca tienen tiempo hasta el 15 de mayo.
>
> https://www.ime.usp.br/en/yablonowsky-fellowship/
>
> Saludos
>
> Aldo
>
>
>
> --
> --------
>
> Aldo Figallo Orellano
>
> Department of Mathematics
>
> Institute of Mathematics and Statistics
>
> University of São Paulo (USP), Brazil
>
> https://sites.google.com/view/figallo
>

-- 
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 acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAAd%2BSQmQYfnHCamqe%3DxQ_TxiYxhdxj3GDbUuFQR8nd%3DOo6_AnQ%40mail.gmail.com.

[Logica-l] Re: XX SLALM - 20th Latin American Symposium on Mathematical Logic

[Aldo Figallo-Orellano]

ation: March 30 at 23:59 GMT-3 (Uruguay time).
>
> Acceptance or rejection of grant application will be notified by April 15.
>
>
>
>
> VENUE
>
> =
>
>
>
> Information on the venue will be provided soon.
>
>
>
> SCIENTIFIC COMMITTEE
>
> 
>
>
>
> Cristina Brech, Universidade de São Paulo, Brazil
>
> Manuela Busaniche, Universidad Nacional del Litoral, Argentina
>
> Andrés Caicedo, University of Michigan, USA
>
> Xavier Caicedo Ferrer, Universidad de los Andes, Colombia
>
> Russell Miller, University of New York, USA
>
> Lourdes del Carmen González Huesca, Universidad Nacional Autónoma de
> México, México
>
> Deidre Haskell, McMaster University, Canada
>
> Octavio Malherbe, Universidad de la República, Uruguay
>
> Antonio Montalbán, University of California - Berkeley, USA (chair)
>
> Alf Onshuus, Universidad de los Andes, Colombia
>
> Héctor Pasten, Pontificia Universidad Católica de Chile, Chile
>
> Luiz Carlos Pereira, Pontifícia Universidade Católica do Rio de Janeiro,
> Brazil
>
> Elaine Pimentel, University College London, UK
>
>
>
> LOCAL COMMITTEE
>
> ===
>
>
>
> Walter Ferrer
>
> Juan Pablo García
>
> Mauricio Guillermo (chair)
>
> Octavio Malherbe
>
> Alberto Pardo
>
> Universidad de la República, Uruguay
>
>
>
>
>
>
> Manuela Busaniche.
> UNL-CONICET
> -
> Facultad de Ingeniería Química (UNL)
> Santiago del Estero 2829
> 3000 Santa Fe, Argentina
> Tel: +54 342 4571164
> mbusani...@santafe-conicet.gov.ar
>


-- 


Aldo Figallo Orellano

Department of Mathematics

Institute of Mathematics and Statistics

University of São Paulo (USP), Brazil

https://sites.google.com/view/figallo

-- 
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 acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAAd%2BSQnHMboj3ShYNt1Cr%2BX%3DfjahrVqjhY0Fr9vbsHuuJyBtDw%40mail.gmail.com.

[Logica-l] Becas de Posdoctorado

[Aldo Figallo-Orellano]

Hola a todes,

Los interesados en aplicar a la beca tienen tiempo hasta el 15 de mayo.

https://www.ime.usp.br/en/yablonowsky-fellowship/

Saludos

Aldo



-- 


Aldo Figallo Orellano

Department of Mathematics

Institute of Mathematics and Statistics

University of São Paulo (USP), Brazil

https://sites.google.com/view/figallo

-- 
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 acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAAd%2BSQmYvFEW46BsOZJSXWkqnnWqu4qN98%3DDy5AZ9N_MJmB%2BYg%40mail.gmail.com.

Re: [Logica-l] Café com Lógica (12/01/2024): evento em comemoração ao Dia Mundial da Lógica (WLD)

[Aldo Figallo-Orellano]

Oi Rafael,
Obrigado pela resposta. Devo ter ignorado as mensagens.

Abraços

Aldo

Em qua., 10 de jan. de 2024 20:55, Rafael Ongaratto 
escreveu:

> Olá, Aldo. Foi enviado um e-mail para o lógica l por mim no dia 11 de
> dezembro fazendo a chamada, e outra chamada pelo Walter 22 de dezembro.
>
> Abraços, Rafael Ongaratto
>
> Em qua., 10 de jan. de 2024 às 19:23, Aldo Figallo-Orellano <
> aldofiga...@gmail.com> escreveu:
>
>> Uma pena que não avisaram antes que estava aberto a submissões.
>>
>>
>> Em qua., 10 de jan. de 2024 18:48, Rafael Ongaratto <
>> ongarattor...@gmail.com> escreveu:
>>
>>> Olá, pessoal, em comemoração ao *Dia Mundial da Lógica*, que ocorrerá
>>> 14 de janeiro, o Centro de Lógica, Epistemologia e História da Ciência, da
>>> UNICAMP, promoverá o evento *Café com Lógica* no dia 12 de janeiro. O
>>> evento será transmitido on-line através do canal do CLE
>>> <https://www.youtube.com/@CLE-Unicamp> no Youtube. O caderno de resumos
>>> já está disponível no site: *Café com Lógica
>>> <https://cafecomlogica.my.canva.site/about-pt-br>.*
>>>
>>> Abraços, Rafael Ongaratto e Walter Carnielli
>>>
>>> --
>>> 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 acessar essa discussão na Web, acesse
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/decdb295-4109-4c5e-9dda-93d27bf0f8cdn%40dimap.ufrn.br
>>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/decdb295-4109-4c5e-9dda-93d27bf0f8cdn%40dimap.ufrn.br?utm_medium=email&utm_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 acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAAd%2BSQ%3DdPCh%2B93%2B%2BstHpES6EaEHEAyAQGX5%2BBBuYnZHFskBP6Q%40mail.gmail.com.

Re: [Logica-l] Café com Lógica (12/01/2024): evento em comemoração ao Dia Mundial da Lógica (WLD)

[Aldo Figallo-Orellano]

Uma pena que não avisaram antes que estava aberto a submissões.

Em qua., 10 de jan. de 2024 18:48, Rafael Ongaratto 
escreveu:

> Olá, pessoal, em comemoração ao *Dia Mundial da Lógica*, que ocorrerá 14
> de janeiro, o Centro de Lógica, Epistemologia e História da Ciência, da
> UNICAMP, promoverá o evento *Café com Lógica* no dia 12 de janeiro. O
> evento será transmitido on-line através do canal do CLE
>  no Youtube. O caderno de resumos
> já está disponível no site: *Café com Lógica
> .*
>
> Abraços, Rafael Ongaratto e Walter Carnielli
>
> --
> 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 acessar essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/decdb295-4109-4c5e-9dda-93d27bf0f8cdn%40dimap.ufrn.br
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAAd%2BSQ%3DcWEkwpzfcpsGcgBcEJ3SqsMrHM_GVzMU2hGxHv%3DFX6Q%40mail.gmail.com.

Re: [Logica-l] Vitor Greati @ VCLA International Student Awards 2023

[Aldo Figallo-Orellano]

Parabéns para todos os envolvidos incluindo a UFRN






Aldo Figallo Orellano

Department of Mathematics

Institute of Mathematics and Statistics

University of São Paulo (USP), Brazil

https://sites.google.com/view/figallo


El mié, 30 ago 2023 a la(s) 15:19, Marcelo Finger (mfin...@ime.usp.br)
escribió:

> João.
>
> Parabéns a você e ao Vitor por mais essa realização.  E parabéns tb pela
> parceria transatlântica com o Sérgio, que aparentemente funcionou muito bem!
>
> []s
>
>
> Em qua., 30 de ago. de 2023 às 13:55, Joao Marcos 
> escreveu:
>
>> Estou muito orgulhoso de ter orientado Vitor Greati
>> (https://vitorgreati.me/) em sua excelente dissertação de mestrado,
>> "Hilbert-Style Formalism for Two-Dimensional Notions of Consequence":
>> https://www.vcla.at/events/award-ceremony/
>>
>> A dissertação, co-orientada por Sérgio Marcelino, pode ser encontrada
>> aqui:
>> https://repositorio.ufrn.br/handle/123456789/46792
>>
>> 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_Lj5aO48-Lrnyd%3DrEAj2U57iJeAm3UN63ea2qUAsF_jQrw%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ê 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/CAGG7Aw1x9SD2khXvH-KFBD6dmmZiSQMwpXZVQ-Yb2Uo8B2LF2g%40mail.gmail.com
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw1x9SD2khXvH-KFBD6dmmZiSQMwpXZVQ-Yb2Uo8B2LF2g%40mail.gmail.com?utm_medium=email&utm_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/CAAd%2BSQn%2Bf%3Djvyc%3DNO56yR5WP23tN5P1g%2BSGcbvsCt%3Duih5gDCg%40mail.gmail.com.

Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático?

[Aldo Figallo-Orellano]

Olá !

Parece que além de mentir e errar, como todo humano, aprova examens

https://cnnespanol.cnn.com/2023/01/26/chatgpt-aprueba-examenes-leyes-derecho-trax/

Abs

Aldo



El lun, 17 abr 2023 a la(s) 09:05, Márcio Palmares (marciopalma...@gmail.com)
escribió:

> Olá, pessoal!
>
> Eu perguntei ao ChatGPT o seguinte:
>
> Márcio: Certas espécies de pássaros possuem capacidade rudimentar de
> cálculo. Pássaros comem frutos e raízes. Quando um pássaro calculador come
> uma raiz quadrada de dois, certas enzimas em seu sistema digestivo são
> capazes de examinar a raiz usando parâmetros que fazem com que a raiz possa
> ser vista como racional, pelo processo biológico de assimilação. Em tal
> caso, devemos considerar que a raiz é racional ou irracional? Ou devemos
> admitir que tal pergunta depende do referencial adotado?
>
> Após dar o divertido título "Birds' Irrational Digestive Calculations" à
> conversa, a resposta foi:
>
> ChatGPT: Essa é uma pergunta interessante e complexa. A resposta depende
> do referencial adotado e da definição de "racional" ou "irracional" que
> está sendo utilizada.
>
> Do ponto de vista matemático, a raiz quadrada de dois é uma quantidade
> irracional, pois não pode ser expressa como uma fração exata e tem uma
> representação decimal infinita e não periódica. No entanto, se
> considerarmos o referencial biológico dos pássaros calculadores que podem
> assimilar a raiz quadrada de dois como parte de seu processo digestivo,
> poderíamos argumentar que, para esses pássaros em particular, a raiz
> quadrada de dois é vista como racional, pois pode ser processada e
> assimilada pelo seu sistema digestivo.
>
> Isso levanta a questão de como definimos racionalidade ou irracionalidade.
> Se considerarmos a racionalidade puramente em termos matemáticos, então a
> raiz quadrada de dois é irracional, independentemente de como é assimilada
> por qualquer organismo. No entanto, se considerarmos a racionalidade em
> relação à capacidade de um organismo específico de processar e assimilar
> certos números, como no caso dos pássaros calculadores, então a resposta
> pode depender do referencial biológico adotado.
>
> Em resumo, a resposta à pergunta se a raiz quadrada de dois é racional ou
> irracional quando assimilada por pássaros calculadores pode depender do
> referencial adotado e da definição de racionalidade utilizada. Do ponto de
> vista matemático, a raiz quadrada de dois é irracional, mas do ponto de
> vista biológico dos pássaros calculadores, pode ser considerada como
> racional, pois é assimilada por seu sistema digestivo.
>
> ***
>
> Note-se que a máquina não parece incomodada com a suposição de que
> pássaros comem números.
>
> Uma forma relativamente simples de enganar a máquina é fazê-la trafegar
> entre contextos não relacionados na realidade (semanticamente), mas
> relacionados por palavras com duplo sentido (raiz), isto é, contextos
> sintática ou apenas formalmente relacionados.
>
> Apesar de tudo, a máquina fornece uma argumentação razoável (mesmo sendo
> falsas as premissas, o que poderia ser visto como um mérito, não um
> demérito, pois argumentar com boa fé normalmente é algo que fazemos supondo
> que as premissas são verdadeiras).
>
> Mas nesse assunto das relações entre homens e máquinas, ainda acho que a
> melhor resposta, a visão filosófica mais adequada, foi fornecida por Ian
> Stewart:
>
> "Existe algo especial na maneira de pensar dos seres humanos que não possa
> nunca (em princípio) ser realizado por algum tipo de máquina? Minha opinião
> pessoal é que a resposta é "não". É verdade que, até o momento, não podemos
> reproduzir as funções do cérebro; e é evidente que as semelhanças entre o
> cérebro e os computadores existentes é aproximadamente a mesma que existe
> entre uma vaca e um caminhão de distribuição de leite. Pode acontecer que
> nossa tecnologia jamais seja capaz de produzir uma máquina verdadeiramente
> "inteligente": pode ser que o cérebro humano seja demasiado estúpido. No
> entanto, pessoalmente, acredito que não existe nenhum obstáculo --nenhum
> obstáculo lógico, como o que impede a raiz quadrada de dois de ser um
> número racional, ou como o que impede alguém de flutuar puxando os cordões
> do próprio sapato-- que exclua a produção de uma máquina que realize as
> funções do cérebro humano; pela seguinte razão: o corpo humano é,
> visivelmente, uma máquina, no sentido de que é composto por matéria e de
> que seus componentes obedecem às mesmas leis que o restante da matéria.
> Trata-se de uma máquina complicadíssima e admirável, que desconhecemos. Se
> existisse em princípio algum obstáculo para a construção de máquinas que se
> comportassem como pessoas, tampouco as próprias pessoas existiriam.
>
> Isto não significa rebaixar os seres humanos ao nível de abridores de
> latas. Há muitas pessoas que insistem na complexidade do comportamento
> humano, supondo que seus atributos emocionais, criativos e espirituais
> deveriam ser consequência de algo "sup

Re: [Logica-l] ChatGPT quis matar Newton da Costa

[Aldo Figallo-Orellano]

Imaginemos que um médico tem um paciente con câncer ele decide tratar ele
com paracetamol.

O médico registra que a febre baixou mais o câncer segue igual. Então ele
conclui:

O câncer não tem cura.

O paracetamol não serve para nada.

A realidade é o paracetamol foi desenvolvido para outros propósitos.

Ese e o assunto qual seria o uso certo do ChatGPT, evidentemente para
oráculo não serve, para se informar parece que também não. Mas acho que
alguns dos defeitos podem ser resolvidos.

Outro ponto, o único que se vê prejudicado pela fake news e o usuario. A
verdade não penso me informar por esse meio, nem por Facebook nem por
Instagram todas fabricas existentes de fake News.




Em qua., 12 de abr. de 2023 10:28, Alexandre Rademaker 
escreveu:

>
> Recomendo https://www.youtube.com/watch?v=-lnHHWRCDGk&t=1629s
>
> Que basicamente reforça os comentários do Marcelo.
>
>
> Ab.,
> Alexandre
>
>
> > On 10 Apr 2023, at 10:13, Marcelo Finger  wrote:
> >
> >   > ChatGPT le é se transforma,  desse modo,  numa verdadeira máquina
> automática de mentiras!
> >
> > Claro!  Ele é explicitamente treinado para gerar texto, sem qqer
> compromisso com a realidade (a menos daquilo que o pessoal chamou de
> "comportamento emergente").  Então, no seu âmago, ele é um gerador de fake
> news.
> >
> > O meu ponto é: nessa altura, isso não é mais novidade.
> >
> > Novidade seriam métodos para domar a besta.  E parar de inflar a bola
> dele é uma necessidade.
> >
> > []s
>
>
> --
> 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/50313043-4D6A-4E06-8C9D-207DCB618A4D%40gmail.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/CAAd%2BSQ%3DJhU1vVBeB%2B10Hvx3qiG%3D7pc4%2Bo%2B%2BVC1BO9JvnHj1D%3DA%40mail.gmail.com.

Re: [Logica-l] ChatGPT quis matar Newton da Costa

[Aldo Figallo-Orellano]

Penso que essa pergunta debería poder ser respondida, usando Wikipedia.

Mas por enquanto ChatGPT é uma tecnología nova. Alguém se lembra do Google
no começo, não era tão eficiente quanto é agora.

Mas claro que vamos ter limitações, não pode um programa responder as
seguintes perguntas:

Deus existe?

Vou ter câncer no futuro?

Mas se darmos algum tipo de datas, algumas perguntas podem ser respondidas.
Penso que essa tecnologia poder ter muita utilidade. Já nos bancos a gente
não fala com pessoa nos chats, para resolver muitos dos problemas.

Abs

Aldo


Em dom., 9 de abr. de 2023 17:30, Walter Carnielli 
escreveu:

> Pergunta:  Quando  foi a data da  morte de  Newton da Costa?
>
>
> Resposta do ChatGPT: Newton da Costa faleceu em 12 de fevereiro de 2011.
> Ele foi um renomado matemático e lógico brasileiro, considerado um dos
> fundadores da lógica paraconsistente.
>
> "ChatGPT Mar 23 Version. Free Research Preview. ChatGPT may produce
> inaccurate information about people, places, or facts"
>
> Longa vida ao Mestre  Newton!
>
> W.
> PS- Acho que isso nem é Off-Topic...
>
> --
> 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/CAOrCsLfO4tbZeSNjyxU4eSqnNZ_R0tNUAaUfBo3ncD5_9GYLOQ%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/CAAd%2BSQn8vTboYVrxjmPFDdOCbuu36XU19CTfsoAVVn7M%3DEFjtw%40mail.gmail.com.

Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms

[Aldo Figallo-Orellano]

Boa Tarde,

Confesso que tenho enviado dois artigos a Journal of Symbolic Logic, o
primeiro foi rejeito e o segundo também. Mas o primeiro foi publicado numa
revista que está acima da JSL segundo http://www.scimagojr.com/
Será que tive sorte? No caso do segundo, não estou conseguindo publicar,
será que terei que pagar?

Enfim, prometo não usar fundos públicos.



Aldo

El mar, 28 mar 2023 a la(s) 13:44, Mauricio Ayala-Rincón (ay...@unb.br)
escribió:

> Caros,
>
> O principal problema não é apenas o "prevaricato" ou "improbidade
> administrativa"
> envolvida em ações para utilização de recursos públicos destinados ao
> pagamento de publicações.
> O problema é a falta de maturidade científica e excesso de deshonestidade
> que esse tipo de
> publicação paga está criando na velha e nova geração pseudo-cientista.
> Da-se muito bem
> aquele que publica expeditamente um número significativo de artigos em
> periódicos
> "bem qualificados":
>
> - candidatos à pós-graduação,
> - candidatos à ser nossos colegas,
> - candidatos à bolsas de fomento à pesquisa,
> - etc.
>
> É algo que vem crescendo e contaminando nossas IFES através da
> incorporação de
> pessoal que não apresenta qualificação adequada.   A ponta do iceberg são
> os recursos públicos
> perdidos no pagamento de publicações, mas as implicações econômicas para a
> pesquisa da nação
> são maiores. Bolsas, salários e recursos para pesquisa são alocados, como
> consequência, de
> forma inadequada.
>
> Um fator a considerar seriamente, sobre a avaliação da qualidade das
> publicações
> é o tempo que essas editoras investem no processo de revisão.  É obvio, em
> qualquer área da ciência, que um artigo revisado expeditamente, em um par
> de
> semanas, e imediatamente publicado não é confiável.
>
> Os tempos médios de MDPI Sensors, por exemplo, são de 16 dias para
> avaliação, e
> três dias para publicação. Maravilha publicar dessa maneira! Mas para o
> que?
> Como  pesquisador, não entendo honesto dedicar o meu tempo e o dos meus
> alunos, pago com recursos públicos,  na leitura de produção intelectual
> avaliada
> dessa forma expedita.
>
> Em síntese, encontro urgente incorporar no Qualis mecanismos que
> considerem de
> forma precisa a qualidade dos processos de revisão.  Tempos de avaliação
> reduzidos
> implicam baixa qualidade.
>
> Por outro lado, participar desses empreendimentos piramidais editoriais, é
> pendurar
> no pescoço dois diplomas: o de "deshonestidade" e o de "imbecilidade". O
> primeiro
> está sendo útil para passarmos a perna em nossos colegas, por enquanto. O
> segundo,
> será útil para nos safar do primeiro quando chamados, cedo ou tarde, a
> prestar contas.
>
> Grande abraço, para aqueles que ainda sonham em publicar no Journal of
> Symbolic
> Logic, ACM Journal of Logic e similares.  Grande despreço para aqueles que
> pretendem continuar investindo recursos públicos, que bem poderiam ser
> aplicados
> em mais bolsas de Mestrado e Doutorado, na publicação expedita usando essa
> abordagem editorial piramidal.
>
> Mauricio
>
> On Tuesday, March 28, 2023 at 11:33:35 AM UTC-3 oliv...@daad-alumni.de
> wrote:
>
>> Em segunda-feira, 27 de março de 2023 às 21:59:20 UTC-3, Walter Carnielli
>> escreveu:
>>
>> Então Hermógenes, considerando os elevados custos da compra de
>> assinaturas pelo cofres públicos, e considerando
>> a tendência de pagar para publicar que está pressionando aqueles que
>> produzem ciência, o que devemos fazer?
>> Pagar dos dois lados?
>>
>>
>> Pois é, Walter. Acho que um primeiro passo importante é levantar a pauta,
>> como você fez, e trocar ideias e argumentos entre os colegas para que o
>> assunto ganhe mais visibilidade e, quem sabe, suscite ações mais
>> coordenadas (é um problema difícil de solucionar no âmbito meramente
>> individual).
>>
>> Como escrevi, não tenho uma solução universal a sugerir. Mas vou
>> compartilhar algumas considerações, as quais, contudo, são bastante
>> peculiares à minha situação e certamente não se aplicam a vários outros
>> contextos.
>>
>> Primeiro, algumas observações, que me parecem incontestáveis:
>>
>> 1. O serviço de editoração de casas de publicação científica é ruim, e
>> parece estar piorando com o passar do tempo (escrevi sobre isto na lista
>> antes
>> ).
>> Uma boa parte do serviço é terceirizado a trabalhadores sobrecarregados em
>> países em desenvolvimento.
>>
>> 2. Publicação científica tem custos, sim. Hospedagem, indexação, arquivo
>> permanente, DOI, software de gerenciamento do fluxo de submissão etc. Nada
>> disto é gratuito. Contudo, como Valéria tem apontado, existem diversos
>> exemplos que demonstram que este custo é bem menor do que muitas casas de
>> publicação alegam, especialmente quando não é necessário bancar o lucro de
>> proprietários. No âmbito da filosofia, se destacam Philosopher's Imprint
>>  e Ergo
>> 

Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms

[Aldo Figallo-Orellano]

Obrigado a todes pelas respostas!

 Agora que vi no site da revista que eles cobram, vão conseguir perder os
bons trabalhos. O valor para publicar é muito alto.

El lun, 27 mar 2023 a la(s) 16:09, Elaine Pimentel (
elaine.pimen...@gmail.com) escribió:

> Informação fresca da página:
>
> "All articles published in Axioms (ISSN 2075-1680) are published in full
> open access. An article processing charge (APC) of 1600 CHF (Swiss Francs)
> applies to papers accepted after peer review.
>
> Please note that for papers submitted after 30 June 2023, an APC of 2400
> CHF will apply."
>
> Bonne chance!
>
> On Mon, Mar 27, 2023 at 9:05 PM Valeria de Paiva <
> valeria.depa...@gmail.com> wrote:
>
>> Isso, Aldo!
>> >Cada autor que tenha aceito um artigo vai ter que pagar para que ele
>> seja publicado!
>> e pagar muito!
>> se o autor tiver algum projeto de pesquisa, o projeto pode pagar pelo
>> artigo.
>> a maioria das pessoas que eu conheço não tem projeto com rubrica de pagar
>> OA.
>>
>> isso e' um absurdo! e' a gente pagar pra trabalhar, duas vezes!
>> a gente trabalha de graça pros publishers (editando, revisando,
>> escrevendo) e depois a gente paga pra eles publicarem!
>>
>> quando a gente conta isso pros amigos da indústria eles riem da nossa
>> cara!
>> Valeria
>>
>> On Mon, Mar 27, 2023 at 11:51 AM Aldo Figallo-Orellano <
>> aldofiga...@gmail.com> wrote:
>>
>>> Não estou entendendo.
>>> Cada autor que tenha aceito um artigo vai ter que pagar para que ele
>>> seja publicado?
>>>
>>>
>>>
>>>
>>> El lun, 27 mar 2023 a la(s) 12:54, Valeria de Paiva (
>>> valeria.depa...@gmail.com) escribió:
>>>
>>>> Walter,
>>>> Muito obrigada por escrever essa mensagem!
>>>> e' um absurdo o que esses caras estão fazendo, transformando "open
>>>> access publishing" numa cura pior do que a doença.
>>>>
>>>> A doença e' a publicação tradicional onde os editores adquirem os
>>>> direitos sobre os artigos e autores não pagam pra publicar, mas leitores
>>>> pagam pra ler, qdo ja' pagaram uma vez (com seus impostos, que sustentam as
>>>> universidades e as pesquisas).
>>>>
>>>> o "Golden Open Access" (que de dourado so' lembra o garimpo) e' onde os
>>>> autores pagam preços absurdos (como os que vc descreveu) pra publicar
>>>> pesquisa que foi financiada com dinheiro publico, se transformando assim em
>>>> "vanity-authors":  muito pior a emenda do que o soneto.
>>>>
>>>> o que  a gente quer e' open access de verdade, autores não pagam (ou
>>>> pagam so' o que custa, em vez de terem lucros absurdos como no momento) e
>>>> os leitores não pagam, por algo que ja' pagaram com seus impostos.
>>>>
>>>> Uma discussão boa sobre isso aconteceu na palestra do Gabriel Scherer
>>>> no Logicos em Quarentena https://www.youtube.com/watch?v=l1CukusUAbI.
>>>> Todo mundo devia dar uma olhada, pois o Gabriel esta' falando de pesquisa
>>>> em linguagens de programação, mas publicação em lógica e' muito parecido.
>>>>
>>>> abraços,
>>>> Valeria
>>>>
>>>> On Mon, Mar 27, 2023 at 7:14 AM Walter Carnielli 
>>>> wrote:
>>>>
>>>>> Cara(o)s colegas:
>>>>>
>>>>> Recentemente recusei uma oferta de editar um número especial da
>>>>> revista Axioms da MDPI  devido aos exorbitantes custos de publicação
>>>>> ("publication fees" de 2000 Francos suíços, aproximadamente  R$ 12.000 por
>>>>> peça publicada).
>>>>>
>>>>> Após consultar a comunidade resolvi não bancar o  captador de recursos
>>>>> para a MDPI.
>>>>>
>>>>> A Unicamp tem um convênio com essa editora,  pelo qual eles reduzem
>>>>> substancialmente a taxa de publicação.
>>>>>
>>>>>
>>>>>  Mas mesmo reduzindo 75% (se é que fosse esse o caso) eu não pagaria
>>>>> R$ 3000 para publicar um artigo nessa editora, e nem gostaria de submeter
>>>>> meus colegas a isso.
>>>>>
>>>>> E também não gostaria que o dinheiro da Fapesp do CNPp fossem gastos
>>>>> dessa forma.
>>>>>
>>>>> É  claro que há despesas para se implementar "open publications", mas
>>

Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms

[Aldo Figallo-Orellano]

Não estou entendendo.
Cada autor que tenha aceito um artigo vai ter que pagar para que ele seja
publicado?




El lun, 27 mar 2023 a la(s) 12:54, Valeria de Paiva (
valeria.depa...@gmail.com) escribió:

> Walter,
> Muito obrigada por escrever essa mensagem!
> e' um absurdo o que esses caras estão fazendo, transformando "open access
> publishing" numa cura pior do que a doença.
>
> A doença e' a publicação tradicional onde os editores adquirem os direitos
> sobre os artigos e autores não pagam pra publicar, mas leitores pagam pra
> ler, qdo ja' pagaram uma vez (com seus impostos, que sustentam as
> universidades e as pesquisas).
>
> o "Golden Open Access" (que de dourado so' lembra o garimpo) e' onde os
> autores pagam preços absurdos (como os que vc descreveu) pra publicar
> pesquisa que foi financiada com dinheiro publico, se transformando assim em
> "vanity-authors":  muito pior a emenda do que o soneto.
>
> o que  a gente quer e' open access de verdade, autores não pagam (ou pagam
> so' o que custa, em vez de terem lucros absurdos como no momento) e os
> leitores não pagam, por algo que ja' pagaram com seus impostos.
>
> Uma discussão boa sobre isso aconteceu na palestra do Gabriel Scherer no
> Logicos em Quarentena https://www.youtube.com/watch?v=l1CukusUAbI. Todo
> mundo devia dar uma olhada, pois o Gabriel esta' falando de pesquisa em
> linguagens de programação, mas publicação em lógica e' muito parecido.
>
> abraços,
> Valeria
>
> On Mon, Mar 27, 2023 at 7:14 AM Walter Carnielli 
> wrote:
>
>> Cara(o)s colegas:
>>
>> Recentemente recusei uma oferta de editar um número especial da revista
>> Axioms da MDPI  devido aos exorbitantes custos de publicação ("publication
>> fees" de 2000 Francos suíços, aproximadamente  R$ 12.000 por peça
>> publicada).
>>
>> Após consultar a comunidade resolvi não bancar o  captador de recursos
>> para a MDPI.
>>
>> A Unicamp tem um convênio com essa editora,  pelo qual eles reduzem
>> substancialmente a taxa de publicação.
>>
>>
>>  Mas mesmo reduzindo 75% (se é que fosse esse o caso) eu não pagaria R$
>> 3000 para publicar um artigo nessa editora, e nem gostaria de submeter meus
>> colegas a isso.
>>
>> E também não gostaria que o dinheiro da Fapesp do CNPp fossem gastos
>> dessa forma.
>>
>> É  claro que há despesas para se implementar "open publications", mas
>> despesa é uma coisa e lucro  excessivo é outra.
>>
>> Abraços,
>> Walter
>>
>> Em seg., 27 de mar. de 2023 10:35, Aldo Figallo-Orellano <
>> aldofiga...@gmail.com> escreveu:
>>
>>>
>>> El lun, 27 mar 2023 a la(s) 09:11, Benjamin Rene Callejas Bedregal (
>>> brcbedre...@gmail.com) escribió:
>>>
>>>>
>>>>
>>>> -- Forwarded message -
>>>>
>>>> Prezados,
>>>>
>>>> Estou organizando uma edição especial da revista Axioms (*Open Access
>>>> Journal by **MPDI*) intitulada *"Recent Advances in Fuzzy Logic and
>>>> Computational Intelligence"*,  com *fator de impacto 1824* e Q*ualis
>>>> CAPES A1* nas áreas Engenharias I, Interdisciplinar e
>>>> Matemática/Probabilidade e Estatística.
>>>>
>>>> Assim, gostaria de convidá-los a enviar trabalhos para contribuir com a
>>>> chamada!! Segue anexo o card com os detalhes da edição.
>>>>
>>>> Com os melhores cumprimentos,
>>>>
>>>> Prof. Dr. Eduardo S. Palmeira
>>>> *Guest Editor *
>>>>
>>>> --
>>>> You received this message because you are subscribed to the Google
>>>> Groups "CAROL / UFRN" group.
>>>> To unsubscribe from this group and stop receiving emails from it, send
>>>> an email to carol-ufrn+unsubscr...@googlegroups.com.
>>>> To view this discussion on the web visit
>>>> https://groups.google.com/d/msgid/CAROL-ufrn/CAN%3Dw4x4cPAuPbxU5QZiPtMnehmtS8Cjvh9UrzxJMk%2BBK-_-Trg%40mail.gmail.com
>>>> <https://groups.google.com/d/msgid/CAROL-ufrn/CAN%3Dw4x4cPAuPbxU5QZiPtMnehmtS8Cjvh9UrzxJMk%2BBK-_-Trg%40mail.gmail.com?utm_medium=email&utm_source=footer>
>>>> .
>>>>
>>> --
>>> 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 insc

Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms

[Aldo Figallo-Orellano]

Oi Walter,

Confesso que nunca publiquei nessa revista, desconheço os custos. Mas tenho
visto artigos bons publicado.

Abs

Aldo



Em seg., 27 de mar. de 2023 11:14, Walter Carnielli 
escreveu:

> Cara(o)s colegas:
>
> Recentemente recusei uma oferta de editar um número especial da revista
> Axioms da MDPI  devido aos exorbitantes custos de publicação ("publication
> fees" de 2000 Francos suíços, aproximadamente  R$ 12.000 por peça
> publicada).
>
> Após consultar a comunidade resolvi não bancar o  captador de recursos
> para a MDPI.
>
> A Unicamp tem um convênio com essa editora,  pelo qual eles reduzem
> substancialmente a taxa de publicação.
>
>
>  Mas mesmo reduzindo 75% (se é que fosse esse o caso) eu não pagaria R$
> 3000 para publicar um artigo nessa editora, e nem gostaria de submeter meus
> colegas a isso.
>
> E também não gostaria que o dinheiro da Fapesp do CNPp fossem gastos dessa
> forma.
>
> É  claro que há despesas para se implementar "open publications", mas
> despesa é uma coisa e lucro  excessivo é outra.
>
> Abraços,
> Walter
>
> Em seg., 27 de mar. de 2023 10:35, Aldo Figallo-Orellano <
> aldofiga...@gmail.com> escreveu:
>
>>
>> El lun, 27 mar 2023 a la(s) 09:11, Benjamin Rene Callejas Bedregal (
>> brcbedre...@gmail.com) escribió:
>>
>>>
>>>
>>> -- Forwarded message -
>>>
>>> Prezados,
>>>
>>> Estou organizando uma edição especial da revista Axioms (*Open Access
>>> Journal by **MPDI*) intitulada *"Recent Advances in Fuzzy Logic and
>>> Computational Intelligence"*,  com *fator de impacto 1824* e Q*ualis
>>> CAPES A1* nas áreas Engenharias I, Interdisciplinar e
>>> Matemática/Probabilidade e Estatística.
>>>
>>> Assim, gostaria de convidá-los a enviar trabalhos para contribuir com a
>>> chamada!! Segue anexo o card com os detalhes da edição.
>>>
>>> Com os melhores cumprimentos,
>>>
>>> Prof. Dr. Eduardo S. Palmeira
>>> *Guest Editor *
>>>
>>> --
>>> You received this message because you are subscribed to the Google
>>> Groups "CAROL / UFRN" group.
>>> To unsubscribe from this group and stop receiving emails from it, send
>>> an email to carol-ufrn+unsubscr...@googlegroups.com.
>>> To view this discussion on the web visit
>>> https://groups.google.com/d/msgid/CAROL-ufrn/CAN%3Dw4x4cPAuPbxU5QZiPtMnehmtS8Cjvh9UrzxJMk%2BBK-_-Trg%40mail.gmail.com
>>> <https://groups.google.com/d/msgid/CAROL-ufrn/CAN%3Dw4x4cPAuPbxU5QZiPtMnehmtS8Cjvh9UrzxJMk%2BBK-_-Trg%40mail.gmail.com?utm_medium=email&utm_source=footer>
>>> .
>>>
>> --
>> 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/CAAd%2BSQkowCWAW3WsdYOk%2BMG-3HcwXxnU5o%2BvO3RvKxpB8jAQLw%40mail.gmail.com
>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAAd%2BSQkowCWAW3WsdYOk%2BMG-3HcwXxnU5o%2BvO3RvKxpB8jAQLw%40mail.gmail.com?utm_medium=email&utm_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/CAAd%2BSQnSwNzcBYL_VG3e5kAh5%2BPWROoZ9NMk-f7UEhronqskig%40mail.gmail.com.

[Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms

[Aldo Figallo-Orellano]

El lun, 27 mar 2023 a la(s) 09:11, Benjamin Rene Callejas Bedregal (
brcbedre...@gmail.com) escribió:

>
>
> -- Forwarded message -
>
> Prezados,
>
> Estou organizando uma edição especial da revista Axioms (*Open Access
> Journal by **MPDI*) intitulada *"Recent Advances in Fuzzy Logic and
> Computational Intelligence"*,  com *fator de impacto 1824* e Q*ualis
> CAPES A1* nas áreas Engenharias I, Interdisciplinar e
> Matemática/Probabilidade e Estatística.
>
> Assim, gostaria de convidá-los a enviar trabalhos para contribuir com a
> chamada!! Segue anexo o card com os detalhes da edição.
>
> Com os melhores cumprimentos,
>
> Prof. Dr. Eduardo S. Palmeira
> *Guest Editor *
>
> --
> You received this message because you are subscribed to the Google Groups
> "CAROL / UFRN" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to carol-ufrn+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/CAROL-ufrn/CAN%3Dw4x4cPAuPbxU5QZiPtMnehmtS8Cjvh9UrzxJMk%2BBK-_-Trg%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/CAAd%2BSQkowCWAW3WsdYOk%2BMG-3HcwXxnU5o%2BvO3RvKxpB8jAQLw%40mail.gmail.com.


card_Edicao_Especial_Axioms.pdf
Description: Adobe PDF document

Re: [Logica-l] Concurso Público (FIL-UnB) - Área: Lógica

[Aldo Figallo-Orellano]

Eu não sei, mas muitas vezes só pedem titulação de doutor em X área.
Isto permite que os estrangeiros se apresentem, como tem acontecido em
muitas universidades Federais do Brasil.
Mas pedir agora o bacharelado isto é mais complicado. Avaliar um título de
doutor e um processo mais simples que o de avaliar um título de bacharelado.

Por outro lado, a UFBA já aceita as titulações da Unicamp em filosofia,
desde que seja o conteúdo da teses em lógica matemática.

Também na Unicamp no IFCH tiveram é tem lógicos  com formação na matemática.


Em qui., 15 de dez. de 2022 10:54, Joao Marcos 
escreveu:

> > Eu me lembro de um concurso na Bahia, Salvador. Que em duas vagas de
> lógica no departamento de matemática, um dos professores que entrou era
> bacharelado en Filosofia, mas com pesquisa na área lógica algébrica.
>
> Quer me parecer que a Filosofia é talvez uma das áreas mais
> resistentes à *ampliação de perfis*?  A UNICAMP se notabilizou por
> fazer lobby, durante muitos anos, para que a string "... ou Lógica e
> Filosofia da Ciência" fosse inserida nas exigências de diplomação (a
> nível de doutorado) para concursos para a área de "Filosofia".  Creio
> que a UFBA também fez esta ampliação, mais de uma vez, para poder
> conseguir contratar lógicos no departamento de Matemática?  Na UFRN o
> meu diploma de doutorado em Filosofia foi considerado "área afim" em
> um concurso para a área de Computação.  Ninguém nunca me perguntou
> sobre o meu título de *graduação* --- que, por acaso, é o mesmo do
> Newton da Costa.
>
> []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/CAAd%2BSQnWK0TgeNJZfq0kF1KatOtvizFVA-tfG7U2_XQRTd1%3DWw%40mail.gmail.com.

Re: [Logica-l] Concurso Público (FIL-UnB) - Área: Lógica

[Aldo Figallo-Orellano]

Eu me lembro de um concurso na Bahia, Salvador. Que em duas vagas de lógica
no departamento de matemática, um dos professores que entrou era
bacharelado en Filosofia, mas com pesquisa na área lógica algébrica.




Em qui., 15 de dez. de 2022 10:31, Joao Marcos 
escreveu:

> Seria ótimo poder ter "comissões de busca", Cassiano!  Muito difícil de
> implementar, contudo, por estas bandas do mundo...
>
>
>> Diploma algum significa nada, no fim das contas. Mas a impressão q eu
>> tenho é q só na filosofia é q incomoda.
>>
>
> Como esta briga é antiga, seria interessante se alguns colegas pudessem
> nos contar aqui sobre as dificuldades criadas por departamentos de
> Matemática brasileiros para tentar de todas as maneiras evitar contratar
> gente graduada em Física ou em Engenharia.  Vejo pouca diferença, em termos
> de "política de exclusão", comparativamente ao caso presentemente em tela,
> relativo à Filosofia, aparentemente defendido aqui como "excepcional".  E
> ainda não entendi de que forma o diploma de GRADUAÇÃO consegue ser tão
> fundamental na definição do perfil de atuação profissional do acadêmico...
> (até consigo vislumbrar um efeito deste diploma na capacitação
> *pedagógica*, mas no resto está mesmo difícil ver "what's in a name")
>
> []s, Joao Marcos
>
> --
> http://sequiturquodlibet.googlepages.com/
>
> --
> 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_LhP21vbD8L0ijV45y31sKdcX-1LHsRjoCsZ_8VLbA5ong%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/CAAd%2BSQkHmmn4ndhikcTQFkjOzkxF6iY5MMttraOtdQvnv4B9KA%40mail.gmail.com.

Re: [Logica-l] Concurso Público (FIL-UnB) - Área: Lógica

[Aldo Figallo-Orellano]

Concordo plenamente com o professor Stern.



Em qua., 14 de dez. de 2022 18:31, Julio Stern 
escreveu:

> Caros:
> Para mim,  Jardim de infancia, Primario, Ginasio, Colegio e Graduacao,
> pertencem a etapas da (pre-) adolescencia, e nao ha a menor justificativa
> em exigir que, para qq funcao academica, um candidato tenha
> colegio tecnico ou graduacao disto ou daquilo ---  eh ridiculo.
> Quanto a pos-graduacao, pode-se obter excelente formacao em
> Filosofia, e deptos de Filosofia, Matematica, Fisica, Computacao,
> Antropologia, Historia, etc., etc., etc.
> Esta balela de exigir diplominha disto ou daquilo tem que acabar.
> O que interessa eh producao academica,  ponto.
> Tudo de bom, ---Julio Stern
>
> --
> *From:* logica-l@dimap.ufrn.br  on behalf of
> Daniel Durante 
> *Sent:* Wednesday, December 14, 2022 7:42 PM
> *To:* Cassiano Terra Rodrigues 
> *Cc:* Lista Lógica ; Joao Marcos <
> botoc...@gmail.com>; joaov...@gmail.com ; João
> Daniel Dantas 
> *Subject:* Re: [Logica-l] Concurso Público (FIL-UnB) - Área: Lógica
>
> Oi Cassiano, João Daniel e Colegas,
>
> Concordo com tudo o que você disse, Cassiano, só que eu acho que alguém
> que tem doutorado em filosofia, escolheu dedicar-se à filosofia, e
> demonstrou alguma competência, já que obteve o título. Qual a razão, então,
> de privar essa pessoa da possibilidade de dedicar-se à área que escolheu?
>
> Veja, não podendo fazer inscrição, a pessoa nem consegue a oportunidade de
> demonstrar sua capacidade.
>
> Será que é medo de que quem não fez graduação em filosofia não consiga dar
> aula de graduação em filosofia? Bem, se o medo é esse, a exigência deveria
> ser licenciatura em qualquer área, e não graduação em filosofia. O curso de
> bacharelado em filosofia, por exemplo, não cobra essa habilidade de seus
> alunos.
>
> Isso sem falar que uma das etapas de todos os concursos é dar uma aula em
> nível de graduação. Quem não sabe, não passa.
>
> Já se o medo é, conforme sugeriu João Daniel, que o candidato com outra
> graduação não saiba suficientemente filosofia, já que os pontos do concurso
> são muito especializados em lógica matemática, e o professor vai trabalhar
> em um departamento de filosofia, então, se o medo é esse, que se mude o
> programa do concurso e inclua pontos “filosóficos".
>
> Aquilo que se espera de um candidato deveria estar expresso nos pontos do
> concurso e não em uma exigência específica de graduação. Não consigo ver
> nenhuma preocupação legítima que possa ser motivação para essa exigência de
> graduação na área que não seja melhor atendida mediante uma elaboração
> criteriosa do programa do concurso.
>
> Saudações,
> Daniel.
> -
> Departamento de Filosofia - (UFRN)
> http://danieldurante.weebly.com
>
> On 14 Dec 2022, at 14:05, Cassiano Terra Rodrigues <
> cassiano.te...@gmail.com> wrote:
>
> Camaradas, bons dias.
> Como se trata de dar opinião,  vou dar a minha, já q sou graduado e pós
> graduado em filosofia, pela UNICAMP, e tive uma formação pífia em lógica,
> pois na minha graduação havia 1 único semestre reservado para a disciplina
> e muito desprezado tanto pelo corpo docente quanto pelo discente. Estou
> falando da década de 1990, qdo a graduação em filosofia na UNICAMP era
> recém nascida. Hoje, creio eu, a situação é outra, tanto por parte da carga
> horária quanto por parte do interesse, e até onde sei muita coisa mudou,
> não apenas na UNICAMP. da qual podem falar com propriedade quem está lá.
> No entanto, para fazer o advogado do diabo e tentar apresentar um contexto
> mais amplo, não posso deixar de lembrar q "reservas de mercado" não surgem
> do nada e não sobrevivem pairando no céu. Relativamente ao concurso da UnB,
> o edital diz "graduação em filosofia", o que me parece incluir licenciatura
> e bacharelado, não? Posso estar enganado, não li o edital todo, mas se for
> realmente isso, a pessoa pode ter bacharelado em matemática, engenharia ou
> direito e licenciatura em filosofia (ou vice-versa) e estaria apta a
> prestar o concurso. Se for isso mesmo, não vejo tanto problema na
> exigência; é restritivo, mas nem tanto. Digo isso pq acho q cabe aqui
> lembrar q a carreira docente nas universidades brasileiras inclui a
> docência, apesar de muita gente não gostar disso. E a realidade no Brasil é
> q há mais cursos de filosofia com professores q são formados em teologia ou
> direito do q em filosofia (a CAPES, até bem pouco tempo,  reunia as áreas
> de Teologia e Filosofia, e a separação não mudou a realidade). Isso
> incapacita os professores a priori? Não creio q seja o caso. Mas é um fato
> a se pensar q nem Aristóteles, nem Galileo enfrentaram o contexto da
> profissionalização q hoje é imprescindível. Diploma não é garantia de
> conhecimento, mas se prescindirmos dos diplomas, então q seja abolida
> também a estrutura disciplinar, departamental e burocrática q sustenta a
> universidade como instituição de produção capitalista de conhecimento
> (lembremos q a "modernização"

Re: [Logica-l] Concurso Público (FIL-UnB) - Área: Lógica

[Aldo Figallo-Orellano]

Olá a todes!

Esse edital é para um filósofo que trabalha em lógica matemática. De fato
não parece exigir nenhum tema de filosofia para a prova. Mas se é requerido
que pesquise em lógica matemática e de aulas nesses temas, então ele
deveria ser aberto para todo mundo e que ganhe o melhor e pronto. Se a UnB
precisa de filósofos, isto deveria estar nos temas a avaliar.

Abs.

Aldo


El mié, 14 dic 2022 a la(s) 14:05, Cassiano Terra Rodrigues (
cassiano.te...@gmail.com) escribió:

> Camaradas, bons dias.
> Como se trata de dar opinião,  vou dar a minha, já q sou graduado e pós
> graduado em filosofia, pela UNICAMP, e tive uma formação pífia em lógica,
> pois na minha graduação havia 1 único semestre reservado para a disciplina
> e muito desprezado tanto pelo corpo docente quanto pelo discente. Estou
> falando da década de 1990, qdo a graduação em filosofia na UNICAMP era
> recém nascida. Hoje, creio eu, a situação é outra, tanto por parte da carga
> horária quanto por parte do interesse, e até onde sei muita coisa mudou,
> não apenas na UNICAMP. da qual podem falar com propriedade quem está lá.
> No entanto, para fazer o advogado do diabo e tentar apresentar um contexto
> mais amplo, não posso deixar de lembrar q "reservas de mercado" não surgem
> do nada e não sobrevivem pairando no céu. Relativamente ao concurso da UnB,
> o edital diz "graduação em filosofia", o que me parece incluir licenciatura
> e bacharelado, não? Posso estar enganado, não li o edital todo, mas se for
> realmente isso, a pessoa pode ter bacharelado em matemática, engenharia ou
> direito e licenciatura em filosofia (ou vice-versa) e estaria apta a
> prestar o concurso. Se for isso mesmo, não vejo tanto problema na
> exigência; é restritivo, mas nem tanto. Digo isso pq acho q cabe aqui
> lembrar q a carreira docente nas universidades brasileiras inclui a
> docência, apesar de muita gente não gostar disso. E a realidade no Brasil é
> q há mais cursos de filosofia com professores q são formados em teologia ou
> direito do q em filosofia (a CAPES, até bem pouco tempo,  reunia as áreas
> de Teologia e Filosofia, e a separação não mudou a realidade). Isso
> incapacita os professores a priori? Não creio q seja o caso. Mas é um fato
> a se pensar q nem Aristóteles, nem Galileo enfrentaram o contexto da
> profissionalização q hoje é imprescindível. Diploma não é garantia de
> conhecimento, mas se prescindirmos dos diplomas, então q seja abolida
> também a estrutura disciplinar, departamental e burocrática q sustenta a
> universidade como instituição de produção capitalista de conhecimento
> (lembremos q a "modernização" departamental foi uma imposição do regime
> militar, severamente criticada à época; hj, é praticamente um dado da
> natureza, tamanha a falta de questionamento). Não me parece q temos o q por
> no lugar em nenhum país do mundo e isso nada tem q ver com recusar a
> interdisciplinaridade; inclusive, eu diria q no atual estágio de
> capitalização das universidades no mundo, a interdisciplinaridade é um
> fator desejado para a reprodução do capital. Eu mesmo faço um elogio da
> interdisciplinaridade e sou a favor de concursos abertos à diferentes
> áreas, mas é preciso defender a especificidade da formação ao mesmo tempo,
> não apenas para a pesquisa, mas sobretudo para a docência, pois a
> interdisciplinaridade no conhecimento vem do aprofundamento específico - é
> por aprofundar o conhecimento na sua área q alguém busca o de outras,
> deixem-me dizer assim - é o próprio desenvolvimento das questões q leva à
> necessidade de recorrer a outros saberes, pois conhecer, pesquisar,
> filosofar ou fazer ciência são atividades essencialmente comunicativas. No
> contexto de fragmentação das áreas de conhecimento, a filosofia, coitada,
> parece q perdeu tanto terreno q até hoje sofre a perda da identidade, mas
> tb sofre de falta de respeito por parte de outras áreas, q são
> esquizofrênicas qdo se trata de lidar com a filosofia. Se é possível
> filosofar em alemão, tupi ou mesmo português, e poetas e até donos de
> padaria filosofam, ao mesmo tempo filosofia não é qualquer coisa q basta
> querer fazer para conseguir. A esquizofrenia está aí: ninguém sabe o q é
> filosofia, mas todo mundo quer filosofar e acha q consegue. Longe de mim
> dizer quem pode ou não fazer qq coisa, mas entre a intenção e o gesto vai
> uma distância e não me parece q seja possível muito menos desejável
> escamotear q para não ficarmos presos ao senso comum é fundamental a
> sistematização formal do conhecimento (e isso é um direito q as escolas
> públicas devem garantir aos estudantes, aliás). Ao mesmo tempo, na minha
> avaliação, o insulamento da área de filosofia no Brasil levou a tal
> ignorância e descolamento da realidade q resultaram em elitismos
> vergonhosos; mas mesmo internamente à filosofia o insulamento é terrível,
> muitos sequer reconhecem a importância de estudar com um mínimo de
> seriedade algo q não está na sua prateleira elegida (não é de escolhas

[Logica-l] Opinião no Facebook

[Aldo Figallo-Orellano]

https://m.facebook.com/story.php?story_fbid=5713695215388351&id=12437865753&mibextid=Nif5oz

-- 
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/CAAd%2BSQmoapYSQ%2Bms5p00tjXdqhziGS%2BWuNDnDjh1a2Mhiqpi1A%40mail.gmail.com.

[Logica-l] Re: CAROL: duas palestras imperdíveis sobre Teoria dos Conjuntos

[Aldo Figallo-Orellano]

Muito obrigado João pelo convite e por compartilhar a palestra.

Abs.

Aldo



Em qua., 7 de dez. de 2022 22:46, Joao Marcos  escreveu:

> Seguem links para as palestras de Alfredo e de Aldo:
>
> Alfredo Roque-Freire
> https://youtu.be/pxfVAJDbN5k
>
> Aldo Figallo-Orellano
> https://youtu.be/j6bqat0x9UM
>
> []s, Joao Marcos
>
> On Mon, Dec 5, 2022 at 10:47 AM Joao Marcos  wrote:
> >
> > Gostaria de convidar a todos para o seguinte evento híbrido do CAROL
> >  (http://dgp.cnpq.br/dgp/espelhogrupo/1434722987796270)
> > do DIMAp/UFRN, nesta 4a-feira, 07/12, a partir das 13:00.  A versão
> > presencial das palestras terá lugar no Auditório I do DIMAp; para a
> > participação virtual, os links correspondentes para as sessões do
> > Google Meet se encontram abaixo.
> >
> > Agradecemos a todos a participação e a ampla divulgação.
> >
> > * * *
> >
> > Horário: 13:00-14:15
> > Google Meet joining info
> > https://meet.google.com/rub-fxjj-ntc
> >
> > Título:
> >   "O fenômeno de Tightness nas teorias de classes, conjuntos e números"
> >
> > Palestrante:
> >   Alfredo Roque-Freire
> >   Universidade de Aveiro
> >   https://www.alfredoroquefreire.com/
> >
> > Resumo:
> > Nesta apresentação, estudaremos o conceito introduzido por Visser e
> > nomeado por Enayat como tightness. Uma L-teoria T é semanticamente
> > tight quando quaisquer dois L-modelos de T são bi-interpretáveis se, e
> > somente se, são isomorfos (apresentaremos a versão sintática de
> > tightness, que é mais fraca). São semanticamente tight as teorias: PA
> > (Visser), ZF (Enayat) e KM (Enayat). Começaremos mostrando que
> > tightness está intimamente ligado à antiga busca por categoricidade na
> > aritmética e na teoria de conjuntos. Tanto PA como ZF são teorias de
> > primeira ordem que aceitam modelos não isomorfos e, por isso, não são
> > categóricas. Entretanto, ambas são categóricas/quasi-categóricas
> > quando analisadas em segunda ordem. Mostraremos problemas fundamentais
> > na análise de segunda ordem e como a propriedade de tightness evita
> > esses mesmos problemas. As bi-interpretações podem ser entendidas como
> > uma forma fraca de "igualdade" entre modelos permitindo uma forma
> > fraca de categoricidade que não sofre dos problemas das quantificações
> > de segunda ordem. Ao invés de afirmar que dois modelos têm a mesma
> > ontologia, as bi-interpretações igualam a expressividade ontológica de
> > modelos possivelmente diferentes. Finalizaremos com uma exposição da
> > investigação da minimalidade da propriedade de tightness para as
> > teorias PA, Z2, ZF, KM. Hamkins e eu provamos que uma séries de
> > subteorias naturais de ZF não são tight; Enayat provou que subteorias
> > finitas de PA, Z2, ZF, KM não são tight (ainda não disponível); e
> > Williams e eu provamos que todas as subteorias de Z2 e KM não são
> > tight.
> >
> > * * *
> >
> > Horário: 14:30-15:45
> > Google Meet joining info
> > https://meet.google.com/gkz-yauc-oim
> >
> > Título:
> >   "A lei de Leibniz e os modelos paraconsistentes de ZFC"
> >
> > Palestrante:
> >   Aldo Figallo-Orellano
> >   DIMAp / UFRN
> >   https://sites.google.com/view/figallo
> >
> > Resumo:
> > A axiomática de Zermelo-Fraenkel surgiu com a necessidade de tornar
> > realidade o sonho de Hilbert. Hilbert foi um grande matemático e
> > filósofo que influenciou quase todas as áreas da matemática. Ele tinha
> > observado que algumas demonstrações de teoremas do Análise (subárea da
> > matemática) continham erros muito sutis. Portanto, Hilbert procurava
> > encontrar uma lógica onde todo teorema matemático pudesse ser
> > representado por um teorema lógico e assim ter certeza do que o
> > enunciado era verdadeiramente um teorema matemático. Por outro lado,
> > Frege, Peano e outros tentaram encontrar os fundamentos da matemática
> > por meio de sistemas axiomáticos. A proposta inicial de Frege tinha um
> > problema grave, como foi mostrado pelo paradoxo de Russell. Logo isso
> > foi resolvido por Zermelo e completado pelo Fraenkel. Na época,
> > Zermelo levou ao debate do uso na matemática do Lema de Zorn ou alguma
> > versão equivalente, como o Axioma da Escolha. Embora o dito Lema não
> > tenha uma demonstração, ele é usado por todos os matemáticos. No
> > começo do debate, Poincaré objetou ao uso do dito axioma, mas logo
> > descobriu que ele tinha usado o Lema nas suas pesquisas de forma
> > sistêmica. Na atualidade, 

Re: [Logica-l] twin primes

[Aldo Figallo-Orellano]

Os dois trabalhos  Czelakowski  estão sendo questionados na comunidade
lógica.

There are Infinitely Many Mersenne Prime Numbers. Applications of
Rasiowa–Sikorski Lemma in Arithmetic (II)

Studia Logica (2022)
Janusz Czelakowski

https://mathoverflow.net/questions/433278/czelakowskis-claimed-proof-of-the-twin-prime-conjecture





El vie, 28 oct 2022 a la(s) 22:28, Joao Marcos (botoc...@gmail.com)
escribió:

> The Twin Primes Conjecture is True in the Standard Model of Peano
> Arithmetic: Applications of Rasiowa–Sikorski Lemma in Arithmetic (I)
> Janusz Czelakowski
> Studia Logica (2022)
> https://link.springer.com/article/10.1007/s11225-022-10017-2
>
>
> 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_Lh9jXoooa7XGQUryh1QRjCMZGypmfASYCZjYGL32ycMyQ%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/CAAd%2BSQnd2H4Ltf%2BxOpiyJUzjeLO9_U%3DCuqtLpEM8bScS-ktApQ%40mail.gmail.com.

[Logica-l] Fwd: CFP CLMST 2023 - 17th CONGRESS ON LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY

[Aldo Figallo-Orellano]

 -- Forwarded message -
De: Gustavo Bodanza 


* Apologies for cross posting *

CALL FOR PAPERS

17th CONGRESS ON LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE
AND TECHNOLOGY (CLMPST 2023): SCIENCE AND VALUES IN AN UNCERTAIN
WORLD

University of Buenos Aires, Buenos Aires, Argentina, 24-29 July 2023
https://clmpst2023.dc.uba.ar/

Submission deadline: 15 December 2022
The International Congress on Logic, Methodology and Philosophy of Science
and Technology (CLMPST) is organized every four years under the auspices of
the Division of Logic, Methodology and Philosophy of Science and Technology
of the International Union of History and Philosophy of Science and
Technology (DLMPST/IUHPST). The 2023
edition will take place in Buenos Aires. The theme of the Congress is
“Science and Values in an Uncertain World”.

CLMPST 2023 will host three plenary lectures, delivered by Philip Kitcher
(Columbia
University, USA), Helen Longino (Stanford University, USA), and Itala
d’Ottaviano
(University of Campinas, Brazil), and over twenty invited lectures.
Confirmed invited
speakers include María Caamaño (University of Valladolid, Spain), Matteo
Colombo
(University of Tilburg, The Netherlands), David Danks (University of
California at San
Diego, USA), Yasuo Deguchi (Kyoto University, Japan), John Dupré
(University of Exeter,
UK), Catarina Dutilh Novaes (Vrije University Amsterdam, The Netherlands),
Juliet Floyd
(Boston University, USA), Maya Goldenberg (University of Guelph, Canada),
Erich Grädel
(RWTH Aachen University, Germany), Décio Krause (Universidade Federal Santa
Catarina, Brazil), Fenrong Liu (Tsinghua University, China), Paolo Mancosu
(University of
California at Berkeley, USA), Alfredo Marcos (University of Valladolid,
Spain), Nikolaj J. L.
L. Pedersen (Yonsei University, South Korea), Elaine Pimentel (Federal
University of Rio
Grande do Norte, Brazil, and University College London, U.K), Anya Plutynski
(Washington University, USA), Paula Quinon (Warsaw University of
Technology, Poland),
Giuseppe Rosolini (University of Genova, Italy), Federica Russo
(Universiteit van
Amsterdam, The Netherlands), Daniel Steel (University of British Columbia,
Canada),
Josefa Toribio (Universitat de Barcelona, Spain), Peter Vickers (Durham
University, U.K),
and Sylvia Wenmackers and Leander Vignero (University of Leuven, Belgium).

CLMPST 2023 calls for contributed papers and contributed symposia in 20
thematic sections:

A. Logic
A.1 Mathematical Logic
A.2 Philosophical Logic
A.3 Computational Logic and Applications of Logic
A.4 Historical Aspects of Logic

B. General Philosophy of Science
B.1 Methodology
B.2 Formal Philosophy of Science and Formal Epistemology
B.3 Empirical and Experimental Philosophy of Science
B.4 Metaphysical Issues in the Philosophy of Science
B.5 Ethical, Social and Political Issues in the Philosophy of Science
B.6 Historical Aspects in the Philosophy of Science
B.7 Educational Aspects of Philosophy of Science

C. Philosophical Issues of Particular Disciplines
C.1 Philosophy of the Formal Sciences (including Logic, Mathematics,
Statistics)
C.2 Philosophy of the Physical Sciences (including Physics, Chemistry,
Earth Science, Climate Science)
C.3. Philosophy of the Biological Sciences
C.4 Philosophy of the Biomedical and Health Sciences
C.5 Philosophy of the Cognitive and Behavioural Sciences
C.6. Philosophy of Computing and Computation
C.7 Philosophy of the Humanities and the Social Sciences
C.8 Philosophy of the Applied Sciences and Technology
C.9 Philosophy of Emerging and Interdisciplinary Sciences

The language of the Congress is English.

Contributed papers
Submissions will be made through the EasyChair platform, at
https://easychair.org/conferences/?conf=clmpst2023
Please submit an abstract of 500 words, including the references, prepared
for anonymous review. Indicate to which congress section you submit the
paper (tick the appropriate box).
The allocated time for each contributed paper is 30 minutes, including
discussion.

Contributed symposia
Symposia are groups of talks on a common theme. Each symposium consists of
four to
twelve papers.
In EasyChair – https://easychair.org/conferences/?conf=clmpst2023 – please
make a
submission for (a) the symposium as a whole; and (b) each paper in the
symposium (so,
for example, for a four-paper symposium, you should make a total of five
submissions).
(a) For the symposium as a whole, please provide an abstract with a general
description of the format and the topic of the proposed symposium and its
significance (up to 500 words), and suggest a symposium chair. Indicate to
which congress section you submit the symposium (tick the appropriate box).
After the abstract, please list the titles of the talks in the order they
should appear at the conference. Please provide the symposium with an
acronym, and write this acronym at the beginning of the title of the
symposium (: