On the logic of adverbs

In the paper I investigate aspects of adverbial modification as an operation applying an adverb or adverbial phrase to a predicate and thereby creating a new predicate. The logic of adverbial modification, on this view, belongs to the logic of predicate modifiers. The theory I present is intended to cover not only adverbial modification but also attributive modification, but problems concerning the latter will not be given any special attention.     

Nondeterministic three-valued logic: Isotonic and guarded truth-functions

Nondeterministic programs occurring in recently developed programming languages define nondeterminate partial functions. Formulas (Boolean expressions) of such nondeterministic languages are interpreted by a nonempty subset of {T (“true”), F (“false”), U (“undefined)}. As a semantic basis for the propositional part of a corresponding nondeterministic three-valued logic we study the notion of a truth-function over {T, F, U} which is computable by a nondeterministic evaluation procedure. The main result is that these truth-functions are precisely the functions satisfying four basic properties, called \( \subseteq \) -isotonic, \( \subseteq \) ^?-isotonic, hereditarily guarded, and hereditarily guard-using, and that a function satisfies these properties iff it is explicitly definable (in a certain normal form) from “if..then..else..fi”, binary choice, and constants.     

Tests for stability in linear structural equation systems

Interpretations regarding the effects of exogenous and endogenous variables on endogenous variables in linear structural equation systems depend upon the convergence of a matrix power series. Convergence depends upon the eigenvalues of the structural coefficient matrix. The test for convergence developed by Jöreskog and Sörbom is shown to be only sufficient, not necessary and sufficient.     

The logic of causal methods in social science

Two kinds of causal inference rules which are widely used by social scientists are investigated. Two conceptions of causation also widely used are explicated — the INUS and probabilistic conceptions of causation. It is shown that the causal inference rules which link correlation, a kind of partial correlation, and a conception of causation areinvalid. It is concluded anew methodology is required for causal inference.