Re: [Logica-l] a maioridade / maturidade da LOGICA-L

[Jorge Petrucio Viana]

Parabéns à Pessoa que Vos Escreve ou aO Administrador da LOGICA-L!!!

Parabéns à esta comunidade!!!

Em qui., 28 de mar. de 2024 às 23:18, O Administrador da LOGICA-L <
logica-l-ow...@dimap.ufrn.br> escreveu:

> PessoALL:
>
> Esta semana a LOGICA-L,
>   "uma lista direcionada aos profissionais e estudantes
>de LÓGICA de todo o Brasil (and elsewhere!)"
> completou *18 anos de vida*.  Parabéns para ela, e para a comunidade
> envolvida nas suas discussões!  Esta comunidade é e sempre foi a
> verdadeira responsável pelo imenso sucesso desta lista como um fórum
> que oferece amplo espaço para as manifestações das "gentes da Lógica",
> ousando congregar simultaneamente variadíssimos interesses e perfis.
>
> Um pouquinho da história desta lista pode ser conhecido aqui:
> https://youtu.be/4d6kDGTFlrA?si=vQa6uQ4kY1OmzJ3B
>
> %%%
>
> Gostaria de aproveitar para recordar que a lista é e sempre foi
> completamente aberta para quem quiser dela participar.  Há um par de
> anos foi ativado um bit de moderação automático para novos inscritos.
> Este bit é desativado imediatamente após o membro demonstrar
> compromisso mínimo em contribuir aos tópicos de interesse desta lista.
>
> Por um brevíssimo período de sua vida esta lista teve um grupo de
> administradores que acharam por bem fazer uma "moderação mais pesada".
> A pessoa que vos escreve neste momento criou esta lista e a
> administrou sozinha durante a maior parte da sua história, mas não
> participou deste grupo específico; com efeito, nunca defendi ou
> implementei tal forma de moderação, e sequer me vejo fazendo ou
> cogitando fazer tal coisa no futuro.  É uma questão de princípios,
> então só posso lamentar que isso aborreça alguns membros da lista.
>
> Com as trollagens ocasionais haveremos de seguir convivendo, sempre
> buscando exercitar alguma paciência (e eventualmente chamando a
> atenção do membro recalcitrante em privado --- ou mesmo publicamente,
> se julgarmos ser o caso).  A vida em sociedades democráticas muitas
> vezes tem dessas inconveniências.  O custo de estar de fora desta
> lista, já me disseram muitas vezes, parece ainda ser maior do que o
> custo de dela participar, aguentando certos aborrecimentos ocasionais.
> O botão de "apagar esta mensagem" nunca está muito longe do usuário
> interessado.  Claro, pode chegar o dia em que esta lista perderá sua
> razão de existir, ou será substituída por "algo melhor".  Até lá,
> espero poder seguir ajudando a mantê-la viva.
>
> %%%
>
> Cumprimentos lógicos,
> O Administrador da LOGICA-L
>
> --
> 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/CAO6j_Lgx__VZ4qSSkB84GpAV8fK0tKP4x5JU_%2BHQ8yWM3sExLg%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 acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACRvmVRao1yF%3Dp-c2qJCUD7HSQhfom9JoGCp9vj9HUM7-LXCQw%40mail.gmail.com.

[Logica-l] Extended deadline: Tutorial proposals for Diagrams 2024

[Jorge Petrucio Viana]

*** Extended deadline: Tutorial proposals for Diagrams 2024 ***



14th International Conference on the Theory and Application of Diagrams

September 27 – October 1, 2024

University of Münster, Germany

www.diagrams-conference.org/2024



*** Highlights ***



- Tutorial sessions

- Graduate Symposium

- Three Tracks: Main, Philosophy, and Psychology and Education

- Best Paper and Best Student Paper awards

- Keynote speakers: Mateja Jamnik, Catarina Dutilh Novaes and Barbara
Tversky

*

The Diagrams conference provides a united forum for all researchers with an
interest in the study of diagrams. The conference fosters
multi-disciplinarity and allows researchers from areas such as computer
science, mathematics, psychology, philosophy, history (of science, art,
etc.), education research, and more to meet and share their perspectives on
the theory and application of diagrams.

We invite tutorials consisting of shorter presentations and activities that
run for a maximum of 2 hours. Previously, attendees have particularly
enjoyed tutorials that are interactive and spark debate. In contrast to
Workshops, Tutorials do not solicit contributions from attendees.

Tutorials are expected to address topics that are of interest to the
Diagrams 2024 conference attendees. These include but are not limited to,
the issues of interest found on the Main Track, Philosophy Track, and
Psychology & Education Track Calls pages at:
www.diagrams-conference.org/2024.

Examples of previous Tutorials include:

·  Visualizing "Information"

·  Learning to use the Openbox: A Framework for the Implementation of
Heterogeneous Reasoning

·  Drawing Euler Diagrams for Information Visualization

·  Interpreting and understanding relational database queries using
diagrams

·  Representational Systems Theory: What, Why and How?

·  Square of Opposition: Theory and Applications

At least one of the authors of an accepted tutorial submission will be
expected to attend the conference to give the tutorial to interested
conference attendees.

For more information and examples of previous tutorials, see:
https://diagrams-2024.diagrams-conference.org/calls/tutorials/

*

SUBMISSION

We invite submissions for review that focus on any aspect of diagrams
research. A tutorial proposal must contain:

1. A single page listing:

a. the title of the tutorial,

b. the names and contact information for all organizers,

c. brief biographies of the main organizers.

2. A description of the topic and rationale for the tutorial, including
a brief description of why the tutorial will be relevant to Diagrams 2024
conference attendees.

3. Information on any requirements for delivering the tutorial (e.g.
blackboard, flipovers, projector etc.).

4. An abstract, of up to 500 words, describing the tutorial that can be
used to advertise the tutorial on the Diagrams 2024 website.

Submission date: Extended deadline April 1, 2024.

*Notification: April 15, 2024.*

More details, including formatting instructions and all important dates can
be found at https://diagrams-conference.org/2024.

For further questions, please contact the Tutorial Track Chair: Andrea
Reichenberger (andrea.reichenber...@uni-siegen.de).

*

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

[Logica-l] Fwd: [diagrams-list] DIAGRAMS 2024| Extended deadline

[Jorge Petrucio Viana]

 **Extended deadline**: CFP Diagrams 2024 



*14th International Conference on the Theory and Application of Diagrams*

*September 27 – October 1, 2024*

University of Münster, Germany

www.diagrams-conference.org/2024


*** Highlights ***

- Proceedings published by Springer

- Graduate Symposium

- Three Tracks: Main, Philosophy, and Psychology and Education

- Best Paper and Best Student Paper awards

- Keynote speakers: Mateja Jamnik, Catarina Dutilh Novaes and Barbara
Tversky

*

The Diagrams conference provides a united forum for all researchers with an
interest in the study of diagrams. The conference fosters
multi-disciplinarity and allows researchers from areas such as computer
science, mathematics, psychology, philosophy, history (of science, art,
etc.), education research, and more to meet and share their perspectives on
the theory and application of diagrams.

Authors can submit to the conference through different tracks:

-  Main track


-  Philosophy track


-  Psychology & Education track


Please submit to the track that fits the main contribution of your research
best.

*

SUBMISSION

We invite submissions for peer review in the following submission
categories:

- Long Papers (16 pages),

- Short Papers (8 pages),

- Posters (4 pages – this is both a maximum and minimum requirement),

- Abstracts, i.e. non-archival contributions (3 pages).

*Extended deadline for pre-submission of title and descriptive
abstract:* *March
15, 2024*

At least one author of each accepted submission is expected to attend the
conference to present their research and respond to questions presented by
delegates. Multiple submissions are accepted.

Long Papers, Short Papers and Posters will be published in the conference
proceedings. The proceedings will be published by Springer shortly before
the conference. Abstracts will not be included in the published proceedings
but will be made available on the conference web site. Abstracts allow for
conference presentations without the need to publish a paper.

More details, including formatting instructions and all important dates,
can be found at https://diagrams-conference.org/2024.
-- 
*Publicity Chair, Diagrams Conference 2024*
Giulia Ferrari, PhD
Mathematics Education
University of Torino

-- 
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/CACRvmVRno3Rt%3DeZjTYwTLbYfx-skWiC-_D4cDZhhxCcF7_A6dw%40mail.gmail.com.

[Logica-l] DIAGRAMS 2024 | Final Call for Workshops and Tutorials

[Jorge Petrucio Viana]

 Final Call for Workshops and Tutorials: Diagrams 2024 



*14th International Conference on *

*the Theory **and Application *

*of Diagrams*


*September 27 – October 1, 2024*

University of Münster, Germany

www.diagrams-conference.org/2024

***

The Diagrams conference provides a united forum for all researchers with an
interest in the study of diagrams. The conference fosters
multi-disciplinarity and allows researchers from areas such as computer
science, mathematics, psychology, philosophy, history (of science, art,
etc.), education research, and more to meet and share their perspectives on
the theory and application of diagrams.

We invite proposals for half-day or full-day *workshops*. These workshops
will be held on the first (Friday, September 27) and the last (Tuesday,
October 1) conference day. They will occur at the main conference venue at
Münster University in Germany.

Workshops are expected to address topics of interest to the Diagrams 2024
conference attendees. These include but are not limited to, the issues of
interest found on the Main Track, Philosophy Track, and Psychology &
Education Track Calls pages at: www.diagrams-conference.org/2024.

Examples of previous Workshops include:

·  International Workshop on Set Visualisation and Reasoning

·  The International Workshop on Euler Diagrams

·  Technology-Enhanced Diagrams Research

·  Accessible Graphics: Graphics for Vision Impaired People

For more information, see:
https://diagrams-2024.diagrams-conference.org/calls/workshops/

For further questions, please contact the Workshop Track Chair, Silvia De
Toffoli (silvia.detoff...@iusspavia.it).

We also invite *tutorials* consisting of shorter presentations and
activities that run for a maximum of 2 hours. Previously, attendees have
particularly enjoyed tutorials that are interactive and spark debate. In
contrast to Workshops, Tutorials do not solicit contributions from
attendees.

Tutorials are expected to address topics that are of interest to the
Diagrams 2024 conference attendees. These include but are not limited to,
the issues of interest found on the Main Track, Philosophy Track, and
Psychology & Education Track Calls pages at:
www.diagrams-conference.org/2024.

Examples of previous Tutorials include:

·  Visualizing "Information"

·  Learning to use the Openbox: A Framework for the Implementation of
Heterogeneous Reasoning

·  Drawing Euler Diagrams for Information Visualization

·  Interpreting and understanding relational database queries using
diagrams

·  Representational Systems Theory: What, Why and How?

·  Square of Opposition: Theory and Applications

For more information and examples of previous tutorials, see:
https://diagrams-2024.diagrams-conference.org/calls/tutorials/

For further questions, please contact the Tutorial Track Chair: Andrea
Reichenberger (andrea.reichenber...@uni-siegen.de).

Please notice that for both Workshops and Tutorials, at least one of the
authors of an accepted submission will be expected to attend the conference.


Key deadlines:

Submission: March 1, 2024.
Notification: March 15, 2024.
--
*Publicity Chair, Diagrams Conference 2024*
Giulia Ferrari, PhD
Mathematics Education
University of Torino

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

[Logica-l] Call for Workshops: Diagrams 2024

[Jorge Petrucio Viana]

*** Call for Workshops: Diagrams 2024 ***



14th International Conference on the Theory and Application of Diagrams

September 27 – October 1, 2024

University of Münster, Germany

www.diagrams-conference.org/2024



*** Highlights ***



- Workshop sessions

- Graduate Symposium

- Three Tracks: Main, Philosophy, and Psychology and Education

- Best Paper and Best Student Paper awards

- Keynote speakers: Mateja Jamnik, Catarina Dutilh Novaes, and Barbara
Tversky

*

The Diagrams conference provides a united forum for all researchers with an
interest in the study of diagrams. The conference fosters
multi-disciplinarity and allows researchers from areas such as computer
science, mathematics, psychology, philosophy, history (of science, art,
etc.), education research, and more to meet and share their perspectives on
the theory and application of diagrams.

We invite proposals for half-day or full-day workshops. These workshops
will be held on the first (Friday, September 27) and the last (Tuesday,
October 1) conference day. They will occur at the main conference venue at
Münster University in Germany.

Workshops are expected to address topics of interest to the Diagrams 2024
conference attendees. These include but are not limited to, the issues of
interest found on the Main Track, Philosophy Track, and Psychology &
Education Track Calls pages at: www.diagrams-conference.org/2024.

Examples of previous Workshops include:

·  International Workshop on Set Visualisation and Reasoning

·  The International Workshop on Euler Diagrams

·  Technology-Enhanced Diagrams Research

·  Accessible Graphics: Graphics for Vision Impaired People

At least one of the organizers of an accepted Workshop submission will be
expected to attend the conference.

For more information, see:
https://diagrams-2024.diagrams-conference.org/calls/workshops/

*

SUBMISSION

A Workshop proposal must contain:

1. A single page listing:

a. the title of the workshop,

b. the names and contact information for all organizers,

c. brief biographies of the main organizers.

2. A description of the topic and rationale for the workshop, including
a brief description of why the workshop will be relevant to Diagrams 2024
conference attendees.

3. A Call for Participation document of up to 500 words that can be
used to advertise the workshop on the Diagrams 2024 website.

Submission date for workshop proposals: March 1, 2024.

Notification for acceptance of workshops:  March 15, 2024.

Workshop organizers are expected to distribute their call for abstracts and
solicit abstracts for submission shortly after notification. Abstract
submission for the accepted workshop should be no later than June 1, 2024.
Workshop organizers must notify acceptance of abstracts by the registration
deadline for the conference, June 7, 2024.

More details, including formatting instructions and all important dates,
can be found at https://diagrams-conference.org/2024.

For further questions, please contact the Workshop Track Chair, Silvia De
Toffoli (silvia.detoff...@iusspavia.it).

 *

-- 
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/CACRvmVSgEz89kcpyooWPM3EQg4GfuW12f6nh8X%3D%3DvUg%2B6Sgysw%40mail.gmail.com.

[Logica-l] Fwd: [FOM] CPF: Diagrams 2024

[Jorge Petrucio Viana]

The next Diagrams conference will be held from September 27 to October 1,
2024, in Münster, Germany. As usual, the conference will feature a special
track on the Philosophy of Diagrams, providing ample opportunities to
submit papers and engage in discussions about the use of diagrams in
mathematics. See more details in the call below or at:
www.diagrams-conference.org/2024



*** Highlights ***



- Proceedings published by Springer

- Dedicated Philosophy Track

- Graduate Symposium

- Best Paper and Best Student Paper awards

- Keynote speakers: Mateja Jamnik, Catarina Dutilh Novaes and Barbara
Tversky

*

The Diagrams conference provides a united forum for all researchers with an
interest in the study of diagrams. The conference fosters
multi-disciplinarity and allows researchers from areas such as computer
science, mathematics, psychology, philosophy, history (of science, art,
etc.), education research, and more to meet and share their perspectives on
the theory and application of diagrams.

For 2024, the conference will feature a special track devoted to
philosophical issues related to diagrams. Special theme topics include any
research on the philosophy of diagrams, such as:

– aesthetic properties of diagrams,

– cultural, metaphysical, epistemological aspects of diagrams,

– diagrams for syllogisms,

– diagrams in formal logic

– diagrams in mathematical practice,

– diagrams in the mind,

– history of diagrams,

– iconicity and 'naturalness' of diagrams,

– imagination,

– philosophy of notation,

– reasoning and argumentation with diagrams,

– semantics and/or pragmatics of diagrams,

– semiotics of diagrams,

– square of opposition, trees and graphs,

– the nature and definition of diagrams and diagramming,

– the diagrammatic work of philosophers such as Plato and C. S. Peirce

– visualization and intuition.



For more information, see:

http://www.diagrams-conference.org/2024/index.php/calls/philosophy/

In addition to the Philosophy track, Diagrams 2024 will have two further
tracks: Main, and Psychology & Education; for their topics of interest, see:

http://www.diagrams-conference.org/2024/index.php/calls/main-track/

http://www.diagrams-conference.org/2024/index.php/calls/psychology-and-education/


If the main research contribution of your submission is considered to fit
either of the other tracks you are strongly encouraged to submit to the
respective track, each of which has a dedicated program committee.

*

SUBMISSION

We invite submissions for peer review in the following submission
categories:

- Long Papers (16 pages),

- Short Papers (8 pages),

- Posters (4 pages – this is both a maximum and minimum requirement),

- Abstracts, i.e. non-archival contributions (3 pages).



Submission date: March 1, 2024.

At least one author of each accepted submission is expected to attend the
conference to present their research and respond to questions presented by
delegates. Multiple submissions are accepted.

Long Papers, Short Papers and Posters will be published in the conference
proceedings. The proceedings will be published by Springer shortly before
the conference. Abstracts will not be included in the published proceedings
but will be made available on the conference web site. Abstracts allow for
conference presentations without the need to publish a paper.

More details, including formatting instructions and all important dates,
can be found at https://diagrams-conference.org/2024.

*

-- 
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/CACRvmVTz_ebixVd2hfO2p1-8qsE7wnujucR%2Bp7eauO3KC8ES4A%40mail.gmail.com.

[Logica-l] já peço desculpas...

[Jorge Petrucio Viana]

... pela mensagem descabida, mas eu tinha que compartilhar:

https://logichoteis.com.br

abraços
P

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

[Logica-l] a serious disease

[Jorge Petrucio Viana]

from rec.humor.funny

https://www.netfunny.com/rhf/

Subject: new malady

Did you hear about the logician who got a kidney stone from too much dirty
dancing? It was diagnosed as a lambada calculus.

P

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

Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas

[Jorge Petrucio Viana]

Oi Samuel,
pelo que vejo, esse seu raciocínio (letrinhas de contrato) vale para
qualquer outra formalização da matemática...
Por ele, eu concluo que para um matemático-padrão, o sistema
$\mathcal{L}^x$ usado for Tarski e Givant no seu livro "A formalization of
set theory without variables" é a medida do básico.
"Set theory" aqui não significa ZFC, mas qualquer sistema onde a existência
de "uma certa noção relaxada de par ordenado" é um (axioma ou) teorema.
Incluindo sistemas formulados na teoria das categorias e mais...

P

Em sáb., 5 de ago. de 2023 às 16:03, 'Samuel Gomes da Silva' via LOGICA-L <
logica-l@dimap.ufrn.br> escreveu:

> Oi Petrucio,
>
> Da mesma forma que ninguém lê as letrinhas pequenas de nenhum contrato,
>
> O matemático establishment sabe (na maioria das vezes) que trabalha em
> ZFC, mesmo que só saiba dar como exemplo o Axioma da Escolha.
>
> (Muitos deles acham que a Hipótese do Continuo vale "na prática", mas isso
> é ainda outra história...)
>
> Sobre a coisa de ordem, pelo menos nisso o matemático establishment tem
> sorte, pois como os subconjuntos dos conjuntos são conjuntos, as
> (subfamilias das) famílias de subconjuntos são conjuntos, etc., dá pra
> fazer tudo em primeira ordem.
>
> Atés
>
> []s Samuel
> - Mensagem original -
> De: Jorge Petrucio Viana 
> Para: Samuel Gomes da Silva 
> Cc: Valeria de Paiva , Daniel Durante <
> durant...@gmail.com>, Marcos Silva ,
> pin...@googlegroups.com , Grupo de pesquisa CLEA <
> pina...@googlegroups.com>
> Enviadas: Sat, 05 Aug 2023 14:54:05 -0300 (BRT)
> Assunto: Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números
> e provas
>
> Boa tarde!
>
> Uma dúvida honesta (não é, simplesmente, uma provocação):
> O que vocês estão chamando de ZFC?
>
> Se for o que está, por exemplo, no livro do Devlin (ou seja, First Order
> Logic ZFC), não concordo que "para um matemático-padrão ZFC e' a medida, o
> básico" (ou algo semelhante).
>
> Pelo que vejo, matemáticos padrão trabalham, pelo menos, em terceira ordem
> e usam "naive set theory" (uma versão mais próxima de Cantor do que de
> Zermelo).
>
> Um adendo:
> Uma vez eu desafiei uma plateia de matemáticos (uns 40 mais ou menos) a
> listarem 3 (apenas 3) axiomas da Teoria dos Conjuntos.
> O máximo que consegui foi: Axioma da Escolha.
>
> P
>
> Em sáb., 5 de ago. de 2023 às 13:20, 'Samuel Gomes da Silva' via LOGICA-L <
> logica-l@dimap.ufrn.br> escreveu:
>
> > Oi Valéria,
> >
> > Pois é, em ambiente de pesquisa eu concordo que a teoria básica é ZF
> > (ainda mais se a pesquisa é lógico orientada, digamos),
> >
> > Porém, porém, porém, para o tal matemático establishment que eu sempre
> > falo,
> >
> > O Axioma da Escolha está lá, mesmo que o matemático establishment não
> > perceba (porque muitas vezes ele usa o Axioma da Escolha sem perceber, é
> > preciso um certo "treino" e esforço pra ver quando o Axioma da Escolha
> foi
> > necessário ou não).
> >
> > Por exemplo: pra quem nunca pensou nisso, procure ver exatamente onde se
> > usa o Axioma da Escolha para mostrar que "a reunião enumeravel de
> > enumeraveis é enumeravel", é um uso um pouco sutil.
> >
> > Aí, nos livros de graduação em matemática, o Axioma da Escolha está lá
> > escondido. "Todo espaço vetorial tem base" - não só usa lá um Leminha de
> > Zorn na prova padrão, como foi mostrado que é uma equivalência do Axioma
> da
> > Escolha (Blass, 1984).
> >
> > Então, para o matemático establishment, acaba sendo ZFC sim.
> >
> > Abraços
> >
> > []s Samuel
> >
> >
> >
> >
> >
> >
> >
> >
> >
> >
> >
> >
> >
> >
> >
> >
> >
> >
> >
> >
> > - Mensagem original -
> > De: Valeria de Paiva 
> > Para: Samuel Gomes da Silva 
> > Cc: Daniel Durante , Marcos Silva <
> > marcossilv...@gmail.com>, pin...@googlegroups.com <
> logica-l@dimap.ufrn.br>,
> > Grupo de pesquisa CLEA 
> > Enviadas: Sat, 05 Aug 2023 12:38:19 -0300 (BRT)
> > Assunto: Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos,
> números
> > e provas
> >
> > oi Samuel,
> > Desculpe, mas aqui eu vou dar meu pitaco de ignorante, porem convicta.
> > Eu concordo plenamente que para um matemático-padrão ZFC e' a medida, o
> > básico. MAS com o abaixo não concordo não.
> >
> > >Pelo Teorema da Completude, algo que provamos "ZFC puro" é válido em
> todos

Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas

[Jorge Petrucio Viana]

Boa tarde!

Uma dúvida honesta (não é, simplesmente, uma provocação):
O que vocês estão chamando de ZFC?

Se for o que está, por exemplo, no livro do Devlin (ou seja, First Order
Logic ZFC), não concordo que "para um matemático-padrão ZFC e' a medida, o
básico" (ou algo semelhante).

Pelo que vejo, matemáticos padrão trabalham, pelo menos, em terceira ordem
e usam "naive set theory" (uma versão mais próxima de Cantor do que de
Zermelo).

Um adendo:
Uma vez eu desafiei uma plateia de matemáticos (uns 40 mais ou menos) a
listarem 3 (apenas 3) axiomas da Teoria dos Conjuntos.
O máximo que consegui foi: Axioma da Escolha.

P

Em sáb., 5 de ago. de 2023 às 13:20, 'Samuel Gomes da Silva' via LOGICA-L <
logica-l@dimap.ufrn.br> escreveu:

> Oi Valéria,
>
> Pois é, em ambiente de pesquisa eu concordo que a teoria básica é ZF
> (ainda mais se a pesquisa é lógico orientada, digamos),
>
> Porém, porém, porém, para o tal matemático establishment que eu sempre
> falo,
>
> O Axioma da Escolha está lá, mesmo que o matemático establishment não
> perceba (porque muitas vezes ele usa o Axioma da Escolha sem perceber, é
> preciso um certo "treino" e esforço pra ver quando o Axioma da Escolha foi
> necessário ou não).
>
> Por exemplo: pra quem nunca pensou nisso, procure ver exatamente onde se
> usa o Axioma da Escolha para mostrar que "a reunião enumeravel de
> enumeraveis é enumeravel", é um uso um pouco sutil.
>
> Aí, nos livros de graduação em matemática, o Axioma da Escolha está lá
> escondido. "Todo espaço vetorial tem base" - não só usa lá um Leminha de
> Zorn na prova padrão, como foi mostrado que é uma equivalência do Axioma da
> Escolha (Blass, 1984).
>
> Então, para o matemático establishment, acaba sendo ZFC sim.
>
> Abraços
>
> []s Samuel
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
> - Mensagem original -
> De: Valeria de Paiva 
> Para: Samuel Gomes da Silva 
> Cc: Daniel Durante , Marcos Silva <
> marcossilv...@gmail.com>, pin...@googlegroups.com ,
> Grupo de pesquisa CLEA 
> Enviadas: Sat, 05 Aug 2023 12:38:19 -0300 (BRT)
> Assunto: Re: [Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números
> e provas
>
> oi Samuel,
> Desculpe, mas aqui eu vou dar meu pitaco de ignorante, porem convicta.
> Eu concordo plenamente que para um matemático-padrão ZFC e' a medida, o
> básico. MAS com o abaixo não concordo não.
>
> >Pelo Teorema da Completude, algo que provamos "ZFC puro" é válido em todos
> os tabuleiros (e reciprocamente).
> Nossos cursos de graduação em Análise, Topologia, Geometria... Esses valem
> em todos os tabuleiros porque estão todos em ZFC puro. É o básico...
> Então talvez nessa visão semantista, ZFC tem mais a cara de "o que é comum
> a todos os tabuleiros" do que uma lista de axiomas e a teoria
> correspondente.
>
> ZF e' básico, o C(choice) tem muita gente que não quer não, que prefere
> botar um asterisco numa prova qdo precisa de choice, pra alertar os
> distraídos. e o número dessas pessoas, que se preocupam com resultados mais
> construtivos, ou baseados em formulações alternativas de fundamentos e'
> cada vez maior. não sei se significativamente maior no "rank and file" dos
> matemáticos tradicionais, mas certamente bem maior nessa comunidade entre
> matemática e informática que diz q trabalha com ciência da computação.
>
> Tem muita gente, que nem você, cuja pesquisa só faz sentido se certas
> premissas tradicionais não valem: a maioria do pessoal de "teoria de tipos"
> se enquadra nessa. (pra não falar dos sub-estruturalistas!) E mesmo todo
> mundo nessa nova onda de 'Proof Assistants' pra uma nova matemática "(
>
> https://www.nytimes.com/2023/07/02/science/ai-mathematics-machine-learning.html
> )
>  faz parte da turma.
>
> Então concordo sim que a matemática e' o jogo e não os tabuleiros ou os
> campos ou as regras, mas essa essência do jogo muda, se os jogadores
> mudarem.
>
> abraços,
> Valeria
>
> On Sat, Aug 5, 2023 at 5:23 AM 'Samuel Gomes da Silva' via LOGICA-L <
> logica-l@dimap.ufrn.br> wrote:
>
> > Salve Daniel,
> >
> > Incrível como entre nós, brasileiros, o FUTEBOL consegue explicar tantas
> > coisas né?
> >
> > Você pegou a ideia, sim é isso mesmo.
> >
> > Matemática é um trabalho, e os ambientes de trabalho são os modelos... Os
> > matemáticos, somos jogadores profissionais de futebol (com o BOM e o RUIM
> > da sua mensagem, é a tal coisa da dor e a delícia de ser o que é...).
> >
> > Mas pra além daquele BOM e RUIM tem mais uma coisa: existem esses
> momentos
> > (e na verdade os matemáticos fora da área de fundamentos sempre vivem
> esse
> > tipo de momentos) nos quais o teorema que provamos vale em todos os
> > tabuleiros, em todos os campos de jogo.
> >
> > Isso acontece quando provamos algo "ZFC puro", sem hipóteses adicionais.
> >
> > Pelo Teorema da Completude, algo que provamos "ZFC puro" é válido em
> todos
> > os tabuleiros (e reciprocamente).
> >
> > Nossos cursos de graduação em Análise, Topologia, Geometria... Esses
> valem
> > em todos os tabuleiros porque e

Re: [Logica-l] Trends in Logic conference- Torun,2023

[Jorge Petrucio Viana]

> porque me parece que a maioria das vezes o que acontece é que as coisas
que as mulheres provam e descobrem, passam a ser parte do inconsciente
coletivo, em vez de serem atribuídas a elas.

Valéria,
exatamente este é o ponto que eu quero enfatizar no momento.

A questão não é se eu orientei ou não milhares de alunas com ou sem ótimos
empregos, inclusive no âmbito internacional.
A questão, simplesmente, é: quase ninguém sabe quais são os resultados
relevantes que as mulheres obtiveram (dentro e fora da computação, lógica
ou matemática).
Isso por não serem divulgados, como deveriam.

Ok, posso relativizar: eu, pelo menos, e minhas amigas, amigos e amiges não
sabemos!
P



.




Em sáb., 22 de jul. de 2023 às 18:04, Valeria de Paiva <
valeria.depa...@gmail.com> escreveu:

> Petrucio,
> por que você não colocou o link da tese da Laiz na sua mensagem?
> a tese dela não está em algum depósito de teses? Não está no arxiv? Devia,
> né? Cade a pequena excursão histórica? e onde esta' o resultado original da
> Soler? (a enciclopédia de Matematica da Springer 'e um outro engodo)
>
> porque me parece que a maioria das vezes o que acontece e' que as coisas
> que as mulheres provam e descobrem, passam a ser parte do inconsciente
> coletivo, em vez de serem atribuidas a elas. você sabe quem foi que
> descobriu de que as estrelas são feitas?
>
> https://en.wikipedia.org/wiki/Cecilia_Payne-Gaposchkin
>
> todo mundo sabia que as contas dos projetos espaciais
> americanos iniciais eram feitas por humanos. Eu não sabia, e acho que
> ninguém sabia muito, que eram feitas por mulheres negras, né?
> atualmente a gente  sabe, pelo menos que Katherine Goble Johnson
> <https://en.wikipedia.org/wiki/Katherine_Johnson>, Dorothy Vaughan
> <https://en.wikipedia.org/wiki/Dorothy_Vaughan>, and Mary Jackson
> <https://en.wikipedia.org/wiki/Mary_Jackson_(engineer)>  existiram.
>
> Do mesmo jeito que poucas pessoas sabem que as cartas astronômicas que são
> usadas atualmente, foram compiladas pelas
> Computadoras de Harvard
> https://en.wikipedia.org/wiki/Harvard_Computers
> ainda que, quem sabe da história, só sabe o nome do Pickering.
>
> Se você quiser escrever um blog post sobre o teorema da Soler, eu vou
> adorar colocar no "Women in Logic", no "Logicas Brasileiras", e em outros
> lugares que conseguir.
>
> abraços,
> Valeria
>
> On Sat, Jul 22, 2023 at 1:04 PM Jorge Petrucio Viana <
> petrucio_vi...@id.uff.br> wrote:
>
>> Talvez dentro do tópico...
>>
>> Em 2012, 13, 14 eu pensei bastante sobre essa questão das mulheres na
>> lógica, matemática e computação.
>> E resolvi que era hora de dar a minha contribuição, por menor que fosse.
>> Desta forma, resolvi orientar uma aluna em um projeto de IC sobre um
>> teorema importante provado por uma mulher.
>> Assim a aluna de graduação Laiz Valim (oriunda do Ensino a Distância e
>> hoje fazendo doutorado na USP em álgebra não comutativa) foi apresentada ao
>> maravilhoso mundo do Teorema de Solèr
>>
>> https://encyclopediaofmath.org/wiki/Solèr_theorem.
>>
>> Na época eu achava, e ainda acho isso, que
>>
>> *** um caminho necessário e bastante promissor é mostrar às meninas (em
>> geral) como outras mulheres conseguiram obter resultados que todos
>> consideram relevantes. ***
>>
>> Laiz estudou o trabalho de Solèr, estudou dois artigos onde o resultado
>> dela é reverenciado e, inclusive, entrou em contato com um pesquisador que
>> havia sido colega de Solèr no doutorado (quando ela obteve o seu resultado)
>> para pedir informações sobre a vida dela e complementar o seu trabalho
>> matemático com uma pequena excursão histórica.
>>
>> Na imensa maioria das vezes em que eu vejo o assunto mulheres na ciência
>> sendo tratado, eu não vejo uma boa propaganda com a divulgação de
>> resultados, vejo muitas discussões políticas e histórias pessoais.
>> Obviamente, não estou dizendo que isso não é importante e estou relatando
>> apenas a minha experiência...
>>
>> A orientação da Laiz foi uma pequena porta de entrada para tentar
>> contribuir na mudança deste estado de coisas.
>> Infelizmente, não consegui levar a ideia adiante.
>>
>> abraços
>> P
>>
>>
>> Em sex., 21 de jul. de 2023 às 19:41, Valeria de Paiva <
>> valeria.depa...@gmail.com> escreveu:
>>
>>> Obrigada pelos links, Hermógenes!
>>> e pela "inside information".
>>>
>>> Eu acho que a gente precisa fazer uma página especial do Lógicas
>>> Brasileiras só com sugestões de como acabar com os MANELS.
>>> Não sei se adianta não, pois as r

Re: [Logica-l] Trends in Logic conference- Torun,2023

[Jorge Petrucio Viana]

Talvez dentro do tópico...

Em 2012, 13, 14 eu pensei bastante sobre essa questão das mulheres na
lógica, matemática e computação.
E resolvi que era hora de dar a minha contribuição, por menor que fosse.
Desta forma, resolvi orientar uma aluna em um projeto de IC sobre um
teorema importante provado por uma mulher.
Assim a aluna de graduação Laiz Valim (oriunda do Ensino a Distância e hoje
fazendo doutorado na USP em álgebra não comutativa) foi apresentada ao
maravilhoso mundo do Teorema de Solèr

https://encyclopediaofmath.org/wiki/Solèr_theorem.

Na época eu achava, e ainda acho isso, que

*** um caminho necessário e bastante promissor é mostrar às meninas (em
geral) como outras mulheres conseguiram obter resultados que todos
consideram relevantes. ***

Laiz estudou o trabalho de Solèr, estudou dois artigos onde o resultado
dela é reverenciado e, inclusive, entrou em contato com um pesquisador que
havia sido colega de Solèr no doutorado (quando ela obteve o seu resultado)
para pedir informações sobre a vida dela e complementar o seu trabalho
matemático com uma pequena excursão histórica.

Na imensa maioria das vezes em que eu vejo o assunto mulheres na ciência
sendo tratado, eu não vejo uma boa propaganda com a divulgação de
resultados, vejo muitas discussões políticas e histórias pessoais.
Obviamente, não estou dizendo que isso não é importante e estou relatando
apenas a minha experiência...

A orientação da Laiz foi uma pequena porta de entrada para tentar
contribuir na mudança deste estado de coisas.
Infelizmente, não consegui levar a ideia adiante.

abraços
P


Em sex., 21 de jul. de 2023 às 19:41, Valeria de Paiva <
valeria.depa...@gmail.com> escreveu:

> Obrigada pelos links, Hermógenes!
> e pela "inside information".
>
> Eu acho que a gente precisa fazer uma página especial do Lógicas
> Brasileiras só com sugestões de como acabar com os MANELS.
> Não sei se adianta não, pois as reclamações que você mandou são de 2014 e
> 2015 na maior parte. Mas pode deixar que desistir a gente não desiste não.
> Só precisamos pensar a nossa estratégia.
> []s
> Valeria
>
> On Fri, Jul 21, 2023 at 10:20 AM Hermógenes Oliveira <
> olive...@daad-alumni.de> wrote:
>
>> Olá, pessoal.
>>
>> Eu simpatizo com a frustração e o cansaço, mas concordo com Elaine que
>> convém continuar reclamando.
>>
>> Me lembro que, há não muito tempo atrás, após reclamações
>> ,
>> houve uma conversa interna e o grupo em Tübingen passou a considerar a
>> questão nos eventos que organizou dali em diante.
>>
>> Cordialmente,
>>
>> --
>> Hermógenes Oliveira
>>
>> --
>> 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/35fc81c8-3a12-4252-af6b-227117d79c3dn%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/CAESt%3DXscFJqwWGH3S3Cxv%2B6Uvh-JPrU6bpis_De3H1_w4WkZTw%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/CACRvmVQ9pKD%3Dem2jvb%3DMYyswRA_csmeq4UPvuRKs5UnddPEKsQ%40mail.gmail.com.

[Logica-l] pets desculpas por possível repetição de informação

[Jorge Petrucio Viana]

*ABSTRACTIONISM 2*

UConn Logic Group, University of Connecticut

*10–12 August 2023*

Celebrating 40 years of *Frege’s Conception of Numbers as Objects*!
This is a hybrid event: both in-person and only participation is possible.

*Keynote speaker:*

   - Crispin Wright (University of Stirling)

*With talks by:*

   - Emery Carlson (University of Minnesota)
   - Roy T. Cook (University of Minnesota)
   - Fiona T. Doherty (Bios Centre, London)
   - Sean Ebels-Duggan (Northwestern University)
   - Shay Allen Logan (Kansas State University)
   - Eileen Nutting (University of Kansas)
   - Walter Pedriali (University of St Andrews)
   - Stewart Shapiro (The Ohio State University/University of Connecticut)
   - Will Stafford (University of Bristol)
   - William Stirton (Independent Scholar)
   - James Studd (University of Oxford)
   - Alan Weir (University of Glasgow)

*Other invited participants include:*

   - Michael Callaso (University of Minnesota)
   - Philip Ebert (University of Stirling)
   - Richard Kimberly Heck (Brown University)
   - Nathan Kellen (Kansas State University)
   - Øystein Linnebo (University of Oslo)
   - Fraser MacBride (University of Manchester)
   - Sara Parhizgari (University of Minnesota)

For further details, conference program, and registration please go to the
conference website:
https://rossberg.philosophy.uconn.edu/abstractionism-2-conference/
*Deadline for registration *(for in-person and online participation): *31 July
2023*

Please email Marcus Rossberg
 if you have
any questions about the conference or encounter any problems.

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

[Logica-l] adendo a minha mensagem anterior

[Jorge Petrucio Viana]

Além do "a não pertence a A", eu esqueci de dizer que já conheço as notas
de aula de Chris Preston, relacionadas a esse assunto.

Obrigado,
P

-- 
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/CACRvmVRjfcJrmx2_Ahu2wiaP%2BOA0DP%2BTEqbaf2ttzw%2BYegbP6Q%40mail.gmail.com.

[Logica-l] referências sobre cardinalidade de conjuntos finitos

[Jorge Petrucio Viana]

Bom dia!

Alguém conhece alguma referência que apresente a cardinalidade de conjuntos
finitos baseada na definição abaixo?

|vazio| = 0
|A U {a}| = |A|+1

Minha pergunta é sobre uma apresentação formal dessa teoria.

Obrigado,
P

-- 
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/CACRvmVSz7FpiVNpVqofM9v%2BJy7Nr2dNqY3joXMR7Vu-Ou39qXw%40mail.gmail.com.

Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq

[Jorge Petrucio Viana]

Caramba!!!

O nome "Neutrosophic Sets and Systems" só não é melhor do
que "Neutrosophic Categories and Metasystems".

P

Em ter., 18 de abr. de 2023 às 09:04, Joao Marcos 
escreveu:

> Uma demonstração cabal de como é fácil manipular as avaliações
> oficiais de impacto é o fato de que o periódico "Neutrosophic Sets and
> Systems" (http://fs.unm.edu/NSS2/index.php/111/) ocupa o terceiro
> lugar entre os 41 periódicos classificados pela Scopus na área de
> Lógica, com percentil 93%.
>
> Como eu disse ao Hugo, considero _bastante preocupante_ que a
> "proposta da alteração do sistema de avaliação de revistas da área de
> matemática no CNPq" feita ao CA-MA inclua, inebriada pela dança dos
> números, tal periódico ao lado de outros periódicos sérios.
>
> Joao Marcos
>
> On Wed, Mar 22, 2023 at 5:02 AM Hugo Luiz Mariano 
> wrote:
> >
> > Caros colegas,
> >
> > Encaminho mensagem recebida através de um colega algebrista contendo uma
> proposta da alteração do sistema de avaliação de revistas da área de
> matemática no CNPq.
> >
> > A proposta de alteração (ver 2 anexos) beneficiaria não apenas a área de
> álgebra, mas também áreas mais abstratas da matemática, como lógica e
> fundamentos.
> >
> > Noto que a manifestação de cada um que estiver de acordo, teria que
> ocorrer  através do formulário abiaxo, até o dia 25 de março.
> >
> >
> >
> https://docs.google.com/forms/d/e/1FAIpQLSeBXQNr7jAEsT4kkWKjzEDL35L4RVTyOVYeJvUO5Rl4qKrDoA/viewform?usp=sharing
> >
> > Abraços,
> >
> > Hugo
> >
> >
> > -- Forwarded message -
> > De: Plamen Emilov Kochloukov 
> > Date: ter., 21 de mar. de 2023 11:59
> > Subject: Critérios do CA-MA para avaliação das solicitações no CNPq
> > To: , , <
> adrielly@gmail.com>, , , <
> alessandradelguing...@gmail.com>, , <
> alexc...@gmail.com>, , <
> alexandr.kor...@ufabc.edu.br>, , , <
> aline.vandrad...@gmail.com>, , <
> alonso.castella...@ufu.br>, Altair S O T , <
> amandacv...@gmail.com>, , Ana Cristina
> Vieira , , <
> anapaulasilva.matemat...@gmail.com>, , <
> conti...@ufmg.br>, , , <
> annae...@hotmail.com>, , , <
> anto...@mat.unb.br>, , , <
> brunamc.mira...@yahoo.com.br>, , <
> cgomes...@gmail.com>, , <
> mendes.carol...@ict.ufvjm.edu.br>, , <
> cintyaw...@gmail.com>, , Clayton Cristiano Silva <
> ccri...@gmail.com>, , ,
> , , <
> dalalre...@yahoo.com>, , , <
> dfcast...@gmail.com>, , <
> daniellesantos@gmail.com>, , <
> avelar...@gmail.com>, , <
> d.carbajalordin...@gmail.com>, , <
> jessycristina16ama...@gmail.com>, Ednei Aparecido Santulo Junior <
> easjun...@uem.br>, Edson Ribeiro Alvares , <
> silv...@impa.br>, Eduardo do Nascimento Marcos , <
> elainesilva@gmail.com>, , <
> vishnyako...@googlemail.com>, , ,
> , , , <
> f.cas...@ufsc.br>, Felipe Yukihide , <
> fpere...@ita.br>, , , Flavio Ulhoa
> Coelho , , <
> francielia...@hotmail.com>, , <
> francismarkoro...@yahoo.com.br>, , <
> gabrielalcantar...@gmail.com>, , <
> leleskogabr...@gmail.com>, , , <
> gilson...@gmail.com>, , <
> grasiela.mart...@gmail.com>, , <
> grazi_fons...@hotmail.com>, , ,
> , , ,
> , , , <
> i...@im.ufrj.br>, , , <
> i.svirid...@mat.unb.br>, , , <
> jsanchezse...@gmail.com>, , <
> jhon.quis...@gmail.com>, João Schwarz Fernando ,
> , , John MacQuarrie <
> j...@mat.ufmg.br>, , , <
> vilca.rodrigu...@gmail.com>, , ,
> , , <
> junroc...@gmail.com>, Kostiantyn Iusenko , <
> lamark.biu...@hotmail.com>, , <
> liliam.meri...@gmail.com>, , <
> luanaconti...@yahoo.com.br>, , <
> lhcali...@mat.ufmg.br>, , <
> henrique.lucas20...@gmail.com>, , <
> luisfelipe...@gmail.com>, , <
> manuela.so...@ufba.br>, , , <
> mehernan...@uem.br>, , <
> marcosfrancinos...@hotmail.com>, , Marcos
> Antônio , , <
> mtmd...@hotmail.com>, , , <
> matheus.bernard...@gmail.com>, , , <
> fernando25...@gmail.com>, , ,
> , , ,
> , , , <
> centaur...@gmail.com>, , , <
> pbiancacom...@gmail.com>, , <
> ppatricia_...@hotmail.com>, , , <
> paulocesar.olive...@urca.br>, , ,
> , Plamen Emilov Kochloukov ,
> , , ,
> , , , <
> rica...@ufg.br>, , , <
> rsalo...@id.uff.br>, Rodrigo Rodrigues , <
> ronie.da...@gmail.com>, , , <
> rosemarypi...@id.uff.br>, , Saeed
> Tafazolian , , <
> sararaiss...@hotmail.com>, , <
> savio.ri...@gmail.com>, , ,
> , , , <
> tanpie...@gmail.com>, , , <
> jaiyeolatemit...@yahoo.com>, , <
> trtamusiu...@yahoo.com.br>, , Thiago de Mello Castilho
> , , ,
> , , <
> victor.gerasi...@gmail.com>, Victor Petrogradsky ,
> , , <
> vemar...@unal.edu.co>, , ,
> , Viktor Bekkert , <
> bittencourt...@gmail.com>, , <
> vitoria.will...@gmail.com>, , Vyacheslav Futorny <
> vfuto...@gmail.com>, , , <
> wilian...@yahoo.com.br>, , Dessislava Hristova
> Kochloukova , Carolina Araujo , Eduardo
> de Sequeira Esteves , Marcelo Muniz Alves <
> mmuni...@gmail.com>, Ivan Shestakov , Aron
> Simis , Israel Vainsencher , <
> doku...@gmail.com>, Marcos Benevenuto Jardim , Pavel
> Zalesski , Noraí Romeu Rocco ,
> , Herivelto Martins Borges Filho <
> hbor...@icmc.usp.br>
> >
> >
> > Caras e Caros Colegas,
> >
> > Esta é uma lista q

[Logica-l] Fwd: novo prazo de envio das submissões para o WBL 2023

[Jorge Petrucio Viana]

Boas notícias para quem tem interesse em participar deste excelente evento,
mas ainda precisa trabalhar mais no texto!

Workshop Brasileiro de Lógica
https://csbc.sbc.org.br/2023/wbl/
=
O IV Workshop Brasileiro de Lógica (WBL’23) é uma iniciativa do Grupo de
Interesse em Lógica da Sociedade Brasileira de Computação (SBC), numa
parceria com a Sociedade Brasileira de Lógica (SBL). Em sua quarta edição,
seu objetivo é congregar lógicos de diferentes áreas da Computação e em
diferentes estágios da carreira – de estudantes de graduação a
pesquisadores – que desejem apresentar propostas de trabalhos e trabalhos
em andamento. O encontro é um momento importante para a comunidade lógica
brasileira se unir e discutir os desenvolvimentos recentes do campo.

Esta edição será co-alocada com o XLIII Congresso da Sociedade Brasileira
de Computação (CSBC 2023), que ocorre em João Pessoa (PB) entre 23 e
28/07/2023.

Tópicos de interesse

Esta chamada está aberta para trabalhos relacionados à área de lógica e
suas aplicações em diferentes campos da computação, especialmente (mas não
restrito) a:

Assistentes de provas
Frameworks lógicos
Fundamentação da computação, física e matemática
Lógica em inteligência artificial: representação de conhecimento, sistemas
multiagentes, raciocínio não-monotônico, raciocínio sobre conhecimento,
crenças ou ações, etc.
Lógicas não-clássicas
Ontologias
Prova automática de teoremas
SAT solvers
Teoria da prova
Verificação formal de sistemas
Verificação de modelos

Instruções de submissão
===
Artigos a serem submetidos devem ser redigidos no template da SBC (
http://tinyurl.com/sbc-template-artigos ) com tamanho entre 6 (seis) e 8
(oito) páginas.

As submissões devem ser feitas pelo sistema JEMS (
https://jems.sbc.org.br/home.cgi?c=4246 ). Os textos podem ser em inglês ou
em português.

Datas importantes
=
*Limite para submissão de trabalhos: 05/04/2023 (firme)*
Divulgação dos resultados: 20/05/2023
*Envio das versões finais dos artigos: 28/05/2023*
Prazo de inscrição dos autores: 05/06/2023

Inscrição de autores

Para que um artigo aceito seja apresentado e incluído nos anais do evento,
é necessário que ao menos um dos autores do artigo realize a sua inscrição
no evento na categoria profissional. Cada inscrição na categoria
profissional dá direito à publicação de um único artigo, considerando
qualquer um dos eventos-base ou eventos-satélite do CSBC. Autores com mais
de um artigo aprovado em qualquer evento do CSBC deverão pagar uma “taxa de
publicação” por artigo adicional. O valor dessa taxa pode ser visto na
página de inscrições do CSBC 2023.

Publicação de trabalhos
===
Os artigos aceitos serão publicados na SBC Open Lib, a biblioteca digital
da SBC, na série Anais do Workshop Brasileiro de Lógica (WBL), ISSN
2763-8731, disponível em https://sol.sbc.org.br/index.php/wbl. Todos os
artigos serão indexados com DOI.

Auxílio para estudantes
===
TBA

Organização
===
Organizador Geral: Vaston Gonçalves (UFCat)
Organizadoras do Comitê de Programa: Mario Benevides (UFF) e Petrucio Viana
(UFF)

Apoio local
===
TBA

Comitê de programa
==
Aline Andrade (UFBA)
Bruno Lopes (UFF)
Carlos Olarte (UFRN)
Cláudia Nalon (UnB) (Co-Chair)
Daniele Nantes-Sobrinho (UnB)
Edward Hermann Haeusler (PUC-Rio)
Elaine Pimentel (UFRN) (Co-Chair)
Francicleber Ferreira (UFC)
Jefferson Santos (FGV e PUC-Rio)
Marcelo Finger (USP)
Mario Benevides (UFF)
Marlo Souza (UFBA)
Mauricio Ayala-Rincón (UnB)
Renata Wassermann (USP)

Palestrantes convidados
===

TBA

Contato
===
Em caso de dúvidas, entre em contato através dos e-mails: ma...@ic.uff.br e
petruci...@id.uff.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/CACRvmVTa-yo11rYGeB3TTk4di1MTbbwrmyhuufz%3DZQjVRqPyPw%40mail.gmail.com.

[Logica-l] Fwd: novo prazo de envio das submissões para o WBL 2023

[Jorge Petrucio Viana]

Workshop Brasileiro de Lógica
https://csbc.sbc.org.br/2023/wbl/
=
O IV Workshop Brasileiro de Lógica (WBL’23) é uma iniciativa do Grupo de
Interesse em Lógica da Sociedade Brasileira de Computação (SBC), numa
parceria com a Sociedade Brasileira de Lógica (SBL). Em sua quarta edição,
seu objetivo é congregar lógicos de diferentes áreas da Computação e em
diferentes estágios da carreira – de estudantes de graduação a
pesquisadores – que desejem apresentar propostas de trabalhos e trabalhos
em andamento. O encontro é um momento importante para a comunidade lógica
brasileira se unir e discutir os desenvolvimentos recentes do campo.

Esta edição será co-alocada com o XLIII Congresso da Sociedade Brasileira
de Computação (CSBC 2023), que ocorre em João Pessoa (PB) entre 23 e
28/07/2023.

Tópicos de interesse

Esta chamada está aberta para trabalhos relacionados à área de lógica e
suas aplicações em diferentes campos da computação, especialmente (mas não
restrito) a:

Assistentes de provas
Frameworks lógicos
Fundamentação da computação, física e matemática
Lógica em inteligência artificial: representação de conhecimento, sistemas
multiagentes, raciocínio não-monotônico, raciocínio sobre conhecimento,
crenças ou ações, etc.
Lógicas não-clássicas
Ontologias
Prova automática de teoremas
SAT solvers
Teoria da prova
Verificação formal de sistemas
Verificação de modelos

Instruções de submissão
===
Artigos a serem submetidos devem ser redigidos no template da SBC (
http://tinyurl.com/sbc-template-artigos ) com tamanho entre 6 (seis) e 8
(oito) páginas.

As submissões devem ser feitas pelo sistema JEMS (
https://jems.sbc.org.br/home.cgi?c=4246 ). Os textos podem ser em inglês ou
em português.

Datas importantes
=
*Limite para submissão de trabalhos: 20/03/2023*,
Divulgação dos resultados: 05/05/2023,
Envio das versões finais dos artigos: 16/05/2023,
Prazo de inscrição dos autores: 16/05/2023

Inscrição de autores

Para que um artigo aceito seja apresentado e incluído nos anais do evento,
é necessário que ao menos um dos autores do artigo realize a sua inscrição
no evento na categoria profissional. Cada inscrição na categoria
profissional dá direito à publicação de um único artigo, considerando
qualquer um dos eventos-base ou eventos-satélite do CSBC. Autores com mais
de um artigo aprovado em qualquer evento do CSBC deverão pagar uma “taxa de
publicação” por artigo adicional. O valor dessa taxa pode ser visto na
página de inscrições do CSBC 2023.

Publicação de trabalhos
===
Os artigos aceitos serão publicados na SBC Open Lib, a biblioteca digital
da SBC, na série Anais do Workshop Brasileiro de Lógica (WBL), ISSN
2763-8731, disponível em https://sol.sbc.org.br/index.php/wbl. Todos os
artigos serão indexados com DOI.

Auxílio para estudantes
===
TBA

Organização
===
Organizador Geral: Vaston Gonçalves (UFCat)
Organizadoras do Comitê de Programa: Mario Benevides (UFF) e Petrucio Viana
(UFF)

Apoio local
===
TBA

Comitê de programa
==
Aline Andrade (UFBA)
Bruno Lopes (UFF)
Carlos Olarte (UFRN)
Cláudia Nalon (UnB) (Co-Chair)
Daniele Nantes-Sobrinho (UnB)
Edward Hermann Haeusler (PUC-Rio)
Elaine Pimentel (UFRN) (Co-Chair)
Francicleber Ferreira (UFC)
Jefferson Santos (FGV e PUC-Rio)
Marcelo Finger (USP)
Mario Benevides (UFF)
Marlo Souza (UFBA)
Mauricio Ayala-Rincón (UnB)
Renata Wassermann (USP)

Palestrantes convidados
===

TBA

Contato
===
Em caso de dúvidas, entre em contato através dos e-mails: ma...@ic.uff.br e
petruci...@id.uff.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/CACRvmVSYLycc-jR9r4jJs2LyRiKaxKqW_FGuDJjr-BRcPGB3Jg%40mail.gmail.com.

[Logica-l] novo prazo de envio das submissões para o WBL 2023

[Jorge Petrucio Viana]

Workshop Brasileiro de Lógica
https://csbc.sbc.org.br/2023/wbl/
=
O IV Workshop Brasileiro de Lógica (WBL’23) é uma iniciativa do Grupo de
Interesse em Lógica da Sociedade Brasileira de Computação (SBC), numa
parceria com a Sociedade Brasileira de Lógica (SBL). Em sua quarta edição,
seu objetivo é congregar lógicos de diferentes áreas da Computação e em
diferentes estágios da carreira – de estudantes de graduação a
pesquisadores – que desejem apresentar propostas de trabalhos e trabalhos
em andamento. O encontro é um momento importante para a comunidade lógica
brasileira se unir e discutir os desenvolvimentos recentes do campo.

Esta edição será co-alocada com o XLIII Congresso da Sociedade Brasileira
de Computação (CSBC 2023), que ocorre em João Pessoa (PB) entre 23 e
28/07/2023.

Tópicos de interesse

Esta chamada está aberta para trabalhos relacionados à área de lógica e
suas aplicações em diferentes campos da computação, especialmente (mas não
restrito) a:

Assistentes de provas
Frameworks lógicos
Fundamentação da computação, física e matemática
Lógica em inteligência artificial: representação de conhecimento, sistemas
multiagentes, raciocínio não-monotônico, raciocínio sobre conhecimento,
crenças ou ações, etc.
Lógicas não-clássicas
Ontologias
Prova automática de teoremas
SAT solvers
Teoria da prova
Verificação formal de sistemas
Verificação de modelos

Instruções de submissão
===
Artigos a serem submetidos devem ser redigidos no template da SBC (
http://tinyurl.com/sbc-template-artigos ) com tamanho entre 6 (seis) e 8
(oito) páginas.

As submissões devem ser feitas pelo sistema JEMS (
https://jems.sbc.org.br/home.cgi?c=4246 ). Os textos podem ser em inglês ou
em português.

Datas importantes
=
*Limite para submissão de trabalhos: 20/03/2023*,
Divulgação dos resultados: 05/05/2023,
Envio das versões finais dos artigos: 16/05/2023,
Prazo de inscrição dos autores: 16/05/2023

Inscrição de autores

Para que um artigo aceito seja apresentado e incluído nos anais do evento,
é necessário que ao menos um dos autores do artigo realize a sua inscrição
no evento na categoria profissional. Cada inscrição na categoria
profissional dá direito à publicação de um único artigo, considerando
qualquer um dos eventos-base ou eventos-satélite do CSBC. Autores com mais
de um artigo aprovado em qualquer evento do CSBC deverão pagar uma “taxa de
publicação” por artigo adicional. O valor dessa taxa pode ser visto na
página de inscrições do CSBC 2023.

Publicação de trabalhos
===
Os artigos aceitos serão publicados na SBC Open Lib, a biblioteca digital
da SBC, na série Anais do Workshop Brasileiro de Lógica (WBL), ISSN
2763-8731, disponível em https://sol.sbc.org.br/index.php/wbl. Todos os
artigos serão indexados com DOI.

Auxílio para estudantes
===
TBA

Organização
===
Organizador Geral: Vaston Gonçalves (UFCat)
Organizadoras do Comitê de Programa: Mario Benevides (UFF) e Petrucio Viana
(UFF)

Apoio local
===
TBA

Comitê de programa
==
Aline Andrade (UFBA)
Bruno Lopes (UFF)
Carlos Olarte (UFRN)
Cláudia Nalon (UnB) (Co-Chair)
Daniele Nantes-Sobrinho (UnB)
Edward Hermann Haeusler (PUC-Rio)
Elaine Pimentel (UFRN) (Co-Chair)
Francicleber Ferreira (UFC)
Jefferson Santos (FGV e PUC-Rio)
Marcelo Finger (USP)
Mario Benevides (UFF)
Marlo Souza (UFBA)
Mauricio Ayala-Rincón (UnB)
Renata Wassermann (USP)

Palestrantes convidados
===

TBA

Contato
===
Em caso de dúvidas, entre em contato através dos e-mails: ma...@ic.uff.br e
petruci...@id.uff.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/CACRvmVRFaZXmHg_uM7xP7PCH%2BE%2Bp_Wzv9TwfPOo1YUB9cMQWNw%40mail.gmail.com.

Re: [Logica-l] [OFF] ruído branco entre Herzog e Zizek

[Jorge Petrucio Viana]

Boa tarde!

Sei que não está diretamente ligado, mas essa postagem me lembrou do
Infinite Cat Project:

https://www.petside.com/infinite-cat/

abraços
P



Em qui., 19 de jan. de 2023 às 02:14, Julio Stern 
escreveu:

>
> Genial! e Assustador!
> O Joao Marcos me fez perder o sono!
>
> A 1a impressao eh a de estar ouvindo uma conversa real entre ambos.
> Uma familiaridade com as ideias, apresentadas de forma coherente e bem
> concatenada,
> com o sotaque e a voz de cada um, e de uma esperada "profundidade" das
> ideias
> apresentadas pelo seu personagem favorito (no meu caso, o Herzog).
> Ouvindo o dialogo, me vieram aa memoria algumas imagens do Herz aus Glas.
>
> Depois de algum tempo (1 minuto?) a nevoa se dissipa, e fica claro o
> Lero-Lero.
> A `` Perfeicao da Forma''  contrasta com o ``Vazio de Conteudo''.
>
> A experiencia me levou a refletir sobre o progresso de IA e seus perigos,
> mas igualmente me levou a refletir sobre a seriedade e qualidade
> necessaria
> aa Arte, Ciencia, e Filosofia que fazemos ou queremos fazer em nossas
> vidas.
>
> Saudacoes insomnes e
> Tudo de bom,  ---Julio Stern
>
> --
> *From:* logica-l@dimap.ufrn.br  on behalf of Joao
> Marcos 
> *Sent:* Thursday, January 19, 2023 2:26 AM
> *To:* Lista acadêmica brasileira dos profissionais e estudantes da área
> de LOGICA 
> *Subject:* [Logica-l] [OFF] ruído branco entre Herzog e Zizek
>
> Caso alguém mais esteja precisando de ajuda para cair no sono:
> https://infiniteconversation.com/
> (muito interessante mesmo!)
>
> Explicação do autor:
>
> https://www.scientificamerican.com/article/what-an-endless-conversation-with-werner-herzog-can-teach-us-about-ai/
>
>
> JM
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L"
> dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjcCS4canZfB2i9%3DqzE9i8ZATYCE_MjdjDCRW%2BkzawNjg%40mail.gmail.com
> .
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para 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/CPYP284MB1431E93EBA4C6340B9249051B6C49%40CPYP284MB1431.BRAP284.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/CACRvmVTY3U3SroF-O-83ESm7O%3Dn_h4XfGMrWg739e_O7PS_vGA%40mail.gmail.com.

Re: [Logica-l] Já é Dia Mundial da Lógica na Austrália!

[Jorge Petrucio Viana]

E como diria o Grande Mago, Samuel: A Vida é o que acontece entre dois EBLs!

Em sex., 13 de jan. de 2023 às 17:01, Elaine Pimentel <
elaine.pimen...@gmail.com> escreveu:

> E, para comemorar, a SBL decidiu antecipar o lançamento da nossa
> iniciativa: "O primeiro EBL a gente nunca esquece!".
>
> A playlist já está no ar em:
>
> https://youtube.com/playlist?list=PLFURnt5EmcO1j5qE1PAd7IOHZsiAa6s_K
>
> O lançamento do projeto conta com os vídeos de: João Mendes, Evelyn
> Erickson, José Henrique Franco, Lídia Batinga e Elaine Pimentel. Se você
> quiser deixar a sua colaboração, basta nos enviar o vídeo, não há prazo
> limite.
>
> A iniciativa está listada na página do WLD 2023, organizado pelo CIPSH:
>
> https://wld.cipsh.international/wld2023.html
>
> Abraços lógicos,
>
> A Diretoria.
> --
> Sociedade Brasileira de Lógica
> http://sbl.org.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/CAHQVs%2BVeqggnk07cpDx2DkR8W1m93%2BEk3Nmdymy4Cf3KPMjm%3DA%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/CACRvmVT-WunG4XZvtiecjCwNPN0EeJMciejVyKz8KNHBiufFPA%40mail.gmail.com.

[Logica-l] lógica nos começos de romances

[Jorge Petrucio Viana]

Bom dia!

Achei curioso observar que estes autores se referem (direta e
indiretamente) a lógica na abertura de seus romances.

Talvez vocês conheçam mais exemplos...

A Lua Vem da Ásia, de Campos de Carvalho
Aos 16 anos matei meu professor de lógica. Invocando a legítima defesa — e
qual defesa seria mais legítima? — logrei ser absolvido por cinco votos a
dois, e fui morar sob uma ponte do Sena, embora nunca tenha estado em Paris.

O Amanuense Belmiro, de Cyro dos AnjosAli pelo oitavo chope, chegamos à
conclusão de que todos os problemas eram insolúveis. Florêncio propôs,
então, um nono, argumentando que outro copo talvez trouxesse a solução
geral.
abraços
P

-- 
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/CACRvmVT-CjfDxpwHcfy1%3DAmn3n44O6FoVMzxRsL9NSr0j0kEsQ%40mail.gmail.com.

[Logica-l] Fwd: Seleção de substitutos - Instituto de Computação (IC-UFRJ)

[Jorge Petrucio Viana]

Talvez interesse a alguém da lista...

Só recebi hoje!

P

-- Forwarded message -
From: Hugo Nobrega 
Date: Mon, Dec 19, 2022 at 10:20 AM
Subject: Seleção de substitutos - Instituto de Computação (IC-UFRJ)
To: 

Prezados,

O Instituto de Computação da UFRJ (IC-UFRJ) está com inscrições abertas
para processos seletivos simplificados para professor substituto em regime
de 20h. *São diversas vagas e as inscrições vão somente até as 17h do dia
20/12.*

Edital nº 885, de 7 de dezembro de 2022
https://www.in.gov.br/web/dou/-/edital-n-885-de-7-de-dezembro-de-2022-450770892

As normas complementares de cada processo seletivo têm as informações
específicas como calendário das provas e seus respectivos programas.

PSS-024 (Programação em Python - 3 vagas)
https://drive.google.com/file/d/13_RNqmYRBhCV3CYbAq7GowVc7W0YkbSn

PSS-025 (Programação em C, C++ e Java - 2 vagas)
https://drive.google.com/file/d/1n0Y4bpib5Scg8n0qNUIEzeAbFbOYUuj2

PSS-026 (Cálculo Numérico e Cálculo - 1 vaga).
https://drive.google.com/file/d/1sKHrhlWLRNt74FowJv8SQrkShLyjXUcR

Todas as informações oficiais do processo se encontram no site de concursos
da UFRJ:
https://concursos.pr4.ufrj.br/index.php/3-concursos/concursos-em-andamento/602-edital-n-885-de-7-de-dezembro-de-2022

Por favor, pedimos que ajudem a divulgar amplamente.

Abraços,
Hugo Nobrega
Vice-chefe do Departamento de Computação
IC/CCMN/UFRJ

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

[Logica-l] Fwd: extensão do prazo de envio dos trabalhos para o PNdaC

[Jorge Petrucio Viana]

Cara comunidade lógica,
um link  e um lembrete.

Boa semana!
P

Devido a pedidos, resolvemos estender o prazo para envio de trabalhos para
a edição de 2022 do Prêmio de Lógica "Newton da Costa".

A nova data para envios é

*** 14 de novembro de 2022 ***

No mais, as diretrizes continuam as mesmas e podem ser conferidas em
http://sbl.org.br/pmwiki.php/PNC/HomePage.


Dúvidas devem ser enviadas por e-mail para cont...@sbl.org.br

Atenciosamente, Petrucio Viana (em nome da SBL)

-- 
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/CACRvmVRhXf0C1tEdzLnczn7XAn2z%2B2P%2B2MQ3GLA8ADEHi824sA%40mail.gmail.com.

[Logica-l] extensão do prazo de envio dos trabalhos para o PNdaC

[Jorge Petrucio Viana]

Cara comunidade lógica,
devido a pedidos, resolvemos estender o prazo para envio de trabalhos para
a edição de 2022 do Prêmio de Lógica "Newton da Costa".

A nova data para envios é

*** 14 de novembro de 2022 ***

No mais, as diretrizes continuam as mesmas e podem ser conferidas em
http://sbl.org.br/pmwiki.php/PNC/HomePage.


Dúvidas devem ser enviadas por e-mail para cont...@sbl.org.br

Atenciosamente, Petrucio Viana (em nome da SBL)

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

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

[Jorge Petrucio Viana]

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

abraços
P

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

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

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

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

[Logica-l] Fwd: Diagrams 2022 Call for Participation

[Jorge Petrucio Viana]

*** Call for Participation: Diagrams 2022 ***

The *13th International Conference on the Theory and Application of
Diagrams* will take place in September 2022 in Rome, Italy.

The main conference will be held on *September 14 – 16*, but will be
accompanied by several *tutorials and a workshop on September 13*, as
well as the *Graduate Symposium on September 17*.

Registration to the conference allows participation in all parts of the
conference.

Diagrams 2022 is co-located with VL/HCC, and shares a keynote and one
paper session on September 14.

We are happy to have secured several well-known and prestigious keynote
speakers:

September 14: Gem Stapleton: “The Power of Diagrams: Observation,
Inference and Overspecificity”
September 15: Sun-Joo Shin: “Visual Representation and Abductive Reasoning”

Additionally, the Graduate Symposium will include an Inspirational Talk by
Lorenz Demey: “From Aristotelian Diagrams to Logical Geometry”

The registration can be found at
http://www.diagrams-conference.org/2022/index.php/registration/

Early registration is possible until August 21, 2022.

More details, including the concrete program, can be found at
www.diagrams-conference.org/2022

-- 
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/CACRvmVQ1tXjD1iWQmz2-FFmD3mfC-09Oue7T7JUoJW-OEBLcxw%40mail.gmail.com.

[Logica-l] Fwd: [diagrams-list] DEADLINE EXTENDED for Graduate Symposium | DIAGRAMS 202

[Jorge Petrucio Viana]

*BREAKING NEWS: The deadline has been EXTENDED for the Diagrams 2022
Graduate Symposium!*
http://www.diagrams-conference.org/2022/index.php/calls/graduate-symposium/

The Graduate Symposium offers senior graduate students and recent Masters
and Doctoral graduates the opportunity to present their research.
Established researchers will provide feedback and comments on each of the
presentations, and students will have the opportunity to network with each
other as future colleagues.

Participants will be selected for the Graduate Symposium based on the
submission of a 3-page report describing their research (details given
below). Submissions will be peer reviewed. Authors of accepted submissions
will be expected to be in attendance at the virtual conference to present
their research and respond to questions presented by delegates. Students
who submit to the graduate symposium must ask their main or lead supervisor
to submit a short supporting statement (see website for details).


*Important Dates for Graduate Symposium*Submission Deadline: *June 6,
2022 June 21st*
Supervisor statement deadline: *June 13, 2022 **June 23rd*
Notification: *July 18, 2022*
Camera-Ready: *August 11, 2022*

*Conference Dates (Rome, Italy)*
Workshops & Tutorials : *September 13, 2022*
Main Conference : *September 14-16, 2022*
Graduate Symposium  : *September 17, 2022*

*All important dates and information can be found
at www.diagrams-conference.org/2022
*
We look forward to seeing you in Rome!

-- 
*Publicity Chair, Diagrams Conference 2022*
Amy Rae Fox (she / her) 
PhD Candidate
Cognitive Science, UC San Diego
www.amyraefox.com  @thoughtafox 

-- 
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/CACRvmVSsQ%3D%3D7NXcnJ4NkvBXt-muDRnAS41HOoMWF0GvhaAAFHA%40mail.gmail.com.

Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem

[Jorge Petrucio Viana]

Será que Davey e Priestley iriam dar esse mole?

Tá lá na página 20: ↓x = { y ∈ P | y ≤ x }.



Em sex., 3 de jun. de 2022 às 11:51, samuel  escreveu:

> Olá,
>
> Mas Davey/Priestley inclui o x ou não ? Porque até onde me lembre o down
> set de x pega o x próprio e todos abaixo, o Cláudio
> aí não quer pegar o x.
>
> Abraço
>
> []s  Samuel
>
> Em sexta-feira, 3 de junho de 2022 às 10:43:28 UTC-4, Petrucio Viana
> escreveu:
>
>> Bom dia!
>>
>> Na "nova bíblia" sobre reticulados e ordens
>>
>> Introduction to Lattices and Orders (2nd ed)
>> Davey and Priestley
>> CUP 2002
>>
>> que contém um capítulo sobre teoria dos domínios, esse conjunto é chamado
>> "down x".
>> No texto, o conceito "down set" é definido, depois o conceito "down Q" e,
>> finalmente, este último particularizado para "down x", quando Q = { x }
>> (página. 20).
>>
>> saudações lógicas,
>> P
>>
>>
>> Em sex., 3 de jun. de 2022 às 11:10, Claudio Callejas <
>> ccalleja...@gmail.com> escreveu:
>>
>>> Bom dia,
>>>
>>> Obrigado Samuel e João Marcos pelas respostas.
>>>
>>> Samuel, você poderia, por favor, me enviar uma referência da área de
>>> teoria dos conjuntos onde esteja definido o termo predecessores de x no
>>> conjunto ordenado (a,r)? Gostaria de citar essa referência no meu trabalho.
>>>
>>> O termo predecessores de x no conjunto ordenado (a,r) e a notação
>>> pred(a,x,r) fogem muito da terminologia das área de reticulados e teoria
>>> dos domínios, mas à falta de nome e notação para esse conceito nestas duas
>>> últimas áreas eu gostaria de sinalizar no meu trabalho que na área de
>>> teoria dos conjuntos o termo é chamado de predecessores de x, mas que eu
>>> irei chamá-lo de "right-open principal ideal generated by x" (estou
>>> adaptando a proposta de nome de João Marcos e trazendo a atenção que se
>>> parece ao conceito de ideal principal gerado por x). Enquanto à notação vou
>>> ter que pensar em algum tipo de seta, porque é a práxis da área.
>>>
>>> De toda forma, se outro membro da lista conhece algum nome e notação
>>> para o conjunto {y \in P : y>> e x é um elemento de P, eu lhe agradeceria se pudesse me informar.
>>>
>>> Abraços,
>>> Claudio Callejas.
>>>
>>> El vie, 3 jun 2022 a las 10:07, samuel () escribió:
>>>
 Olá,

 Sim, por isso eu comentei que era uma notação bastante usada em teoria
 de conjuntos. Quando a gente vai pra topologia por exemplo a gente costuma
 chamar esse tipo de coisas de semi-retas ! E aí gera a topologia da ordem
 tomando a família das semi-retas, nos dois sentidos, como subbase.

 Possivelmente no contexto que o Claudio procura já tenha uma
 terminologia específica.

 Até

 []s  Samuel

 Em sexta-feira, 3 de junho de 2022 às 09:03:25 UTC-4, Joao Marcos
 escreveu:

> Em teoria dos conjuntos costumamos usar pred(a,x,r), predecessores de
>> x no conjunto ordenado (a,r), para esse conjunto ao qual você
>> se refere.
>>
>> Fazemos isso mais normalmente para ordens lineares, mas não vejo
>> porque não usar a mesma notação se a ordem não for linear.
>>
>
> No caso de uma ordem linear r isto também poderia ser chamado (mais
> comumente?) de "right-open interval (bounded on x)", não?
>
> []s, Joao Marcos
>
> --
> http://sequiturquodlibet.googlepages.com/
>
 --
>>>
>> LOGICA-L
>>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>>> Lógica 
>>> ---
>>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
>>> Grupos do Google.
>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
>>> envie um e-mail para logica-l+u...@dimap.ufrn.br.
>>>
>> Para ver essa discussão na Web, acesse
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAE_57e09pM4dEv5dgXxuTny9%3Dan6MVoJ%2BPmO_o42P8fTtUqQyQ%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/CACRvmVT2ySgdR_8Pe77frQb0irEV3-MqeDuhkyadMH9OPsaOYQ%40mail.gmail.com.

Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem

[Jorge Petrucio Viana]

Bom dia!

Na "nova bíblia" sobre reticulados e ordens

Introduction to Lattices and Orders (2nd ed)
Davey and Priestley
CUP 2002

que contém um capítulo sobre teoria dos domínios, esse conjunto é chamado
"down x".
No texto, o conceito "down set" é definido, depois o conceito "down Q" e,
finalmente, este último particularizado para "down x", quando Q = { x }
(página. 20).

saudações lógicas,
P


Em sex., 3 de jun. de 2022 às 11:10, Claudio Callejas <
ccallejas.olg...@gmail.com> escreveu:

> Bom dia,
>
> Obrigado Samuel e João Marcos pelas respostas.
>
> Samuel, você poderia, por favor, me enviar uma referência da área de
> teoria dos conjuntos onde esteja definido o termo predecessores de x no
> conjunto ordenado (a,r)? Gostaria de citar essa referência no meu trabalho.
>
> O termo predecessores de x no conjunto ordenado (a,r) e a notação
> pred(a,x,r) fogem muito da terminologia das área de reticulados e teoria
> dos domínios, mas à falta de nome e notação para esse conceito nestas duas
> últimas áreas eu gostaria de sinalizar no meu trabalho que na área de
> teoria dos conjuntos o termo é chamado de predecessores de x, mas que eu
> irei chamá-lo de "right-open principal ideal generated by x" (estou
> adaptando a proposta de nome de João Marcos e trazendo a atenção que se
> parece ao conceito de ideal principal gerado por x). Enquanto à notação vou
> ter que pensar em algum tipo de seta, porque é a práxis da área.
>
> De toda forma, se outro membro da lista conhece algum nome e notação para
> o conjunto {y \in P : y é um elemento de P, eu lhe agradeceria se pudesse me informar.
>
> Abraços,
> Claudio Callejas.
>
> El vie, 3 jun 2022 a las 10:07, samuel () escribió:
>
>> Olá,
>>
>> Sim, por isso eu comentei que era uma notação bastante usada em teoria de
>> conjuntos. Quando a gente vai pra topologia por exemplo a gente costuma
>> chamar esse tipo de coisas de semi-retas ! E aí gera a topologia da ordem
>> tomando a família das semi-retas, nos dois sentidos, como subbase.
>>
>> Possivelmente no contexto que o Claudio procura já tenha uma terminologia
>> específica.
>>
>> Até
>>
>> []s  Samuel
>>
>> Em sexta-feira, 3 de junho de 2022 às 09:03:25 UTC-4, Joao Marcos
>> escreveu:
>>
>>> Em teoria dos conjuntos costumamos usar pred(a,x,r), predecessores de x
 no conjunto ordenado (a,r), para esse conjunto ao qual você
 se refere.

 Fazemos isso mais normalmente para ordens lineares, mas não vejo porque
 não usar a mesma notação se a ordem não for linear.

>>>
>>> No caso de uma ordem linear r isto também poderia ser chamado (mais
>>> comumente?) de "right-open interval (bounded on x)", não?
>>>
>>> []s, Joao Marcos
>>>
>>> --
>>> http://sequiturquodlibet.googlepages.com/
>>>
>> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAE_57e09pM4dEv5dgXxuTny9%3Dan6MVoJ%2BPmO_o42P8fTtUqQyQ%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/CACRvmVQ9uQZ39irW6KerzRySddtpODemRgFPQBKRnopRC%3D0Nrg%40mail.gmail.com.

[Logica-l] Fwd: [diagrams-list] Call for Graduate Symposium | DIAGRAMS 2022

[Jorge Petrucio Viana]

*REMINDER: Deadlines for the Diagrams 2022 Graduate Symposium is coming
soon! *
http://www.diagrams-conference.org/2022/index.php/calls/graduate-symposium/

The Graduate Symposium offers senior graduate students and recent Masters
and Doctoral graduates  the opportunity to present their research.
Established researchers will provide feedback and comments on each of the
presentations, and students will have the opportunity to network with each
other as future colleagues.

Participants will be selected for the Graduate Symposium based on the
submission of a 3-page report describing their research (details given
below). Submissions will be peer reviewed. Authors of accepted submissions
will be expected to be in attendance at the virtual conference to present
their research and respond to questions presented by delegates. Students
who submit to the graduate symposium must ask their main or lead supervisor
to submit a short supporting statement (see website for details).


*Important Dates for Graduate Symposium*Submission Deadline: *June 6, 2022*
Supervisor statement deadline: *June 13, 2022*
Notification: *July 18, 2022*
Camera-Ready: *August 11, 2022*

*Conference Dates (Rome, Italy)*
Workshops & Tutorials : *September 13, 2022*
Main Conference : *September 14-16, 2022*
Graduate Symposium  : *September 17, 2022*

*All important dates and information can be found
at www.diagrams-conference.org/2022
*
We look forward to seeing you in Rome!

-- 
*Publicity Chair, Diagrams Conference 2022*
Amy Rae Fox (she / her) 
PhD Candidate
Cognitive Science, UC San Diego
www.amyraefox.com  @thoughtafox 

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

[Logica-l] Fwd: [diagrams-list] Deadlines Extended | DIAGRAMS 2022

[Jorge Petrucio Viana]

*BREAKING NEWS: Deadlines for Diagrams 2022 have been extended by up to two
weeks! *
*It's not too late to start planning and writing your paper for Diagrams
2022 paper, poster or abstract.  *

Note that as a multidisciplinary conference, we offer multiple submission
tracks, as well as both archival and non-archival publishing options to
accommodate publishing conventions across disciplines. See CFPs here:
*www.diagrams-conference.org/2022
*

*Important Dates*
Workshop/Tutorials : March 6th, 2022
Pre-submission of title & abstract : March 17, 2022 now --> *March 31*
Long Papers and Short Papers (full) : March 24, 2022 now --> * April 7*
Abstracts and Posters categories (full) March 31, 2022 now --> *April 7 *

*Conference Dates (Rome, Italy)*
Workshops & Tutorials : September 13, 2022
Main Conference : September 14-16, 2022
Graduate Symposium  : September 17, 2022

*All important dates and information can be found
at www.diagrams-conference.org/2022
*
*Details about our Graduate Symposium coming soon!*
We look forward to seeing you in Rome!

-- 
*Publicity Chair, Diagrams Conference 2022*
Amy Rae Fox (she / her) 
PhD Candidate
Cognitive Science, UC San Diego
www.amyraefox.com  @thoughtafox 

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

[Logica-l] Fwd: [diagrams-list] CORRECTION to Second Call For Papers | DIAGRAMS 2022

[Jorge Petrucio Viana]

***NOTE** Our previous notice erroneously indicated the paper deadline was
March 6. The actual paper deadline is March 24 (abstract submission March
17).  Proposals for workshops and tutorials are requested by March 6th. *

*Clarification of Deadlines*
Workshop/Tutorials : March 6th, 2022
Pre-submission of title & abstract : March 17, 2022
Long Papers and Short Papers (full) : March 24, 2022
Abstracts and Posters categories (full) March 31, 2022

*Conference Dates (Rome, Italy)*
Workshops & Tutorials : September 13, 2022
Main Conference : September 14-16, 2022
Graduate Symposium  : September 17, 2022

*All important dates and information can be found
at www.diagrams-conference.org/2022
*

-- 
*Publicity Chair, Diagrams Conference 2022*
Amy Rae Fox (she / her) 
PhD Candidate
Cognitive Science, UC San Diego
www.amyraefox.com  @thoughtafox 

-- 
You received this message because you are subscribed to the Google Groups
"Public mail list for Diagrams Conference Series" group.
To unsubscribe from this group and stop receiving emails from it, send an
email to diagrams-list+unsubscr...@diagrams-conference.org.
To view this discussion on the web visit
https://groups.google.com/a/diagrams-conference.org/d/msgid/diagrams-list/CAP6CdH0HKBzqQbjukhxKHJRCsRA5NB%2BWe3fnKNEEbzi5E-gULg%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/CACRvmVQUQRS2T2C0%2BwLoTYsDXE5sX9oFVzacTybnU-aCMuPLZA%40mail.gmail.com.

[Logica-l] Fwd: [diagrams-list] Second Call For Papers | DIAGRAMS 2022

[Jorge Petrucio Viana]

*TL;DR: Paper deadline for DIAGRAMS 2022 is March 6th*

www.diagrams-conference.org/2022


*We are planning to hold the event in presence, but of course we
are monitoring the situation of the COVID-19 pandemic. In particular,
we observe the regulations of the Italian authorities into account and
will take any actions necessary.** ***2nd Call for Papers: Diagrams 2022


*13th International Conference on the Theory and Application of Diagrams*

*September 14 – 16, 2022 in Rome, Italy*

Diagrams solicits research contributions falling within the scope of the
conference, to be submitted to one of three tracks:

   -

   Main track
   -

   Philosophy of Diagrams track
   -

   Psychology and Education track


Diagrams is the only conference series that provides a united forum for all
areas that are concerned with the study of diagrams and has a
multidisciplinary emphasis.

For 2022, the main track topics include, but are not limited to:

– applications of diagrams,

– computational models of reasoning with, and interpretation of, diagrams,

– design of diagrammatic notations,

– diagram understanding by humans or machines,

– diagram aesthetics and layout,

– educational uses of diagrams (separate call),

– evaluation of diagrammatic notations,

– graphical communication and literacy,

– heterogeneous notations involving diagrams,

– history of diagrammatic notations,

– information visualization using diagrams,

– nature of diagrams and diagramming,

– novel technologies for diagram use,

– philosophy of diagrams (separate call),

– psychological issues pertaining to diagrams (separate call),

– reasoning with diagrams,

– semiotics of diagrams,

– software to support the use of diagrams, and

– usability and human-computer interaction issues concerning diagrams.

– linguistics of diagrams


In addition to the main track, Diagrams 2022 will have two special tracks:
Philosophy,
and Psychology & Education. For more information on the respective tracks,
see

http://www.diagrams-conference.org/2022/index.php/calls/main/

http://www.diagrams-conference.org/2022/index.php/calls/philosophy/

http://www.diagrams-conference.org/2022/index.php/calls/psychology-of-diagrams/

If the main research contribution of your submission is considered to be on
either of these themes then you are strongly encouraged to submit to the
respective special track, each of which has a dedicated program committee.

At least one author of each accepted submission will be expected to be in
attendance at the conference to present their research and respond to
questions presented by delegates.



*Submission Categories*

The conference will include presentations of refereed Papers, Abstracts,
and Posters, alongside a graduate symposium.

We invite submissions for peer review that focus on any aspect of diagrams
research, as follows:

   -

   Long Papers (16 pages)
   -

   Abstracts (3 pages)
   -

   Short Papers (8 pages)
   -

   Posters (4 pages – this is both a maximum and minimum requirement)

All submissions should include diagrams where appropriate.



*How to Submit*

Submissions should be made by the respective deadline
 via EasyChair:
https://easychair.org/my/conference?conf=diagrams2022

*More details and all important dates can be found at
www.diagrams-conference.org/2022 *

-- 
*Publicity Chair, Diagrams Conference 2022*
Amy Rae Fox (she / her) 
PhD Candidate
Cognitive Science, UC San Diego
www.amyraefox.com  @thoughtafox 

-- 
You received this message because you are subscribed to the Google Groups
"Public mail list for Diagrams Conference Series" group.
To unsubscribe from this group and stop receiving emails from it, send an
email to diagrams-list+unsubscr...@diagrams-conference.org.
To view this discussion on the web visit
https://groups.google.com/a/diagrams-conference.org/d/msgid/diagrams-list/CAP6CdH238whjvqq7FZ%2BusA5PnrDkfY6cLmNMCzM411%2BeKa%2BakA%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/CACRvmVS9Cijm81XmH3H99sott4P_zoffg%3DZUDb%3DPbMvv17nDpA%40mail.gmail

[Logica-l] Fwd: [diagrams-list] Call for Tutorials & Workshops | DIAGRAMS 2022

[Jorge Petrucio Viana]

*TL;DR: deadline for workshops & tutorials MARCH 6 (DIAGRAMS 2022 )*

 Call for Workshops and Tutorials: Diagrams 2022 

13th International Conference on the Theory and Application of Diagrams

September 14 – 16, 2022 in Rome, Italy

Diagrams is an international interdisciplinary conference series, covering
all aspects of research on the theory and application of diagrams.

We invite proposals for half-day or full-day workshops. These workshops
will be held before the main conference, and take place at the main
conference venue.

We also invite proposals for tutorials of 1.5 hours in length. Tutorials
are expected to address topics that are of interest to the Diagrams 2022
conference attendees.

Tutorials differ from workshops in that they do not solicit contributions
from attendees. Previously, attendees have particularly enjoyed tutorials
that are interactive and spark debate.

Workshops and  Tutorials are expected to address topics that are of
interest to the Diagrams 2022 conference attendees. Please refer to the
calls for the three tracks for their associated list of topics:

http://www.diagrams-conference.org/2022/index.php/calls/main-track/

http://www.diagrams-conference.org/2022/index.php/calls/philosophy/

http://www.diagrams-conference.org/2022/index.php/calls/psychology-of-diagrams/

———-

Submission of Workshop Proposals

———-

A workshop proposal must contain:

1. A single page listing

a. the title of the workshop

b. the names and contact information for all organizers

c. a brief biography of the main organizer

d. the anticipated duration of the workshop (half- or full-day)

2. A description of the topic and rationale for the workshop, including a
brief description of why the workshop will be relevant to Diagrams 2022
conference attendees.

3. A Call for Participation document of up to 500 words that can be used to
advertise the workshop on the Diagrams 2022 conference website.

Workshop organizers are expected to distribute their call for papers and
solicit papers for submission. Workshop organisers must ensure that paper
submission deadlines are at least two weeks after those for the main
conference. In addition, they are encouraged to set submission deadlines
after the notification date for Diagram 2022 papers (i.e. May 31, 2022).
They must also notify authors of acceptance before the early registration
deadline (mid of August, 2022).

———-

Submission of Tutorial Proposals

———-

A tutorial proposal must contain:

   1.

   A single page listing: the title of the tutorial, the names and contact
   information for all organizers, and brief biographies of the main
   organizers.
   2.

   A description of the topic and rationale for the tutorial, including a
   brief description of why the tutorial will be relevant to Diagrams 2022
   conference attendees.
   3.

   Information on any requirements for delivering the tutorial. This could
   include, for example, the use of a whiteboard or other materials.
   4.

   An abstract, of up to 500 words, describing the tutorial that can be
   used to advertise the tutorial on the Diagrams 2022 website.

———-

How to Submit a Proposal

———-

Submissions should be made by 6th March 2022 via EasyChair:

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

Please choose the track “Workshops and Tutorials” for your submission.

———-

Important Dates

———-

Workshop and Tutorial proposal submissions 6th March 2022

Notification 13th March 2022

———-

For more information please contact the Diagrams 2022 Senior Program Chair:
Sven Linker s.linker’@’lancaster.ac.uk
-- 
*Publicity Chair, Diagrams Conference 2022*
Amy Rae Fox (she / her) 
PhD Candidate
Cognitive Science, UC San Diego
www.amyraefox.com  @thoughtafox 

-- 
You received this message because you are subscribed to the Google Groups
"Public mail list for Diagrams Conference Series" group.
To unsubscribe from this group and stop receiving emails from it, send an
email to diagrams-list+unsubscr...@diagrams-conference.org.
To view this discussion on the web visit
https://groups.google.com/a/diagrams-conference.org/d/msgid/diagrams-list/CAP6CdH3yHtcVWVTPt2geZK_vn%3DR5bNjxir%2B%3DKLfhcW8s4oLv5A%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 w

[Logica-l] Fwd: I Encontro Brasileiro em Teoria das Categorias: 25 a 29 de janeiro

[Jorge Petrucio Viana]

Boa tarde!

Repassando uma mensagem do Hugo Mariano (IME-USP).
Espero que ele não se importe...

abraços
Petrucio

xxx

Caros colegas e estudantes,

Divulgo que o I Encontro Brasileiro de Teoria das Categorias ocorrerá
(remotamente) entre 25 e 29 de janeiro.

Para poder assistir as apresentações é necessário realizar  sua
inscrição no evento. Estas são gratuitas e estão abertas a todos os
interessados até dia 24/01/2021 em
https://encontrocategorico.mat.br/inscricoes-pagina/

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

[Logica-l] Fwd: CFP: Diagrams 2021

[Jorge Petrucio Viana]

-- Forwarded message -
De: Mikkel Willum Johansen 
Date: seg., 4 de jan. de 2021 às 22:31
Subject: CFP: Diagrams 2021
To: f...@cs.nyu.edu 

Hi,


The twelfth DIAGRAMS conference will take place online in September 2021.
Due to the online format registration is free 😊



It accepts papers and abstracts from all areas of diagram research, but has
a special track for philosophy of diagrams. Usually mathematical diagrams
are heavily represented.

Please find its CFP bellow and at the following page:

http://www.diagrams-conference.org/2021/



The deadline for the pre-submission of all abstracts is April 1, 2021.



I hope to see a lot of you there!



Best,

Mikkel W. Johansen (publicity chair of Diagrams)



*



*** Call for Papers: Diagrams 2021 ***



12th International Conference on the Theory and Application of Diagrams

September 28 – 30, 2021

Virtual Event

www.diagrams-conference.org/2021



*** Highlights ***



- FREE REGISTRATION

- Proceedings published by Springer

- Three Tracks: Main, Philosophy, and Psychology and Education.

- Graduate Symposium

- Best Paper and Best Student Paper awards

- Submission dates in April 2021.

*

Diagrams is the only conference series that provides a united forum for all
areas that are concerned with the study of diagrams and has a
multidisciplinary emphasis.

For 2021, *PHILOSOPHY TRACK* conference topics include, but are not limited
to:

– aesthetic properties of diagrams,

– cultural, metaphysical, epistemological aspects of diagrams,

– diagrams for syllogisms,

– diagrams in formal logic

– diagrams in mathematical practice,

– diagrams in the mind,

– historical aspects of diagrams,

– iconicity and 'naturalness' of diagrams,

– imagination,

– philosophy of notation,

– reasoning and argumentation with diagrams,

– semantics and/or pragmatics of diagrams,

– semiotics of diagrams,

– square of opposition, trees and graphs,

– the nature and definition of diagrams and diagramming,

– the work of philosophers such as Plato and C. S. Peirce

– visualization and intuition.

In addition to the Philosophy track, Diagrams 2021 will have two further
tracks: Main, and Psychology and Education; for their topics of interest,
see

http://www.diagrams-conference.org/2021/index.php/calls/main-track/

http://www.diagrams-conference.org/2021/index.php/calls/philosophy/

http://www.diagrams-conference.org/2021/index.php/calls/psychology-of-diagrams/.


If the main research contribution of your submission is considered to fit
either of the other tracks then you are strongly encouraged to submit to
the respective special track, each of which has a dedicated program
committee.

Authors of accepted submissions will be expected to be in attendance at the
virtual conference to present their research and respond to questions
presented by delegates.

*

Submission Categories

The conference will include presentations of refereed Papers, Abstracts,
and Posters, alongside a graduate symposium.

We invite submissions for peer review that focus on any aspect of diagrams
research, as follows:

- Long Papers (16 pages),

- Abstracts (3 pages),

- Short Papers (8 pages),

- Posters (4 pages – this is both a maximum and minimum requirement).

More details and all important dates can be found on at
www.diagrams-conference.org/2021.

*

 

Mikkel Willum Johansen

Associate professor

Department of Science Education

University of Copenhagen

Tlf: (+45) 28 72 84 41

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

[Logica-l] Diagrams 2021: Call for tutorials

[Jorge Petrucio Viana]

*** Call for Tutorials: Diagrams 2021 ***



12th International Conference on the Theory and Application of Diagrams

September 28 – 30, 2021

Virtual Event

www.diagrams-conference.org/2021



*** Highlights ***



- FREE REGISTRATION

- Proceedings published by Springer

- Three Tracks: Main, Philosophy, and Psychology and Education.

- Graduate Symposium

- Best Paper and Best Student Paper awards

- Tutorial submission date April 30, 2021.

*

Diagrams is the only conference series that provides a united forum for all
areas that are concerned with the study of diagrams and has a
multidisciplinary emphasis.

Diagrams is an international interdisciplinary conference series, covering
all aspects of research on the theory and application of diagrams. We
invite proposals for *tutorials of 1.5 hours*in length. Tutorials are
expected to address topics that are of interest to the Diagrams 2021
conference attendees. Please refer to the calls for the three tracks for
their associated list of topics:

http://www.diagrams-conference.org/2021/index.php/calls/main-track/
http://www.diagrams-conference.org/2021/index.php/calls/philosophy/
http://www.diagrams-conference.org/2021/index.php/calls/psychology-of-diagrams/

Tutorials differ from workshops in that they do not solicit contributions
from attendees. Previously, attendees have particularly enjoyed tutorials
that are interactive and spark debate.

Authors of accepted tutorial submissions will be expected to be in
attendance at the virtual conference to present their tutorial and respond
to questions presented by delegates.

*

Submission of Tutorial Proposals

We invite submissions for review that focus on any aspect of diagrams
research. A tutorial proposal must contain:

   1. A single page listing: the title of the tutorial, the names and
   contact information for all organizers, and brief biographies of the main
   organizers.
   2. A description of the topic and rationale for the tutorial, including
   a brief description of why the tutorial will be relevant to Diagrams 2021
   conference attendees.
   3. Information on any requirements for delivering the tutorial, with
   particular regard to those that arise using an online delivery mechanism.
   This could include, for example, the use of a digital whiteboard or the
   necessity to run an audience poll.
   4. An abstract, of up to 500 words, describing the tutorial that can be
   used to advertise the tutorial on the Diagrams 2021 website.

More details, including formatting instructions, and all important dates
can be found on at www.diagrams-conference.org/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/CACRvmVSXS1RcTc-Bbpogf96ccD60WmrnX%3D9oh5hg__fAZX2Rxw%40mail.gmail.com.

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

[Jorge Petrucio Viana]

Olá Walter e João, obrigado pelo retorno.

De fato, foi o que a amiga me contou.
Mas... não sei dizer mais nada sobre isto.
A única coisa que me encucou é que, de fato,
me lembro de pessoas aqui na lista reclamando
de ter travado más conversas com pessoas de
fora do mundo da lógica por causa de artigos
escritos na Wiki.

Bem, peço desculpas se o assunto é muito fora
do foco da lista e se tudo está baseado num
achismo da minha parte.

abraços
e cuidem-se que o vírus está pegando!
Petrucio


Em qui., 26 de nov. de 2020 às 19:01, Walter Alexandre Carnielli <
walte...@unicamp.br> escreveu:

> Talvez não João-   pelo menos  com algumas pessoas eles entram em contato;
> re-veja aqui o que Petrúcio  escreveu:
>
>
> "Ela [a amiga, ou conhecida] me disse que um desses responsáveis entrou em
> contato com ela ..."
>
> Confere?
>
> Abs,
>
> W.
>
> Em qui, 26 de nov de 2020 18:33, Joao Marcos 
> escreveu:
>
>> > A  mim nunca ninguém perguntou nada
>>
>> Nem nunca vai "perguntar", né?  Não é assim que a Wikipédia funciona...
>>
>> https://super.abril.com.br/comportamento/a-wikipedia-e-feita-por-milhoes-de-usuarios/
>>
>> JM
>>
>

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

[Logica-l] uma pergunta sobre. wiki brasil

[Jorge Petrucio Viana]

Boa tarde!

Uma amiga historiadora (da UFF) me escreveu perguntando sobre como são as
relações dos pesquisadores da matemática com os responsáveis pela versão
brasileira da Wiki.
Ela me disse que um desses responsáveis entrou em contato com ela e,
durante a conversa, afirmou que a relação com os matemáticos é ótima.
Dadas algumas outras afirmações que ele fez, ela começou a achar que o que
ele estava dizendo era pura propaganda para convencê-la a colaborar com
eles *** da forma que ele queria ***.

Eu me recordo que alguns de vocês comentaram nesta lista que a relação com
os lógicos é meio conturbada.

Alguém sabe dizer se houve alguma mudança nesse estado de coisas?

E se a relação com os matemáticos em geral é memso tranquila?

Obrigado,
Petrucio

-- 
Você 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/CACRvmVSugzL3JqkuXFPpygjD%3DLe%2B%3Dg7VpF890pTZ4-ru7ssdrA%40mail.gmail.com.

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

[Jorge Petrucio Viana]

Boa tarde!

Como ex orientando e coautor do Prof Paulo A. S. Veloso, a notícia me deixa
muito, muito triste.
Vejo que, assim como eu, a lógica brasileira fica órfã de uma referência
intelectual que sempre
esteve a serviço da busca pelo conhecimento em suas formas mais sublimes: a
verdade e a beleza.

Mas quem, como eu (e outros), conviveu mais proximamente com o Prof. Veloso
(como ele era
habitualmente chamado), e pôde compartilhar mais proximamente da sua
companhia, generosidade,
gentileza e como não dizer, amizade, está desolado.
Perdemos a sua seriedade, perdemos o seu humor; perdemos a sua fineza,
perdemos a sua força;
perdemos a sua franqueza, perdemos a sua inteligência; perdemos muito,
muito mesmo.

E só o tempo poderá nos dizer que não perdemos tanto assim, se percebermos
que o seu exemplo
está presente nas atitudes dos que ficam, que ao meu ver, devem sempre
procurar levar adiante aquilo
que mentes brilhantes como esta tiveram a gentileza de compartilhar
conosco, enquanto estavam por aqui.

Meus melhores pensamentos estão com Sheila, Paula e Flávia.

Petrucio

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/CACRvmVS4zBntUaZ953jN7DX-xX_iCzmzQp_iD8YR%2BPUiPE29BQ%40mail.gmail.com.

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

[Jorge Petrucio Viana]

Olá,
apoio plenamente as posições colocadas acima!

abraços
P

Em qui., 17 de set. de 2020 às 13:48, Mario Roberto Folhadela Benevides <
ma...@cos.ufrj.br> escreveu:

> Caros,
>
> Gostaria de dar meu total apoio a posição da Elaine e de outros. Este tipo
> de publicação é um desrespeito e um desserviço à Lógica Brasileira.
>
> Abraços,
>
> Mario
>
>
>
> Em qui., 17 de set. de 2020 às 12:57, valeria.depaiva <
> valeria.depa...@gmail.com> escreveu:
>
>> Excelente colocacoes, Elaine!
>>
>> todo o meu apoio, como voce sabe.
>>
>> tomara que dessa vez a gente se saia um pouco melhor do que o aconteceu
>> qdo do ultimo escandalo, quando so' nos, as mulheres do GETFUN saimos
>> prejudicadas.
>>
>> Pois o nosso protesto contra o "special issue" nao so' nao deu em nada,
>> ninguem ficou nem sabendo que a gente estava protestando alguma coisa.
>> (e "special issues" que so' tem contribuicoes de homens sao coisa tao
>> corriqueira que ninguem nem se da' conta, ne'?)
>> bjs
>> Valeria
>>
>> On Thursday, September 17, 2020 at 8:39:44 AM UTC-7 miraglia wrote:
>>
>>> Também apoio a posição da Elaine, assim como as do Marcelo, do Walter e
>>> as ponderações do Júlio.  Ça suffit!
>>>
>>> Abraços e cuidem-se bem!
>>>
>>> Chico Miraglia
>>>
>>> On 17 Sep 2020, at 12:04, Marcelo Finger  wrote:
>>>
>>> 
>>>
>>> Apoio a posição da Elaine.
>>>
>>> Na época em que essa newsletter rodava por email, eu até participei do
>>> desafio de tentar adivinhar o autor da frase para/inconsistente.  Não
>>> mais.
>>>
>>> E  tb me incomoda a atitude hemisfério-norte-cêntrica.
>>>
>>> A menos que a newsletter mude a sua orientação, será tratada como spam.
>>>
>>> []s
>>>
>>> Marcelo
>>>
>>> Em qui., 17 de set. de 2020 às 09:59, Elaine Pimentel <
>>> elaine@gmail.com> escreveu:
>>>
 Prezados colegas,

 Confesso que pretendia simplesmente ignorar mais essa provocação
 idiota. Mas, refletindo um pouco, achei que seria bom colocar aqui uma
 opinião -- que não é só minha, diga-se de passagem.

 1. Isso passa longe de ser apenas uma "estética questionável". Também
 já ouvi de um amigo uma vez que é apenas "um tipo diferente de humor" --
 não há nada de humor e definitivamente não é um problema de estética. É
 ofensivo, repugnante e condenável.

 2. Acho que chega de "passar pano" para esse tipo de atitude. Como
 boicotes individuais parecem não funcionar e criar polêmica só alimenta o
 ego do pavão, daqui para frente vou ajudar a divulgar também as pessoas
 coniventes com essas iniciativas. Por exemplo, colaborar com essa
 newsletter é ser conivente. Quem sabe assim a comunidade internacional como
 um todo começa a perceber que não há mais espaço para esse tipo de coisa?

 É realmente incrível! Com todo o trabalho e esforço que estamos fazendo
 para trazer a discussão sobre gênero para a pauta, temos que parar para
 discutir sobre "piadinhas" estilo 4a série... Se bem que é bem típico do
 momento que estamos vivendo aqui no Brasil :-/

 A+,

 Elaine.

 On Thu, Sep 17, 2020 at 8:06 AM Joao Marcos  wrote:

> Neil Barton (@CantorsCoffee) tweeted at 5:57 AM on Wed, Sep 16, 2020:
> Hey folks writing the paraconsistent newsletter: Given that we have
> something of a diversity problem in foundations of math, how about we 
> don't
> use sexualised images of women as the cover for our newsletters? cf.
> https://t.co/OD16xkMzkn
> (https://twitter.com/CantorsCoffee/status/1306155120233676801?s=03)
>
> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L"
> dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
> envie um e-mail para logica-l+u...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Li_qUXyzDVfaDrrW4PWzSvTbACkFe%3DmaP27Fe-jMECNXw%40mail.gmail.com
> 
> .
>


 --
 Elaine.
 -
 Elaine Pimentel  - DMAT/UFRN

 Address: Departamento de Matemática
 Universidade Federal do Rio Grande do Norte
 Campus Universitário - Av. Senador Salgado Filho, s/nº
 Lagoa Nova, CEP: 59.078-970 - Natal - RN

 Phone: +55 84 3215-3820 <+55%2084%203215-3820>

 http://sites.google.com/site/elainepimentel/
 Lattes: http://lattes.cnpq.br/3298246411086415
 

 --
 Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
 Grupos do Google.
 Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
 envie um e-mail para logica-l+u...@dimap.ufrn.br.
 Para ver essa discussão

Re: [Logica-l] teoria de tipos para crianças

[Jorge Petrucio Viana]

Casper também usa uma forma diferente de para todo, já que nem o gramado e
nem a estrada estão vivos.

P

Em qui., 2 de jul. de 2020 às 14:35, Joao Marcos 
escreveu:

> Teaching dependent type theory to 4 year olds via mathematics
>
> https://xenaproject.wordpress.com/2020/06/27/teaching-dependent-type-theory-to-4-year-olds-via-mathematics/amp/
>
>
> JM
>
> --
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L"
> dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiUwKt239TJbyEj88Y5Br9N-rt4vsW077OiLSBZSCrcUQ%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/CACRvmVTpRX5qUpYVaEYQ6NvvP%2B4UvZDbWnRfMbZW8%3D2oVy042Q%40mail.gmail.com.

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

[Jorge Petrucio Viana]

Olá!

Esta mensagem não tem nada a ver com a discussão anterior, a não ser por se
tratar de uma
"mensagem com um pouco de humor matemático, para desanuviar os espíritos".

Uma vez submeti um artigo para um congresso no qual o Bruno Poizat estava
no comitê científico.
Aí, recebi um único parecer sobre o meu trabalho mas, ... em francês!
Fiquei pensando: quem terá sido o parecerista?

abraços
P


Em qui., 11 de jun. de 2020 às 11:48, Joao Marcos 
escreveu:

> > O Bruno Poizat escreveu sobre o tema na introdução do seu curso de
> teoria de modelos, edição em inglês. Acho que texto pode servir de base
> para uma boa discussão.
>
> O livro de fato começa muito bem:
> "Can we reproduce the inimitable, or give a new life to what has been
> affected by the weariness of existence? Folks, what you have in your
> hands is a translation into English of a book that was first published
> in 1985 by its author, that is, myself, at the end of an editorial
> adventure about which you will find some details later. It was written
> in a dialect of Latin that is spoken as a native language in some
> parts of Europe, Canada, the U.S.A., the West Indies, and is used as a
> language of communication between several countries in Africa. It is
> also sometimes used as a language of communication between the members
> of a much more restricted community: mathematicians."
>
> A tradução do livro (e das belas citações nele contidas) parece muito
> bem feita (só não tenho, infelizmente, como julgar as traduções do
> árabe --- língua dominada por teóricos de modelos como Poizat ou
> Hodges).  As partes escritas originalmente em inglês são igualmente
> bem escritas, e no geral o texto lê-se bem --- como todo bom texto
> deve ler-se.
>
> A discussão sobre a "tradição acadêmica da tolerância" é bastante
> interessante.  A dificuldade que o autor encontrou em seu próprio país
> parece ilustrar, não obstante, uma questão de maior monta:
>
> "when I undertook to write this book I was fully confident in an
> academic tradition of tolerance, which considered as suitable for
> scientific exchange a reasonable variety of languages. But then, when
> the work was completed, all the international editors that I
> approached quite suddenly made the decision to publish exclusively in
> the language of the nation that ranks first in terms of economic and
> military power, and of the sexual vigor of its leader (but that shows
> an obvious backwardness when justice, politics, social welfare, and
> medical care are concerned). As for the French scientific publishers,
> they were all in a state of advanced coma at the moment. These
> international publishers sent me kind letters expressing their
> regrets, and explaining their decision by the harshness of economic
> constraints."
>
> Vale notar que ao longo de sua carreira Poizat parece ter feito a
> opção consciente de publicar quase todos os seus papers em francês,
> talvez por acreditar que "the editors and the publishers [should]
> value the idea of keeping alive a certain number of scientific
> languages", e talvez por acreditar ser importante "[to] promote the
> idea of preserving, if not developing, scientific expression in a
> minority language".
>
> Por fim, ainda do prefácio do livro citado:
>
> "This linguistic imperialism causes irreversible damage to the
> diversity of languages, which is a share of the patrimony of humanity,
> and it denies the universal character of mathematics. The only
> material output of mathematics is in the form of papers, so that
> mathematicians produce nothing but literature. Who will dare to say
> that language does not affect literature? The author of a mathematical
> textbook is inhabited by a craving to capture the attention of his
> reader that is as strong as for the author of successful detective
> stories. It is, after all, a fragile and rare ability, and one should
> leave to him the choice of the language where he can do his best."
>
> A tarefa alternativa não é fácil, mas me vêm à mente exemplos
> bem-sucedidos, como estes:
> https://en.wikipedia.org/wiki/List_of_exophonic_writers
> e em seguida me lembra o fato de que há muita muita muita gente que
> não consegue se expressar de maneira minimamente razoável na sua
> própria língua nativa...
>
> %%%
> (Termino esta mensagem com um pouco de humor matemático, para
> desanuviar os espíritos.)
>
> Era uma vez um enunciado incrível, em francês,
> que foi demonstrado, em francês,
> por um matemático brilhante.
>
> O único problema é que em nenhuma
> tradução deste enunciado para outras línguas
> ele resultava ser um teorema!
> %%%
>
> JM
>
>
> PS1: Confesso que não me lembrava que Marco Polo havia escrito sobre
> suas viagens em "francês antigo" (mais exatamente, em
> franco-italiano).
>
> PS2: Segundo o Google Scholar ---as of today---, a versão em língua
> inglesa do livro do Poizat foi citado 328 vezes, e a versão original
> foi citada 248 vezes.
>
> --
> Você está recebendo esta mensagem porque se inscreve

Re: [Logica-l] ensino de Lógica [e tudo o mais] na era do distanciamento social

[Jorge Petrucio Viana]

Boa quarentena!

Na UFF a situação (como é usual, em se tratando da UFF) parece ser ainda
mais especial.
O semestre começava na segunda-feira, dia 16/03/2020.
Nos dias 14 e 15, a Reitoria divulgou um comunicado de que as aulas só
começariam no dia 23.
Mas, durante a semana, emitiu um outro comunicado de que as aulas estão
suspensas até o início de abril.
A direção do IME divulgou uma mensagem dizendo que o Instituto está fechado
(realmente fechado, lacradão) até o dia 14 de abril.

Em resumo: nosso semestre ainda não começou, não temos turmas oficialmente
abertas, não temos alunos para dar aulas.
Mas temos registro de turmas já atribuídas e alunos já matriculados nelas.

Além disso, a Reitoria emitiu um comunicado desaconselhando atividades com
os alunos (que "foram eleitos" mas "não tomaram posse") via Internet, por
razões semelhantes às que vocês já apontaram.

Sempre é possível ser mais criativo!!!

Abraços e cuidem-se!!!
Petrucio

Em seg., 23 de mar. de 2020 às 17:21, Joao Marcos 
escreveu:

> Hoje a Pró-Reitoria de Pós-Graduação da minha instituição também
> proibiu a realização, "nos seus câmpi", de "bancas de qualificação,
> mestrado e doutorado (presencial e a distância)"...  E eu desisti de
> vez de tentar entender e de continuar oferecendo biscoitos finos aos
> meus estudantes.  Melhor procurar outro público!
>
> %
>
> Marcelo, permita-me parabenizar o IME/USP pelos esforços em manter ao
> menos um resquício de "normalidade" (e racionalidade).
>
> Os dois encontros que tive com os alunos à distância, na semana
> passada, me deram _muito_ mais trabalho do que os encontros
> presenciais, mas não me arrependo de ter tentado manter os alunos
> ocupados ("a mente ociosa é o jardim do diabo").
>
> %
>
> Adolfo, obrigado pelos links!
>
> %
>
> JM
>
> --
> http://sequiturquodlibet.googlepages.com/
>
> --
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L"
> dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgNZZFTCCU9J2div43CpfDxfEhhabgGgtNcH9H%2BdYehUQ%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/CACRvmVRX-PaVE4obkXEkEvH97_zTKKi4hS4i92pvb89hswZQ_Q%40mail.gmail.com.

Re: [Logica-l] deadline extension EBL 2019 POST-CONFERENCE

[Jorge Petrucio Viana]

Oi Marcelo, nada menos que o ótimo para você e para os seus nesse novo
ano!!!

Segue a chamada original com todas as informações (exceto as datas):

Dear colleague,

We are very happy to announce the call for papers for the EBL 2019
POST-CONFERENCE PUBLICATIONS, to appear as special issues of the
Journal of Applied Logics
https://www.collegepublications.co.uk/ifcolog/

and the South American Journal of Logic
http://www.sa-logic.org/

All contributing authors and plenary speakers are invited to submit a
full version of their EBL 2019 papers presented at the conference, as
well as papers of general interest within the conference themes:

• 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;
• Logic Education (Logic Teaching)

Submissions will be subjected to standard double-blind refereeing
process. Please submit your paper through Easychair
https://easychair.org/conferences/?conf=ebl20190

by December 30, 2019. Notification of acceptance will be communicated
by April 05, 2019.

Papers should be in English, blinded (any reference to authors’ names
should be omitted) and preceded by abstract and key-words list.
Besides that, no special format is required (in case of acceptance,
authors will be requested to format his/her paper according to the
guidelines of the journal in which it will be published).

If you have any doubts or questions, please let us know, sending a
message to ebl2019cont...@gmail.com.


Ítala D'Ottaviano (Unicamp)
Ricardo Silvestre (UFCG)
Leandro Suguitani (UFBA)
Petrucio Viana (UFF)
Co-editors of the EBL 2019 post-conference publications


Em qui., 2 de jan. de 2020 às 10:50, Marcelo Finger 
escreveu:

> Oi Petrucio.
>
> Feliz 2020!
>
> Onde serão,publicados os artigos?
>
> []s
>
>
> Em qui., 2 de jan. de 2020 às 10:37, Jorge Petrucio Viana <
> petrucio_vi...@id.uff.br> escreveu:
>
>> Dear colleague,
>>
>> the deadlines for the submission to the EBL 2019 POST-CONFERENCE
>> PUBLICATIONS were extended by around 1 month:
>>
>> *NEW* IMPORTANT DATES:
>> > * Deadline for submissions:  January 31, 2020.
>> > * Decision notifications: April 30, 2020.
>> > * Deadline for submissions of revised papers: May 31, 2020
>>
>> All the other submission details remain according to the original call
>> for papers.
>>
>> Sincerely yours,
>> Ítala D'Ottaviano (Unicamp)
>> Ricardo Silvestre (UFCG)
>> Leandro Suguitani (UFBA)
>> Petrucio Viana (UFF)
>> Co-editors of the EBL 2019 post-conference publications
>>
>> --
>> 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/CACRvmVTLM-7vd9jXcvK0NO-AJ8c_%2Ba26BLLvFy4mEHdDMNJXHg%40mail.gmail.com
>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACRvmVTLM-7vd9jXcvK0NO-AJ8c_%2Ba26BLLvFy4mEHdDMNJXHg%40mail.gmail.com?utm_medium=email&utm_source=footer>
>> .
>>
>
>
> --
>  Marcelo Finger
>  Departament of Computer Science, IME
>  University of Sao Paulo
>  http://www.ime.usp.br/~mfinger
>  ORCID: https://orcid.org/-0002-1391-1175
>  ResearcherID: A-4670-2009
>

-- 
Você 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/CACRvmVTZ3nqB05V1VtGAzNyGTT0aLRH6tZ_DcpV6qE33bj7BKw%40mail.gmail.com.

[Logica-l] deadline extension EBL 2019 POST-CONFERENCE

[Jorge Petrucio Viana]

Dear colleague,

the deadlines for the submission to the EBL 2019 POST-CONFERENCE
PUBLICATIONS were extended by around 1 month:

*NEW* IMPORTANT DATES:
> * Deadline for submissions:  January 31, 2020.
> * Decision notifications: April 30, 2020.
> * Deadline for submissions of revised papers: May 31, 2020

All the other submission details remain according to the original call for
papers.

Sincerely yours,
Ítala D'Ottaviano (Unicamp)
Ricardo Silvestre (UFCG)
Leandro Suguitani (UFBA)
Petrucio Viana (UFF)
Co-editors of the EBL 2019 post-conference publications

-- 
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/CACRvmVTLM-7vd9jXcvK0NO-AJ8c_%2Ba26BLLvFy4mEHdDMNJXHg%40mail.gmail.com.

Re: [Logica-l] Re: Kurt Gödel and the mechanization of mathematics

[Jorge Petrucio Viana]

Olá para todos,
não li esse artigo em detalhes, mas numa passada de olhos, não vi nem
aritmetização, nem o predicado Bew, nem autoreferência na prova da
incompletude.

https://projecteuclid.org/euclid.ndjfl/1027953483

abraços
P

Em dom., 22 de dez. de 2019 às 22:36, Valeria de Paiva <
valeria.depa...@gmail.com> escreveu:

> bom, eu achei que tinha uma escrita pois a Milly  Maietti me disse que
> tinha, mas procurando no math overflow  vi isso:
>
> https://mathoverflow.net/questions/132797/is-there-a-categorical-proof-of-g%C3%B6dels-incompleteness-theorem
> depois procuro nos meus preprints, mas estou viajando
> Boas Festas a todos,
> abs
> Valeria
>
> On Sun, Dec 22, 2019 at 5:31 PM Joao Marcos  wrote:
>
>> Nunca vi, Valeria...
>>
>> Você teria uma referência para a demonstração do Joyal?
>>
>> Abraços, JM
>>
>>
>> On Sun, Dec 22, 2019, 22:28 Valeria de Paiva 
>> wrote:
>>
>>> JM,
>>> Eu achei q vc queria ter uma medida de quao dependente de codificao uma
>>> prova e’. Eu acho q o Joyal tem uma prova de incompletude usando
>>> categories, q nao depende muito de codificacao.
>>> mas eu nunca vi ninguem tentando medir quao dependente de
>>> codificacao uma prova 'e. voce ja' viu algum assim?
>>> abracos,
>>> Valeria
>>>
>>> On Thu, Dec 19, 2019 at 4:52 AM Famadoria  wrote:
>>>
 Vê o teorema de Kleene, de novo.

 Sent from my iPhone

 On 19 Dec 2019, at 08:36, Joao Marcos  wrote:

 >> Me parece que o teorema da incompletude de Kleene prescinde de uma
 codificação.
 >
 > Bem lembrado, Doria.  O teorema de incompletabilidade de Gödel
 > realmente segue como corolário do resultado de Forma Normal de Kleene,
 > que não apenas prescinde de auto-referência mas que pode ser
 > demonstrado sem codificação.  Com a minha pergunta, contudo, eu
 > pretendia inquirir a respeito da _necessidade_ de usar *aritmetização*
 > (ou recursos aritméticos, em geral) em demonstrações de
 > incompletabilidade (em particular, à la Gödel).  Intuitivamente, a
 > resposta me parece ser negativa, isto é, não me parece que tais
 > _demonstrações_ "dependam da aritmetização da sintaxe", como afirma a
 > autora do artigo.  Mas é fato também que, por um motivo ou por outro,
 > não tenho visto demonstrações do teorema gödeliano que evitem a
 > burocracia da aritmetização...
 >
 > Abraços,
 > Joao Marcos
 >
 >
 >>> On 18 Dec 2019, at 13:03, Joao Marcos  wrote:
 >>>
 >>> Os comentários sobre o *racionalismo otimista* ("platonismo
 ingênuo"?)
 >>> de Gödel, no artigo, são filosoficamente interessantes.
 >>>
 >>> Das três observações que faço abaixo, as duas primeiras são
 críticas e
 >>> a terceira é um questionamento para os colegas.
 >>>
 >>> ###
 >>>
 >>> (0)
 >>>
 >>> Entre outras coisas, como observação parentética, parece-me um pouco
 >>> _out of the ordinary_ que se escreva algo assim:
 >>>
 >>> "The axioms of PA include the commutative law of addition, for
 >>> example, which states that it doesn’t matter in which order two
 >>> numbers are added to each other, the result is the same. They also
 >>> include the single rule of proof called Modus Ponens: “if A implies
 B,
 >>> and A, then B”.
 >>>
 >>> Suponho, contudo, que tais frases se tratem de uma espécie de
 >>> simplificação, _for the sake of the exposition_...
 >>>
 >>> ###
 >>>
 >>> (1)
 >>>
 >>> Formular o teorema de incompletabilidade de Gödel da seguinte
 maneira
 >>> também me parece razoavelmente _misleading_:
 >>>
 >>> "Given any axiom system which is both consistent and sufficiently
 >>> strong computationally, in the sense of being able to encode finite
 >>> sequences (see below), there is a statement in the language of the
 >>> system that is true, but cannot be proved from the axioms."
 >>>
 >>> Em particular, o sistema axiomático (não-recursivamente enumerável)
 >>> que contêm como axiomas todas as sentenças verdadeiras da
 Aritmética é
 >>> obviamente completo...
 >>>
 >>> ###
 >>>
 >>> (2)
 >>>
 >>> A pergunta que deixo aqui para os colegas é: qual é, na opinião de
 >>> vocês, o grau de verdade da asserção
 >>>
 >>> "The proofs for both theorems depend on the concept of an encoding,
 or
 >>> in technical terms the arithmetization of syntax"?
 >>>
 >>> Em outras palavras, qual o real grau de "dependência" do "conceito
 de
 >>> codificação" para as demonstrações de incompletude?
 >>>
 >>> ###
 >>>
 >>> Joao Marcos
 >>>
  On Wed, Dec 18, 2019 at 10:31 AM Joao Marcos 
 wrote:
 
  Kurt Gödel and the mechanization of mathematics
  - Juliette Kennedy discusses Kurt Gödel’s Incompleteness Theorems:
 the
  ingenious proofs and enduring impact
 
 https://www.the-tls

Fwd: [Logica-l] CfP: Diagrams 2020

[Jorge Petrucio Viana]

Call for Papers: Diagrams 2020
11th International Conference on the Theory and Application of
Diagrams
http://www.diagrams-conference.org/2020/
Conference dates: 24-28 August 2020
Location: Tallinn, Estonia

Deadline for pre-submission: 24th January 2020



Diagrams 2020 is the eleventh conference in the biennial series that
started in 2000. The multidisciplinary nature of Diagrams means it
encompasses: architecture, art, artificial intelligence, biology,
cartography, cognitive science, computer science, education, graphic
design, history of science, human-computer interaction, linguistics,
logic, mathematics, philosophy, psychology, and software modelling.
The conference attracts a large number of researchers from these
interrelated fields, positioning Diagrams as the major international
event in the area.

Diagrams 2020 will be hosted by Tallinn University of Technology in
Estonia.
Tallinn is the capital of Estonia and a beautiful seaside city. It has a
well
preserved medieval old town which is listed as a UNESCO World Heritage
Site.
The city is ideally located and designated for those who wish to explore
Estonia’s vibrant cultural life, digital society and natural sites.
Tallinn is easily accessible by flight from international cities, either
directly or by transiting through Helsinki (Finland) and Riga (Latvia).


Calls

Diagrams 2020 has various calls, providing a range of opportunities for
taking
part in the conference.

Diagrams solicits research contributions falling within the scope of the
conference, to be submitted to one of three tracks:

Main track
http://www.diagrams-conference.org/2020/index.php/calls/main-track/

Psychology of Diagrams track
http://www.diagrams-conference.org/2020/index.php/calls/psychology-of-diagrams/

Philosophy of Diagrams track
http://www.diagrams-conference.org/2020/index.php/calls/philosophy/

In addition, Diagrams seeks to host Workshops and Tutorials:

http://www.diagrams-conference.org/2020/index.php/calls/workshops/
http://www.diagrams-conference.org/2020/index.php/calls/tutorials/


For more information, please visit the website of the conference:
http://www.diagrams-conference.org/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/ed5ec438-d507-4025-ac8d-569fabc2e542%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/CACRvmVTChtZW-JU3_MHYxVc2a9bNNeefAy4xqVPmg6JXGLUbiQ%40mail.gmail.com.

[Logica-l] EBL 2019 POST-CONFERENCE PUBLICATIONS

[Jorge Petrucio Viana]

Dear colleague,

We are very happy to announce the call for papers for the EBL 2019
POST-CONFERENCE PUBLICATIONS, to appear as special issues of the Journal of
Applied Logics

https://www.collegepublications.co.uk/ifcolog/

and the South American Journal of Logic

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

All contributing authors and plenary speakers are invited to submit a full
version of their EBL 2019 papers presented at the conference, as well as
papers of general interest within the conference themes:

ï 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;
ï Logic Education (Logic Teaching)

Submissions will be subjected to standard double-blind refereeing process.
Please submit your paper through Easychair

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

by December 30, 2019. Notification of acceptance will be communicated by
April 05, 2019.

Papers should be in English, blinded (any reference to authorsí names
should be omitted) and preceded by abstract and key-words list. Besides
that, no special format is required (in case of acceptance, authors will be
requested to format his/her paper according to the guidelines of the
journal in which it will be published).

If you have any doubts or questions, please let us know, sending a message
to ebl2019cont...@gmail.com.


Õtala D'Ottaviano (Unicamp)
Ricardo Silvestre (UFCG)
Leandro Suguitani (UFBA)
Petrucio Viana (UFF)
Co-editors of the EBL 2019 post-conference publications

-- 
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/CACRvmVSVOiw%3DREm11JE3Earf%2BjbbTf2RPzOsRqvgHcyX2Z-dKQ%40mail.gmail.com.

[Logica-l] call for papers EBL 2019 POST-CONFERENCE PUBLICATIONS

[Jorge Petrucio Viana]

Dear colleague,

We are very happy to announce the call for papers for the EBL 2019
POST-CONFERENCE PUBLICATIONS, to appear as special issues of the
Journal of Applied Logics
https://www.collegepublications.co.uk/ifcolog/

and the South American Journal of Logic
http://www.sa-logic.org/

All contributing authors and plenary speakers are invited to submit a
full version of their EBL 2019 papers presented at the conference, as
well as papers of general interest within the conference themes:

• 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;
• Logic Education (Logic Teaching)

Submissions will be subjected to standard double-blind refereeing
process. Please submit your paper through Easychair
https://easychair.org/conferences/?conf=ebl20190

by December 30, 2019. Notification of acceptance will be communicated
by April 05, 2019.

Papers should be in English, blinded (any reference to authors’ names
should be omitted) and preceded by abstract and key-words list.
Besides that, no special format is required (in case of acceptance,
authors will be requested to format his/her paper according to the
guidelines of the journal in which it will be published).

If you have any doubts or questions, please let us know, sending a
message to ebl2019cont...@gmail.com.


Ítala D'Ottaviano (Unicamp)
Ricardo Silvestre (UFCG)
Leandro Suguitani (UFBA)
Petrucio Viana (UFF)
Co-editors of the EBL 2019 post-conference publications

-- 
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/CACRvmVS-_gPALxqv%3DAMD_bkFBLNRpCuUQ%2BXqMxAzScoBtOfitw%40mail.gmail.com.

Re: [Logica-l] vem artigo do Venn

[Jorge Petrucio Viana]

muitissimo obrigado a aqueles que me puderam me enviar 
a copia do (ou possibilidade de acessar o) artigo

abracos
filolisticos
P

-- Original Message ---
From: "Jorge Petrucio Viana" 
To: 
Sent: Fri, 21 Feb 2014 17:56:04 -0300
Subject: [Logica-l] vem artigo do Venn

> caros filolistas
> 
> alguem tem acesso a este artigo e se tiver pode me enviar uma copia?
> 
> http://www.tandfonline.com/doi/abs/10.1080/14786448008626877#preview
> 
> abracos
> P
> 
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
--- End of Original Message ---

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

[Logica-l] vem artigo do Venn

[Jorge Petrucio Viana]

caros filolistas

alguem tem acesso a este artigo e se tiver pode me enviar uma copia?

http://www.tandfonline.com/doi/abs/10.1080/14786448008626877#preview

abracos
P

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

[Logica-l] o preconceito se manifesta de muitas formas

[Jorge Petrucio Viana]

caros filolistas
desculpem-me pela msg um pouco mundana
mas talvez esta historia verdadeira acrescente algo a discussao

uma professora me contou que 
uma vez 
o chefe do seu departamento pediu para ela listar suas atividades 
pois ele estava fazendo uma especie de levantamento de tudo o que seus 
professores faziam

ela mandou uma lista enorme de atividades academicas nas quais estava envolvida
todas com muito sucesso 
(como todos no departamento sabiam)

ela me disse que 
primeiro
o tal chefe lhe mandou uma msg 
dizendo que ia verificar se tudo aquilo que ela havia escrito era verdade

segundo
apos verificar que sim
ele escreveu outra msg
dizendo que ao executar tudo aquilo com brilhantismo
(nao com estas palavras e claro)
ela estava apenas provando que era mulher
pois 
*** todo mundo sabe, na verdade esta provado pelos estudos mais recentes *** 
que as mulheres sao capazes de executar 
com sucesso varias tarefas ao mesmo tempo

abracos
Petrucio

-- Original Message ---
From: Valeria de Paiva  
To: Joao Marcos  
Cc: logical logical  
Sent: Thu, 13 Feb 2014 06:41:02 -0800 
Subject: Re: [Logica-l] Gendered Conferences

> Joa Marcos, 
> na verdade eu botei a minha filha pra trabalhar na lista da Catarina ha uns 
> dois anos atras e achar os websites das mulheres que tinham se adicionada a 
> lista. 
> 
> nao gostei da lista ter sido dividida em continentes, acho uma bobagem pois 
> diminui ainda mais o numero que se ve de participantes (tinha umas 200 
> quando Anna trabalhou na lista, eu acho). 
> 
> Naquelas alturas eu tinha mandado o link pra lista pedindo pras brasileiras 
> se adicionarem. quem nao quiser colocar o email nao precisa (eu sei a gente 
> ja recebe spam demais...) 
> Poucas como Elaine Pimentel, Renata Freitas e Claudia  Nalon o fizeram. 
> Enfim, otimo que essa conversa aconteca! 
> 
> abracos 
> Valeria 
> 
> 2014-02-12 16:47 GMT-08:00 Joao Marcos : 
> 
> > > Pensar em qualia é pensar no David Chalmers. Fiz um convite, entao. Ele 
> > > declinou alegando 1) falta de tempo em 2015, 2) nao poder agora fazer uma 
> > > contribuicao ao tema principal do evento e 3) nao ter mulheres no evento. 
> > > As duas primeiras razoes eram esperadas. A terceira foi uma surpresa para 
> > > mim. 
> > 
> > Chalmers certamente chamou a atenção para uma questão muito importante 
> > sobre a qual refletir.  Acho que você deveria responder à mensagem 
> > dele agradecendo por ter levantado a lebre e pedindo gentilmente a ele 
> > que sugerisse, para ajudar, uma lista de nomes cujas denotações tenham 
> > o gênero certo e que trabalhem sobre o tópico em questão. 
> > 
> > Andei pensando sobre a lista de autores dos papers que li nos últimos 
> > dois meses, e fiz uma busca nas bibliografias citadas nestes mesmos 
> > papers.  Descobri (em muitos casos, apenas após alguma investigação) 
> > que os autores são predominantemente do sexo masculino.  São também 
> > predominantemente judeus.  Mas no mais das vezes não faço ideia 
> > quantos seriam deficientes, ou negros, ou membros de outros grupos 
> > sub-representados.  Curiosamente, eu não tinha tido pensado em nada 
> > disso até agora.  Quero imaginar, de todo modo, que uma tal descoberta 
> > tardia não teria afetado minha opinião sobre o conteúdo destes mesmos 
> > papers. 
> > 
> > C. Dutilh-Novaes organizou uma lista de "mulheres em lógica" (não 
> > necessariamente da área de Filosofia).  Não é muito longa --- 74 
> > nomes, no dia de hoje, mesmo após quase dois anos em que foi lançada: 
> >   http://loriweb.org/women-in-philosophy-of-logic-and-philosophical-logic/ 
> > Novos nomes são sempre bem-vindos. 
> > 
> > JM 
> > ___ 
> > Logica-l mailing list 
> > Logica-l@dimap.ufrn.br 
> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l 
> > 
> 
> -- 
> Valeria de Paiva 
> http://www.cs.bham.ac.uk/~vdp/ 
> http://valeriadepaiva.org/ 
> ___ 
> Logica-l mailing list 
> Logica-l@dimap.ufrn.br 
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l 
--- End of Original Message ---
 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Logicians Find a Genie - Existential Comics

[Jorge Petrucio Viana]

para rir de si mesmo:-)

P

http://existentialcomics.com/comic/10

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

[Logica-l] EBL 2014

[Jorge Petrucio Viana]

caros filolistas
ja temos data e lugar

so falta o resto;-)

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

Re: [Logica-l] artigo springer

[Jorge Petrucio Viana]

caros filolistas

agradeco aqueles que muito prontamente me enviaram o artigo
possivelmente 
perdendo um tempo precioso dos seus trabalhos para isto

abracos
P

-- Original Message ---
From: "Jorge Petrucio Viana" 
To: logica-l@dimap.ufrn.br
Sent: Mon, 6 May 2013 15:08:09 -0200
Subject: [Logica-l] artigo springer

> caros
> 
> gostaria de saber se alguem tem acesso 
> e pode me enviar uma copia deste artigo
> (especificamente)
> 
> JJ Lukkien.
> An operational semantics for the guarded command language.
> Lecture Notes in Computer Science, 669 (1993), 233-249.
> 
> como dizem
> agradeco a quem puder
> e a quem nao puder agradeco da mesma maneira
> 
> Petrucio
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
--- End of Original Message ---

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

[Logica-l] artigo springer

[Jorge Petrucio Viana]

caros

gostaria de saber se alguem tem acesso 
e pode me enviar uma copia deste artigo
(especificamente)

JJ Lukkien.
An operational semantics for the guarded command language.
Lecture Notes in Computer Science, 669 (1993), 233-249.

como dizem
agradeco a quem puder
e a quem nao puder agradeco da mesma maneira

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

Re: [Logica-l] the death of proofs

[Jorge Petrucio Viana]

caros
alguns exemplos deste tipo podem ser encontrados em

http://www.uff.br/grupodelogica/slides/unilog_2013_slides_1.pdf

http://www.uff.br/grupodelogica/slides/unilog_2013_slides_2.pdf

embora estes slides nao tenham sido projetados para auto-estudo

abracos
P

-- Original Message ---
From: Julio Stern  
To: Decio Krause  
Cc: Petrucio Viana , Tony Marmo , 
Joao Marcos , logical logical  
Sent: Sat, 20 Apr 2013 17:38:30 + 
Subject: RE: [Logica-l] the death of proofs

> Decio: 
>  
> Concordo plenamente com voce 
> que isto ai Nao eh uma prova, 
> apenas uma figurinha... 
>   
> No entantos vale salientar que 
> uma simples figurinha pode Sim, 
> representar uma prova! 
>   
> Para muitos e lindos exemplos, 
> de demonstracao por figuras, vide 
> 
> Roger B. Nelsen (Oct 1993) 
> 
> Proofs without Words: 
> Exercises in Visual Thinking. V1 e V2 
>   
> Abracos, 
> ---Julio Stern 
>  
> PS:  Nao vou nem levantar a lebre 
> sobre os sistemas graficos de Peirce... 
>   
>  
> 
> 
> > CC: petru...@cos.ufrj.br; marmo.t...@gmail.com; botoc...@gmail.com; 
> > logica-l@dimap.ufrn.br 
> > From: deciokra...@gmail.com 
> > Subject: Re: [Logica-l] the death of proofs 
> > Date: Fri, 19 Apr 2013 16:15:49 -0300 
> > To: jmst...@hotmail.com 
> > 
> > A "demonstração" faz uso de figuras. Já vi muito disso por aí. O que 
> > fazer com esses professores? O que foi apresentado não passa de uma 
> > justificativa heurística. 
> > D 
> > 
> > 
> > 
> > 
> > -- 
> > Décio Krause 
> > Departamento de Filosofia 
> > Universidade Federal de Santa Catarina 
> > 88040-900 Florianópolis - SC - Brasil 
> > http://www.cfh.ufsc.br/~dkrause 
> > -- 
> > 
> > Em 19/04/2013, às 15:37, Julio Stern 
> > mailto:jmst...@hotmail.com>> escreveu: 
> > 
> > Petrucio: 
> > Voce tem toda a razao, 
> > pois este texto nao Prova coisa alguma. 
> > Para comeco de conversa, 
> > de que Distancia se esta falando, 
> > qual a Metrica, ou qual o Grupo de Invariancia. 
> > Se se explicitar uma destas respostas, 
> > fica obvio oq eh que se veve demonstrar... 
> > ---Julio 
> > 
> > 
> >  
> > From: petru...@cos.ufrj.br 
> > To: marmo.t...@gmail.com; 
> > botoc...@gmail.com; 
> > logica-l@dimap.ufrn.br 
> > Date: Fri, 19 Apr 2013 15:34:29 -0200 
> > Subject: Re: [Logica-l] the death of proofs 
> > 
> > ola 
> > desculpem-me pela intromissao 
> > 
> > aqui esta uma prova com a qual eu nao estou de acordo 
> > 
> > http://www.brasilescola.com/matematica/distancia-entre-dois-pontos.htm 
> > 
> > ela aparece em praticamente todos os textos que tratam do assunto 
> > sejam livros do ensino medio ou livros de calculo 
> > 
> > abracos 
> > P 
> > 
> > -- Original Message --- 
> > From: Tony Marmo mailto:marmo.t...@gmail.com>> 
> > To: Joao Marcos mailto:botoc...@gmail.com>>, Lista 
> > acadêmica brasileira dos profissionais e estudantes da área de LOGICA 
> > mailto:logica-l@dimap.ufrn.br>> 
> > Sent: Wed, 17 Apr 2013 23:57:23 -0300 
> > Subject: Re: [Logica-l] the death of proofs 
> > 
> > João, 
> > 
> > Para contribuir para essa discussão que você instaurou aqui, pergunto o 
> > seguinte: você poderia dar exemplo de uma prova comumente encontrada em 
> > livros de lógica, ou artigos, sejam de natureza introdutória, sejam mais 
> > avançados, com qual você não esteja de acordo? 
> > 
> > Muito obrigado se você tiver algo em mente que possa comentar. 
> > 
> > Em 17 de abril de 2013 22:01, Joao Marcos 
> > mailto:botoc...@gmail.com>> escreveu: 
> > 
> > o artigo já tem 20 aninhos, mas só recentemente dias me chamaram a 
> > atenção para ele: 
> > 
> > http://www.math.uh.edu/~tomforde/Articles/DeathOfProof.pdf 
> > 
> > "Computers are transforming the way mathematicians discover, prove and 
> > communicate ideas, but is there a place for absolute certainty in this 
> > brave new world?" 
> > 
> > Para tempos em que se discute abertamente se a noção de *rigor* em uma 
> > demonstração matemática "é só um ritual do qual os matemáticos 
> > gostariam de se livrar"... 
> > jm 
> > 
> > -- 
> > 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 
> > --- End of Original Message --- 
> > 
> > ___ 
> > Logica-l mailing list 
> > Logica-l@dimap.ufrn.br 
> > http://www.dimap.

Re: [Logica-l] Digest Logica-l, volume 86, assunto 17

[Jorge Petrucio Viana]

humm

algo esta me escapando

nos meus livros de geometria euclidiana
pontos nao tem coordenadas
distancia nao e "definida" por uma formula

e se fosse 
a "explicacao" que eu enviei numa msg anterior
nao explicaria por que razao a distancia de um ponto a si mesmo e 0
e nem explicaria como calcular a distancia entre dois pontos que estao sobre 
uma mesma reta
(e nao sobre a hipotenusa de um triangulo retangulo 
que pode so pode ser construido quando a reta que passa pelos dois pontos 
"genericos"
nao e paralela ao eixo 0x)

abracos
P

-- Original Message ---
From: sam...@ufba.br 
To: logica-l@dimap.ufrn.br 
Sent: Sat, 20 Apr 2013 12:32:26 -0300 
Subject: Re: [Logica-l] Digest Logica-l, volume 86, assunto 17

> Olás, 
> 
> Eu ia escrever aqui essencialmente o que o Walter já disse sobre a   
> "definição" de distância, em todo o caso resta uma historinha   
> engraçada: um (bom) aluno de Geometria Euclidiana (axiomática,   
> disciplina que para um Lógico é uma delícia de ministrar) uma vez me   
> perguntou: 
> 
> - Como eu provo que o comprimento do segmento de reta é a menor   
> distância entre dois pontos ? 
> 
> - Pois é... Não se prova. ISSO É DEFINIDO ASSIM. 
> 
> O menino arregalou os olhos em desespero e desilusão... Depois eu   
> ainda tentei salvar o dia do menino, falar em cálculo variacional,   
> pensar em comprimentos de curvas e pensar na curva que minimiza lá a   
> tal da integral e tudo, mas não teve jeito, o menino continou com o   
> desespero e a desilusão por todo o dia, hehe. 
> 
> Atés, 
> 
> []s  Samuel 
> 
> PS: Claro que no contexto de Geometria Euclidiana elementar, não   
> existe "a menor distância", porque a distância é uma só, e definida de   
> modo consistente com o Teorema de Pitágoras, como Walter já observou. 
> 
> Quoting logica-l-requ...@dimap.ufrn.br: 
> 
> > Enviar submissões para a lista de discussão Logica-l para 
> > logica-l@dimap.ufrn.br 
> > 
> > Para se cadastrar ou descadastrar via WWW, visite o endereço 
> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l 
> > ou, via email, envie uma mensagem com a palavra 'help' no assunto ou 
> > corpo da mensagem para 
> > logica-l-requ...@dimap.ufrn.br 
> > 
> > Você poderá entrar em contato com a pessoa que gerencia a lista pelo 
> > endereço 
> > logica-l-ow...@dimap.ufrn.br 
> > 
> > Quando responder, por favor edite sua linha Assunto assim ela será 
> > mais específica que "Re: Contents of Logica-l digest..." 
> > 
> 
>  
> Universidade Federal da Bahia - http://www.portal.ufba.br 
> 
> ___ 
> Logica-l mailing list 
> Logica-l@dimap.ufrn.br 
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l 
--- End of Original Message ---
 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] the death of proofs

[Jorge Petrucio Viana]

o que mais me chama a atencao nesta "prova"
e em todas as versoes dela que eu conheco
e que o(a) autor(a) "pega" dois pontos genericos no plano
e eles

*** sao distintos ***

*** estao no primeiro quadrante ***

genericos, distintos e no primeiro quadrante!

se voces procurarem mais vao encontrar 
nos livros basicos ou avancados
varios exemplos de "provas" com este erro 
muito grosseiro de logica

P

-- Original Message ---
From: Marcelo Finger  
To: N/A 
Cc: logical logical  
Sent: Fri, 19 Apr 2013 16:27:29 -0400 
Subject: Re: [Logica-l] the death of proofs

> Na "prova" mencionada pelo Petrucio, se "esquceram de enunciar o 
> teorema.  Pouco espanta que, depois, as pessoas só se lembrem de 
> matemática como uma decoreba de formuleira. 
> 
> []s 
> 
> 2013/4/19 Décio Krause : 
> > A "demonstração" faz uso de figuras. Já vi muito disso por aí. O que fazer 
> > com esses professores? O que foi apresentado não passa de uma justificativa 
> > heurística. 
> > D 
> > 
> > 
> > 
> > 
> > -- 
> > Décio Krause 
> > Departamento de Filosofia 
> > Universidade Federal de Santa Catarina 
> > 88040-900 Florianópolis - SC - Brasil 
> > http://www.cfh.ufsc.br/~dkrause 
> > -- 
> > 
> > Em 19/04/2013, às 15:37, Julio Stern  escreveu: 
> > 
> >> Petrucio: 
> >> Voce tem toda a razao, 
> >> pois este texto nao Prova coisa alguma. 
> >> Para comeco de conversa, 
> >> de que Distancia se esta falando, 
> >> qual a Metrica, ou qual o Grupo de Invariancia. 
> >> Se se explicitar uma destas respostas, 
> >> fica obvio oq eh que se veve demonstrar... 
> >> ---Julio 
> >> 
> >> 
> >>  
> >>> From: petru...@cos.ufrj.br 
> >>> To: marmo.t...@gmail.com; botoc...@gmail.com; logica-l@dimap.ufrn.br 
> >>> Date: Fri, 19 Apr 2013 15:34:29 -0200 
> >>> Subject: Re: [Logica-l] the death of proofs 
> >>> 
> >>> ola 
> >>> desculpem-me pela intromissao 
> >>> 
> >>> aqui esta uma prova com a qual eu nao estou de acordo 
> >>> 
> >>> http://www.brasilescola.com/matematica/distancia-entre-dois-pontos.htm 
> >>> 
> >>> ela aparece em praticamente todos os textos que tratam do assunto 
> >>> sejam livros do ensino medio ou livros de calculo 
> >>> 
> >>> abracos 
> >>> P 
> >>> 
> >>> -- Original Message --- 
> >>> From: Tony Marmo  
> >>> To: Joao Marcos , Lista acadêmica brasileira dos 
> >>> profissionais e estudantes da área de LOGICA  
> >>> Sent: Wed, 17 Apr 2013 23:57:23 -0300 
> >>> Subject: Re: [Logica-l] the death of proofs 
> >>> 
>  João, 
>  
>  Para contribuir para essa discussão que você instaurou aqui, pergunto o 
>  seguinte: você poderia dar exemplo de uma prova comumente encontrada em 
>  livros de lógica, ou artigos, sejam de natureza introdutória, sejam mais 
>  avançados, com qual você não esteja de acordo? 
>  
>  Muito obrigado se você tiver algo em mente que possa comentar. 
>  
>  Em 17 de abril de 2013 22:01, Joao Marcos  escreveu: 
>  
> > o artigo já tem 20 aninhos, mas só recentemente dias me chamaram a 
> > atenção para ele: 
> > 
> > http://www.math.uh.edu/~tomforde/Articles/DeathOfProof.pdf 
> > 
> > "Computers are transforming the way mathematicians discover, prove and 
> > communicate ideas, but is there a place for absolute certainty in this 
> > brave new world?" 
> > 
> > Para tempos em que se discute abertamente se a noção de *rigor* em uma 
> > demonstração matemática "é só um ritual do qual os matemáticos 
> > gostariam de se livrar"... 
> > jm 
> > 
> > -- 
> > 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 
> >>> --- End of Original Message --- 
> >>> 
> >>> ___ 
> >>> 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 mailing list 
> > Logica-l@dimap.ufrn.br 
> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l 
> > 
> 
> -- 
> Marcelo Finger 
> Department of Computer Science, Cornell University 
> 
> on leave from: 
> Departament of Computer Science, IME 
> University of Sao Paulo 
> http://www.ime.usp.br/~mfinger 
> ___ 
> Logica-l mailing lis

Re: [Logica-l] the death of proofs

[Jorge Petrucio Viana]

ola
desculpem-me pela intromissao

aqui esta uma prova com a qual eu nao estou de acordo

http://www.brasilescola.com/matematica/distancia-entre-dois-pontos.htm

ela aparece em praticamente todos os textos que tratam do assunto
sejam livros do ensino medio ou livros de calculo

abracos
P

-- Original Message ---
From: Tony Marmo  
To: Joao Marcos , Lista acadêmica brasileira dos 
profissionais e estudantes da área de LOGICA  
Sent: Wed, 17 Apr 2013 23:57:23 -0300 
Subject: Re: [Logica-l] the death of proofs

> João, 
> 
> Para contribuir para essa discussão que você instaurou aqui, pergunto o 
> seguinte: você poderia dar exemplo de uma prova comumente encontrada em 
> livros de lógica, ou artigos, sejam de natureza introdutória, sejam mais 
> avançados, com qual você não esteja de acordo? 
> 
> Muito obrigado se você tiver algo em mente que possa comentar. 
> 
> Em 17 de abril de 2013 22:01, Joao Marcos  escreveu: 
> 
> > o artigo já tem 20 aninhos, mas só recentemente dias me chamaram a 
> > atenção para ele: 
> > 
> >   http://www.math.uh.edu/~tomforde/Articles/DeathOfProof.pdf 
> > 
> > "Computers are transforming the way mathematicians discover, prove and 
> > communicate ideas, but is there a place for absolute certainty in this 
> > brave new world?" 
> > 
> > Para tempos em que se discute abertamente se a noção de *rigor* em uma 
> > demonstração matemática "é só um ritual do qual os matemáticos 
> > gostariam de se livrar"... 
> > jm 
> > 
> > -- 
> > 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 
--- End of Original Message ---
 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Manifesto a favor da Open Access Publication

[Jorge Petrucio Viana]

nao sei se todos ja assistiram

desculpem-me se ha repeticao

abracos
P

http://www.youtube.com/watch?v=L5rVH1KGBCY 

animado pelo pessoal da PHD Comics 
sobre o problema dos journals pagos e defende as publicações de acesso livre
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] LSFA 2012 - extended submission deadline

[Jorge Petrucio Viana]

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

* Extended submission deadline 
** June 22th, 2012 

LSFA 2012: Call For Papers

7th Workshop on Logical and Semantic Frameworks, with Applications

Rio de Janeiro, Brazil
September 29-30, 2012
http://www.uff.br/lsfa/

Important Dates

Paper submission deadline: June 22th, 2012 (extended)
Author notification: July 14th, 2012
Camera-ready: August 5th, 2012
Conference: September 29-30, 2012

Invited speakers (confirmed)

* Torben Brauner (Roskilde University, Denmark)
* Maribel Fernandez (King´s College London, UK)
* Edward Hermann Haeusler (PUC-Rio, Brazil)
* Alexandre Miquel (Universite Paris 7, France)

Logical and semantic frameworks are formal languages used to represent
logics, languages and systems. These frameworks provide foundations
for formal specification of systems and programming languages,
supporting tool development and reasoning.

In its seventh edition, the workshop will be at Pontificia
Universidade Católica do Rio de Janeiro (PUC-Rio). Previous editions
of this conference were held in Belo Horizonte (2011), Natal (2010),
Brasilia (2009), Salvador (2008), Ouro Preto (2007), Natal (2006).

The objective of this workshop is to put together theoreticians
and practitioners to promote new techniques and results, from the
theoretical side, and feedback on the implementation and the use of
such techniques and results, from the practical side.

Topics of interest to this forum include, but are not limited to:

* Logical frameworks
* Proof theory
* Type theory
* Automated deduction
* Semantic frameworks
* Specification languages and meta-languages
* Formal semantics of languages and systems
* Computational and logical properties of semantic frameworks
* Implementation of logical and/or semantic frameworks
* Applications of logical and/or semantic frameworks

LSFA 2012 also aims to be a forum for presenting and discussing work
in progress, and therefore to provide feedback to authors on their
preliminary research.

This year post-proceedings will be published as in previous years.
After the workshop, according to the quantity and quality of selected
papers, the authors will be invited to submit full versions of their
works that will be also reviewed to high standards.
Post-proceedings and Special Issues were already published in the
Logic Journal of IGPL, the Journal of Algorithms, ENTCS, and TCS.

Submissions

Contributions should be written in English and submitted in the form
of full papers (with a maximum of 16 pages) or short papers (with
a maximum of 6 pages). They must be unpublished and not submitted
simultaneously for publication elsewhere. The papers should be prepared
in latex using EPTCS style. The submission should be in the form of a
PDF file uploaded to LSFA 2012 page at Easychair

until the (extended) submission deadline in June 22th, by midnight,
Central European Standard Time (GMT+1).

The workshop pre-proceedings, containing the reviewed extended
abstracts, will be handed-out at workshop registration and the
proceedings will be published as a volume of EPTCS.

After the workshop, according to the quantity and quality of selected
papers, the authors will be invited to submit full versions of their
works that will be also reviewed to high standards.

At least one of the authors should register at the conference.

The paper presentation should be in English.

Scientific Committee

* Carlos Areces (Univeridad Nacional de Cordoba, Argentine)
* Arnon Avron (Tel-Aviv University, Israel)
* Patrick Baillot (Ens de Lyon, France)
* Veronica Becher (Universidad de Buenos Aires, Argentine)
* Marcelo Coniglio (Unicamp, Brazil)
* Thierry Coquand (University of Gothenburg, Sweden)
* Hans van Ditmarsch (University of Sevilla, Spain)
* Clare Dixon (The University of Liverpool, UK)
* Marcelo Finger (IME-USP, Brazil)
* Edward Hermann Haeusler (PUC-Rio, Brazil)
* Delia Kesner (Universite Paris Diderot, France) (co-chair)
* Luis da Cunha Lamb (UFRGS, Brazil)
* Ian Mackie (Ecole Polytechnique, France)
* Joao Marcos (UFRN, Brazil)
* Georg Moser (University of Innsbruck, Austria)
* Koji Nakazawa (Kyoto University, Japan)
* Vivek Nigam (Ludwig-Maximilians-Universitat Munchen, Germany)
* Luca Paolini (Universita di Torino, Italy)
* Elaine Pimentel (Univalle, Colombia)
* Simona Ronchi Della Rocca (Universita di Torino, Italy)
* Mauricio Ayala-Rincon (UnB, Brazil)
* Luis Menasche Schechter (UFRJ, Brazil)
* Sheila Veloso (UFRJ, Brazil)
* Daniel Ventura (UFG, Brazil)
* Petrucio Viana (UFF, Brazil) (co-chair)

Organization

* Departamento de Ciência da Computação, UnB
* Departamento de Filosofia, Departamento de Informática, PUC-Rio
* Instituto de Matemática e Estatística, UFF

Organizing Committee

* Christiano Braga (UFF)
* Renata d

[Logica-l] LSFA 2012

[Jorge Petrucio Viana]

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

**
*** Extended **
** submission deadline **
**   June 22th, 2012 **
**

LSFA 2012: Call For Papers

7th Workshop on Logical and Semantic Frameworks, with Applications

Rio de Janeiro, Brazil
September 29-30, 2012
http://www.uff.br/lsfa/

Important Dates

Paper submission deadline: June 22th, 2012 (extended)
Author notification: July 14th, 2012
Camera-ready: August 5th, 2012
Conference: September 29-30, 2012

Invited speakers (confirmed)

* Torben Brauner (Roskilde University, Denmark)
* Maribel Fernandez (King´s College London, UK)
* Edward Hermann Haeusler (PUC-Rio, Brazil)
* Alexandre Miquel (Universite Paris 7, France)

Logical and semantic frameworks are formal languages used to represent
logics, languages and systems. These frameworks provide foundations
for formal specification of systems and programming languages,
supporting tool development and reasoning.

In its seventh edition, the workshop will be at Pontificia
Universidade Católica do Rio de Janeiro (PUC-Rio). Previous editions
of this conference were held in Belo Horizonte (2011), Natal (2010),
Brasilia (2009), Salvador (2008), Ouro Preto (2007), Natal (2006).

The objective of this workshop is to put together theoreticians
and practitioners to promote new techniques and results, from the
theoretical side, and feedback on the implementation and the use of
such techniques and results, from the practical side.

Topics of interest to this forum include, but are not limited to:

* Logical frameworks
* Proof theory
* Type theory
* Automated deduction
* Semantic frameworks
* Specification languages and meta-languages
* Formal semantics of languages and systems
* Computational and logical properties of semantic frameworks
* Implementation of logical and/or semantic frameworks
* Applications of logical and/or semantic frameworks

LSFA 2012 also aims to be a forum for presenting and discussing work
in progress, and therefore to provide feedback to authors on their
preliminary research.

This year post-proceedings will be published as in previous years.
After the workshop, according to the quantity and quality of selected
papers, the authors will be invited to submit full versions of their
works that will be also reviewed to high standards.
Post-proceedings and Special Issues were already published in the
Logic Journal of IGPL, the Journal of Algorithms, ENTCS, and TCS.

Submissions

Contributions should be written in English and submitted in the form
of full papers (with a maximum of 16 pages) or short papers (with
a maximum of 6 pages). They must be unpublished and not submitted
simultaneously for publication elsewhere. The papers should be prepared
in latex using EPTCS style. The submission should be in the form of a
PDF file uploaded to LSFA 2012 page at Easychair

until the (extended) submission deadline in June 22th, by midnight,
Central European Standard Time (GMT+1).

The workshop pre-proceedings, containing the reviewed extended
abstracts, will be handed-out at workshop registration and the
proceedings will be published as a volume of EPTCS.

After the workshop, according to the quantity and quality of selected
papers, the authors will be invited to submit full versions of their
works that will be also reviewed to high standards.

At least one of the authors should register at the conference.

The paper presentation should be in English.

Scientific Committee

* Carlos Areces (Univeridad Nacional de Cordoba, Argentine)
* Arnon Avron (Tel-Aviv University, Israel)
* Patrick Baillot (Ens de Lyon, France)
* Veronica Becher (Universidad de Buenos Aires, Argentine)
* Marcelo Coniglio (Unicamp, Brazil)
* Thierry Coquand (University of Gothenburg, Sweden)
* Hans van Ditmarsch (University of Sevilla, Spain)
* Clare Dixon (The University of Liverpool, UK)
* Marcelo Finger (IME-USP, Brazil)
* Edward Hermann Haeusler (PUC-Rio, Brazil)
* Delia Kesner (Universite Paris Diderot, France) (co-chair)
* Luis da Cunha Lamb (UFRGS, Brazil)
* Ian Mackie (Ecole Polytechnique, France)
* Joao Marcos (UFRN, Brazil)
* Georg Moser (University of Innsbruck, Austria)
* Koji Nakazawa (Kyoto University, Japan)
* Vivek Nigam (Ludwig-Maximilians-Universitat Munchen, Germany)
* Luca Paolini (Universita di Torino, Italy)
* Elaine Pimentel (Univalle, Colombia)
* Simona Ronchi Della Rocca (Universita di Torino, Italy)
* Mauricio Ayala-Rincon (UnB, Brazil)
* Luis Menasche Schechter (UFRJ, Brazil)
* Sheila Veloso (UFRJ, Brazil)
* Daniel Ventura (UFG, Brazil)
* Petrucio Viana (UFF, Brazil) (co-chair)

Organization

* Departamento de Ciência da Computação, UnB
* Departamento de Filosofia, Departamento de Informática, PUC-Rio
* Instituto de Matemá

[Logica-l] Extended deadline - EBL 2011 - Call for contributions

[Jorge Petrucio Viana]

*** Extended deadline for submission of papers: *** 
*** February 29, 2012 *** 

Call for papers for the EBL 2011 post-conference special issues of 

The Journal of Applied Non-classical Logics 
http://jancl.e-revues.com/acceuil.jsp 

(please use Latex style sheet at 
http://jancl.e-revues.com/appel.jsp) 

and 

The Logic Journal of the IGPL 
http://jigpal.oxfordjournals.org/ 

(please prepare plain Latex file following author's guide at 
http://www.oxfordjournals.org/our_journals/igpl/for_authors.html) 

We invite all contributing authors from EBL 2011 to submit a full version 
of their EBL 2011 paper presented at the conference, as well as papers of 
general interest within the conference themes. 

We also extend this invitation to the EBL 2011 plenary speakers, 
who can submit papers related to their talks at the conference 
or papers of general interest within the conference themes. 

All submissions will be subjected to the usual refereeing process 
adopted by those publications. 

Please submit the file(s) prepared according to the instructions 
of the journal of your choice via the EasyChair page for EBL 2011 
(https://www.easychair.org/conferences/?conf=ebl2011) 
by February 29th, 2012 (extended deadline). 

Decision notifications and acceptance will be communicated by 
July 31st 2012. 

Walter Carnielli 
Renata de Freitas 
Petrucio Viana 
(guest editors) 

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

Re: [Logica-l] trabalho do Nelson

[Jorge Petrucio Viana]

Ops,

obrigado Marcelo
por me mostrar a luz:-)

abracos a todos e desculpem-me pela questao sem sentido

P

-- Original Message ---
From: Marcelo Finger  
To: Jorge Petrucio Viana  
Cc: Lista acadêmica br , Rodrigo Freire 
 
Sent: Thu, 29 Sep 2011 13:54:14 -0300 
Subject: Re: [Logica-l] trabalho do Nelson

> Petrucio.
> > De acordo com o segundo Teorema de Incompletude, 
> > PA nao prova Con(PA) e PA nao prova naoCON(PA). 
> > Assim, PA nao e trivial. 
> >
> Eu acho q o resultado é SE PA É CONSISTENTE ENTÃO PA nao prova Con(PA) .  A 
> hipótese de consistência é fortemente usada na prova.
> []s
> Marcelo
> Sent from my Xoom tablet
> Em 29/09/2011 13:19, "Jorge Petrucio Viana"  escreveu:
> >
> > Ola para todos, 
> > parabens pela discussao sobre o Resultado do Nelson. 
> > A lista as vezes se perde, mas nesses momentos ela mostra bem a que veio! 
> >
> > Ha um ponto nesta discussao toda que eu nao entendi 
> > (deve ser simples de entender mas eu nao consigo ver e 
> > tambem nao estou entrando a fundo no argumento do Nelson, 
> > mas apenas manipulando as informacoes que me chegam). 
> >
> > De acordo com o segundo Teorema de Incompletude, 
> > PA nao prova Con(PA) e PA nao prova naoCON(PA). 
> > Assim, PA nao e trivial. 
> >
> > De acordo com o Resultado do Nelson, 
> > PA e inconsistente. 
> > Assim, PA e trivial. 
> >
> > Logo, Nelson contradiz o segundo teorema, nao? 
> > Ele nao esta usando a Logica Classica? 
> >
> > abracos 
> > Petrucio 
> >
> > -- Original Message --- 
> > From: Rodrigo Freire  
> > To: Marcelo Finger  
> > Cc: Lista acadêmica brasileira dos profissionais e estudantes da área de 
> > LOGICA  
> > Sent: Thu, 29 Sep 2011 09:20:09 -0300 
> > Subject: Re: [Logica-l] trabalho do Nelson 
> >
> > > Olá Marcelo 
> > > 
> > > O que encontramos já está publicado aqui: 
> > > 
> > > http://golem.ph.utexas.edu/category/2011/09/the_inconsistency_of_arithmeti.html#c039554
> > >  
> > > 
> > > Daniel e eu estudamos o manuscrito ontem e está aí o resumo do que é 
> > > relevante para o problema. (É o mesmo erro que o Terence Tao apontou 
> > > antes). 
> > > 
> > > Nesse mesmo link há comentários do Terence Tao explicando o problema de 
> > > um 
> > > modo ligeiramente diferente. 
> > > 
> > > Abraço 
> > > Rodrigo 
> > > ___ 
> > > Logica-l mailing list 
> > > Logica-l@dimap.ufrn.br 
> > > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l 
> > --- End of Original Message --- 
--- End of Original Message ---
 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] trabalho do Nelson

[Jorge Petrucio Viana]

Ola para todos,
parabens pela discussao sobre o Resultado do Nelson.
A lista as vezes se perde, mas nesses momentos ela mostra bem a que veio!

Ha um ponto nesta discussao toda que eu nao entendi
(deve ser simples de entender mas eu nao consigo ver e
tambem nao estou entrando a fundo no argumento do Nelson,
mas apenas manipulando as informacoes que me chegam).

De acordo com o segundo Teorema de Incompletude,
PA nao prova Con(PA) e PA nao prova naoCON(PA).
Assim, PA nao e trivial.

De acordo com o Resultado do Nelson,
PA e inconsistente.
Assim, PA e trivial.

Logo, Nelson contradiz o segundo teorema, nao?
Ele nao esta usando a Logica Classica?

abracos
Petrucio

-- Original Message ---
From: Rodrigo Freire  
To: Marcelo Finger  
Cc: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA 
 
Sent: Thu, 29 Sep 2011 09:20:09 -0300 
Subject: Re: [Logica-l] trabalho do Nelson

> Olá Marcelo 
> 
> O que encontramos já está publicado aqui: 
> 
> http://golem.ph.utexas.edu/category/2011/09/the_inconsistency_of_arithmeti.html#c039554
>  
> 
> Daniel e eu estudamos o manuscrito ontem e está aí o resumo do que é 
> relevante para o problema. (É o mesmo erro que o Terence Tao apontou antes). 
> 
> Nesse mesmo link há comentários do Terence Tao explicando o problema de um 
> modo ligeiramente diferente. 
> 
> Abraço 
> Rodrigo 
> ___ 
> Logica-l mailing list 
> Logica-l@dimap.ufrn.br 
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l 
--- End of Original Message ---
 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] inconsistency of P

[Jorge Petrucio Viana]

Ola para todos,

circula na rede uma msg postada por Edward Nelson

http://en.wikipedia.org/wiki/Edward_Nelson

na lista de discussoes sobre a fundamentacao da matematica,
na qual ele afirma ter provado a inconsistencia da Aritmetica de Peano.

Ate o momento nao vi ninguem se pronunciar sobre o trabalho,
que se encontra em

http://www.math.princeton.edu/~nelson/books.html

http://www.math.princeton.edu/~nelson/papers/outline.pdf

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

Re: [Logica-l] Hotel Hilbert

[Jorge Petrucio Viana]

Caros filologicos
no sitio

www.uff.br/grupodelogica/hotel_hilbert_slides.pdf

voces podem encontrar a aula que eu Renata de Freitas preparamos sobre esse 
tema a alguns semestres atras.
La voces verao algumas dicas que mostram a engenharia do Hotel Hilbert nao e 
tao simples quanto esse video 
parece supor...

abracos
Petrucio

-- Original Message ---
From: Jaison Schinaider 
To: logica-l@dimap.ufrn.br
Sent: Sat, 6 Aug 2011 17:38:26 -0300
Subject: [Logica-l] Hotel Hilbert

> Vídeo de aproxidamente 10 minutos da Equipe M3 da UNICAMP sobre o Hotel de
> Hilbert. Este vídeo pode ser mostrado também na escola (ou em cursos que não
> sejam das exatas), pois sua linguagem é facilmente compreendida por qualquer
> pessoa, mesmo não sendo alguém que estude matemática.
> 
> http://www.youtube.com/watch?feature=player_embedded&v=pjOVHzy_DVU
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
--- End of Original Message ---

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

[Logica-l] Tese sobre produti vidade x ética

[Jorge Petrucio Viana]

Talvez seja do interesse de alguns membros da lista...

 Tese da USP aponta para possibilidade de comportamento
 antiético na publicação de artigos científicos brasileiros

 http://www.jornaldaciencia.org.br/Detalhe.jsp?id=78553

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

Re: [Logica-l] Digest Logica-l, volume 54, assunto 30

[Jorge Petrucio Viana]

Caros filolistas,

uma tabela como esta, embora bem vinda, pois poupa o tempo de quem esta 
procurando a classificacao de um periodico eh, de uma certa forma, 
desnecessaria (o Qualis ja tem uma tabela com mecanismo de busca) e, o que 
talvez seja ainda pior, trai os proprios ideais do Qualis (Sim, eles existem, e 
nao sao tao ruins assim. O que e ruim e o uso que a propria academica faz do 
Qualis).

O objetivo nao e, de forma nenhuma, que as pessoas so publiquem nos 
periodicos/congressos que estao listados.
Pelas diretrizes, quando um brasileiro publica nos ultimos anos em um 
periodico/congresso que nao esta listado, ele passa a ser considerado para a 
confeccao da proxima tabela e os periodicos que nao aceitaram publicacoes de 
brasileiros saem da tabela.
]
Pelo que me informaram, a tabela eh elaborada desta forma para ser usada no 
julgamento de instituicoes/programas e nao no julgamento individual de 
pesquisadores.

Mas, como sempre, ninguem le (ou finge que nao le) as letrinhas miudas do 
contrato...

abracos,
P.

-- Original Message ---
From: sam...@ufba.br 
To: logica-l@dimap.ufrn.br 
Sent: Sat, 28 Aug 2010 13:15:33 -0300 
Subject: Re: [Logica-l] Digest Logica-l, volume 54, assunto 30

> Olá a todos, 
> 
> Joao Marcos, muito obrigado ! Acho que a comunidade de lógicos do   
> Brasil espera que vc mantenha atualizacoes dessa lista nos próximos   
> anos, conforme forem sendo mudadas as listas Qualis a cada triênio...   
> Arrumaste um trabalhinho para o resto da carreira !!! 8-) 
> 
> E claro, vc tem razao, o meu comentário sobre "publicacoes top" é  
> *segundo a avaliacao da CAPES*... O dia que eu publicar algo na   
> Fundamenta Mathematicae, terei certeza de que é uma "publicacao top",  
> mesmo sendo B1 na lista... 
> 
> Até, 
> 
> []s  Samuel 
> 
> Quoting logica-l-requ...@dimap.ufrn.br: 
> 
> > Enviar submissões para a lista de discussão Logica-l para 
> > logic...@dimap.ufrn.br 
> > 
> > Para se cadastrar ou descadastrar via WWW, visite o endereço 
> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l 
> > ou, via email, envie uma mensagem com a palavra 'help' no assunto ou 
> > corpo da mensagem para 
> > logica-l-requ...@dimap.ufrn.br 
> > 
> > Você poderá entrar em contato com a pessoa que gerencia a lista pelo 
> > endereço 
> > logica-l-ow...@dimap.ufrn.br 
> > 
> > Quando responder, por favor edite sua linha Assunto assim ela será 
> > mais específica que "Re: Contents of Logica-l digest..." 
> > 
> > 
> > Tópicos de Hoje: 
> > 
> >    1. Seminarios do LOLITA nesta Segunda (Regivan Santiago) 
> >    2. Qualis 2010: *conferências internacionais* na área de Lógica 
> >       em Computação (Joao Marcos) 
> >    3. Qualis 2010: *periódicos* que publicam artigos na área de 
> >       Lógica (Joao Marcos) 
> >    4. Re: Qualis 2010: *periódicos* que publicam artigos na área de 
> >       Lógica (Valeria de Paiva) 
> >    5. Re: "Ladeira abaixo na lista da Qualis" (Joao Marcos) 
> >    6. Pedido de artigos sobre revisão de crenças (Gärdenfors) 
> >       (Diego Fernandes) 
> >    7. [OFF topic] ainda sobre divulgação de matemática (Joao Marcos) 
> > 
> > 
> > -- 
> > 
> > Message: 1 
> > Date: Fri, 27 Aug 2010 12:15:20 -0300 
> > From: Regivan Santiago  
> > Subject: [Logica-l] Seminarios do LOLITA nesta Segunda 
> > To: Regivan Santiago  
> > Cc: Alunos Doutorado DIMAp , Daniel 
> > Durante , ma...@cos.ufrj.br, Usuários LCC 
> > , STAFF , "Soc Bras 
> > Mat. 
> > Aplic. e Comp- Regional 03" , 
> > alu...@engcomp.ufrn.br, Maria da Paz , Alunos 
> > Mestrado 
> > Dimap , logic...@dimap.ufrn.br 
> > Message-ID: <9b5f7a1e-bbd6-4972-beae-592c71ae2...@gmail.com> 
> > Content-Type: text/plain; charset=iso-8859-1 
> > 
> > Caríssimos, 
> > 
> > mais uma palestra no LoLITA, desta vez: 
> > 
> > Lógica Dinâmica e Álgebras de Processo 
> > 
> > Prof. Mario Benevides (COPPE-UFRJ) 
> > 
> > Local: Sala de Reuniões do DIMAp 
> > Data: Segunda 30/08/2010 às 10:00hs 
> > 
> > Resumo: CSS (Calculus of Communication Systems) é uma linguagem   
> > algébrica de especificação de comunicação e sincronização em   
> > sistemas concorrentes proposta por Robin Milner. Ela trata da   
> > interação entre processos através de ações de comunicação. Uma   
> > especificação em CCS é uma descrição do comportamento do sistema em   
> > função dos eventos de comunicação que ocorrem. 
> > 
> > Lógica Dinâmica Proposicional PDL tem um papel importante na   
> > especificação de propriedades de programas. Várias propostas têm   
> > sido feitas de se ter uma contrapartida lógica para CCS. As mais   
> > conhecidas são: Lógica de Hennessy-Milner, a Lógica Dinâmica   
> > Concorrente CPDL e channel-CPDL de David Peleg. A primeira é   
> > simplesmente uma lógica multi-modal com 
> > uma modalidade para cada porta (ação) de comunicação. A segunda e a   
> > terceira são lógi

Re: [Logica-l] Editorial da ACM por M. Vardi

[Jorge Petrucio Viana]

Na minha opiniao (eu sei que ninguem perguntou:-) hypercriticality nao e bem o 
nosso problema. 
O que temos por aqui e permissividade ou (exclusivo) revanchismo, que sao 
coisas um pouco diferentes do que Moshe esta dfizendo no editorial.

Petrucio

-- Original Message ---
From: Joao Marcos  
To: Mario Benevides  
Cc: logica-l  
Sent: Wed, 11 Aug 2010 10:33:29 +0200 
Subject: Re: [Logica-l] Editorial da ACM por M. Vardi

> > Achei este editorial muito interessante e gostaria de compartilhar com 
> > todos. Me parece interessante a idéia de escrever uma revisão de trabalhos 
> > dos outros como fosse do nosso próprio trabalho. 
> > 
> > http://doi.acm.org/10.1145/1785414.1785415 
> 
> "Respeito" é algo que realmente nunca deve ser perdido de vista --- 
> mas sem chegar ao nível de subserviência...  Assim como devemos ter 
> algum tato e exercitarmos o famoso bom senso para escrever o que 
> gostaríamos de ler, e sermos construtivos nos nossos comentários, 
> também temos que saber como receber críticas, sem levar para o "lado 
> pessoal". 
> 
> Abs, JM 
> 
> -- 
> http://sequiturquodlibet.googlepages.com/ 
> (in absentia, post-doc in cives vindobonensis) 
> ___ 
> Logica-l mailing list 
> Logica-l@dimap.ufrn.br 
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l 
--- End of Original Message ---
 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Problema da geracao finita

[Jorge Petrucio Viana]

Caros filolistas,

a solucao -- demasiadamente elegante:-) -- para o problema da geraco finita 
apresentada pelo Francicleber me parece correta, do modo que o problema foi 
enunciado!!!

Mas nao se aplica, pelo que vejo, ao caso em que temos como entrada
que R e S sao distintos.

Alguma nova ideia?

abracos,
P.

-- Original Message ---
From: "Francicleber M. Ferreira"  
To: Jorge Petrucio Viana  
Cc: logica-l@dimap.ufrn.br 
Sent: Thu, 13 May 2010 10:04:56 -0300 
Subject: Re: [Logica-l] sugiro banir desta lista pessoas que ficam 
deliberadamente ofendendo e ameaçando algum do s demais participantes, tais 
como o Eduardo Ochs

> Olá Petrúcio, 
> 
> Pelo que entendi, a entrada do Problema da Geração Finita é um 
> programa Pr qualquer que decide R, um programa Ps qualquer que decide 
> S (onde S é um subconjunto de R), um número natural n e programas P1, 
> ..., Pn quaisquer que computam op1, ..., opn (tais que qualquer 
> elemento de R pode ser obtido a partir de elementos de S através de um 
> número finito de aplicações das operações op1, ..., opn). A saída é 
> sim caso exista um subconjunto finito F de S cujo fecho com relação a 
> op1, ..., opn é igual a R e não caso contrário. 
> 
> Note que se esse problema for decidível, também é decidível o 
> "Problema da Finitude," cuja entrada é um programa Pr qualquer que 
> decide R. A saída é sim se R for finito e não caso contrário. Ou seja, 
> esse problema é o de decidir se R é finito olhando apenas para um 
> programa que decide R. 
> 
> Para ver isso, basta fazer Ps = Pr, n = 1 e op1 a função identidade. 
> Então rodar o programa que decide o Problema da Geração Finita. 
> 
> A partir do Problema da Finitude, dá para resolver o Problema da 
> Parada. Seja P um programa qualquer e m uma entrada qualquer para P. 
> Considere o conjunto 
> 
> R(P,m) = { i \in N | P não para em i passos na entrada m}. 
> 
> Esse conjunto é decidível. Além disso é fácil construir um programa 
> que decide R(P,n) a partir de P e m. Também é verdade que R(P,m) é 
> finito se e somente se P pára na entrada m. 
> 
> Logo, poderíamos resolver o problema da parada da seguinte forma. 
> Dados P e m, construímos um programa Prpm que decide R(P,m) e passamos 
> como entrada para o Problema da Finitude. Esse por sua vez utiliza a 
> solução do Problema da Geração Finita e resolve o Problema da Parada. 
> 
> A solução acima mostra que o Problema da Geração Finita não é 
> decidível. Não sei se ele é sequer semi-decidível. 
> 
> Por favor, confira se a solução que eu sugiro resolve o problema. 
> 
> Abraços, 
> 
> Francicleber 
> 
> 2010/5/12 Jorge Petrucio Viana : 
> > Caros filolistas, 
> > 
> > Esqueci de dizer no meu email que a pergunta que me interessa diretamente e 
> > a de se o 
> > 
> > Problema da geracao finita 
> > 
> > e decidivel ou nao... 
> > Ele tem a maior cara de indecidivel, mas eu nao consegui um argumento. 
> > 
> > abracos, 
> > Petrucio 
> > 
> > -- Original Message --- 
> > From: Marcelo Finger  
> > To: Jorge Petrucio Viana  
> > Cc: logica-l@dimap.ufrn.br 
> > Sent: Wed, 12 May 2010 12:21:47 -0300 
> > Subject: Re: [Logica-l] sugiro banir desta lista pessoas que ficam 
> > deliberadamente ofendendo e ameaçando algum do s demais participantes, tais 
> > como o Eduardo Ochs 
> > 
> >> Oi Petrúcio. 
> >> 
> >> Considere a R= aritmética de pressburguer (0,',+) e S = a aritmética 
> >> só com 0 e ' (sucessor). Ambos são recursivos. V aplica + a S e obtem 
> >> R, mas não de uma forma finita. 
> >> 
> >> Ou seja, acho que a resposta é não, se bem que precisa elaborar bem o 
> >> argumento acima. 
> >> 
> >> []s 
> >> 
> >> Marcelo 
> >> 
> >> Considere R como AP, o cj de fórmulas verdadeiras na Artimética da 
> >> Peano. Considere Q o cj que a artimética (acho que devido a Kleene, 
> >> vere.g. Boolos & Jeffrey ou Carnielli & Epstein), que é o seu S. Tanto 
> >> V obtem AP adicionando infinitas fórmulas 
> >> 
> >> 2010/5/12 Jorge Petrucio Viana : 
> >> > Ola para todos, 
> >> > 
> >> > gostaria de obter referencias ou comentarios sobre o seguinte problema: 
> >> > 
> >> > É dado um conjunto R e um conjunto S que gera R. 
> >> > Existe um subconjunto finito F de S que tambem gera R? 
> >> > 
> >> > Em outras palavras, (*, **, *** e  remetem a explicacoes intuivas 
> >> > das 
> >> > nocoes empregadas): 
> >> > 
> >> > PR

Re: [Logica-l] sugiro banir desta lista pessoas que fi cam deliberadamente ofendendo e ameaçando algum d o s demais participantes, tais como o Eduardo Och s

[Jorge Petrucio Viana]

Caros filolistas,

Esqueci de dizer no meu email que a pergunta que me interessa diretamente e a 
de se o

Problema da geracao finita

e decidivel ou nao...
Ele tem a maior cara de indecidivel, mas eu nao consegui um argumento.

abracos,
Petrucio

-- Original Message ---
From: Marcelo Finger  
To: Jorge Petrucio Viana  
Cc: logica-l@dimap.ufrn.br 
Sent: Wed, 12 May 2010 12:21:47 -0300 
Subject: Re: [Logica-l] sugiro banir desta lista pessoas que ficam 
deliberadamente ofendendo e ameaçando algum do s demais participantes, tais 
como o Eduardo Ochs

> Oi Petrúcio. 
> 
> Considere a R= aritmética de pressburguer (0,',+) e S = a aritmética 
> só com 0 e ' (sucessor). Ambos são recursivos.  V aplica + a S e obtem 
> R, mas não de uma forma finita. 
> 
> Ou seja, acho que a resposta é não, se bem que precisa elaborar bem o 
> argumento acima. 
> 
> []s 
> 
> Marcelo 
> 
> Considere R como AP, o cj de fórmulas verdadeiras na Artimética da 
> Peano.  Considere Q o cj que a artimética (acho que devido a Kleene, 
> vere.g. Boolos & Jeffrey ou Carnielli & Epstein), que é o seu S. Tanto 
> V obtem AP adicionando infinitas fórmulas 
> 
> 2010/5/12 Jorge Petrucio Viana : 
> > Ola para todos, 
> > 
> > gostaria de obter referencias ou comentarios sobre o seguinte problema: 
> > 
> > É dado um conjunto R e um conjunto S que gera R. 
> > Existe um subconjunto finito F de S que tambem gera R? 
> > 
> > Em outras palavras, (*, **, *** e  remetem a explicacoes intuivas das 
> > nocoes empregadas): 
> > 
> > PROBLEMA da geracao finita 
> > 
> > Dados: Um conjunto universo U*, um subconjunto recursivo** R de U, um 
> > subconjunto recursivo S de R, e operacoes recursivas*** op1, op2, ..., opn 
> > de R em R, tais que qualquer elemento u de R pode ser obtido a partir 
> > de 
> > elementos de S por um numero finito de aplicacoes das operacoes op1, op2, 
> > ..., opn. 
> > 
> > Questao: Existe um subconjunto finito F de S, tal que, para todo elemento u 
> > de U: 
> > u pertence a R se e somente se u pode ser obtido a partir de elementos de F 
> > por um numero finito de aplicacoes das operacoes op1, op2, ..., opn? 
> > 
> > * cada elemento de U possui uma representacao finita; 
> > 
> > ** ou seja, decidivel, ou seja, para o qual existe um algoritmo A que 
> > processa elementos de U como entrada e produz SIM ou NAO como saida; de 
> > modo 
> > que quando A inicia o processamento com um elemento u de U, A termina o 
> > processamento e responde SIM se e somente se u e um elemento de R. 
> > 
> > *** ou seja, computaveis, ou seja, para cada operacao opi existe um 
> > algoritmo Ai que processa elementos de U como entrada e produz elementos de 
> > u como saida; de modo que quando Ai inicia o processamento com um elemento 
> > u 
> > de U, Ai termina o processamento produzindo o elemento opi(u). 
> > 
> >  ou seja, que quando aplicada a elementos de R fornece elementos de R 
> > como resultado. 
> > 
> > Agradeco de antemao qualquer sugestao que voces possam me enviar... 
> > 
> > abracos, 
> > Petrucio 
> > 
> > -- Original Message --- 
> > From: "Pedro H. Zambrano"  
> > To: logica-l@dimap.ufrn.br 
> > Sent: Tue, 11 May 2010 19:26:34 -0500 
> > Subject: Re: [Logica-l] sugiro banir desta lista pessoas que ficam 
> > deliberadamente ofendendo e ameaçando algum dos demais participantes, tais 
> > como o Eduardo Ochs 
> > 
> >> Prezados membros da lista: 
> >> 
> >> Nas listas nas quais estou inscrito (esta lista e algumas outras na Europa 
> >> e na América Latina), o pessoal manda informação sobre eventos acadêmicos, 
> >> posições em universidades e informação desse tipo ... achava muito legal 
> >> que 
> >> nesta lista, por ter membros que são de formação filósofos (eu sou 
> >> matemático de formação), além disso as vezes encontrava discussões muito 
> >> interessantes -mesmo eu não participasse delas-. 
> >> 
> >> Mas sobre os últimos temas off-topic, concordo com a Carolina. Além de 
> >> ficar com medo da lista, estou começando a ficar entediado pois acho que 
> >> essas "discussões" estão muito longe do objetivo da lista. 
> >> 
> >> Espero que em breve a lista volte à direção para a qual foi feita, pois é 
> >> uma pena que vire uma lista de brigas sem sentido. 
> >> 
> >> Atenciosamente, 
> >> Pedro Zambrano. 
> >> Bogotá - Colômbia. 
> >> 
> >> P.S.: Mil disculpas pelo

Re: [Logica-l] sugiro banir desta lista pessoas que fi cam deliberadamente ofendendo e ameaçando algum d o s demais participantes, tais como o Eduardo Och s

[Jorge Petrucio Viana]

Ola para todos,

gostaria de obter referencias ou comentarios sobre o seguinte problema:

É dado um conjunto R e um conjunto S que gera R.
Existe um subconjunto finito F de S que tambem gera R?

Em outras palavras, (*, **, *** e  remetem a explicacoes intuivas das 
nocoes empregadas):

PROBLEMA da geracao finita

Dados: Um conjunto universo U*, um subconjunto recursivo** R de U, um 
subconjunto recursivo S de R, e operacoes recursivas***  op1, op2, ..., opn de 
R em R, tais que qualquer elemento u de R pode ser obtido a partir de 
elementos de S por um numero finito de aplicacoes das operacoes op1, op2, ..., 
opn.

Questao: Existe um subconjunto finito F de S, tal que, para todo elemento u de 
U:
u pertence a R se e somente se u pode ser obtido a partir de elementos de F por 
um numero finito de aplicacoes das operacoes op1, op2, ..., opn?

* cada elemento de U possui uma representacao finita;

** ou seja, decidivel, ou seja, para o qual existe um algoritmo A que processa 
elementos de U como entrada e produz SIM ou NAO como saida; de modo que quando 
A inicia o processamento com um elemento u de U, A termina o processamento e 
responde SIM se e somente se u e um elemento de R.

*** ou seja, computaveis, ou seja, para cada operacao opi existe um algoritmo 
Ai que processa elementos de U como entrada eproduz elementos de u como saida; 
de modo que quando Ai inicia oprocessamento com um elemento u de U, Ai termina 
o processamento produzindo o elemento opi(u).

 ou seja, que quando aplicada a elementos de R fornece elementos de R como 
resultado.

Agradeco de antemao qualquer sugestao que voces possam me enviar...

abracos,
Petrucio

-- Original Message ---
From: "Pedro H. Zambrano"  
To: logica-l@dimap.ufrn.br 
Sent: Tue, 11 May 2010 19:26:34 -0500 
Subject: Re: [Logica-l] sugiro banir desta lista pessoas que ficam 
deliberadamente ofendendo e ameaçando algum dos demais participantes, tais como 
o Eduardo Ochs

> Prezados membros da lista:
> 
> Nas listas nas quais estou inscrito (esta lista e algumas outras na Europa e 
> na América Latina), o pessoal manda informação sobre eventos acadêmicos, 
> posições em universidades e informação desse tipo ... achava muito legal que 
> nesta lista, por ter membros que são de formação filósofos (eu sou matemático 
> de formação), além disso as vezes encontrava discussões muito interessantes 
> -mesmo eu não participasse delas-.
> 
> Mas sobre os últimos temas off-topic, concordo com a Carolina. Além de ficar 
> com medo da lista, estou começando a ficar entediado pois acho que essas 
> "discussões" estão muito longe do objetivo da lista.
> 
> Espero que em breve a lista volte à direção para a qual foi feita, pois é uma 
> pena que vire uma lista de brigas sem sentido.
> 
> Atenciosamente,
> Pedro Zambrano.
> Bogotá - Colômbia.
> 
> P.S.: Mil disculpas pelos possíveis erros no meu português ... espero que de 
> para entender.
> 
> 
> 
>  
> 
> 
> Caros professores,
> 
> Juro que gostaria de fazer um comentário mais útil, discutir algum problema, 
> encaminhar algum email de evento interessante.
> Lamento muito por não ter nada...
> Me interesso pelo assunto, tenho dúvidas, acho que há outros colegas aqui na 
> mesma situação.
> Longe de mim querer criticar supostos comentários off-topic. Na verdade, 
> creio que alista deveria ser mais ativa.
> Mas últimamente tudo tem parecido um grande piada de mal gosto,
> me desculpem, começo a ter medo desta lista...
> 
> Atenciosamente
> 
> Carolina Blasio
> 
> -- 
> PEDRO ZAMBRANO
> Universidad Nacional de Colombia
> Bogotá - Colombia
--- End of Original Message ---
 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] obrigado por Peirce 1870

[Jorge Petrucio Viana]

Obrigado a todos os que me enviaram o Peirce 1870.

Infelizmente (ou, na verdade, felizmente), varias 
msgs com as copias atadas chegaram mais rapido do 
que eu pude avisar na lista que a primeira copia ja 
havia sido recebida.

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

[Logica-l] artigo Peirce 1870

[Jorge Petrucio Viana]

Caros amigos logicos,
algum de voces tem acesso ao artigo abaixo e, se sim, poderia me enviar uma 
copia dele?

C. S. Peirce.
Description of a Notation for the Logic of Relatives, Resulting from an 
Amplification of
the Conceptions of Boole's Calculus of Logic.
Memoirs of the American Academy of Arts and Sciences, New Series, Vol. 9, No. 2 
(1873),
pp. 317-378 

* Published by: American Academy of Arts & Sciences
* Stable URL: http://www.jstor.org/stable/25058006

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

Re: [Logica-l] Paul Watzlawick, o teorema de Göde l e o Tractatus de Wittgenstein

[Jorge Petrucio Viana]

Olá para todos.

Para que possa ser aplicado a um sistema formal SF, o Teorema de Gödel, supõe 
cinco propriedades que, em termos não técnicos, podem ser assim formuladas:

1. SF tem um conjunto de axiomas tal que se pode reconhecer mecanicamente 
quando uma dada expressão escrita na linguagem de SF é ou não um axioma;

2. SF tem um conjunto de regras de inferências tal que se pode reconhecer 
mecanicamente quando uma dada sequência de expressões escrita na linguagem de 
SF é ou não uma instância de aplicação de uma das regras; 
 
3. A noção de prova utilizada em SF é finitária (ou seja, as provas são 
finitas);

4. SF só prova verdades;

5. SF prova uma porção significativa de resultados da Teoria dos Números.

Todas estas propriedades podem ser formuladas formalmente mas o ponto importnte 
é que é possível encontrar sistemas formais interessantes que não respeitam 
qualquer combinação delas e, portanto, para os quais o Teorema de Godel nã pode 
ser aplicado.

abraços,
P.

-- Original Message ---
From: Decio Krause  
To: Marcelo Finger  
Cc: logica-l@dimap.ufrn.br 
Sent: Mon, 3 Aug 2009 15:20:53 -0300 
Subject: Re: [Logica-l] Paul Watzlawick, o teorema de Gödel e o Tractatus de 
Wittgenstein

> Boa, Marcelo
> Acrescento que o texto afirma que "demonstra de uma vez para sempre que 
> qualquer sistema formal (matemático, simbólico etc.) é necessariamente 
> incompleto no sentido acima estabelecido". Claro que isso não vale para 
> *qualquer* sistema, como usualmente se fala na literatura não especializada. 
> Agora, eu sou meio cético com isso de aplicar os resultados de Gödel fora do 
> estrito contexto no qual ele foi formulado. Acho que há muita *viagem* nisso. 
> Outra coisa que favorece essas divagações é a física quântica. 
> Abraços,
> Décio
> 
> 
> 
> 
> 
> 
> _
> Décio Krause
> Departamento de Filosofia
> Universidade Federal de Santa Catarina
> 88040-970 Florianópolis, SC - Brasil
> www.cfh.ufsc.br/~dkrause
> 
> "People complain that our generation has no philosophers. Quite unjustly: it 
> is merely that today's philosophers sit in another department, their names 
> are Planck and Einstein." (C. Seelig, 1952,  apud E. Scheibe 2001).   
> 
> Em 03/08/2009, às 14:21, Marcelo Finger escreveu:demonstra de uma vez para 
> sempre que qualquer sistema formal (matemático, simbólico etc.) é 
> necessariamente incompleto no sentido acima estabelecido 
--- End of Original Message ---
 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Fw: Divulgação Concurso Matemá tica UFF /Rio das Ostras

[Jorge Petrucio Viana]

Talvez interesse a alguem, na lista...

abracos

- Forwarded Message ---
From: Ana Isabel Spinola  
To: Ana Isabel Spinola  
Sent: Mon, 18 May 2009 10:26:17 -0300 
Subject: Divulgação Concurso Matemática UFF/Rio das Ostras

Caros colegas

Está aberto o edital do concurso para duas vagas de professor adjunto 40h/DE, 
para a área de Matemática, para o Departamento de Ciência e Tecnologia, da UFF, 
em Rio das Ostras. O concurso vai ser realizado de 8 a 12 de junho e as 
inscrições se encerram em 29 de maio. Consultem o site da COPEMAG em 
http://www.uff.br/copemag/editais/editais.php
Peço que me ajudem a divulgar esse concurso, devido ao atraso no edital e ao 
curto tempo de inscrição.

Qualquer dúvida, podem entrar em contato comigo.

Obrigada.

-- 
-

Ana Isabel de Azevedo Spinola Dias
Prof. Associado I
Diretora da Faculdade Federal de Rio das Ostras 
PURO - UFF

---

--- End of Forwarded Message ---

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

[Logica-l] WR x Godel

[Jorge Petrucio Viana]

WR, Godel and the Diagonal.

 http://imgs.xkcd.com/comics/fetishes.png

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

[Logica-l] P=NP

[Jorge Petrucio Viana]

-- Forwarded Message ---
From: "Petar Markovic"  
To: univ...@yahoogroups.com 
Sent: Fri, 13 Mar 2009 15:42:25 - 
Subject: [univalg] P=NP

Dear friends,

I just got informed of a paper that was recently posted on arXiv which 
supposedly proves P=NP. The author is supposed to be a professional 
mathematician with a PhD from SUNY Buffalo (according to the K-theorist who 
told me of it), so it is at least conceivable that he got it, though not very 
likely. Ralph McKenzie, George McNulty and I are looking for holes now, but 
perhaps you would like to join in the fun. Here is the link:

http://arxiv.org/abs/0812.1385

Petar Markovic

__._,_.___

Messages in this topic  (1)Reply  (via web post) | Start a new topic

Messages | Links | Database | Polls | Members | Calendar

Change settings via the Web (Yahoo! ID required) 
Change settings via email: Switch delivery to Daily Digest | Switch format to 
Traditional 
Visit Your Group  |Yahoo! Groups Terms of Use  |Unsubscribe

Recent Activity

 1

New Members

Visit Your Group

Group Charity

City Year

Young people who

change the world

All-Bran

Day 10 Club

on Yahoo! Groups

Feel better with fiber.

Yahoo! Groups

Cat Owners Group

Connect and share with

others who love their cats

.

__,_._,___

--- End of Forwarded Message ---

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

Re: [Logica-l] versoes da biblioteca de babel

[Jorge Petrucio Viana]

Isso me lembra um diálogo entre dois poetas, vamos chamá-los P1 e P2:

P1 -- E aí, que tal o meu poema?

P2 -- Se você pegar um grupo de 5.000 macacos, colocá-los a digitar teclas de 
    um teclado de modo aleatório, e der tempo suficiente, você terminará 
    obtendo a Comédia de Dante.

P1 -- Tá, mas e o meu poema?

P2 -- 2 macacos em cinco minutos!

abraços,
P.
-- Original Message ---
From: BEZIAU Jean-Yves  
To: "logica-l@dimap.ufrn.br"  
Sent: Tue, 27 Jan 2009 11:56:18 +0100 
Subject: [Logica-l] versoes da biblioteca de babel

> Rocha, nao conheci essa versao - pode me dar a referencia exata do artigo? 
> Se voce - ou alguem da lista - conhece outras versoes, pode me communicar, 
> agradeco. 
> JYB 
> 
> *** 
> 
> Na área da Inteligência Artificial, o argumento entrou, pelas mãos de 
> Allen e Newell, com o nome de "Paradoxo da Biblioteca do British Museum": 
> 
>   Se você pegar um grupo de macacos, colocá-los a digitar teclas de 
>   um teclado de modo aleatório, e der tempo suficiente, você terminará 
>   obtendo toda a coleção de livros disponíveis na biblioteca do 
>   British Museum. 
> 
> Não importa se realmente é um paradoxo, ou não. Importa é que é uma versão 
> "computacional" do argumento. 
> 
> Fico aguardando seu artigo. 
> 
> Abraços, 
> 
> Rocha 
> 
> > Rocha 
> > 
> > Conheco muito bem o argumento que voce esta avancando 
> > é uma coisa muito conhecido 
> > exprimido pelo Borges com a biblioteca de babel 
> > e foi exprimido de muitas outras maneira diferentes 
> > 
> > atraves dessas variacoes tem sempre a mesma ideia: 
> > o cunjunto de todas coisas resulta de combinacao de alguns elementos 
> > primitivos 
> > 
> > filosoficamente é uma ideia bem grosseira 
> > 
> > estou escrevendo no momento um artigo sobre isso 
> > depois mandarei para voce 
> > 
> > JYB 
> ___ 
> Logica-l mailing list 
> Logica-l@dimap.ufrn.br 
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l 
--- End of Original Message ---
 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] The Reasoner 2(12) available to download

[Jorge Petrucio Viana]

The latest issue of The Reasoner is now freely available for download in pdf 
format at 
http://www.thereasoner.org/

Contents: 
Editorial - David Corfield 
Interview with Tom Leinster - David Corfield 
The Paradox of Omnipotence: Not for an omnipotent God - Alex Blum 
Liars, Divine Liars and Semantics - Martin Cooke 
Van Fraassen on Presupposition and Self-Reference - X.Y. Newberry 
The Formal Epistemology Project - Igor Douven & Sebastian Sequoiah-Grayson 
British Logic Colloquium, 4-6 September - Natasha Alechina & Fahad Khan 
Kazimierz Naturalism Workshop, 6-10 September - Marcin Milkowski 
The Place of Epistemic Agents, 2-3 October - Alberto Rubio & Mario Santosk 
Logic programming - Koen Vervloesem 
W. V. Quine, Mathematical Logic - Benjamin L. Curtis

The Reasoner (www.thereasoner.org) is a monthly digest highlighting exciting 
new research on reasoning, inference and method broadly construed. It is 
interdisciplinary, 
covering research in, e.g., philosophy, logic, AI, statistics, cognitive 
science, 
law, psychology, mathematics and the sciences.

The Reasoner welcomes submissions: 
- Submitted articles (100-1000 words) 
- Submitted items of news 
- Letters 
- Conference announcements 
- Job announcements 
- Advertisements

If you would like to be alerted by email when an issue becomes available, 
please email 
[EMAIL PROTECTED] with "SUBSCRIBE" as subject.

Jon Williamson, Editor 
Federica Russo, Assistant Editor

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

Re: [Logica-l] construtivismos o u não -construtivis mos

[Jorge Petrucio Viana]

Eu sei provar que a raiz nésima de 2 é irracional, para todo n>2, n natural.

É assim (escrevendo raizn(2) para a raiz nésima de 2 e a^b para a elevado a b):

Suponha que raizn(2) = p/q, onde p,q são inteiros não nulos.
Daí, 2 = p^n / q^n.
Ou seja, 2 q^n = p ^n.
Ou, ainda, q^n + q^n = p^n.
Mas esta última igualdade contradiz o Último Teorema de Fermat.

Para provar que a raiz nésima de 3 é irracional, para todo n>2, 
n natural, precisa aplicar o

Último Teorema de Fermat Generalizado:
A equação a^n + b^n + ... + c^n = d^n não possui solução
para inteiros não nulos a,b,c,...,d e para todo n>2, n natural.

P.

-- Original Message ---
From: "Joao Marcos" <[EMAIL PROTECTED]> 
To: "Daniel Durante" <[EMAIL PROTECTED]> 
Cc: logica-l@dimap.ufrn.br 
Sent: Fri, 3 Oct 2008 18:16:16 -0300 
Subject: Re: [Logica-l] construtivismos ou não-construtivismos

> >> Tome a = sqrt(2) e b = 2log_2(3). 
> >>     Obviamente, b é irracional, pois se log_2(3) = m/n, 
> >>          então 3^n, que é ímpar, é igual a 2^m, que é par. 
> >> Mas note que a^b = 3. 
> > 
> > Fim de papo, graças ao Errett Bishop, apud Gabriel Stolzenberg, apud João 
> > Marcos sabemos que há pelo menos um número racional, o 3, que é resultado 
> > da 
> > potência de dois números irracionais. E no Bishop eu confio. Sei que não é 
> > dado a crendices :) 
> > 
> > Mas e o 2 hein? será que ele também é o resultado da potência de dois 
> > números irracionais?? 
> 
> Claro!  Basta usar a mesma idéia e tomar a = sqrt(3) e b = 2log_3(2). 
> (Bom, suponho que posso convencê-lo de que sqrt(3) é irracional...) 
> 
> * * * 
> 
> Isto nada diz, claro, sobre o problema anterior apresentado pelo Ricardo. 
> 
> * * * 
> 
> Permanece ainda a minha questão sobre a infinidade dos primos à 
> Euclides e a aparentemente infinita "capacidade de surpresa" dos 
> intuicionistas... 
> 
> * * * 
> 
> JM 
> 
> -- 
> My homepage: 
> http://sequiturquodlibet.googlepages.com/ 
> ___ 
> Logica-l mailing list 
> Logica-l@dimap.ufrn.br 
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l 
--- End of Original Message ---
 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Demonstrações matemáticas

[Jorge Petrucio Viana]

Caro Paulo,
a questao e, simplesmente, fundamental (relativa aos fundamentos).
Aqui estamos falando de "fundamentos praticos" ---e nao formais---
da matematica.

Certamente, este texto de TN que voce estava estudando assume como
postulados (alem de uma teoria ingenua  dos conjuntos e o raciocinio logico
do tipo usando em matematica) os tres postulados que Dedekind selecionou
para fundamentar os numeros naturais.
Pois bem, em estudos de fundamentacao deste tipo, todos os enunciados 
verdadeiros devem ser justificados (provados) a partir dos postulados (na 
linguagem da TC e usando a logica) a partir dos postulados previamente
selecionados.
Assim, a prova de que nao existe um numero natural entre zero e um deve
ser apresentada, uma vez que este enunciado nao foi  escolhido com um
postulado.

Alem deste, todos os outros enunciados verdadeiros que nao sao
postulados devem vir acompanhados de provas que os justifiquem.
Esta e a regra do jogo e, como dizia o Vicente Mateus de cima de sua
grande sabedoria: quem esta na chuva e pra se queimar...

P.

-- Original Message ---
From: "Paulo - yahoo" <[EMAIL PROTECTED]> 
To: "logica-l"  
Sent: Fri, 12 Sep 2008 17:31:01 -0300 
Subject: [Logica-l] Demonstrações matemáticas

> Entrei nesta lista recentemente e, pelo que pude perceber,
> muitos dos participantes são matemáticos.
>  
> Não sou matemático (sou licenciado em Matemática), mas tenho uma curiosidade 
> que
> talvez seja pertinente ao tema desta lista:
>  
> - Há alguns anos, quando estava estudando Teoria dos Números, deparei-me com 
> um exercício (já resolvido
> no livro) que pedia o seguinte:  "No conjunto dos números naturais, mostre 
> que, entre 0 e 1,
> não existe nenhum outro número" (estou citando de cabeça - talvez o enunciado
> seja ligeiramente diferente).
>  
> - Li a demonstração, que não é muito difícil (embora sozinho eu não tivesse, 
> nem tenha, como
> condições de criar uma demonstração como aquela) e, de fato, ficou provado 
> que entre 0 e 1
> (nos "Naturais" não há outro número).
>  
> Minha pergunta é a seguinte:
>  
> - Se a questão se restringe ao conjunto dos "Naturais"  (0, 1, 2, ...), não é 
> imediato que
> não existem números inteiros entre dois números consecutivos ?   Para que 
> serve uma
> demonstração como essa ?
>  
> - A mim pareceu que essa demonstração foi feita apenas porque "é possível 
> fazer".  Talvez,
> mesmo sendo desnecessária, como a demonstração é possível de ser realizada, 
> haveria
> um certo "deleite intelectual" em realizá-la.
>  
> Enfim, demonstrar que entre 0 e 1 não há outro número natural é apenas um 
> "exercício intelectual",
> ou em Teoria dos Números constitui-se em uma necessidade básica ?
>  
> Grato pela atenção de todos.
> Paulo
--- End of Original Message ---
 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l