BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260415T052401Z
DTSTART;TZID=America/Lima:20251209T090000
DTEND;TZID=America/Lima:20251214T170000
SUMMARY:Workshop on Theories of Definition\, The 8th World Congress on Universal Logic (UNILOG)
UID:20260415T184404Z-iCalPlugin-Grails@philevents-web-f5d4878dd-x5n6c
TZID:America/Lima
LOCATION:Universidad Nacional de San Antonio Abad del Cusco\, Paraninfo Universitario\, Peru
DESCRIPTION:<p><strong>Workshop on Theories of Definition</strong></p>\n<p><strong>In memory of </strong><a href="https://plato.stanford.edu/entries/al-din-al-razi/"><strong>Fakhr al-Dīn al-Rāzī</strong></a><strong> (1149&ndash\;1210)</strong></p>\n<p><strong>Part of the 8th World Congress on Universal Logic (UNILOG)</strong></p>\n<p>Cusco\, Peru &mdash\; December 9&ndash\;14\, 2025</p>\n<p><strong>Organizers</strong></p>\n<p>Sherif Salem\, University Canada West\, Canada<br> Email: gamalsalem.sherif@gmail.com</p>\n<p><strong>Description</strong></p>\n<p>The nature of meaning and definition has been a cornerstone of philosophical inquiry and logical analysis since antiquity. Every major philosophical tradition has developed distinct conceptions of what it means to <em>define</em>\, reflecting diverse assumptions about their philosophical methodologies.</p>\n<p>This workshop aims to explore the theory of definition across historical and contemporary perspectives\, examining its role in logic\, metaphysics\, epistemology\, and the philosophy of science. Contributions may address the topic from formal\, historical\, linguistic\, or applied perspectives\, including the implications of definability in AI and computational reasoning.</p>\n<p><strong>Suggested (but not limited to) Topics</strong></p>\n<ul>\n<li>Definitions in non-Aristotelian logics (e.g.\, Islamic\, Buddhist\, or modern symbolic systems)</li>\n<li>The definitional regress problem: can definitions ever terminate?</li>\n<li>The role of definitions in conceptual engineering and revisionary metaphysics</li>\n<li>Definability and conservativity: what can (and cannot) be introduced by definition in a formal system?</li>\n<li>Definitional equivalence and intertranslatability of theories</li>\n<li>The role of definition in the formation and revision of scientific concepts</li>\n<li>The interplay between definition and measurement in the natural and social sciences</li>\n<li>Symbol grounding and the definitional problem in machine learning</li>\n<li>Can LLMs define? On definitional reasoning and language models</li>\n<li>Are definitions essential for explainable AI?</li>\n<li>Definition and intensionality: Frege\, Carnap\, Kripke\, and beyond</li>\n<li>Indefinability results in mathematics and logic (e.g. Tarski\, G&ouml\;del)</li>\n</ul>\n<p><strong>Submission Details</strong></p>\n<p>Please submit a one-page abstract by November 15\, 2025 (just let me know ahead if you&rsquo\;ll be submitting late) to:<br> gamalsalem.sherif@gmail.com</p>\n<p>Presentation length: 30 minutes (including discussion).</p>\n<p>Selected papers will be chosen a few days after submission and will be invited for publication in a journal at a later stage.</p>\n<p>A roundtable discussion with all speakers will conclude the workshop.</p>
ORGANIZER;CN=Sherif Salem:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR