seminários sobre História da Lógica

[Joao Marcos]

A quem interessar possa:
https://sites.google.com/view/holnaples

%%%

The seminar series is inspired by some general principles. The
starting point is the idea that historical knowledge is a powerful
tool for understanding and advancing in all fields of science,
including formal sciences.

According to an established tradition, the study of the history of
practices and concepts in the formal sciences is of secondary
importance as compared to their understanding in abstract and purely
theoretical terms. On the contrary, we believe that even the most
technical and abstract notions or results are often best grasped by
tracing their roots back to their often lost origins, and by following
the steps of their evolution and development throughout decades,
centuries, possibly millennia.

With respect to formal sciences in general, the case of logic poses
some specific problems—related, for example, to the particular
relationship between logical abstraction and cognitive operations, or
between logical expression, writing, and computation, and finally with
respect to history itself. It has been argued that logic has no
history, because it is meant to reflect linguistic and/or ontological
structures that are essentially immutable. From our point of view,
studying the history of logic instead means gaining new and meaningful
insights about these structures by interpreting them from a
genealogical perspective.

In our view, logic is thus inseparable from its history. A history
which lies at the crossroads of many disciplines, such as philosophy,
mathematics, computer science, linguistics, cognitive sciences,
anthropology, educational studies, and so on. In organising these
seminar series, therefore, we hope to provide interested scholars with
historical insights from experts in these fields.

%%%

[]s, Joao Marcos

[Walter Carnielli]

Pessoal, Assunto de burocracia CNPqana:

A ditadura cibernética do CNPq não me deixa entrar na plataforma
Chagas. Já tentei de tudo: mudar de browser, apagar milhares de
cookies e o histórico, e nada. Só aparece isso:

"Não foi possível validar o token JWT."

Alguém sabe o que é esse tal de JWT e o que o bendito sistema quer "validar"?

Abraços,
Walter



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

Chapman University, Orange, CA, USA

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

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