اقسام منطق منطق احتمالاتی منطق امری منطق توصیف منطق جبری منطق ریاضی منطق سه ارزشی منطق سه حالته منطق شهودی منطق فازی منطق فلسفی منطق کاربردی منطق کلاسیک...
36 KB (3,268 words) - 23:01, 14 April 2024
استفاده میشود. دیگر اَشکال معناشناسی زبانهای برنامهریزیشده، منطقهای مجرد و نشانهشناسی را شامل میشود. خود کلمه معناشناسی طیفی از عقاید، از عامیانه...
11 KB (965 words) - 23:02, 3 January 2024
حساب گزارهای (redirect from منطق گزارهها)
توصیف میکند. به علاوه ممکن است یک معناشناسی داده شود که درستی و ارزشگذاری را تعیین کند (همان تفسیرها). زبان یک منطق گزارهای تشکیل شده از موارد زیر است:...
53 KB (5,234 words) - 12:27, 4 November 2023
شهری که مراکز اصلی دولتی و قانونگذاری کشور ایران را در خود جای میدهد. معناشناسی زبان مصداقی زبان در عمل، راهنمایی درجهت درست اندیشیدن (انگلیسی) O'Grady...
2 KB (116 words) - 06:20, 10 November 2023
محمول (redirect from محمول (منطق ریاضیاتی))
(محمول در برابر موضوع با تبیین ماهیت و ذات موضوع یا جزئی از ماهیت موضوع). در منطق قدیم و در فلسفه هر گزاره را به دو بخشِ موضوع و محمول تقسیم میکنند. این نامگذاری...
4 KB (337 words) - 07:00, 16 May 2023
ارسطو (category تاریخ منطق)
رشتههای گوناگون، از جمله: فیزیک، متافیزیک، اخترشناسی، شعر، ادبیات، زیستشناسی، منطق، علم بیان، سیاست، دولت و اخلاق بودهاند. ارسطو به همراه سقراط و افلاطون از...
16 KB (943 words) - 19:18, 10 April 2024
ابن سینا (category تاریخ منطق)
پزشک، ریاضیدان، اخترشناس، فیزیکدان، شیمیدان، جغرافیدان، زمینشناس، شاعر، منطقدان، فیلسوف، موسیقیدان و دولتمرد ایرانی و از مشهورترین و تأثیرگذارترینِ...
75 KB (5,766 words) - 07:04, 26 March 2024
منطق مرتبهاول (به انگلیسی: First-order logic) مجموعهای از سیستمهای صوری است که به آن منطق محمولات یا منطق گزارهای (Predicate logic)، منطق سوری (به...
5 KB (383 words) - 20:08, 18 March 2022
مفهوم (فلسفه زبان) (category معناشناسی)
که یک نشانه به آنها اشاره دارد. بنگرید به: نشانههای دوگانه و مرجع (معناشناسی). بدون وجود نوعی اینتنژن، کلمه بیمعناست.[نیازمند منبع] برای مثال، اصطلاح...
5 KB (384 words) - 12:00, 18 December 2023
قیاس (redirect from قياس (منطق))
مقدمههای آن درست باشند، نتیجهٔ به دست آمده حتماً درست است. منظور از قیاس در منطق این است که هر گاه دو یا چند فرض را درست و مطمئن بدانیم و رابطهٔ این فرضها...
3 KB (315 words) - 03:49, 29 September 2023
نظریه مدل (redirect from مدل (منطق))
این نظریه به جبر مربوط میشود و از طرفی نگاه معناشناسی منطقی به ساختارها دارد که این نظریه را در دامنهٔ منطق ریاضی قرار میدهد. اساتید مختلف چند تعریف از...
4 KB (287 words) - 11:08, 29 December 2023