Logical Theory and Semantic Analysis: Essays Dedicated to Stig Kanger on His Fiftieth Birthday

agent-causal predicate algebra analytic analytic-synthetic distinction Åqvist arithmetical assume axioms Bernoulli ByPerfCaused clam clauses Cohen and Marx concept connective context defined definition Deontic Logic derived discussed Dordrecht-Holland dyadic deontic logic equivalent example extensions finite formal formula game-tree given Hilpinen HistAlt implies indirect ranking individual induction interpretation JAAKKO HINTIKKA John knows Kanger Kant's kinds of models language LEMMA Logical Theory Löwenheim Löwenheim property mathematical meaning metatheory modal modal logic modus ponens Montague semantics Montague's n-place natural numbers notion operations paper Philosophy of Science possible worlds pragmatics preference principle probability problem proof propositional logic quantifiers recursion theory Reidel Publishing Company relation rules satisfies Semantic Analysis semantic tableau sense set of sentences statement Stenlund subset T₁ Tarski theorem Theory and Semantic tion tomato true truth-functional truth-value union property University valid value structures variables Wartofsky world lines