https://wikijoo.ir/index.php?action=history&feed=atom&title=%D8%B5%D9%88%D8%B1%D8%AA_%DA%AF%D8%B1%D8%A7%DB%8C%DB%8C_%D9%85%D9%86%D8%B7%D9%82%DB%8Cصورت گرایی منطقی - تاریخچهٔ نسخهها2026-05-04T01:54:36Zتاریخچهٔ نسخهها برای این صفحه در ویکیMediaWiki 1.41.0https://wikijoo.ir/index.php?title=%D8%B5%D9%88%D8%B1%D8%AA_%DA%AF%D8%B1%D8%A7%DB%8C%DB%8C_%D9%85%D9%86%D8%B7%D9%82%DB%8C&diff=2010077078&oldid=prevMohammadi2 در ۱۲ مهٔ ۲۰۲۰، ساعت ۱۸:۲۴2020-05-12T18:24:50Z<p></p>
<p><b>صفحهٔ تازه</b></p><div>صورتگرایی منطقی logical formalism<br />
<br />
(یا: فرمالیسم منطقی) نام دیگری برای محاسبۀ منطقی. در فلسفۀ ریاضیات، صورتگرا گزارههای ریاضی را رشتههای تعبیرنشدۀ نمادها میداند. ریاضیات نحو دارد اما علم معانی لغت (سمانتیک) ندارد. فایدۀ صورتگرایی فقط در این است که به ما امکان میدهد از بعضی مشاهدات به نتایج تجربی دیگری برسیم، اما هیچ موضوعی از آنِ خود ندارد. چنین موضعی را غالباً در استفاده از اعداد در روندهای تجربی شمارش و اندازهگیری ناکافی میدانند. اما صورتگرایی معتدل بعضی گزارههای عددی (مثلاً آنهایی که فقط شامل اعداد محدود و طبقات محدودی از اعداد هستند) را تعبیرپذیر میداند، در حالی که بقیۀ ریاضیات کلاسیک را نوعی «جعبۀ سیاه» یا ماشین صوری برای رساندن ما از بعضی گزارههای تعبیرپذیر به گزارههای دیگر تلقی میکند. نمونۀ آن کاربرد اعداد خیالی در محاسبه برای رساندن ما به اعداد حقیقی و سودمند است، اما هیچ مقدار فیزیکی به خود اعداد خیالی نسبت داده نمیشود.<br />
[[رده:ریاضیات]]<br />
[[رده:مفاهیم، اصطلاحات و شاخه ها]]</div>Mohammadi2