بررسی شرایط یک نظریه موفق عمل - نوع

در نظریه های سنتی در باب سرشت گزاره ها، گزاره ها حامل های اولیه بازنمایی هستند. یک نظریه عمل - نوع در باب سرشت گزاره ها بر آن است که نظریه های سنتی نمی توانند به نحو رضایت بخشی بازنمایی گزاره ها را تبیین کنند؛ بنابراین ما باید نظریه های سنتی را کنار بگذاریم. مطابق با یک نظریه عمل - نوع، وقتی یک عامل یک ویژگی را بر یک شیء حمل می کند، آن شیء را به مثابه چیزی که واجد آن ویژگی است بازنمایی می کند. این یعنی آنکه عامل به واسطه عمل حملی که انجام می دهد حامل اصلی و اولیه ویژگی بازنمایی است. در این نظریه گزاره ها انواع نمونه های عمل حمل هستند و ویژگی بازنمایی را از این نمونه ها به ارث می برند. در این مقاله دو تقریر اصلی نظریه عمل - نوع معرفی شده است: تقریر سومز و تقریر هنکس. سپس مهم ترین نقاط قوت و ضعف هر تقریر بیان می شود. با عطف توجه به نقاط ضعف هر تقریر نتیجه گرفته می شود که هیچ یک از دو تقریر نمی تواند به عنوان یک نظریه موفق عمل - نوع محسوب شود؛ همچنین با عطف توجه به نقاط قوت و ضعف هر تقریر نشان داده می شود که یک نظریه عمل -  نوع برای آنکه یک نظریه موفق محسوب شود باید چه شرایطی را برآورده کند.