Scientific Research II: The Search for Truth

این جلد دنباله منطقی جلد اول، جست‌وجوی سیستم است: در واقع، به روش‌هایی مربوط می‌شود که سیستم‌های نظری کار می‌کنند و مورد آزمایش قرار می‌گیرند. با این حال، هر کسی که با برخی از نظریه‌های واقعی آشناست، می‌تواند مستقلاً خوانده شود و در صورت لزوم به جلد اول مراجعه کند. نمادهای ویژه AS؛ B مجموعه A در مجموعه B گنجانده می شود AvB اتحاد مجموعه های A و B AnB قسمت مشترک مجموعه های A و B aEB فرد a در مجموعه A است (یا متعلق به آن است) کارت (A) ) اصل بودن (تعدد) مجموعه AxB حاصلضرب دکارتی مجموعه های A و B en(A) پیامد(های) مجموعه A از مفروضات طبق تعریف برابر است =dt تعریف Dt· مقداری x (یا حداقل یک x وجود دارد به طوری که) (3 x) e تجربی e* ترجمه e به یک زبان نیمه تجربی نیمه نظری h فرضیه m(r) مقدار اندازه گیری شده درجه r m(;) مقدار میانگین (یا میانگین) مجموعه ای از مقادیر اندازه گیری شده ,; P-jT T پیش‌فرض P p، q گزاره‌های دلخواه (نامشخص) (گزاره‌ها) را دارد. P pVq p و/یا q (انفصال شامل) p &q p و q (ارتباط) p-+q اگر p، سپس q (شرطی یا ضمنی) p اگر و فقط اگر q (دو شرطی یا معادل) p-q مجموع بیش از i 2 شود: ; قضیه t، نتیجه آزمایش پذیر

This volume is a logical sequel of Volume I, The Search for System: indeed, it concerns the ways theoretical systems are put to work and subjected to test. Yet it can be read independently by anyone familiar with some factual theories, referring back to Volume I when necessary. Special Symbols AS;B the set A is included in the set B AvB the union of the sets A and B AnB the common part of the sets A and B aEB the individual a is in (or belongs to) the set A Card (A) cardinality (numerosity) of the set A AxB Cartesian product of the sets A and B en(A) consequence(s) of the set A of assumptions equals by definition =dt definition Dt· some x (or there is at least one x such that) (3 x) e empirical datum e* translation of e into a semiempirical, semitheoreticallanguage h hypothesis m(r) measured value of the degree r m(;) average (or mean) value of a set of measured values of ,; P-jT T presupposes P p, q arbitrary (unspecified) propositions (statements) P(x) x has the property P (or x is a P) {xl P(x)} set of the x such that every x is a P pVq p and/or q (inclusive disjunction) p &q p and q (conjunction) p-+q if p, then q (conditional or implication) p if and only if q (biconditional or equivalence) p-q sum over i 2:; t theorem, testable consequence