علامت (منطق)
در منطق، مخصوصا در منطق ریاضیاتی، علامت (به انگلیسی: signature)، «نمادهای غیرمنطقی» یک زبان صوری را فهرست و توصیف می کند. در جبر جهانی، کار علامت، فهرست کردن عملیاتهایی است که یک ساختار جبری را توصیف می کند. در نظریه مدل، علامتها برای هر دو منظور به کار میروند.
نقش علامت در ریاضیات، مشابه امضاهای نوع در زبانهای برنامهنویسی است. امضاها در «رفتارهای فلسفی منطق» به ندرت دیده می شوند.
منابع
- ↑ "Signature (logic)". Wikipedia (به انگلیسی). 2020-01-16.