Informo que houve um erro na divulgação do horário desta palestra que estamos organizando, com María Manzano. Ela ocorrerá nesta 3a-feira às 11:00 horário de Brasília (14:00 GMT), e não às 9:00.
Joao Marcos On Tue, Apr 1, 2025 at 2:36 PM Joao Marcos <[email protected]> wrote: > > The DLMPST Commission on Logic Education > https://dlmps.org/pages/commissions.php > invites you to a webinar on logic education > by Professor María Manzano. > > Date: Apr 8, 2025 > > Time: 9:00 GMT-3 > > Zoom link: > https://cmi-ac-in.zoom.us/j/89497108451?pwd=rLl7QvAfnfJHTxp5h6ZVoZzyGuvNQQ.1 > Meeting ID: 894 9710 8451 > Passcode: udayana > > Talk details: > > Tools for teaching logic > > María Manzano > Salamanca, Spain > > I will tell you about the European ALFA project on Tools for > Teaching Logic that we had last century and about the International > TTL Congresses that we held in 2000, 2006, 2011, 2015, and 2023. > > The first goal of the ALFA project was to share our experience as > teachers among Aracne members. We proposed: (1) the preparation of a > metabook (with hypertext version), (2) the design of an on-line > dictionary of logic terms, (3) the investigation of the existing > software for the teaching of logic, (4) the translation of both > elementary and interdisciplinary texts and software, (5) to help > potential authors to write lecture notes, (6) the dissemination of our > project both within our academic community and outside it (high > school), thus bolstering a good image of Logic and (7) to support > women’s participation in higher education. > > The network we created was interdisciplinary and included > professors and researchers from philosophy, mathematics, computer > science, and linguistics. Some of the results of the project can be > consulted on the Aracne website (aracne.usal.es.) and others in the > Summa Logicae digital library (logicae.usal.es) > > > Speaker Bio: > > María Gracia Manzano Arjona is a Spanish philosopher specializing > in mathematical logic and model theory. > > Manzano earned her Ph.D. in 1977 from the University of Barcelona. > Her dissertation, Sistemas generales de la lógica de segundo orden > [General systems of second-order logic], was supervised by Jesús > Mosterín. She is a professor of logic and the philosophy of science at > the University of Salamanca. > > She is the author of several books on logic and model theory. > > https://en.wikipedia.org/wiki/Mar%C3%ADa_Manzano -- https://sites.google.com/site/sequiturquodlibet/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- 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 [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lhqo_F4r8D_s_sQ7xKxCE2FgpqQjOu0LysDZ5f6bhPaCQ%40mail.gmail.com.
