[ALI] Webinar on Logic Education by Prof. Maria Manzano | Today, Apr 8 2025

[Association for Logic in India]

==================

Talk announcement

==================

The DLMPST Commission on Logic Education 

 https://dlmps.org/pages/commissions.php

 invites you to a webinar on logic education 

 by Professor Maria Manzano.

  

 Date: Apr 8, 2025

  

 Time: 1000 New York, 1400 GMT, 1600 Amsterdam, 1930 Bangalore, 2200 (Beijing)

  

 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

  

       Maria 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