In memory of Marvin Minsky  (1927-2016). This workshop is part of the 8th World Congress on Universal Logic, that will take place in Cusco, Peru, December 9-14, 2025.  

Organizer

Keynote Speaker

Call for Papers

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).

Topics may include, but are not restricted to, the following questions:

 • 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

Submit a one page  abstract by October 15,  2025 to   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.

Accepted contributors will be invited to submit a full paper for inclusion in a volume on Logic, Reasoning, and Cognitive Sciences edited by the organizer following the workshop.