[Logica-l] Fwd: Postdoc position in Rome Tor Vergata (deadline, November 18th)

[Marcelo Esteban Coniglio]

-- Forwarded message -


PURITY AND SIMPLICITY OF MATHEMATICAL PROOFS
(12 months postdoc position, University of Rome Tor Vergata.
Supervisor: Gabriele Pulcini)

A one-year postdoc position is now open at the Dep. of Literary,
Philosophical and Art History Studies, University of Rome Tor Vergata.
The position is founded by the Italian Ministry of Education,
Universities and Research within the national project PUMa (Proof and
understanding in mathematics) involving the Scuola Normale in Pisa,
the IUSS in Pavia, and the universities of Torino and San Raffaele in
Milan.

The postdoctoral researcher is expected to carry out his research in
the fields of proof-theory and philosophy of mathematics. In
particular, the focus shall be on Hilbert's 24th problem concerning
the possibility to devise logico-mathematical criteria for determining
the simplest, given two demonstrations of the same theorem. The
problem of the "purity of methods" in mathematics -- especially in
connection with the one about the simplicity of proofs -- can be also
considered as a central issue. The research shall be led by examining
both formalized and "ordinary", non-formalized, proofs as they occur
in the mathematical practice.

Gross income: 25000 euros per year

Web page for online applications (English version available):
https://pica.cineca.it/uniroma2/f1-2023-0071/

Deadline: November 18, 2023

Email me for informal enquiries:
gabriele.pulc...@uniroma2.it



—
Gabriele Pulcini

Associate Professor
Dep. of Literary, Philosophical and Art History Studies
Tor Vergata School of Humanities
Via Columbia 1 — 00133 Roma
—

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

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

Re: [Logica-l] Livro em homenagem à obra de Décio Krause

[Marcelo Esteban Coniglio]

Parabéns Raoni e Jonas, é um volume excelente!!
E parabéns ao Décio também, pela merecida homenagem!

Abraços

Marcelo

Em qui., 7 de set. de 2023 às 11:29, Raoni Wohnrath Arroyo
 escreveu:
>
> Oi pessoal,
>
> peço licença pra divulgar o seguinte livro em homenagem ao filósofo 
> brasileiro Décio Krause, pois acredito que possa ser do interesse da 
> comunidade de lógica do Brasil.
>
> Arenhart, J.R.B., Arroyo, R.W. (eds) Non-Reflexive Logics, Non-Individuals, 
> and the Philosophy of Quantum Mechanics: Essays in Honour of the Philosophy 
> of Décio Krause. Synthese Library, vol 476. Springer, Cham, 2023. 
> https://doi.org/10.1007/978-3-031-31840-5
>
> About this book: "This book discusses the philosophical work of Décio Krause. 
> Non-individuality, as a new metaphysical category, was thought to be strongly 
> supported by quantum mechanics. No one did more to promote this idea than the 
> Brazilian philosopher Décio Krause, whose works on the metaphysics and logic 
> of non-individuality are now widely regarded as part of the consolidated 
> literature on the subject. This volume brings together chapters elaborating 
> on the ideas put forward and defended by Krause, developing them in many 
> different directions, commenting on aspects not completely developed so far, 
> and, more importantly, critically addressing their current formulations and 
> defenses by Krause himself. Given that Krause’s ideas do connect directly and 
> indirectly with a wide array of subjects, such as the philosophy of quantum 
> mechanics, more broadly understood, the philosophy of logic and logical 
> philosophy, non-classical logics, metaphysics, and ontology, this volume 
> contains important material for the research on logic and foundations of 
> science, broadly understood. All the invited contributors have already worked 
> with the ideas developed by Décio (some of them still work with them), being 
> also distinct authors and extremely relevant in their areas of expertise. The 
> volume is aimed at philosophers, including those of physics and quantum 
> mechanics."
>
> Abraços,
> Raoni
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 
> 
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/806ca00a-e2f1-48bf-9d9c-703160a306b8n%40dimap.ufrn.br.

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

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

[Logica-l] Fwd: [LanCog] Job announcement: Postdoctoral Fellowship in Substructural Logics and Their Philosophy at the University of Lisbon

[Marcelo Esteban Coniglio]

-
The Centre of Philosophy of the University of Lisbon announces the
selection procedure for a 12 month postdoctoral position in
substructural logics and their philosophy, within the R project ‘New
Perspectives on the Objects and Grounds of Structural Rules'
(2022.03194.PTDC; PIs: Bogdan Dicher and Elia Zardini).

(More information about the project is available at
https://cful.letras.ulisboa.pt/lancog/cfulprojects/new-perspectives-on-the-objects-and-grounds-of-structural-rules-ogsr/
(or in Portuguese at
https://www.letras.ulisboa.pt/pt/investigacao/i-d/projectos-de-investigacao#financiamento-nacional-2).

The scholarship holder is expected to develop high-quality research
work, of a philosophical or technical nature, on substructural logics.
Other duties include supporting the research, communication and
dissemination activities pertaining to the project, a small amount of
administrative work pertaining to the management of the project, as
well as participation in the activities of the research group in the
framework of which the project is integrated.

Applicants should have received their doctoral degree no earlier than
three years before the date of submission of the application.

Application period: 15/02/2023-15/03/2023 (23:59 Lisbon time).

Stipend: 1686,00€ (tax free)

Start date: 01/06/2023

Application documents

The candidates should send, the following documents to
c.filoso...@letras.ulisboa.pt (cc: bdic...@edu.ulisboa.pt) no later
than 23:59 (Lisbon time) on 15/03/2023:

• application form (see template at
https://www.letras.ulisboa.pt/pt/investigacao/investigar-em-letras/bolsas-de-investigacao)
;
• a covering letter addressing the person specification;
• curriculum vitae;
• degree certificate (if you do not have this document, you must send
a statement of compliance - see template at
https://www.letras.ulisboa.pt/pt/investigacao/investigar-em-letras/bolsas-de-investigacao);
• a brief (up to 1,000 words) research statement;
• one writing sample (published/submitted article, thesis chapter(s)).
For unpublished material, the total length must be under 10,000 words.
• additionally, at least two letters of reference to be sent within
the application period directly from referees to
bdic...@edu.ulisboa.pt.

Shortlisted candidates will be invited to an interview (online).

For application purposes, diplomas, certificates and transcripts need
not be submitted. In lieu, a statement of compliance is required.
Official transcripts must be submitted prior to the signing of the
contract.

The successful candidate will have to obtain the recognition of their
doctoral degree by the competent Portuguese authorities prior to
signing the contract; see
https://www.dges.gov.pt/en/pagina/degree-and-diploma-recognition for a
description of the procedure.

Further details about the position/selection procedure are available
at https://euraxess.ec.europa.eu/jobs/69742 and
https://www.letras.ulisboa.pt/pt/investigacao/investigar-em-letras/bolsas-de-investigacao#concursos-abertos-2.

For informal inquiries about the position, please contact Bogdan
Dicher (bdic...@edu.ulisboa.pt) or Elia Zardini (ezard...@ucm.es).

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

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

Re: [Logica-l] Newton da Costa Prize 2022 / Prêmio Newton da Costa 2022

[Marcelo Esteban Coniglio]

Parabéns para o Walter e a Juliana pelo prêmio!!!

Abraços,

Marcelo

Em qua., 18 de jan. de 2023 às 12:52, Walter Carnielli
 escreveu:
>
> (EN below!!!)
>
> Prezados colegas da SBL e da Lista  Brasileira  de Lógica:
>
> Gostaríamos de agradecer  a premiação relativa ao Prêmio Newton da
> Costa 2022  pelo artigo  inédito  “Where the truth lies: a
> paraconsistent approach to Bayesian epistemology”,em especial
> agradecendo aos colegas Carlos Caleiro, Heinrich Wansing  e  Fernando
> Zalamea pela condução dos trabalhos da Banca  Julgadora, e Evandro
> Luís Gomes e Jorge Petrúcio Viana  pela presidência do processo.
>
>  Agradecemos também às críticas construtivas dos pareceristas, que
> serão  levadas em consideração na versão final do artigo a ser
> submetido à Logica Universalis.
>
> Att.
>
> Walter Carnielli e Juliana Bueno-Soler
>
>  ==
>
> Dear colleagues of the  Brazilian Logic  Society (SBl) and members of
> the Brazilian Logic List:
>
> We would like to thank the Newton da Costa 2022 Prize award for the
> unpublished article “Where the truth lies: a paraconsistent approach
> to Bayesian epistemology”, in particular thanking  the  colleagues
> Carlos Caleiro, Heinrich Wansing and Fernando Zalamea for conducting
> the work of the Judging Panel, and Evandro Luís Gomes and Jorge
> Petrúcio Viana for chairing the process.
>
> We are also grateful for the constructive criticisms of the reviewers,
> which will be taken into account in the final version of the article,
> to be submitted to Logica Universalis.
>
> Best regards,
> Walter Carnielli and  Juliana Bueno-Soler
>
> ===
> A SBL tem a honra e a satisfação de informar que o artigo intitulado
>
>
>
> “Where the truth lies: a paraconsistent approach to Bayesian epistemology”,
>
>
>
> de autoria de Walter A. Carnielli e Juliana Bueno-Soler, foi
> contemplado com o Prêmio de Lógica “Newton da Costa”, edição 2022.
> Parabéns!
>
>
>
> A decisão foi baseada nos pareceres enviados pela banca composta por:
>
>
>
> * Carlos Caleiro (Universidade de Lisboa, Portugal)
>
> * Heinrich Wansing (Ruhr-University Bochum, Alemanha)
>
> * Fernando Zalamea (Universidad Nacional de Colombia)
>
>
>
> A SBL gostaria de tornar público o agradecimento à banca que nos
> ajudou na avaliação das submissões ao Prêmio de Lógica “Newton da
> Costa”, edição 2022.
>
>
>
> Evandro Luís Gomes e Jorge Petrúcio Viana
>
> Presidente/vice-presidente da banca e representantes da SBL
>
> --
> Sociedade Brasileira de Lógica
> http://sbl.org.br
> ___
> Socios mailing list
> soc...@sbl.org.br
> http://sbl.org.br/mailman/listinfo/socios_sbl.org.br
>
>
> --
>  
> Walter Carnielli
> CLE and Department of Philosophy
> University of Campinas –UNICAMP, Brazil
> https://waltercarnielli.com/
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 
> 
> ---
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLe7rUsuNKSwLdK%3DtwAx79C84Jq_7-7jyDchVecCr82KDQ%40mail.gmail.com.

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

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

[Logica-l] RAMiCS 2023 - Call for short contributions / posters

[Marcelo Esteban Coniglio]

-- Forwarded message -

(Apologies for multiple posting)

CALL FOR SHORT CONTRIBUTIONS / POSTERS

 20th International Conference on
Relational and Algebraic Methods in Computer Science
RAMiCS 2023

   3 to 6 April 2023, Technologiezentrum Augsburg, Germany
https://ramics20.lis-lab.fr/

Additionally to the standard CfP, RAMiCS is also calling for short
contributions and posters.  We are hence calling for presentations of
original, unfinished, already published, or otherwise interesting work
within the topics of the RAMiCS conferences.  The submission can be in
the form of a poster, an abstract, a paper submitted to or published
at another conference, etc.  Short contributions will *not* be
published in the conference proceedings.

IMPORTANT DATES:

   Submission:  January 27, 2023
   Notification:February 03, 2023
   RAMiCS 2023: April 03-06, 2023

INVITED SPEAKERS:

   Alexander Knapp, Augsburg University, Germany
   John Stell, University of Leeds, UK
   Valeria Vignudelli, CNRS/ENS Lyon, France

GENERAL INFORMATION:

Since 1994, the RAMICS conference series has been the main venue for
research on relation algebras, Kleene algebras and similar algebraic
formalisms, and their applications as conceptual and methodological
tools in computer science and beyond.

TOPICS:

We invite short submissions in the general fields of algebras relevant
to computer science and applications of such algebras. Topics include
but are not limited to:

* Theory
   - algebras such as semigroups, residuated lattices, semirings,
 Kleene algebras, relation algebras and quantales
   - their connections with program logics and other logics
   - their use in the theories of automata, concurrency, formal languages,
 games, networks and programming languages
   - the development of algebraic, algorithmic, category-theoretic,
 coalgebraic and proof-theoretic methods for these theories
   - their formalisation with theorem provers

* Applications
   - tools and techniques for program correctness, specification and
 verification
   - quantitative and qualitative models and semantics of computing
 systems and processes
   - algorithm design, automated reasoning, network protocol analysis,
 social choice, optimisation and control
   - industrial applications

  SUBMISSION INSTRUCTIONS:

Please send your short submission as a single pdf file to

   ramics2...@easychair.org

by January 27, 2023.

ORGANIZERS:

Roland Glück, Deutsches Zentrum für Luft- und Raumfahrt, Germany
Luigi Santocanale, LIS, Aix-Marseille University, France
Michael Winter, Brock University, Canada

...

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

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

Re: [Logica-l] SI - Logics and Their Interpretations II

[Marcelo Esteban Coniglio]

Parabéns Henrique e Damián!

Grande abraço

Marcelo

Em dom., 11 de dez. de 2022 às 21:06, Henrique Antunes
 escreveu:
>
> Prezad@s,
>
> É com enorme prazer que anuncio a publicação do segundo volume do
> Special Issue "Logics and Their Interpretations", editado por mim e por
> Damian Szmuc, na Logic and Logical Philosophy.
>
> https://apcz.umk.pl/LLP/issue/view/2458
>
> Aproveito para agradecer, em meu nome e em nome do Damian, a tod@s @s
> membros da lista que estiveram envolvidos na preparação do volume, seja
> submetendo seus trabalhos ou atuando como pareceristas.
>
> Forte abraço,
>
> --
> Henrique Antunes
>
> ---
> Relação dos artigos publicados:
>
> 1. Local Applications of Logics via Model-Theoretic Interpretations
> (Carlos Benito-Monsalvo)
> 2. Game Semantics, Quantifiers and Logical Omniscience
> (Bruno Ramos Mendonça)
> 3. A Four-Valued Logical Framework for Reasoning About Fiction
> (Newton Peron and Henrique Antunes)
> 4. Many-Valued Logics and Bivalent Modalities
> (Edson Bezerra and Giorgio Venturi)
> 5. Beyond Mixed Logics
> (Joaquín S. Toranzo Calderón and Federico M. Pailos)
> 6. Relational Semantics for the Paraconsistent and Paracomplete 4-valued 
> Logic PL4
> (Gemma Robles, Sandra M. López and José M. Blanco)
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 
> 
> ---
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/DM4PR19MB6176AFC850C6C254A33C7A419D1E9%40DM4PR19MB6176.namprd19.prod.outlook.com.

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

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

[Logica-l] 1st Workshop on Non-deterministic Semantics for Modal Logics

[Marcelo Esteban Coniglio]

A quem possa interessar,

vai ter nos dias 7 e 8 de novembro o primeiro Workshop sobre
semânticas não-determinísticas para lógicas modais:

https://sites.google.com/view/1stworkshop-ndml/startseite

Para participar remotamente tem que fazer a inscrição online até hoje,
domingo 06/11.
O evento começa amanhã às 6:30 da manhã, horário de Brasília.

Abraços

Marcelo

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

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

Re: [Logica-l] Prêmio CAPES de tese 2022

[Marcelo Esteban Coniglio]

Excelente notícia!!
Parabéns Evelyn, Daniel e Ole!!

Marcelo

Em sáb., 15 de out. de 2022 às 14:36, Joao Marcos  escreveu:
>
> Agora também com o prêmio de melhor tese na ANPOF!  Evelyn está de muitos 
> parabéns.
>
> JM
>
> On Fri, Aug 12, 2022, 13:34 Daniel Durante  wrote:
>>
>> Viva!!
>>
>> Obrigado colegas e Muitos parabéns para a Evelyn Que escreveu uma tese 
>> belíssima e fez uma defesa impecável, das mais elogiadas pela banca que eu 
>> já vi. Evelyn merece muito este prêmio, e muito mais. Nós que participamos 
>> do caminho, Eu, que terminei sua orientação, João Marcos, que iniciou, e 
>> Ole, que a co-orientou, certamente também ficamos muito orgulhosos.
>>
>> O PPGFIL-UFRN também se orgulha. Em 2020 ganhamos uma menção honrosa com a 
>> tese de João Edson, em filosofia da ciência, e agora o prêmio principal, com 
>> a tese de Evelyn em filosofia da lógica!! E olha que não foi fácil 
>> pré-selecionar a tese de Evelyn por aqui. Havia outras teses tão boas quanto 
>> a dela, como, por exemplo, a de Sanderson Molick, orientada pelo João Marcos!
>>
>> É isso aí. Uma injeção de ânimo para continuarmos trabalhando e persistindo. 
>> Vamos superar estes tempos tão difíceis!!
>>
>> Saudações,
>> Daniel.
>>
>> Em sexta-feira, 12 de agosto de 2022 às 11:41:45 UTC-3, Thiago Nascimento da 
>> Silva escreveu:
>>>
>>> Fico muito feliz por tal conquista. Meus parabéns para Evelyn e para os 
>>> Professores Ole e Daniel.
>>>
>>> Em sex., 12 de ago. de 2022 às 10:04, C. Mortari  
>>> escreveu:

 Parabéns à Evelyn, Daniel e Ole!

 Cezar

 Em 2022-08-12 08:53, Joao Marcos escreveu:
 > https://www.in.gov.br/en/web/dou/-/edital-n-11/2022-resultado-premio-capes-de-tese-edicao-2022-421902318
 >
 > O prêmio de tese em Filosofia deste ano veio para a nossa Evelyn
 > Erickson, orientada por Daniel Durante (e co-orientada por Ole
 > Hjortland).
 >
 > A tese pode ser encontrada aqui:
 > Rational theory revision in logic: beyond abductivism
 > https://repositorio.ufrn.br/handle/123456789/44906?mode=full
 >
 > Parabéns aos envolvidos!
 > Joao Marcos
 >
 > --
 > http://sequiturquodlibet.googlepages.com/

 --
 LOGICA-L
 Lista acadêmica brasileira dos profissionais e estudantes da área de 
 Lógica 
 ---
 Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" 
 dos Grupos do Google.
 Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie 
 um e-mail para logica-l+u...@dimap.ufrn.br.

 Para ver esta discussão na web, acesse 
 https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/bec13384c99170bbf53ef39802571d6b%40cfh.ufsc.br.
>>
>> --
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 
>> 
>> ---
>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
>> Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie 
>> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para ver essa discussão na Web, acesse 
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/54cb8fcd-07f3-4c27-8ff2-f9a11c1eec38n%40dimap.ufrn.br.
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 
> 
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjAWQCCC4_AQ2J4aa_afyYtzGF_LX60x%3Dsw_Wb7y-JTJw%40mail.gmail.com.

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

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

Re: [Logica-l] Prêmio CAPES de tese 2022

[Marcelo Esteban Coniglio]

Excelente notícia!! parabéns para a Evelyn e para o Daniel!!!

Elaine, o Bruno Ramos Mendonça ganhou em 2019 o Prêmio Capes, sob
orientação do Walter Carnielli.

Um abraço

Marcelo


Em sex., 12 de ago. de 2022 às 08:53, Joao Marcos  escreveu:
>
> https://www.in.gov.br/en/web/dou/-/edital-n-11/2022-resultado-premio-capes-de-tese-edicao-2022-421902318
>
> O prêmio de tese em Filosofia deste ano veio para a nossa Evelyn
> Erickson, orientada por Daniel Durante (e co-orientada por Ole
> Hjortland).
>
> A tese pode ser encontrada aqui:
> Rational theory revision in logic: beyond abductivism
> https://repositorio.ufrn.br/handle/123456789/44906?mode=full
>
> Parabéns aos envolvidos!
> Joao Marcos
>
> --
> http://sequiturquodlibet.googlepages.com/
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 
> 
> ---
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Ljc8-i44y0QQLBGwJsdCNcqox9Dtzc6UYjUpU4k2s4wig%40mail.gmail.com.

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

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

[Logica-l] [Off Topic] Processo Seletivo para a Contratação Emergencial de Professor Doutor na Área de Engenharia de Computação - FEEC - Unicamp

[Marcelo Esteban Coniglio]

A quem interessar...



A Faculdade de Engenharia Elétrica e de Computação da Unicamp informa
que estão abertas as inscrições para concurso de Professor Doutor, na
Área de Engenharia de Computação, para as disciplinas EA876 -
Introdução a Software de Sistema, EA879 Introdução a Software Básico e
EA872 - Laboratório de Programação de Software Básico, no período de
04/07/2022 a 13/07/2022. As inscrições deverão ser feitas
exclusivamente por meio do link
https://solicita.dados.unicamp.br/concurso/


Confira mais informações no edital:
https://www.sg.unicamp.br/concursos/?status=abertos==faculdade-de-engenharia-eletrica-e-de-computacao=;


Secretaria de Comunicação Institucional - SCI-FEEC

Faculdade de Engenharia Elétrica e de Computação - Unicamp
comunica-fee...@unicamp.br

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

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

[Logica-l] Fwd: Call for postdoc: Logic and Philosophy of Science, Nicolaus Copernicus University in Toruń, Poland

[Marcelo Esteban Coniglio]

-- Forwarded message -

Postdoc position in non-classical logic

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


The position
Department of Logic of NCU in Toruń and Emerging Field: “Logic and
Philosophy of Science” invite postdoc researchers to apply for a
position in non-classical logic.  Next to the general studying of
logic and philosophy, the aim is to focus on some aspects of
non-classical logic, particularly:

(a) proof-metatheory for non-classical logics (like:
https://www.researchgate.net/publication/357974291_Tableau_metatheory_for_syllogistic_logics/stats
)

(b) non-classical logics (like:
https://www.researchgate.net/publication/357568185_Relating_Logic_and_Relating_Semantics_History_Philosophical_Applications_and_Some_of_Technical_Problems
)

(c) application of positional logic to reasoning about social
phenomena (like:
https://www.researchgate.net/publication/339487975_Logic_of_Social_Ontology_and_Los's_Operator_-_LLP2020
).

An expected result is the preparation of papers on one of the topics
(a), (b) or (c). The work includes, among others, seminars,
discussions, research, and also practice in preparation of drafts of
papers.


Experience and requirements
Candidates are required to have (for the full list of required
documents, please see below):
+ a PhD degree in philosophy or mathematics,
+ ability to work in a team and social competence,
+ at least one publication in English published in journal devoted to
logic, philosophy or mathematics.


The offer includes
+ practice in writing scientific texts,
+ co-authorship of publications submitted to the highly rated journals,
+ co-authorship of papers presented at international conferences,
+ a scholarship for 12 months,
+ a chance of obtaining additional funds for the implementation of
individual tasks connected with publishing activity
+ applying for grants to extend the visit.


Application instruction

The deadline is the 10th of June. If you are interested, please send
your application to the following e-mail address: s.nurkiew...@umk.pl

Please attach the following documents to your application:
1.  Motivation letter
2.  Curriculum Vitae
3.  Opinion of the supervisor of the thesis or another academic
employee of the unit in which the thesis was/is prepared on the value
of the candidate's PhD's thesis or optionally PhD thesis.
4.  Achievements and qualifications of the candidate, for example:
a)  Scientific publications, a maximum of three publications
should be included in the assessment. A list of all publications of
the candidate and copies of the one selected paper.
b)  Qualifications and activity in the field of science:
-   participation as a lecturer in conferences, scientific
projects (indicate the three most important ones),
-   organizational work for scientific projects, involvement in
editorial offices of scientific publications, activity in the work of
student research clubs (indicate the three most important
achievements),
-   external scholarships and awards,
-   other qualifications important for the implementation of the
notified project.

-
Best Regards
Krzysztof Pszczola   (www.StudiaLogica.org webmaster)
-

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

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

[Logica-l] Fwd: LINZ Seminar 2022 [Extended Deadline - April 4th]

[Marcelo Esteban Coniglio]

-- Forwarded message -

Dear colleague,

it is our pleasure to invite you to particiate in the

39th Linz Seminar on Fuzzy Set Theory"Many-Valued Logics: Theory and
Applications"
June 7-10, 2022
Bildungshaus St. Magdalena, Linz, Austria

Since their inception in 1979 the Linz Seminars on Fuzzy Sets have
emphasized the development of mathematical aspects of fuzzy sets by
bringing together researchers in fuzzy sets and established
mathematicians whose work outside the fuzzy setting can provide
direction for further research. The philosophy of the seminar has
always been to keep it deliberately small and intimate so that
informal critical discussions remain central.

LINZ 2022 will be the 39th seminar carrying on this tradition and is
devoted to the theme “Many-Valued Logics: Theory and Applications".
The goal of the seminar is to present and to discuss recent advances
of many-valued and mathematical fuzzy logics and their applications in
pure and applied fields.

Accordingly, the topics of the Seminar will include but not be limited to:
• Many-valued logic
• Mathematical fuzzy logic
• Many-valued modal logics
• Algebraic and relational semantics
• First and higher order formalisms and their model theory
• Proof theory and proof search
• Fuzzy quantifiers
• Uncertainty and similarity-based logics
• Probabilistic, possibilistic and other uncertainty logics
• Uncertainty measures on algebras of fuzzy logic
• Graded logical approaches in Artificial Intelligence
• Doxastic logics and counterfactuals
• Integration of fuzzy logics and machine learning
• Judgment aggregation and computational social choice
•  Argumentation theoryThe following

invited speakers (in alphabetic order) have already confirmed their
participation:

Guillermo Badia, University of Queensland, Australia·
Libor Běhounek, University of Ostrava, Czech Repulic·
Christian G. Fermüller, Vienna University of Technology, Austria·
Zuzana Haniková, Czech Academy of Sciences, Czech Republic·
Gabriella Pigozzi, Université Paris Dauphine, France·
Luciano Serafini, Fondazione Bruno Kessler, Italy

Please submit your extended abstract (1-4 pages) until

April 4th, 2022

following the guidelines provided at the webpage of the seminar. The
submission gate at easychair is already opened.

Updated information about the registration fee and dates may be found
at www.flll.jku.at/linz2022
Also the current COVID-19 regulations of Austria and JKU may be found
at the seminar's webpage.
We very much look forward to welcoming you in Linz.

Kind regards,

Tommaso Flaminio, Lluis Godo, Carles Noguera(Program Chairs)
Susanne Saminger-Platz, Thomas Vetterlein(Chairs of the Organizing Committee)

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

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

Re: [Logica-l] Boa notícia!

[Marcelo Esteban Coniglio]

Excelente notícia! Um livro excelente de Introdução à Lógica,
principalmente para estudantes de graduação em Filosofia.
Parabéns Cezar!

Abraço

Marcelo

Em sex., 18 de mar. de 2022 às 14:31, Elaine Pimentel
 escreveu:
>
> Prezados colegas,
>
> Vem aí a segunda edição do livro "Introdução à Lógica", do colega Cezar 
> Mortari.
>
> http://editoraunesp.com.br/blog/-introducao-a-logica-2-edicao-ganha-reimpressao-?utm_source=akna_medium=email_campaign=298
>
> Abraços,
> --
> Elaine.
> ---
> Elaine Pimentel
> https://sites.google.com/site/elainepimentel/
> Kindness generates kindness
> "Gentileza gera gentileza"
> (José Datrino)
> ---
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 
> 
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BXXYWvagUa3FDsJqok8knRyQRjf_mnNE%3Dxbu1swaRc8SA%40mail.gmail.com.

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

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

[Logica-l] Fwd: Workshop on Advances in Separation Logics (ASL 2022 @ FLOC 2022)

[Marcelo Esteban Coniglio]

-- Forwarded message -

Workshop on Advances in Separation Logics (ASL 2022), Haifa, Israel,
July 31st 2022

https://asl-workshop.github.io/asl22/

The past two decades have witnessed important progress in static
analysis and verification of code with low-level pointer and heap
manipulations, mainly due to the development of Separation Logic
(SL). SL is a resource logic, a dialect of the logic of Bunched
Implications (BI) designed to describe models of the heap memory and
the mutations that occur in the heap as the result of low-level
pointer updates. The success of SL in program analysis is due to the
support for local reasoning, namely the ability of describing only the
resource(s) being modified, instead of the entire state of the
system. This enables the design of compositional analyses that
synthesize specifications of the behavior of small parts of the
program before combining such local specifications into global
verification conditions. Another interesting line of work consists in
finding alternatives to the underlying semantic domain of SL, namely
heaps with aggregative composition, in order to address other fields
in computing, such as self-adapting distributed networks, blockchain
and population protocols, social networks or biological systems.

We consider submissions on topics including:

   * decision procedures for SL and other resource logics,
   * computational complexity of decision problems such as
satisfiability, entailment and abduction for SL and other resource
logics,
   * axiomatisations and proof systems for automated or interactive
theorem proving for SL and other resource logics,
   * verification conditions for real-life interprocedural and
concurrent programs, using SL and other resource logics,
   * alternative semantics and computation models based on the notion
of resource,
   * application of separation and resource logics to different
fields, such as sociology and biology.

ASL 2022 is a workshop affiliated to IJCAR 2022 at FLOC 2022.

Keynote Speakers

   * Philippa Gardner, Imperial College London
   * Ralf Jung, MIT CSAIL

Important Dates

   * Papers due: May 10, 2022 (AoE)
   * Authors notification: June 15, 2022 (AoE)
   * Workshop: July 31, 2022

Program Committee

Nadia Polikarpova (UCSD, San Diego, USA)
James Brotherston (UCL, London, UK)
Qinxiang Cao (Shanghai Jiaotong University)
Dan Frumin (University of Groningen, The Netherlands)
Lennart Beringer (Princeton University, USA)
Arthur Charguéraud (INRIA Strasbourg, France)
Radu Iosif (Verimag, CNRS, Univ. Grenoble Alpes, France)
Le Quang Loc (UCL, London, UK)
Alessio Mansutti (University of Oxford, UK)
Christoph Matheja (DTU, Lyngby, Denmark)
Daniel Méry (University of Loraine, France)
Koji Nakazawa (Nagoya University, Japan)
Nicolas Peltier (LIG, CNRS, Grenoble, France)
Adam Rogalewicz (Brno University of Technology, Czech Republic)
Mihaela Sighireanu (LMF, ENS Paris-Saclay, France)
Florian Zuleger (Vienna University of Technology, Austria)

Organizing committee

Radu Iosif (Verimag, CNRS, Univ. Grenoble Alpes, France)
Nikos Gorogiannis (Meta, London, UK)
Robbert Krebbers (Radboud Univ. Nijmegen, The Netherlands)
Mihaela Sighireanu (LMF, ENS Paris-Saclay, France)
Makoto Tatsuta (NII, Tokyo, Japan)
Thomas Noll (RWTH, Aachen, Germany)

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

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

[Logica-l] Fwd: JOB: 6-Month Visiting Fellowship at the Complutense University of Madrid

[Marcelo Esteban Coniglio]

**JOB: 6-Month Visiting Fellowship at the Complutense University of Madrid**

The Project “From Vagueness and Truth to Substructural Epistemology
and Metaphysics” led by Elia Zardini at the Department of Logic and
Theoretical Philosophy of the Complutense University of Madrid is
pleased to offer a Visiting Fellowship for six months, with fixed
dates from March 29th to September 28th 2022. The candidate will work
on possible applications of nonclassical logics to epistemology and
metaphysics. Both advanced PhD students and postdoctoral researchers
are encouraged to apply. The exact amount of the net salary will
depend on the circumstances of the successful applicant, but can be
expected to be around 1,400 EUR per month.

Formally, applicants are requested to submit their (1) CV, (2)
certification of undergraduate degree and (3) a short (max 1,000
words) research proposal on the above-mentioned topic between February
3rd and February 9th (included) at:

https://www.ucm.es/personal-de-apoyo-a-la-investigacion-pai-ucm

and, in the same time interval, officially present the document
generated at the end of the online submission process at one of the
venues regarded as valid by Spanish law (for those not living in
Spain, that basically means presenting the document at a Spanish
consulate).

Informal inquiries can be directed to ezard...@ucm.es

--

Dr Elia Zardini

Ramón y Cajal Research Fellow
Department of Logic and Theoretical Philosophy
Faculty of Philosophy
Complutense University of Madrid

Сhief Research Fellow
International Laboratory for Logic, Linguistics and Formal Philosophy
School of Philosophy and Cultural Studies
Higher School of Economics

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

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

Re: [Logica-l] Resultado do Prêmio de Lógica "Newton da Costa" 2021

[Marcelo Esteban Coniglio]

Meus parabéns ao Ciro, o Abílio e o Henrique pela importante distinção!

Abraços

Marcelo

Em sáb., 29 de jan. de 2022 às 18:42, Petrucio Viana
 escreveu:
>
> A SBL tem a honra e o prazer de informar que os artigos intitulados
>
> Coproduct and amalgamation of deductive systems by means of ordered algebras 
> do Prof. Ciro Russo
>
>
> e
>
>
> First-order logics of evidence and truth with constant and variable domains 
> dos Profs Abílio Rodrigues e Henrique Antunes.
>
>
> foram conjuntamente contemplados com o Prêmio de Lógica "Newton da Costa", 
> edição de 2021.
>
>
> É importante frisar que, nesta edição, recebemos cinco trabalhos de altíssima 
> qualidade. E que a escolha dos contemplados foi uma difícil decisão.
>
>
> O Prêmio foi conferido, baseado nos pareceres enviados pela banca, composta 
> por
>
> Manuela Busaniche (CCT-Santa Fe)
> Rodolfo C. Ertola-Biraben (CLE-Unicamp)
> María Martínez-Ordaz (IFCS-UFRJ)
> Sheila R. M. Veloso (PPCG-UERJ & COPPE-UFRJ)
> Petrucio Viana (GAN-UFF) (Presidente e representante da SBL)
>
> A SBL gostaria de tornar publico o agradecimento a banca, que nos presenteou 
> com um trabalho de altíssima qualidade.
>
>
> Petrucio Viana
>
> em nome da SBL
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 
> 
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACRvmVToFp8GGqxiEJyHj2t12JLj_sjUHT%3DeRGGR%3DxkvnTr4OQ%40mail.gmail.com.

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

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

[Logica-l] Fwd: World Logic Day - CLE '22

[Marcelo Esteban Coniglio]

O link da página do evento (contendo o link do google meet):

http://www.cle.unicamp.br/cle/node/1986


-- Forwarded message -
De: Fabio Bertato 
Date: qui., 13 de jan. de 2022 às 17:59
Subject: World Logic Day - CLE '22
To: 


Dear colleagues,

I am pleased to invite you to the event to celebrate the World Logic
Day, which will take place tomorrow, the 14th, from 2pm to 6pm
(Brasilia Time), organized by the Centre for Logic, Epistemology, and
the History of Science of the University of Campinas.

Please, I ask you to spread it among potential interested parties.

To get the link, please write to fmbert...@gmail.com

All the best,

Fábio Bertato
---
WORLD LOGIC DAY - CLE '22
Online Event
January 14, 2022

Program (Brasilia time: UTC -3)

14:00 – 14:30
Talk 1 - Logics of ignorance
Ekaterina Kubyshkina (University of Campinas)
Mattia Petrolo (Federal University of ABC)


14:40 – 15:10
Talk 2 - Decision Procedures for da Costa’s hierarchy through RNmatrices
Guilherme Vicentin de Toledo (University of Campinas)
Marcelo Esteban Coniglio (University of Campinas)


15:20 – 15:50
Talk 3 - On a cut-free sequent system for a logic associated to
involutive Stone algebras
Martín Figallo (Universidad Nacional del Sur, Bahía Blanca)


16:00 – 16:20
Interval


16:20 – 16:50
Talk 4 – Considerações sobre Arquimedes e sua Obra
Guilherme Grudtner (University of Campinas)


17:00 – 17:30
Talk 5 - Paraconsistency in History
Evandro Gomes (University of Maringá)


17:40 – 18:10
Talk 6 - O uso de métodos lógicos em teoria da escolha social
Pedro Carrasqueira (University of Campinas)

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

[Logica-l] World Logic Day at CLE/Unicamp

[Marcelo Esteban Coniglio]

---
Dear colleagues,

I am pleased to invite you to the event to celebrate the World Logic
Day, which will take place tomorrow, the 14th, from 2pm to 6pm
(Brasilia Time), organized by the Centre for Logic, Epistemology, and
the History of Science of the University of Campinas.

Please, I ask you to spread it among potential interested parties.

To get the link, please write to fmbert...@gmail.com

All the best,

Fábio Bertato
---
WORLD LOGIC DAY - CLE '22
Online Event
January 14, 2022

Program (Brasilia time: UTC -3)

14:00 – 14:30
Talk 1 - Logics of ignorance
Ekaterina Kubyshkina (University of Campinas)
Mattia Petrolo (Federal University of ABC)


14:40 – 15:10
Talk 2 - Decision Procedures for da Costa’s hierarchy through RNmatrices
Guilherme Vicentin de Toledo (University of Campinas)
Marcelo Esteban Coniglio (University of Campinas)


15:20 – 15:50
Talk 3 - On a cut-free sequent system for a logic associated to
involutive Stone algebras
Martín Figallo (Universidad Nacional del Sur, Bahía Blanca)


16:00 – 16:20
Interval


16:20 – 16:50
Talk 4 – Considerações sobre Arquimedes e sua Obra
Guilherme Grudtner (University of Campinas)


17:00 – 17:30
Talk 5 - Paraconsistency in History
Evandro Gomes (University of Maringá)


17:40 – 18:10
Talk 6 - O uso de métodos lógicos em teoria da escolha social
Pedro Carrasqueira (University of Campinas)

-- 
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/CAKuKcnJ1HiB1TD%3DQZnR61seZbTkOX29mvZvaHs-GuUF_rjSH5A%40mail.gmail.com.

Re: [Logica-l] Curso "Pensamento Crítico, Lógica e Argumentação" (Coursera-Extecamp)

[Marcelo Esteban Coniglio]

Parabéns, Walter e Juliana!

Abraços

Marcelo

Em seg., 13 de dez. de 2021 às 12:50, Walter Carnielli
 escreveu:
>
> Cara(o)s  Colegas e estudantes:
>
> Tenho a satisfação de anunciar que está no ar o curso (livre e grátis)
>
> "Pensamento Crítico, Lógica e Argumentação"  oferecido na Plataforma
> COursera em convênio com a Escola de Extensão da  Unicamp.
>
>
> Os  instrutores e organizadores são a Juliana Bueno-Soler e eu, mais
> colaboradores.
>
>
> https://www.coursera.org/learn/pensamento-critico-argumentacao?utm_campaign=opencourse.n2QO6F-3Eeq5EQ6rpwk94Q.launch_medium=email_source=other
>
> É um curso introdutório mas bastante  completo, algumas  informações
> aqui. Agradecerei se divulgarem entres seus estudantes.
>
> Abraços,
> Walter
>
>   =
> Pensamento Crítico, Lógica e Argumentação
> https://www.coursera.org/teach/pensamento-critico-argumentacao/course/overviewConvênio:
> Extecamp-Coursera 01P-19142/2014.
>
> Público: qualquer pessoa  com interesse em argumentar e melhorar sua
> capacidade crítica.
> Recomendado a estudantes em final de ensino médio e  universitários em geral,
> advogados, jornalistas, e pessoas na carreira política, entre outros.
>
> Objetivos de aprendizagem do curso:
>
> Depois de concluir este curso, o aluno será capaz de:
>
> • Compreender o pensamento como um processo lógico e linguístico
>
> • identificar e avaliar premissas, argumentos, crenças e evidências
>
> • compreender os elementos da lógica
>
> • compreender os conceitos de argumentos válidos, fracos, ruins e fortes
>
> • pensar criticamente sobre os elementos da mídia, incluindo a mídia social,
>
> questões morais e políticas
>
> • usar raciocínio crítico para resolver problemas
>
> • refutar argumentos ruins e construir argumentos melhores
>
> • comunicar-se com mais eficácia tanto na forma falada quanto na escrita
>
> • defender-se contra "fake news", negacionismo e desinformação
>
>
>
> O curso ẽ oferecido em 9 semanas, com a seguinte ementa:
> -Argumentos, linguagem e lógica
>
> -Os limites do argumento e os bons argumentos
>
> -Reparando argumentos e avaliando premissas
>
> -Lógica e argumentos complexos
>
> -Como generalizar e evitar erros
>
> -Como evitar falácias
>
> -Como raciocinar bem com analogias e números
>
> -Como tomar decisões e raciocinar bem com causa e efeito
>
> -Como se defender de golpes e fake news
> =
>
> ===
> Walter Carnielli, Professor
> Laboratory for Applied Ontology – CNR, Trento, Italy
> and
> Centre for Logic, Epistemology and the History of Science and
> Department of Philosophy
> University of Campinas –UNICAMP
> 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/CAOrCsLfLAsFGpwwCvLtBENFLNXJ23xYsUvM%2B5xsXb%3DvJCKrQdA%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/CAKuKcnLHPPEjNDTpRAFTb4%3Ds0qYi4c84fab9nQzNogf9TS42HQ%40mail.gmail.com.

[Logica-l] Palestra online de Lluis Godo - "Simplified Kripke semantics for K45 and KD45 Gödel fuzzy modal logics"

[Marcelo Esteban Coniglio]

- Forwarded message -

Estimadas/os:

Queremos invitarlas/os a la conferencia de cierre del Workshop CaToAm,
que se llevará a cabo el día sábado 30 de Octubre a las 13 horas.

La conferencia estará dictada por Lluis Godo, IIIA, Barcelona y se
titula  Simplified  Kripke semantics for K45 and KD45 Gödel fuzzy
modal logics.

No es necesario inscribirse al workshop para asistir a la misma, el
link de acceso es:

https://zoom.us/j/95582705912?pwd=czROaytXSGFLbmkzaGJCNlhrUFU4QT09


Los esperamos!!!


Comité organizador CaToAM
Workshop CaToAM

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

Re: [Logica-l] Andrea Loparic

[Marcelo Esteban Coniglio]

Uma notícia tristíssima! Uma perda enorme!
Meus mais profundos pêsames para familiares e  amigos

Marcelo

Em seg., 25 de out. de 2021 às 10:49, Gisele Secco
 escreveu:
>
> Pessoal
> Acabo de ser informada do falecimento de nossa querida Andrea.
> Manifesto meus mais carinhosos sentimentos à sua memória e a seus familiares 
> e  amigos.
> Um abraço,
> 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/CADjHNnpx5Y4Szck7VMK4Zc72%2BNvXHfNM%3DmAzufTki%3DJSj9_xLg%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/CAKuKcnJrtX1f5LXZe6wVsX2YQcQQfDTT02pMFJFV_tO0iN0-dQ%40mail.gmail.com.

[Logica-l] Fwd: TACL 2022: First announcement

[Marcelo Esteban Coniglio]

-- Forwarded message -

===
TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2022)
First announcement
===

Conference: June 20-24, 2022 in Coimbra
School: June 13-18, 2022 in Praia de Mira

https://www.mat.uc.pt/~tacl2022

Organized by the Centre for Mathematics (CMUC) and the Department of
Mathematics (DMUC) of the University of Coimbra


Scope

Studying logic via semantics is a well-established and very active
branch of mathematical logic with many applications in
computer science and elsewhere. The area is characterized by results,
tools and techniques stemming from various fields,
including universal algebra, topology, category theory, order, and
model theory. The programme of the conference TACL 2022 will
focus on three interconnecting mathematical themes central to the
semantic study of logic and their applications: topological,
algebraic, and categorical methods.

TACL 2022 is the tenth conference in the series Topology, Algebra and
Categories in Logic (TACL, formerly TANCL).
Earlier instalments of this conference have been organized in Tbilisi
(2003), Barcelona (2005), Oxford (2007),
Amsterdam (2009), Marseille (2011), Nashville (2013), Ischia (2015),
Prague (2017), and Nice (2019).


Featured topics
-
Contributed talks are intended to be about topological, algebraic or
categorical methods used in mathematical or computer science
logic. This includes, but is not limited to, the following areas:

* Algebraic logic
* Algebraic structures in CS
* Categorical methods in logic
* Coalgebra
* Domain theory
* Fuzzy and many-valued logics
* Lattice theory
* Lattices with operators
* Modal logics
* Non-classical logics
* Ordered algebraic structures
* Ordered topological spaces
* Pointfree topology
* Proofs and types
* Residuated structures
* Semantics
* Stone-type dualities
* Substructural logics
* Topological semantics of modal logic


Invited speakers
-

* Marta Bilkova, Czech Academy of Sciences, Prague
* David Fernandez-Duque, Ghent University
* Richard Garner, Macquarie University, Sydney
* Jean Goubault-Larrecq, Ecole Normale Superieure Paris-Saclay
* Peter Johnstone, University of Cambridge
* Vincenzo Marra, University of Milan
* Amanda Vidal, Artificial Intelligence Research Institute, Barcelona
* Friedrich Wehrung, University of Caen
* Fan Yang, University of Helsinki


Lecturers at the Summer School
--

* Dirk Hofmann, University of Aveiro
* Rosalie Iemhoff, Utrecht University
* Graham Manuell, University of Coimbra
* Walter Tholen, York University, Toronto


Submission instructions
---
Authors can submit an Extended Abstract of 2 pages (including
references) at the EasyChair conference system:

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


Important dates
-
School: June 13-18, 2022
Conference: June 20-24, 2022

Contributed talks:
Submission deadline: March 4, 2022
Notification to authors: April 15, 2022

The school's programme will start on Tuesday June 14 in the morning
and will end on Saturday June 18 in the afternoon.
A bus transfer from and to Coimbra will be arranged by the organisers,
on the afternoon of June 13 and June 18, respectively.

The conference programme will start on Monday June 20 in the morning
and will end on Friday June 24 in the afternoon.


Financial support
---

For the summer school a certain amount of funding is available for
those in financial need. This is intended primarily for students, but
non-students can be considered in exceptional circumstances.


Program Committee
---

Peter Jipsen, Chapman University, USA (PC co-chair)
Jorge Picado, Universidade de Coimbra, Portugal (PC co-chair)
Nick Bezhanishvili, University of Amsterdam, Netherlands
Agata Ciabattoni, Vienna University of Technology, Austria
Maria Manuel Clementino, Universidade de Coimbra, Portugal
Mai Gehrke, Université Côte D'Azur, Nice, France
Silvio Ghilardi, Università degli Studi di Milano, Italy
Zuzana Hanikova, Inst. of Computer Science, Czech Academy of Sciences
John Harding, New Mexico State University, USA
Tomas Jakl, University of Cambridge, UK
Zurab Janelidze, Stellenbosch University, South Africa
Ramon Jansana, Universitat de Barcelona, Spain
Agi Kurucz, King's College London, UK
Serafina Lapenta, Universita degli Studi di Salerno, Italy
Matias Menni, Conicet and Universidade Nacional de La Plata, Argentina
George Metcalfe, University of Bern, Switzerland
Hiroakira Ono, Japan Advanced Institute of Science & Technology, Japan
Daniela Petrisan, University Paris Diderot (Paris 7), France
Adam Prenosil, Universita degli Studi di Cagliari, Italy
Luca Reggio, University of Oxford, UK
Greg Restall, University of St Andrews, UK
Benno van den Berg, University of Amsterdam, Netherlands


Steering Committee

[Logica-l] Open House on Category Theory 2021

[Marcelo Esteban Coniglio]

- Forwarded message -

Dear all,

We are happy to announce the Open House on Category Theory 2021. A
short, informal meeting which ideally would have taken place in México
but, because of the covid pandemic, will take place online; 18-19
November 2021.

We will seize the occasion to celebrate Francisco 'Quico' Marmolejo's
60th birthday, so we particularly encourage talks on Pseudo-monads,
distributive laws, Toposes and/or Axiomatic Cohesion.

If you would like to assist, please send a message to
matias.me...@gmail.com including your name and affiliation. If you
would also like to give a talk, you need only include the title and
abstract in your message.

Further information may be found on the meeting's website.

https://sites.google.com/view/catcat-2021-en/inicio

Best regards,

Matías Menni and Luis Turcio.

-- 
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/CAKuKcnLMQ8wiGZP%2B-Jdmmo9nWuobrVWihCtWUaz8TeXu4eoWzg%40mail.gmail.com.

[Logica-l] Fwd: PostDoc in Torun (Poland)

[Marcelo Esteban Coniglio]

Prezadas e prezados colegas,

Esta mensagem pode ser de interesse para membros da lista.

Abraços

Marcelo



-- Forwarded message -

Dear all,

I'm here forwarding a message form Rafał Gruszczyński, the local PI of
our partner Univ. of Torun

Maybe you know somebody who could be interested. Please spread the word.



I have a job offer for a young post-doc (up to 7 years after Ph.D.)
within the scientific project "Logico-philosophical foundations of
geometry and topology". The position is for 36 months, starting on the
1st January 2022. Good conditions, lots of benefits and opportunities.
All the details can be found here:

https://euraxess.ec.europa.eu/jobs/683672

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

[Logica-l] Session of Logic at CLAM 2021 - Call for Participation - 15-17 September, 2021. Online event

[Marcelo Esteban Coniglio]

[Please circulate! We apologize for any cross-postings]

Session of Logic at CLAM 2021
Online, September 15-17, 2021
https://clam2021.cmat.edu.uy/

The 6th Latin American Congress of Mathematicians (CLAM 2021) will be
held online from 13 September to 17 September, 2021.
A session of logic "Lógica Matemática"  will take place as part of the
congress, from 15 September to 17 September, 2021 (15:00 to 18:15
UTC-3).
The Program of the session of logic is the following:

PROGRAM  (UTC-3)

Day 1 - Wednesday 15 September

15:00-15:45 Hugo Luiz Mariano (Universidade de São Paulo - USP, Brazil)
"Filter pairs and natural extensions of logics"

15:45-16:30 Rodolfo C. Ertola-Biraben (Universidade Estadual de
Campinas - UNICAMP, Brazil)
"Distributivity, Modularity, and Natural Deduction"

16:45-17:30 María Paula Menchón (Universidad Nacional del Centro de la
Provincia de Buenos Aires - UNICEN, Argentina)
"A topological duality for monotone expansions of semilattices"

17:30-18:15 Nick Galatos (University of Denver, USA)
"Interpolation and Beth definability for conic idempotent Full Lambek calculus"

-

Day 2 - Thursday 16 September

15:00-15:45 Carles Noguera (Czech Academy of Sciences, Czech Republic)
"Lindström theorems in graded model theory"

15:45-16:30 José Patricio Díaz Varela (Universidad Nacional del Sur -
UNS, Argentina)
"Completitud estándar fuerte (fuerte finita) para lógicas de
S5-modales de Łukasiewicz"

16:45-17:30 Xavier Caicedo (Universidad de los Andes - Uniandes, Colombia)
"Locally pseudocomplemented abelian ℓ-groups"



Day 3 - Friday 17 September

15:00-15:45 Xavier Vidaux (Universidad de Concepción - UdeC, Chile)
"Hilbert's tenth problem in rings of meromorphic functions"

15:45-16:30 Rodrigo de Alvarenga Freire (Universidade de Brasília - UnB, Brazil)
"Embeddability between orderings and GCH"

16:45-17:30 Alexander Berenstein (Universidad de los Andes - Uniandes, Colombia)
"Existentially closed measure preserving actions of the free group."

--

REGISTRATION
Participation in the congress will be free-of-charge, but registration
is mandatory.
The registration form is here:
https://clam2021.cmat.edu.uy/registrarse
***Please register until September 5th**


More information will be available here:
https://clam2021.cmat.edu.uy/

We hope to meet you at the CLAM 2021.
All the best,

Manuela Busaniche and Marcelo Coniglio
Organizers of the session "Lógica Matemática"
CLAM 2021

-- 
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/CAKuKcn%2BRtn1CxOjXZs%3D29479QYN2xSr4j2N4wN03PyWbR9-jGQ%40mail.gmail.com.

Re: [Logica-l] On Hilbert’s Sixth Problem

[Marcelo Esteban Coniglio]

Parabéns, Dória e Newton!

Grande abraço

Marcelo

Em ter., 29 de jun. de 2021 às 17:00, Famadoria  escreveu:
>
> Foi aceito pela Synthèse Library o livro do Newton e meu, On Hilbert’s Sixth 
> Problem, acabei de sabê-lo. Reúne quarenta anos de trabalhos nossos.
>
> Sent from my iPhone
>
> --
> 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/61ABC78F-F3D6-4FC7-BB50-837D581F9FA6%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/CAKuKcnJip4XQiLfQdZ-%3DvJdJnO9HJU0%3D-7yKXg5kSv4dUJvtig%40mail.gmail.com.

Re: [Logica-l] outra noticia triste: Roberto Bedregal (UFPB)

[Marcelo Esteban Coniglio]

Notícia muitissimo triste. Uma perda enorme. Meus sentimentos para o
Benjamin, o Claudio e todos seus familiares e amigos.

Marcelo

Em qua., 7 de abr. de 2021 às 12:31, valeria.depaiva
 escreveu:
>
> do Twitter do Thiago da Silva ontem
>
> Hoje a Matemática brasileira perde um grande nome para a Covid: prof. Roberto 
> Bedregal (UFPB). Um exímio geômetria algebrista, de uma simpatia inigualável 
> e sorriso franco. Foi uma honra conhecê-lo, professor.
>
> --
> 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/d0087cb8-1623-4213-9d0c-4811c52deae9n%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/CAKuKcnLPizvfUHpR7LDMq0iot%3D03p2mf0%2BQroRuaZh6QsDkZJg%40mail.gmail.com.

[Logica-l] Logic World Day 2021 @ CLE

[Marcelo Esteban Coniglio]

Prezados(as) colegas

No dia 14 de janeiro das 14 às 16:30 (horário de Brasília), celebrando
o Dia Mundial da Lógica, teremos uma série de palestras curtas
ministradas por pesquisadores vinculados ao Centro de Lógica,
Epistemologia e História da Ciência (CLE) da UNICAMP. Vários dos
pesquisadores vão descrever sua agenda de projetos futuros, o que pode
ser de interesse para estudantes que pretendem realizar uma
pós-graduação em Lógica.

PROGRAMA

14:00-14:10 Reception
14:10-14:30 Walter Carnielli (CLE-UNICAMP):  GTAL Research Agenda  for
2021: awakening from hibernation
14:30-14:50 Juliana Bueno-Soler (CLE-UNICAMP): Agenda  for 2021: my
research topics
14:50-15:10 Marcelo E. Coniglio (CLE-UNICAMP): Genuine Paracomplete Logics
15:10-15:40 Rodolfo Ertola (CLE-UNICAMP): A note on distributive
lattices in the nineteenth century
15:40-16:00 Itala D'Ottaviano (CLE-UNICAMP): GTAL Research Agenda  for
2021: continuing to work hard, in spite of the pandemic
16:00 Logic Cocktail: 45 years of Logic at CLE

Mais informações no link abaixo:

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

Aguardamos vocês!

Abraços

Marcelo

-- 
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/CAKuKcnL8azkgkY_MZ-je-YfQg6Arr8Pne_eLmQq1U2tW4Yk5jw%40mail.gmail.com.

Re: [Logica-l] Nota de profundo pesar (falecimento do Prof. Paulo Augusto Veloso)

[Marcelo Esteban Coniglio]

Tristíssima notícia. Um lógico billante, uma pessoa incrível, exemplo
de talento, humildade e honestidade.
Meus sinceros pêsames para a  Sheila e para suas filhas

Marcelo

Em sáb., 14 de nov. de 2020 às 14:49, Bruno Lopes  escreveu:
>
> Caros,
>
> Encaminho a nota da SBL em pesar pelo falecimento do Prof. Paulo Augusto 
> Veloso.
>
> Abraços,
>
> Bruno.
>
> Caras e caros colegas,
>
> Recebemos com grande pesar a notícia do falecimento, ocorrido 14 de novembro, 
> do Prof. Paulo Augusto Veloso. Em nome da Sociedade Brasileira de Lógica, 
> externamos nossas condolências a seus familiares. Veloso era professor 
> titular aposentado da Universidade Federal do Rio de Janeiro, tendo atuado 
> anteriormente na Pontifícia Universidade Católica do Rio de Janeiro e na 
> Universidade Federal Fluminense. Foi mestre de muitos membros da comunidade; 
> sua presteza, generosidade e seu caráter serão lembrados.
>
> A Diretoria
> Sociedade Brasileira de Lógica
> 14 de novembro de 2020
>
> --
> 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/CBEDD5A5-14B9-4597-AE12-EA694D10F170%40ic.uff.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/CAKuKcnJi-%2ByNVaNBamqcqzVq%2BKsJ1HgQ2euw7qYUC5GS8NU1xQ%40mail.gmail.com.

Re: [Logica-l] Fwd: [logic-bsb] F. Miraglia, "An Introduction to Partially Ordered Structures and Sheaves", 2020

[Marcelo Esteban Coniglio]

Caros(as),

Gostaria de parabenizar os editores da série, e agradecer efusivamente o
Chico por ter disponibilizado esta verdadeira jóia.

Grande abraço

Marcelo

Em sex., 17 de jul. de 2020 às 13:09, Rodrigo Freire 
escreveu:

> Divulgo grande livro publicado hoje em acesso aberto pelo LnA.
>
>
> -- Forwarded message -
> From: Lógica no Avião 
> Date: Fri, Jul 17, 2020 at 1:05 PM
> Subject: [logic-bsb] F. Miraglia, "An Introduction to Partially Ordered
> Structures and Sheaves", 2020
> To: 
>
>
> Informamos que o grande livro "An Introduction to Partially Ordered
> Structures and Sheaves",
> de autoria do professor Francisco Miraglia, está agora publicado em acesso
> aberto pelo selo
> 'Lógica no Avião' [lna.unb.br].
>
> Trata-se de material de valor duradouro, certamente um dos melhores livros
> sobre
> o assunto, agora disponível para as futuras gerações.
>
> --
> Site da organização "Lógica no Avião":
>
> lna.unb.br
>
>
> Site do "Seminário Permanente 'Lógica no Avião'":
>
> logicbrasilia.org
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "Lógica no Avião"
> dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logic-bsb+unsubscr...@googlegroups.com.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/d/msgid/logic-bsb/CAP_Wf4WfNa4ZHnUw%3DHc%2B_3m-OuUwZsoq%3DYvj20dYU3dsR0E1Kg%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/CAExWzULDmdND6r9aQoU4DZOfOPugXUrOpKNA_vNOiufLGtea%3Dw%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/CAKuKcnKcL0PGzG5BAJp5XdZZG9O-q6bEnVrBd8U%2BQny_ysJ2UQ%40mail.gmail.com.

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

[Marcelo Esteban Coniglio]

Caro João,

Uma belíssima e merecida homenagem! Parabéns aos editores  e  autores por
este importante volume.
Um forte abraço

Marcelo


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/CAKuKcnJ-bhbRO5o3R5Q%3DQvJXRGEruAMmOFkaA438%2BQzLg0%2Bvmg%40mail.gmail.com.

Re: [Logica-l] LFIs com replacement

[Marcelo Esteban Coniglio]

Caro Umberto,

Certamente deveremos mudar a frase do abstract (que, como mencionado antes,
em nada afeta o que é apresentado no artigo).

Um grande abraço, e aguardamos seus comentários!

Marcelo

Em qui., 26 de mar. de 2020 às 15:41, Umberto Rivieccio <
umberto.riviec...@gmail.com> escreveu:

>
> Olá Marcelo, Walter,
>
> > Muito obrigado pela atinada observação. As LFIs às que nos referimos não
> são nem self-extensional nem algebrizáveis. Neste artigo estamos
> principalmente  preocupados com a self-extensionality, no sentido de que
> todos os conectivos (incluindo a negação paraconsistente e o conectivo de
> consistência) preservem a interderivabilidade; dai sai a algebrizabilidade.
>
> Entendo. Mesmo assim, minha sugestão seria (se ainda possível) de
> modificar aquela frase no abstract, porque parece sugerir uma implicação
> entre ser self-extensional e algebraizable, o que sabemos ser falso em
> geral (há também lógicas self-extensional que não são algebraizable). Eu
> ainda não li o artigo inteiro, vou mandar talvez mais comentários assim que
> terminar a leitura!
>
> Abraços,
>
> Umberto
>
>
> >
> > Um grande abraço
> >
> > Marcelo
> >
> >
> > Em qui., 26 de mar. de 2020 às 11:36, Umberto Rivieccio <
> umberto.riviec...@gmail.com> 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/CAKuKcnLe7v%3DmB0mgBw%2BV0_cpWQX%3Daboc3RuDr8bJcJzs6kaTSQ%40mail.gmail.com.

Re: [Logica-l] S5 self-extensional LFI

[Marcelo Esteban Coniglio]

Claro, seus trabalhos, os de Joao Marcos e os de Avron sobre LFIs
self-extensionais (modais e 3-valoradas) estão comentados. Nossa proposta é
diferente e abrange as LFIs basicas.

Abraço

Marcelo

Em qui., 26 de mar. de 2020 às 13:48, jean-yves beziau <
jyb.logic...@gmail.com> escreveu:

> Uma LFI que é self-extensional é S5:
> J.-Y.Béziau, “S5 is a paraconsistent logic and so is first-order classical
> logic”, Logical Investigations, 9, (2002), pp.301-309.
>
> http://www.jyb-logic.org/papers12-11/S5%20is%20a%20paraconsistent%20logic.pdf
>
> --
> 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/CAF2zFLCKvcBd%2BgBKWXZg7EmBEonDR3B-16SQ8FfWu8OJEj-krg%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/CAKuKcn%2BckUw5zzw80%3DjaGL0rvoJtsfBgf39_v9deo_%2BsKXmGXw%40mail.gmail.com.

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

[Marcelo Esteban Coniglio]

Caro Umberto,

Muito obrigado pela atinada observação. As LFIs às que nos referimos não
são nem self-extensional nem algebrizáveis. Neste artigo estamos
principalmente  preocupados com a self-extensionality, no sentido de que
todos os conectivos (incluindo a negação paraconsistente e o conectivo de
consistência) preservem a interderivabilidade; dai sai a algebrizabilidade.

Um grande abraço

Marcelo


Em qui., 26 de mar. de 2020 às 11:36, Umberto Rivieccio <
umberto.riviec...@gmail.com> 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/CAKuKcnLM6VCT_fJv%2BVoxKZETTYtVA2P656zdeygj8mzvm0p7JA%40mail.gmail.com.

[Logica-l] Fwd: LATD 2020: Call for Papers

[Marcelo Esteban Coniglio]

-- Forwarded message -
From: MathFuzzLog working group 
Date: Mon, Jan 13, 2020 at 2:32 PM
Subject: LATD 2020: Call for Papers
To: math fuzzlog 


LOGIC, ALGEBRA AND TRUTH DEGREES 2020 (LATD 2020)

14-18 September, 2020
Tbilisi, Georgia

https://www.logic.at/latd2020/

***

CALL FOR PAPERS

Logic, Algebra and Truth Degrees 2020 (LATD 2020) will be held on
14-18 September 2020 at the Ilia State University in Tbilisi, Georgia.
LATD 2020 is one of the main events of the Tbilisi Autumn of Logic
(http://tbilisilogicautumn2020.scienceontheweb.net/), a series of
conferences and summer schools taking place in Tbilisi promoting
research in pure and applied logic at an international level.

The conference will be preceded by the Sixteenth International Tbilisi
Summer School in Logic and Language (https://www.logic.at/tbilisi20/)
devoted to courses on core topics of LATD 2020.

The LATD conference series started as an official meeting of the
working group on Mathematical Fuzzy Logic and has evolved into a wider
meeting in Algebraic Logic and related areas. Its main goal is to
foster collaboration between researchers in these areas, and to
promote communication and cooperation with members of neighbouring
fields.

We invite contributions on any relevant aspects of logical systems
(including many valued, fuzzy, substructural, modal and quantum
logics), in particular:

* Proof theory and computational complexity
* Algebraic semantics and abstract algebraic logic
* First-order, higher-order and modal formalisms
* Geometric and game-theoretic aspects
* Applications and foundational issues


Abstracts of contributed talks of 2-4 pages are to be prepared using
the EasyChair class style
(https://easychair.org/publications/for_authors) and submitted via

https://easychair.org/my/conference?conf=latd2020


IMPORTANT DATES

Submission deadline: 1 April 2020
Notification: 1 June 2020
Early registration deadline: 15 June 2020
Late registration deadline: 31 August 2020
Conference: 14-18 September 2020


INVITED SPEAKERS

Bahareh Afshari (University of Amsterdam)
Mamuka Jibladze (Razmadze Mathematical Institute)
Matteo Mio (Ecole Normale Superieure de Lyon)
Daniele Mundici (University of Florence)
Sara Negri (University of Helsinki)
Carles Noguera (Czech Academy of Sciences)
Alessandra Palmigiano (Vrije Univesiteit Amsterdam)
James Raftery (University of Pretoria)


PROGRAMME COMMITTEE

Matthias Baaz (Vienna University of Technology)
Nick Bezhanishvili (Chair, University of Amsterdam)
Marta Bilkova (Czech Academy of Sciences)
Agata Ciabattoni (Vienna University of Technology)
Petr Cintula (Czech Academy of Sciences)
David Gabelaia (Razmadze Mathematical Institute)
Nick Galatos (University of Denver)
Mai Gehrke (University of Nice)
Lluis Godo (Artificial Intelligence Research Institute, III-CSCIC)
John Harding (New Mexico State University)
Wesley Holliday (University of California, Berkeley)
Rosalie Iemhoff (Utrecht University)
Peter Jipsen (Chapman University)
Alexander Kurz (Chapman University)
Vincenzo Marra (University of Milan)
George Metcalfe (University of Bern)
Tommaso Moraschini (University of Barcelona)
Luca Spada (University of Salerno)
Kazushige Terui (Kyoto University)
Yde Venema (University of Amsterdam)


ORGANIZING COMMITTEE

Nino Antidze (Vienna University of Technology)
Matthias Baaz (Chair, Vienna University of Technology)
David Gabelaia (Razmadze Mathematical Institute)
Gianluca Grilletti (University of Amsterdam)
Anella Lolic (Vienna University of Technology)
Ilma Lolic (Vienna University of Technology)
Tamar Tsopurashvili (Ilia State University)

-- 
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/CAMuX%3D34VNheuU39EAzqsBEDQFgKfUbNjALn2-e7xFW9JJn_EEA%40mail.gmail.com.

[Logica-l] World Logic Day @ CLE - Terça-feira 14, às 14

[Marcelo Esteban Coniglio]

Prezad@s colegas e estudantes

Na próxima terça-feira 14, às 14hs,  será realizado no CLE (assim como
em diversos lugares do mundo) um pequeno evento comemorando o Dia
Mundial da Lógica. Estão tod@s  convidados a participar.

Programa:

Sessão 1 (14:00 to 16:00)
14:00 Walter Carnielli: The Brazilian Paraconsistency Program and its Unfoldings
14:40 Aldo Figallo-Orellano: Models for Paraconsistent Set Theory
15:20 Juliana Bueno-Soler: Plain Fibring of Polynomial Logics

16:00 Coffee Break

Sessão 2 (16:30 to 18:30)
16:30 Marcelo E. Coniglio: Escaping from Necessity: Modal Logics with
Non-Deterministic Semantics
17:10 Fabio Bertato: Logic Applied to Natural Theology
17:50 Itala D'Ottaviano: On the Historical Relevance of Glivenko's
Translation of 1929

Mais informações em
https://sites.google.com/view/wld2020cle/

Abraços

Marcelo

-- 
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/CAMuX%3D35j26uS2P%2Bbped7iSFbPdWPx%2BkhJdFvtQ_or04iSPDN0A%40mail.gmail.com.

Re: [Logica-l] Uma nova classe de modelos para a Teoria Paraconsistente de Conjuntos

[Marcelo Esteban Coniglio]

Caros,

Na nossa  mensagem anterior, o sinal de  [fim da citação] da segunda
citação deveria ir logo após a frase

"Por essa razão  uma estrutura a valores em PS3 não pode fornecer modelos
de ZF completo. Deve necessariamente haver algo errado no segundo resultado
principal Teorema 9.4!>>"

Abraços

Walter e e Marcelo

Em qua., 18 de dez. de 2019 às 09:04, Marcelo Esteban Coniglio <
conig...@unicamp.br> escreveu:

> Prezados Sourav e Giorgio
>
> Muito obrigado mais uma vez pelas observações. No entanto, infelizmente
> tem alguns erros de argumentação que acabam invalidando as mesmas.
>
> Antes de prosseguir, gostaríamos de passar a limpo os objetivos das suas
> críticas, (1) e (2).
>
> A crítica (1) visa mostrar que nosso primeiro resultado principal (Theorem
> 8.21), que estabelece que os twist-valued models sobre LPT0 satisfazem ZFC,
> seria trivialmente obtido do resultado clássico descrito no livro de Bell,
> de que os Boolean-valued models satisfazem ZFC. Isto é resumido na seguinte
> frase da sua última mensagem:
>
> [começo da citação]
> < todos os teoremas) de ZFC são válidos em V(B), para cada álgebra booleana
> completa B".>>
> [fim da citação]
>
> A crítica (2) aponta um suposto erro no nosso segundo resultado principal
> (Theorem 9.4), que estabelece que os twist-valued models sobre a lógica
> (PS3,*) satisfazem ZFC. A razão seria simplesmente que V(PS3) é modelo do
> fragmento sem negação de ZF, e não de ZF completo (com negação),
> estabelecido no Corolário 5.2 do paper de Loewe e Tarafder. Isto é resumido
> nas seguintes frases da sua última mensagem:
>
> [começo da citação]
> < [fim da citação]
>
> "O fragmento livre da negação de ZF é válido em V(PS3)".
>
> Existem casos de Axioma de Separação, contendo negação, que não são
> válidos em V(PS3)! Como podemos entender isso de forma errada quando Sourav
> é um dos autores do artigo?
> Por essa razão  uma estrutura a valores em PS3 não pode fornecer modelos
> de ZF completo. Deve necessariamente haver algo errado no segundo resultado
> principal Teorema 9.4!>>
>
> A primeira coisa que tentamos explicar na mensagem anterior é que as
> críticas (1) e (2) são (classicamente) contraditórias.
> Ou seja: não dá para sustentar as duas críticas ao mesmo tempo. A
> explicação é simples: o argumento apresentado para "provar" (1) pode ser
> aplicado, mutatis mutandis (e a prova disto segue abaixo), para "provar" a
> seguinte variante da sua afirmação acima:
>
> Teorema 9.4 é equivalente ao conhecido resultado "todos os axiomas (daí
> todos os teoremas) de ZFC são válidos em V(B), para cada álgebra booleana
> completa B".
>
> Se assumimos que os resultados do livro de Bell são corretos (acho que
> concordamos nesse ponto), então a crítica (2) (que afirma que o Tteorema
> 9.4 não vale) é falsa. Logo, (1) e (2) são inconsistentes.
>
> [Só pra constar: como é que aplicamos os seus argumentos de (1) mutatis
> mutandis para PS3 e (PS3,*)? Muito simples: a conjunção e disjunção de PS3
> coincidem com a de LPT0. Dado que PS3 tem bottom 0, o termo x => 0 define a
> negação forte ~x de LPT0. Assim, as operações das estruturas twist de PS3
> para a conjunção, disjunção e negação forte são as mesmas daquelas
> consideradas em (1). Com relação à implicação => de PS3, diferente daquela
> de LPT0, quando passamos para as estruturas twist, a primeira coordenada da
> implicação nas twist para PS3 coincide com a primeira coordenada da
> implicação nas twist para LPT0 (sendo nos dois casos a implicação Booleana
> das respectivas primeiras coordenadas). Isso mostra que as operações
> consideradas no argumento em (1) para LPT0 também se aplicam para PS3. E
> dai para (PS3,*), dado que a negação paraconsistente * é a mesma de LPT0.]
>
> Visto que não dá para fazer as duas críticas simultaneamente, e esperando
> não cansar os outros leitores desta lista com esta longa discussão,
> apresentaremos a seguir breves considerações para mostrar que nenhum dos
> argumentos dados na sua mensagem em favor de (1) e (2) procedem.
>
> Comecemos por (2), que é mais fácil de analisar por se tratar apenas de um
> erro de interpretação da terminologia. O Corollary 5.2 do paper de
> Loewe-Tarafder diz exatamente:
>
> COROLLARY 5.2. For any filter D, all axioms of NFF-ZF are D-valid in
> V(PS3).
>
> Esclarecendo para os demais leitores, D é o conjunto de valores
> distinguidos para analisar os modelos. Pode ser D={1} ou D={1, 1/2}.
> Por outro lado, NFF é definido na pag. 193 (pag. 2 do pdf) como sendo o
> conjunto de "negation-free formulas". Tecnicamente, e como consta nesse
> trecho do artigo, é a álgebra de fórmulas obtida das atômicas com os
&g

Re: [Logica-l] Uma nova classe de modelos para a Teoria Paraconsistente de Conjuntos

[Marcelo Esteban Coniglio]

; ($) Note que a Definição 7.2 diz que a linguagem ZF pura não contém o
> conectivo "\lnot", ou seja, os únicos conectivos são os conectivos de
> TA_sub.
>
> Combinando (#) e ($) dissemos isso: Teorema 8.21 é equivalente ao
> conhecido resultado "todos os axiomas (daí todos os teoremas) de ZFC são
> válidos em V(B), para cada álgebra booleana completa B".
>
> Infelizmente, não há nenhuma prova no paper de que esta equivalência não
> seja correta. Em outros termos, embora as estruturas twisted pareçam
> interessantes, elas não fornecem, no paper, novos modelos de ZFC.
>
> (2) Não existe nenhum Corolário 11 (nem Theorem 9 e 4) no paper de Loewe e
> Tarafder. Provavelmente o corolário que você queria mencionar é o Corolário
> 5.2 (na página 10); a versão publicada deste artigo está anexada a este
> correio. Este corolário apenas diz o seguinte:
>
> "O fragmento *livre da negação* de ZF é válido em V(PS3)".
>
> Existem casos de Axioma de Separação, contendo negação, que não são
> válidos em V(PS3)! Como podemos entender isso de forma errada quando Sourav
> é um dos autores do artigo?
> Por essa razão  uma estrutura a valores em PS3 não pode fornecer modelos
> de ZF completo. Deve necessariamente haver algo errado no segundo resultado
> principal Teorema 9.4!
>
> Saudações,
> Sourav e Giorgio
>   published version in RSL.pdf
> <https://drive.google.com/file/d/0B6AE1HSLVfELbWs5aXJGaWVuV2Z5UEZHUmZxLWxqMVVOUGVj/view?usp=drivesdk>
>
>
> Le lun. 16 déc. 2019 16:45, Marcelo Esteban Coniglio 
> a écrit :
>
>> Caros Sourav e  Giorgio,
>>
>> Com relação à sua mensagem, agradecemos pelo interesse em nosso artigo,
>> mas gostaríamos de esclarecer alguns enganos de vossa parte na apreciação
>> dos resultados.
>>
>> (1) Vocês afirmam "Em primeiro lugar, a validade nas estruturas Twisted,
>> que são as novas estruturas introduzidas no artigo, é booleana e, portanto,
>> o primeiro resultado principal Teorema 8.21 (como todos os lemas
>> precedentes) é uma consequência direta (e não uma extensão) do resultado
>> bem conhecido de que as estruturas a valores booleanos validam todos os
>> axiomas ZFC (veja o livro do Bell "Set Theory") [...] o que leva ao fato de
>> que as álgebras booleanas twisted [...] não são nada além de álgebras
>> booleanas. Portanto, as estruturas twisted não oferecem novos modelos para
>> ZFC."
>>
>> Há aqui um engano. As estruturas twist para a lógica 3-valorada LPT0, a
>> partir das quais construímos os modelos de ZFC, formam uma variedade de
>> álgebras que é termwise equivalente à variedade MV3 de MV-álgebras que são
>> a classe de modelos de L3, a lógica 3-valorada de Lukasiewicz. Isto é
>> consequência do fato de que LPT0  coincide (a menos de linguagem) com a
>> lógica J3 de da Costa e D'Ottaviano, a qual é por sua vez equivalente (no
>> sentido introduzido por Blok e Pigozzi em "Abstract algebraic logic and the
>> deduction metatheorem") com L3. Logo, do ponto de vista algébrico, os
>> twist-valued models que nós introduzimos para a teoria de conjuntos vão
>> além dos Boolean-valued models: as MV álgebras de MV3 não são Boolean
>> algebras em geral. Checar a satisfação dos axiomas de ZFC nessas estruturas
>> requer uma análise minuciosa da longa demonstração apresentada no referido
>> livro de Bell, adaptando em certos pontos alguns detalhes técnicos para o
>> contexto mais geral das twist-structures. As estruturas twist para LPT0
>> contém álgebras de Boole como subestruturas (por exemplo, o conjunto dos
>> pares da forma (a,~a)), mas  há mais coisas nesses modelos: a segunda
>> coordenada dos pares nao é necessariamente o complemento booleano da
>> primeira, há uma negação paraconsistente, e há conjuntos "inconsistentes" x
>> tais que (x=x) e não (x=x) é o caso, onde obviamente "não" é a negação
>> paraconsistente. Assim, os Boolean-valued models foram levados para um
>> contexto mais geral.
>>
>> Se a proximidade dos twist-valued models com os Boolean-valued models no
>> fragmento sem negação paraconsistente (o ZF "puro") é visto como uma
>> limitação,  essa limitação já aparece no (único) modelo de ZF "puro"
>> apresentado no artigo de Lowe e Tarafder, PS3. Com efeito, o raciocínio que
>> vocês apresentam para as estruturas twist para LPT0 no início da sua
>> mensagem pode ser aplicado mutatis mutandis às estruturas twist para PS3,
>> também apresentadas no nosso paper: aqueles items (i) a (iii) valem também
>> para as estruturas twist para PL3. Logo, a classe de modelos de ZF baseados
>> nessas estruturas  (em 

Re: [Logica-l] Uma nova classe de modelos para a Teoria Paraconsistente de Conjuntos

[Marcelo Esteban Coniglio]

Caros Sourav e  Giorgio,

Com relação à sua mensagem, agradecemos pelo interesse em nosso artigo, mas
gostaríamos de esclarecer alguns enganos de vossa parte na apreciação dos
resultados.

(1) Vocês afirmam "Em primeiro lugar, a validade nas estruturas Twisted,
que são as novas estruturas introduzidas no artigo, é booleana e, portanto,
o primeiro resultado principal Teorema 8.21 (como todos os lemas
precedentes) é uma consequência direta (e não uma extensão) do resultado
bem conhecido de que as estruturas a valores booleanos validam todos os
axiomas ZFC (veja o livro do Bell "Set Theory") [...] o que leva ao fato de
que as álgebras booleanas twisted [...] não são nada além de álgebras
booleanas. Portanto, as estruturas twisted não oferecem novos modelos para
ZFC."

Há aqui um engano. As estruturas twist para a lógica 3-valorada LPT0, a
partir das quais construímos os modelos de ZFC, formam uma variedade de
álgebras que é termwise equivalente à variedade MV3 de MV-álgebras que são
a classe de modelos de L3, a lógica 3-valorada de Lukasiewicz. Isto é
consequência do fato de que LPT0  coincide (a menos de linguagem) com a
lógica J3 de da Costa e D'Ottaviano, a qual é por sua vez equivalente (no
sentido introduzido por Blok e Pigozzi em "Abstract algebraic logic and the
deduction metatheorem") com L3. Logo, do ponto de vista algébrico, os
twist-valued models que nós introduzimos para a teoria de conjuntos vão
além dos Boolean-valued models: as MV álgebras de MV3 não são Boolean
algebras em geral. Checar a satisfação dos axiomas de ZFC nessas estruturas
requer uma análise minuciosa da longa demonstração apresentada no referido
livro de Bell, adaptando em certos pontos alguns detalhes técnicos para o
contexto mais geral das twist-structures. As estruturas twist para LPT0
contém álgebras de Boole como subestruturas (por exemplo, o conjunto dos
pares da forma (a,~a)), mas  há mais coisas nesses modelos: a segunda
coordenada dos pares nao é necessariamente o complemento booleano da
primeira, há uma negação paraconsistente, e há conjuntos "inconsistentes" x
tais que (x=x) e não (x=x) é o caso, onde obviamente "não" é a negação
paraconsistente. Assim, os Boolean-valued models foram levados para um
contexto mais geral.

Se a proximidade dos twist-valued models com os Boolean-valued models no
fragmento sem negação paraconsistente (o ZF "puro") é visto como uma
limitação,  essa limitação já aparece no (único) modelo de ZF "puro"
apresentado no artigo de Lowe e Tarafder, PS3. Com efeito, o raciocínio que
vocês apresentam para as estruturas twist para LPT0 no início da sua
mensagem pode ser aplicado mutatis mutandis às estruturas twist para PS3,
também apresentadas no nosso paper: aqueles items (i) a (iii) valem também
para as estruturas twist para PL3. Logo, a classe de modelos de ZF baseados
nessas estruturas  (em particular PS3!) seriam Boolean-valued models de ZF,
segundo seu raciocínio. Mas já esclarecemos acima que esse não é bem o caso.

Justamente um ponto interessante do nosso artigo é que apresentamos uma
abordagem diferente daquela apresentada por Lowe e Tarafder, abstraindo a
estrutura de PS3 para estruturas twist em lugar de analisar as propriedades
das implicações (como é feito naquele artigo, que de todas maneiras explora
muito bem diferentes implicações para definir novos modelos algébricos de
fragmentos de ZF),  o que permitiu obter uma classe de modelos de ZF, um
modelo para cada álgebra de Boole completa. Analisar as coisas desde essa
perspectiva permitiu provar que PS3 é *também* modelo do axioma da escolha,
adaptando a prova para LPT0 dada no paper (adaptada, por sua vez, da prova
de Bell, como foi mencionado antes). Os detalhes não foram dados no artigo
porque é realmente uma adaptação imediata do caso de LPT0. Isto nos leva à
segunda questão:

(2) Vocês mencionam no final da mensagem que "O segundo resultado principal
do artigo [...] afirma que a estrutura twisted para PS_3 [...] é um modelo
de todos os axiomas de ZFC. Embora não haja provas desta afirmação no
artigo, é fácil mostrar que isto é falso. De fato, há instâncias (do
esquema) de separação que não são válidas no modelo a valores na álgebra
PS_3."

Esta frase é curiosa, dado que Lowe e Tarafder mostram no Corollary 11 que
PS3 é modelo de ZF. Em particular, o esquema de Separação é satisfeito por
PS3 (é uma consequência dos Theorems 4 e 9). Evidentemente houve aqui
também um engano. O que é mostrado nesse artigo, na seção "Comparison to
other paraconsistent set theories" (Theorem 15), é que PS3 não satisfaz
algumas instâncias do esquema de *Compreensão* da teoria ingênua de
conjuntos, que no entanto é satisfeito por algumas teorias paraconsistentes
de conjuntos apresentadas na literatura.

Finalmente, consideramos que é muito bom que a área de teoria
paraconsistente de conjuntos tenha novas propostas, saindo da tradicional
abordagem da teoria ingênua de conjuntos e tentando, no seu lugar, analisar
(extensões de) ZF/ZFC. Alguns anos atrás 

[Logica-l] Postdoctoral Position in the Department of Decision-Making Theory (UTIA, Prague)

[Marcelo Esteban Coniglio]

Colegas,

Por favor distribuir.

Abs

Marcelo

***

The Institute of Information Theory and Automation, Czech Academy of
Sciences invites applications for a two-year postdoctoral position in
the Department of Decision-Making Theory (with a possibility of a
tenure-track) ideally beginning in February 2020. Most of departmental
research activities belong to the area of applied mathematics, the
focus is on theoretical problems as well as problems connected with
implementations of methods in the following areas:

mathematical optimization
nonsmooth analysis
partial differential equations
variational calculus
probabilistic models of decision support systems
conditional independence structures
artificial intelligence
mathematical logic

Candidates are expected to work in one of the above mentioned or
closely-related areas and to have a strong record of, or outstanding
potential for, significant research. In particular, candidates working
in the last four listed areas are strongly encouraged to apply.
Moreover, experience in obtaining third-party funds is advantageous.
The institute offers a monthly salary of CZK 40 000 (about 1 570 EURO)
and yearly benefits supporting e.g. recreational, and sport
activities, as well as health care programs

For full consideration, complete applications must be received by
December 31, 2019, but applications will be accepted until the
position is filled. In case of interest, please, send your application
by email to the head of the department, Martin Kružík, at
kru...@utia.cas.cz . The application should be a single PDF file and
include a CV, a research statement, and a copy of the PhD diploma. Two
letters of recommendation should be sent separately by their authors
to the e-mail address given above.

More information at: http://www.utia.cas.cz/news/3108

-- 
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/CAMuX%3D35UOP1QKcq-hXoTXk0JShJKZSYf5JQg%3DQDghuXQN_8wdA%40mail.gmail.com.

[Logica-l] PhDs in Logic 2020 (Berlin, Germany, April 27-29, 2020)

[Marcelo Esteban Coniglio]

Colegas,

Isto pode ser de interesse para estudantes de pós-graduação e pós-doutorandos.
Abs

Marcelo
--
PhDs in Logic 2020: PhDs in Logic XII (2020)
Freie Universität Berlin
Berlin, Germany, April 27-29, 2020
https://www.easychair.org/cfp/phdsinlogic2020

“PhDs in Logic” is an annual graduate conference organized by graduate
students. This interdisciplinary conference welcomes contributions to
various topics in mathematical logic, philosophical logic, and logic
in computer science. It involves tutorials by established researchers
as well as short (20-25 minutes) presentations by PhD students, master
students and first-year postdocs on their research.
We are happy to announce that the 12th edition of “PhDs in Logic” will
take place at the Freie Universität Berlin, Germany, from April 27 to
29, 2020.

Submission Guidelines

PhD students, master students and first-year postdocs in logic from
disciplines, that include but are not limited to philosophy,
mathematics and computer science are invited to submit an extended
abstract on their research.

Submitted abstracts should be no longer than 2 pages, including the
relevant references. Each abstract will be anonymously reviewed by the
scientific committee. Accepted abstracts will be presented by their
authors in a short presentation during the conference.


The deadline for abstract submission is 10th January 2020, and the
notification of acceptance will be sent by 28th February 2020. Please
submit your anonymized abstract in the Easychair format via:
https://easychair.org/conferences/?conf=phdsinlogic2020


We welcome students to participate in PhDs in Logic XII regardless of
whether they want to submit a contribution. Students interested in
participating, even without giving a talk, are kindly asked to
register. For more information please consult our webpage:
https://www.mi.fu-berlin.de/phdsinlogic2020/

List of Topics

Mathematical logic
Philosophical logic
Logic in computer science
Logic, logic, and logic!

Committees

Scientific Commitee

Christoph Benzmüller (FU Berlin)
Markus Brill (TU Berlin)
Juliana Bueno-Soler (CLE - State University of Campinas)
Walter Carnielli (CLE - State University of Campinas)
Marcelo Coniglio (CLE - State University of Campinas)
Ronald de Haan (University of Amsterdam)
Norbert Gratzl (LMU, Munich)
Jobst Heitzig (PIK, Potsdam)
Jesse Heyninck (TU Dortmund)
Bruno Jacinto (University of Lisbon)
Alessandra Marra (LMU Munich)
Alessandra Palmigiano (VU Amsterdam)
Luca Reggio (University of Bern)
Abílio Rodrigues (Federal University of Minas Gerais)
Daniel Skurt (Ruhr University Bochum)
Sumit Sourabh (University of Amsterdam)
Christian Straßer (Ruhr University Bochum)
Amanda Vidal (Czech Academy of Sciences)
Heinrich Wansing (Ruhr University Bochum)

Organizing committee

Sara Ayhan (Ruhr University Bochum)
Ana Cholodovskis (LMU Munich)
David Fuenmayor (Freie Universität Berlin)
Sarah Hiller (Freie Universität Berlin)

Invited Speakers

Marianna Antonutti Marfori (LMU Munich, Germany)
Christoph Benzmüller (FU Berlin, Germany)
Hannes Leitgeb (LMU Munich, Germany)
Sara Negri (University of Helsinki, Finland)
Alexander Steen (University of Luxembourg)
Peter Verdée (Catholic University of Louvain, Belgium)

Venue

The conference will be held in Berlin-Dahlem at the Freie Universität
Berlin (Main Campus) from April 27 to 29, 2020.

Important: attendance is free but registration is required!

Contact

All questions about submissions should be emailed to phdsinlo...@gmail.com

Sponsors

MATH+ Berlin
Association for Symbolic Logic ASL

Student Travel Awards
Attendance to PhDs in Logic 2020 is free (registration is required though).

ASL offers modest student travel awards to attend ASL meetings and
ASL-Sponsored meetings. Students must be members of the ASL in order
to apply. Applications must be received three months prior to the
start of the meeting. More information under:
https://aslonline.org/meetings/student-travel-awards/

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

[Logica-l] Logic job at CMU

[Marcelo Esteban Coniglio]

Caros(as)

A quem interessar possa.

Abs

Marcelo


De: Steve Awodey 
Enviado: viernes, 4 de octubre de 2019 8:49 a. m.
Para: categor...@mta.ca
Cc: Steve Awodey
Asunto: categories: Logic job at CMU

Friends,

The Department of Philosophy at Carnegie Mellon University is looking
to hire a mathematical logician at the assistant professor level.
Note that Category Theory is included among the possible areas of
specialization.

   Interfolio: https://apply.interfolio.com/69329

   MathJobs: https://www.mathjobs.org/jobs/jobs/14697

   PhilJobs: https://philjobs.org/job/show/13806


Please share this information with anyone who may be interested.

Best wishes,

Steve

-- 
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/CAMuX%3D34x0q3m5R%2BWdAZ87TtoSw4P2FwR087qpa_%2B9a8u7SC%3D4w%40mail.gmail.com.

Re: [Logica-l] Prêmio CAPES de Tese 2019 sai para um trabalho de lógica

[Marcelo Esteban Coniglio]

Parabéns Bruno e Walter! A tese é realmente muito boa.

Abraços

Marcelo

Em ter, 10 de set de 2019 16:38, Walter Carnielli <
walter.carnie...@gmail.com> escreveu:

> Caras e caros Colegas:
>
> Tenho a  satisfação de informar que meu orienta do  Bruno Ramos
> Mendonça e eu ganhamos o Prêmio CAPES  2019 de  Teses em Filosofia.
>
> Com a mensagem abaixo, espero sepultar de vez a história de  "lógica
> tem ou não relevância  para a filosofia"?
>
> " A Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
> (CAPES) outorga a BRUNO RAMOS MENDONÇA e ao(à) orientador(a) WALTER
> ALEXANDRE CARNIELLI, o Prêmio CAPES de Tese 2019 da área de FILOSOFIA
> do Programa de Pós-Graduação em FILOSOFIA da UNICAMP. "
>
> Tese de Doutorado  premiada:
>
> --
> “Teoria Tradicional da informação semântica sem escândalo da dedução:
> uma reavaliação moderadamente externalista do tópico baseada em
> em semântica-urna, e uma aplicação paraconsistente”
>
> Resumo: A tese mostra como é possível reestabelecer a teoria
> tradicional da informação  semântica (TSI) proposta por Yehoshua
> Bar-Hillel e Rudolf Carnap(1952, 1953). Uma consequência de TSI é o
> chamado "escândalo da dedução" (SoD), tese segundo a qual verdades
> lógicas têm quantidade nula de informação. SoD é problemática, dado
> que conflita com o caráter ampliativo do conhecimento formal.  Esta
> tese mostra que a  semântica-urna (RANTALA, 1979) consegue
> restabelecer TSI sem SoD.  A tese desenvolve também resultados
> modelo-teóricos mais avançados sobre semântica-urna e explora uma
> aplicação paraconsistente das ideias principais do trabalho;
>
>
> ---
> “Traditional theory of semantic information without the scandal of
> deduction: a moderately externalist reassessment of the topic based on
> urn semantics and a paraconsistent application”
>
> Abstract:  The thesis shows how it is possible to reestablish the
> traditional theory of semantic information (TSI) proposed by Yehoshua
> Bar-Hillel and Rudolf Carnap (1952, 1953). A consequence of IST is the
> so-called "scandal of deduction", (SoD), the claim that logical truths
> have no amount of information. SoD is problematic as it conflicts with
> the expansive character of formal knowledge. This thesis shows that
> urn semantics (RANTALA, 1979) can restore TSI without SoD. The thesis
> also develops some advanced model-theoretical results on urn semantics
> and explores a paraconsistent application of the main ideas of the
> work.
>
>
>
> Abs.
> 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%2Bob58OFBHXQU0fjYTi3HcYa7eN1%2BNhW6z_9iA0sG30uRxYTVg%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/CAMuX%3D34G14yp5JNxC7w_juQVmX%2BVc6Eaz1JGiLTesXwWc90cNA%40mail.gmail.com.

[Logica-l] Palestra de Christoph Benzmüller no CLE/UNICAMP sexta-feira 26/07

[Marcelo Esteban Coniglio]

Prezados(as) colegas

Lembro para vocês que nesta sexta-feira 26/07 o Prof. Christoph
Benzmüller (Freie Universität Berlin)  vai ministrar a seguinte
palestra  no CLE/UNICAMP,  às 16:00, na sala de seminários "Kurt
Gödel":

"Designing Normative Theories of Ethical Reasoning: Formal Framework,
Methodology, and Tool Support"

Christoph Benzmüller, Dr. habil., Professor
Freie Universität Berlin, Dep. of Mathematics and Computer Science, 14195 Berlin
Université du Luxembourg, FSTC, Avenue de l'Université, L-4365
Esch-sur-Alzette, Luxembourg
Saarland University, Dep. of Computer Science, Saarbrücken
http://christoph-benzmueller.de

Abstract: The adequate handling of normative concepts such as
obligation, permission, prohibition, and moral  commitment is
challenging, as illustrated by the notorious paradoxes of deontic
logic. In this talk I will introduce an approach to design and
evaluate theories of normative reasoning. In particular, I will
present a formal framework based on higher-order logic, a design
methodology, and discuss tool support. I will demonstrate and discuss
how the design of normative theories is now made accessible to
non-specialist users and developers.


São todos bem-vindos!

Abraços

Marcelo

-- 
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/CAMuX%3D34A5Vymcy4AjWreqk21WhCeE53K1mzNGMMgt%3DrwKhAKmg%40mail.gmail.com.

[Logica-l] Palestra de Christoph Benzmüller no CLE/UNICAMP 26/07

[Marcelo Esteban Coniglio]

Prezados(as) colegas

Tenho o prazer de anunciar a seguinte palestra a ser ministrada no
CLE/UNICAMP na sexta-feira 26/07 às 16:00, na sala de seminários "Kurt
Gödel":

"Designing Normative Theories of Ethical Reasoning: Formal Framework,
Methodology, and Tool Support"

Christoph Benzmüller, Dr. habil., Professor
Freie Universität Berlin, Dep. of Mathematics and Computer Science, 14195 Berlin
Université du Luxembourg, FSTC, Avenue de l'Université, L-4365
Esch-sur-Alzette, Luxembourg
Saarland University, Dep. of Computer Science, Saarbrücken
http://christoph-benzmueller.de

Abstract: The adequate handling of normative concepts such as
obligation, permission, prohibition, and moral  commitment is
challenging, as illustrated by the notorious paradoxes of deontic
logic. In this talk I will introduce an approach to design and
evaluate theories of normative reasoning. In particular, I will
present a formal framework based on higher-order logic, a design
methodology, and discuss tool support. I will demonstrate and discuss
how the design of normative theories is now made accessible to
non-specialist users and developers.


São todos bem-vindos!

Abraços

Marcelo

-- 
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/CAMuX%3D34xnWDkVimfK1%3DCyqZxZ8VrLXpn%2BJ5tmP6foucY_h3CCQ%40mail.gmail.com.

Re: [Logica-l] [off-topic?] Livro da área de lógica é finalista no Prêmio Jabuti

[Marcelo Esteban Coniglio]

Parabéns Evandro e Ítala pela merecida indicação!!

Abraços

Marcelo

Em qua, 17 de out de 2018 09:57, Evandro L. Gomes 
escreveu:

> Caros/as colegas da lista de Lógica:
>
> Escrevo para comunicar que nosso livro "Para além das Columas de Hércules,
> uma história da paraconsistência: de Heráclito a Newton da Costa" é
> finalista no Prêmio Jabuti 2018 no eixo Ensaio - Humanidades.
>
> José Veríssimo preparou uma resenha do livro que a Editora Unicamp publica
> em seu blog. Segue o link:
>
>
> https://blogeditoradaunicamp.com/2018/10/16/para-alem-das-colunas-de-hercules/
>
> Pedimos que divulguem em suas redes de contatos, se puderem.
>
> Nosso livro é a Lógica no Jabuti este ano!
>
> Um abraço a todos,
>
> Evandro / Itala
>
> --
> 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 postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANa0U%3Dq95v-z36UkYQtOE7LytVmR6krP2qQXXFUkxJgVMERoew%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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMuX%3D35%2BMtn9uSP2qc_TQC3%2BVBu1QRp_EBQwXusifekrHSdozA%40mail.gmail.com.

[Logica-l] South American Journal of Logic vol. 3, n. 1

[Marcelo Esteban Coniglio]

Caros(as) colegas

Anunciamos o lançamento online e impresso do último número do South
American Journal of Logic (SAJL) (ver informações abaixo).

Próximos lançamentos:
-Vol. 3, n. 2: Proceedings of the 5th World Congress on the Square of
Opposition - Easter Island, November 11-15, 2016.
Lançamento em breve, a maioria dos artigos já estão disponíveis na página
da revista.
-Vol. 4., n. 1: Número regular a ser lançado antes do fim de ano, alguns
dos artigos já estão disponíveis na página da revista.
-Vol. 4, n. 2: Proceedings do XVII Encontro Brasileiro de Lógica, a ser
lançado a começos de 2019 (call for papers vigente)

Lembramos que o SAJL está indexado pelo Mathematical Reviews, e que todos
os artigos publicados encontram-se disponíveis para download gratuito na
página da revista:
http://www.sa-logic.org/start1.html

Aguardamos suas submissões, em todas as áreas da Lógica!

Um abraço

Jean-Yves Beziau e Marcelo E. Coniglio
Editores
South American Journal of Logic
ISSN 2446-6719

--

South American Journal of Logic
Volume 3, Issue 1, July 2017

Table of Contents

1. Necessity, a Leibnizian Thesis, and a Dialogical Semantics
Mohammad Shafie
University of Paris 1 Panthéon-Sorbonne, France

2. Logical Analysis of Cyber Vulnerability and Protection
Esther David, Dov Gabbay, Guy Leshem and Students of CS Ashkelon
Ashkelon Academic college Ashkelon, Israel and Bar-Ilan University, Israel

3. A 4-valued Logic of Strong Conditional
Fabien Schang
Federal University of Goiás, Brazil

4. Is Dialetheism Self-Coherent?
Jonas R. Becker Arenhart and Ederson Safra Melo
Federal University of Santa Catarina, Brazil and Federal University of
Maranhão, Brazil

5. Remarks on Propositional Logics and the Categorial Relationship Between
Institutions and Π-Institutions
Darllan Conceição Pinto and Hugo Luiz Mariano
Federal University of Bahia, Brazil and University of São Paulo, Brazil


6. On Extensions of Isomorphisms of Substructures
Edelcio G. de Souza and Alexandre A. M. Rodrigues
University of São Paulo, Brazil

7. Free (n + 1)-valued Modal Implicative Semilattices
María Cristina Canals Frau, Aldo V. Figallo and Gustavo Pelaitay
Universidad Nacional de San Juan, Argentina

8. A Brief Testimony of the Unforgettable Presence of Gilles-Gaston Granger
in the Philosophy of Brazil
Arley R. Moreno
State University of Campinas, Brazil

9. Quantified Counterfactual Temporal Alethic-Deontic Logic
Daniel Rönnedal
Stockholm University, Sweden

10. How May the Propositional Calculus Represent?
Tristan Haze
The University of Sydney, Australia

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMuX%3D35_w2QuvwGOxdn0EOuKK2rj9fW5rACWEa7mPfunkcodkw%40mail.gmail.com.

Re: [Logica-l] Parabéns ao Tony Marmo por seu Doutorado

[Marcelo Esteban Coniglio]

Parabéns Tony, e parabéns Jean-Yves!

Um abraço

Marcelo

2018-04-04 13:25 GMT-03:00 Walter Carnielli :

> Car@s,
>
> Hesito em classificar esta  mensagem  de  OFF- TOPIC,  mas  se for o
> caso, fica  classificada condicionalmente. Para isso temos Lógica.
> Gostaria de   parabenizar  o Tony Marmo peio seu recente Doutorado na
> UFRJ orientado pelo Jean-Yves.
> Tony foi meu orientando   de Mestrado na Unicamp, e  é sempre muito
> bom saber que as coisas evoluem  para os estudantes.
>
> Abraços,
>
> Walter
>
> --
> ---
> Walter Carnielli
> Centre for Logic, Epistemology and the History of Science and
> Department of Philosophy
> State 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
> 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Visite este grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> Para ver esta discussão na web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58M6_oVHBO8e2_id4Twnk0Gihm%3DVJ%
> 2BJU7x0ODuUc4kawWg%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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMuX%3D35WYuSmTkjyZod-96kt6OyYqFW5vtNT6Py-WiMxid9AZQ%40mail.gmail.com.

Re: [Logica-l] Blog post do Joel Hamkins

[Marcelo Esteban Coniglio]

Parabéns Roque!!

Um abraço

Marcelo

2018-04-03 22:26 GMT-03:00 Alfredo Roque Freire :

> Obrigado pelo comentário Rodrigo, me sinto honrado de ser mencionado assim
> na lista de lógica.
>
> Devo muito da minha formação e trabalho ao Rodrigo e ao Walter (meu
> coorientador e orientador, respectivamente).
>
> Abraço
>
> On Tue, Apr 3, 2018 at 8:33 PM Walter Carnielli <
> walter.carnie...@gmail.com> wrote:
>
>> Muitíssimo bem!  Parabéns, Alfredo!!
>> Está merecendo sua ausência por aqui
>>
>> Vai ajudar  na Tese!
>>
>> Abraços,
>>
>> Walter
>>
>> Em 3 de abril de 2018 21:27, Rodrigo Freire 
>> escreveu:
>> > O último blog post do Joel Hamkins é dedicado a parte do projeto sobre
>> > interpretações que o doutorando Alfredo Roque Freire está
>> desenvolvendo. Há
>> > vários resultados limitativos interessantes sobre interpretações e
>> > bi-interpretações que não são tão bem conhecidos e o Alfredo tem
>> explorado
>> > isso muito bem em seu projeto. Vale a pena ler o post.
>> >
>> > http://jdh.hamkins.org/different-set-theories-are-
>> never-bi-interpretable/
>> >
>> >
>> > Parabéns, Alfredo, pelo trabalho muito sério.
>> >
>> > Abraço
>> > 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 postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>> > Acesse esse grupo em
>> > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
>> > Para ver essa discussão na Web, acesse
>> > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-
>> l/07EF0240-DC34-4C04-83E0-80E1E3D5C85B%40gmail.com.
>>
>>
>>
>> --
>> ---
>> Walter Carnielli
>> Centre for Logic, Epistemology and the History of Science and
>> Department of Philosophy
>> State University of Campinas –UNICAMP
>> 13083-859 Campinas -SP, Brazil
>> Phone: (+55) (19) 3521-6517 <+55%2019%203521-6517>
>> Institutional e-mail: walter.carnie...@cle.unicamp.br
>> Website: http://www.cle.unicamp.br/prof/carnielli
>> CV Lattes : http://lattes.cnpq.br/105496835379
>>
> --
> 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 postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/CAHk6N6Zm1zTq9mMw2HSZrrbuUb%
> 3DvKCShdUQ6o_bp0moQwfRsiQ%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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMuX%3D34Y%3D7yHuAgXO6qXQOwVrw37Dy71y9KhouJ5kH17bztd5Q%40mail.gmail.com.

Re: [Logica-l] 12 anos de LOGICA-L

[Marcelo Esteban Coniglio]

Parabéns João pela excelente ideia 12 anos atrás, e por tê-la materializado
de maneira duradoura.

Um grande abraço

Marcelo

Em sáb, 24 de mar de 2018 14:39, Joao Marcos  escreveu:

> Parabéns à LOGICA-L por seus doze anos de existência!
>
> Que muitos mais anos de saudáveis discussões venham por aí!
>
> 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Visite este grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgRo1NK13-13Vz%3DVxZh7%3DqQixDRfBNFwgAOgbJqN7zG_g%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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMuX%3D36-otoQJU4dAa6c%3DgLWUXO3R28z7Xu-SgH7wqSmCNw8iA%40mail.gmail.com.

Re: [Logica-l] Parabéns ao Cassiano, novo professor do ITA

[Marcelo Esteban Coniglio]

Parabéns Cassiano!

O ITA fez uma excelente aquisição.

Um grande abraço

Marcelo

2018-03-07 11:18 GMT-03:00 Antonio Marmo :

> Caros participantes,
>
> Tenho a alegria de comunicar um resultado merecido: nosso colega Cassiano
> Terra foi
> o primeiro colocado no concurso do ITA para lecionar no Departamento de
> Humanidades!
>
> Parabéns ao Cassiano e que nossa categoria siga unida por melhores
> condições de pesquisa e estudo para o Brasil!
>
> http://www.ita.br/sites/default/files/pages/collection/Perfil%2007%20-%
> 20resultado%20do%20concurso%20-%20divulgação.pdf
>
> *Dize à sabedoria: Tu és minha irmã...*
>
> Provérbios 7:4 
>
> --
> 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 postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/AEEA5DEC-4DB7-4DD1-BB9C-
> 4BB6C12A885C%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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMuX%3D37EW9gpBPsdeGFz6ezp93XC%3DpDBWXu2ZWPVc_cpakUjxw%40mail.gmail.com.

Re: [Logica-l] Doutorado em Matemática UFBA - Área de Lógica Matemática

[Marcelo Esteban Coniglio]

Caro Samuel,

Parabéns para você e para todos os membros do grupo de Lógica da UFBA!! Era
realmente uma "não-permisão" (para não usar o termo "proibição")
completamente absurda.

Um abraço

Marcelo

2017-10-27 17:16 GMT-02:00 Samuel Gomes da Silva :

> Prezados,
>
> Após uma longa espera de três meses, recebemos hoje a resposta
> confirmando: finalmente existe agora a possibilidade dos pesquisadores da
> área de Lógica Matemática
> da UFBA orientarem Doutoramentos em Matemática na área de Lógica.
>
> (Sim, apesar de estarmos estabelecidos e reconhecidos até
> internacionalmente já há vários anos, ainda não nos era *permitido* - sim,
> o termo é esse, não nos era permitido - orientar doutorados,
> mas isso muda a partir do próximo semestre, 2018.1)
>
> Nossa abertura se deu através da criação de uma área de investigação
> denominada "Álgebra, Lógica e Topologia" (em substituição da área de
> Álgebra).
>
> Informações sobre o processo seletivo para o Doutorado em Matemática da
> UFBA em 2018.1 estão no seguinte Edital:
>
> https://pgmat.ufba.br/sites/pgmat.ufba.br/files/edital-2018.1v1.pdf
>
> A parte principal da seleção é uma prova de Análise na Reta e Análise no
> Rn, ou seja, o perfil a princípio deve ser alguém com conhecimentos de
> Matemática a nível de mestrado (ou que
> possa obtê-los até o momento da realização da prova...).
>
> Divulgamos a nossa proposta para abertura da área no ResearchGate, nessa
> proposta estão descritas nossas linhas de pesquisa:
>
> https://www.researchgate.net/publication/318649544_
> Proposal_to_create_the_area_of_concentration_Mathematical_
> Logic_at_Math_PhD_Programme_UFBAUFAL_-_In_Portuguese
>
> So, let us spread the word.
>
> Aproveito para agradecer a todos os colegas que vêm acompanhando nossa
> luta de anos por mais espaço para a Lógica Matemática aqui na UFBA.
>
> Até mais,
>
> []s  Samuel
>
>
>
>
> --
> 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 postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/53855411.43436436.
> 1509131775790.JavaMail.zimbra%40ufba.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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMuX%3D35B8WpjNrXUZ%2BA43xHNOfqy0f5YT2r06yWkQkmZAuCFxA%40mail.gmail.com.

[Logica-l] South American Journal of Logic vol. 2, n..2 -

[Marcelo Esteban Coniglio]

Caros(as) colegas

Anunciamos com orgulho o lançamento online do último número do South
American Journal of Logic (SAJL), dedicado aos 70 anos do grande
lógico e matemático brasileiro  Francisco "Chico" Miraglia, um exemplo
e um mestre para muitos de nós. O volume, editado nesta ocasião por
Marcelo E. Coniglio, Hugo L. Mariano e Vinicius Cifú Lopes, continua
as celebrações iniciadas no Workshop "Logic and Applications: in honor
to Francisco Miraglia by the occasion of his 70th birthday" realizado
no IME-USP em  setembro de 2016, e reúne 16 artigos de destacados
colegas do Brasil e do exterior (ver informações abaixo).
A versão impressa do volume vai ser divulgada em primeira mão durante
o 17th Latin American Symposium on Mathematical Logic (SLALM 2017),
Puebla, Mexico, 26 - 30 de Junho.

Aproveitamos o ensejo para anunciar que a partir de agora o SAJL está
indexado pelo Mathematical Reviews. Lembramos que todos os artigos
publicados no SAJL encontram-se disponíveis para download gratuito no
página da revista:

http://www.sa-logic.org/start1.html

Aguardamos suas submissões, em todas as áreas da Lógica!

Um abraço

Jean-Yves Beziau e Marcelo E. Coniglio
Editores
South American Journal of Logic
ISSN 2446-6719

---

South American Journal of Logic
Volume 2, Issue 2, December 2016
Special Issue dedicated to Francisco Miraglia on the occasion of his
70th anniversary

Table of Contents

Foreword: A Festschrift for Francisco Miraglia
Marcelo Esteban Coniglio, Hugo Luiz Mariano and Vinicius Cifú Lopes
(Guest Editors)

1. A Quarter of a Century of Joint Work with Chico Miraglia
Max Dickmann

2. On Inverse Limits of Compact Structures
Xavier Caicedo and Santiago Pinzón

3. On Alien Primes, Exotic Number Theory, and Mathematical Pluralism
Walter Carnielli

4. The von Neumann-Regular Hull of (Preordered) Rings and Quadratic Forms
Peter Arndt and Hugo Luiz Mariano

5. Propositional Equality, Identity Types, and Computational Paths
Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira and Arthur F. Ramos

6. Some Model Theory of Hypergeometric and Pfaffian Functions
Ricardo Bianconi

7. Studies on da Costa's Paraconsistent Differential Calculus:
Hypermetric and Hyperfunctions
Itala M. Loffredo D'Ottaviano and Marcelo Reicher Soares

8. Forcing and Ultrafilters on FIN
Daniel Calderón and Carlos A. Di Prisco

9. Grasping Sets Through Ordinals: On a Weak Form of the Constructibility Axiom
Rodrigo A. Freire

10. A Really Simple Proof of the Artin-Schreier Characterization of
Real Closed Fields
Odilon Otávio Luciano

11. Model Theory in Sheaves,
Andreas Bernhard Michael Brunner

12. Quantales and Their Modules: Projective Objects, Ideals, and Congruences,
Ciro Russo

13. Identifying Small with Bounded: Unboundedness, Domination, Ideals
and Their Cardinal Invariants,
Harlen Garcia and Samuel G. da Silva

14. Generic Stability and Grothendieck,
Anand Pillay

15. Lukasiewicz logic and MV-algebras: Recent Results,
Daniele Mundici

16. Bounded Pregeometries and Pairs of Fields,
Leonardo Angel and Lou van den Dries

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMuX%3D343QAPkPMOypYxADF0A%3DyS%3DmDrzr9uZedvK480J3yZHkw%40mail.gmail.com.

[Logica-l] Ajuda financeira para a participação de estudantes no EBL 2017

[Marcelo Esteban Coniglio]

Caros(as) colegas,

A Sociedade Brasileira de Lógica (SBL) disponibilizará recursos
financeiros para apoiar um número limitado de estudantes de
pós-graduação que pretendam participar do XVIII Encontro Brasileiro de
Lógica. Tais recursos financeiros se destinariam a cobrir: alojamento,
alimentação e isenção da taxa de inscrição. Para que um estudante
possa apresentar sua candidatura, as seguintes condições devem ser
cumpridas:
1)Ter um trabalho aceito no EBL;
2)Ser associado à Sociedade Brasileira de Lógica (SBL); ver detalhes no link
   http://www.cle.unicamp.br/sbl/?area=filiarse
3)Enviar uma carta de candidatura, onde constem: (i) nome
completo; (ii) afiliação; (iii) nome do orientador; (iv) uma descrição
de um parágrafo sobre os seus estudos e trabalhos em Lógica; e (v)  um
parágrafo indicando porque é importante participar do evento.
4)  Apresentar uma carta de recomendação do orientador.

As candidaturas devem ser apresentadas eletronicamente, através do
email eblxv...@gmail.com.
O prazo final para apresentação de candidaturas é 31 de Março de 2017,
e o anúncio dos estudantes selecionados será feito no dia 07 de Abril
de 2017.

Um abraço

Marcelo

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMuX%3D37S8BcwMQDb5c3b%3DwJ_uQhmmyGK0GJ6O7Zu1FF9%3DApWhQ%40mail.gmail.com.

[Logica-l] EBL XVIII Extended Deadline: February 16

[Marcelo Esteban Coniglio]

New Extended Deadline: FEB 16, 2017!

Please, disseminate this extended deadline.

We cordially invite submissions of contributed papers on the general
topics of Logic, including
- Philosophical and Mathematical Logic, and Applications,
- History and Philosophy of Logic,
- Non-classical Logic and Applications,
- Philosophy of Formal Sciences,
- Foundations of Computer Science, Physics, and Mathematics,
among others.

Abstracts to be submitted should be written in Portuguese, Spanish or
English with a maximum of 300 words including title, name, keywords,
affiliation and the essential bibliography.

We are happy to host round tables proposals with a duration of at most
two hours.  They may be divided as desired, with a maximum of 4 and a
minimum of 3 participants per session.  The description and the title
for the session should be of a maximum of 1500 words containing an
abstract for each exposition including title, name, keywords,
affiliation and bibliography.  Each session must have a coordinating
chair assigned in the proposal.

The author(s) should send a .pdf file by email to eblxv...@gmail.com
or ebl2...@inf.ufg.br until FEB 5, 2017.

Papers may be presented in Portuguese, Spanish or English, to fit a
slot of 20 minutes (exposition) + 10 minutes (questions).

The Scientific Committee will consider the following items when
selecting the accepted papers:
- relevance and importance of the topic,
- originality,
- quality of work,

The list of accepted papers will be released on Feb 28, 2017.  At
least one author of each accepted paper must register for presenting
the paper at the meeting.  Each given participant may coauthor more
than one paper, but will only be allowed to present a single talk.

The EBL 2017 also aims to be a forum for presenting and discussing
work in progress and therefore to provide feedback for authors on
their preliminary research.  The proceedings are produced after the
meeting, so that authors can incorporate the feedback received in the
published papers.


LOGIC SCHOOL:

Starting with EBL 2008, the conference includes a Logic School aimed
at undergraduate and graduate students with interest in Logic and
related fields, but also open to all interested parties. The Logic
School will happen in Pirenópolis, in parallel with the conference,
and the titles of the tutorials will be announced soon at our Web page
(which is still under construction). There, you will soon find more
information about the meeting and about Pirenópolis:
http://www.inf.ufg.br/ebl2017

We apologize for multiple copies and ask you to disseminate this CFP.

Marcelo Coniglio (co-chair)
Itala D'Ottaviano (co-chair)
Wagner Sanz (co-chair)

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMuX%3D36F_tfkTAssn0XbqCJKHUeB-dCU8AnyP4DHq%3D37DBaR6g%40mail.gmail.com.

[Logica-l] South American Journal of Logic Vol. 2, n. 1 (2016)

[Marcelo Esteban Coniglio]

Prezados(as) colegas

Está disponível online (e em breve na versão impressa) o South
American Journal of Logic Vol. 2, n. 1 (2016), cuja lista de artigos
encontra-se no final desta mensagem.

Convidamos todos(as) os(as) colegas  a submeter um artigo em qualquer
das áreas da Lógica.

Um abraço

Jean-Yves Beziau e Marcelo E. Coniglio
Editors-in-Chief
http://www.sa-logic.org/start1.html

--

South American Journal of Logic
Volume 2, Issue 1, July 2016

1. Revisiting Sylvan's Semantics for S0.6 and Related Systems
Cezar A. Mortari
Department of Philosophy, Federal University of Santa Catarina, Brazil

2. Dickson's Lemma and Higman's Lemma are Equivalent
Josef Berger
Department of Mathematics, Ludwig Maximilian University of Munich, Germany

3. The Interplay between Logic, Mathematics and Philosophy
Guillermo E. Rosado Haddock
Department of Philosophy University of Puerto Rico, Puerto Rico

4. Counterfactuals in Temporal Alethic-Deontic Logic
Daniel Rönnedal
Department of Philosophy, University of Stockholm, Sweden

5. Göodel's Theorems and the Epsilon Calculus
Hartley Slater
Department of Philosophy, University of Western Australia

6. A Short note on the Free Implication Algebra over a Poset
Aldo Figallo-Orellano
Department of Mathematics, National University of the South, Argentina

7. Hartley Slater and False Contradictions
Jean-Yves Beziau
Department of Philosophy, Federal University of Rio de Janeiro, Brazil

8. On Semi-Fusions and Semi-Negations
Nissim Francez
Department of Computer Science The Technion-IIT Haifa, Israel

9. Anatomy of a Nonidentity Paradox
Dale Jacquette
Department of Philosophy, University of Bern, Switzerland

10. Is Universal Logic `Universal'?
Tzu-Keng Fu
General Education Center, National Kaohsiung University, Kaohsiung City. Taiwan

11. Addendum to "Model Complete Expansions of the Real Field by
Modular Functions and Forms",
Ricardo Bianconi
Department of Mathematics, University of São Paulo, 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMuX%3D34ZWkLAs2A1vJ3eRseG4ddj6mUFa%2BfmDwQUUW5ObvDoDA%40mail.gmail.com.

Re: [Logica-l] mais uma história de sucesso made in Brazil

[Marcelo Esteban Coniglio]

Parabéns Marcos!!

Grande abraço

Marcelo

Em 11 de jan de 2017 20:01, "Joao Marcos"  escreveu:

> Parabéns ao Marcos Silva, que acabou de ganhar o prêmio
> "Junior Faculty Member" da Fulbright
> http://fulbright.org.br/wp-content/uploads/2016/02/
> Fulbright-Jr.-Faculty-Award-2016-2017.pdf
> para ir dar uma mãozinha ao Robert Brandom lá em Pittsburgh
> por quatro meses, este ano.
> http://www.philosophy.pitt.edu/person/robert-brandom
>
> Agora só falta a barba, Marcos!
> https://en.wikipedia.org/wiki/Beard#The_.22philosopher.27s_beard.22
>
> Abraços, 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Visite este grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> Para ver esta discussão na web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjWd4RxSk7AF4R%
> 3D85ThGc6hfjuS%2Bo2h%3D6E_3%3D4kAxD0kQ%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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMuX%3D34WiT67BXm%3DusyuL0K2ipgJgrZUX%2BpnpqST1-gAwVBPvg%40mail.gmail.com.

[Logica-l] Timothy Williamson's lectures at CLE-UNICAMP

[Marcelo Esteban Coniglio]

Prezados(as),

Nesta quinta e sexta-feira teremos dois seminários do renomado
Professor Timothy Williamson (University of Oxford) no Centro de
Lógica, Epistemologia e
História da Ciência (CLE) da UNICAMP. Seguem abaixo os dados:

Dia: 29/09/2016 (quinta-feira)
Horário: 16:00
Título: "Absolute Provability and Safe Knowledge of Axioms"
Local: Sala de Seminários do CLE (sala Kurt Gödel)
Rua Sérgio Buarque de Holanda, 251 (em frente à DAC), UNICAMP.

Dia: 30/09/2016 (sexta-feira)
Horário: 16:00
Título:  "Modal Science"
Local: Sala de Seminários do CLE (sala Kurt Gödel)
Rua Sérgio Buarque de Holanda, 251 (em frente à DAC), UNICAMP.
-

Abraços,

Marcelo

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMuX%3D364c3WK5nDq%3Dpnc_i6z0kZtShW2-kgFmzjnvT%3DqF2Qy1g%40mail.gmail.com.

[Logica-l] Fwd: EXTENDED PAPER SUBMISSION. NEW DEADLINE: May 20, 2014

[Marcelo Esteban Coniglio]

-- Mensagem encaminhada --
De:  slalm2...@dc.uba.ar
Data: sábado, 10 de maio de 2014
Assunto: EXTENDED PAPER SUBMISSION. NEW DEADLINE: May 20, 2014
Para:


EXTENDED PAPER SUBMISSION. NEW DEADLINE: May 20, 2014


Due to numerous requests and for problemS of our reception system,
the submission for SLALM2014 is open till Tuesday 20, 12pm (Buenos Aires
time)

==
[ please distribute - apologies for multiple copies ]
==

16th Latin American Symposium on Mathematical Logic
XVI SLALM- Simposio Latinoamericano de Lógica Matemática.
Buenos Aires- Argentina
28th July- 1st August 2014
http://www-2.dc.uba.ar/congresos/slalm2014/

You are cordially invited to submit a paper to the 16th Latin-American
Symposium on Mathematical Logic that will take place in Buenos Aires,
Argentina, from July the 28th to August the 1st.

XVI SLALM will include four tutorial courses in Model Theory,
Computability Theory, Set Theory and Non-classical Logic. About a hundred
researchers and students from Latin-America and other continents will
participate in the meeting.

The Symposium has the scientific sponsorship of the Association for
Symbolic Logic.

Program Committee:
Joan Bagaria. University of Barcelona, Spain
Xavier Caicedo. Universidad de los Andes. Bogotá, Colombia.
Walter Carnielli. Universidad Estadual de Campinas, Campinas, SP, Brasil.
Roberto Cignoli. Universidad de Buenos Aires. Buenos Aires, Argentina.
(Chair)
Carlos Di Prisco. IVIC, Venezuela.
José Iovino. Universidad de Texas. San Antoni, USA.
Franco Montagna. Universidad de Siena. Siena, Italia.
Theodore Slaman. University of California at Berkeley, USA.
Charles Steinhorn. Vassar College, USA.
Ruy de Queiroz. Universidad Federal de Pernambuco, Brasil.

Plenary speakers:
Boris Zilber (University of Oxford, England)
Stevo Todorcievic (University of Toronto, Canada)
Lev Beklemishev (Steklov Mathematical Institute, Moscow, Russia)
Verónica Becher (University of Buenos Aires, Argentina)
Oswaldo Chateubriand (Pontificia Universidade Católica de Rio de Janeiro,
Brasil)
Peter Jipsen (Chapman University, USA)

Tutorials:
Set Theory: Menachem Magidor (Hebrew University of Jerusalem, Israel)
Computability Theory: Antonio Montalbán (University of California,
Berkeley, USA)
Model Theory: Kobi Peterzil (Haifa University, Israel)
Non-Classical Logics: Luca Spada (Dipartimento di Matematica - University
of Salerno and  Institue for Logic, Language, and Information - University
of Amsterdam).

Sessions and Invited Speakers:
Set Theory:
Coordinated by Joan Bagaria and Carlos Uzcátegui (Universidad de Los
Andes, Venezuela)

Christina Brech (Departamento de Matemática,  Universidade de São Paulo,
Brazil)
Carlos Martínez Ranero (Universidad de Concepción, Chile)
Matteo Viale (Mathematical Department of Torino University, Italy)



Model Theory:
Coordinated by Charles Steinhorn and Alexander Berenstein (Universidad de
Los Andes, Colombia)

Xavier Vidaux (Universidad de Concepción, Chile)
Alfredo Dolich (Kingsborough Community College, CUNY, USA)
Isaac Goldbring (University of Illinois at Chicago)
Itaï Ben Yaacov (Université Claude Bernard - Lyon 1)
Vinicius Cifú Lopes (Universidade Federal do ABC)

Computability Theory:
Coordinated by Theodore Slaman and Carlos Areces (Universidad Nacional de
Córdoba, Argentina)

Delia Kesner (Laboratoire PPS, CNRS - Université Paris Diderot, France)
Andy Lewis (London School of Economics, UK)
Yde Venema (ILLC, Universiteit van Amsterdam, Netherlands)


Non-Classical Logics:
Coordinated by Franco Montagna and Manuela Busaniche (Universidad Nacional
del Litoral, Argentina)

Leonardo Manuel Cabrer (Dipartimento di Statistica, Informatica,
Applicazioni G. Parenti Università degli studi di Firenze, Italy)
José Luis Castiglioni (Departamento de Matemáticas, UNLP, Argentina)
Marcelo Coniglio (Department of Philosophy, Institute of Philosophy and
Human Sciences, State University of Campinas, Brazil)

Submissions to the Conference:
Contributed presentations can be submitted in one of the four parallel
sessions: Model Theory, Computability Theory, Set Theory and Non-classical
Logic. More information on the submission procedure, can be found at the
conference web site
http://www-2.dc.uba.ar/congresos/slalm2014/

Abstracts of contributed talks will be published in The Bulletin of
Symbolic Logic.


Local Organizer Committee:
Carlos Areces (UNC, Córdoba)
Manuela Busaniche(IMAL-CONICET, Santa Fe)
Santiago Figueira(UBA,Buenos Aires)
Rafael Grimson (UBA, Buenos Aires)
Javier Legáis (UBA, Buenos Aires)
Ricardo Rodríguez (UBA, Buenos Aires)
Pedro Sánchez Terraf (UNC, Córdoba)
Hernán San Martín (UNLP, La Plata)


Contact details
Manuela Busaniche: mbusani...@santafe-conicet.gov.ar javascript:;
Ricardo Rodríguez: rica...@dc.uba.ar javascript:;
___
Logica-l mailing list
Logica-l@dimap.ufrn.br

[Logica-l] Kripke's unfinished business

[Marcelo Esteban Coniglio]

Entrevista ao filósofo da linguagem Scott Soames, que poderá ser de
interesse para vários membros desta lista:

http://www.3ammagazine.com/3am/on-the-analytic-philosophers-language-and-kripkes-unfinished-business/

Abraço,

Marcelo
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Lógicas Modais

[Marcelo Esteban Coniglio]

Caro Adolfo,

Cada um deve ter sua lista de livros de Lógica Modal preferidos. No
seu caso eu recomendo os seguintes, por serem muito claros e
informativos:

A New Introduction to Modal Logic
G.E. Hughes and M.J. Cresswell
http://www.amazon.com/A-New-Introduction-Modal-Logic/dp/0415126002

Modal Logic: An Introduction
Brian F. Chellas
http://www.amazon.com/Modal-Logic-Introduction-Brian-Chellas/dp/0521295157

Modalities and Multimodalities
Walter Carnielli  and Claudio Pizzi
http://www.amazon.com/Modalities-Multimodalities-Logic-Epistemology-Science/dp/9048137624

Um abraço

Marcelo



On Mon, Feb 17, 2014 at 4:50 PM, Adolfo Neto
ado...@dainf.ct.utfpr.edu.br wrote:
 Olá,

 Estou querendo estudar Lógica Modal/Lógicas Modais, algo que nunca estudei
 a sério.

 Pesquisando rapidamente encontrei estes livros/links:

 Handbook of Modal Logic
 http://cgi.csc.liv.ac.uk/~frank/MLHandbook//

 Kripke's Worlds
 An Introduction to Modal Logics via Tableaux
 http://www.springer.com/birkhauser/mathematics/book/978-3-7643-8503-3

 Modal Logic na SEP
 http://plato.stanford.edu/entries/logic-modal/


 O objetivo é apenas conhecer superficialmente lógicas modais.

 Tem alguma coisa melhor que vocês recomendam?

 Abraços,

 Adolfo

 --


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

 
 Q: Why is this email three sentences or less?
 A: http://three.sentenc.es
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Defesa de tese de Newton Peron e seminários do prof. Lui Fariñas del Cerro

[Marcelo Esteban Coniglio]

Car@s colegas,

Tenho o prazer de anunciar a defesa da tese de doutorado do meu
estudante Newton Peron, no dia 20 de fevereiro às 10hs, no
IFCH/Unicamp, Campinas.
O título da tese é (In)Completude Modal por (N)Matrizes Finitas, e a
banca será composta, além de mim, pelos seguintes professores:

Luis Fariñas del Cerro (IRIT, França)
Marcelo Finger (USP)
Cezar Mortari (UFSC)
Walter Carnielli (Unicamp)

Aproveito também para anunciar dois seminários que o importante
pesquisador  Luis Fariñas del Cerro vai ministrar no CLE/Unicamp,
Campinas, na próxima semana:

Seminário 1: Logical modeling of molecular interaction maps
Data: quarta-feira 19/02, às 16hs
Resumo:
The series of biochemical reactions that occur within a cell form what
we call Metabolic Pathways. Most of them can be quite intricate,
involving many proteins and enzymes. That is why logical
representations of such networks can help reason about them in
general, where the reasoning can range from answering some queries, to
completing missing nodes and arcs and finding inconsistencies. This
work proposes a new logical model based on a fragment of first order
logic capable of describing reactions that appear in a metabolic
network. We also propose an efficient automated deduction method that
can answer queries by deduction to predict reaction results or by
abductive reasoning to find reactions and protein states. This
automated deduction method is based on a translation procedure that
transforms first order formulas into quantifier free formulas.

Seminário 2: Capturing equilibrium models in modal logic
Data: quinta-feira 20/02, às 16hs
Resumo:
Here-and-there models and equilibrium models were investigated as a
semantical framework for answer-set programming by Pearce, Valverde,
Cabalar, Lifschitz, Ferraris and others. The semantics of equilibrium
logic is given in an indirect way: the notion of an equilibrium model
is defined in terms of quantification over here-and-there models. We
here give a direct semantics of equilibrium logic, stated for a modal
language embedding the language of equilibrium logic.


Um grande abraço,

Marcelo
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] artigo newton da costa

[Marcelo Esteban Coniglio]

Caro Joao, caros todos,

Voltando àquela questão do Journal of Non-Classical Logic: de acordo
com o prometido, a coleção completa já está disponível para acesso
gratuito (junto com outros links a livros onlne, que iremos
acrescentando aos poucos) no seguinte endereço:

http://www.cle.unicamp.br/principal/index.php?pag=lablog/linkothek.php

Tem excelente artigos nessa histórica revista (a primeira no mundo
dedicada às Lógicas Não-Classicas), recomendo o acesso.

Abraço,

Marcelo

2013/10/24 Joao Marcos botoc...@gmail.com:
 Aqui está, Abilio:
   http://goo.gl/64Idhw

 A propósito, na UNICAMP havia uma edição eletrônica dos primeiros 8
 volumes do Journal of Non-Classical Logic --- antes de ele se
 metamorfosear no Journal of Applied Non-Classical Logics e se mudar
 para a França.  Se não me engano isto foi lançado em 2003, por ocasião
 dos 25 anos do CLE.  Pareceria interessante que estes volumes antigos
 fossem disponibilizados abertamente, e com fácil acesso.

 Abraços,
 Joao Marcos

 On Thu, Oct 24, 2013 at 10:10 AM, Abílio abilio.rodrig...@gmail.com wrote:
 Prezados
 Alguem teria disponivel um pdf do artigo do Newton
 The philosophical import of paraconsistent logic (1982)
 by N C A da Costa
 The Journal of Non-Classical Logic, 1, 1-19
 Abracos
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l



 --
 http://sequiturquodlibet.googlepages.com/
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Nota de profundo pesar

[Marcelo Esteban Coniglio]

Realmente uma notícia muito triste. A descrição da Andréa não poderia
ser mais adequada.
Achei muito boa a proposta do Chico de homenageá-lo no EBL.

Abraços,

Marcelo

2013/11/5 Walter Carnielli walter.carnie...@gmail.com:
 Caros colegas,


 trago aqui a triste notícia do falecimento do Prof. Elias Humberto
 Alves, ex-professor do Departamento  de Filosofia da Unicamp, membro
 do CLE e lógico da velha guarda, com décadas de trabalho em lógica
 paraconsistente e várias outras áreas. Elias faleceu hoje,
 terça-feira, 05 de novembro, e o corpo foi velado no Cemitério da
 Saudade, das 6 às 12 horas em Campinas. Em seguida, o corpo foi
 trasladado ao Cemitério da Vila Alpina, em São Paulo, onde seria
 cremado.

 Saudades de todos, que foram seus amigos, colaboradores e estudantes!


 Walter

 --
 ---
 Prof. Dr. Walter Carnielli
 Director
 Centre for Logic, Epistemology and the History of Science – CLE
 State University of Campinas –UNICAMP
 13083-859 Campinas -SP, Brazil
 Phone: (+55) (19) 3521-6517
 Fax: (+55) (19) 3289-3269
 Institutional e-mail: walter.carnie...@cle.unicamp.br
 Website: http://www.cle.unicamp.br/prof/carnielli
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] artigo newton da costa

[Marcelo Esteban Coniglio]

Caro João,

Pois é, os arquivos ocupam apenas 361MB no meu pendrive. Eu gerenciei
pessoalmente aquele CD-ROM em 2003, em ocasião dos 25 anos do CLE/XIII
EBL.
Faz tempo que falamos que deveríamos disponibilizá-lo na página do
CLE, mas acabamos esquecendo. Agora que o João trouxe de novo esta boa
proposta à tona, vamos implementar. Com relação aos arquivos: o menu
gerenciador de arquivos (correspondentes aos artigos) foi feito num
html básico, mas eficiente (não tem muita diferença com a busca de
artigos na pagina de um Journal pela internet). Os arquivos estão
muito bem escaneados em pdf (cada artigo pesa de 2Mb a 18Mb, nada
para os tempos de hoje).

Abraços,

Marcelo

2013/10/24 Joao Marcos botoc...@gmail.com:
 Excelente notícia, Walter!

 sim, de fato tudo foi digitalizado e  entregue gratuitamente em DVDs
 aos interessados.

 Eram CDs. :-)  Tudo junto, estamos falando de apenas 360Mbytes, sem compactar.

 Não pudemos tê-lo disponível na Internet porque não
 tínhamos recursos no servidor. Um servidor  novo e potente esta endo
 compra plo CLE, e muita coisa estará (com tempo e calma) disponível.
 Mas o Abilio pode pegar  um DVD completo com  os  volumes do Journal
 of Non-Classical Logic  na Biblioteca do CLE.

 Hoje dá para disponibilizar estas coisas muito facilmente *na nuvem*,
 nem precisamos de servidores locais!  É possível disponibilizar
 publicamente hoje mesmo, se vocês desejarem, e sem gastar praticamente
 NADA.

 Abraços,
 Joao Marcos

 --
 http://sequiturquodlibet.googlepages.com/
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] artigo newton da costa

[Marcelo Esteban Coniglio]

Caro João,

Pois é, os arquivos ocupam apenas 361MB no meu pendrive. Eu gerenciei
pessoalmente aquele CD-ROM em 2003, em ocasião dos 25 anos do CLE/XIII
EBL.
Faz tempo que falamos que deveríamos disponibilizá-lo na página do CLE,
mas acabamos esquecendo. Agora que o João trouxe de novo esta boa proposta
à tona, vamos implementar. Com relação aos arquivos: o menu gerenciador de
arquivos (correspondentes aos artigos) foi feito num html básico, mas
eficiente (não tem muita diferença com a busca de artigos na pagina de um
Journal pela internet). Os arquivos estão muito bem escaneados em pdf
(cada artigo pesa de 2Mb a 18Mb, nada para os tempos de hoje).

Abraços,

Marcelo

 Excelente notícia, Walter!

 sim, de fato tudo foi digitalizado e  entregue gratuitamente em DVDs
 aos interessados.

 Eram CDs. :-)  Tudo junto, estamos falando de apenas 360Mbytes, sem
 compactar.

 Não pudemos tê-lo disponível na Internet porque não
 tínhamos recursos no servidor. Um servidor  novo e potente esta endo
 compra plo CLE, e muita coisa estará (com tempo e calma) disponível.
 Mas o Abilio pode pegar  um DVD completo com  os  volumes do Journal
 of Non-Classical Logic  na Biblioteca do CLE.

 Hoje dá para disponibilizar estas coisas muito facilmente *na nuvem*,
 nem precisamos de servidores locais!  É possível disponibilizar
 publicamente hoje mesmo, se vocês desejarem, e sem gastar praticamente
 NADA.

 Abraços,
 Joao Marcos

 --
 http://sequiturquodlibet.googlepages.com/
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l



___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Sobre a realização do próximo EBL

[Marcelo Esteban Coniglio]

Caros membros da Lista,

O EBL (encontro Brasileiro de Lógica) é organizado pela SBL (Sociedade
Brasileira de Lógica). A escolha do local e dos comitês organizadores,
assim como todos os detalhes de organização (escolha dos palestrantes
convidados, da realização ou não de uma Escola, escolha dos palestrantes
para a  Escola, etc etc) é competência única e exclusiva da Diretoria da
SBL e  do comitê organizador.

No último EBL celebrado em Petrópolis em 2011 foi realizada a última
Assembléia Geral da SBL, onde foi escolhida a nova Diretoria, e onde foi
escolhido também um comitê pré-organizador do próximo encontro da SBL,
dedicado à análise de possíveis locais para a realização do próximo EBL.

Assim, toda a discussão que está sendo realizada neste momento na lista
sobre os possíveis locais, sobre como deveria ser organizado etc etc é
absolutamente inútil dado que a palavra final sobre o local da realização
do próximo EBL (dentre outros inúmeros detalhes)  cabe à Diretoria da SBL e
não é motivo de discussão pública nesta lista, nem por membros da SBL, nem
muito menos por não-membros da SBL. Gostaria que imaginem uma discussão
similar, pública e aberta, sobre os detalhes de organização dos encontros
da ASL ou do UNILOG, só para dar dois exemplos.

Entendo a preocupação do Sub-Secretário da SBL, Prof. Jean-Yves Béziau,
sobre o sucesso do próximo encontro da SBL. Porém, infelizmente ele  errou
na metodologia, colocando numa lista pública uma discussão institucional
que compete pura e exclusivamente à SBL.

Solicito ao Sub-Secretário da SBL que a partir de agora, e como ditam as
mais elementares normas do senso comum,  todas as discussões e sugestões
com relação à organização do próximo encontro da SBL sejam realizadas
exclusivamente em privado entre os membros da atual Diretoria da SBL e dos
membros do comitê pré-organizador, que tem realizado um excelente trabalho
até agora.


Atenciosamente,

Marcelo Coniglio
Tesoureiro da SBL
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Boas vindas a ANPOF

[Marcelo Esteban Coniglio]

Prezado Jose Carlos,


Muitíssimo obrigado pelo apoio, e esperamos encontrá-lo no evento; em
particular, nas sessões do nosso GT Lógica que acontecerão na
quarta-feira. Aproveito para divulgar neste fórum a programação do XV
Encontro da Anpof:

http://www.anpof.org.br/comunidade/system.php?_action=encontro_prog_listagem

Um grande abraço,

Marcelo


2012/10/21 josé carlos cifuentes jcc...@gmail.com:
 Prezados todos. lhes escreve José Carlos Cifuentes desde Curitiba para
 desejar-lhes boas vindas à ANPOF que amanhã começa, e para me por a
 disposição sobre orientação na cidade e os locais do evento (é
 completamente informal pois moro aqui mas não sou membro da Comissão
 Organizadora).
 Todos os locais do evento estão no Centro e podem ser ubicados com
 referência a um grande calçadão como eixo central chamado Rua XV ou Rua das
 Flores e umas cinco quadras a mais que o continuam. Em um de seus extremos
 está o Edifício Garcez e no outro está a Reitoria (que é um quarteirão da
 UFPR onde estão a reitoria, o Teatro da Reitoria e a Faculdade de Ciências
 Humanas. Nesse trajeto encontram-se o Centro Tecnólogo da PUC (que não é,
 então, no Campus da PUC), o Teatro Guaíra, Centro de Convenções, o Paço da
 Liberdade (com no máximo uma ou duas quadras afastadas desse eixo central).
 Um pouquinho mais afastado, porém perto da Reitoria, está o Colegio
 Estadual do Paraná.
 No geral, dá para caminhar de um local a outro, ou pegar algum dos dois
 micro-onibus chamados Circular Centro (passagem de 1,50 ou 1,60 reais) que
 contornam o Centro da cidade. Aliás, para as meninas (aqui estou incluindo
 as senhoras), um desses onibus passa perto de alguns dos shoppings da
 cidade: Cristal, Curitiba, Estação, Müller (este está em frente do Colegio
 Estadual onde se pode almoçar muito bem).
 A uma quadra do eixo central está tembém a Catedral de Curitiba (vale uma
 visita) e na praça que está em frente, a Praça Tiradentes, pode-se pegar o
 onibus de turismo que dá um passeio aprox. de duas horas pelos
 principais pontos turísticos de Curitiba, dentre eles o Jardim Botânico e o
 Museu Oscar Niemeyer. Esse onibus sai cada meia hora aprox.
 Eu estarei participando quarta feira do GT de Lógica e do GT de Filosofia,
 História e Sociologia da Ciência e da Tecnologia, ambos infelezmente
 simultâneos porém por sote no mesmo prédio, o Centro Tecnólogo.
 Não esqueçam de adiantar uma hora o relógio pois aqui já teremos horário de
 verão.
 Um grande abraço para os velhoa amigos daqueles tempos da UNICAMP e para os
 novos que farei aqui. Qualquer dúvida podem me escrever neste e-mail.
 Cifuentes
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Tese sobre Aristóteles

[Marcelo Esteban Coniglio]

Caro Tony,

De fato a tese do Mateus é muito interessante. Eu participei da
banca.Uma das coisas mais interessantes que achei foi a silogistica
modal que o Aristóteles propôs e, ao que parece, não fechou
completamente, mas também não foi completamente entendida pelos
analistas. É um belo tema de estudo (que requer saber ler grego
clássico).

Sobre o pdf da tese: o Mateus ainda tem que fazer umas pequenas
correções que sugerimos na defesa. Contata seu orientador, o Lucas
Angioni, para solicitar a versão final quando estiver pronta.

Abraço,

Marcelo


2012/5/29 Tony Marmo marmo.t...@gmail.com:
 Caros Colegas, Professores e Amigos,

 Defendeu-se no IFCH durante o corrente mês de maio uma tese que me pareceu
 muito interessante divulgar:

 A Lógica de Aristóteles: problemas interpretativos e abordagens
 contemporâneas dos PrimeirosAnalíticos

 De um colega nosso chamado Mateus Ricardo Ferreira. Só que ainda não está
 disponível online. Por favor,
 quem puder adiantar algo a respeito, deixe um comentário nessa lista.

 Resumo: Nesta tese discuto aspectos da lógica de Aristóteles que são
 ressaltados por abordagens contemporâneas dos Primeiros Analíticos e que
 mostram uma teoria mais rica e sutil do que tradicionalmente se entende
 como sendo a lógica aristotélica. Em especial, abordo teses sobre como
 devem ser compreendidas as proposições categóricas, o que são precisamente
 silogismos, o que são silogismos perfeitos e quais problemas enfrenta a
 parte da lógica de Aristóteles que lida com proposições modais. Nessa
 direção, abordo evidências textuais para duas concepções de proposição
 categórica e as dificuldades para coaduná-las com as proposições
 singulares. Além disso, argumento que silogismos devem ser compreendidos
 como cadeias de predicações e que Aristóteles concebe um sistema lógico
 quando procura justificar quais arranjos entre termos formam de fato tais
 cadeias. Argumento, também, que os silogismos perfeitos são evidentes nesse
 sistema não porque considerados indemonstráveis, mas porque podem ser
 deduzidos a partir de definições das proposições categóricas e de certas
 regras gerais, isto é, de regras aplicáveis não apenas a um tipo de
 proposição categórica. Por fim, apresento as características gerais e as
 dificuldades de uma parte da lógica de Aristóteles muito pouco associada à
 lógica aristotélica como tradicionalmente entendida: a silogística modal.
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Fwd: II Congresso Brasileiro de Sistemas Fuzzy - Chamada de Trabalhos - Prazo Estendido

[Marcelo Esteban Coniglio]

**
SECOND BRAZILIAN CONGRESS ON FUZZY SYSTEMS - II CBSF
November, 06th-09th
Natal, Rio Grande do Norte, Brazil
http://sites.google.com/site/academicfuzzybr/cbsf-eng
**


CALL FOR PAPERS - EXTENDED DEADLINE!!!


DESCRIPTION:


This is the second edition of the Brazilian Congress on Fuzzy Systems
(II CBSF). The CBSF is the only national event created to bring together the
various fields of research that Fuzzy Systems are involved. The word
System has a broad sense and means to capture computational systems
and logic/theoretical systems based on Fuzzy Logics. Thus, scientists,
engineers, mathematicians, biologists, economists and any other
professional that uses or studies these systems are target audience of
this congress.


SUPPORT:

II CBSF relies on the support of the following scientific societies,
national and international ones:

• NAFIPS: North American Information Processing Society
• IFSA: International Fuzzy Systems Association
• EUSFLAT: European Society for Fuzzy Logic and Technology
• SBC: Sociedade Brasileira de Computação
• SBMAC: Sociedade Brasileira de Matemática Aplicada e Computacional
• SBIC: Sociedade Brasileira de Inteligência Computacional
• SBA: Sociedade Brasileira de Automática


IMPORTANT DATES:

• Submissions …. July 15th
• Acceptance Notification .. Aug 17th
• Camera ready ..  Sep 2nd
• Early registration ……….  Sep 11th



PAPERS SUBMISSION


Refer to: http://sites.google.com/site/academicfuzzybr/call-for-papers-1



COMMITTEES


Refer to: http://sites.google.com/site/academicfuzzybr/committees


HISTORY OF THE EVENT


Refer to http://sites.google.com/site/academicfuzzybr/history


CONTACT INFO

Local support: hel...@dimap.ufrn.br







**
II CONGRESSO BRASILEIRO DE SISTEMAS FUZZY - II CBSF
Novembro, 06-09
Natal, Rio Grande do Norte, Brasil
https://sites.google.com/site/academicfuzzybr/
**


CHAMADA DE TRABALHOS - PRAZOS ESTENDIDOS !!!


DESCRIÇÃO:

Esta é a segunda edição do Congresso Brasileiro de Sistemas Fuzzy (II CBSF).
O CBSF é o único evento nacional criado para congregar os vários campos de
 atividades em que estão envolvidos Sistemas Difusos. A palavra
sistemas possui,
aqui, um sentido amplo, e visa  capturar tanto sistemas
computacionais, quanto sistemas
lógicos/teóricos baseados em Lógica Difusa.  Assim, cientistas,
engenheiros, matemáticos,
biólogos, físicos, economistas, e qualquer profissional que aplique ou
fundamente esses sistemas
são o público alvo deste congresso.

APOIO:

O II CBSF conta com o apoio das seguintes sociedades científicas
nacionais e internacionais:

NAFIPS: North American Information Processing Society
IFSA: International Fuzzy Systems Association
EUSFLAT: European Society for Fuzzy Logic and Technology
SBC: Sociedade Brasileira de Computação
SBMAC: Sociedade Brasileira de Matemática Aplicada e Computacional
SBIC: Sociedade Brasileira de Inteligência Computacional
SBA: Sociedade Brasileira de Automática



DATAS IMPORTANTES:

Deadline .. 15/Jul
Notificação .. 17/Ago
Versão Final ... 02/Set
Inscrição Prévia . 11/Set



SUBMISSÃO E PUBLICAÇÃO DOS TRABALHOS


Veja: https://sites.google.com/site/academicfuzzybr/call-for-papers



COMITÊ DE PROGRAMA


Veja: https://sites.google.com/site/academicfuzzybr/the-team


HISTÓRICO DO EVENTO


Veja https://sites.google.com/site/academicfuzzybr/project-definition


CONTATO

Secretaria: hel...@dimap.ufrn.br, c...@dimap.ufrn.br
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] go Argentina!

[Marcelo Esteban Coniglio]

Pois é, entre 100 medidas tomar uma acertada nao está nada mal...

Marcelo

On Thu, May 24, 2012 at 11:06 AM, Walter Carnielli
walter.carnie...@gmail.com wrote:
 Ótima   iniciativa  da  Honorável Câmara dos  Deputados da  Nação Argentina;
 nem tudo é ruim no reino da  Princesa  Cristina!

 Walter

 2012/5/24 Valeria de Paiva valeria.depa...@gmail.com:
 http://www.mincyt.gov.ar/noticias/noticias_detalles.php?id_noticia=959

 and Harvard and UCSF!!!
 (The unanimous vote of the faculty senate makes UCSF the largest scientific
 institution in the nation to adopt an open-access policy and among the
 first public universities to do so).
 http://www.ucsf.edu/news/2012/05/12056/ucsf-implements-policy-make-research-papers-freely-accessible-public
 --
 Valeria de Paiva
 http://www.cs.bham.ac.uk/~vdp/
 http://valeriadepaiva.org/www/
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l



 --
 ---
 Prof. Dr. Walter Carnielli
 Director
 Centre for Logic, Epistemology and the History of Science – CLE
 State University of Campinas –UNICAMP
 13083-859 Campinas -SP, Brazil
 Phone: (+55) (19) 3521-6517
 Fax: (+55) (19) 3289-3269
 Institutional e-mail: walter.carnie...@cle.unicamp.br
 Website: http://www.cle.unicamp.br/prof/carnielli
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Fwd: go Argentina!

[Marcelo Esteban Coniglio]

-- Forwarded message --
From: Marcelo Esteban Coniglio meconig...@gmail.com
Date: 2012/5/24
Subject: Re: [Logica-l] go Argentina!
To: Marcelo Finger mfin...@ime.usp.br


Caro Marcelo F.,

Nao  somente destruiram, sucatearam, espezinharam e sabotaram de
várias formas suas instituições de ensino e pesquisa como você bem
disse, senão que o resto das instituições também (incluíndo o Poder
Judiciário), fomentando na combativa e esclarecida sociedade
argentina um vácuo nacionalismo, deixando as pessoas hipnotizadas por
uma economia aquecida por receitas populistas reconhecidamente
não-sustentáveis.

Mas esta é uma lista de Lógica, portanto não me pronuciarei mais sobre
este assunto.

Abs,

Marcelo C.

2012/5/24 Marcelo Finger mfin...@ime.usp.br:
 Claro.

 Depois que eles destruiram. sucatearam, espezinharam e sabotaram de
 várias formas suas instituições de ensino e pesquisa, agora eles tomam
 esta ótima iniciativa.

 Francamente ...

 On 24 May 2012 11:06, Walter Carnielli walter.carnie...@gmail.com wrote:
 Ótima   iniciativa  da  Honorável Câmara dos  Deputados da  Nação Argentina;
 nem tudo é ruim no reino da  Princesa  Cristina!

 Walter

 2012/5/24 Valeria de Paiva valeria.depa...@gmail.com:
 http://www.mincyt.gov.ar/noticias/noticias_detalles.php?id_noticia=959

 and Harvard and UCSF!!!
 (The unanimous vote of the faculty senate makes UCSF the largest scientific
 institution in the nation to adopt an open-access policy and among the
 first public universities to do so).
 http://www.ucsf.edu/news/2012/05/12056/ucsf-implements-policy-make-research-papers-freely-accessible-public
 --
 Valeria de Paiva
 http://www.cs.bham.ac.uk/~vdp/
 http://valeriadepaiva.org/www/
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l



 --
 ---
 Prof. Dr. Walter Carnielli
 Director
 Centre for Logic, Epistemology and the History of Science – CLE
 State University of Campinas –UNICAMP
 13083-859 Campinas -SP, Brazil
 Phone: (+55) (19) 3521-6517
 Fax: (+55) (19) 3289-3269
 Institutional e-mail: walter.carnie...@cle.unicamp.br
 Website: http://www.cle.unicamp.br/prof/carnielli
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l



 --
 Marcelo Finger
  Departamento de Ciencia da Computacao
  Instituto de Matematica e Estatistica
  Universidade de Sao Paulo
  Rua do Matao, 1010
  05508-090    Sao Paulo, SP     Brazil
  Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax)
  http://www.ime.usp.br/~mfinger
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Qualis: um exercicio de democraria na lista de Logica

[Marcelo Esteban Coniglio]

Voto na proposta 1, e  contra a iniciativa de João Marcos de abrir um
novo pleito. Acho que niunguém tem mais paciência para continuar
debatendo sobre este assunto. Parabenizo o Rodrigo, o Samuel e a
Valeria (em estrita ordem alfabética) pelo valioso trabalho que
fizeram de graça para tentar melhorar as condições da comunidade dos
lógicos no Brasil. Excesso de oposição e de preciosismo causa
imobilidade.

Abraços,

Marcelo


2012/3/28  hugo...@ime.usp.br:
 Ola a todos,

 Penso que, apos estas semanas de intensos e democraticos debates em torno
 das sugestoes de mudancas de avaliacoes dos Qualis das 3 Logicas, caberia
 mais um importante exercicio democratico sobre o tema: votacoes de propostas
 concretas.
 Participaria desta votacao a comunidade dos logicos brasileiros  aqui, por
 questoes praticas, identificada com a totalidade dos participantes da lista
 de Logica (eleicao viabilizada atraves de algum instrumento google???)

 Sugiro as 3 propostas abaixo, com eleicao finalizada na segunda-feira, dia 2
 de abril:

 Proposta (1): enviar a Capes no dia 4 de abril (quarta-feira) as 12hs, o
 trabalho realizado pela Valeria, Rodrigo, Samuel e Charles, com sugestoes de
 alteracoes de notas aceitas ate as 23:59 de terca-feira (3 de abril).

 Proposta (2): retrabalhar todo o conteudo da proposta, em cima das sugestoes
 do Jean-Yves (via fatores de impacto) e outras, a partir da lista ampliada
 do Joao Marcos, ate dia 2 de maio (quarta-feira), quando o resultado do
 trabalho seria enviado a Capes.

 Proposta (3): nenhuma das anteriores.

 Abracos,

 Hugo




 Abracos,

 Hugo

 Hugo Luiz Mariano hugo...@ime.usp.br
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Homenagem a Horacio Arló-Costa em Buenos Aires

[Marcelo Esteban Coniglio]

Llamado a contribuciones
Taller de   Lógica de Buenos Aires – Homenaje a Horacio Arló-Costa

La Sociedad Argentina de Análisis Filosófico (SADAF) organiza un
Homenaje a Horacio Arló-Costa, que tendrá lugar en Buenos Aires del 2
al 4 de agosto de 2012.

Invitados especiales:
Verónica Becher (Universidad de Buenos Aires)
John Collins (Columbia University)
Paul Egré (Jean Nicod Institute)
Jeff Helzner (Columbia University)
Rohit Parikh (City University of New York)
Fernando Tohmé (Universidad Nacional del Sur)
Cristina Bicchieri (University of Pensylvannia) a confirmar
Alberto Moretti (SADAF-Universitdad de Buenos Aires- CONICET) a confirmar
Gladys Palau (Universidad de Buenos Aires) a confirmar
Paul Pedersen (Carnegie Mellon University) a confirmar

Se esperan contribuciones en cualquier área de la lógica filosófica,
incluyendo lógica epistémica y modal, razonamiento ampliativo,
revisión de creencias, lógica condicional, teoría de juegos y teoría
de la decisión, entre otros tópicos.

Invitamos a los interesados a enviar contribuciones para una
presentación de 40 minutos. Las propuestas deberán consistir en un
resumen detallado de aproximadamente 1000/1500 palabras. Dicho resumen
deberá enviarse en un archivo adjunto en formato .pdf a
i...@sadaf.org.ar. Los datos del autor deberán consignarse solamente
en el cuerpo del mensaje, para facilitar el referato. Las propuestas
serán evaluadas por el comité científico. Los idiomas oficiales del
encuentro son el castellano y el inglés. Se sugiere a todos los
participantes proveer a la audiencia durante el encuentro de un
abstract extendido, una presentación en ppt, un guión o el texto
completo en inglés.

Fecha límite para recepción de propuestas: 30 de marzo de 2012
Publicación de resultados: 30 de mayo de 2012

Para detalles adicionales se puede enviar un mail a i...@sadaf.org.ar
o consultar la página de SADAF: www.sadaf.org.ar

Comité Organizador: Eduardo Barrio, Eleonora Cresto, Sandra Lazzer, Diana Pérez.

Comité Científico:  Verónica Becher, John Collins, Paul Egré, Jeff
Helzner, Alberto Moretti, Gladys Palau, Rohit Parikh, Fernando Tohmé.
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Fwd: News: PhilJobs

[Marcelo Esteban Coniglio]

-- Forwarded message --
From: PhilPapers nore...@philpapers.org
Date: Thu, Oct 6, 2011 at 6:54 PM
Subject: News: PhilJobs
To: conig...@cle.unicamp.br


PhilJobs

The PhilPapers team is pleased to announce a new online database of
job ads in philosophy: PhilJobs. The database is to cover jobs in
philosophy of all types from all over the world. It is searchable in
many different ways (including AOS and geographic parameters).  Search
parameters can be saved and can be used to generate email alerts.  Ads
from PhilJobs will soon start appearing in PhilPapers' content alerts
and certain sections of the site.  Posting and viewing ads on PhilJobs
is free.  David Chalmers has more details on the project here.

If you are advertising a job in philosophy, we encourage you to submit
the advertisement to PhilJobs.  If you are seeking a job in
philosophy, we encourage you to search for jobs on the site.  Any
feedback would be welcome, either through the feedback form on the
site or through posting on the PhilJobs discussion forum.

David Bourget (London)
David Chalmers (ANU, NYU)

Co-Directors, PhilPapers

Click here to unsubscribe
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Fwd: from Ken Lopez-Escobar's niece, Grisel

[Marcelo Esteban Coniglio]

Caros colegas,

Estou trasmitindo a partir da sua solicitação uma mensagem de Grisel,
sobrinha do Prof. Ken Lopez-Escobar, recentemente falecido.

Atenciosamente,

Marcelo Coniglio


-- Forwarded message --
From: Grisel Damgaard grise...@yahoo.com
Date: Thu, Sep 15, 2011 at 12:09 PM
Subject: from Ken Lopez-Escobar's niece, Grisel
To: meconig...@gmail.com meconig...@gmail.com


Hello!

Thank you very much for the kind words which you wrote and which I saw
in Ken's gmail account.

Could you please do me a favour and thank all of the people in this
logica group for their kind words?
I will no longer be checking my uncle's email, but I can be reached
directly at grise...@yahoo.com. For those of you who would like to
write to Ken's wife, Monique, you may do so at:

Monique Lopez-Escobar
2703 Ogleton Road
Annapolis 21403 Maryland
USA.

(she does not use email) :)

And attached please find the eulogy which I delivered yesterday at his
service. I agree, he was an extraordinary man.

With best regards,


Grisel Lopez-Escobar Damgaard
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Questão de lógica na prova para professores de SP

[Marcelo Esteban Coniglio]

Estarrecedor!

2011/9/9 Carlos Gonzalez gonza...@gmail.com

 Prezados colegas,

 Os professores de SP que fizeram o curso para o concurso tiveram uma
 prova com 30 questões.

 A primeira questão da prova e:

 
 Segundo Aristóteles, o silogismo é um discurso em que, postas algumas
 coisas, outras se seguem necessariamente. Eis um exemplo típico de
 silogismo:

 Todos os animais são mortais.
 Todos os homens são mortais.
 Logo, todos os homens são animais.

 Com base nesse exemplo, pode-se inferir que o silogismo aristotélico tem
 caráter
 (A) mediato e necessário.
 (B) mediato e relativo.
 (C) imediato e abstrato.
 (D) imediato e concreto.
 

 Se esse é a prova que fazem os professores: o que podemos pedir dos alunos?

 Carlos

 Arisóteles, Primeiros Analíticos, 27a18
 But if M is predicated of every N and O, there cannot be a syllogism.
 Terms to illustrate a positive relation between the extremes are
 substance, animal, man

 Mas se M é predicado de todo N e de todo O, então não pode haver silogismo.
 Termos para mostrar isso são substância, animal, homem

 Ou seja:
 Todo animal é substância
 Todo homem é substância
 Todo animal é homem

 (Usar UTF-8 para ver o texto a seguir)

 ἐὰν δὲ τὸ Μ παντὸς τοῦ Ν καὶ τοῦ Ξ κατηγορῆται,
 οὐκ ἔσται συλλογισμός.
 ὅροι τοῦ ὑπάρχειν οὐσία – ζῶιον – ἄνθρωπος,
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Premiacao no Concurso de Teses e Dissertações 2011 da SBC

[Marcelo Esteban Coniglio]

Parabens Márcio, e parabens Renata!

Estamos todos muito orgulhosos pela merecida distinção.

E parabens também ao Márcio pelo belissimo prêmio recebido: publicar
sua tese em inglês, em formato de livro pela Springer!!

Abraços,

Marcelo

2011/8/3 Walter Carnielli walter.carnie...@gmail.com:
 Caros

 Márcio Moretto Ribeiro
 e Renata Wassermann


 parabéns ao  Márcio  pale premiacao (primeiro  lugar)  no Concurso de
 Teses e Dissertações  do XXXI Congresso da Sociedade Brasileira de
 Computação de 2011!
 pela sua  tese de doutorado  Revisão de Crenças em Lógicas de
 Descrição e em Outras Lógicas não Clássicas,  e parabéns  `a Renata
 pela orientacao!

 Sinto-me  horado em  ter participado da Banca de Defesa da tese e em
 ter sido co-responsável pela vinda do Márcio ao CLE como  pos-doc!

 Um abraco,

 Walter




 --
 
 Prof. Dr. Walter Carnielli
 Visiting  Scholar
 School of Historical and Philosophical Studies
 Room G06  Ground  Floor
 Old Quad Building
 The University of  Melbourne
 3010 VIC
 Melbourne, Australia

 Website: http://www.cle.unicamp.br/prof/carnielli
 ---

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Mensagem do Committee for Logic in Latin America da ASL- apoio a estudantes (EBL 2011)

[Marcelo Esteban Coniglio]

Parabens Walter!

Marcelo

2011/1/19 Walter Carnielli walter.carnie...@gmail.com:
 Prezados  colegas e estudantes:

 escrevo para  comunicar que, a convite da Associaton for Symbolic Logic,
 passo a  integrar o Committee for Logic in Latin America  da ASL.

 Em correspondência com a  ASL ficou esclarecido que, dado o apoio da
 ASL ao  EBL 2011
 http://www.cle.unicamp.br/ebl2011/

 (e tendo em conta que o Centro de Lógica, Epistemologia e  História da
 Ciência da UNICAMP
 é membro institucional da ASL) quaisquer estudantes, brasieiros ou
 estangeiros,  bem como doutores recentes, sócios da ASL podem pleitear
 a ajuda  para viagem e estadia  relativo ao EBL 2011.

 Ver  informações e detalhes de como proceder em:
 http://www.aslonline.org/asl_announcements.php#15

 Atenciosamente,

 Walter  Carnielli


 --
 +
 Prof. Dr. Walter Carnielli
 Director
 Centre for Logic, Epistemology and the History of Science – CLE
 State University of Campinas –UNICAMP
 13083-859 Campinas -SP, Brazil
 Phone: (+55) (19) 3521-6517
 Fax: (+55) (19) 3289-3269
 e-mail: walter.carnie...@cle.unicamp.br
 Website: http://www.cle.unicamp.br/prof/carnielli
 ___
 Logica-l mailing list
 Logica-l@dimap.ufrn.br
 http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Concurso na Universidade Federal do ABC (Santo André - SP )

[Marcelo Esteban Coniglio]

Estão abertas as inscrições para concurso docente na Universidade Federal do
ABC (Santo André - SP), com 6 vagas na área de Filosofia, categoria
Professor Adjunto I, no Centro de Ciências Naturais e Humanas, com as
seguintes sub-áreas:

Filosofia da Ciência - 2 vagas
Epistemologia - 1 vaga
Lógica e Filosofia da Lógica - 1 vaga
Ensino de Filosofia - 1 vaga
História da Ciência - 1 vaga

Consulte o edital no endereço:
http://www.ufabc.edu.br/index.php?option=com_contentview=articleid=1407Itemid=14
Caro Marcelo,
Queira, por favor, divulgar entre os seus alunos e ex-alunos doutores. Abraços. Peluso.
 
Estão abertas as inscrições para concurso docente na Universidade Federal do ABC (Santo André - SP), com 6 vagas na área de Filosofia, categoria Professor Adjunto I, no Centro de Ciências Naturais e Humanas, com as seguintes sub-áreas:

Filosofia da Ciência - 2 vagasEpistemologia - 1 vagaLógica e Filosofia da Lógica - 1 vagaEnsino de Filosofia - 1 vagaHistória da Ciência - 1 vaga
Consulte o edital no endereço:http://www.ufabc.edu.br/index.php?option=com_contentview=articleid=1407Itemid=14___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Provador de teoremas online

[Marcelo Esteban Coniglio]

Oi a todos,

Nossa colega Andrea Loparic (Departamento de Filosofia-FFLCH-USP)
disponibilizou online um provador automático de teoremas da sua autoria
para a lógica mimimal de Johanssen-Kolmogoroff, e para a lógica
proposicional intuicionista. O endereço é:

http://www.interleft.com.br/aloparic/tableaux/

Ficam todos convidados para utilizá-lo e divulgá-lo.

Um abraço,

Marcelo

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l