The Logical Structure of Mathematical Physics

این کتاب در مورد نظریه های علمی از نوع خاصی است - نظریه های فیزیک ریاضی. نمونه هایی از این نظریه ها عبارتند از: مکانیک ذرات تیک کلاسیک و نسبیتی، الکترودینامیک کلاسیک، ترمودینامیک کلاسیک، مکانیک آماری، هیدرودینامیک و مکانیک کوانتومی. تقریباً، اینها تئوری هایی هستند که در آنها یک ساختار ریاضی خاص برای اظهار نظر در مورد بخشی از جهان به کار می رود. بیشتر کتاب صرفاً شرحی از این توصیف خشن از نظریه های فیزیک ریاضی است. استدلال می شود که هر نظریه فیزیک ریاضی با ساختار ریاضی مشخصه ای مرتبط است. این ساختار ممکن است به طرق مختلف برای طرح ادعاهای تجربی در مورد کاربردهای احتمالی این نظریه مورد استفاده قرار گیرد. به طور معمول - البته نه لزوما - نحوه استفاده از این ساختار در طرح چنین ادعاهایی مستلزم آن است که عناصر خاصی در ساختار اساساً نقش های متفاوتی ایفا کنند. برخی نقش های \"نظری\"; دیگران نقش \"غیر نظری\" دارند. به عنوان مثال، در مکانیک ذرات کلاسیک، جرم و نیرو نقش نظری دارند در حالی که موقعیت نقشی غیر نظری دارد. مقداری توجه به نشان دادن چگونگی این تمایز و توصیف دقیق نحوه عملکرد عناصر نظری و غیرنظری در ادعاهای نظریه است. تلاش می‌شود به طور دقیق بگوییم که نظریه فیزیک ریاضی چیست و چگونه می‌توان یکی از این نظریه‌ها را از نظریه دیگر تشخیص داد- شرایط هویتی برای این نظریه‌ها چیست.

This book is about scientific theories of a particular kind - theories of mathematical physics. Examples of such theories are classical and relativis­ tic particle mechanics, classical electrodynamics, classical thermodynamics, statistical mechanics, hydrodynamics, and quantum mechanics. Roughly, these are theories in which a certain mathematical structure is employed to make statements about some fragment of the world. Most of the book is simply an elaboration of this rough characterization of theories of mathematical physics. It is argued that each theory of mathematical physics has associated with it a certain characteristic mathematical struc­ ture. This structure may be used in a variety of ways to make empirical claims about putative applications of the theory. Typically - though not necessarily - the way this structure is used in making such claims requires that certain elements in the structure play essentially different roles. Some playa "theoretical" role; others playa "non-theoretical" role. For example, in classical particle mechanics, mass and force playa theoretical role while position plays a non-theoretical role. Some attention is given to showing how this distinction can be drawn and describing precisely the way in which the theoretical and non-theoretical elements function in the claims of the theory. An attempt is made to say, rather precisely, what a theory of mathematical physics is and how you tell one such theory from anothe- what the identity conditions for these theories are.