Consulta sobre Periódicos de Lógica- Portal de Periódicos Capes

[Hugo Luiz Mariano]

Car@s colegas,

Gostaríamos de solicitar que participem, através do preenchimento deste google forms, da consulta sobre Periódicos de Lógica que você gostaria de ter acesso, mas que no momento não estão disponíveis através do Portal de Periódicos da Capes: https://www.periodicos.capes.gov.br/

Atenciosamente,

Hugo Mariano, em nome da diretoria da SBL 

[Walter Carnielli]

Caro Hugo, caros colegas:

Agradeço pela iniciativa de consultar a comunidade sobre os títulos
disponíveis na lista da CAPES e pela preocupação com o que ainda está
faltando.

Verifiquei que na lista da CAPES há 24 títulos nas áreas de lógica
matemática, lógica filosófica e lógica aplicada à computação e
engenharia (reproduzo a lista ao final desta mensagem-- se eu estiver
errado, me corrijam pf).

Certamente há muita coisa faltante. Gostaria de sugerir a inclusão dos
seguintes títulos:

Títulos relevantes ausentes (prioritários):

The Review of Symbolic Logic – Cambridge University Press

Studia Logica – Springer

Journal of Automated Reasoning – Springer

Notre Dame Journal of Formal Logic – Duke University Press

Logical Methods in Computer Science – Open Access (possível
acompanhamento institucional)

Philosophia Mathematica – Oxford University Press

Mathematical Structures in Computer Science – Cambridge University Press

Synthese – Springer

Erkenntnis – Springer

Australasian Journal of Logic – Open Access

Logic and Logical Philosophy – Nicolaus Copernicus University

Logica Universalis – Springer

Theoretical Computer Science – Elsevier (especialmente as seções
voltadas à lógica em ciência da computação)

ACM SIGLOG News / SIGLOG Quarterly – Association for Computing Machinery

Títulos complementares por subárea:

História da lógica e tradição clássica ou medieval:
15. Vivarium – Brill
16. Documenti e Studi Sulla Tradizione Filosofica Medievale – SISMEL /
Edizioni del Galluzzo
17. Archiv für Geschichte der Philosophie – De Gruyter
18. British Journal for the History of Philosophy – Taylor & Francis

Lógica e linguagem/ semântica formal:
19. Linguistics and Philosophy – Springer
20. Topoi – Springer

Argumentação, lógica informal e retórica:
21. Argumentation – Springer
22. Philosophy and Rhetoric – Penn State University Press
23. Cogency – Universidad Diego Portales (acesso aberto)

Lógica filosófica
24. Dialectica – Wiley

A seguir, reproduzo os 24 títulos que verifiquei como disponíveis (
na não muito amigável) lista da CAPES:

Logic (???)

Informal Logic

Argumentum: Journal of the Seminar of Discursive Logic, Argumentation
Theory and Rhetoric

Logic Journal of the IGPL

Bulletin of the Section of Logic

Modern Logic – Project Euclid

Baltic International Yearbook of Cognition, Logic and Communication – DOAJ

Algebra and Logic

Journal of Logic and Analysis

ACM Transactions on Computational Logic

Journal of Mathematical Logic

Studies in Logic, Grammar and Rhetoric – DOAJ

History and Philosophy of Logic – Taylor & Francis

Bulletin of Symbolic Logic

Journal of Philosophical Logic – Springer

Annals of Pure and Applied Logic

Journal of Logic and Computation – Oxford University Press

Journal of Logic, Language and Information – Springer

Archive for Mathematical Logic

Mathematical Logic Quarterly – Wiley

Logic in Computer Science (LICS)

Multiple-Valued Logic, International Symposium on – IEEE Xplore

Field Programmable Logic and Applications

The Journal of Symbolic Logic – Association for Symbolic Logic

Abraços da Polonia,
Walter





Em sáb., 11 de out. de 2025 às 18:28, Hugo Luiz Mariano
<hug...@ime.usp.br> escreveu:

> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
> ---
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
> Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4Pqhg8JqUg%2BF8snh6niAtpTqkFO2j%3Dz4G6OEb23AVF24t3Q%40mail.gmail.com.



--
========================
Walter Carnielli
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil

AI2- Advanced Institute for Artificial Intelligence
Blog https://waltercarnielli.com/

https://www.name-coach.com/walter-carnielli

[Joao Marcos]

Viva, Walter:

Excelente iniciativa, sem dúvida! Talvez a SBL possa aproveitar para
esclarecer o que será feito com a lista que estamos construindo em
conjunto?

Acrescento abaixo alguns comentários:

> Certamente há muita coisa faltante. Gostaria de sugerir a inclusão dos
> seguintes títulos:
>
> Títulos relevantes ausentes (prioritários):
>
> The Review of Symbolic Logic – Cambridge University Press
>
> Studia Logica – Springer
>
> Journal of Automated Reasoning – Springer
>
> Notre Dame Journal of Formal Logic – Duke University Press
>
> Logical Methods in Computer Science – Open Access (possível
> acompanhamento institucional)
>
> Philosophia Mathematica – Oxford University Press
>
> Mathematical Structures in Computer Science – Cambridge University Press
>
> Synthese – Springer
>
> Erkenntnis – Springer
>
> Australasian Journal of Logic – Open Access
>
> Logic and Logical Philosophy – Nicolaus Copernicus University
>
> Logica Universalis – Springer
>
> Theoretical Computer Science – Elsevier (especialmente as seções
> voltadas à lógica em ciência da computação)
>
> ACM SIGLOG News / SIGLOG Quarterly – Association for Computing Machinery

Com exceção do Notre Dame Journal of Formal Logic, _todos_ estes
periódicos já estão disponíveis através do Portal de Periódicos CAPES!
(O Mathematical Structures in Computer Science e o Logic and Logical
Philosophy são open access.)

A propósito, dei-me conta hoje de que também está disponível através
do Portal de Periódicos CAPES ---finalmente!!--- o Logic Journal of
IGPL.

> Títulos complementares por subárea:
>
> História da lógica e tradição clássica ou medieval:
> 15. Vivarium – Brill
> 16. Documenti e Studi Sulla Tradizione Filosofica Medievale – SISMEL /
> Edizioni del Galluzzo
> 17. Archiv für Geschichte der Philosophie – De Gruyter
> 18. British Journal for the History of Philosophy – Taylor & Francis
>
> Lógica e linguagem/ semântica formal:
> 19. Linguistics and Philosophy – Springer
> 20. Topoi – Springer

Não faço uso e não cheguei a verificar os itens de 15 a 17, mas noto
que os itens 18, 19 e 20 também já estão disponíveis através do Portal
de Periódicos da CAPES.

> Argumentação, lógica informal e retórica:
> 21. Argumentation – Springer
> 22. Philosophy and Rhetoric – Penn State University Press
> 23. Cogency – Universidad Diego Portales (acesso aberto)
>
> Lógica filosófica
> 24. Dialectica – Wiley

Os itens 21 a 24 estão todos igualmente disponíveis através do Portal
de Periódicos da CAPES.

Além do NDJFL, sugeri mais cedo a inclusão dos seguintes periódicos
tradicionais:
(1) Journal of Applied Non-Classical Logics
(2) Logique et Analyse
(3) Journal of Multiple-Valued Logic and Soft Computing

Não cheguei a sugerir a inclusão do seguinte periódico, do qual sou
editor, pois até o momento todos os artigos foram publicados em open
access:
https://www.mdpi.com/journal/logics

> Abraços da Polonia,

Abraços mexicanos,
Joao Marcos


--
https://sites.google.com/site/sequiturquodlibet/

[Walter Carnielli]

Viva João, 

Beleza- então, como eu suspeitava e temia, procurei mal no Portal de Periódicos da CAPES ...

Ao fritar dos ovos,   falta então somente: 

(1) NDJFL

(2) Journal of Applied Non-Classical Logics
(3) Logique et Analyse
(4) Journal of Multiple-Valued Logic and Soft Computing

É  isso?

Abraços, cada um de um lado do mundo,

W.

 ========================
 Walter Carnielli
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil

 AI2- Advanced Institute for Artificial Intelligence 

Blog https://waltercarnielli.com/

https://www.name-coach.com/walter-carnielli

[Gilberto Gomes]

A diferença encontrada nos periódicos disponíveis provavelmente se deve ao fato de que o Portal da Capes na verdade tem duas listas, uma de periódicos acessíveis a qualquer pessoa, e outra de periódicos sujeitos a assinatura especial da instituição, paga, que é acessível apenas nos computadores das universidades.

--

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

Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLcR7ahQtaVA0aeeAc7gMVWyR2jnpuiHfJZJA87ZOmY1Hw%40mail.gmail.com.

Gilberto Gomes

Associate Professor 

PGCL - Graduate Program in Cognition and Language

CCH - UENF - Northern Rio de Janeiro State University

[Itala Maria Loffredo Dottaviano]

Colegas:

Sugiro também acrescentarmos o Polish

 Edukacja Filozoficzna.

Abraços,

itala

Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABFfDvWWwQtKk52m%2BVVvwyCxHW%3DbJaQX2NMrxBP-ANZmdnxy7g%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.