



Homepage > Logic > Tests > Symbolic Logic 



Introduction: One widely accepted view of a scientific theory is that it is is a set of systematically related statements when taken together should be testable and serve for explanation and prediction. More precisely, on this view, a theory is composed of higherlevel laws which are only indirectly testable by means of the consequences of lowerlevel laws derived from them. Laws and theories, then, differ only in generality, abstractness, or degree of confirmation. A minieconomic theory is sketched by the following four higherlevel laws: (1) If the liquidity preference remains constant and the quantity of money increases, then the rate of interest falls off and the marginal efficiency of capital terminates. (2) If the rate of interest falls off and the marginal efficiency of capital terminates, then aggregate investment value increases. (3) Aggregate investment value increases if and only if savings increase. (4) If aggregate investment value increases, then either investment opportunities are used up or the marginal efficiency of capital terminates. The following lowerlevel laws have been proposed by Prof. I.M.A. Userer: (1) Savings increase; if and only if either savings increase and the rate of interest falls, or savings increase and the rate of interest does not fall. (2) If either aggregate investment value increases, or the rate of interest falls and the marginal efficiency of capital terminates; then both investment opportunities are used up and the marginal efficiency of capital terminates. (3) If the termination of the marginal efficiency of capital is a sufficient condition for investment opportunities not being used up, then the quantity of money not increasing is a necessary condition for the liquidity preference remaining constant. (4) If the quantity of money increases, then the rate of interest falls. (5) If the marginal efficiency of capital terminates, the aggregate investment value increases. (6) If the aggregate investment value increases, then investment opportunities are used up. The Test on Symbolic Logic is in four parts: Part I: Truth Value Analysis 

CGI and Java scripts programmed by johnarchie@metanet.net 

Arguments  Language  Fallacies  Propositions  Syllogisms  Translation  Symbolic 

. 