صوری‌‌سازی مکانیک لاگرانژی و ناوردایی معادلات لاگرانژ

ابوتراب یغمائی

دوره 5، شماره 9 ، فروردین 1394، ، صفحه 143-161

چکیده
  بر اساس دیدگاه تجربه‌گرایان منطقی، که به دیدگاه مورد قبول شهرت دارد، نظریة علمی مجموعه‌ای از گزاره‌هاست که در منطق مرتبة اول صورت‌بندی می‌شوند. مطابق با دیدگاه رقیب که با نام دیدگاه معنایی یا غیرگزاره‌ای شناخته می‌شود، نظریة علمی مجموعه‌‌ای از مدل‌هاست. در این مقاله سعی می‌شود نشان داده شود که دیدگاه مورد قبول نمی‌تواند الگوی ...  بیشتر