CFP: Logic, Reasoning, and Cognitive Sciences

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: [email protected]

Notifications of acceptance and rejection within days of submission.