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

بر اساس دیدگاه تجربه گرایان منطقی، که به دیدگاه مورد قبول شهرت دارد، نظریه علمی مجموعه ای از گزاره هاست که در منطق مرتبه اول صورت بندی می شوند. مطابق با دیدگاه رقیب که با نام دیدگاه معنایی یا غیرگزاره ای شناخته می شود، نظریه علمی مجموعه ای از مدل هاست. در این مقاله سعی می شود نشان داده شود که دیدگاه مورد قبول نمی تواند الگوی قابل قبولی از تعین نیروهای تعمیم یافته در مکانیک کلاسیک ارائه کند. بر این اساس در قسمت دوم، از ناوردایی معادلات لاگرانژ و استلزامات آن بحث می شود. در آخر این بخش این نکته مورد تاکید قرار می گیرد که ناوردایی معادلات لاگرانژ مستلزم این است که مقادیر فیزیکی هم جنس هم بعد نباشند. در بخش سوم، آخرین نسخه دیدگاه مورد قبول معرفی می شود. سپس صوری سازی مکانیک لاگرانژی در این دیدگاه ارزیابی و مشاهده می شود که این دیدگاه نمی تواند مقادیر فیزیکی هم جنس را به صورت یک سان متعین کند. در بخش آخر، دیدگاه معنایی سوپیز اسنید معرفی می شود و نسخه ساختاری مکانیک لاگرانژی مطرح خواهد شد. در نهایت نشان داده می شود که این دیدگاه می تواند مقادیر فیزیکی هم جنس را به صورت یک سان متعین کند