[Logica-l] International Research Center for Artificial Intelligence (IRCAI) em Liubliana, Eslovênia,

[Walter Alexandre Carnielli]

Car@s colegas:

Passo aqui a informação de que amanhã  ocorrerá o lançamento de um
centro de pesquisas da Unesco em inteligência artificial:

International Research Center for Artificial Intelligence (IRCAI)

https://ircai.org/launch-2021/

Com sede em Liubliana, Eslovênia,o centro tem  diversas iniciativas,
focadas em  "Aplicar  ciência de ponta para resolver problemas do
mundo real".  Uma das mais interessantes, na minha opinião, é a parte
sob "COOPERAÇÃO - Facilitar a cooperação Norte-Norte e Norte-Sul no
desenvolvimento de inteligência artificial, com ênfase especial no
apoio ao desenvolvimento de um vibrante ecossistema de IA na África".

Agradeço ao Carlos CIfuentes por chamar a atenção para a notícia.

Abraços,

Walter
-- 
===
Walter Carnielli, Professor
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Institutional e-mail: walter.carnie...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli

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

Re: [Logica-l] Seminário remoto "Lógicos em Quarentena" 25/03/2021 (quinta-feira) 16:00h

[Walter Alexandre Carnielli]

Na "brilhante " demonstração de Teodor J. Stępień e Łukasz T.
Stępień  no Journal of Mathematics and System Science 10 (2020) doi:
10.17265/2159-5291/2020.01.002 alguém  consegue me explicar
 na Def. 11  por qual razão

  (¬∃ ∈ 0)  recebe a negação linguística, enquanto   ~\alpha  recebe a
negação metalinguística??

W.













Em seg., 22 de mar. de 2021 às 15:31, Luiza Ramos
 escreveu:
>
> A quem interessar, meu desabafo.
>
> Sinceramente, ver o convite desta palestra me trouxe muita tristeza. Como 
> estudante de lógica aqui no Brasil, almejo me inserir numa comunidade 
> profissional e séria de lógicos. Esse tipo de evento parece mostrar um grande 
> descaso com a disciplina, uma vez que dá respaldo para a divulgação de 
> desinformação. Imagino estudantes desprevenidos que irão perder seu tempo e 
> desaprender com esse evento e me espanta que isso seja naturalizado.
>
>
> Em seg., 22 de mar. de 2021 às 08:01, Bruno Lopes  escreveu:
>>
>> Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de 
>> Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de 
>> convidar a todos a participarem do Seminário "Lógicos em Quarentena". 
>> Trata-se de um seminário remoto com apresentações informais por membros da 
>> comunidade e espaço para perguntas no fim. As apresentações usualmente são 
>> gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com a 
>> agenda completa).
>>
>> Data: 25 de março de 2021 (quinta-feira)
>> Horário: 16:00h GMT-3
>> Apresentador: Lukasz T. Stepien (The Pedagogical University of Cracow)
>> Título: On Inconsistency of Classical Logic
>> Resumo: As everyone knows, the classical propositional calculus (zero-order 
>> logic, classical propositional logic), is the most fundamental two-valued 
>> logical system. This is needed for construction of the classical calculus of 
>> quantifiers (classical calculus of predicates, first-order logic), which is 
>> necessary to construct the classical functional calculus. This last one is 
>> required to formalize the Arithmetic System. We start by introducing a 
>> notation and we repeat some well-known notions (among others, the notions 
>> of: operation of consequence, a system, consistency in the traditional 
>> sense, consistency in the absolute sense). Next, we present the result that 
>> classical propositional calculus is an inconsistent theory.
>>
>> A apresentação ocorrerá pelo Google Meet através do link público 
>> https://meet.google.com/pwi-vcga-vbs .
>>
>> --
>> Bruno Lopes
>> Professor Adjunto
>> Instituto de Computação
>> Universidade Federal Fluminense
>> http://www.ic.uff.br/~bruno
>>
>> --
>> 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/CAD-Wq0-v%3DkeP1io5V2iYL_eVqfJ6Vo1v%2BQqoHygOOeMru5KcnQ%40mail.gmail.com.
>
> --
> 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/CABp6FzKvB83HGyP_UGpTZOUSJPNPvNOg8cP6j_1XQZWLdJ6yrQ%40mail.gmail.com.



-- 
===
Walter Carnielli, Professor
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Institutional e-mail: walter.carnie...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli

-- 
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/CAOrCsLccjyVJeuSgr4BUY%3DVDd38Ak%3DDY11r%2Bb1K_z35H%2BtC%2Bjw%40mail.gmail.com.

Re: [Logica-l] nteligência Artificial com Marcelo Finger, Professor Titular da USP

[Walter Alexandre Carnielli]

Parabéns pela iniciativa, Adolfo, otimos podcasts!
Parabéns da nesma amolitude  ao Marcelo pela respostas interessantes e
animadas,

Abraços

Walter


Em qua, 17 de mar de 2021 16:06, Adolfo Neto  escreveu:

> Oi pessoal,
>
> Finalmente publiquei como podcast a minha entrevista com Marcelo Finger.
>
> http://spoti.fi/3qZxRJQ
>
>
> https://anchor.fm/adolfont/episodes/Inteligncia-Artificial-com-Marcelo-Finger--Professor-Titular-da-USP-eplo1p
>
> Continua lá no YouTube em https://youtu.be/lI6KbV_Q0OE mas o áudio do
> podcast está melhor.
>
> No episódio, comentei com Marcelo de uma empresa que se originou no
> Imperial College (um dos co-fundadores era do Imperial Colege
> https://www.linkedin.com/in/cristiano-calcagno-8256057/
> ). Não lembrava o nome. Era a Monoidics:
> https://www.theguardian.com/technology/2013/jul/18/facebook-buys-monoidics
>
> A empresa fazia o Infer, que foi incorporado ao Facebook:
> "A tool to detect bugs in Java and C/C++/Objective-C code before it ships
>
> Infer is a static analysis tool - if you give Infer some Java or
> C/C++/Objective-C code it produces a list of potential bugs. Anyone can use
> Infer to intercept critical bugs before they have shipped to users, and
> help prevent crashes or poor performance."
>
> https://fbinfer.com/
>
> Na página do Infer eles têm até um texto sobre as bases lógicas:
> Separation logic and bi-abduction
> https://fbinfer.com/docs/separation-logic-and-bi-abduction
>
>
> --
> 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/CAP52AGcvyvOtuerarGU4NqVSi5Eobkm65jiF20fzMYQ9g%3Dip0g%40mail.gmail.com
> 
> .
>

-- 
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/CAOrCsLf0zxWc5D_WYr-XhYMrc2y7hFS1R5wE-WbVXBwZ71bDgg%40mail.gmail.com.

[Logica-l] Call for Researcher, Nicolaus Copernicus University in Toruń

[Walter Alexandre Carnielli]

-


Call for Researcher

Emerging Field: Logic and Philosophy of Science,
Department of Logic, Nicolaus Copernicus University in Toruń,
Poland

Toruń Logic Group invites beginning researchers to take part in the project
financed by Emerging Field: Logic and Philosophy of Science (
www.umk.pl/en/research-uni/emerging-fields/humanities/ ).

Purpose:
The aim of the project is research on applications of relating logic and
semantics (more details on relating logic and semantics at:
https://www.filozofia.umk.pl/katedra-logiki/konferencje/call-na-workshop-on-relating-logic/
) to the following areas:
+ epistemic logic
+ causal logic
+ deontic logic.

Role of young researcher:
The aim of participations in the project is to work on those areas under
supervision of experienced researcher, which includes, among others,
discussions, research, and preparation of drafts of papers.

Our offer:
+ online, financed cooperation for at least one year
+ co-authorship of publications submitted to the highly rated journals
+ co-authorship of papers presented at international conferences
+ practice in writing scientific texts
+ payment for the implementation of individual tasks
+ possibility of scholarship for doctoral studies at Nicolaus Copernicus
University in Toruń after one year of good-cooperation
+ possibility of scholarship for a research visit at NCU in Toruń, after
the pandemic ends.

Conditions and deadline:
Candidates should have a master's degree or be close to obtaining a
master's degree. If you are interested, please send your application to the
following e-mail address:
s.nurkiew...@umk.pl
The deadline is: 30th, April

Required attachments:
+ CV
+ description of academic achievements and scientific interests
+ motivation letter
+ recommendation letter (not necessary,

-- 
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/CAOrCsLfYp9Pcz1K_3MM6oGP%2BTr_yVmKG25Yo7Ra0RZwb5%2BiOsA%40mail.gmail.com.

[Logica-l] Postdoctoral position in mathematical logic, Bern (Switzerland), Deadline: 31 Mar 2021

[Walter Alexandre Carnielli]

Postdoctoral position in Mathematical Logic, Bern (Switzerland), Deadline:
31 March 2021

Applications are invited for an 18 month postdoctoral position in the
Logic group of Prof. George Metcalfe at the Mathematical Institute of the
University of Bern, supported by the Swiss National Science Foundation
project "Hidden Quantifiers".

Candidates are expected to have a PhD in Mathematics, Computer Science, or
a related field, and have research experience in universal algebra, proof
theory, or non-classical logics. Proficiency in written and spoken English
is also required.

To apply please send a full CV and recent research paper to
george.metca...@math.unibe.ch by 31 March, 2021.

Informal inquiries by email are very welcome.

-- 
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/CAOrCsLdfhN9H8MqFXm3i1dLSZg9QO8HoJAe_4CQBe%2BSaa-sRrg%40mail.gmail.com.

[Logica-l] Faculty positions (Assistant/Associate/Full Professorships) in Computer Science, Edinburgh (Scotland), Deadline: 11 Apr 2021

[Walter Alexandre Carnielli]

ASSISTANT PROFESSOR / ASSOCIATE PROFESSOR / PROFESSOR
in COMPUTER SCIENCE
  HERIOT-WATT UNIVERSITY, EDINBURGH, SCOTLAND, UK
 SALARY (for ASSISTANT/ASSOCIATE PROFESSOR LEVEL):
  £59,135 -£41,526 per annum
  START DATE: FROM SEPTEMBER 2021 (NEGOTIABLE)
  CLOSING DATE FOR APPLICATIONS: 11 April 2021

Heriot-Watt University has established a reputation for world-class
teaching and leading-edge, relevant research, which has made it one of the
top UK universities for innovation, business and industry. To celebrate
our 2021 bicentenary of pioneering research, we have set ourselves the
target of recruiting one hundred outstanding research academics between
2018 and 2021.

As part of this prestigious programme, the School of Mathematical and
Computer Sciences (MACS) welcomes applications for the posts of Assistant
/ Associate Professor / Professor in Computer Science. We particularly
welcome applicants with expertise in either:

(i) Artificial Intelligence and Robotics (which includes pervasive and
ubiquitous systems, planning, data science and semantic web, autonomous
agents, human-robot interaction, human computer interaction and multimodal
interaction);

(ii) Security and Verification (including verification of system safety
and security, cybersecurity, automated reasoning, theorem proving,
programming languages and semantics, foundations of computer science).

In addition, and as part of the School?s on-going plans to open new joint
Mathematics-CS and Statistics-CS posts, we encourage applicants who have
interdisciplinary training or experience linking one of the outlined CS
priority areas and topics in Mathematics and Statistics (including, but
not limited to, algebra and category theory, discrete mathematics and
logic, financial risk, cyber risk, actuarial and statistical data science,
statistical machine learning, Bayesian computational methods).

The School strongly encourages and supports the generation of industry
impact from research, and we welcome candidates with experience of working
in industry on AI, data science, robotics, autonomous systems,
verification or security projects or a strong track record of
collaborating with industrial partners.

Exceptional candidates possessing an extensive track record of
internationally excellent research and leadership may be considered for
appointment at Chair level; candidates interested in the position at Chair
level should in the first instance contact the Head of School, Prof
Beatrice Pelloni, b.pell...@hw.ac.uk.

The School of Mathematical and Computer Sciences is committed to support
family friendly work practices and part-time working options as part of
our Athena Swan Bronze award (see
https://www.hw.ac.uk/schools/mathematical-computer-sciences/about/athena-swan.htm).

We especially encourage women and members of underrepresented groups to
apply for this position. We welcome and will consider flexible working
patterns e.g. part-time working and job share options.

ABOUT OUR TEAM:

The Department of Computer Scienceis internationally renowned for its
world-class research across a number of areas, including artificial
intelligence and machine learning, data integration, knowledge
representation, visualization and analytics, natural language processing,
formal methods, logic, type theory, programming languages, parallel
computation, human-computer and human-robot interaction, and
cybersecurity.

Jointly with University of Edinburgh, we host the center for doctoral
training ?Edinburgh Centre for Robotics? and the UK?s first National
Robotarium, that together form a £129M joint venture, a center of
excellence for AI research on an international scale, and a research and
innovation hub with >150 staff and PhD students. In RCUK?s recent Grand
Challenges Scheme: Trustworthy Autonomous Systems (TAS), our academics
form core teams in 2 out of 7TAS nodes (each node is supported by a £3M
research grant). The two nodes stand for?Trust? and ?Governance? in
Autonomous Systems.  Our grant funding in this area has also grown through
being awarded jointly with another school at HWU an EPSRC Industrial
Strategy Challenge Strategy Fund for the Robotics Hub for Offshore
Robotics for Certification of Assets (ORCA) worth £14.6M, which is one of
the largest industrial strategy challenge funds awards in Scotland.

The department has strong collaboration with Industry. Since 2014, we have
undertaken 107 projects with industrial partners, through our doctoral
training centers (40 industrial partners), the ORCA hub (30 industrial
partners), and the TAS nodes. Among our collaborators are Amazon Research,
BP, Chevron, FiveAI, Horiba Mira, Imandra, Kawasaki, Kuka Robotics,
Lloyds, Schlumberger, and many others.

For further information, please consult the university job portal
(https://www.hw.ac.uk/uk/about/work/job-opportunities.htm<
https://www.h

[Logica-l] Postdoctoral position in foundations of autonomous multi-agent systems, Warsaw (Poland)

[Walter Alexandre Carnielli]

We are looking to hire a postdoctoral researcher at the Institute of
Computer Science, Polish Academy of Sciences (Warsaw, Poland).

Employment: full time, 36 months, competitive salary, flexible research
environment and working hours.

Requirements: PhD in Computer Science, with either a Machine Learning
background and willingness to learn the foundations of Autonomous
Multi-agent Systems, or the other way around.

The ideal candidate will have the following skills/abilities: Autonomy,
ability to self-learn, good analytical background, ability and interest to
work in team projects, ability to meet deadlines, good English
communication skills (written and spoken).

We offer participation in an exciting EU project assuring collaboration
and potential co-authorship with six leading European ML/MAS/AI labs.

Interested candidates should contact Stan Matwin  or
Wojtek Jamroga .

-- 
Prof. Dr. Wojciech Jamroga
Associate Professor, Polish Academy of Sciences
Research Scientist, University of Luxembourg
https://home.ipipan.waw.pl/w.jamroga/
-

-- 
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/CAOrCsLeiE%2BSiRQ49tDQ8DAaLs%3DFOVy9p8hXikMPb--7b0xwbww%40mail.gmail.com.

Re: [Logica-l] Consulta

[Walter Alexandre Carnielli]

Ola, Mario,

Pela mnha experiência, as editoras não dão nenhuma importância para isso.

Sempre deixei os meus lá, e nunca tive nenhum problema.

A mesma coisa em outros sites como Research Gate etc.

Ate gostaria de saber se alguém ja teve algum questionamento de alguma
editora.

Abs

Walter



Em qua, 10 de mar de 2021 17:32, Mario Roberto Folhadela Benevides <
ma...@cos.ufrj.br> escreveu:

> Olá pessoal,
>
> Uma prática que tenho visto constantemente, na nossa área, são
> pesquisadores  que colocam uma versão preliminar no ArXiv e depois submetem
> para uma revista. Quando o artigo for aceito na revista isso não trará
> problema de copyright com a revista?
>
> Obrigado e um abraço,
>
> Mario
>
> --
> Federal University of Rio de Janeiro
> www.cos.ufrj.br/~mario 
>
> --
> 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/CAMYO67wQ0-1D2GunGwGe3S7%3DZ0ApG9rBDkicbVg88AC5WC%3DgKw%40mail.gmail.com
> 
> .
>

-- 
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/CAOrCsLeNd%2B2DZG37WJ4siK7LAQMNbNvQ0eT-e-aHtfKKBRJdgg%40mail.gmail.com.

Re: [Logica-l] “Inteligência Artificial: da Lógica às Humanidades” (CNPq/ MCTIC).

[Walter Alexandre Carnielli]

Obrigado João,

Incentivos são nossa "moeda de troca" :-)
Sempre há o temor de se estar no caminho errado, e os "feedbacks" da
comunidade são essenciais.

Abraços,

Walter

Em sáb., 6 de mar. de 2021 às 17:30, Joao Marcos  escreveu:
>
> >   Os  vários módulos tëm  como objetivo:
> >
> > (1) desenvolver material didático com componentes eletrônicos de baixo
> > custo; (2) elaborar e divulgar gratuitamente projetos de dispositivos
> > robóticos,
> > (3) produzir material para o ensino de programação básica, e
> > (4) produzir material que aborde as implicações éticas  da IA
> >
> >  Aqui o site com tudo:
> >
> > https://mov8.com.br/ideia_mais/
>
> Parabenizo, igualmente, toda a equipe: excelente iniciativa!
> Joao Marcos
>
> --
> http://sequiturquodlibet.googlepages.com/



-- 
===
Walter Carnielli, Professor
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Institutional e-mail: walter.carnie...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli

-- 
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/CAOrCsLfG5RwS-g6CBWe9uHvrh-Ff8pQELvpKKcmkY%2B3ew-8jsQ%40mail.gmail.com.

[Logica-l] “Inteligência Artificial: da Lógica às Humanidades” (CNPq/ MCTIC).

[Walter Alexandre Carnielli]

Colegas:

Gostaria de divulgar  um  projeto  pedagógico em que estamos
trabalhando no  momento, apoiado pelo CNPq:
“Inteligência Artificial: da Lógica às Humanidades” (CNPq/ MCTIC).

Trata-se de um projeto para ensino médio, estudantes e professores,
que  tem objetivo de divulgar, em nível super-introdutório,   a IA,
suas  implicações  éticas e  humanísticas, seus fundamentos lógicos e
matemáticos, etc,

Formamos um grupo chamado  "IdeIA+ - Grupo Interdisciplinar de
Divulgação e Educação em Lógica e Inteligência Artificial" formado por
Walter Carnielli, Mariana Matulovic, Juliana Bueno-Soler, Ana Claudia
Golzio, (com apoio de CLE-Unicamp,  FT-Unicamp,  Unesp Bauru, Unesp
Tupã, e IA2).

  Os  vários módulos tëm  como objetivo:

(1) desenvolver material didático com componentes eletrônicos de baixo
custo; (2) elaborar e divulgar gratuitamente projetos de dispositivos
robóticos,
(3) produzir material para o ensino de programação básica, e
(4) produzir material que aborde as implicações éticas  da IA

 Aqui o site com tudo:

https://mov8.com.br/ideia_mais/


*IMPORTANTE* :

Estamos buscando apoio de  professora(e)s  de ensino médio, para
podermos passar este  material, já que a  pandemia nao permite
apresentações presenciais como havia sido planejado.

 Obrigado,

Walter





-- 
===
Walter Carnielli, Professor
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Institutional e-mail: walter.carnie...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli

-- 
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/CAOrCsLcmSWkd9JEb40MFdQF4VROL%2BstACobuw%2Bi6y1c4Rvs%3DiA%40mail.gmail.com.

[Logica-l] Coletivo Lógica Viva: Correlação x Causalidade

[Walter Alexandre Carnielli]

Caro Marcelo ,

excelente postagem, muito boa mesmo!
Mas só para reafirmar  o quanto é difícil falar rapidamente para todo
mundo, de maneira que se pareça espontâneo:  você cometeu um pequeno
deslize aos 3:48, disse sem querer que o baixo índice de vitamina D poderia
estar relacionada  com o baixo indice de internação na UTI  (deveria ser
alto, né ?  :-)


Talvez merecesse um quadradinho dizendo alguma coisa tipo
 " Ops , Leia -se 'alto' ".

Já fiz isso varias vezes, chamo de "erro booleano" .

Abraços,  e faça outros!!

-- 
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/CAOrCsLf5j79%3DCTOD_Cux0cvTus4iS4Pga8%2BgP2oaVSGt1MLG8w%40mail.gmail.com.

Re: [Logica-l] Reflexões acerca do argumento de diagonalização de Cantor.

[Walter Alexandre Carnielli]

Olá Rodrigo,

 é verdade,  endosso o argumento do Alfredo:  sua lista não tem nenhum
número irracional :-)


E mais ainda : que número 'natural" infinito seria essa "sequência infinita
de dígitos 1"?

Se entendi bem é 0,111...111..?

Mas esse é um racional...

Abraços,

Walter



Em qua, 3 de mar de 2021 20:17, Alfredo Roque Freire 
escreveu:

> Olá Rodrigo.
>
> O problema no argumento que fez é que o modo como enumerou números reais
> não captura todos os números reais. No argumento de Cantor, supomos *(por
> contradição) *que a *lista de todos os reais* é contável.
> O que você fez não foi isso. Você mostrou um modo de listar números reais.
> Mas note que a sequência 010101010 não será listada. Mais ainda, note
> que todos os números listados pelo seu procedimento são racionais, afinal,
> a partir de um determinado dígito, todos os demais são zero.
> De fato, a sequência 111... não será listada no processo que definiu. Mas
> isso não tem relação com o propósito do argumento: a suposição de que a
> lista de *todos* os reais é contável.
>
> Espero ter ajudado,
> Alfredo
>
>
> On Wed, Mar 3, 2021 at 7:24 PM Rodrigo Pinto  wrote:
>
>> Boa noite, sou engenheiro eletrônico (computação) mas gosto muito de
>> algumas áreas da matemática e da lógica (Godel, Cantor entre outros).
>> Acredito que minhas reflexões a respeito do argumento de diagonalização
>> de Cantor não sejam off-topic numa lista de lógica, e espero que meu meu
>> texto atraia um pouco de atenção e receba comentários dos professor e
>> alunos (e outros) da lista.
>> Por não ser matemático (nem  lógico) talvez o vocabulário que eu utilize
>> não seja o de uso corrente na área. Espero que me perdoem.
>>
>> Usando a definição da wikipedia (
>> https://pt.wikipedia.org/wiki/Argumento_de_diagonaliza%C3%A7%C3%A3o_de_Cantor
>> ) apenas para introduzir a questão:
>>
>> Seja T o conjunto T de todas as sequências infinitas de dígitos binários.
>> Se s_1, s_2, ... , s_n, ... é qualquer enumeração dos elementos de T,
>> então existe sempre um elemento s de T que não corresponde a nenhum s_n na
>> enumeração.
>>
>> Minha ideia é escolher uma sequência específica s_1, s_2, ... , s_n ...
>> de tal maneira que o elemento s que não corresponde a nenhum s_n na
>> enumeração seja um elemento específico (previsível).
>> Não sei se quebrei alguma regra do jogo no meio do caminho, mas a ideia é
>> bem simples e de fácil exposição.
>>
>> Digamos que a sequência s_1, s_2, ... , s_n ...  seja construída da
>> seguinte maneira.
>> Imaginemos a sequência de números naturais quando representada em
>> binário, entre parênteses o natural em decimal correspondente:
>> 0(0), 1(1), 10(2), 11(3), etc. Vamos escrever os dígitos binários desses
>> números de trás pra frente e complementamos essa sequência de dígitos com
>> uma sequência infinita de zeros.
>> Ou seja,
>>
>> s_1  = 00...
>> s_2  = 10...
>> s_3  = 01...
>> s_4  = 11...
>> s_5  = 001000...
>> s_6  = 101000...
>> s_7  = 011000...
>> s_8  = 111000...
>> s_9  = 000100...
>> s_10 = 100100...
>> s_11 = 010100...
>> s_12 = 110100...
>> s_13 = 001100...
>> s_14 = 101100...
>> s_15 = 011100...
>> s_16 = 00...
>> (...)
>>
>> Agora contruímos uma sequência s da maneira que Cantor faz, ele constrói
>> a sequência s escolhendo seu n-ésimo dígito como um complemento para o
>> n-ésimo dígito de s_n, para cada n. No exemplo, isso resulta em:
>>
>> s = 11...
>>
>> Ou seja, o número que não aparece na enumeração é a sequência infinita de
>> dígitos 1.
>>
>> Por outro lado, dada a regra de formação da sequência podemos estabelecer
>> uma relação direta entre um número natural n e uma sequência s_n. Nesse
>> caso, o número n -> s_m  (onde m=n+1) e a sequência s que não aparece na
>> enumeração é exatamente a sequência que corresponde ao número 'natural"
>> infinito (uma sequência infinita de dígitos 1).
>>
>> Não sei se estou errando na interpretação, mas me parece que construído
>> dessa maneira, acaba derrubando o ponto central da argumentação do Cantor.
>>
>> Comentários/correções são benvindos.
>>
>> Rodrigo
>>
>> --
>> 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/bb09a1fe-cea3-416e-91ce-fc9cf3e2e375n%40dimap.ufrn.br
>> 
>> .
>>
>
>
> --
> Alfredo Roque Freire
>
> --
> 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/logi

Re: [Logica-l] Eleição para Diretoria da SBL 2021 - Cédula de Votação

[Walter Alexandre Carnielli]

Cara(o)s:

dando meu palpite aqui, bastaria que o advogado entrasse com um mandado de
segurança simples e barato, e o juiz daria em poucos dias uma liminar para
que a votação fosse feita  de maneira eletrônica, em virtude da pandemia.

 Qualquer banco e cartório aceitaria, mas enfim como não foi feito, muita
gente não vai votar, vamos ter infelizmente um colégio eleitoral reduzido.

Mas reitero meus agradecimentos a esta diretoria , que está lutando com
tantas dificuldades,  e que tem se saído muito bem,

 abraços,

 Walter

Em qua, 3 de mar de 2021 15:18, Marcelo Finger 
escreveu:

> Caros.
>
> Gostaria de sugerir mui respeitosamente que a próxima eleição da SBL
> contemple a alternativa de votação eletrônica.  Estamos entrando na fase
> vermelha e sei lá quando poderei ir ao correio.
>
> Com meus votos de muita saúde a todos
>
> []s
>
>
> --
>  Marcelo Finger
>  Departament of Computer Science, IME
>  University of Sao Paulo
>  http://www.ime.usp.br/~mfinger
>  ORCID: https://orcid.org/-0002-1391-1175
>  ResearcherID: A-4670-2009
>
> --
> 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/CAGG7Aw371f6FkPyPBb2zMbZPZ%2BS_sNQQUKfiGFug%2BL9gY-SFBQ%40mail.gmail.com
> 
> .
>

-- 
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/CAOrCsLcnNE18O6OVwOyhoMNNqeyk%3DhRcQ7SCC2n-zkVa5Nnkng%40mail.gmail.com.

Re: [Logica-l] Carnaval dos Lógicos do Brasil - 2021

[Walter Alexandre Carnielli]

Oooopa!!  Preciso subir mais dois pontinhos no neu h-index pra sair na
frente !  Vou dar uma atenção a isso :-)

W.


Em dom., 28 de fev. de 2021 às 14:41, jean-yves beziau
 escreveu:
>
>
> h-index (since 2016)
>
> i10-index (since 2016)
>
> Citations (since 2016
>
> 20 Newton da Costa
>
> 20 Jean-Yves Beziau
>
> 19 Walter Carnielli
>
> 15 Jair Minoro Abe
>
> 14 Vivek Nigam
>
> 13 Marcelo Coniglio
>
> 13 Mauricio Ayala Rincon
>
> 12 João Marcos
>
> 12 Decio Krause
>
> 12 Julio Michael Stern
>
> 10 Itala D’Ottaviano
>
> 10 Alexandre Rademaker
>
> 09 Jonas Becker
>
> 09 Renata Wassermann
>
> 08 Marcelo Finger
>
> 08 Gerson Zaverucha
>
> 08 Elaine Pimentel
>
> 08 Ruy de Queiroz
>
> 08 Edward Haeusler
>
> 06 Mario Benevides
>
> 06 Hugo Mariano
>
> 05 Juliana Bueno Soler
>
> 05 Giorgio Venturi
>
> 04 Bruno Lopes
>
> 04 Samuel da Silva
>
> 04 Marcos Silva
>
> 03 Gisele Secco
>
> 51 Jean-Yves Beziau
>
> 48 Newton da Costa
>
> 44 Walter Carnielli
>
> 23 Vivek Nigam
>
> 20 Jair Minoro Abe
>
> 18 Marcelo Coniglio
>
> 17 João Marcos
>
> 16 Mauricio Ayala Rincon
>
> 15 Decio Krause
>
> 15 Julio Michael Stern
>
> 10 Itala D’Ottaviano
>
> 10 Alexandre Rademaker
>
> 09 Jonas Becker
>
> 09 Renata Wassermann
>
> 08 Marcelo Finger
>
> 07 Gerson Zaverucha
>
> 07 Elaine Pimentel
>
> 05 Ruy de Queiroz
>
> 04 Edward Hauesler
>
> 02 Hugo Mariano
>
> 02 Juliana Bueno Soler
>
> 01 Bruno Lopes
>
> 01 Giorgio Venturi
>
> 00 Samuel da Silva
>
> 00 Mario Benevides
>
> 00 Marcos Silva
>
> 00 Gisele Secco
>
> 1957 Newton da Costa
>
> 1752 Walter Carnielli
>
> 1640 Jean-Yves Beziau
>
>  858 Jair Minoro Abe
>
>  825 Marcelo Coniglio
>
>  744 Itala D’Ottaviano
>
>  739 Decio Krause
>
>  697 João Marcos
>
>  687 Vivek Nigam
>
>  587 Julio Michael Stern
>
>  553 Alexandre Rademaker
>
>  507 Mauricio Ayala Rincon
>
>  485 Marcelo Finger
>
>  426 Gerson Zaverucha
>
>  378 Renata Wassermann
>
>  304 Jonas Becker
>
>  289 Elaine Pimentel
>
>  275 Edward Haeusler
>
>  226 Ruy de Queiroz
>
>  121 Mario Benevides
>
>   97 Hugo Mariano
>
>   79 Giorgio Venturi
>
>   74 Juliana Bueno Soler
>
>   52 Samuel da Silva
>
>   48 Bruno Lopes
>
>   33 Marcos Silva
>
>   21 Gisele Secco
>
>
>
>
>
> --
> 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/CAF2zFLBnstmBN7ymPR-m--prRakL1XGdvhRSxML_Q77FaYimww%40mail.gmail.com.



-- 
===
Walter Carnielli, Professor
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Institutional e-mail: walter.carnie...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli

-- 
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/CAOrCsLd8UO591Q_CdKk-%2BA4Yd3U4c%3DV_WHgEWL5x8rQBenKNiA%40mail.gmail.com.

[Logica-l] "Sistemas Dedutivos em Lógica Tradicional e Moderna" (acesso livre)

[Walter Alexandre Carnielli]

Cara(o)s colegas e estudantes:


Acabamos de receber uma cópia do livro lindamente  editado (e livre
para download)

"Sistemas Dedutivos em Lógica Tradicional e Moderna"
 (MDPI, 2021, editores Alex Citkin e Urszula Wybraniec-Skardowska)


Estamos muito felizes  em ter um artigo neste belo volume:


Antunes, H.; Carnielli, W.; Kapsner, A.; Rodrigues, A. Kripke-Style
Models for Logics of Evidence and Truth. Axioms 2020, 9, 100.


 E também estou pessoalmente satisfeito por encontrar no livro  o
ótimo "review" de Alfredo Freire do  nosso livro sobre Quine:

 Freire, A.R. Review of “The Significance of the New Logic” Willard
Van Orman Quine. Edited and Translated by Walter Carnielli, Frederique
Janssen-Lauret, and William Pickering. Cambridge University Press,
Cambridge, UK, 2018, pp. 1–200. ISBN-10: 1107179025 ISBN-13:
978-1107179028. Axioms 2019, 8, 64.


Open access:

https://www.mdpi.com/2075-1680/9/3/108/pdf
Abs


Walter



-- 
===
Walter Carnielli, Professor
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Institutional e-mail: walter.carnie...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli

-- 
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/CAOrCsLeDL8tFPfmc1gT_Z5K3ZM-cN%2BH08kz4XR5stEBV_q%2ByjQ%40mail.gmail.com.

[Logica-l] Research and Teaching Assistant Position

[Walter Alexandre Carnielli]

Job Advertisement
21/Si08
At the Department of Philosophy’s Chair of Theoretical Philosophy, at the
University
of Greifswald’s Faculty of Arts and Humanities, there is a position which
is expected
to be available from 01/04/2021, subject to budgetary regulations, for a
part-time
(50%)
Research and Teaching Assistant.
The position on offer is limited to a period of 30 months. Payment will be
made accord-
ing to pay group 13 TV-L Wissenschaft.
Job Description:
The successful candidate will be expected to perform academic research and
teaching
services in the field of theoretical philosophy (teaching obligation of
around 4 classes
(à 45 min. as defined in LVVO M-V) per week in every semester).
Furthermore, s/he
will be expected to perform independent academic research in the field of
philosophical
logic, epistemology, philosophy of science, or metaphysics. This research
must make
use of formal methods. The future holder of the position will also be
expected to par-
ticipate in the chair’s research colloquium.
The position serves to qualify academics in the first qualification phase.
Tasks will be
assigned that are conducive to the preparation of a doctoral thesis.
Job Specification:
• University degree (Master or equivalent) in philosophy, preferably
theoretical
philosophy
• Expertise in the use of formal research methods
• Research plan
• Excellent knowledge of both written and spoken English (the ability to
teach in
German is a plus)
• Experience in university teaching
The position is open to all persons, irrespective of gender. The University
would like to
increase the proportion of women in areas in which they are
underrepresented and
thus applications from women are particularly welcome and will be treated
with priority
if they have the same qualifications and as long as there are no clear
reasons which
make a fellow applicant more suitable. Severely disabled applicants with
the same
qualifications will be considered with preference.

In accordance with § 68(3) PersVG M-V, the Staff Council will only be
involved in staff
matters of the academic or artistic staff on request.


Please only submit copies of your application documents as they cannot be
returned.


Unfortunately, the application costs (e.g. travel expenses for interviews)
will not be
reimbursed by the state of Mecklenburg-Vorpommern.


Applications comprising all usual documents (cover letter, curriculum
vitae, research
plan, copies of certificates) should be sent with reference to the job
advertisement
number 21/Si08 by 5 March 2021, in electronic form (one PDF file) by email,
to:
Universität Greifswald
Institut für Philosophie
Prof. Dr. Allard Tamminga
Baderstraße 6/7
17489 Greifswald
email: schlu...@uni-greifswald.de (secretary’s office)

-- 
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/CAOrCsLdf%3DV5Zv6s1kuCowZX%3D-mwgX7aEwRLdqPPz9LVfnW6%3DUg%40mail.gmail.com.

Re: [Logica-l] lógica viva: trilema de agripa

[Walter Alexandre Carnielli]

Oi Marcos,

Muito bom o vídeo sobre o Trilema de Agripa, isso não é muito conhecido mas
é bastante geral e bastante profundo.

Ficou bem agradável ,

abraço,

 Walter

Em sex, 12 de fev de 2021 19:35, Marcos Silva 
escreveu:

> Car@s,
>
> estamos retomando o projeto logica viva! em 2021.
>
> nós publicamos recentemente um video introdutório sobre o trilema de agripa
> https://www.instagram.com/p/CLHTJIopQPe/
> https://youtu.be/1C5EPoM5UbY
>
> por favor, ajudem a divulgar este projeto de divulgação da logica e da
> filosofia para seus alunos e alunas.
>
> muito obrigado!
>
> 
>
> Caso algum professor ou professora quiser fazer contribuições para este
> projeto, por favor, me escreva em privado.
>
> Abraços do Recife,
> Marcos
>
> --
> Marcos Silva (UFPE/CNPq)
> Philosophy Department
> Federal University of Pernambuco, Brazil
> Editor-in-chief Revista Perspectiva Filosófica
> 
> https://sites.google.com/view/marcossilvaphilosophy
> "amar e mudar as coisas me interessa mais"
>
> --
> 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/CAGZ3pz%2Bzc%3DGWYYSna%2BtSqDx5oDe0ivkFWduknmYrXNbf4M7F6Q%40mail.gmail.com
> 
> .
>

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

[Logica-l] 4th Advanced Online & Onsite Course on Data Science & Machine Learning | July 19-23, 2021 | Certosa di Pontignano, Siena – Tuscany, Italy

[Walter Alexandre Carnielli]

#ACDL2021, An Interdisciplinary Course: #BigData, #DeepLearning &
#ArtificialIntelligence without Borders

ACDL 2021 – A Unique Experience:
#DataScience, #MachineLearning & #ArtificialIntelligence with the World’s
Leaders in the fascinating atmosphere of the ancient Certosa di Pontignano

(Online attendance available)

Certosa di Pontignano, Siena - #Tuscany, Italy
July 19-23
https://acdl2021.icas.cc   a...@icas.cc

ACDL 2021 (as ACDL 2020): an #OnlineAndOnsiteCourse
https://acdl2021.icas.cc/acdl-2021-as-acdl-2020-an-online-onsite-course/

REGISTRATION:
Early Registration: by Monday February 15, 2021 (GMT+01)

https://acdl2021.icas.cc/registration/

DEADLINES:
o Early Registration: by Monday February 15, 2021 (GMT+01)
o Oral/Poster Presentation Submission Deadline: Monday February 15, 2021
(GMT+01)
o Late Registration: from Tuesday February 16, 2021
o Accommodation Reservation at Reservation at the Certosa di Pontignano: by
Saturday July 10, 2021
o Notification of Decision for Oral/Poster Presentation: by Monday May 31,
2021

ACDL 2021 LECTURERS:
Each Lecturer will hold three/four lessons on a specific topic.

* Pierre Baldi, University of California Irvine, USA
* Jacob D. Biamonte, Skolkovo Institute of Science and Technology, Russian
Federation
* Chris Bishop, Microsoft, Cambridge, UK Laboratory Director at Microsoft
Research Cambridge & University of Edinburgh
* Silvia Chiappa, DeepMind, London, UK
* Oren Etzioni, Allen Institute for AI, USA CEO at Allen Institute for AI
* Marco Gori, University of Siena, Italy
* Georg Gottlob, Computer Science Dept, University of Oxford, UK
* Marta Kwiatkowska, Computer Science Dept., University of Oxford, UK
* Panos Pardalos, University of Florida, USA
* Daniela Rus, MIT, USA) Director of CSAIL (TBC)
* Silvio Savarese, Stanford, University, USA Institute for Human-Centered
Artificial Intelligence
* Cristina Savin, New York University, Center for Neural Science & Center
for Data Science, USA
* Naftali Tishby, Hebrew University, Israel
* Isabel Valera, Saarland University, Germany Max Planck Institute for
Intelligent Systems, Tübingen, * Germany
* Mihaela van der Schaar, University of Cambridge, UK

More Keynote Speakers to be announced soon.

ACDL 2021 TUTORIAL SPEAKERS:

* Roman Belavkin, Middlesex University London, UK
* Martín Gómez Ravetti, Federal University of Minas Gerais, Brazil

More Tutorial Speakers to be announced soon.


PAST LECTURERS:
https://acdl2021.icas.cc/past-lecturers/
* Ioannis Antonoglou, Google DeepMind, UK
* Igor Babuschkin, DeepMind - Google, London, UK
* Pierre Baldi, University of California Irvine, USA
* Roman Belavkin, Middlesex University London, UK
* Yoshua Bengio, University of Montreal, Canada
* Michael Bronstein, Twitter & Imperial College London, UK
* Sergiy Butenko, Texas A&M University, USA
* Giuseppe Di Fatta, University of Reading, UK
* Marco Gori, University of Siena, Italy
* Yi-Ke Guo, Imperial College London, UK & Founding Director of Data
Science Institute
* Phillip Isola, MIT, USA
* Leslie Kaelbling, MIT - Computer Science & Artificial Intelligence Lab,
USA
* Diederik P. Kingma, Google Brain, San Francisco, CA, USA
* Ilias S. Kotsireas, Wilfrid Laurier University, Canada
* Risto Miikkulainen, University of Texas at Austin, USA
* Peter Norvig, Director of Research, Google
* Panos Pardalos, University of Florida, USA
* Alex 'Sandy' Pentland, MIT & Director of MIT’s Human Dynamics Laboratory,
USA
* José C. Principe, University of Florida, USA
* Marc'Aurelio Ranzato, Facebook AI Research Lab, New York, USA
* Dolores Romero Morales, Copenhagen Business School, Denmark
* Ruslan Salakhutdinov, Carnegie Mellon University, and AI Research at
Apple, USA
* Guido Sanguinetti, The University of Edinburgh, UK
* Josh Tenenbaum, MIT, USA
* Naftali Tishby, Hebrew University, Israel
* Mihaela van der Schaar, University of Cambridge
* Joaquin Vanschoren, Eindhoven University of Technology, The Netherlands
* Oriol Vinyals, Google DeepMind, UK


SCOPE:
MSc students, PhD students, postdocs, junior/senior academics, and industry
practitioners will be typical profiles of the attendants. In fact, the
Advanced Course is not a summer school suited only for younger scholars.
Rather, a significant proportion of seasoned investigators are regularly
present among the attendees, often senior and junior faculty at their own
institutions. The balanced audience that we strive to maintain in each
Advanced Course greatly contributes to the development of intense
cross-disciplinary debates among faculty and participants that typically
address the most advanced and emerging areas of each topic.

Each faculty member presents lectures and discusses with the participants
for one entire day. Such long interaction together with the small,
exclusive Course size provides the uncommon opportunity to fully explore
the expertise of each faculty, often through one-to-one mentoring. This is
unparalleled and priceless.

The Certosa di Pontignano provides the perfect setting t

[Logica-l] PhD student position on logics for ethical reasoning in social robots, Toulouse (France), Deadline: 21 Feb 2021

[Walter Alexandre Carnielli]

PhD position in Logics for Ethical Reasoning in Social Robots

Institut de Recherche en Informatique de Toulouse (IRIT), Toulouse
University, France

The International Center for Mathematics and Computer Science in Toulouse
(https://cimi.univ-toulouse.fr/en ),
named CIMI, offers a 3-year support grant for students starting a PhD in
October 2021. Recruited doctoral students will be paid ? 1900 gross per
month. They will have the opportunity to sign a teaching endorsement for
the duration of their doctoral studies. Umberto Grandi
(https://www.irit.fr/~Umberto.Grandi/
) and Emiliano Lorini
(https://www.irit.fr/~Emiliano.Lorini/
) are seeking a candidate for a PhD
position at CIMI to work on the research project ?Logics for Ethical
Reasoning in Social Robots? in close cooperation with Rachid Alami
(https://homepages.laas.fr/rachid/ )
and Aurélie Clodic (https://homepages.laas.fr/aclodic/
).

Description of the research project

An autonomous agent is, by definition, endowed with endogenous
motivations, commonly called goals, which determine her preferences,
thereby indirectly influencing her decision-making process. The connection
between an agent?s goals and preferences is highly relevant for machine
ethics, one of the central areas of AI nowadays (Allen et al. 2000;
Etzioni & Etzioni 2017; Wallach & Allen 2008). Indeed, for an autonomous
agent to be ethical and to behave responsibly, some of her goals must
reflect values and norms with which she is expected to comply and which
take other agents and their welfare into consideration. This includes both
abstract values such as justice, fairness, reciprocity, equity and honesty
and more concrete ones such as ?greenhouse gas emissions are reduced?. A
typical example of ethical autonomous agent is a robot whose set of values
includes the respect for human integrity (Winfield et al. 2014). In order
to supply her expected functionality, an ethical agent should be capable
of computing her preference ordering over the alternatives directly from
her values and then use it, together with her knowledge and belief, as
input of her decision-making process.

There have been some attempts to formalize ethical reasoning with the aid
of logical tools. There are approaches based on preference logic (Hansson
2001), event calculus (ASP) (Berreby et al. 2017), temporal-epistemic
logic (Lorini 2015), BDI (belief, desire, intention) agent language
(Dennis et al. 2016) and classical higher-order logic (HOL) (Benzmüller et
al. 2002). The focus of this PhD thesis is the formalization of the
relationship between ethical values and preferences as well as the
influence of ethical values on decision-making. The methodology used in
the project is a combination of epistemic logic (Fagin et al. 1995),
dynamic epistemic logic (van Ditmarsch et al. 2007) and preference logic
(van Benthem & Liu 2007) interpreted on a variety of formal semantics
including relational semantics (Blackburn et al. 2001), neighbourhood
semantics (Chellas 1980) and belief base semantics (Lorini 2020). The
output of the PhD thesis will be a family of logics for ethical reasoning
aimed at modelling interactive situations in which: (i) an agent?s value
may concern other agents? well-being, safety and integrity, and (ii)
agents? decisions are interdependent so that the possibility for an agent
to achieve her values may depend on what other agents decide to do. The
latter are the typical situations studied in game-theory. The logics
developed in the context of the PhD thesis will allow us to express
solution concepts from game theory and to elucidate the strategic aspects
of ethical reasoning. Their semantics will borrow from well-studied
concepts in social choice (most notably fairness criteria) and compact
languages for preference, goals, and values representation (Loreggia et
al., 2018) and their aggregation (Novaro et al., 2019, Haret et al. 2018).
Decision procedures for their satisfiability checking and model checking
problems will be devised.

We will focus on social robotics as a pertinent context to investigate a
potential algorithmic implementation of the framework. Indeed, human-robot
joint action opens very challenging decisional problems for the robot to
elaborate strategies which are not only pertinent, but also acceptable and
legible by its human partner. Architectures, models and algorithms (Clodic
2017, Lemaignan 2017, Kruse 2013) have been proposed to reason about human
mental state, to generate human-aware plans which allow to conduct
collaborative human-robot task achievement. One objective would be to
combine and enrich such systems with ethical reasoning.

References

C. Allen, G. Varner, and J. Zinser (2000). Prolegomena to any future
artificial moral agent. Journal of Experimental and Theoretical Artificial
Intelligence, 

Re: [Logica-l] Fwd: Foundations of Computer Science at the University of Leicester

[Walter Alexandre Carnielli]

Também assinada, com comentários...
W.
Em dom., 7 de fev. de 2021 às 13:07, Valeria de Paiva
 escreveu:
>
> obrigada por postar os abaixo-assinados, Joao! assinados, claro.
> abs
>
> On Sat, Feb 6, 2021 at 4:12 AM Joao Marcos  wrote:
>>
>> -- Forwarded message -
>>
>> Dear all,
>>
>> We would like to ask for support from the community against the threat of
>> redundancy to staff in Foundations of Computer Science at University of
>> Leicester. Please consider signing this petition and leaving a comment:
>>
>> https://www.ipetitions.com/petition/foco-is-not-redundant
>>
>> Some background: University of Leicester is currently implementing a
>> "Shaping for Excellence" plan that aims to make at least 60 people
>> redundant. As part of this, the University wants to get rid of all 8 staff
>> in pure maths and of all (up to 10, exact number to be determined) staff
>> in Foundations of Computer Science whose past (!) research is not deemed
>> to be close enough to the new priority areas of Artificial Intelligence,
>> Data Mining, Computational Modelling and Digitalisation. This is based on
>> the short-sighted and ill-informed view that theoretical research is not
>> useful and not needed for the new strategic directions.
>>
>> It would be great if you could sign the petition and possibly forward the
>> link to your colleagues and others in your networks who may not yet have
>> received it.
>>
>> Thanks,
>>
>> Thomas Erlebach 
>>
>> P.S.: Here is a separate petition for supporting our colleagues in
>> Mathematics:
>> https://www.ipetitions.com/petition/mathematics-is-not-redundant
>>
>> --
>> 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_LizPvbjkbVmXV5hexEVP6GNeyjUCH-uDh%2BfqZSFkt45zQ%40mail.gmail.com.
>
>
>
> --
> Valeria de Paiva
> http://vcvpaiva.github.io/
> http://www.cs.bham.ac.uk/~vdp/
>
> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXv8HpTFK%3DJ8wu9HpsthhfiToPYZYyaaa94ZnwGZOmOEqg%40mail.gmail.com.



-- 
===
Walter Carnielli, Professor
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Institutional e-mail: walter.carnie...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli

-- 
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/CAOrCsLfcsVgsz4Hit7JDoq-JO9rno%2BT666KFGnbsZMs7K6Y0Og%40mail.gmail.com.

[Logica-l] Two funded PhD positions on Epistemic AI at TU Delft - deadline 28 February

[Walter Alexandre Carnielli]

TU Delft (Netherlands) offers two fully-funded PhD positions as part of
the EU FET Open project Epistemic AI.

The first PhD candidate will develop novel approaches for combinatorial
optimisation under epistemic uncertainty.  The second PhD candidate will
develop novel reinforcement learning algorithms that aim for robust and
safe behaviour in partially-known environments.

The project goal is to create a new paradigm for next-generation AI
providing worst-case guarantees on its predictions thanks to a proper
modelling of real-world uncertainties.

Further details and application form:
https://www.tudelft.nl/over-tu-delft/werken-bij-tu-delft/vacatures/details?jobId=1980&jobTitle=PhD%20(2%20positions)%20in%20Optimisation%20and%20Reinforcement%20Learning%20with%20Epistemic%20Uncertainty

Applicants should state clearly which position they are interested in.

Application deadline for full consideration: 28 February 2021

Informal enquiries: Neil Yorke-Smith (n.yorke-sm...@tudelft.nl) for the
first position, Matthijs Spaan (m.t.j.sp...@tudelft.nl) for the second
position.



--
Neil YORKE-SMITH
Algorithmics, EEMCS, TU Delft
http://www.alg.ewi.tudelft.nl

-- 
You received this message because you are subscribed to the Google Groups
"International Symposium on Artificial Intelligence and Mathematics" group.
To unsubscribe from this group and stop receiving emails from it, send an
email to isaim+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/isaim/bed19487-2b22-5b2a-827b-70e5faff7500%40tudelft.nl
.

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

Re: [Logica-l] ¿ Is there an Axiom for everything ?

[Walter Alexandre Carnielli]

Eu acho que pode ser, então talvez eu leia, ou não :-)

Abraços
W.

Em qua, 20 de jan de 2021 22:37, jean-yves beziau 
escreveu:

> Meu derradeiro artigo:
> http://www.jyb-logic.org/AXI
> 1) Se você está convicto  que a resposta a essa pergunta é positiva,  faz
> sentido ler o artigo começando pelo início.
> 2) Caso julga a resposta negativa,  melhor começar  pelo fim.
> 3) Se pensa  que  talvez sim, talvez não, aconselho ler o artigo pelo meio.
> 4) Procurando um erro, uma inconsistência, querendo contradizer o autor,
> ler em zig-zag é  o bom caminho.
> 5) Se não acredita em nada, uma leitura circular pode ser proveitosa ...
> JYB
>
> --
> 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/CAF2zFLBr8jiGm%2Bgu%2BKPa4Hk1x3-Reyd7Qed6i3Zg%2BYaqCcbUug%40mail.gmail.com
> 
> .
>

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

Re: [Logica-l] John Corcoran 1937-2021

[Walter Alexandre Carnielli]

 De fato, é uma notícia muito triste e  inesperada . Até há bem pouco
tempo Corcoran estava super ativo, escrevendo muito e pedindo apoio,
sempre mencionando seu amigo"Frango na Brasa".
Para quem nao conhece a história, "Frango na Brasa" é um amigo
brasileiro dele que mora nos EUA, um "filósofo de rua". Não sei bem o
que seria...

Me toca  especialmente porque eu tive duas  fortes  "blood
infections", e escapei por 'miracolo da Dio  e tutti i santi',
incluindo Ogum e Obaluayê.
W.


> que noticia trieste! condolencias a familia e amigos.
> Valeria
>
> On Wed, Jan 13, 2021 at 9:06 AM jean-yves beziau  
> wrote:
>>
>> https://en.wikipedia.org/wiki/John_Corcoran_(logician)
>> -
>> De : Lynn Corcoran
>>
>> Dear Jean-Yves
>>
>> I write to you with sad news. John passed away on Friday, January 8.
>>
>> As I was going through his recent emails, I saw your posting of World Logic 
>> Day tomorrow, January 14.  I’m sure you are very busy at the moment, but if 
>> it would be possible to announce John’s death, please do so.
>>
>> Before he died, John had asked me to notify you and to tell you how much he 
>> appreciated your friendship, as well as your enthusiastic and imaginative 
>> support of logic. He greatly enjoyed his participation in the conference you 
>> organized in Istanbul.  I accompanied him on that trip and it was a 
>> wonderful experience for both of us.
>>
>> John became ill suddenly with a blood infection.  Aggressive antibiotic 
>> treatment over the next two weeks was not successful. He entered hospice, 
>> where he received the care of extraordinary people.
>>
>> Until the day he became ill, he was working on new papers and abstracts, 
>> supervising new translations of some of his papers into Arabic, Turkish, 
>> Spanish and German, and as always, mentoring young scholars via email.  He 
>> lived a long and happy life, fully engaged in this world.
>>
>> In keeping with John’s long-standing wishes, there will be no funeral or 
>> memorial service.
>>
>> Best,
>> Lynn
>>
>>
>> --
>> 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/CAF2zFLBCSJM-S3kZypZAQJPD%3D-%2Bce_ohTS7DtCAre4yvCTjH_w%40mail.gmail.com.
>
>
>
> --
> Valeria de Paiva
> http://vcvpaiva.github.io/
> http://www.cs.bham.ac.uk/~vdp/
>
> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXuiYOUTHmMMzEYw7r%2B3h1ps1_NmbRttHnYbZjWWfMLLNw%40mail.gmail.com.



-- 
===
Walter Carnielli, Professor
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Institutional e-mail: walter.carnie...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli

-- 
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/CAOrCsLePfHv%2BA-oeou-1qfiCOE1ntd62PO5k8XxhTxGMksR-Zw%40mail.gmail.com.

[Logica-l] "Gödelian flowers in exotic fields": horário correto

[Walter Alexandre Carnielli]

Colegas:

Nossa apresentação  em comemoração ao Dia Internacional da Lógica será no
sábado,  16 de janeiro,

16:00 - 16:30
*Horário de Zurique*

12:00- 12:30 (meio dia)  *Horário de São Paulo*


David Fuenmayor & Walter Carnielli

"Gödelian flowers in exotic fields: automating (meta-)mathematical
reasoning for  non - classical logics"


Zoom Meeting
https://ethz.zoom.us/j/95894757666?pwd=aHZxOWM2Zzk0b3lRTWYwVWw1QlZEUT09

Meeting ID: 958 9475 7666
Password: 597677






Car@s colegas

-- 
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/CAOrCsLcGyc%3D4YRS-xxSeKYX2TFmNWFdC-gRCWhi-u1xF2FqWTg%40mail.gmail.com.

[Logica-l] Re: Gödelian flowers in exotic fields": Dia Internacional da Lógica- Errata

[Walter Alexandre Carnielli]

Prezado Jean-Yces:


Você tem acreditado demais na indução.

David Hume  mandou avisar que a terra tem girado no sentido anti-horário,
mas pode perfeitamente  mudar o sentido no dia...
:-)

 Mas obrigado por notar, vamos assumir a hipótese que a terra continuará
girando de oeste para leste e corrigir a chamada.

Abraços, e contamos com a sua participação,


Em seg, 4 de jan de 2021 07:25, jyb  escreveu:

> Caros Walter e David
> Que eu saiba, a terra em 2021 continua a girar no mesme sentido:
> 16h em Zurich são meio dia em São Paulo, hora da feijoada no sabado 16
> De fato nas paginas
> http://logica-universalis.org/wld
> e
> http://logica-universalis.org/wld2
> a terra esta girando no sentido reverso
> mas isso é uma brincadeira,
> até agora so uma pessoa reparou isso
> Um abraço
> JYB
> Le samedi 2 janvier 2021 à 16:31:30 UTC-3, carniell a écrit :
>
>> Colegas:
>>
>> Nossa apresentação  no Dia Internacional da Lógica será no sábado,  16 de
>> janeiro,
>>
>> 16:00 - 16:30
>> *Horário de Zurique*
>>
>> 20:00- 20:30 Horário de São Paulo
>>
>>
>> David Fuenmayor & Walter Carnielli
>>
>> "Gödelian flowers in exotic fields: automating (meta-)mathematical
>> reasoning for  non - classical logics"
>>
>>
>> Zoom Meeting
>> https://ethz.zoom.us/j/95894757666?pwd=aHZxOWM2Zzk0b3lRTWYwVWw1QlZEUT09
>>
>> Meeting ID: 958 9475 7666
>> Password: 597677
>>
>>
>>>
>>> Car@s colegas :
>>>
>>> no Dia Internacional da lógica, Davi Fuenmayor e eu estaremos
>>> representando a lógica brasileira no evento
>>>
>>> Formalize!(?)
>>> A philosophical & educational perspective on
>>> formalization in mathematics
>>> Zurich / Online
>>> 15:50 - 20:00 (CET / UTC+1)
>>>
>>>
>>> 16:00 - 16:30
>>> *Horário de Zurique*
>>>
>>> 20:00- 20:30 Horário de São Paulo
>>>
>>>
>>> David Fuenmayor & Walter Carnielli:
>>>
>>> "Gödelian flowers in exotic fields: automating (meta-)mathematical
>>> reasoning for  non - classical logics "
>>>
>>>
>>> Abstract:
>>>
>>> How is it possible to employ automated theorem provers and proof
>>> assistants for formalization and reasoning in non-classical logics? We will
>>> discuss the semantic embedding approach and use it to formalize the 'last
>>> mile' of the proof of Gödel's incompleteness theorems in Isabelle/HOL. We
>>> aim at motivating a discussion on the use of automated reasoning with
>>> non-classical logics for the formalization and interpretation of
>>> (meta-)mathematical results
>>>
>>>
>>>
>>> https://sites.google.com/view/wldzurich2021/startseite
>>>
>>>
>>> Zoom Meeting
>>> https://ethz.zoom.us/j/95894757666?pwd=aHZxOWM2Zzk0b3lRTWYwVWw1QlZEUT09
>>>
>>> Meeting ID: 958 9475 7666
>>> Password: 597677
>>>
>>

-- 
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/CAOrCsLe4Uu8qxzAgyvgCPgq3yjJT-%3Dx9PKwvLEaGf1bwLrApDg%40mail.gmail.com.

[Logica-l] Gödelian flowers in exotic fields": Dia Internacional da Lógica- Errata

[Walter Alexandre Carnielli]

Colegas:

Nossa apresentação  no Dia Internacional da Lógica será no sábado,  16 de
janeiro,

16:00 - 16:30
*Horário de Zurique*

20:00- 20:30 Horário de São Paulo


David Fuenmayor & Walter Carnielli

"Gödelian flowers in exotic fields: automating (meta-)mathematical
reasoning for  non - classical logics"


Zoom Meeting
https://ethz.zoom.us/j/95894757666?pwd=aHZxOWM2Zzk0b3lRTWYwVWw1QlZEUT09

Meeting ID: 958 9475 7666
Password: 597677


>
> Car@s colegas :
>
> no Dia Internacional da lógica, Davi Fuenmayor e eu estaremos
> representando a lógica brasileira no evento
>
> Formalize!(?)
> A philosophical & educational perspective on
> formalization in mathematics
> Zurich / Online
> 15:50 - 20:00 (CET / UTC+1)
>
>
> 16:00 - 16:30
> *Horário de Zurique*
>
> 20:00- 20:30 Horário de São Paulo
>
>
> David Fuenmayor & Walter Carnielli:
>
> "Gödelian flowers in exotic fields: automating (meta-)mathematical
> reasoning for  non - classical logics "
>
>
> Abstract:
>
> How is it possible to employ automated theorem provers and proof
> assistants for formalization and reasoning in non-classical logics? We will
> discuss the semantic embedding approach and use it to formalize the 'last
> mile' of the proof of Gödel's incompleteness theorems in Isabelle/HOL. We
> aim at motivating a discussion on the use of automated reasoning with
> non-classical logics for the formalization and interpretation of
> (meta-)mathematical results
>
>
>
> https://sites.google.com/view/wldzurich2021/startseite
>
>
> Zoom Meeting
> https://ethz.zoom.us/j/95894757666?pwd=aHZxOWM2Zzk0b3lRTWYwVWw1QlZEUT09
>
> Meeting ID: 958 9475 7666
> Password: 597677
>

-- 
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/CAOrCsLfOnGABizWfAJx2kORRyNA%3DDJBf0CGUsX2VO-9f-8KBtw%40mail.gmail.com.

Re: [Logica-l] "Gödelian flowers in exotic fields": Dia Internacional da Lógica

[Walter Alexandre Carnielli]

Obrigado João, vou falar com o David e talvez a gente possa submeter sim.

Temos alguns resultados realmente práticos.

Abs

Walter

Em sáb, 2 de jan de 2021 15:46, Joao Marcos  escreveu:

> Excelente, Walter!
>
> Com relação aos aspectos educacionais mais _práticos_ da formalização
> da Matemática, talvez vocês queiram considerar submeter algo para este
> workshop?
> https://www.uc.pt/en/congressos/thedu/ThEdu21/cfp
>
> []s, Joao Marcos
>
>
> On Sat, Jan 2, 2021 at 3:38 PM Walter Alexandre Carnielli
>  wrote:
> >
> > Conferência 14 de janeiro,
> > Dia Internacional da Lógica/World Logic Day
> >
> >
> > Carlos colegas :
> >
> > no Dia Internacional da lógica, Davi Fuenmayor e eu estaremos
> representando a lógica brasileira no evento
> >
> > Formalize!(?)
> >
> > A philosophical & educational perspective on
> > formalization in mathematics
> >
> > Zurich / Online
> > 15:50 - 20:00 (CET / UTC+1)
> >
> >
> >
> > 16:00 - 16:30
> > *Horário de Zurique*
> >
> > 20:00- 20:30 Horário de São Paulo
> >
> >
> > David Fuenmayor & Walter Carnielli:
> >
> > "Gödelian flowers in exotic fields: automating (meta-)mathematical
> reasoning for  non - classical logics "
> >
> >
> > Abstract:
> >
> > How is it possible to employ automated theorem provers and proof
> assistants for formalization and reasoning in non-classical logics? We will
> discuss the semantic embedding approach and use it to formalize the 'last
> mile' of the proof of Gödel's incompleteness theorems in Isabelle/HOL. We
> aim at motivating a discussion on the use of automated reasoning with
> non-classical logics for the formalization and interpretation of
> (meta-)mathematical results
> >
> >
> >
> > https://sites.google.com/view/wldzurich2021/startseite
> >
> >
> > Zoom Meeting
> > https://ethz.zoom.us/j/95894757666?pwd=aHZxOWM2Zzk0b3lRTWYwVWw1QlZEUT09
> >
> > Meeting ID: 958 9475 7666
> > Password: 597677
> >
> > --
> > 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/CAOrCsLeixZ-9iFiVVg9KfVHvEtOkDksUTmHwhJV4jX580YJ84Q%40mail.gmail.com
> .
>
>
>
> --
> http://sequiturquodlibet.googlepages.com/
>

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

[Logica-l] "Gödelian flowers in exotic fields": Dia Internacional da Lógica

[Walter Alexandre Carnielli]

Conferência 14 de janeiro,
Dia Internacional da Lógica/World Logic Day


Carlos colegas :

no Dia Internacional da lógica, Davi Fuenmayor e eu estaremos representando
a lógica brasileira no evento

Formalize!(?)
A philosophical & educational perspective on
formalization in mathematics
Zurich / Online
15:50 - 20:00 (CET / UTC+1)


16:00 - 16:30
*Horário de Zurique*

20:00- 20:30 Horário de São Paulo


David Fuenmayor & Walter Carnielli:

"Gödelian flowers in exotic fields: automating (meta-)mathematical
reasoning for  non - classical logics "


Abstract:

How is it possible to employ automated theorem provers and proof assistants
for formalization and reasoning in non-classical logics? We will discuss
the semantic embedding approach and use it to formalize the 'last mile' of
the proof of Gödel's incompleteness theorems in Isabelle/HOL. We aim at
motivating a discussion on the use of automated reasoning with
non-classical logics for the formalization and interpretation of
(meta-)mathematical results



https://sites.google.com/view/wldzurich2021/startseite


Zoom Meeting
https://ethz.zoom.us/j/95894757666?pwd=aHZxOWM2Zzk0b3lRTWYwVWw1QlZEUT09

Meeting ID: 958 9475 7666
Password: 597677

-- 
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/CAOrCsLeixZ-9iFiVVg9KfVHvEtOkDksUTmHwhJV4jX580YJ84Q%40mail.gmail.com.

[Logica-l] Aulas de "Mathematica"

[Walter Alexandre Carnielli]

Colegas:

Gostaria de saber se há algum estudante, ou colega com paciência para
tanto, que possa me dar algumas instruções básicas (remuneradas,  se
for o caso)  sobre o software Mathematica.

As coisas começam por ser um tanto confusas: existe o Wolfram Cloud,
Wolfram Language, Wolfram Alpha, e o próprio Matemática, para mim tão
confusas que já nem sei mais quem é quem.

Conheço o excelente livro "Introdução à programação  em Mathematica"
de  Carlos Caleiro, José Carmo, Amílcar Sernadas, Cristina Sernadas e
Francisco Miguel Dionísio (IST Press,1999), mas minha competência está
aquém do livro.

A intenção é  calcular e programar coisas básicas de teoria de
números, lógica, probabilidade (não estatística) e  álgebra.

Peço a quem tiver  interesse por favor me contactar em privado,

  Abs,

Walter

-- 
===
Walter Carnielli, Professor
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Institutional e-mail: walter.carnie...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli

-- 
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/CAOrCsLezXXWq%2B7gyYV-ikskzOLLm7uUxR_ghCtBtxuM7oWdxeA%40mail.gmail.com.

Re: [Logica-l] censo da população da LOGICA-L

[Walter Alexandre Carnielli]

João


Bom trocar "sexo" por "gênero", pelo menos nesta lista nos educamos um
pouquinho.

A última pergunta é a única que admite respostas diferentes simultâneas ,
ou mais de uma resposta.

Acho que isso deveria ser esclarecido,

Abraços
W.


Em sex, 4 de dez de 2020 19:18, O Administrador da LOGICA-L <
logica-l+own...@dimap.ufrn.br> escreveu:

> PessoALL:
>
> Com o fim de fazer um levantamento demográfico da nossa comunidade,
> criamos um formulário muito breve (5 perguntas):
>
> https://docs.google.com/forms/d/e/1FAIpQLScQcoWbB-rTJXaCsCOuY1eRtio2-RH-6d0TWpV5Ru_OCL4Zqg/viewform
> O preenchimento é anônimo e não lhe tomará mais do que um minuto da sua
> vida.  Nenhuma das perguntas tem resposta compulsória.
>
> Este formulário estará aberto até a meia-noite da 4a-feira dia
> 09/12/2020.  Clique agora!
>
> As categorias usadas em três das cinco perguntas são inspiradas pelas
> perguntas homólogas da pesquisa populacional do IBGE:
> https://educa.ibge.gov.br/jovens/conheca-o-brasil/populacao/
> Em uma das outras duas perguntas optamos, contudo, por trocar "sexo" por
> "gênero".  Já somos gente grande, afinal.
>
> Agradecemos desde já pela participação!
> O Administrador da LOGICA-L
>
> --
> 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_LgU_9vwQcFPUBgLj3_tcL1B8SLNmu5CL1V%2B8yz6N7kTGQ%40mail.gmail.com
> 
> .
>

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

Re: [Logica-l] uma pergunta sobre. wiki brasil

[Walter Alexandre Carnielli]

Talvez não João-   pelo menos  com algumas pessoas eles entram em contato;
re-veja aqui o que Petrúcio  escreveu:


"Ela [a amiga, ou conhecida] me disse que um desses responsáveis entrou em
contato com ela ..."

Confere?

Abs,

W.

Em qui, 26 de nov de 2020 18:33, Joao Marcos  escreveu:

> > A  mim nunca ninguém perguntou nada
>
> Nem nunca vai "perguntar", né?  Não é assim que a Wikipédia funciona...
>
> https://super.abril.com.br/comportamento/a-wikipedia-e-feita-por-milhoes-de-usuarios/
>
> JM
>

-- 
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/CAOrCsLc_U0vK19ojyoH3S4ngh0Tkr3SJddNNnGuj%2BQGpRiq1-g%40mail.gmail.com.

Re: [Logica-l] uma pergunta sobre. wiki brasil

[Walter Alexandre Carnielli]

Petrúcio,

 de minha parte, não tenho a mais remota ideia de quem seja responsável
pela Wikipédia no Brasil

 Sei que ha alguma ou outra  outra coisa boa  em lógica e matemática,  e um
monte de porcaria. A  mim nunca ninguém perguntou nada, e nem sei onde nem
como encontrar alguém da Wikipédia.


Abs,

Walter

Em qui, 26 de nov de 2020 16:05, Jorge Petrucio Viana <
petrucio_vi...@id.uff.br> escreveu:

> Boa tarde!
>
> Uma amiga historiadora (da UFF) me escreveu perguntando sobre como são as
> relações dos pesquisadores da matemática com os responsáveis pela versão
> brasileira da Wiki.
> Ela me disse que um desses responsáveis entrou em contato com ela e,
> durante a conversa, afirmou que a relação com os matemáticos é ótima.
> Dadas algumas outras afirmações que ele fez, ela começou a achar que o que
> ele estava dizendo era pura propaganda para convencê-la a colaborar com
> eles *** da forma que ele queria ***.
>
> Eu me recordo que alguns de vocês comentaram nesta lista que a relação com
> os lógicos é meio conturbada.
>
> Alguém sabe dizer se houve alguma mudança nesse estado de coisas?
>
> E se a relação com os matemáticos em geral é memso tranquila?
>
> Obrigado,
> Petrucio
>
>
>
>
> --
> 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/CACRvmVSugzL3JqkuXFPpygjD%3DLe%2B%3Dg7VpF890pTZ4-ru7ssdrA%40mail.gmail.com
> 
> .
>

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

[Logica-l] David Fuenmayor- Dec 2nd (4:00PM, GMT -3 hours) -Colloquium Logicae @CLE-Unicamp

[Walter Alexandre Carnielli]

 Dear spirited logicians and friends of logic:

The Colloquium Logicae, traditional conferences held at the Centre for Logic,
Epistemology and the History of Science at Unicamp now linked to the
“Logic Supergroup   https://logic.uconn.edu/supergroup/is glad to
announce its

NEXT TALK:

"Generalized topological semantics for weak negations and applications
to the analysis of Gödel's incompleteness theorem"
by David Fuenmayor, PhD candidate, Freie Universität Berlin, Germany
Visiting Researcher, Centre for  Logic, Epistemology and the History
of Science, Unicamp, Brazil

Wednesday, December  2nd, 2020,  16:00  São  Paulo/Brasília time


**
Permanent link to participate:
https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae


"Generalized topological semantics for weak negations and applications
to the analysis of Gödel's incompleteness theorem"

Abstract: This talk is divided into two parts. First, I introduce a
sort of generalized topological semantics for paraconsistent and
paracomplete (e.g. intuitionistic) logics by drawing upon early works
on topological Boolean algebras (cf. Kuratowski, Zarycki, McKinsey &
Tarski). In the second part, I present some preliminary joint work
with Walter Carnielli [1] which formalizes the 'last mile' of the
proof of Gödel's incompleteness theorem using some weak paraconsistent
Logics of Formal Inconsistency (a special case of the logics discussed
in the first part). All presented results have been obtained with help
of the proof assistant Isabelle/HOL. The idea is to motivate a
(hopefully lively) discussion on the use of automated reasoning with
non-classical logics in the formalization and (re)interpretation of
influential meta-mathematical results.

[1] W. Carnielli, D. Fuenmayor (2020). Gödel blooming: the
incompleteness theorems from a paraconsistent perspective. Preprint.
Vol. 19 No. 4 (2020) CLE e-prints
(https://www.cle.unicamp.br/eprints/index.php/CLE_e-Prints/issue/view/243)
==

For past and future talks, please visit   https://seminarioscle.wordpress.com/


==
Walter Carnielli, Professor
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Institutional e-mail: walter.carnie...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli

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

[Logica-l] Em busca de reviewers para "Paraconsistent Logic: Consistency, Contradiction and Negation"

[Walter Alexandre Carnielli]

Car@s Colegas:

 O editor de reviews da "History and Philosophy of Logic"
(https://www.tandfonline.com/toc/thpl20/current)
está procurando reviewers para  o livro

"Paraconsistent Logic: Consistency, Contradiction and Negation"
Springer, 2016 (W.A. Carnielli, M.E. Coniglio)
https://www.amazon.com/Paraconsistent-Logic-Consistency-Contradiction-Epistemology/dp/3319814532

 Embora  o livro tenha  já 4 anos, e  já exista um ótimo review em
Manuscrito (vol.41 no.2 . 2018)  por   Henrique Antunes e Vincenzo
Ciccarelli, o  HPL está interessado em  publicar outro review.

 https://www.scielo.br/scielo.php?pid=S0100-60452018000200111&script=sci_arttext

Não podemos garantir o envio de um exemplar físico do livro ( vamos
tentar com a Springer), mas  certamente enviaremos uma versão em PDF.

Se alguém tiver interesse  por favor me escreva em privado,
abs
 Walter

-- 
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/CAOrCsLdABB1t2Bv7eCi-hQ7VmNmK%3DgG%3DTwcg_BASyPGMDTwsNg%40mail.gmail.com.

[Logica-l] Edward Zalta & Uri Nodelman - October 28th -Colloquium Logicae @CLE-Unicamp

[Walter Alexandre Carnielli]

Dear joyfull logicians and  enthusiasts of logic:

The Colloquium Logicae, traditional conferences held the Centre for Logic,
Epistemology and the History of Science at Unicamp,now linked to the
“Logic Supergroup
https://logic.uconn.edu/supergroup/  is glad to announce its

NEXT TALK:
"Number Theory Without Mathematics"
Edward N. Zalta (Senior Research Scholar, Stanford University)
Uri Nodelman (Senior Research Engineer, Stanford University)

Wednesday, October  28h, 2020,  16:00  São  Paulo/Brasília time
(4:00PM,  GMT -3 hours)

Permanent link to participate:
https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae

Abstract: No specifically mathematical primitives or axioms are
required to derive second order Peano Arithmetic (PA2) or to prove the
existence of an infinite cardinal.  We establish this by improving and
extending the results of Zalta 1999 ("Natural Numbers and Natural
Cardinals as Abstract Objects", J. Philosophical Logic, 28(6):
619-660), in which the Dedekind-Peano axioms for number theory were
derived in an extension of object theory. We improve the results by
developing a Fregean approach to numbers that accommodates a modal
setting, yielding numbers that are stable across possible worlds, even
though the equivalence classes of equinumerous properties vary. To
extend the results, we (a) prove a Recursion theorem (which shows that
recursive functions are relations grounded in second-order
comprehension), (b) derive PA2, and (c) re-derive the existence of an
infinite cardinal and (d) derive the existence of an infinite set
(where sets are defined as non-mathematical extensions of properties).
Since the background framework of object theory has no mathematical
primitives and no mathematical axioms, we have a mathematics-free
foundation for number theory.
===

For past and future talks, please visit   https://seminarioscle.wordpress.com/



Walter Carnielli
 https://waltercarnielli.com/
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil

-- 
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/CAOrCsLcCq9oGCq3O7iOSfeANravFRoqjf%2B-gM4C_cre%3DRD41sg%40mail.gmail.com.

Re: [Logica-l] the greatest mathematician that never lived

[Walter Alexandre Carnielli]

Colegas,

Achei  fantástico o vídeo sobre   "The  greatest mathematician that
never lived" !

 Alguém tem alguma ideia, ou sugestão, sobre como fazer  aquele tipo
de desenhos (cartoons)  memso que fossem bem mais grotescos e
simplificados ,
tipo " personagens com palitos"?

Abs

Walter


Em qui., 22 de out. de 2020 às 00:27, Joao Marcos  escreveu:
>
> E por falar em EXISTÊNCIA e em vídeos, compartilho este TED-Ed com os colegas:
>
> https://youtu.be/0O_boW9YA7I
> - on writing "a consistent logical framework unifying every branch of
> mathematics"
> - on "functions as bridges"
> - "his existence was imaginary, his influence was real"
>
> (Achei curioso notar que os diretores são de um estúdio de animação de
> Goiânia.  Aparentemente curtem Lógica.)
>
> Joao Marcos
>
> --
> 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_Lh80yXwVYXeRHbF5yJaabzXQX2u%2BYDpsQ2Acnfv%2BXEF9g%40mail.gmail.com.

-- 
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/CAOrCsLc3NAuFSrHAHNMg3QF9q_08Hp_X9bpK5%3D7kDcyAfuqQMA%40mail.gmail.com.

Re: [Logica-l] Re: videopédia "Introdução Computacional à Lógica Matemática"

[Walter Alexandre Carnielli]

Parabéns Daniel!

Mas gente,  a UFRN deve estar  na vanguarda  mesmo, como o Daniel
postulou , mas  muito  --  eu por exemplo não  tenho a menor idéia do
que seja "Forall":

Forall_x (o ParaTodxs - Natal)

Só sei que  Marcelo,  Juliana e eu temos um projeto de  livro
semi-pronto há anos  chamado  "Lógica  $\exists$  para  $\forall$ ".

Abs
W.

Em qua., 21 de out. de 2020 às 13:37, Valeria de Paiva
 escreveu:
>
> Parabens Daniel!!
>
> Desculpe essa mensagem era pra ter ido ha' alguns meses atras quando soube 
> que voce estava fazendo isso de transformar  o Forall pro portugues.
> Achei o *maximo* mesmo!!! e nao disse so' porque estava enrolada.
> Mas agora foi a minha chance, especialmente com a historia de virar video 
> tambem.
> FANTASTICO!
> Muito bom ver que a pandemia tem algumas coisas boas como efeito colateral,
> abs
> Valeria
>
> On Wed, Oct 21, 2020 at 7:19 AM 'Durante' via LOGICA-L 
>  wrote:
>>
>> Parabéns, João,
>>
>> Excelente iniciativa.  A UFRN está mesmo na vanguarda. Parabéns!!!
>> Aproveito sua mensagem e faço uma propagandinha aqui também.
>> Eu, aqui na filosofia, também estou produzindo um material didático 
>> introdutório em lógica, baseado na nossa versão brasileira do Forall_x (o 
>> ParaTodxs - Natal).
>>
>> Videoaulas:
>> https://danieldurante.weebly.com/videoaulas_logica.html
>>
>> Livro:
>> https://philpapers.org/go.pl?id=MAGPTN&aid=MAGPTNv1
>>
>> O foco são meus alunos de filosofia, muito pouco alfabetizados 
>> matematicamente. É lógica misturada com filosofia da lógica. Então, o curso 
>> será um pouco sonolento para muitos estudantes de outras áreas.
>> E eu também não sei ser youtuber. Dou aulas longas de 1h mais ou menos. Mas 
>> tem funcionado para meus alunos.
>>
>> De fato, dá MUITO trabalho fazer isso. Mas com o tempo aprendemos. Meu 
>> principal problema é a vizinhança. Moro em casa e aqui perto tem galinha, 
>> pombos, cachorros, carro do gás, do ovo, do picolé Caicó,... Mas a gente 
>> grava assim mesmo!
>> Devo acabar a introdução à lógica proposicional na próxima semana e farei 
>> algumas aulas introdutórias sobre primeira ordem antes do fim do semestre. 
>> Só semântica. Sem sistemas de prova.
>>
>> Comentários, sugestões e principalmente correções, porque certamente há 
>> muitos deslizes, também são muito bem-vindos.
>>
>> Saudações,
>> Daniel.
>>
>>
>> Em terça-feira, 20 de outubro de 2020 às 09:41:18 UTC-3, Joao Marcos 
>> escreveu:
>>>
>>> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>>>
>>> Introdução Computacional à Lógica Matemática
>>> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
>>>
>>> Trata-se de uma _videopédia_ que aborda temas básicos ligados à
>>> Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
>>> sabor levemente computacional, cobrindo (presentemente) os temas:
>>> - relações de consequência
>>> - sintaxe lógica proposicional e de primeira ordem
>>> - o formalismo da Dedução Natural
>>> - as estruturas de interpretação (clássicas) de primeira ordem
>>> Faço observar que o material foi criado para cobrir um curso
>>> introdutório (formal) correspondente a aproximadamente 30 horas-aula,
>>> e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30
>>> verbetes, totalizando cerca de 10 horas de gravação cuidadosamente
>>> editada.
>>>
>>> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>>>
>>> Este material foi construído ao longo de dois meses de trabalho
>>> intenso, nos quais contei principalmente com a ajuda de Vitor Greati e
>>> de Patrick Terrematte.
>>>
>>> Comentários e sugestões dos colegas que possam impactar eventuais
>>> futuras atualizações desta videopédia são sempre bem-vindos!
>>>
>>> Com votos de que possa haver algo aqui que venha a ser útil à nossa 
>>> comunidade,
>>> Joao Marcos
>>>
>>> --
>>> http://sequiturquodlibet.googlepages.com/
>>
>> --
>> 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/cc47e530-bdbb-4763-95db-db6590f859d1n%40dimap.ufrn.br.
>
>
>
> --
> Valeria de Paiva
> http://vcvpaiva.github.io/
> http://www.cs.bham.ac.uk/~vdp/
>
> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXuU-V7YoUH0OaX8_9aWbn_kmTTdeQ3CJDxRoetNKvZ9jw%40mail.gmail.com.

-- 
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-ma

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Walter Alexandre Carnielli]

João  e equipe,

parabéns pela videopédia,  vídeos  bem concisos, informativos,
corretos (tanto quanto eu pude verificar--é fácil "deslizar") ,
textos bem escolhidos e ótimo som!
Aliás, você  poderia  passar aqui
 dica: que microfone usou?

Abraços,

Walter

Em ter., 20 de out. de 2020 às 09:41, Joao Marcos  escreveu:
>
> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>
> Introdução Computacional à Lógica Matemática
> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
>
> Trata-se de uma _videopédia_ que aborda temas básicos ligados à
> Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
> sabor levemente computacional, cobrindo (presentemente) os temas:
> - relações de consequência
> - sintaxe lógica proposicional e de primeira ordem
> - o formalismo da Dedução Natural
> - as estruturas de interpretação (clássicas) de primeira ordem
> Faço observar que o material foi criado para cobrir um curso
> introdutório (formal) correspondente a aproximadamente 30 horas-aula,
> e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30
> verbetes, totalizando cerca de 10 horas de gravação cuidadosamente
> editada.
>
> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>
> Este material foi construído ao longo de dois meses de trabalho
> intenso, nos quais contei principalmente com a ajuda de Vitor Greati e
> de Patrick Terrematte.
>
> Comentários e sugestões dos colegas que possam impactar eventuais
> futuras atualizações desta videopédia são sempre bem-vindos!
>
> Com votos de que possa haver algo aqui que venha a ser útil à nossa 
> comunidade,
> Joao Marcos
>
> --
> http://sequiturquodlibet.googlepages.com/
>
> --
> 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_LjD7Tzgx8ifxPo2D%3D93YEc3gfwx0YjTtaBAL4AXpjMW%3Dg%40mail.gmail.com.

-- 
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/CAOrCsLf-s3LanfFNpbH%2BoSzOoEFYV%2BHbkiWjV1Lmmpta9zVdRg%40mail.gmail.com.

[Logica-l] 1.o Workshop Internacional sobre Interpretação das Lógicas Paraconsistentes.

[Walter Alexandre Carnielli]

Os colegas  Jonas Arenhart e Ederson Melo da UFSC estarão  organizado
nos dias 20, 21 e 22 de outubro próximo, entre 14:00 e 16:00, o 1.o
Workshop Internacional sobre  Interpretação das  Lógicas
Paraconsistentes.

Os palestrantes serão  Abilio Rodrigues, Eduardo Barrio, Jonas
Arenhart,  Ederson Melo, Guilherme Cardoso e  Walter Carnielli.

Somente  pessoas inscritas receberão o link para a sala virtual do
evento. Certificados de participação também serão gerados pelo
sistema.

 Inscrições (gratuitas) no site:

 https://sigeventos.ufma.br/eventos/public/evento/wip


 Walter

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

Re: [Logica-l] Roger Penrose, Reinhard Genzel e Andrea Ghez ganham Nobel de Física

[Walter Alexandre Carnielli]

Obrigado Ricardo,
ótima complementação ao meu sucinto post :-)
Abs,
W.
Em qua., 7 de out. de 2020 às 00:25, Ricardo Grande
 escreveu:
>
> Então, Walter, concordo com você sobre a lógica e o Nobel.
>
> Só umas notas: o Hawking faleceu antes do anúncio deste prêmio, uma pena. No 
> livro Large Scale Structure of Space-time (Hawking - Ellis), são demonstrados 
> dois teoremas fundamentais para a teoria dos buracos negros. O primeiro é de 
> autoria de Penrose e o segundo de Hawking & Penrose.
> Hawking, S. & Ellis, G. Large scale structure of space-time, Cambridge Univ. 
> Press,
> pp. 263 e 266 (1973)
>
> Só para constar, após o Emperor's New Mind, Roger escreveu também "Shadows of 
> the mind" e "The Large, the small and the human mind" ligados ao tema da 
> computação e  à mente humana.
> No Shadows, ele responde várias críticas feitas ao ENM. O outro livro citado 
> é uma obra bem curta e de divulgação científica (há uma sessão de perguntas e 
> respostas com Hawking, N. Cartwright e A. Shimony)
>
> abraços amigos,
> R.
>
>
> Em qua., 7 de out. de 2020 às 00:08, Walter Alexandre Carnielli 
>  escreveu:
>>
>> O Prêmio Nobel de Física  deste  ano foi  concedido a Roger Penrose,
>> Reinhard Genzel e Andrea Ghez, pelo seu (deles)  trabalho que ajuda a
>> revelar os segredos dos buracos negros.
>>
>> O interessante  para nós, lógicos, filósofos e  computólogos, é  que
>> Penrose (para  os mais jovens que talvez  não tenham sido expostos a
>> esse antigo debate) era já famoso pelas suas  ideias no livro "The
>> Emperor's New Mind: Concerning Computers, Minds and The Laws of
>> Physics" de 1989.
>>
>> Sir  Roger  já argumentava, há mais de 30 anos,  que a consciência
>> humana não é  algorítmica e, portanto, não é capaz de ser expressa
>> por uma máquina de Turing.
>>
>> A contribuição de Penrose, que lhe deu o prêmio agora, foi a
>> introdução de novos métodos matemáticos  para demonstrar que  os
>> buracos negros são uma consequência  da  teoria geral da relatividade
>> de   Einstein.
>>
>> Não é sempre que alguma coisa  ligada à lógica, ainda que remotamente,
>> se aproxima do Nobel. Ou assim penso eu...
>>
>>   
>> https://www.miragenews.com/roger-penrose-wins-2020-nobel-prize-in-physics-for-discovery-about-black-holes/
>>
>>
>> W.
>>
>> --
>> 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/CAOrCsLf621fNOG%2BZbBxC2%2BF%2B8UWEMU5gsO8oT0ia-8MDjhtBUQ%40mail.gmail.com.
>
>
>
> --
>
> "(...) há animais humanos mentalmente retardados cujos cérebros 
> envergonhariam um chimpanzé".  N. Wiener, 22º Parágrafo do 4º Cap. de 
> Cibernética e Sociedade.
>
> Não tenhas certeza absoluta de nada.
> Não consideres que valha a pena proceder escondendo evidências, pois as 
> evidências inevitavelmente virão à luz.
> Nunca tentes desencorajar o pensamento, pois com certeza tu terás sucesso.
> Quando encontrares oposição, mesmo que seja de teu cônjuge ou de tuas 
> crianças, esforça-te para superá-la pelo argumento, e não pela autoridade, 
> pois uma vitória que depende da autoridade é irreal e ilusória.
> Não tenhas respeito pela autoridade dos outros, pois há sempre autoridades 
> contrárias a serem achadas.
> Não uses o poder para suprimir opiniões que consideres perniciosas, pois as 
> opiniões irão suprimir-te.
> Não tenhas medo de possuir opiniões excêntricas, pois todas as opiniões hoje 
> aceitas foram um dia consideradas excêntricas.
> Encontra mais prazer em desacordo inteligente do que em concordância passiva, 
> pois, se valorizas a inteligência como deverias, o primeiro será um acordo 
> mais profundo que a segunda.
> Seja escrupulosamente verdadeiro, mesmo que a verdade seja inconveniente, 
> pois será mais inconveniente se tentares escondê-la.
> Não tenhas inveja daqueles que vivem num paraíso dos tolos, pois apenas um 
> tolo o consideraria um paraíso.B.  Russell
>
>
>
> --
> 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/CAO5LKz41OdSroyQeF6ZHbgyB56VEkRXqHp0TLd8WjNpmFH-Mgg%40mail.gmail.com.

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

[Logica-l] Roger Penrose, Reinhard Genzel e Andrea Ghez ganham Nobel de Física

[Walter Alexandre Carnielli]

O Prêmio Nobel de Física  deste  ano foi  concedido a Roger Penrose,
Reinhard Genzel e Andrea Ghez, pelo seu (deles)  trabalho que ajuda a
revelar os segredos dos buracos negros.

O interessante  para nós, lógicos, filósofos e  computólogos, é  que
Penrose (para  os mais jovens que talvez  não tenham sido expostos a
esse antigo debate) era já famoso pelas suas  ideias no livro "The
Emperor's New Mind: Concerning Computers, Minds and The Laws of
Physics" de 1989.

Sir  Roger  já argumentava, há mais de 30 anos,  que a consciência
humana não é  algorítmica e, portanto, não é capaz de ser expressa
por uma máquina de Turing.

A contribuição de Penrose, que lhe deu o prêmio agora, foi a
introdução de novos métodos matemáticos  para demonstrar que  os
buracos negros são uma consequência  da  teoria geral da relatividade
de   Einstein.

Não é sempre que alguma coisa  ligada à lógica, ainda que remotamente,
se aproxima do Nobel. Ou assim penso eu...

  
https://www.miragenews.com/roger-penrose-wins-2020-nobel-prize-in-physics-for-discovery-about-black-holes/


W.

-- 
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/CAOrCsLf621fNOG%2BZbBxC2%2BF%2B8UWEMU5gsO8oT0ia-8MDjhtBUQ%40mail.gmail.com.

Re: [Logica-l] Re: A Máquina de Turing e o que os computadores podem e não podem fazer, por Valdemar W. Setzer

[Walter Alexandre Carnielli]

Muito bom Adolfo ,obrigado pelos links.
Tão interessante quanto o tema é a figura do professor Setzer, que aos 80
anos é um nadador em vários estilos , ginasta , e um ótimo músico-- para
mim um 'virtuose'  com sua flauta transversal.

Abs
W.

Em ter, 6 de out de 2020 18:57, Adolfo Neto  escreveu:

> Sim.
>
> A Máquina de Turing e o que os computadores podem e não podem fazer, por
> Valdemar W. Setzer
> https://www.youtube.com/watch?v=oP-yYWtRevg
>
> Perguntas e Respostas de "A Máquina de Turing e o que os computadores
> podem e não podem fazer"
>
> https://www.youtube.com/watch?v=zodMWsi1cYM
>
>
> On Tue, Oct 6, 2020 at 5:05 PM Rogério Braga 
> wrote:
>
>> Meu caro, boa tarde.
>>
>> A palestra ficou gravada em alguma plataforma?
>>
>> Abraços,
>>
>> Rogério Braga.
>>
>> Em segunda-feira, 5 de outubro de 2020 às 09:50:34 UTC-3, Adolfo Neto
>> escreveu:
>>
>>> Novo link https://meet.google.com/uvb-buox-djm?authuser=3
>>>
>>> On Sun, Oct 4, 2020 at 1:33 PM Adolfo Neto  wrote:
>>>
 Olá,

 Teremos a palestra de Valdemare Setzer nesta segunda ás 9h.

 A Máquina de Turing e o que os computadores podem e não podem fazer,
 por Valdemar W. Setzer
 Resumo:
 Histórico. O Problema da Decidibilidade de Hilbert. Surge Alan Turing.
 A Máquina de Turing (MT). Exercícios. Características da MT. Tipos de
 instruções e potência da MT. Tese de Church-Turing. A MT universal.
 Máquinas podem ter sensações e sentimentos? Alan Turing e o Problema da
 Decidibilidade. O Problema da Parada. Máquinas podem pensar e ser
 inteligentes? O Teste de Turing. As questões da "singularidade" e da
 "digitalização do cérebro". Transições não-deterministas na MT e em seres
 vivos. O ser humano é uma máquina?


 http://portal.utfpr.edu.br/cursos/coordenacoes/stricto-sensu/ppgca-ct/destaques/a-maquina-de-turing-e-o-que-os-computadores-podem-e-nao-podem-fazer-por-valdemar-w-setzer
 Vai ser transmitida no YouTube
 https://www.youtube.com/watch?v=jzMluV-h46k


 Quem
 quiser fazer perguntas ao vivo, basta responder este email (sem cópia para
 a lista) que mando o link do Google Meet.

 Abs.
 Adolfo

 --
 ==
 Adolfo Neto
 Associate Professor - Federal University of Technology, Paraná
 Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
 Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
 ==

>>>
>>>
>>> --
>>> ==
>>> Adolfo Neto
>>> Associate Professor - Federal University of Technology, Paraná
>>> Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
>>> Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
>>> ==
>>>
>>
>
> --
> ==
> Adolfo Neto
> Associate Professor - Federal University of Technology, Paraná
> Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
> Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
> ==
>
> --
> 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/CANspyYVPFEyCOr%2BhUA__kSvUUuwmZnc9jsWQXKb%3DfFTAi-2aVQ%40mail.gmail.com
> 
> .
>

-- 
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/CAOrCsLeQ%2B%3D3H1GwaLevZUHDA3QLoiTpK7AZeznDw1pyR%3DZy0Wg%40mail.gmail.com.

[Logica-l] Seminário do Programa III CLE/Unicamp- - atualização de 05/10/2020

[Walter Alexandre Carnielli]

 Car@s colegas e estudantes:

Segue a programação atualizada  (05/10/2020)  do Seminário do Programa
III -CLE/Unicamp, sempre  às (mas não todas) quartas-feiras, 16:00.
==
Link para participar  via Google Meet:
meet.google.com/rzo-zyxu-opy
==
Programa  detalhado e resumos em:
https://seminarioscle.wordpress.com/
===

30/09 - Rafael Testa
 Título:  Representação  do Conhecimento e Raciocínio: aplicações e
motivações às lógicas paraconsistentes

 14/10- Guilherme  Grudtner
Título: A Medida do Círculo: Uma tradução do texto ΚΥΚΛΟΥ ΜΕΤΡΗΣΙΣ
(Kyklou Metresis) de Arquimedes

  21/10 Pedro Carrasqueira
 Título: a ser anunciado

28/10- "Colloquium Logicae" - Edward Zalta & Uri Nodelman, Stanford
 TItle : Number Theory Without Mathematics
(*link específico:
https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae )

04/11 - Bruno Mendonça
Título:  "Game-theoretic semantics, quantifiers and logical omniscience"

 11/11 - Gesiel Borges da Silva
 "Logic and the problem of evil: an axiomatic
 approach to theodicy via modal applied systems"

18/11 - Juliana Bueno-Soler
"Pluralismo Probabilístico"

 25/11 Guilherme Vicentin Toledo
" Lógicas de Incompatibilidade associadas a LFI's:
definição, semânticas, não-caracterizabilidade e história"

 02/12 - Pablo Rolim
"A hipótese da mente paraconsistente: alguns
critérios a serem cumpridos"

09/12 - Edson Vinicius Bezerra
 "Formal systems and their informal notions: the case of
(some) paraconsistent logics"

16/12 - Rodolfo Ertola-Biraben
Título: a ser anunciado

===

  Att
  Walter Carnielli
  ---
 Walter Carnielli
  https://waltercarnielli.com/

  Centre for Logic, Epistemology and the History of Science and
 University of Campinas –UNICAMP
 13083-859 Campinas -SP, Brazil

  CV Lattes : http://lattes.cnpq.br/105496835379

-- 
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/CAOrCsLcNWwLp9i04kcnSC9qBHMJNKfAdee%3DPy7XRTRVwBx0A7A%40mail.gmail.com.

Re: [Logica-l] Fwd: SILFS Prize for Women in Logic and Philosophy of Science for Anne Sophie Meincke and Anela Lolic

[Walter Alexandre Carnielli]

Car@s,


Muito apreciei um dos critérios, o qual, por coincidência ou não, retrata
um dos pontos pelos quais tenho me batido há anos:

"Breadth of the literature considered, also with regard to scientific
production that goes beyond Anglo-American literature.".

O paradigma anglo-americano,  perdoem-me  os que dele vivem,, não é o único
parâmetro do universo acadêmico .

Abraços,

Walter





Em sex, 2 de out de 2020 16:03, Joao Marcos  escreveu:

> -- Forwarded message -
> From: Erika Nomen
>
>
> 2020 SILFS Prize for Women in Logic and the Philosophy of Science
>
> Società Italiana di Logica e Filosofia delle Scienze
>
>
> The Evaluation Committee for the 2020 SILFS Prize for Women in Logic
> and the Philosophy of
>
> Science was composed of:
>
>
> Cristina Amoretti (Università di Genova)
>
> Margherita Benzi (Università del Piemonte Orientale)
>
> Raffaella Campaner (Università di Bologna)
>
> Elena Casetta (Università di Torino)
>
> Agata Ciabattoni (Technische Universität Wien)
>
> Giovanna Corsi (Università di Bologna)
>
> Luisa Damiano (Università di Messina)
>
> Laura Felline (Independent researcher)
>
> Eleonora Montuschi (Università di Venezia, Cà Foscari)
>
> Sara Negri (Università di Genova)
>
> Federica Russo (University of Amsterdam)
>
> Viola Schiaffonati (Politecnico di Milano)
>
>
> To evaluate the 25 proposals received, the following procedure was adopted:
>
>
> 1. Paper bidding. All members of the Evaluation Committee read all the
> 25 abstracts indicating a
>
> minimum of 3 preferences for the review. To begin with, each paper had
> a single reviewer.
>
>
> 2. Review. Each paper was reviewed on the basis of the following
> criteria, with a score from 1
>
> (poor) to 5 (excellent):
>
>
> 1. Constructive character of the proposed thesis;
>
> 2. Originality of the proposed thesis, understood as the ability to
> open new spaces for
>
> discussion within existing debates or create new fields of
> philosophical interest;
>
> 3. Argumentation accuracy;
>
> 4. Breadth of the literature considered, also with regard to
> scientific production that goes
>
> beyond Anglo-American literature.
>
>
> The 5 papers that obtained the highest score have passed to the second
> round of reviewing.
>
>
> 3. Collective discussion. The 5 finalists were evaluated by all the
> members of the Evaluation
>
> Committee according to the above criteria, also taking into account
> the different degree of
>
> confidence of the various members.
>
>
> At the end of the evaluation process, two papers were equally worthy:
>
>
> Anne Sophie Meincke, A Process View of Pregnancy
>
>
> Since Aristotle, substances have enjoyed a sort of ontological
> primacy, and this has shaped
>
> our language and thought. Anne Sophie Meincke asks us to look at the
> world around us in
>
> terms of processes rather than entities, and thus at a pregnant
> individual as a process – a
>
> “bifurcating hypercomplex process”. This innovative perspective
> appears able to open
>
> promising research directions and generate fruitful debates, not only
> in the domain of the
>
> metaphysics of pregnancy, but also in the fields of philosophy of
> biology, ethics and
>
> bioethics.
>
>
> Anela Lolic, Towards the Analysis of Mathematical Proofs:
> Cut-Elimination and Herbrand's
>
> Theorem in Presence of Induction
>
>
> The work proposed by Anela Lolic belongs to an emerging research line,
> dedicated to the
>
> analysis of mathematical proofs based on the methods of structural
> theory of proof. The
>
> work is characterized by originality, a remarkable formal
> sophistication and an expert fusion
>
> of established methods of mathematical logic and recent methodologies.
>
>
> After careful discussion, the Evaluation Committee decided to award
> the ex-aequo prize to the
>
> two authors above, who are therefore both winners in all respects.
>
>
> Part of the award would be to participate as keynote speaker at the
> Triennial International
>
> Conference of the Italian Society for Logic and Philosophy of Science
> with the reimbursement of
>
> travel and accommodation expenses (up to a maximum of 1500 euros).
>
> --
> 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_LhPpwpQp2N_Q%3D-b_sAG%3D%2BxCskp_sUpOsRi92a1kDUHtKQ%40mail.gmail.com
> .
>

-- 
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/CAOrCsLdZ8usppf-4XZXBpOyte4J8znA5wO-a%2BVArALGD6gbbrg%40mail.gmail.com.

Re: [Logica-l] sobre os efeitos negativos da estética questionável da "paraconsistent newsletter"

[Walter Alexandre Carnielli]

Sim, vários colegas haviam comentado sobre isso nas edicorss anteriores.

Alguns queriam até organizar um abaixo-assinado. A edição anterior
figurava  uma "lolita" lendo no jardim.

É um desserviço à paraconsistência esse tipo de atitude do Jean-Yves ,
sinceramente.

Em particular, é um desserviço à paraconsistência brasileira,
principalmente a partir de um professor  que ganha  a vida  na universidade
pública brasileira ,referir-se sempre ao hemisfério norte,  vejam o tiulo
das edições.

 Meu gentil repúdio.

Walter










Em qui, 17 de set de 2020 08:06, Joao Marcos  escreveu:

> Neil Barton (@CantorsCoffee) tweeted at 5:57 AM on Wed, Sep 16, 2020:
> Hey folks writing the paraconsistent newsletter: Given that we have
> something of a diversity problem in foundations of math, how about we don't
> use sexualised images of women as the cover for our newsletters? cf.
> https://t.co/OD16xkMzkn
> (https://twitter.com/CantorsCoffee/status/1306155120233676801?s=03)
>
> --
> 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_Li_qUXyzDVfaDrrW4PWzSvTbACkFe%3DmaP27Fe-jMECNXw%40mail.gmail.com
> 
> .
>

-- 
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/CAOrCsLc%2BDjJxs1ecRp1i6StahpR2kd2nX%3DPSoyStkN2kotZoEw%40mail.gmail.com.

Re: [Logica-l] Re: categorias e inclusão

[Walter Alexandre Carnielli]

Me  perdoem a(o)s adepta(o)s. desta  Eugenia Sheng, mas eu acho que.
muita  coisa que ela escreve não tem
nada a ver com nada...

Como bem reconhece última linha:

"A theory doesn’t have to be perfect to be useful. I’d say the same
for Cheng’s manifesto on gender."

W.

Em sex., 4 de set. de 2020 às 21:13, Joao Marcos  escreveu:
>
> Agora no New York Times:
> https://www.nytimes.com/2020/09/04/books/review/x-y-mathematicians-manifesto-gender-eugenia-cheng.html
>
> JM
>
> On Tue, Jul 28, 2020, 15:59 Joao Marcos  wrote:
>>
>> Book review:
>>
>> Equity: a mathematician shares her solution
>> (by Eugenia Cheng)
>>
>> "Look beyond gender — if research thrives on collaboration, a book
>> asks, why do we reward individualism?"
>> https://www.nature.com/articles/d41586-020-02205-8
>>
>>
>> Bom conferir também:
>> http://eugeniacheng.com/inclusivity/
>>
>>
>> JM
>
> --
> 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_Lja3XzwpuEhCPuKFF9fTtuBuL-z5e-2u28aBEAg092_tQ%40mail.gmail.com.

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

Re: [Logica-l] Re: indicadas ao Prêmio Filósofas 2020

[Walter Alexandre Carnielli]

Caríssimo  João,
Car@s tod@s:


Belíssima homenagem, realmente as duas foram nártires da ciência sem querer.

É uma coisa a inacreditável ter acontecido esse acidente trágico por
ocasião do doutorado de ambas.

 Muito triste, mas a homenagem é muito alentadora, nos conforta um pouco o
espírito.

Abraços,

Walter



Em ter, 1 de set de 2020 22:07, Cassiano Terra Rodrigues <
cassiano.te...@gmail.com> escreveu:

> Uma boa notícia, até q enfim!
> Um abraço, meu amigo JM!
>
> On Monday, August 31, 2020 at 5:07:01 PM UTC-3 Joao Marcos wrote:
>
>> A Associação Nacional de Pós-Graduação em Filosofia (ANPOF) e a Rede
>> Brasileira de Mulheres Filósofas têm a honra de anunciar as
>> dissertações e teses indicadas para o Prêmio Filósofas de Destaque
>> Acadêmico: Mestrado e Doutorado 2020.
>>
>> https://www.filosofas.org/post/pr%C3%AAmio-fil%C3%B3sofas-2020-as-indicadas
>>
>> Com o adicional de uma bela homenagem a duas filósofas brasileiras que
>> demasiado cedo perdemos: três anos na semana passada.
>> Joao Marcos
>>
> --
> 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/241ef399-0dd8-4978-81a0-c4227fc1ab6en%40dimap.ufrn.br
> 
> .
>

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

[Logica-l] Fernando Pessoa contribuindo para o domínio da anglofonia

[Walter Alexandre Carnielli]

Adoro o Fernando Pessoa, o  que não quer dizer que ele sempre esteja certo.

Prefiro a seguinte diretiva: para  o que queremos sentir, ouvimos os
poetas.   Para o que queremos ensinar, ouvimos os que fazem  ciência.

W.



"Usando do inglês como língua científica e geral, usaremos do
português como língua literária e particular.  Teremos, no império
como na cultura, uma vida doméstica e uma vida pública.  Para o que
queremos aprender leremos inglês; para o que queremos sentir,
português.  Para o que queremos ensinar, falaremos inglês, português
para o que queremos dizer."
— Fernando Pessoa, "Babel — or the Future of Speech", excerto de "As
Cinco Línguas Imperiais", 1930s"

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

Re: [Logica-l] mais sobre post hoc ergo propter hoc, na imprensa

[Walter Alexandre Carnielli]

Oi Adolfo,
Pelo que eu me  lembro, era o Konrad.  um médico alemão professor da
Faculdade de  Medicina da  Unicamp, muito interessado em Filosofia da
Ciência.

Abs

W.


Em seg., 31 de ago. de 2020 às 09:44, Adolfo Neto
 escreveu:
>
> João,
>
> Lá pelos idos de 2003-5 quando eu era assíduo nos Seminários do CLE Unicamp, 
> aconteceu uma palestra de um médico criticando a Medicina Baseada em 
> Evidências com base em lógica. Talvez professor Walter se lembre quem foi.
>
> On Fri, Aug 28, 2020, 11:31 Marcos Silva  wrote:
>>
>> Caro JM,
>>
>> obrigado por isto!
>>
>> estamos trabalhando para montar um coletivo de professores para poder 
>> denunciar este tipo de falácia com videos curtos e mais populares usando as 
>> redes sociais.
>>
>> nao é fácil tomar tempo no meio da pandemia e de tantas aulas e reunioes 
>> remotas para um projeto assim, especialmente porque temos pouca experiencia 
>> com midia social.
>>
>> mas estamos fazendo o nosso melhor.
>>
>> 
>>
>> A propósito, se algum dos colegas desta lista se deparar com alguma falacia 
>> destas escandalosas ou mais discretas (sao muitas!) do nosso presidente ou 
>> de sua equipe, por favor, fique a vontade para escrever para mim. Sugestões 
>> de material para videos e textos populares sao bem-vindos tb.
>>
>> Ja temos material sobre "espantalho" e "falso dilema", por exemplo.
>>
>> abracos do Recife,
>> Marcos
>>
>>
>>
>> On Fri, Aug 28, 2020 at 9:29 AM Joao Marcos  wrote:
>>>
>>> Por que dizer 'tomei cloroquina e por isso me curei', como faz Bolsonaro, é 
>>> uma 'falácia' e não prova nada
>>> https://www.bbc.com/portuguese/geral-53896553
>>> e mais sobre vieses cognitivos e sobre a maneira de conduzir investigações 
>>> científicas.
>>>
>>> (por incrível que possa parecer ---e não faz muito tempo que eu próprio 
>>> descobri isto---, existe algo chamado "medicina baseada em evidências")
>>>
>>> JM
>>>
>>> --
>>> 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_LgBkkk8kic1pK9WbYT0ZBnf8ux2trQ5YT-4JGjo%3DZs7Ow%40mail.gmail.com.
>>
>>
>>
>> --
>> Marcos Silva (UFPE/CNPq)
>> Philosophy Department
>> Federal University of Pernambuco, Brazil
>> Editor-in-chief Revista Perspectiva Filosófica
>> Marcos Silva Philosophy
>> "amar e mudar as coisas me interessa mais"
>>
>> --
>> 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/CAGZ3pz%2BbMFutkswvp_BD733Gx7_EF0ihTZOyyGf%3DOPEGa53-WQ%40mail.gmail.com.
>
> --
> 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/CANspyYXabqNoFz0g4KUq-8gLHtHkREhsYHmT-FdY2yNc%3Dt%3DCJA%40mail.gmail.com.

-- 
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/CAOrCsLduRnE%3D%3DrieYAWUBS_m_enTFdZHrEKWc4kAWR9pq0HQcg%40mail.gmail.com.

Re: [Logica-l] Fwd: Glossário inglês-português

[Walter Alexandre Carnielli]

Olá Desi,

Mas como criticar alguem por traduzir
anedoct por anedota, se os proprios dicionarios o fazem?

https://dictionary.cambridge.org/dictionary/english/anecdote
anecdote
noun [ C ] 
UK
 /ˈæn.ɪk.dəʊt/ US
 /ˈæn.ɪk.do ʊt/

a short , often
funny  story
, especially
 about
something someone has

 https://www.merriam-webster.com/dictionary/anecdote
Definition of anecdote

: a usually short narrative
 of an
interesting, amusing, or biographical incident
Nao seria  caso de "proibir" esses
dicionarios incompetentes como Webster e Cambridge de usar a lingua inglesa
na qual eles nao sao
 versados :-) ?

Seria uma proposta tao  interessante quanto abandonar a língua portuguesa
nas escolas e universidades.
Abraços,
Walter

PS.A tecnologia muitas vezes  ajuda a piorar. Este texto saiu  sem acentos
porque o bendito editor do Gmail resolveu assim.

Em seg, 31 de ago de 2020 08:33, Desiderio Murcho <
desiderio.mur...@gmail.com> escreveu:

> Olá, Prolo
>
> Só quero deixar claro que nunca traduzi “sentence” por oração. O que
> também nunca fiz, mas se faz muito, é traduzir “sentence” por “sentença”, e
> “phrase” por “frase”. Quer-me parecer que se faz este tipo de traduções só
> porque as palavras numa e noutra língua são parecidas. Idem para “proof” e
> “prova”, em vez de “demonstração”, ou “internalism” por “internalismo” (a
> palavra portuguesa vem de onde, “internal”?).
>
> Recentemente, vi “anecdote” traduzido por “anedota”, o que realmente é uma
> anedota.
>
> Quando se traduz é preciso ter atenção não apenas aos significados
> registados num bom dicionário, mas aos significados mais salientes ou
> primários. Se um termo X, numa língua, tem o significado Y primário, ou
> mais comum, é um erro traduzi-lo por X' noutra língua, que até também
> também o significado Y', nessa língua, mas brutalmente arredado do seu
> significado principal, mais corrente ou primário. Mas é claro que estas
> coisas são dinâmicas, porque o significado das palavras é dinâmico e
> depende do uso que as pessoas fazem. O termo “evidências” está a tornar-se
> sinónimo de “evidence”, à força de as pessoas a usarem assim. Mas há trinta
> anos não era usada assim e “evidências” queria só dizer o que salta aos
> olhos, o que é óbvio, e não o que desempenha o papel de prova empírica.
>
> Do meu ponto de vista, a língua portuguesa deveria ser abandonada nas
> escolas e universidades, e dever-se-ia passar a usar só o inglês.
> Evitar-se-ia talvez assim que um académico se veja na situação trágica de
> nem saber escrever português corretamente, nem inglês com elegância e
> abrangência, por oposição ao inglês meramente técnico.
>
> On Monday, 31 August 2020 at 03:24:34 UTC-3 prolo wrote:
>
>> Olá.
>>
>> oração = clause: subordinate clause, relative clause = oração
>> subordinada, oração relativa.
>> Uma sentence=frase contém uma ou mais orações de forma estruturada.
>> Traduzir sentence como oração provoca uma confusão absolutamente
>> desnecessária [na minha opinião].
>>
>> Abraço,
>>
>> Prolo
>>
>>
>> On Sun, Aug 30, 2020 at 9:34 PM Joao Marcos  wrote:
>>
>>> >> Outra duplinha divertida em que o inglês inverteu os significados das
>>> >> coisas é "explanation" vs "explication". :-D
>>> >
>>> > Há várias coisas assim, e também entre o português brasileiro e o
>>> europeu.
>>>
>>> Não sei se cheguei a compartilhar contigo este dicionário, feito às
>>> horas do almoço?
>>>
>>> https://docs.google.com/spreadsheets/d/e/2PACX-1vQ4LWSPsHZLxJlU2Hb3tGGJto3BPQ5-9JGsvFuQIPTlJ6hLuJT3OurZzuRK6SvebI9qyX6g62p08mX5/pubhtml
>>>
>>> >> Quanto a
>>> >> soundness (of a formal system) = adequação (de um sistema formal)
>>> >> isto me parece simplesmente equivocado. "Soundness theorem"
>>> >> corresponde ao resultado que chamamos "teorema da correção"; na
>>> >> literatura, "adequação" frequentemente se refere à combinação de
>>> >> correção com completude.
>>> >
>>> > Isto deu a maior confusão na altura, e ainda hoje, mesmo em inglês, há
>>> variantes entre os autores. “Completude” era usada na Universidade de
>>> Lisboa para a equivalência entre semântica e sintaxe, e não apenas para uma
>>> das direções. Não me parece que isto seja hoje comum, em inglês, mas há
>>> escritos assim. A “soundness”, neste contexto, é atualmente denominada,
>>> pelo menos no Brasil, “correção”, mas eu preferiria “solidez”, porque já
>>> usamos isso para “sound argument”.
>>>
>>> Sim, _muitos_ textos usam "completude" para as duas direções...
>>> Outros tantos, talvez menos, usam "adequate" para "sound and
>>> complete".  Vale notar, não obstante, que o "soundness theorem" pouco
>>> tem a ver com "sound argument".  E

Re: [Logica-l] Fwd: Glossário inglês-português

[Walter Alexandre Carnielli]

Colegas,


acrescento aqui meus palpites à discussão entre  Júlio e João--  o
Desi fez  um excelente  trabalho essa  lista é muito necessária.  Mas
teria  alguns apontamentos:
se é para ser  usado pelos dois lados do Atlântico, seria  bom
preservar  o que já tem sido usado.
Para além dos pontos levantados, acrescentaria:

--
 halting problem- problema da parada  (ao invés de/ também como
problema da paragem)


 horns of dilemma — chifres do dilema (é mais poético  e bastante
usado, ao  invés de/também como alternativas do dilema )


 internalism —   internaiismo (ao invés de /também como  internismo)


 matter of fact —  questão de fato (ao invés de / também como  questão de facto)


 neural net —   rede  neural (ao invés de / também como rede neuronal)

 reverse engineering — engenharia reversa (ao invés de / também como
engenharia analítica)


 Sheffer's stroke — conectivo de  Sheffer (ao invés de/ também  como
traço de Sheffer)


 slingshot —  estilingue (ao invés de /também como catapulta)


 vagueness — vaguidade ou vaguedade  (ao invés de /também como vagueza)


Faltaria ainda:


model-theoretical
ser-theoretical
strawman  (espantalho, diria)
finiteness (diria finitariedade)
infinitely many
---


Abraços,

Walter

Em dom., 30 de ago. de 2020 às 16:19, Joao Marcos  escreveu:
>
> Com "proof" corre[c]tamente traduzido como "demonstração". :-D
>
> JM
>
>
> -- Forwarded message -
> From: Desidério Murcho
>
>
> Glossário inglês-português:
> https://criticanarede.com/glossario.html
>
> --
> 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_LjLUQi7qzBSMDw4fBP6CNghE3hAkYuZKmrigctTHA_iGw%40mail.gmail.com.

-- 
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/CAOrCsLezMpgo088NL3%3DqJ1xYKphtdwf8qY%3DibrcjREHrkcroAQ%40mail.gmail.com.

Re: [Logica-l] IV Congresso da Sociedade Brasileira de Filosofia Analítica (1-5/9)

[Walter Alexandre Carnielli]

Muito bom Marcos

E tem ambém tem eu,   que sou da SBL (fui ate presidente, alem de fundador)
e vou falar sem mesa,  será uma "cadeira redonda",

 abraços

W.


Em sex, 28 de ago de 2020 15:07, Marcos Silva 
escreveu:

> Car@s,
>
> semana que vem começa o VI congresso da Sociedade Brasileira de Filosofia
> Analítica SBFA (1-5/9).
>
> Será online.
> Aqui esta a progamacao:
> https://sites.google.com/view/sbfa-sbpha/vi-congresso
>
> No ultimo EBL, houve uma primeira mesa conjunta da SBL e da SBFA.
>
> No dia 4/9, sexta, aas 16h45, teremos uma nova mesa conjunta SBL/SBFA, com
> apresentacoes do Marco Ruffino, Abilio Rodrigues, Cezar Mortari e minha.
>
> Abracos,
> Marcos
>
> **
>
> *VI MEETING OF THE BRAZILIAN SOCIETY FOR ANALYTIC PHILOSOPHY*
> 1st to 5th September 2020
>
> Online Meeting.
>
> For those who will participate as listeners and wish to receive a
> certificate, payment information is available at:
> https://forms.gle/t9AuCcXRH45FR8uY9
>
> To participate as a listener in the conference's Zoom room, register at:
> https://us02web.zoom.us/webinar/register/WN_ooG_803cTE2zVRQqNWRLUg
>
> We will broadcast the tables simultaneously at the Facebook event:
> http://bit.ly/CongressoSBFA
>
> Send your questions to: congresso.s...@gmail.com
>
> *Organizing Committee:*
> Sofia Inês Albornoz Stein (President of BSAF)
> Andrea Faggion (Treasurer of BSAF)
> Caio Casagrande (Media Supervision)
>
> PROGRAM
> Porto Alegre Timezone (GMT-3)
>
> The complete program is available on the website:
> https://sites.google.com/view/sbfa-sbpha/vi-congresso
>
> September 1st
> 9 a.m. - 10:30 a.m.
> Renato César Cani
>
> Rodrigo Sabadin Ferreira
>
> Júlio de Rizzo
>
> 10:45 a.m. - 12:45 p.m.
>
> Wittgenstein and Turing - Juliet Floyd
>
> 2 p.m. - 4:30 p.m.
>
> Adriano Naves de Brito
>
> Pedro Mendes de Lemos
>
> André Neiva
>
> Rafael Graebin Vogelmann
>
> Daniel Sander Hoffmann
>
> 4:45 p.m. - 6:45 p.m.
>
> “Proper Names and Identity”
> Bruno R. Mendonça
> Jerzy A. Brzozowski
> Newton Marques Peron
>
> 7:45 p.m. - 10:15 p.m.
>
> Fabien Shang
>
> Tamires Dal Magro
>
> Anderson Vinicius Romanini
> Ana Cláudia Golzio
>
> Diogo de França Gurgel
>
> Adriano Marques da Silva
>
>
> September 2nd
>
> 9 a.m. - 10:30 a.m.
>
> Domingos Faria
>
> Filipe Herkenhoff Carijó
>
> Jan Claas
>
> 10:45 a.m. - 12:45 p.m.
>
> Cuasi regularismo y deflacionismo causal - Nélida Gentile
>
> Analytical Philosophy in the 21st Century: Epistemological Implications of
> Virtual Realism - Maria Eunice Quilici Gonzalez
>
> 2 p.m. - 4:30 p.m.
>
> André Leclerc
>
> Iago Mello Batistela
>
> Raquel Albieri Krempel
>
> Matias Gariazzo
>
> Jeferson José dos SantoS
>
> 4:45 p.m. - 6:45 p.m.
>
> Mesa redonda “Problemas em Filosofia da Memória”
> César Schirmer dos Santos
> Glaupy Fontana Ribas
> Susie Kovalczyk dos Santos
> Fabrício Diniz Dutra
>
> 7:45 p.m. - 10:15 p.m.
>
> Carlos Augusto Sartori
>
> Rodrigo Gouvea
>
> Daniel Uptmoor Pauly
>
> Gregory Gaboardi
>
> Sérgio Farias de Souza Filho
>
>
> September 3rd
>
> 9 a.m. - 10:30 a.m.
>
> Felipe Nogueira de Carvalho
>
> Matheus Diesel Werberich
>
> Fernando Rodrigues Furtado
>
> 10:45 a.m. - 12:45 p.m.
>
> The expression of hate in hate speech - Teresa Marques
>
> Diálogo e Reflexão: Uma Perspectiva Epistêmica não Individualista sobre a
> Reflexão - Waldomiro J. Silva Filho
>
> 2 p.m. - 4:30 p.m.
>
> Beatriz Sorrentino Marques
>
> Carlos Mario Márquez Sosa
>
> Nara Figueiredo
>
> Jeferson Diello Huffermann
>
> Catarina Tello de Castro
>
> 4:45 p.m. - 6:45 p.m.
>
>
>
> *Roundtable“Social Epistemology and Neurophilosophy”*Nythamar de Oliveira
> (moderator)
>
> Claiton Costa
>
> Nicholas Kluge Correa
>
> Diogo Massmann
>
> 7:45 p.m. - 10:15 p.m.
>
> Gustavo Leal Toledo
>
> Edna Alves de Souza
>
> César Fernando Meurer
>
> Isabele Vieira Salsman
> Marcos Antônio Alves
>
> Mariana Vitti Rodrigues
>
> September 4th
>
> 9 a.m. - 10:30 a.m.
>
> David Bordonaba Plou
>
> Allysson Vasconcelos Lima Rocha
>
> Giorgio Airoldi
>
> 10:45 a.m. - 12:45 p.m.
>
> *The Role of Smell in Consciousness: the not hidden sense - *Barry Smith
>
> ---
> Walter Carnielli
>
> 2 p.m. - 4:30 p.m.
>
> César Frederico dos Santos
>
> Diego de Souza Avendano
>
> Paulo Vitor Domingues
>
> Pedro Henrique Nogueira Pizzutti
>
> Vitor Medeiros Costa
>
> 4:45 p.m. - 6:45 p.m.
>
> Workshop SBL/SBFA
>
> Abílio Rodrigues
>
> Marcos Silva
>
> Marco Ruffino
>
> Cezar A. Mortari
>
> 7:45 p.m. - 10:15 p.m.
>
> Juliano do Carmo
>
> Juliele Maria Sievers
>
> Luiz Paulo Da Cas Cichoski
>
> Glaupy Fontana Ribas
>
> Natália Amorim do Carmo
>
> September 5th
>
> 9 a.m. - 10:30 a.m.
>
> Cristiano Dutra Batista
>
> Eduardo Alves
>
> Lucas Jairo C. Bispo
>
> 10:45 a.m. - 12:45 p.m.
>
> Gabriel Jung do Amaral
>
> Jonathas Kilque Villanova
>
> Matheus Dal’Puppo
>
> Natália Amaral de Azevedo
>
> 2 p.m. - 4:30 p.m.
>
> Pedro Bravo de Souza
>
> Gustavo Oliva de Oliveira
>
> Antônio Afonso Ribeiro Neto
>
> Daniel Pires Nunes
>
> Pedro Henrique Ciucci da Silva
>
> 4:45 p.m

[Logica-l] Os Teoremas de Gödel são menos inevitáveis do que parecem...

[Walter Alexandre Carnielli]

Caros:


David Fuenmayor e eu publicamos recentemente um artigo sobre
limitações dos Teoremas  de  Gödel no que se refere a certas  lógicas
não-clássicas, ao mesmo tempo ilustrando o interesse em se utilizar
assistentes de  prova na pesquisa em lógica:

---
Gödel’s Incompleteness Theorems from a
Paraconsistent Perspective
Walter Carnielli e David Fuenmayor

https://www.researchgate.net/publication/343838215_Godel%27s_Incompleteness_Theorems_from_a_Paraconsistent_Perspective
---

O artigo investiga as limitações dos argumentos de Gödel com a ajuda
da assistente de provas Isabelle.  Mostramos que, ao adotar uma
negação mais leve e flexível (como a negação paraconsistente da lógica
 RmbC), evitamos genuinamente a objeção de Gödel, que é erroneamente
considerada universal (embora o próprio Gödel nunca a tenha visto
assim).


Mostramos que uma condição para validar uma versão paraconsistente do
primeiro teorema da incompletude de Gödel é assumir que tanto G_F (a
sentença que declara sua própria indemonstrabilidade) quanto \square
G_F (a provabilidade de G_F) devem ser  consistentes no sentido das
LFIs (Lógicas da Inconsistência Formal). De forma semelhante, a versão
paraconsistente do segundo teorema da incompletude de Gödel requer
mais premissas para serem válidas.


A conclusão é que os Teoremas de  Gödel  so valem para lógicas
paraconsistentes, em geral, ao custo de assumir  novas  premissas,
muito mais fortes. e que a noção de inconsistência das LFIs é
altamente  relevante se queremos manter a validade os Teoremas de
Gödel.


Críticas e discordâncias  são  bem-vindas!
Walter

-- 
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/CAOrCsLfiZVWHdZDd2Sd%3Dr3DSgf6xZ9Rzrdh%3DTPe9V%3DiWLDo3BA%40mail.gmail.com.

[Logica-l] Joint seminar- Colloquium Logicae + others @ Supergroup

[Walter Alexandre Carnielli]

Dear passionate logicians and supporters of Logic:

Just a  small correction:  the  next  seminar under the Logic Supergroup
 by Alfredo Roque  Freire  is  being  organized by  the following  consortium:

Chapman University,  USC San Bernardino, Claremont University, UC
Riverside and  Colloquium Logicae of CLE-Unicamp;

 =
Title: " Intentional theory dichotomy and twisted models of set theory"
Alfredo Roque Freire
 Post-Doc  Researcher
Centre for Logic, Epistemology and the History of Science
University of Campinas-Unicamp, Brazil

Tuesday 8th September, 4pm-6pm hours  (GMT -7)
=

Everyone is  invited to join us on Zoom:
Zoom link:  https://uci.zoom.us/j/95859575948

==
Walter Carnielli
 https://waltercarnielli.com/
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
 University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil

-- 
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/CAOrCsLcNYF5hwTE%3DWn-M1-rUzLbTWZ_8o6LADQXm9JUR-nO1DQ%40mail.gmail.com.

[Logica-l] Joint seminar- Colloquium Logicae & OCIE Seminar UC Irvine @ Supergroup

[Walter Alexandre Carnielli]

Dear passionate logicians and supporters of Logic:

As part of the Logic Supergroup
(https://sites.google.com/view/logicsupergroup/the-logic-supergroup),
the Colloquium Logicae at CLE-Unicamp is happy to announce its  joint
seminar with the  OCIE Seminar in the History and Philosophy of
Mathematics and Logic, University  of California Irvine as  of
Tuesday 8th September, 4pm-6pm hours  (GMT -7) by Alfredo Roque
Freire;
=

Title: " Intentional theory dichotomy and twisted models of set theory"

Alfredo Roque Freire
Post-Doc  Researcher
Centre for Logic, Epistemology and the History of Science
University of Campinas-Unicamp, Brazil

Two modes of description were familiar to modern mathematicians: (i)
descriptions of mathematical types to be satisfied by various
structures, such as rings, fields, monoids; and (ii) intentional
descriptions, which seek to specify mathematical objects as in
geometry, arithmetic and real analysis. Due to the various limiting
theorems in relation to formal systems (e.g. G\"odel's incompleteness
and Loweinhein-Skolem theorems), it has become common to maintain that
there is no sharp boundary between intentional and non-intentional
theories. Since it is not possible to fix a single model for first
order arithmetic, its axioms work in a similar way to axioms of
general algebraic structures. This conclusion is the result of the
following dichotomy: either there are precise and unambiguous ways to
describe general collections of objects or there is no clear boundary
between intentional theories and non-intentional theories. However,
recent results on interpretability [1,2,3] develop restricted versions
of absoluteness regarding theories historically considered to be
intentional. In fact, models of arithmetic and set theory are unique
with respect to bi-interpretations. We will argue that these results
allow us not only to recover the dichotomy that separates intentional
from non-intentional theories, but still remain compatible with
pluralism regarding theories such as arithmetic and set theory.

Finally, we will show to what extent conditions of absoluteness may be
used as sufficient to incorporate non-classical set theories to the
multiverse. We believe this absoluteness conditions are possibly
obtained for the novel twisted valued models developed by Carnielli
and Coniglio [4]. We will argue that these paraconsistent models have
the virtue of being sufficiently rigid, and thus may be successfully
included in the multiverse.

[1] Friedman, H. M., & Visser, A. (2014). When bi-interpretability
implies synonymy. Logic Group Preprint Series, 320, 1-19.

[2] Enayat, A. (2017). Variations on a Visserian theme. arXiv preprint
arXiv:1702.07093.

[3] Freire, A. R., & Hamkins, J. D. (2020). Bi-interpretation in weak
set theories. arXiv preprint arXiv:2001.05262.

[4] Carnielli, W., & Coniglio, M. E. (2019). Twist-valued models for
three-valued paraconsistent set theory.
 Logic and  Logical Philosophy,,  ON LINE FIRST:
https://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2020.015
=

Everyone is  invited to join us on Zoom:


Zoom link:  https://uci.zoom.us/j/95859575948

 ===

Walter Carnielli
 https://waltercarnielli.com/
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil

-- 
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/CAOrCsLcvC9pQfhBMT4ftmMzTj-ZVCm4G-xffZv6zxw%2BjwpOkEA%40mail.gmail.com.

[Logica-l] [OFF TOPIC] Doria ameaça recursos da Unesp, Unicamp, USP e Fapesp

[Walter Alexandre Carnielli]

Caro Adolfo e demais colegas:

Por favor assinem esta petição contra o recente golpe do governo de São
Paulo:


http://chng.it/f6rSRvnF

Em dom, 16 de ago de 2020 22:59, Adolfo Neto 
escreveu:

> Toda a minha solidariedade, Walter. Como podemos ajudar, além de
> repercutir?
>

>>
>>

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

[Logica-l] [OFF TOPIC] Doria ameaça recursos da Unesp, Unicamp, USP e Fapesp

[Walter Alexandre Carnielli]

Colegas,
peço desculpas pela insistência, mas esse ataque é uma das piores coisas
que já aconteceram para a ciência e tecnologia de São Paulo e do país nos
últimos tempos.

Acho que todos temos que nos mobilizar.

E.

http://www.diretodaciencia.com/2020/08/16/projeto-de-lei-de-doria-ameaca-recursos-da-unesp-unicamp-usp-e-fapesp/

-- 
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/CAOrCsLeMCjOn%3D7nmDXjJ0H4W3VrhEccBQhhsFjG594%2Bdw%3D7DTg%40mail.gmail.com.

logica-l@dimap.ufrn.br

[Walter Alexandre Carnielli]

Colegas uma informação que diz respeito a todos de São Paulo ,e certamente
aos demais desta lista:
governo Dória na mesma toada do governo Bolsonaro só que mais  matreiro
está fazendo todo o possível para acabar com as universidades paulistas e
com a FAPESP.

Recebemos  isso de um colega da USP
na  nossa lista de professores:
-
"Acabo de receber uma informação preocupante,  referente ao  Projeto de Lei
número 529 enviado recentemente pelo Governo Estadual de SP para Assembleia
Legislativa. Na essência, se o projeto de lei for aprovado, teremos como
consequência a retirada, ainda em 2020, de mais de um bilhão de reais das
03 universidades estaduais (USP, Unesp e Unicamp) e da FAPESP.

Ainda, outra grave consequência será o impedimento da recuperação e
ampliação futura dos fundos de reserva próprios das universidades e da
FAPESP.  Isto porque a proposta permite ao Governo recolher o “superávit
financeiro” (sobra de recursos não utilizados no final do ano das
autarquias e fundações do Estado, isto sem ouvir seus conselhos ou órgãos
diretivos internos). No caso da FAPESP o valor a ser recolhido neste ano
será de aproximadamente de R$ 580 milhões, outros R$ 480 milhões da USP, e
valores significativos da Unesp e da Unicamp. Os recursos serão recolhidos
10 dias após a aprovação da lei, em final de setembro. No caso da FAPESP, o
recolhimento de aproximadamente um terço dos recursos da FAPESP vai afetar
sua capacidade de conceder novas bolsas e aprovar projetos. Ressalta-se que
será a primeira vez na história da FAPESP que haverá desrespeito da
autonomia da FAPESP, garantida na Constituição Estadual.

O projeto de lei já está na Assembleia e tramita em ambiente virtual, em
regime de urgência, ou seja, está tramitando mesmo sem a presença dos
deputados no plenário. Além destes pontos, se o projeto for aprovado,
levará a extinção e fusão de numerosas empresas e fundações, além de um
plano de demissão de servidores estaduais e outras ações.

Tomo a liberdade de sugerir que divulguem esta informação ao máximo  em
suas redes sociais."

Cansado de tantas más notícias,
Walter

-- 
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/CAOrCsLeH1cWKMXLy-exGrDmkdXcamdqZQy-P6BVcsQnW30OC4Q%40mail.gmail.com.

Re: [Logica-l] Prova de NP=PSPACE no Bulletin of Section of Logic

[Walter Alexandre Carnielli]

Caro Anderson,

Obrigado pela sua opinião, eu não tenho a menor ideia sobre a corretude do
trabalho do Frank Vega. Mas se uma proposta está totalmente errada, qual
seria um contra-exemplo? :-)

Abraços
Walter


Em sex, 14 de ago de 2020 16:18, Anderson Beraldo de Araújo <
andera...@gmail.com> escreveu:

> Caro Walter,
>
> Muito obrigado por indicar o trabalho do Frank Vega. Diferentemente do
> trabalho do Lev e Hermann, que tem muitos pontos positivos, a proposta do
> Frank Vega está totalmente errada - caso ele esteja aqui na lista, lamento
> pelo tom áspero! :)
>
> Primeiro, o Vega errou na estimativa da complexidade do problema
> ODDPATH-HORNUNSAT. Não está errado dizer que ele está em NP, mas a razão é
> que esse problema está em P. Ou seja, se ele estivesse certo, teria provado
> o extraordinário resultado de que P = PSPACE. Para ter uma noção disso -
> detalhes, como sempre, ficam como exercício para o leitor! -, note que
> HORNSAT é P-completo e, portanto, HORNUNSAT também. Adicionar a exigência
> de verificar se o número de nós na interpretação de HORNUNSAT em termos de
> grafos é par não muda isso pois pode-se registrar a quantidade de nós em
> qualquer dos algoritmos usuais que resolvem esse problema. Depois basta
> aplicar divisão módulo 2 com, por exemplo, o algoritmo euclidiano. Não
> teremos um problema P-completo por conta da exigência das reduções serem
> logarítmicas para P-completude, mas não sairemos de P.
>
> Segundo, num gesto de benevolência, se lemos a tentativa do Vega de
> reduzir GEOGRAPHY à ODDPATH-HORNUNSAT, nota-se que justamente no passo em
> que deveria ter feito os cálculos da complexidade ele apela a regra de
> dedução miraculosa: "But, what does this mean?". E não apresenta as contas.
> Se ele tivesse feito alguns exemplos dos grafos que se propôs a analisar,
> teria visto que ao aumentar o número de nós, eles rapidamente não cabem
> mais na folha de papel. O que, pelos razões óbvias, é uma evidência
> (empírica?) de que PSPACE não é P!
>
> Apesar de eu não gostar do mainstream e ter cedido ao argumento do Marcelo
> - apelando ao mainstream, Marcelo? Quem diria?! :) -, o meu ponto foi
> sugerir uma estratégia para o Hermann que talvez possa ajudá-los. Reduções
> entre problemas completos para diferentes classes são, na verdade,
> interpretações, ou seja, você precisa associar estruturas com linguagens
> diferentes; algo complicado. Uma redução é um homomorfismo e, portanto, um
> caminho mais viável. Por exemplo, se você consegue interpretar k-SAT em
> alguma estrutura de grafos, 2-SAT e HORNSAT também será interpretável. No
> entanto, será mais palatável compreender a relação entre k-SAT, 2-SAT e
> HORNSAT porque eles estão na mesma linguagem, os dos últimos são reduções.
>
> Abraços,
>
> Anderson
>
>
> Em qui., 13 de ago. de 2020 às 11:22, Walter Alexandre Carnielli <
> walte...@unicamp.br> escreveu:
>
>> Colegas:
>> No intuito de continuar  discussão sobre este importantíssimo
>> resultado do Lev e do Hermann, só gostaria de notar  que o  argumento
>> do Anderson apontando  um possível erro esbarra em outras  tentativas
>> que  também acreditam que  NP = PSPACE .  O artigo (draft) abaixo
>> define um problema chamado ODDPATH-HORNUNSAT e  mostra que este
>> problema está em NP e é PSPACE-completo. Como NP ⊆ PSPACE,   e
>> PSPACE  é fechado por  reduções,  então  NP = PS PACE. O argumento
>> usa reduções, como é mais usual em questões de complexidade, ao invés
>> de teoria da prova (ou da demonstração). Não sou capaz de saber se o
>> argumento é correto, mas  indico  como uma evidência favorável.
>>
>> NP versus PSPACE
>> Frank Vega
>> https://hal.archives-ouvertes.fr/hal-01196489/file/NP-versus-PSPACE.pdf
>>
>> Abraços,
>> Walter
>>
>> Em qui., 13 de ago. de 2020 às 10:17, Anderson Beraldo de Araújo
>>  escreveu:
>> >
>> > Caro Hermann,
>> >
>> > Muito obrigado por compartilhar seu trabalho, o qual me parece
>> interessante.
>> >
>> > Ao critério externo, por assim dizer, de prova de igualdade entre
>> classes de complexidade A e B que o Marcelo mencionou - construir uma
>> redução apropriada entre problemas completos para as classes A e B (o que
>> envolve relacionar dois problemas definidos sobre assinaturas distintas) -,
>> creio ser importante adicionar um critério interno, a saber: construir uma
>> redução do problema completo estudado em A num problema formulado nos
>> termos de A (mesma assinatura) mas que seja equivalente a um problema
>> completo para B. No caso da linguagem da teoria da prova da lógica
>> intuicionista uma possibilidade para cumprir esse critério inter

[Logica-l] Video- talk by Alfredo Freire - Colloquium Logicae

[Walter Alexandre Carnielli]

Dear all:

Here is the link for the video-recording of the recent  talk by Alfredo
Freire  at  Colloquium Logicae:

https://www.youtube.com/watch?v=9U_sZcePbfE&feature=youtu.be

Best,

Walter Carnielli

-- 
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/CAOrCsLfhnu8YXkZzT3MDVqO6Es_eAzzD-6331%2Be9WPfxwLc5QA%40mail.gmail.com.

Re: [Logica-l] Prova de NP=PSPACE no Bulletin of Section of Logic

[Walter Alexandre Carnielli]

Colegas:
No intuito de continuar  discussão sobre este importantíssimo
resultado do Lev e do Hermann, só gostaria de notar  que o  argumento
do Anderson apontando  um possível erro esbarra em outras  tentativas
que  também acreditam que  NP = PSPACE .  O artigo (draft) abaixo
define um problema chamado ODDPATH-HORNUNSAT e  mostra que este
problema está em NP e é PSPACE-completo. Como NP ⊆ PSPACE,   e
PSPACE  é fechado por  reduções,  então  NP = PS PACE. O argumento
usa reduções, como é mais usual em questões de complexidade, ao invés
de teoria da prova (ou da demonstração). Não sou capaz de saber se o
argumento é correto, mas  indico  como uma evidência favorável.

NP versus PSPACE
Frank Vega
https://hal.archives-ouvertes.fr/hal-01196489/file/NP-versus-PSPACE.pdf

Abraços,
Walter

Em qui., 13 de ago. de 2020 às 10:17, Anderson Beraldo de Araújo
 escreveu:
>
> Caro Hermann,
>
> Muito obrigado por compartilhar seu trabalho, o qual me parece interessante.
>
> Ao critério externo, por assim dizer, de prova de igualdade entre classes de 
> complexidade A e B que o Marcelo mencionou - construir uma redução apropriada 
> entre problemas completos para as classes A e B (o que envolve relacionar 
> dois problemas definidos sobre assinaturas distintas) -, creio ser importante 
> adicionar um critério interno, a saber: construir uma redução do problema 
> completo estudado em A num problema formulado nos termos de A (mesma 
> assinatura) mas que seja equivalente a um problema completo para B. No caso 
> da linguagem da teoria da prova da lógica intuicionista uma possibilidade 
> para cumprir esse critério interno é mostrar como o algoritmo de vocês reduz 
> a provabilidade intuicionista (problema na classe PSPACE) à satisfazibilidade 
> intuicionista (problema na classe NP). Desse modo, pode-se contornar o 
> problema mencionado por você de ter que passar pela classe CoNP.
>
> Tendo em vista esse critério interno, que deve ser satisfeito, estimo que a 
> abordagem de vocês não reduz PSPACE à NP. A razão é a seguinte. A prova 
> original do Statman de que a provabilidade intuicionista é PSPACE-completa 
> faz uma redução desse problema formulado em termos do sistema de dedução 
> natural do Pravitz da lógica minimal intuicionista à semântica de Kripke da 
> lógica modal S4. Em contrapartida vocês usam em pontos cruciais a versão do 
> cálculo de sequentes do Huldemaier que não tem corte. Apesar das pequenas 
> diferenças sintáticas que o sistema do Huldemaier apresenta, elas expressam 
> saltos de classes de complexidade. No caso de vocês, esse salto é da classe 
> PSPACE para NP, que é justamente o que vocês estão tentando provar. Ou seja, 
> sim, parece-me que vocês estão de fato sugerindo reduções interessantes no 
> tamanho da provabilidade intuicionista que as colocam na classe NP, mas isso 
> foi possível porque a própria eliminação do corte embutida no sistema do 
> Huldemaier faz a redução.
>
> Não entrarei em mais detalhes aqui - fico à disposição para conversarmos em 
> particular. De qualquer forma, para quem desejar dar uma espiada no assunto, 
> alguns artigos recentes tais como Beckmann & Buss (2011), Corrected upper 
> bounds for free-cut elimination, que corrige uma longa sequência de artigos 
> com estimativas erradas dos saltos que mencionei acima, e Gore & Thomson 
> (2019), A Correct polynomial translation of S4 into intuitionistic logic, que 
> também corrige uma sequência trabalhos com erros acerca redutibilidade 
> inicialmente abordada pelo Statman em 1979. Como se pode ver, existem muitos 
> mal entendidos nessa seara, sendo, portanto, algo humanamente normal 
> enganar-se. Não estou sugerindo que o trabalho de vocês está totalmente 
> errado - as reduções em si são interessantes -, mas, até onde entendo, ele 
> assume um pequenino detalhe que compromete a intenção de reduzir PSPACE à NP. 
> The details matter!
>
> Abraços,
>
> Anderson
>
>
> Em qui., 13 de ago. de 2020 às 07:29, Edward Hermann Haeusler 
>  escreveu:
>>
>> Desculpe, respondi só para o Marcelo, mas acho que interessa a quem já me 
>> fez essa pergunta também
>>
>>
>> Abracos  e bom dia
>>
>> Hermann
>>
>> -- Forwarded message -
>> De: Edward Hermann Haeusler 
>> Date: qua, 12 de ago de 2020 10:54
>> Subject: Re: [Logica-l] Prova de NP=PSPACE no Bulletin of Section of Logic
>> To: Marcelo Finger 
>>
>>
>> Obrigado Marcelo,
>>
>>  De fato passei um tempo tentando explicitar este algoritmo. Como você 
>> sabe essas reduções quando compostas passam a ter uma característica 
>> combinatória que não é natural, pois o problema intermediário é mediador 
>> simplesmente. Como a nossa técnica é proof-theoretical, somos naturalmente 
>> obrigados a sair de uma prova, o que faz a redução  ser para CoNP. Neste 
>> caso precisariamos chegar em NP. Claro que o nosso resultado garante 
>> CoNP=NP, mas não dá para usa-lo. E uma auto-redução polinomial de Taut para 
>> Sat não é conhecida.  O que tenho trabalhado mais próxim

Re: [Logica-l] Prova de NP=PSPACE no Bulletin of Section of Logic

[Walter Alexandre Carnielli]

Caro Herrmann.

 parabéns pela perseverança, já  ouvi vc falar  várias  vezes sobre
isso, e obviamente  não conseguiu passar dos primeiros slides...
Mas vocês fizeram muito bem em tentar e escolher o Bulletin!

Uma pergunta: se fossemos buscar um argumento-matemático, em base de
evidência,  não seria possível pensar em benchmarks,
que pudessem levar ao convencimento não-matemático sobre o resultado?

Abraços,
Walter


Em ter., 11 de ago. de 2020 às 18:33, Valeria de Paiva
 escreveu:
>
> parabens Hermann por ter conseguido chegar a essa publicacao!
> abs
> Valeria
>
> On Tue, Aug 11, 2020 at 8:40 AM Edward Hermann Haeusler 
>  wrote:
>>
>>
>>  Caros,
>>
>>  O Bulletin of the section of Logic (Lodz University, Poland) 
>> publicará em breve a nossa prova, do prof. Lew Gordeev e minha, de que 
>> NP=PSPACE. O artigo está na seção de EARLY VIEW ainda aguardando a 
>> publicação em algum volume a partir (exclusive) do atual. O link para 
>> leitura e críticas é
>>
>> https://czasopisma.uni.lodz.pl/bulletin/article/view/8169
>>
>> Temos tb  o DOI:
>>
>> https://doi.org/10.18778/0138-0680.2020.16
>>
>>  Agradecemos aos editores do Bulletin pela coragem e honestidade de 
>> publicar um resultado que pode ter um certo impacto, mesmo que, a despeito 
>> do nosso esforço, não conseguiu ser exaustivamente avaliado pela comunidade 
>> acadêmica. Explico, o Bulletin enviou nosso submissão para a especialistas 
>> (não sei quem são) que após um ano retornaram relatórios de avaliação 
>> favoráveis, porém relatarem não terem sido capazes de checar todas os 
>> detalhes e que não podem portanto garantir totalmente o resultado. O editor 
>> escreveu um remark na primeira página do artigo dizendo que o papel de um 
>> periódico científico é também o de divulgar resultados sob estas condições e 
>> decidiu pela publicação do artigo. Enfim, o artigo foi avaliado e pede por 
>> mais avaliações que serão muito bem vindas
>>
>>Estamos traballhando no sentido de fornecer uma prova mais simples.  
>> Mas aí, já é outra prova.  Esta que está no site do Bulletin não será mais 
>> tocada.
>>
>>
>> Abraços,
>>
>> Hermann
>>
>>
>>
>>
>> --
>> Edward Hermann Haeusler
>> Associate Professor
>> Department of Informatics
>> PUC-Rio
>>
>> --
>> 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/CANzkscGXA%2BOavSp7zewQBzt1VtfOZci2RKDRCKA2AXpekewRpA%40mail.gmail.com.
>
>
>
> --
> Valeria de Paiva
> http://vcvpaiva.github.io/
> http://www.cs.bham.ac.uk/~vdp/
>
> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXub98a7FXFPmN-3HZMZ_ZDxTEh6h3tinzg5nPEOkqwT_A%40mail.gmail.com.

-- 
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/CAOrCsLcMEGE7WCt%2B-ZYPGZ0DqGwdAQqMqWTcz-V4ZJ_Xq40_PQ%40mail.gmail.com.

[Logica-l] Re: Supergroup BLAST!

[Walter Alexandre Carnielli]

Dear Shay, dear all:


 We have an even  bountifuller week ahead!  We are forgetting
Alfredo Roque Freire (perhaps I had to fill some  Supergroup agenda,
and did not...)
In any case, there's still time to add:

==
Dear enthusiastic logicians and partisans of Logic:

As part of the Logic Supergroup
(https://sites.google.com/view/logicsupergroup/the-logic-supergroup),
Colloquium Logicar is happy to announce its  next meeting on
Wednesday  August 12th 2020 ( 2:00 PM, GMT -3 hours) by  Alfredo Roque
Freire, who  will be talking about a chapter of his PhD thesis (which
I had the privilege to supervise)  related to an important topic of
philosophy mathematics:

Title: Unreducible features of set theories
 Alfredo Roque Freire
 Unicamp/CLE and  USP

Abstract: The universalist position in set theory maintains that there
is only a single, maximal universe of sets and, as a result, all
sentences about these objects are ideally verifiable. Often, those who
subscribe to this view are committed to offering a sensible account to
alternative universes familiar to many mathematicians. In this
article, we will analyze the reduction strategies offered by
universalists. Recently, Enayat in [1] proved that no two models of ZF
are bi-interpretable, while Hamkins and I in [2] proved that no two
well-founded models of
ZF are mutually interpretable. In view of these results, we will argue
that the range of the construction for alternative universes in a
single universe is limited. Thus, the adherents of an alternative
universe have sufficient grounds to reject the alleged copy offered by
the universalist as a faithful copy. Finally, we will argue that the
reasons for adding new elements to the multiverse should be specific
instead of being the result of an emulation in a previously known
universe.

[1] Enayat, A. (2017). Variations on a Visserian theme. arXiv preprint
arXiv:1702.07093.

[2] Freire, A. R., & Hamkins, J. D. (2020). Bi-interpretation in weak
set theories. arXiv preprint arXiv:2001.05262.

To participate. please access.
https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae
  **Please enter as  “anonymous” unless you have an RNP account

Everyone welcome!

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

[Logica-l] "Twist-Valued Models for Three-Valued Paraconsistent Set Theory"

[Walter Alexandre Carnielli]

Colegas:

Marcelo  E. Coniglio  e eu acabamos de  publicar em Logic and Logical
Philosophy  (on line) uma nova classe de modelos  para teorias de
conjuntos paraconsistentes, que julgamos bastante  interessante.

 Propomos  uma família de modelos algébricos para  ZFC baseados na
lógica paraconsistente de três valores LPT0, uma variante linguística
da lógica da Costa e D’Ottaviano J3  e de LFI1. A semântica é dada por
estruturas-twist   definidas em álgebras booleanas completas,
adicionando-se uma negação paraconsistente. O trabalho generaliza a
classe de modelos  de Löwe e Tarafder (a qual é baseado  na lógica (PS
3, ∗)), mostrando que estes são modelos paraconsistentes de ZFC. Nossa
abordagem  oferece novas  opções para investigar os resultados da
independência na teoria dos conjuntos paraconsistentes, um problema
ainda em aberto.  Um resumo mais técnico segue abaixo.

-
Twist-Valued Models for Three-Valued Paraconsistent Set Theory
Walter A. Carnielli, Marcelo E. Coniglio

Available/ Disponivel:
https://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2020.015

Abstract:

We propose in this paper a family of algebraic models of ZFC based on
the three-valued paraconsistent logic LPT0, a linguistic variant of da
Costa and D’Ottaviano’s logic J3. The semantics is given by twist
structures defined over complete Boolean agebras. The Boolean-valued
models of ZFC are adapted to twist-valued models of an expansion of
ZFC by adding a paraconsistent negation. This allows for inconsistent
sets w satisfying ‘not (w = w)’, where ‘not’ stands for the
paraconsistent negation. Finally, our framework is adapted to provide
a class of twist-valued models generalizing Löwe and Tarafder’s model
based on logic (PS 3,∗), showing that they are paraconsistent models
of ZFC. The present approach offers more options for investigating
independence results in paraconsistent set theory.
-

Walter

-- 
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/CAOrCsLegkF1%2B92c73nmvvL8pBfaaAq%3DJbHkUQjBmREUhY4xBnQ%40mail.gmail.com.

Re: [Logica-l] Elliott Mendelson (May 24, 1931 - May 7, 2020)

[Walter Alexandre Carnielli]

Colegas,

Lamento muito.Todos nós  aprendemos com o Mendelson. Lembro-me de ter
ficado modestamente orgulhoso quando as primeiras edições do nosso livro
"Computability" foram publicadas pela mesma editora onde ele publicava, a
Wadsworth Brooks\Cole.

Era uma satisfação termos nosso livro anunciado em conjunto, eu que havia
feito  meu primeiro curso de lógica usando Mendelson.

Requiescat in pace.

W.



Em sáb, 8 de ago de 2020 17:55, Ítalo Oliveira 
escreveu:

> Olá a todos e todas,
>
> Em apreço à memória do Prof. Mendelson, informo aqui o seu recente
> falecimento.
>
>
> https://www.dignitymemorial.com/obituaries/great-neck-ny/elliott-mendelson-9173757
>
>
> https://en.wikipedia.org/wiki/Elliott_Mendelson
>
> Creio que muitos aqui conhecem o seu famoso livro de introdução à lógica.
>
> Respeitosamente,
>
> *Ítalo Oliveira*
> Blog Not So Short Notes 
>
> --
> 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/CAEz71Ct9jRHGYtjgGY9QpxbPBvn%3DWauGPZJdQuqtyo98%2B4WL6g%40mail.gmail.com
> 
> .
>

-- 
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/CAOrCsLdEd0BOvXu_uye1Zf_T4O%3DkWY-%2Bi92M5cMxLU0wq3z7tg%40mail.gmail.com.

[Logica-l] Re: [OFF-TOPIC] "Do ceticismo sadio à dúvida venenosa, as origens do negacionismo"

[Walter Alexandre Carnielli]

Colegas,

Peço desculpas, o link correto para. o blog ode. há  uma versão do
artigo da. Folha de São Paulo em PDF é este:

https://waltercarnielli.com/

Abs
Walter

Em qua., 5 de ago. de 2020 às 14:10, Walter Alexandre Carnielli
 escreveu:
>
> Colegas:
>
> Para quem se interessa  em discutir   como surge  o negacionisno na ciência,
> acabo de  publicar  um pequeno artigo na Folha de São  Paulo:
> "Do ceticismo sadio à dúvida venenosa, as origens do negacionismo"
> (Walter Carnielli)
>
> https://tinyurl.com/y4qtlsqa
>
>  Versão em PDF, mais alguns  comentários, no meu blog:
>
>  https://waltercarnielli.wordpress.com/wp-admin
>
>  Abraços,
> Walter

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

[Logica-l] [OFF-TOPIC] "Do ceticismo sadio à dúvida venenosa, as origens do negacionismo"

[Walter Alexandre Carnielli]

Colegas:

Para quem se interessa  em discutir   como surge  o negacionisno na ciência,
acabo de  publicar  um pequeno artigo na Folha de São  Paulo:
"Do ceticismo sadio à dúvida venenosa, as origens do negacionismo"
(Walter Carnielli)

https://tinyurl.com/y4qtlsqa

 Versão em PDF, mais alguns  comentários, no meu blog:

 https://waltercarnielli.wordpress.com/wp-admin

 Abraços,
Walter

-- 
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/CAOrCsLfJG15Ro%2BBjbTWyxM9v9rhMphem%3DeDrfAL%3D8QoVKr4BDA%40mail.gmail.com.

Re: [Spam] Re: [Logica-l] Lógicas Brasileiras - o site

[Walter Alexandre Carnielli]

Olá Gisele, Valeria, Elaine, Nastassja:

Parabéns  pela iniciativa-- gostei dos  "seres lógicos", mas poderiam
ser também "entidades lógicas" !
 Abraços,

Walter

Em sáb., 1 de ago. de 2020 às 16:58, Abilio Rodrigues Filho
 escreveu:
>
> Olá Gisele, Valeria, Elaine, Nastassja e demais colegas.
> Quando se fala de lógicas brasileiras, não se pode esquecer a Andrea Loparic.
> Abraços
> Abilio
>
> Em sáb., 1 de ago. de 2020 às 15:54, C. Mortari  
> escreveu:
>>
>> Caras Gisele, Valeria, Elaine, Nastassja,
>>
>> obrigado pela notícia, que nos deixa muito felizes. Parabéns pela
>> excelente iniciativa de vocês, que tem todo o apoio da SBL.
>>
>> Abraços,
>>
>> Cezar
>>
>> P.S. Em tempo: o email da SBL é este aqui: cont...@sbl.org.br
>>
>> Em 2020-08-01 12:52, Gisele Secco escreveu:
>> > Estimados seres lógicos
>> >
>> > É com alegria e entusiasmo que Valeria, Elaine e eu - com o apoio de
>> > Nastassja - estamos colocando no ar o site do projeto Lógicas
>> > Brasileiras [1].
>> >
>> > Tudo está em construção, em especial o site (que contém um blog
>> > [2]), mas resolvemos publiciza-los o quando antes para que, com sua
>> > colaboração, possamos abrir a roda e trazer mais gente e mais ideias
>> > para enriquecer a iniciativa e fazer das práticas lógicas realizadas
>> > em nosso país práticas mais inclusivas - e não só para seres que
>> > se identificam como mulheres.
>> >
>> > Convidamos a todas e todos a navegar pelo site, ler as postagens do
>> > blog, os materiais didáticos [3] que disponbilizamos inicialmente, e
>> > a nos seguirem nossos perfis nas redes sociais, Instagram [4] e
>> > Twitter [5].
>> >
>> > Mas, sobretudo, convidamos vocês a
>> >
>> > 1. Considerar colaborar com o projeto, entrando em contato pelo e-mail
>> > logicasbrasilei...@gmail.com para nos contar como gostaria de faze-lo,
>> > seja com um post sobre alguma experiência relevante à temática do
>> > blog (como discente ou docente), seja com uma memória de alguma
>> > professora ou colega da área de lógica, com uma resenha de algum
>> > livro escrito por uma lógica ou filósofa da lógica ou matemática
>> > com ligações com a lógica etc..);
>> >
>> > 2. As mulheres da lista (cis, trans, todas e todes), gostaríamos de
>> > convidar especialmente para, se assim desejarem, responder às
>> > perguntas que inserimos neste post [6] - queremos iniciar uma pesquisa
>> > qualitativa e, futuramente fazer uma pesquisa quantitativa sobre a
>> > presença de mulheres na lógica em nossas universidades.
>> >
>> > Muito obrigada desde já pelas sugestões e críticas construtivas.
>> >
>> > Um abraço cordial, e um bom final de semana,
>> > G.
>> >
>> > --
>> >
>> > Gisele Dalva Secco
>> > UFSM/Brasil
>> > +55 55 3220 8440
>> >
>> >  --
>> > 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/CADjHNnraXXFGJrkt4aZb0aQRYERivH%2BNPB3FiMmo4r9ncJRuzA%40mail.gmail.com
>> > [7].
>> >
>> >
>> > Links:
>> > --
>> > [1] https://logicasbrasileiras.wordpress.com
>> > [2] https://logicasbrasileiras.wordpress.com/blog/
>> > [3] https://logicasbrasileiras.wordpress.com/materias-de-ensino-2/
>> > [4] https://www.instagram.com/logicasbrasileiras/
>> > [5] https://twitter.com/logicasbrasile1
>> > [6]
>> > https://logicasbrasileiras.wordpress.com/2020/08/01/logicas-brasileiras-passos-iniciais/
>> > [7]
>> > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADjHNnraXXFGJrkt4aZb0aQRYERivH%2BNPB3FiMmo4r9ncJRuzA%40mail.gmail.com?utm_medium=email&utm_source=footer
>>
>> --
>> 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/72d6bcc86a0f645d9b038ebc2acfb9c1%40cfh.ufsc.br.
>
> --
> 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/CALtFD22DaQLxog0wLTxn9NnKYbU%2BkgTKu%2BBreWBZRUjThKVEmw%40mail.gmail.com.

-- 
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/CAOrCsLfQffsYvNDpCS_QX7RBeCANBYxyDx%3Dv3viM3ZDK7WqV5A%40mail.gmail.com.

Re: [Logica-l] ativismo lógico?

[Walter Alexandre Carnielli]

Oi Marcos,obrigado pela menção! ;-)

Eu  tenho todo interesse em participar, se você organizar os conteúdos--
já pensei em organizar um  exemplo notório para cada falácia, e para cada
conceito, por exemplo, mas a dificuldade é organizar a sequência e escolher
quais itens cobrir.

Se você tiver um tino.mais  afinado.que o meu sobre isso, eu participo com
muito prazer,

 abraços

 Walter

Em qua, 29 de jul de 2020 12:27, Marcos Silva 
escreveu:

> car@s,
>
> tenho certeza que tambem estao chateados com o cenário político
> brasileiro. e com a iminência de termos um segundo mandato (ainda mais
> desastroso) do atual presidente, se açoes conjuntas nao forem implementadas.
>
> eu tenho um projeto de extensao na ufpe para divulgar filosofia e promover
> boa saúde com práticas de yoga para a comunidade academica e dos arredores
> no recife. tudo gratuito.
>
> na pandemia, para continuar ajudando, nos reinventamos e migramos para
> redes sociais, inclusive com aulas online gratuitas.
>
> 
>
> esta semana, fiz um experimento. postei um video denunciando a falácia da
> cloroquina do presidente. é um caso fácil de detectar de um post hoc ergo
> propter hoc.
> https://www.instagram.com/p/CDMMGMZndua/
> https://www.youtube.com/watch?v=uQAUX_LM_1c
>
> 
>
> trata-se de material curto e propositalmente mais acessível. se ajudar uma
> dezena de jovens, estou no lucro.
>
> acho que há um potencial muito grande para popularizacao da
> lógica/filosofia, educaçao em metodologia científica e em política (por que
> nao?), nestas apresentaçoes populares de falácia usando casos cotidianos.
>
> estes videos curtos nao sao difíceis de fazer e podem ajudar muito na
> confusao generalizada em que nos metemos. especialmente na tentativa de
> ocupar lugares publicos, como redes sociais, onde os jovens (desorientados)
> estao.
>
> 
>
> eu sempre tive ótimas experiencias lecionando introducao aa filosofia
> usando o excelente livro (em portugues) dos professores carnielli e
> epistein, "pensamento crítico". O curso foi bem aceito por jovens alunos de
> psicologia, contabilidade, química e filosofia, em fortaleza e maceio, por
> exemplo.
>
> 
>
> uma proposta de ativismo lógico:
>
> talvez a gente pudesse se organizar para pensar e produzir este tipo de
> conteudo acessivel para popularizacao e divulgacao da lógica. é uma
> ferramenta de transformacao e autonomia intelectual muito poderosa.
> (estamos negligenciando _ eu, pelo menos, estava _ o poder das redes
> sociais...)
>
> que acham?
>
> abracos do recife,
> marcos
>
> --
> Marcos Silva (UFPE/CNPq)
> Philosophy Department
> Federal University of Pernambuco, Brazil
> Editor-in-chief Revista Perspectiva Filosófica
> 
> Marcos Silva Philosophy
> 
> "amar e mudar as coisas me interessa mais"
>
> --
> 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/CAGZ3pzJaRt983mmvaYSeoCbT2hF616MTMfgKmt40Et6bQoPGOg%40mail.gmail.com
> 
> .
>

-- 
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/CAOrCsLexPuE4MZ5DigxRpshZWoL_g0nC0dud_ifVRxq%3DG%3DGrcw%40mail.gmail.com.

Re: [Logica-l] [OFF TOPIC] Desinclusão em Lógica/ Ciência

[Walter Alexandre Carnielli]

Caro Adolfo, caros todos:

Agradeço a todos os que têm se manifestado  (Chico, Rodrigo, Adolfo e
Tony por enquanto) . Mas me  permito discordar  do Tony e do Adolfo:
não adianta  nos escondermos atrás dos  prêmios (novos e  iniciantes)
a que  temos acesso.  Mesmo porque são em geral prêmios nacionais. E
"cancelar'  os prêmios não nos compete.

O que importa  mais para o currículo de um jovem é um prêmio
internacional conhecido. Também  não adianta deixar que  "o futuro
faça justiça". O futuro, como a história, é  escuro pelo que vencem, E
que  ganham os melhores  prêmios.

De minha  parte, continuarei  protestar. Mesmo porque  fui eu mesmo
vítima de uma "complô' desse tipo, quando fui nomeado ao  Georg
Forster Research Award da Fundação Alexandre von Humboldt, e não levei
 porque um grupo de engenheiros  brasileiros, consultados como "ad
hoc"  pela AvH, escreveu que "o trabalho do Carnielli pode ser
interessante, mas  não tem relevância desenvolvimentista para  o
país".  Ganhou um engenheiro metalúrgico...

Abraços,


Walter

Em sex., 24 de jul. de 2020 às 21:52, Adolfo Neto
 escreveu:
>
> Foi bom o exemplo do Tony. Alguns filmes decididamente ruins ganharam o 
> Oscar. O reconhecimento do futuro é o maia importante.
>
> On Fri, Jul 24, 2020, 19:00 Rodrigo Freire  wrote:
>>
>> Olá pessoal,
>>
>> Também considero a mensagem do Walter pertinente. Acabar com os prêmios não 
>> resolveria o problema de falta de reconhecimento e de devida atribuição de 
>> mérito, apenas apagaria uma de suas manifestações mais visíveis.
>>
>>
>> Abraço
>> Rodrigo
>>
>>
>>
>> Em 24 de jul de 2020, à(s) 18:23, Adolfo Neto  
>> escreveu:
>>
>> 
>> Eu tenho uma ideia que acho melhor apesar de ser mais radical. Acabar com 
>> todos os prêmios exceto, talvez, os de fim de carreira.
>>
>> On Fri, Jul 24, 2020 at 3:55 PM Francisco Miraglia Neto 
>>  wrote:
>>>
>>> Car@s,
>>>
>>> Concordo inteiramente com as considerações do Walter.
>>>
>>> Com votos de que todos estejam bem,
>>>
>>> Abraços e cuidem-se!!
>>>
>>> Chico Miraglia
>>>
>>> > On 24 Jul 2020, at 13:23, Walter Alexandre Carnielli 
>>> >  wrote:
>>> >
>>> > Car@s colegas:
>>> >
>>> > embora ninguém desta  lista tenha comentado minha mensagem ao Beth
>>> > Prize, que reproduzo abaixo,   Minha indignação se deu porque o
>>> > trabalho do noso colega Alfredo Roque Freite, excelente e
>>> > extraordinário em todos os sentido, não foi sequer "short-listed" ou
>>> > reconhecido como 'nominated". Shay Logan (um dos organizadores do
>>> > Supergroup)  realmente compreendeu a situação e me autorizou a
>>> > divulgar sua reação e sua intenção:
>>> >
>>> > "Yes, you're free to quote me! I'm going to run a few ideas by some
>>> > folks about how we might go about recognizing excellent work in logic
>>> > in a more fair way."
>>> >
>>> > ===
>>> > "Hi Walter,
>>> >
>>> > Thanks so much for looping me in on this. I had no idea the statistics
>>> > were so bad! This is indeed embarrassing.
>>> >
>>> > What would you think about us using the supergroup trying to organize
>>> > some way of recognizing excellent theses in logic from non-Euro and
>>> > non-Anglo areas? I don't have a clear idea of the best way to go about
>>> > such a thing right now. But if you think it's an idea worth pursuing,
>>> > let me know and I'll put more thought into it---or listen to any
>>> > thoughts on the matter that you might have!
>>> >
>>> > All the best,
>>> >
>>> > Shay"
>>> > =
>>> >
>>> > Venho aqui instar a(o)s colegas  a se  pronunciarem sobre esta questão
>>> > importantíssima para os jovens-- e para os  seniores-- da "desinclusão
>>> > científica" que assola a todos nós.  Vejam quem ganha os prêmios,
>>> > jovens ou mais velhos, e quem é citado nas  "esferas  do mainstream" .
>>> > Eu me importo-- quem se  importar, por favor  se  posicione.
>>> >
>>> > Abraços  desiludidos,
>>> >
>>> > Waller
>>> > =
>>> > CARTA ENVIADA
>>> >
>>> > Dear Mehrnoosh:
>>> > c/c Board of the Association for Logic, Lang

[Logica-l] [OFF TOPIC] Desinclusão em Lógica/ Ciência

[Walter Alexandre Carnielli]

Car@s colegas:

embora ninguém desta  lista tenha comentado minha mensagem ao Beth
Prize, que reproduzo abaixo,   Minha indignação se deu porque o
trabalho do noso colega Alfredo Roque Freite, excelente e
extraordinário em todos os sentido, não foi sequer "short-listed" ou
reconhecido como 'nominated". Shay Logan (um dos organizadores do
Supergroup)  realmente compreendeu a situação e me autorizou a
divulgar sua reação e sua intenção:

"Yes, you're free to quote me! I'm going to run a few ideas by some
folks about how we might go about recognizing excellent work in logic
in a more fair way."

===
"Hi Walter,

Thanks so much for looping me in on this. I had no idea the statistics
were so bad! This is indeed embarrassing.

What would you think about us using the supergroup trying to organize
some way of recognizing excellent theses in logic from non-Euro and
non-Anglo areas? I don't have a clear idea of the best way to go about
such a thing right now. But if you think it's an idea worth pursuing,
let me know and I'll put more thought into it---or listen to any
thoughts on the matter that you might have!

All the best,

Shay"
=

Venho aqui instar a(o)s colegas  a se  pronunciarem sobre esta questão
importantíssima para os jovens-- e para os  seniores-- da "desinclusão
científica" que assola a todos nós.  Vejam quem ganha os prêmios,
jovens ou mais velhos, e quem é citado nas  "esferas  do mainstream" .
Eu me importo-- quem se  importar, por favor  se  posicione.

Abraços  desiludidos,

Waller
=
CARTA ENVIADA

Dear Mehrnoosh:
c/c Board of the Association for Logic, Language and Information

Thanks for your message informing me that the  nomination of my
ex-student  Alfredo Roque Friere  has not been chosen for the Beth
Prize 2020. .

I have to confess that I feel a bit  disappointed with this decision.
Of  course  we have to thank the  board  of  referees, who  work "pro
bono"  in favor of science, and  undoubtedly do  their best, and I
also  extend  my full compliments to all the  young scholars who have
won this prize. I am absolutely sure  they deserve it ,

However, I see with  deep concerns that work from Africa, Latin
America, Caribbean countries  Iran, Arabic countries, India, Oceania
Southeast Asia, and other non-central european and non-anglo-centred
regions have never been selected  for the Beth Prize.

For sure, good science is  not restricted to Center Europe and
North-America--it's hard to believe that in 22 years the  Association
for Logic, Language and Information  has  not been able to select  any
PhD  thesis  outside Center Europe, US, and  Canada.

A sad evidence ot this is that the 32  winners since  1998, are
distributed among Poland  (3), Germany (5), France (3), US (8), UK
(2), Italy (1), Canada (2), Netherlands (4), Czech Republic (1),
Austria (1), Spain(1) and  Russia  (1). I'm  afraid there  is no
evidence that this will be  different in 2020.

To have their work recognized is of vital importance for young
researchers  everywhere, but  specially for people in Africa, Latin
America, Caribbean countries  Iran, Arabic countries, India,  Oceania,
Southeast Asia,etc, for all the political reasons we  know.  In
particular, I  ask you please to write a  letter confirming  that  my
ex-student Alfredo Roque Freire, candidate for the 2020 prize was
considered, or  short-listed,  to the 2020 Beth Prize - this will be
of higher relevance for his future career.

I urge you to extend this letter to  the 2020 committee and to the
leaders of the Association for Logic, Language and Information, with
my appeal to create a committee to take care of this point.


Yours sincerely,

Walter Carnielli

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

[Logica-l] Colloquium Logicae @CLE-Unicamp - August 5th, 2020 (2:00 PM, GMT -3 hours) –

[Walter Alexandre Carnielli]

Dear enthusiastic logicians and partisans of Logic:

On Wednesday August 5th  our recent PhD Alfredo Roque Freite  will
give a talk focusing on some results of his PhD Thesis on foundations
of set  theory.


Colloquium Logicae @CLE-Unicamp

This is a  virtual session of the  Colloquium Logicae,traditional
conferences held at the Centre for Logic, Epistemology and the History
of Science at Unicamp,now linked to the “Logic Supergroup”.

For past and future talks, please visit
https://seminarioscle.wordpress.com/

NEXT TALK:

August  5th, 2020 (2:00 PM, GMT -3 hours) –

Alfredo Roque Freire
Post-Doc  Researcher
Centre for Logic, Epistemology and the History of Science
University of Campinas-Unicamp, Brazil

"Unreducible features of set theories"

The universalist position in set theory maintains that there is only a
single, maximal universe of sets and, as a result, all sentences about
these objects are ideally verifiable. Often, those who subscribe to
this view are committed to offering a sensible account to alternative
universes familiar to many mathematicians. In this article, we will
analyze the reduction strategies offered by universalists. Recently,
Enayat in [1] proved that no two models of ZF are bi-interpretable,
while Hamkins and I in [2] proved that no two well-founded models of
ZF are mutually interpretable. In view of these results, we will argue
that the range of the construction for alternative universes in a
single universe is limited. Thus, the adherents of an alternative
universe have sufficient grounds to reject the alleged copy offered by
the universalist as a faithful copy. Finally, we will argue that the
reasons for adding new elements to the multiverse should be specific
instead of being the result of an emulation in a previously known
universe.

[1] Enayat, A. (2017). Variations on a Visserian theme. arXiv preprint
arXiv:1702.07093.

[2] Freire, A. R., & Hamkins, J. D. (2020). Bi-interpretation in weak
set theories. arXiv preprint arXiv:2001.05262.


Permanent link to participate of the seminars:
https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae

**Please enter as  “anonymous” unless you have an RNP account
===

 Walter Carnielli
 https://waltercarnielli.com/

Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil

 CV Lattes : http://lattes.cnpq.br/105496835379

-- 
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/CAOrCsLcsPF%2BnuTMSzDBdMN8ugp7Mm1bqMN-yFvfxWitVzAziCA%40mail.gmail.com.

[Logica-l] Youtube link: seminar/ seminário Prof. Marcelo Coniglio -CLE-COLLOQUIUM-LOGICAE:

[Walter Alexandre Carnielli]

Caros colegas/ Dear colleagues:
(English below)

Encaminho abaixo o link  da gravação referente à apresentação do
seminário do Prof. Marcelo Coniglio no CLE-COLLOQUIUM-LOGICAE:
"Logics of Formal Inconsistency and a solution to the problem of
replacement" ocorrido em 15/07/2020

https://www.youtube.com/watch?v=ijProisRinE&feature=youtu.be




I forward here  the YouTube link for the  the seminar presentation
of Prof. Marcelo COniglio at CLE-COLLOQUIUM-LOGICAE:
"Logics of Formal Inconsistency and a solution to the problem of
replacement" occurred on 7/15/2020

https://www.youtube.com/watch?v=ijProisRinE&feature=youtu.be

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

Re: [Logica-l] Aviso de falecimento

[Walter Alexandre Carnielli]

Conheci bem Matias .

Ainda ontem,  por coincidência, estava pensando nele ,no Roberto e no
Barbosa, ex-alunos do nosso programa, do Nordeste, de 30 anos atrás.

Meus sentimentos pela perda do Matias.

W.


Em dom, 19 de jul de 2020 18:41, Andrea Loparic 
escreveu:

> Aos mais velhos,
> Com muita tristeza, venho comunicar aos que o conheceram que recebi agora
> a notícia do falecimento de Matias Francisco Dias.
> Matias fez sua carreira universitária como professor de Lógica na
> Universidade Federal da Paraiba.   Fez  mestrado e doutorado no
> Departamento de Filosofia da USP, na década de 70, tendo trabalhado com
> Hugh Lacey, Oswaldo Porchat e,  em especial com Newton da Costa. De 1984 a
> 1986, fez um pos-doc na Universidade de Maryland, onde trabalhou sobre a
> Teoria da Recursão, que passou a ser seu campo preferencial de estudo e
> pesquisa. Em 2010, junto com seu aluno Leonardo Weber, publicou pela
> Editora UNESP o livro "Teoria da Recursão"
> Matias era também um bom amigo e um companheiro defensor das causas
> libertárias. Deixa, nos que o conheceram de perto, uma saudade grande.
> Andrea
>
> --
> 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/CACHAqBmuPtVvgUUuHhkLb4uopKp-e6_dMbTPOVxWU75bmWGxog%40mail.gmail.com
> 
> .
>

-- 
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/CAOrCsLdM5bhOsLFXon8eKYQRBp%3DJnCL6GpuWa9jQHP1YHJsAKg%40mail.gmail.com.

[Logica-l] Re: Beth Prize 2020

[Walter Alexandre Carnielli]

Dear Mehrnoosh:
c/c Board of the Association for Logic, Language and Information

Thanks for your message informing me that the  nomination of my
ex-student  Alfredo Roque Friere  has not been chosen for the Beth
Prize 2020. .

I have to confess that I feel a bit  disappointed with this decision.
Of  course  we have to thank the  board  of  referees, who  work "pro
bono"  in favor of science, and  undoubtedly do  their best, and I
also  extend  my full compliments to all the  young scholars who have
won this prize. I am absolutely sure  they deserve it ,

However, I see with  deep concerns that work from Africa, Latin
America, Caribbean countries  Iran, Arabic countries, India, Oceania
Southeast Asia, and other non-central european and non-anglo-centred
regions have never been selected  for the Beth Prize.

For sure, good science is  not restricted to Center Europe and
North-America--it's hard to believe that in 22 years the  Association
for Logic, Language and Information  has  not been able to select  any
PhD  thesis  outside Center Europe, US, and  Canada.

A sad evidence ot this is that the 32  winners since  1998, are
distributed among Poland  (3), Germany (5), France (3), US (8), UK
(2), Italy (1), Canada (2), Netherlands (4), Czech Republic (1),
Austria (1), Spain(1) and  Russia  (1). I'm  afraid there  is no
evidence that this will be  different in 2020.

To have their work recognized is of vital importance for young
researchers  everywhere, but  specially for people in Africa, Latin
America, Caribbean countries  Iran, Arabic countries, India,  Oceania,
Southeast Asia,etc, for all the political reasons we  know.  In
particular, I  ask you please to write a  letter confirming  that  my
ex-student Alfredo Roque Freire, candidate for the 2020 prize was
considered, or  short-listed,  to the 2020 Beth Prize - this will be
of higher relevance for his future career.

I urge you to extend this letter to  the 2020 committee and to the
leaders of the Association for Logic, Language and Information, with
my appeal to create a committee to take care of this point.


Yours sincerely,

Walter Carnielli


Em qui, 16 de jul de 2020 05:58, BDP2020  escreveu:
>
> Dear Walter Carnielli,
>
> It is with sadness that I have to inform you that your nomination has not 
> been chosen as the winner of the Beth Prize 2020. We received 30 nominations 
> this year, many of them outstanding, and the committee has had to work very 
> hard to choose the best ones.
>
> If I can be of any further assistance, please let me know.
>
> Best,
> Mehrnoosh

-- 
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/CAOrCsLcHuRvjjht%3Dogzz%3DoOMc9pse8qvJ7JnZvd-UvyS0rJp_g%40mail.gmail.com.

Re: [Logica-l] Lukasiewicz

[Walter Alexandre Carnielli]

Oi Regivan,

a  demonstração sintática não deve ser difícil, mas  como a  lógica é
completa (imagino que se trate da  lógica  infinitária  de
Lukasiewicz) isto pode ser  verificado em termos de  propriedades da
função min.
Abs
Walter

Em sáb., 18 de jul. de 2020 às 17:26, Regivan Hugo Nunes Santiago
 escreveu:
>
> Caríssimos,
>
> Alguém conhece alguma referencia que tenha a demonstração da propriedade de
> Exchange: I(x,I(y,z))=I(y,I(x,z)) para a implicação I(x,y)=min(1,1-x+y)?
>
> Regivan
>
>
> 
> Prof. Dr. Regivan Hugo Nunes Santiago
> Group for Logic, Language, Information, Theory and Applications - LoLITA
> Department of Informatics and Applied Mathematics - DIMAp
> Federal University of Rio Grande do Norte - UFRN
> Avenida Senador Salgado Filho, 3000,
> Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
> Caixa Postal: 1679Phone: +55 84 3215-3814 Ext. 211
> Fax:  +55 84 3215-3813
> http://www.dimap.ufrn.br/~regivan (Outdated)
> e-mail: regivan AT DOMAIN=dimap,ufrn,br.
> 
>
> --
> 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/7C94BEAD-276E-431A-A3F2-8F28AA421759%40dimap.ufrn.br.

-- 
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/CAOrCsLdwTB7Y_0Fw6shXX2w%2B%2B8DeWuJBSDgEMJQ%3DqFjv%2BJmwsQ%40mail.gmail.com.

Re: [Logica-l] Etnomatemática

[Walter Alexandre Carnielli]

Bom dia Cassiano, eu ouvi falar alguma coisa que o o Ubiratan fez, mas
francamente deveriam ser três ou quatro exemplos apenas.

Falei com Smullyan sobre isso numa certa ocasião, mas ele me disse que só
sabia de  alguns jogos africanos.

Vou lhe passar o contato do Ubiratan em privado, você pode  falar com ele
em meu nome.

Ele é muito acessível, e certamente vai ficar contente em falar com você .

Abraços,

Walter

Em qui, 16 de jul de 2020 10:29, Cassiano Terra Rodrigues <
cassiano.te...@gmail.com> escreveu:

> Camaradas, bons dias, espero q estejam todos bem em primeiro lugar, apesar
> das circunstâncias.
> Um pedido, por favor, alguém poderia me indicar na Internet onde encontrar
> em língua portuguesa recursos confiáveis e de alta qualidade sobre
> etnomatemática? Os artigos do prof. Ubiratan D'Ambrosio nem todos estão
> acessíveis em bases de dados (a maioria nem está na Internet, na verdade) e
> as refs q eu encontrei ou estão em outros idiomas ou são de divulgação em
> sites educacionais sem muito aprofundamento ou sequer exemplos (apesar de
> pretensamente serem voltados a professores...).
> Estava procurando alguns exercícios de raciocínio lógico que se
> relacionassem com o tema (é possível uma etnológica?), algo como o Smullyan
> fez, mas não achei muita coisa. Mas o prof. Ubiratan em alguns de seus
> escritos, infelizmente não os tenho comigo por causa do isolamento
> pandemônico, relata alguns jogos indígenas se bem me recordo q misturam
> lógica e matemática.
> Agradeço qualquer indicação.
> Abraços,
> cass.
>
> --
> 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/f632031c-65b0-4cf8-b615-b22d5039c493o%40dimap.ufrn.br
> 
> .
>

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

Re: [Logica-l] on the Synthese special issue on *Varieties of Entailment*, dedicated to the memory of Carolina Blasio

[Walter Alexandre Carnielli]

Joao,

Parabéns a você pela iniciativa e pelo  prefácio, aos editores,  à
memória da querida Carol e a todos os que  participaram.
Estamos orgulhosos  de poder ter  prestado esta singela  homenagem.

Abraços,

Walter

Em qua., 15 de jul. de 2020 às 16:30, Joao Marcos  escreveu:
>
> O belo editorial do volume da Synthese dedicado à memória de Carolina
> Blasio está finalmente online:
> https://doi.org/10.1007/s11229-020-02778-x
> https://rdcu.be/b5DtB
>
> ###
>
> Estes são os artigos que compõem o *Varieties of Entailment*.
> Todos estão livremente disponíveis online.
>
> 1. Sergey Drobyshevich, “Tarskian consequence relations bilaterally:
> some familiar notions”
> https://doi.org/10.1007/s11229-019-02267-w
> https://rdcu.be/b5Duw
>
> 2. Yaroslav Shramko and Heinrich Wansing, “The nature of entailment:
> an informational approach”
> https://doi.org/10.1007/s11229-019-02474-5
> https://rdcu.be/b5Duy
>
> 3. Eduardo Barrio, Federico Pailos, and Damian Szmuc,
> “(Meta)Inferential Levels of Entailment beyond the Tarskian Paradigm”
> https://doi.org/10.1007/s11229-019-02411-6
> https://rdcu.be/b5Duz
>
> 4. Rohan French and David Ripley, “Two Traditions in Abstract
> Valuational Model Theory”
> https://doi.org/10.1007/s11229-019-02447-8
> https://rdcu.be/b5DuA
>
> 5. Emmanuel Chemla and Paul Egré, “From Many-Valued Consequence to
> Many-Valued Connectives”
> https://doi.org/10.1007/s11229-019-02344-0
> https://rdcu.be/b5DuD
>
> 6. Arnon Avron, “Quasi-canonical Systems and Their Semantics”
> https://doi.org/10.1007/s11229-018-02045-0
> https://rdcu.be/b5DuF
>
> 7. Sergio Marcelino and Carlos Caleiro, “Axiomatizing
> non-deterministic many-valued generalized consequence relations”
> https://doi.org/10.1007/s11229-019-02142-8
> https://rdcu.be/b5DuH
>
> 8. Elaine Pimentel, Luiz Carlos Pereira, and Valeria de Paiva, “An
> Ecumenical Notion of Entailment”
> https://doi.org/10.1007/s11229-019-02226-5
> https://rdcu.be/b5DuJ
>
> 9. Peter Verdée, “Obtaining infinitely many degrees of inconsistency
> by adding a strictly paraconsistent negation to classical logic”
> https://doi.org/10.1007/s11229-020-02638-8
> https://rdcu.be/b5Dn7
>
> 10. Abílio Rodrigues, Walter Carnielli, and Juliana Bueno, “Measuring
> evidence: a probabilistic approach to an extension of Belnap-Dunn
> Logic”
> https://doi.org/10.1007/s11229-020-02571-w
> https://rdcu.be/b5Dob
>
> 11. Carolina Blasio, João Marcos, and Carlos Caleiro, “What is a
> logical theory? On theories containing assertions and denials”
> https://doi.org/10.1007/s11229-019-02183-z
> https://rdcu.be/b5Doe
>
> 12. José Zalabardo, “Logic without Metaphysics”
> https://doi.org/10.1007/s11229-019-02124-w
> https://rdcu.be/b5Dog
>
> 13. Elisángela Ramírez-Cámara and Luis Estrada-González “Knot is not
> that nasty (but it is hardier than tonk)”
> https://doi.org/10.1007/s11229-019-02498-x
> https://rdcu.be/b5Duo
>
> 14. Ekaterina Kubyshkina, “Conservative translations of four-valued
> logics in modal logic”
> https://doi.org/10.1007/s11229-019-02139-3
> https://rdcu.be/b5Dup
>
> 15. Konrad Rudnicki and Piotr Łukowski, “Psychophysiological approach
> to the Liar sentence. Jean Buridan's virtual entailment principle put
> to test”
> https://doi.org/10.1007/s11229-019-02107-x
> https://rdcu.be/b5Dur
>
> 16. Marco Ruffino, “Contingent A Priori Truths and Performatives"
> (ainda não disponível online)
>
> ###
>
> Este volume foi preparado cuidadosamente por Heinrich Wansing e Marco
> Ruffino ao longo dos últimos dois anos.
>
> É uma homenagem pequena mas muito bonita a um ser humano
> extraordinário, que deixou um grande buraco no mundo, há três anos.
>
> Joao Marcos
>
> --
> 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_LgYnqPRmP1prvc4XU4zmRjyx7RgBT1g%3DxYs_%3D77JdBb%2BA%40mail.gmail.com.

-- 
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/CAOrCsLeW0MHcWPROZ0iV6BfZ%3DuzXAszD-cDvY07p7dGU1J1HVg%40mail.gmail.com.

[Logica-l] Re: Colloquium Logicae @CLE-Unicamp as part of the Supergroup

[Walter Alexandre Carnielli]

Dear Marcus,

Thanks! Please inform us which are the institutions involved with the
Supergroup initiative, and we'll list all of them.

Best,

Walter

Em dom, 12 de jul de 2020 13:53, Marcus Rossberg 
escreveu:

> Dear Walter,
>
> Many thanks for the shout-out to the UConn Logic Group, but we’re just one
> of the many groups that are part of the Supergroup. It’s too much praise!
> :-)
>
> The Supergroup was initiated by Shay. It’s piggybacking on the Melbourne
> Logic Seminar organized by Shawn. The Supergroup is a truly collaborative
> effort.  Currently, the main contacts are Shay, Shawn, Johanna, Damien, and
> myself, but there are many others that are also contributing their time.
>
> UConn does host one one the websites where the talks are listed, but there
> are others (here, for example, the (much nicer) one hosted by the Buenos
> Aires Logic Group:  http://www.ba-logic.com/logic-supergroup/ ).  We
> really ought to have a proper separate website for the Supergroup…
>
> Yay for Logic!
>
> Cheers,
> Marcus
>
>
>
>
> > On Jul 10, 2020, at 10:15 PM, Walter Alexandre Carnielli <
> walte...@unicamp.br> wrote:
> >
> > Dear enthusiastic logicians and partisans of Logic:
> >
> > On Wednesday July 15th  Marcelo Coniglio will give a talk on how we
> > found a solution to the  "problem of replacement" in paraconsistent
> > logic (with a little from our friend Isabelle),  and  what this may
> > represent for the  applicability of the paraconsistent paradigm.
> > Details below.
> >
> > 
> > Colloquium Logicae @CLE-Unicamp
> >
> > This is a  virtual session of the  Colloquium Logicae,traditional
> > conferences held the Centre for Logic, Epistemology and the History of
> > Science at Unicamp,now linked to the “Logic Supergroup” organized by
> > the University of Connecticut Logic Group:
> > https://logic.uconn.edu/supergroup/
> >
> > For past and future talks, please visit
> https://seminarioscle.wordpress.com/
> >
> > NEXT TALK:
> >
> >
> > July 15th, 2020 (2:00 PM, GMT -3 hours) – Marcelo Coniglio
> > "Logics of Formal Inconsistency and a solution to the problem of
> replacement"
> >
> > Department of Philosophy
> > Centre for Logic, Epistemology and the History of Science
> > University of Campinas – Unicamp
> >
> > Abstract. One of the most desired properties of a logical system is
> > that it can be algebraizable, in the sense that an algebraic
> > counterpart of the deductive machinery could be found. Since the
> > inception of da Costa’s paraconsistent calculi, an algebraic
> > equivalent for such systems have been searched. It is known that these
> > systems are not algebraizable neither in the standard sense nor in the
> > sense of Blok-Pigozzi. The same negative result holds for several
> > systems of the hierarchy of paraconsistent logics known as Logics of
> > Formal Inconsistency (LFIs). In this talk I shall expound a solution
> > for this problem, showing how LFIs can satisfy the replacement
> > property. The weakest LFI satisfying replacement presented is called
> > RmbC, and I intend to clarify the role of the BALFI (Boolean algebras
> > with LFI operators) and neighborhood semantics for RmbC. Joint work
> > with Walter Carnielli and David Fuenmayor.
> >
> >
> > Permanent link to participate of the seminars:
> >
> >
> > https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae
> >
> >
> > **Please enter as  “anonymous” unless you have an RNP account
> > ===
> >
> > Walter Carnielli
> > https://waltercarnielli.com/
> >
> > Centre for Logic, Epistemology and the History of Science and
> > Department of Philosophy
> > University of Campinas –UNICAMP
> > 13083-859 Campinas -SP, Brazil
> >
> > CV Lattes : http://lattes.cnpq.br/105496835379
> >
> > --
> > You received this message because you are subscribed to the Google
> Groups "Logic Supergroup" group.
> > To unsubscribe from this group and stop receiving emails from it, send
> an email to logic-supergroup+unsubscr...@googlegroups.com.
> > To view this discussion on the web visit
> https://groups.google.com/d/msgid/logic-supergroup/CAOrCsLe7EfVMjAbEPHLGa-7XO1JGt0ZiT%3DqDbG2oCBfr-rsjwA%40mail.gmail.com
> .
>
>

-- 
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/CAOrCsLf%3DijTi2BR9RvZxaYw9HppqJjbZRw1%2BtTAH%3DRM1Psg_RA%40mail.gmail.com.

[Logica-l] Colloquium Logicae @CLE-Unicamp as part of the Supergroup

[Walter Alexandre Carnielli]

Dear enthusiastic logicians and partisans of Logic:

On Wednesday July 15th  Marcelo Coniglio will give a talk on how we
found a solution to the  "problem of replacement" in paraconsistent
logic (with a little from our friend Isabelle),  and  what this may
represent for the  applicability of the paraconsistent paradigm.
Details below.

 
Colloquium Logicae @CLE-Unicamp

This is a  virtual session of the  Colloquium Logicae,traditional
conferences held the Centre for Logic, Epistemology and the History of
Science at Unicamp,now linked to the “Logic Supergroup” organized by
the University of Connecticut Logic Group:
https://logic.uconn.edu/supergroup/

For past and future talks, please visit   https://seminarioscle.wordpress.com/

NEXT TALK:


July 15th, 2020 (2:00 PM, GMT -3 hours) – Marcelo Coniglio
"Logics of Formal Inconsistency and a solution to the problem of replacement"

Department of Philosophy
Centre for Logic, Epistemology and the History of Science
University of Campinas – Unicamp

Abstract. One of the most desired properties of a logical system is
that it can be algebraizable, in the sense that an algebraic
counterpart of the deductive machinery could be found. Since the
inception of da Costa’s paraconsistent calculi, an algebraic
equivalent for such systems have been searched. It is known that these
systems are not algebraizable neither in the standard sense nor in the
sense of Blok-Pigozzi. The same negative result holds for several
systems of the hierarchy of paraconsistent logics known as Logics of
Formal Inconsistency (LFIs). In this talk I shall expound a solution
for this problem, showing how LFIs can satisfy the replacement
property. The weakest LFI satisfying replacement presented is called
RmbC, and I intend to clarify the role of the BALFI (Boolean algebras
with LFI operators) and neighborhood semantics for RmbC. Joint work
with Walter Carnielli and David Fuenmayor.


 Permanent link to participate of the seminars:


https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae


**Please enter as  “anonymous” unless you have an RNP account
===

 Walter Carnielli
 https://waltercarnielli.com/

Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil

 CV Lattes : http://lattes.cnpq.br/105496835379

-- 
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/CAOrCsLe7EfVMjAbEPHLGa-7XO1JGt0ZiT%3DqDbG2oCBfr-rsjwA%40mail.gmail.com.

[Logica-l] Colloquium Logicae: talk available on Youtube

[Walter Alexandre Carnielli]

Dear Cheerful Logicians:
(thanks Shay, I loved it!)

This is to inform that the talk  "Remarks on a nice theorem  of
Monsieur Glivenko"
by Itala M. L. Loffredo D' Ottaviano is now available at the CLE
channel on Youtube

https://www.youtube.com/watch?v=ljUhCss_gdg&feature=youtu.be

The recent talk by Ekaterina  Kubyshkina "Ignorance: a
truth-functional perspective", under her requests, will not be
publically available. She will send  slides, links or any other
information  personally upon request;  please write to:

Ekaterina  Kubyshkina 

I take this  opportunity to  inform that  our next  speaker will  be
Marcelo Esteban Coniglio, as of July 15th, 2020 (2:00 PM, GMT -3
hours):

"Logics of Formal Inconsistency and a solution to the problem of replacement"

Abstract. One of the most desired properties of a logical system is
that it can be algebraizable, in the sense that an algebraic
counterpart of the deductive machinery could be found. Since the
inception of da Costa’s paraconsistent calculi, an algebraic
equivalent for such systems have been searched. It is known that these
systems are not algebraizable neither in the standard sense nor in the
sense of Blok-Pigozzi. The same negative result holds for several
systems of the hierarchy of paraconsistent logics known as Logics of
Formal Inconsistency (LFIs). In this talk I shall expound a solution
for this problem, showing how LFIs can satisfy the replacement
property. The weakest LFI satisfying replacement presented is called
RmbC, and I intend to clarify the role of the BALFI (Boolean algebras
with LFI operators) and neighborhood semantics for RmbC.

Colloquium Logicae @ The  Centre for Logic is  now linked to the
“Logic Supergroup”

Info:
https://seminarioscle.wordpress.com/

Link:
https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae

Best,
Walter

-- 
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/CAOrCsLeAgd8FHuqJy7JuNwUF5dp9kt_JsUo-MPPXcvH8%2B2YiPA%40mail.gmail.com.

[Logica-l] Colloquium Logicae (CLE-UNICAMP) @ Logic Supergroup

[Walter Alexandre Carnielli]

Colloquium Logicae (CLE-UNICAMP)

 Speaker: Ekaterina Kubyshkina (CLE-UNICAMP)

Title: Ignorance: A Truth-Functional Perspective
Time and Date: Wednesday, July 1, 2 pm GMT-3
Moderator: Walter Carnielli
Link: https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae


Abstract: I will present a family of four-valued logics, dubbed logics
of rational agents, where the epistemic state of an agent is
represented truth-functionally. In particular, these logics permit one
to formalize the fact of being ignorant of or knowing some truth at
the level of valuations, without the explicit use of epistemic
operators. On the basis of this semantics several sound and complete
systems will be provided. Moreover, these systems, extended by alethic
modalities of necessity and possibility, will be applied to the
analysis of an epistemological problem known as knowability paradox,
or Church-Fitch paradox.

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

[Logica-l] Colloquium Logicae: June 17th, 2020, 14:00 São Paulo/Brasília time (GMT -3 hours)

[Walter Alexandre Carnielli]

Dear  joyfull logicians,
At the risk of duplicating posts, let me send you this announcement
for a talk tomorrow,

best
Walter Carnielli


Colloquium Logicae @CLE-Unicamp


This is a  virtual session of the  Colloquium Logicae,
traditional conferences held the Centre for Logic,
Epistemology and the History of Science at Unicamp,
now linked to the “Logic Supergroup” organized by
the University of Connecticut Logic Group:
https://logic.uconn.edu/supergroup/


NEXT TALK:

"Remarks on a nice theorem  of Monsieur Glivenko"
Itala M. L. Loffredo D' Ottaviano
Department  of Philosophy  and
Centre for Logic, Epistemology and the History of Science
University of Campinas –UNICAMP at Campinas, SP,  Brazil

Wednesday, June  17th, 2020,  14:00  São  Paulo/Brasília time   (2:00
PM,  GMT -3 hours)


 Permanent link to participate of the seminars:
https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae
**Please enter as  “anonymous” unless you have an RNP account

Abstract:

In this talk I will discuss some less known  historical and conceptual
points  behind the famous double-translation  theorem  of  Valery
Ivanovich Glivenko.
===

For past and future talks, please visit   https://seminarioscle.wordpress.com/

-- 
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/CAOrCsLfEtXgftVXPnG-8L4Saim2GZgNa_LMYnSsRKUtPPc2RfA%40mail.gmail.com.

[Logica-l] Next session: Colloquium Logicae, Wednesday, June 17 2020, 14:00 Sâo Paulo (GMT -3 hours)

[Walter Alexandre Carnielli]

 

Colloquium Logicae @CLE-Unicamp


This is a  virtual session of the  Colloquium Logicae,
traditional conferences held the Centre for Logic,
Epistemology and the History of Science at Unicamp,
now linked to the “Logic Supergroup” organized by
the University of Connecticut Logic Group:
https://logic.uconn.edu/supergroup/


NEXT TALK:

"Remarks on a nice theorem  of Monsieur Glivenko"
Itala M. L. Loffredo D' Ottaviano
Department  of Philosophy  and
Centre for Logic, Epistemology and the History of Science
University of Campinas –UNICAMP at Campinas, SP,  Brazil

Wednesday, June  17th, 2020,  14:00  São  Paulo/Brasília time   (2:00
PM,  GMT -3 hours)


 Permanent link to participate of the seminars:
https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae
**Please enter as  “anonymous” unless you have an RNP account

Abstract:

In this talk I will discuss some less known  historical and conceptual
points  behind the famous double-translation  theorem  of  Valery
Ivanovich Glivenko.
===

For past and future talks, please visit   https://seminarioscle.wordpress.com/

-- 
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/CAOrCsLejuzxyo-7LX%2B2DogGmV3UWJSSM_C3gxZXmHbYAbxTihw%40mail.gmail.com.

Re: [Logica-l] "Manuscrito" em primeiro lugar entre as revistas Latino-Americanas de Filosofia em 2019

[Walter Alexandre Carnielli]

Olá Andreia Obrigado, em nome do CLE.

Manuscrito está no SciELO disponível eletronicamente.  "Cadernos"  parou de
circular,  e o Kant e-prints não sei como está .

Em todo  caso,  quem deve responder isso com  maior credibilidade é o
Marcelo, como diretor.

Abraços,

Walter

Em dom, 14 de jun de 2020 16:43, Andrea Loparic 
escreveu:

> Parabéns! Mas, por falar nisso, faz tempo que não recebo mais as revistas
> do CLE
>
> Em dom., 14 de jun. de 2020 às 16:38, Walter Alexandre Carnielli <
> walte...@unicamp.br> escreveu:
>
>> Colegas:
>>
>> Para  comunicar  uma boa notícia:
>>
>>  A   revista "Manuscrito" do Centro de Lógica  da Unicamp está em
>> primeiro lugar entre as  revistas Latino-Americanas de Filosofia em
>> 2019:
>>
>>
>> https://www.scimagojr.com/journalrank.php?category=1211&area=1200&country=Latin%20America
>>
>> Parabéns ao Marco Rufino, editor de Manuscrito, ao Diretor do CLE
>> Marcelo, Coniglio e aos funcionários dedicados do CLE!
>>
>> W.
>>
>> --
>> 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/CAOrCsLfcYrHQc12O1GQtEXgJZrx4GFZtGfkMghtuQB6VXxYV1A%40mail.gmail.com
>> .
>>
>

-- 
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/CAOrCsLeBKGmUzj-wt2S87su8ZOj_weZ06FWMo9%2BGHP4sjg9%3DvA%40mail.gmail.com.

[Logica-l] "Manuscrito" em primeiro lugar entre as revistas Latino-Americanas de Filosofia em 2019

[Walter Alexandre Carnielli]

Colegas:

Para  comunicar  uma boa notícia:

 A   revista "Manuscrito" do Centro de Lógica  da Unicamp está em
primeiro lugar entre as  revistas Latino-Americanas de Filosofia em
2019:

https://www.scimagojr.com/journalrank.php?category=1211&area=1200&country=Latin%20America

Parabéns ao Marco Rufino, editor de Manuscrito, ao Diretor do CLE
Marcelo, Coniglio e aos funcionários dedicados do CLE!

W.

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

Re: [Logica-l] Women in Logic: repetindo informacoes

[Walter Alexandre Carnielli]

Oi Valéria,

Obrigado,valeu para  bem mais de uma pessoa!

By the way, aprovo com todas as letras a sugestão implícita do Cifuentes a
respeito da Ayda Arruda que voce encampou :-)

Eu, Itala e outr@s fomos alunos da Ayda, eu a conheci muito bem e tenho
muitas histórias e lembranças, uma mulher dedicadíssima que nos deixou
muito jovem.

Abs
Walter

Em sáb, 13 de jun de 2020 13:17, Valeria de Paiva 
escreveu:

> Obrigada Professor Cifuentes pela mensagem! bom saber que valeu pra pelo
> menos uma pessoa.
>
>
>
> *From: *josé carlos cifuentes 
> *Date: *Saturday, June 13, 2020 at 6:06 AM
> *To: *Valeria de Paiva 
> *Cc: *Lista de LOGICA 
> *Subject: *Re: [Logica-l] Women in Logic: repetindo informacoes
>
>
>
> Gente, eu sou um daqueles que não sabia de todas essas plataformas.
> Obrigado pela informação.
>
>
>
>
>
>
> 
>
> Livre de vírus. www.avast.com
> .
>
>
>
>
> Em sáb., 13 de jun. de 2020 às 01:26, Valeria de Paiva <
> valeria.depa...@gmail.com> escreveu:
>
> Gente,
>
> parece que algumas pessoas nao sabem de algumas das iniciativas que nos
> temos tomado pra aumentar a representatividade de mulheres na logica no
> Brasil.
>
>
>
> Nos temos uma planilha
> https://docs.google.com/spreadsheets/d/1wj8wtZ4bNJOe-sFYOeMgurmVhaUojwXbe7bzkBLXH9s/edit#gid=1
>
> onde gostariamos que todas as logicas se inscrevessem. Estudantes ou
> professoras, iniciantes ou nao, logicas mais matematicas, logicas mais
> filosoficas, logicas mais de computacao ou da linguistica. ou nao. A ideia
> dessa planilha 'e  ter um lugar onde organizadores de eventos possam buscar
> inspiracao, quando quiserem convidas palestrantes ou membros de comite de
> programas.
>
>
>
> Nos tambem temos um grupo no facebook chamado "Women in Logic" (com quase
> 500 membros) https://www.facebook.com/groups/WomenInLogic e um blog tb
> chamado "Women in Logic"
> https://womeninlogic.blogspot.com/2020/04/logic-and-biology-last-years-women-in.html,
> alem de uma workshop internacional chamada (you've guessed!) "Women in
> Logic", cuja quarta edicao, virtual, acontece dia 30 de junho de 2020, como
> parte do Summer of LoVE in Paris,
> https://sites.google.com/g.uporto.pt/wil2020/home.
>
>
>
> Espero que voces todas (e todos) ja' soubessem dessas iniciativas e que eu
> esteja apenas repetindo informacoes antigas. se algo nao for claro e se
> quiserem mais informacoes e' so' contactar qq uma do nosso coletivo
> feminista.
>
>
>
> abracos logicos,
>
> Valeria
>
>
> --
>
> Valeria de Paiva
> http://vcvpaiva.github.io/
> http://www.cs.bham.ac.uk/~vdp/
>
>
>
> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXvTxELyE2350cu_k7thZuJB_n%3Doacj5JRA7%3DYveY3_UYA%40mail.gmail.com
> 
> .
>
> --
> 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/CAEQwYASDq95B1thWmU_vjmneyGLJduFhBfuQT3ycsw_5iEnXQA%40mail.gmail.com
> 
> .
>
> --
> 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/BYAPR07MB467846B6075FEC9D6871AC02F49E0%40BYAPR07MB4678.namprd07.prod.outlook.com
> 
> .
>

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

Re: [Logica-l] Inclusive Logic: o castelo anglófono

[Walter Alexandre Carnielli]

Prezada Nastassja, c/c tod@as

Obrigado pelas considerações-   tenho certeza que você tem o sucesso
relativo à sua área. Mas não se deixe enganar pelas aparência: como
dizem, o diabo só é cheio de truques porque é mais velho que todo
mundo :-)
Meu modesto sucesso se deve em boa  parte a meus colaboradores,
ex-estudantes, orientandos de  mestrado , doutorado  e pós-doutorado,
uma boa porção desta lista:
 só para mencionar os  ex: Rodrigo Freire, Alfredo Freire. (que muita
gente pensa que são parentes, mas só são parecidos na  inteligência),
João Marcos, Mamede Lima-Marques, Carlos CIfuentes, Tony  Marmo,
Henrique Antunes, Bruno Mendonça, Pedro Lemos, Mariana Matulovic,
Juan Carlos Agudelo, Pietro Kreitlon Carolino,  Samir  Gorsky, Juan
Carlos Agudelo, Alexandre  Costa Leite, Anderson de Araújo
Edson Bezerra.  Maria Cláudia  Grácio, Tomás Barrero...  nem menciono
os colaboradores e. pós-docs para não encher a Lista.

Você diz que gostaria  mesmo de saber, honestamente,  das ações
realizadas.  Vou lhe contar (e conto a  todos que porventura não
saibam) de  uma ação a  que tenho me dedicado há uns 25  anos, com
muito pouco sucesso na qual, mas
na qual continuo teimosamente . Esta ação tem a ver com o
"imperialismo linguístico". e com o "castelo anglofônico",  bastante
mencionado aqui hoje:   sou um defensor da Interlíngua inventada por
Giuseppe Peano,  como uma alternativa à anglo-dominação.


Há. quase  20 anos. publiquei um artigo em Interlingua na  Revista
Eletrônica Informação e Cognição, v.4, n.1, p.61-73, 2002-2005;
segue um pequeno trecho para que se veja que sem mesmo estudar  uma
linha,
consegue-se. entender quase tudo. Escrever é bem fácil, porque as
regras  gramaticais. se reduzem a poucas   regras.  Esta entrada
Wikipedia é um bom lugar  para se  começar:
https://pt.wikipedia.org/wiki/Latino_sine_flexione

=
"Le logica impecabile del irrational"
  1. Parve historia e importantia philosophic del paraconsistentia

Le historia del investigation logic super le inconsistente o le
contradictori non es longe. Le duo (assi considerate) fundatores,
laborante in modo independente e vidente le question ab differente
perspectivas, esseva le logico polonese Stanislaw Jaskowski e le
logico brasilian Newton C. A. da Costa. Le prime publicava su ideas in
lingua polonese in 1948 e 1949, e ha apparite in lingua anglese solo
in 1968 (cf. [Jas48]). Le secunde introduceva su ideas in un these
durante le annos sexanta, e ha apparite in lingua anglese in [dC74].
Comoqunque, per alcune persone, le duo fundatores son tre (un ver
situation contradictori): le logic norte-american David Nelson in 1949
jam publicava in [Nel49] ideas e resultates supra theorias matematic
“inconsistente” sed non “supracomplete”.

Aqui:
https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=&ved=2ahUKEwiI5Pi_-_rpAhWBK7kGHVdOCSkQFjABegQIAhAB&url=https%3A%2F%2Frevistas.marilia.unesp.br%2Findex.php%2Freic%2Farticle%2Fview%2F723%2F625&usg=AOvVaw0J0_jsV32gTfrd3P1YqcbU


Há objeções óbvias, como "é uma língua  sem história literária",
"pouca gente fala",  e outras  mais idiotas, como "FIca. difícil para
os anglófonos aprender"...
Mas  será que  o "inglês acadêmico " falado e escrito  meio porcamente
por todos nós, tem "história literária"? Minha proposta é usar esta
língua para escrever  ciência e para se corresponder academicamente,
como fizeram grandes cientistas por séculos.

O "Principia Mathematica" de Newton foi escrito em latim; Euler
escrevia quase tudo em latim,   Leibniz se correspondia em latim. E
tantos outros.

Já. ouvi   lógicos latino-europeus  muito famosos (não se  esqueça de
que franceses , espanhóis e italianos, para além dos portugueses,
entre outros, são latinos culturalmente). manifestarem um viralatismo
incrível:
"Se eu escrever em Interlíngua, os ingleses e americanos vão achar que
sou incapaz. de falar a língua deles"!!

Quem sabe agora, com este. esforço de  liberdade que estamos
vivenciando (inclusive com a iniciativa do Supergroup) , pode ser a
hora?

Abs,

Walter

Em qui., 11 de jun. de 2020 às 19:48, nastassja pugliese
 escreveu:
>
> Caro Walter Carnielli, querido Marcos Silva, caro Marcelo Finger, Rodrigo 
> Feire, Jean-Yves e colegas da lista,
>
> Muito interessantes as histórias pessoais de cada um com a academia 
> internacional. Eu ficaria um tempão ouvindo porque sei que as anedotas são 
> interessantes para pensar nosso lugar no cenário mais amplo. Eu também tenho 
> várias histórias absurdas no meu repertório dado que morei quase 7 anos nos 
> Estados Unidos fazendo meu pleno.
>
> Tenho certeza de que cada um de nós já passou por diversas situações 
> lamentáveis e outras, nem tanto, afinal cada um de vocês aqui (todos nós) 
> temos uma trajetória acadêmica de sucesso.
>
> Sucesso sim. Pensem como nesta lista operam vários filtros que tornam minha 
> caracterização correta: somos “sobreviventes” de uma luta por um lugar na 
> academia, publicam

Re: [Logica-l] Day of Inclusive Logic

[Walter Alexandre Carnielli]

João , peço desculpas mas eu li a iniciativa,  e não consegui  entender
claramente do que se vai tratar nesses slots. Imagino que isso  reflita a
dúvida de outros.

Voce vai usar como:

Space where you can feel free to share the various ways you or others have
been disadvantaged (of course, there is no need to sign these testimonies)



ou como


Space where you can feel free .. ?


Abs
Walter




Em ter, 9 de jun de 2020 20:47, Joao Marcos  escreveu:

> PessoALL:
>
> I have just signed for the time slot "20:00-20:59 GMT"
> (das 16:00 às 16:59, no horário de Brasília).
>
> Creio que seria interessante que mais gente deste canto do mundo
> participasse do evento (tanto neste slot quanto em outros que já
> tenham sido preenchidos ou que estejam por preencher).
> Quanto mais cores, melhor!  Considerem-se bem-vindos!
> Joao Marcos
>
>
> On Tue, Jun 9, 2020 at 4:12 PM Shay Logan  wrote:
> >
> > Dear Cheerful Logicians,
> >
> > Tomorrow, June 10 from 0:00-23:59 GMT, we will be holding a Day of
> Inclusive Logic.
> >
> > This is an informal virtual event where we work together to address
> various inequities in logic. The date and time of the event has been chosen
> to coincide with the ShutDownSTEM strike also going on on June 10. This
> strike is affiliated with the global protests against inequity and systemic
> racism that have erupted in the wake of the police killing of George Floyd
> in Minneapolis.
> >
> > A google document with suggestions for what to do during this time is
> available here. A small number of time slots have designated hosts, but
> most time slots are open. If you want to show up when someone in particular
> is present, use the schedule in the google document to find out when that
> person will be around. If you show up and nobody else is present,
> congratulations! You're the host.
> >
> > A dedicated zoom room for this event can also be found here:
> https://ksu.zoom.us/j/97578446498
> > password: 184783.
> >
> > Let's try to spend the day making logic a better space for everyone, in
> all the ways that matter.
> >
> > Yay for inclusive logic!
> >
> > Shay
> >
> > --
> > 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/CAMTR993G-12emEXT_5r2eJYBtRLhjfsLcKOE1OxZkb%3DOmpa1aQ%40mail.gmail.com
> .
>
>
>
> --
> http://sequiturquodlibet.googlepages.com/
>
> --
> 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_Lh0xUjrmxn9c5z4rGLP61yGL-Xo%3DScG2LM2y2QCkogmJQ%40mail.gmail.com
> .
>

-- 
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/CAOrCsLczJT8uuTKuFuemnZ_fhf26YnWiXfSff7WNTgRfHfH_%3Dg%40mail.gmail.com.

Re: [Logica-l] The Normal and Self-extensional Extension of Dunn–Belnap Logic

[Walter Alexandre Carnielli]

Obrigado João!
Resposta mais rápida, e melhor, do que poderia!

Abs
Walter

Em sex., 29 de mai. de 2020 às 15:57, Joao Marcos  escreveu:
>
> > A primeira dúvida que surge é a seguinte: por que na linguagem há disjunção 
> > e negação, mas não há implicação material?
>
> (A pergunta foi especificamente para o Walter, mas a lista é pública, logo...)
>
> Do abstract citado:
> "It is known that no three-valued paraconsistent logic which has an
> implication can be self-extensional."
> Avron, A., Béziau, J.-Y.: Self-extensional three-valued paraconsistent
> logics have no implication. Log. J. IGPL 25, 183–194 (2017)
>
> (Em contraste, no novo paper Avron demonstra que há exatamente uma
> extensão auto-extensional da lógica 4-valorada de Dunn-Belnap com o
> acréscimo de uma implicação dedutiva.)
>
> JM
>
> On Fri, May 29, 2020 at 3:49 PM Antonio Marmo  wrote:
> >
> > Caros Walter e demais amigos estimados,
> >
> > Esse tema que o nosso bom Jean-Yves levantou, no tocante às contribuições 
> > do autor citado, o Avron, é intrigante e curioso. Num resumo de um artigo 
> > de 2017, cujo título é “Self-Extensional Three-Valued Paraconsistent 
> > Logics”, também publicado na LU, ele coloca as coisas assim:
> >
> > “A logic L is called self-extensional if it allows to replace occurrences 
> > of a formula by occurrences of an L-equivalent one in the context of claims 
> > about logical consequence and logical validity. It is known that no 
> > three-valued paraconsistent logic which has an implication can be 
> > self-extensional. In this paper we show that in contrast, there is exactly 
> > one self-extensional three-valued paraconsistent logic in the language of 
> > {¬, ∧, ∨}, for which ∨ is a disjunction, and ∧ is a conjunction.(...)”
> > ∧
> >
> > A primeira dúvida que surge é a seguinte: por que na linguagem há disjunção 
> > e negação, mas não há implicação material?
> >
> > Acho que você, Walter, poderia aclarar em breves linhas aclarar esse ponto 
> > para todos poderem seguir melhor essa discussão. Obrigado.
> >
> >
> > https://independent.academia.edu/TonyMarmo
> >
> > On 29 May 2020, at 12:26, Walter Alexandre Carnielli  
> > wrote:
> >
> > Car@s,
> >
> > contribuindo para a discussão  (Joao, Jean-Yves) gostaria de dar meu  
> > pitaco:
> >
> > De fato, o paper  "Bivalent semantics, generalized compositionality
> > and analytic classic-like
> > tableaux for finite-valued logics" é excelente, e está disponível
> > para  download no próprio site;
> >
> > Mas  só gostaria de lembrar dois pequenos pontos:
> >
> > 1) Nosso artigo   mais antigo  (com  João, Marcelo, Caleiro) :
> >
> > C. Caleiro, W. Carnielli, M.E. Coniglio, J. MarcosTwo's company: “The
> > humbug of many logical values”
> > J.-Y. Béziau (Ed.), Logica Universalis, Birkhäuser Verlag, Basel,
> > Switzerland (2005), pp. 169-189
> >
> > traz a semente, de forma bastante intuitiva, da questão da
> > "separabilidade", e ainda mostra o "trade off" entre  dar
> > uma semântica de dois valores não-vero-funcional e uma de vários
> > valores plenamente funcional.
> > Acho que vale a pena chamar  a atenção  para este artigo   aos
> > leitores mais jovens, ou que queiram  ingressar na questão.
> >
> > 2) Outro ponto é que de fato, como o João menciona, nosso paper
> > recente (submetido)  contribui bastante para esta discussão.
> >
> > "Logics of Formal Inconsistency enriched with replacement: an
> > algebraic and modal account ""
> > (Carnielli, Coniglio, Fuenmayor)
> > https://www.cle.unicamp.br/eprints/index.php/CLE_e-Prints/article/view/1348/1079
> >
> >
> > Abraços,
> >
> > Walter
> >
> > Em sex., 29 de mai. de 2020 às 11:54, Joao Marcos  
> > escreveu:
> >
> >
> > Viva, JY:
> >
> >
> > do  Arnon Avron,
> >
> > foi publicado ha pouco na Logica Universalis
> >
> > https://link.springer.com/article/10.1007/s11787-020-00254-1
> >
> >
> > Com foi mostrado num artigo anterior
> >
> > não ha logicas paraconsistentes trivalentes  auto-extensionais que tem uma 
> > implicação:
> >
> > A.Avron and J.-Y.Beziau, “Self-extensional three-valued paraconsistent 
> > logics have no implication”, Logic Journal of the IGPL, Volume 25, Issue 2 
> > (April 2017), pp.183-194.
> >
> > https://academic.oup.com/jigpal/article-abstract/25/2/183/2739325/Self-extensional-three-valued-paraconsistent?redirectedFrom=f

Re: [Logica-l] The Normal and Self-extensional Extension of Dunn–Belnap Logic

[Walter Alexandre Carnielli]

Car@s,

contribuindo para a discussão  (Joao, Jean-Yves) gostaria de dar meu  pitaco:

De fato, o paper  "Bivalent semantics, generalized compositionality
and analytic classic-like
 tableaux for finite-valued logics" é excelente, e está disponível
para  download no próprio site;

Mas  só gostaria de lembrar dois pequenos pontos:

1) Nosso artigo   mais antigo  (com  João, Marcelo, Caleiro) :

C. Caleiro, W. Carnielli, M.E. Coniglio, J. MarcosTwo's company: “The
humbug of many logical values”
J.-Y. Béziau (Ed.), Logica Universalis, Birkhäuser Verlag, Basel,
Switzerland (2005), pp. 169-189

traz a semente, de forma bastante intuitiva, da questão da
"separabilidade", e ainda mostra o "trade off" entre  dar
uma semântica de dois valores não-vero-funcional e uma de vários
valores plenamente funcional.
Acho que vale a pena chamar  a atenção  para este artigo   aos
leitores mais jovens, ou que queiram  ingressar na questão.

2) Outro ponto é que de fato, como o João menciona, nosso paper
recente (submetido)  contribui bastante para esta discussão.

"Logics of Formal Inconsistency enriched with replacement: an
algebraic and modal account ""
(Carnielli, Coniglio, Fuenmayor)
https://www.cle.unicamp.br/eprints/index.php/CLE_e-Prints/article/view/1348/1079


Abraços,

Walter

Em sex., 29 de mai. de 2020 às 11:54, Joao Marcos  escreveu:
>
> Viva, JY:
>
> > do  Arnon Avron,
> > foi publicado ha pouco na Logica Universalis
> > https://link.springer.com/article/10.1007/s11787-020-00254-1
> >
> > Com foi mostrado num artigo anterior
> > não ha logicas paraconsistentes trivalentes  auto-extensionais que tem uma 
> > implicação:
> > A.Avron and J.-Y.Beziau, “Self-extensional three-valued paraconsistent 
> > logics have no implication”, Logic Journal of the IGPL, Volume 25, Issue 2 
> > (April 2017), pp.183-194.
> > https://academic.oup.com/jigpal/article-abstract/25/2/183/2739325/Self-extensional-three-valued-paraconsistent?redirectedFrom=fulltext
> >
> > Neste novo  artigo o Arnon mostra que é possivel ter uma logica 
> > paraconistente quadri-valorada auto-extensional com uma implicação,
>
> Não apenas isso, vale apontar que Avron mostrou que há uma ÚNICA
> implicação que serve a este propósito.
>
> > respondendo a uma pergunta que eu tinha feito par ele quando estava em Tel 
> > Aviv trabalhando com ele em 2016 no ambito  do projeto GeTFun.
> > Acredito que esta nova logica parasonsistente (extensao da lógica de 
> > Dunn-Belnap) é uma das melhores que foi descoberta até hoje.
> >
> > Tenho intenção de publicar um artigo apresentando uma semantica bivalorade 
> > para esta nova lógica DBA (Dunn-Belnap-Avron), como eu fiz para a logica do 
> > Dunn-Belnap:
> > J.-Y.Béziau, “Bivalent semantics for De Morgan logic (the uselessness of 
> > four-valuedness)", in W.A.Carnielli, M.E.Coniglio, I.M.L.D'Ottaviano (eds), 
> > The many sides of logic, College Publication, London, 2009, pp.391-402.
> > https://www.jyb-logic.org/papers/morgan.pdf
> > é um exercicio trivial usando o teorema que eu provei na minha tese de 
> > doutrado establecededno relações entre regras de sequentes e bivalorações, 
> > que foi publicado no artigo:
> > J.-Y.Béziau, “Sequents and bivaluations”, Logique et Analyse, 44 (2001), 
> > pp.373-394.
> > https://www.jyb-logic.org/seqbiv.pdf
>
> De fato, JY, a semântica bivalente para a lógica proposta por Avron,
> como extensão para a lógica 4-valorada de Dunn-Belnap, é muito fácil
> de definir.  Basta acrescentar à semântica bivalente da lógica de De
> Morgan (usando a negação como "separador", usado na receita mencionada
> na digressão abaixo) as seguintes cláusulas para a implicação:
>
> b(\alpha\to\beta) = T  iff  b(\alpha) = F or b(\beta) = T
> b(\sim(\alpha\to\beta)) = F  iff  b(\sim\alpha) = T and b(\beta) = F
>
> Problema resolvido, então. :-b
>
> %%%
>
> DIGRESSÃO
>
> Vale recordar que hoje conhecemos mecanismos inteiramente automáticos
> para fornecer apresentações bivalentes para _qualquer_ lógica
> finito-valorada.  Aos interessados:
> https://sites.google.com/site/sequiturquodlibet/home/the-suszkian-odyssey
> A receita _mais geral_ pode ser encontrada no paper "Bivalent
> semantics, generalized compositionality and analytic classic-like
> tableaux for finite-valued logics".
>
> A dita receita foi aplicada, de fato, a uma extensão da lógica de
> Dunn-Belnap (e da "lógica de De Morgan") no paper "The value of the
> two values".
>
> Ainda, com relação ao problema de encontrar lógicas paraconsistentes
> "auto-extensionais", isto é, para as quais podemos demonstrar o
> teorema de substitutividade ("replacement"), vale notar que _toda_
> lógica modal normal é auto-extensional e pode ser apresentada como uma
> lógica paraconsistente.  Vide, em particular, o paper "Nearly every
> normal modal logic is paranormal", ou outros papers que publicamos
> sobre "negative modalities" (que tratam não apenas do fenômeno da
> paraconsistência, mas também da paracompletude).  Há infinitos
> soluções para o dito problema

[Logica-l] Postdoctoral position in mathematical logic, Vienna (Austria), Deadline: 15 Jun 2020

[Walter Alexandre Carnielli]

-- Forwarded message -
De: [LOGIC] Mailing List 
Date: ter, 26 de mai de 2020 14:08
Subject: [LOGIC] Postdoctoral position in mathematical logic, Vienna
(Austria), Deadline: 15 Jun 2020
To:


The University of Vienna seeks to fill the position as soon as possible of
a University Assistant (post doc) at the Faculty of Mathematics.

Reference number: 10788

The position is vacant for the period of absence of a member of staff.

Extent of Employment: 40 hours/week

Job grading in accordance with collective bargaining agreement: §48 VwGr.
B1 lit. b (postdoc) with relevant work experience determining the
assignment to a particular salary grade.

Job Description: The advertised postdoctoral position is in the
mathematical logic group (contact person: benjamin.mil...@univie.ac.at).
We are looking for a highly qualified researcher in mathematical logic.
The successful candidate should be able to actively contribute to the
research profile of the faculty, and teach courses in mathematical logic
(4 hours per semester). They will carry out personal tutoring and assist
in the continuous assessment and development of the teaching program. The
position is currently available, and its duration will be up to two years,
depending on the length of the absence of a member of staff.

Profile: A PhD is required for all candidates, as well as experience in
teaching and research. Past research should be documented by publications
in recognized scientific journals.

Additional qualifications include: strong teaching skills, goal
orientation and dedication to scientific excellence, and international
experience. The application package should contain: a letter of intent, a
scientific CV, a description of future research plans, a list of
publications and talks, teaching record, and three letters of
recommendation. Applicants will not be entitled to any refund of expenses
incurred due to the application process.

Applications including a letter of motivation (German or English) should
be submitted via the Job Center to the University of Vienna
(http://jobcenter.univie.ac.at) no later than 15.06.2020, mentioning
reference number 10788.

The University pursues a non-discriminatory employment policy and values
equal opportunities, as well as diversity
(http://diversity.univie.ac.at/). The University lays special emphasis on
increasing the number of women in senior and in academic positions. Given
equal qualifications, preference will be given to female applicants.

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and
Hamburg, and the ILLC at the Universiteit van Amsterdam

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

[Logica-l] Two postdoctoral research fellowships in proof theory (2y w/ possibility of extension), Birmingham (England), Deadline: 24 Jun 2020

[Walter Alexandre Carnielli]

-- Forwarded message -
De: [LOGIC] Mailing List 
Date: ter, 26 de mai de 2020 14:11
Subject: [LOGIC] Two postdoctoral research fellowships in proof theory (2y
w/ possibility of extension), Birmingham (England), Deadline: 24 Jun 2020
To:


Research Fellow in Proof Theory - School of Computer Science, University
of Birmingham, UK.

The School of Computer Science at the University of Birmingham is seeking
to appoint up to 2 Research Fellows (postdocs) in Proof Theory, for a
duration of 2 years (with possibility of extension). The theory group at
the University of Birmingham is one of the leading groups in logical
foundations of computer science, with expertise not only in Proof Theory
but also related areas such as Type Theory, Category Theory and
Mathematical Logic:



These positions are funded by a UKRI Future Leaders Fellowship "StrIP:
Structure vs Invariants in Proofs", led by Dr Anupam Das. The project aims
to develop the theory of 'cyclic proofs' and their connections to automata
theory. The principal responsibility of the fellow(s) will be to conduct
research, both collaboratively with Dr Das and other researchers at
Birmingham, and independently. The fellow(s) will also be supported in
career development and encouraged to pursue independent opportunities.

Qualifications and expertise

You will have (or be close to completing) a PhD in Logic (computer
science, mathematics or philosophy), or equivalent qualifications. You
will have an excellent research record, with expertise in some of the
following areas:

* Proof theory (in particular, deep inference or cyclic proofs).

* Automata theory (in particular, infinite word and tree automata).

* Mathematical logic (in particular, fragments of arithmetic or set
theory).

Application

Informal inquiries prior to application are encouraged and should be
directed to Dr Anupam Das . You may find further details
on the positions and instructions for applying here:



Practical information

Starting salary range: Ł30,942 - Ł40,322 (potentially progressing to
Ł42,792).
Application deadline: 24 June 2020.
Starting date: As soon as possible, but ideally no later than October 2020.
Duration: 2 years (with possibility of extension)--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and
Hamburg, and the ILLC at the Universiteit van Amsterdam

-- 
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/CAOrCsLfhrMbeMQGXAVSe9UFe%3DExSUdB0w-7EF_yNzD6K3N9xdQ%40mail.gmail.com.

[Logica-l] Several four-year PhD grants at the Faculty of Computer Science of the Free University of Bozen-Bolzano in Italy

[Walter Alexandre Carnielli]

Repassando a pedidos: excelente oportunidade .

Se não tivesse doutorado, e tivesse alguns anos a menos,  eu me
candidataria... 😁😁


*18 four-year grants* are offered by the Faculty of Computer Science
 of the Free University of Bozen-Bolzano
 in Italy for its PhD programme. Each grant amounts
to *68,000 €* (i.e., 17,000 euro per year, net after taxes); for research
visits abroad the grant increases up to 50%. Additional substantial extra
funding (including a personal budget of 2,500 euro per year) is available
for participation to international conferences, schools, workshops,
research visits. Some of the 18 PhD grants are supported by FBK
, CNR , University of Umeå
, and by software
companies, and interested candidates might carry out their PhD research in
collaboration with these external partners. The language of the PhD
programme is English.

The deadline for applications will be on the *13th of July, 2020*.

For more info, the call, and applications look at:
www.unibz.it/en/faculties/computer-science/phd-computer-science

The university is located in one of the most fascinating European regions,
the Dolomites . This young university has
already established itself as an important research institution, both in
Italy and abroad. According to the Times Higher Education World University
Rankings 2019
, the
university is the *ninth world’s best small university* and it is the
second best young Italian University, and its Faculty of Computer Science
is ranked among the 150 best Computer Science departments worldwide (in
absolute terms) and it is the 21st best Computer Science department
worldwide for scientific citations. According to the same ranking, the
Faculty of Computer Science of the Free University of Bozen-Bolzano is the
third best Italian computer science department, it is the best for
international outlook Italian computer science department, and it is the
best for citations Italian computer science department.

At this time of global uncertainty, you may be wondering whether your
application to the PhD programme will be affected. The Free University of
Bozen-Bolzano is in constant contact with the competent authorities to
monitor the development of the COVID-19 emergency to provide the adequate
preventive actions for the university community. It is possible that by
November 2020, when the PhD programme starts, some restrictive measures may
be in place: the university will support new students to go through the
initial process as smoothly as possible.

The KRDB Research Centre for Knowledge and Data  of the
faculty is widely recognised as one of the internationally leading groups
in Artificial Intelligence Knowledge Representation research, with a
synergy between foundational and application-oriented research. Among the
various available PhD topics (fully described in the call
),
the KRDB Research Centre is looking for PhD students interested in:



- Logic-based languages for knowledge representation;
- Intelligent data access and integration;
- Semantic technologies;
- Conceptual and cognitive modelling;
- Data-aware process modelling, verification, and synthesis;
- Business process monitoring, mining, and conformance;
- Temporal aspects of data and knowledge;
- Extending database technologies;
- Visual and verbal paradigms for information exploration;
- Reasoning with uncertain and imprecise knowledge.

To get in contact with the KRDB Research Centre  and
discuss about the opportunities of this call contact prof. Alessandro
Artale at art...@inf.unibz.it

-- 
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/CAOrCsLew-AoHwfEx3APZaemfGo6QB3HsWUZnND%3D%3D0kUPn4Ro%2Bg%40mail.gmail.com.

Re: [Logica-l] palestra no oxford set theory seminar

[Walter Alexandre Carnielli]

Muito bem Rodrigo,
 eu ia anunciar, e  você foi mais rápido. É uma satisfação saber que o
Alfredo está indo assim tão bem, e que aproveitou também os recursos da sua
bolsa da Fapesp .

Parabéns a você também Rodrigo,  pela ajuda que você deu uma orientação!

Abraços,
Walter

Em qui, 21 de mai de 2020 12:37, Rodrigo Freire 
escreveu:

> Olá,
>
> Destaco que a palestra virtual desta semana (ontem) do Oxford Set Theory
> seminar, apresentada por Joel Hamkins, foi dedicada ao trabalho conjunto
> com nosso colega Alfredo Roque Freire, que temos a alegria de ter aqui na
> Universidade de Brasília neste momento. O projeto de pesquisa sobre
> interpretações em teoria de conjuntos é muito interessante, tem sido tema
> de alguns dos nossos trabalhos. Para os interessados, o link é este:
>
> https://www.youtube.com/watch?v=8KxlpMOXoP4&t=20s
>
> O artigo completo dos dois autores deve aparecer em breve no JSL.
>
> Abraço
>
>
>
>
> --
> 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/CAExWzUKaCj0bdJ71yxxpeqaLtyF6LcQe0MPXH-3VVdZ5o8HZeQ%40mail.gmail.com
> 
> .
>

-- 
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/CAOrCsLf%2BNnBdgnYnnXW6-q0ufxWvF%2Bu26Dt-jwfqeQFtqAhu8A%40mail.gmail.com.

[Logica-l] Invitation/ Convite- Colloquium Logicae @CLE-Unicamp

[Walter Alexandre Carnielli]

Carxs colegas e estudantes:

Convidamos a toda(o)s para nos acompanhar nos seminários virtuais do
CLE  "Colloquium Logicae @CLE-Unicamp" , que faremos via Conferência
Web, uma plataforma nacional gratuita (aparentemente) bem melhor que
Zoom, SKype ou Google Meet.

O "Colloquium Logicae @CLE-Unicamp"  agora faz parte do  “Logic Supergroup”
 https://logic.uconn.edu/supergroup/

Abraços,
Walter


=
Colloquium Logicae @CLE-Unicamp

This is a  virtual session of the  Colloquium Logicae,
traditional conferences held the Centre for Logic,
Epistemology and the History of Science at Unicamp,
now linked to the “Logic Supergroup” organized by
the University of Connecticut Logic Group:
 https://logic.uconn.edu/supergroup/


More  information at  https://seminarioscle.wordpress.com/

===
Next  talks:

"On some recent criticisms to the logics of evidence and truth "
Abilio Rodrigues
Department  of Philosophy
UFMG Belo Horizonte, Brazil

Wednesday, May 20th, 2020,  14:00  São  Paulo/Brasília time (2:00 PM,
GMT -3 hours)

Abstract:

The aim of this talk is to clarify some misunderstandings and to reply
to some criticisms that have been made on logics of evidence and truth
(\textit{LET}s) and the epistemic approach to paraconsistency.
Some new developments of \textit{LET}s will also be presented and
discussed.


=
"Remarks on a nice theorem  of Monsieur Glivenko"
Itala M. L. Loffredo D' Ottaviano
Department  of Philosophy  and
Centre for Logic, Epistemology and the History of Science
University of Campinas –UNICAMP at Campinas, SP,  Brazil

Wednesday, June  17th, 2020,  14:00  São  Paulo/Brasília time   (2:00
PM,  GMT -3 hours)

Abstract:

In this talk I will discuss some less known  historical and conceptual
points  behind the famous double-translation  theorem  of  Valery
Ivanovich Glivenko.

==
"Logics of Formal Inconsistency and a solution to the  problem of replacement"

Marcelo E. Coniglio
Department  of Philosophy  and
Centre for Logic, Epistemology and the History of Science
University of Campinas –UNICAMP at Campinas, SP,  Brazil

Wednesday, July 15th, 2020,  14:00  São  Paulo/Brasília time (2:00 PM,
 GMT -3 hours)


Abstract:

One of the most desired properties of a logical system is that it can
be algebraizable, in the sense that an algebraic counterpart of the
deductive machinery could be found. Since the inception of da Costa's
paraconsistent calculi, an algebraic equivalent for such systems have
been searched. It is known that these systems are not algebraizable
neither in the standard sense nor in the sense of Blok-Pigozzi The
same negative result holds for several systems of the hierarchy of
paraconsistent logics known as Logics of Formal Inconsistency (LFIs).
 In this talk

I  shall expound a  solution for this problem, showing how  LFIs  can
satisfy the
replacement property. The weakest LFI satisfying replacement presented
 is called RmbC,  and I intend to clarify the role of the  BALFI
(Boolean algebras with LFI operators)  and  neighborhood. semantics
for RmbC

=
Please enter at

https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae

and register  under  your name as "anonymous"

-- 
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/CAOrCsLf5JwrUR6T4ai2imo3Ytimxxyhh0C1Gp%2B%3DXzKiExf2PwQ%40mail.gmail.com.

[Logica-l] Link: CLE- Unicamp no "Logic Supergoup"

[Walter Alexandre Carnielli]

Colegas,


As coordenadas para a sessão do Colliquium Logicae -CLE  co-organizado pelo
MCMP -LMU Munique como parte do "Logic Supergoup" são :

Zoom
Meeting ID:  925-6562-2309
Password: 621422

Abs

Walter


Em ter, 28 de abr de 2020 00:01, Walter Carnielli <
walter.carnie...@gmail.com> escreveu:

> Colegas:
>
> O CLE- Unicamp agora faz parte também da corrente do "Logic Supergoup"
>  com seu Colloquium Logicae, juntamente com a SBL e  varias  outras
> instituicoes.
>
> https://seminarioscle.wordpress.com/
>
> Fique em casa quem  puder,
> Walter
>
> --
> ---
> Walter Carnielli
>  https://waltercarnielli.com/
>
> Centre for Logic, Epistemology and the History of Science and
> Department of Philosophy
> State University of Campinas –UNICAMP
> 13083-859 Campinas -SP, Brazil
>
>  CV Lattes : http://lattes.cnpq.br/105496835379
>
> --
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L"
> dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58N_KwKVuBRkUN5g%2B2d4HR%2BYoiv-%3D96xBxctiRPYdN0pYw%40mail.gmail.com
> .
>

-- 
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/CAOrCsLe5czJNB%3DHreU1zzw-z11c0oJ_Q4psv2jVMXT%2BJLNCt%2BA%40mail.gmail.com.

[Logica-l] Horário da palestra remota no LMU-Munique amanhã: 11:15

[Walter Alexandre Carnielli]

 Car@s ,   agradeço pelas mais de uma dúzia de mensagens que recebi
perguntando o
horário :-)

O seminário da minha palestra de  amanhã 23/04,  será às  11:15. da
manhã,  horário de Brasília/São Paulo

"The Brazilian Paraconsistency Program and its unfoldings"



Via Zoom   https://zoom.us/
Meeting ID: 925-6562-2309
Password: 621422

Abraços,

Walter

-- 
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/CAOrCsLc%2BKXEcfAUW--zKPuEOjTh40K6mQ978fHFGVOrW%3DmpxPw%40mail.gmail.com.

[Logica-l] Palestras remotas organizadas pelo Munich Center (LMU Munique)

[Walter Alexandre Carnielli]

Colegas:

  Nesta quinta-feira  23/04  farei uma palestra  remota via Zoom,
através do LMU- Munique.
A participação é aberta através do ID e senha abaixo.

Na próxima  quinta-feira 30 de abril. no mesmo horário a Juliana  fará
sua palestra também.

Gostaria de ver vocês por lá!

Abraços,

Walter


Remote Talk organized by  the  Munich Center (Ludwig-Maximilians-Universität
München),  Thursday  April  23th, 2020

Via Zoom   https://zoom.us/
Meeting ID: 925-6562-2309
Password: 621422



"The Brazilian Paraconsistency Program and its unfoldings"
Walter Carnielli
Centre for Logic, Epistemology and the History of Science- CLE
University of Campinas-Unicamp
walte...@unicamp.br

This talk intends to expound the main ideas. and collaborators under
the  Brazilian Paraconsistency Program (BPP) as founded in the Logics
of Formal Inconsistency (LFIs) and in the Logics of Formal
Undeterminateness (LFUs). The main academic developments under
investigation at BPP are in the areas of:

- The foundations of BPP (collaboration  with J. Marcos, M.E. Coniglio))
-Philosophy: Contradictions do not need to be ‘real’, they can be
understood at the level of information and evidence (collaboration with
A. Rodrigues. H. Antunes. B. Mendonça);
-Information and reasoning: Paraconsistent logics can be added to our
arsenal of rationality, especially when combined with quantitative
methods: probability, credal calculi and evidence expanded
(collaboration with  A. Rodrigues, J. Bueno-Soler);

-Foundations of mathematics: new and natural set theories, models for
such theories (collaboration with  M.E. Coniglio);
-New semantics for non-standard logics: possible-translations
semantics, society semantics, Fidel structures, twist structures
(collaboration with  M.E. Coniglio , A. Figallo-Orellano. M. C. Golzio);
-New perspectives on Gödel’s Incompleteness: proofs of incompleteness
cannot be obtained in the paraconsistent paradigm (experimenting with
automatic proof theory, Isabelle) (collaboration   with  D. Fuenmayor).

Two basic questions to be addressed are:

1) What is the nature of contradictions that are accepted in
paraconsistent logics?
2) Can paraconsistent logics be really useful?

The talk also intends to explain why BPP has  gained influence on contemporary
computer science, since databases, especially Big Data and the World
Wide Web, automatization of complex arguments, etc, are almost
inevitably contradictory.



Remote Talk organized by  the  Munich Center (Ludwig-Maximilians-Universität
München),  Thursday  April  30th, 2020

Via Zoom   https://zoom.us/
Meeting ID: to be announced
Password:   to be announced

"Plain fibring combination of polynomic logics"
Juliana Bueno-Soler
School of Technology
University of Campinas
juliana.buenoso...@gmail.com

The combination of logics is a powerful technique which permits
systematic generation of new logic systems. Combinations can be
homogeneous or heterogeneous depending whether the systems combined
are or not presented by the same proof methods. In this talk I
consider the homogeneous technique of Plain Fibring which is dedicated to
combining logics defined by matrix semantics.

The polynomial ring calculus is a technique which permits to describe a
logical system by a set of finite polynomials defined over an appropriate
field. This method can be applied to different classes of logics as many-valued
logics, modal logics, paraconsistent logics and first order logic.

A natural question is whether it is possible to obtain systematically
a polynomial ring calculus for the combined systems. In order to
answer this question wedefine the method of plain fibring of polynomic
logics (polynomial
representations of matrix logics), as a companion to the method of
combining matrix logics, proposed by M. E. Coniglio and V. Fernandez
and fully developed in the book"Analysis and Synthesis of Logics",
Canielli et allia, Springer, 2007.(This is a joint workwith Mariana
Matulovic.)

-- 
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/CAOrCsLe5_aGJd%3D7s_VhOfpcigvsyRZxGXF2W6QAJQLemfj0PCw%40mail.gmail.com.

Re: [Logica-l] Re: LFIs com replacement

[Walter Alexandre Carnielli]

Caro Umberto:

Muito obrigado pela  observação. Talvez devêssemos escrever mais
claramente, mas acho que a explicação do Marcelo  esclarece nossa
intenção.

Abraços,

Walter

Em qui., 26 de mar. de 2020 às 11:36, Umberto Rivieccio
 escreveu:
>
>
> Caro Walter,
>
> Um detalhe no abstract:
>
> It is known that these systems are not algebraizable in the sense of 
> Blok-Pigozzi since they are non self-extensional (i.e., they do not satisfy 
> the replacement property).
>
> Uma lógica pode ser algebraizable e non-self-extensional ao mesmo tempo (por 
> exemplo a lógica de Lukasiewicz, a lógica de Nelson etc.). A replacement 
> property que falha no caso das LFIs (imagino) não é relativa (apenas) à 
> inter-derivabilidade da lógica, e sim à equivalência entre fórmulas definida 
> usando (imagino) a implicação e/ou outros conectivos da lógica.
>
> Abraços,
>
> Umberto
>
>
> --
> 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/F6AA8744-8AC8-4529-95FD-75EBA56C7404%40gmail.com.

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