Logic List Mailing Archive
CfP + CfWorkshops; List of allready announced workshops - 8th UNILOG, 4-14 December 2025, Cusco (Peru)
Comment by Moderator: This email merged four emails all related to Workshops at UNILOG
1. Call for workshops
2. On proper names
3. On Logic in the empirical sciences
4. Non-Classical Logics and Philosophy (Workshop dedicated to Newton da Costa)
5. Call for a workshop on relevance logics
0) The 8th UNILOG (World Congress and School on Universal Logic) will take place in Cusco, December 4-14, 2025:
https://sites.google.com/view/unilog2025/
20 years after the first edition in Montreux, Switzerland, in 2005, and there will be an excursion to Machu Picchu during the event, probably between the school and the congress.
As in previous editions, there will be a series of workshops.
To organize a workshop is fairly simple: we need a title, the name of the organizer(s), a short description of the topic followed by a list of 5/10 points, according to the same scheme as the workshops which are already on-line:
https://sites.google.com/view/unilog2025/workshops
In this page, besides the workshops which are already projected for the 8th edition, you can see the workshops at previous editions of UNILOG.
We are open to all aspects of logic: history, philosophy, mathematics, computation, semiotics, relations between logic and other fields.
See "Universal Logic: Evolution of a Project"
https://link.springer.com/article/10.1007/s11787-018-0194-7
Looking forward to seeing you in Cusco next December!
>------------------------------------------------------------------
Prof. Dr. Dr. Jean-Yves Beziau
Organizer of UNILOG, Editor-in-Chief Logica Universalis
Federal University of Rio de Janeiro, Brazil
https://www.philpeople.org/profiles/jean-yves-beziau
====
1) On proper names
At the 8th UNILOG which will take place next December in Cusco, Peru, there will be a workshop on proper names.
Send a one page abstract by September 30, more details here:
https://sites.google.com/view/unilog2025/proper-names
Organizers:
Jean-Yves Beziau, Federal University of Rio de Janeiro, Brazil
Takaharu Oda, Jiangsu University, Zhenjiang, China
====
2) Workshop: Logic and the Empirical Sciences Workshop at UNILOG 2025 (Cusco 9-14 December 2025) Submission deadline: 10 October 2025
Organiser:
- Eliot A. Flores Pillaca, Universidad Nacional de San Marcos (UNMSM,
Peru)
Website: https://philevents.org/event/show/140358
Conference dates:
Sometime between 9-14 December 2025
Conference Venue:
Universidad Nacional de San Antonio Abad del Cusco - UNSAAC Cusco, Peru
Logic has contributed to the development of cognitive sciences. The notion of reasoning as the calculation of representations has its antecedent in the logical definition of an argument. On the other hand, the idea of a mind that calculates is at the heart of the development of the most notable theory for cognitive science: the computational theory of mind. Classical CMT uses logical and mathematical models to characterize what the mind in general-and reasoning in particular-does:
compute (or calculate).
This workshop seeks to foster dialogue between logic and cognitive science. Topics of interest include, but are not restricted to, the
following:
- Logical form and compositionalism
- Logical form and iconicity
- The Halting problem
- The Busy beaver problem
- The logical Omniscience problem
- Logical models of reasoning
- Cognitive models of reasoning
- Montague grammar
We invite submissions of one-page abstracts by 10 October 2025 to:
eliot.flores@unmsm.edu.pe<mailto:eliot.flores@unmsm.edu.pe>
Notifications of acceptance and rejection within days of submission.
Duration of contributing talks is 30mn including discussion. There will be a round table at the end of the workshop with the participation of all the speakers.
===========
3) Non-Classical Logics and Philosophy (Workshop dedicated to Newton da
Costa)
Workshop at UNILOG 2025
Submission deadline: October 10, 2025
Website:
https://sites.google.com/view/unilog2025/workshops/non-classical-logics
Conference dates:
Sometime between 9-14 December 2025
Keynote speakers:
- Melvin Fitting (CUNY)
- Evandro Luis Gomes (UEM)
- Itala Maria Loffredo D'Ottaviano (UNICAMP)
Conference Venue:
Universidad Nacional de San Antonio Abad del Cusco - UNSAAC Cusco, Peru
Non-classical logics - such as paraconsistent, intuitionistic, relevant, many-valued, modal, and fuzzy logics - have become essential tools for challenging the boundaries of classical reasoning. They open new perspectives not only in mathematics and computer science but also in philosophy, epistemology, metaphysics, and ethics. This workshop aims to foster dialogue across disciplines and traditions by exploring the philosophical foundations, implications, and applications of non-classical logics.
Topics may include, but are not restricted to, the following questions:
- What are the philosophical motivations for adopting non-classical logics?
- How do different families of non-classical logics challenge classical notions of truth, validity, and consequence?
- What is the relationship between non-classical logics and concepts such as contradiction, vagueness, or modality?
- Can non-classical logics provide better accounts of reasoning in natural language, law, or ethics?
- How do non-classical logics connect to debates in metaphysics (e.g., identity, existence, modality)?
- What role do non-classical logics play in the philosophy of mathematics and formal ontology?
- Are there limits to non-classical logics, and do they require a meta-classical framework for their justification?
- How can comparisons across different non-classical systems enrich philosophical analysis?
- Do non-classical logics challenge the thesis of the universality and topic-neutrality of logic?
- What is the relation between (non-)classical logic and Aristotelian logic?
Submit a one page abstract by 10 October 2025 to:
l.bartolo@campus.lmu.de<mailto:l.bartolo@campus.lmu.de>.
Notifications of acceptance and rejection within days of submission.
Duration of contributing talks is 30mn including discussion. There will be a round table at the end of the workshop with the participation of all the speakers.
======
4) We are looking for some people who would like to organize a workshop at the forthcoming 8th UNILOG on Relevant Logics.
There is a "s" because the idea of universal logic is to develop a general theory of logical systems or families of logical systems.
See my papers "Why Logics?"
https://www.mdpi.com/2813-0405/1/3/7
People interested (a workshop can be organized by 1, 2 or 3 people) can contact me at jyb.unilog@gmail.com<mailto:jyb.unilog@gmail.com>
Here is an example of how to present a workshop at the forthcoming UNILOG:
Workshop on Artificial Intelligence
https://sites.google.com/view/unilog2025/workshops/artificial-intelligence
We hope to see many relevant logicians in Cusco!
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php