Titlebook: Logical Theory and Semantic Analysis; Essays Dedicated to Sören Stenlund,Ann-Mari Henschen-Dahlquist,Jan Ode Book 1974 D. Reidel Publishin

Fantasy

Conditional Obligation,ur own, there is a non-empty class of possible worlds that are deontic alternatives to the given world. A sentence of the form ◯ . is adjudged true at a possible world just in case A itself holds true at each of the world’s deontic alternatives. The picture is of a non-empty class of worlds function

craving

Remarks on Interpersonal Utility Theory,iscuss a theoretical problem which is important to the extent that it bears upon practice. The first reason is that Stig Kanger’s own work has often and interestingly straddled that boundary; the second is that the ideas reported here were the topic of a seminar which I gave at Uppsala some years ag

任命

On the Proper Treatment of Quantifiers in Montague Semantics,ng treatment, of certain aspects of the syntax and semantics of natural languages.. These theories are not satisfactory in their present form, however, not even if we restrict our attention to those linguistic phenomena that Montague himself primarily wanted to cover, together with certain closely r

Tailor

Extracting Information from Logical Proofs,he art of theorem-proving in the hope that the machine would then provide a steady stream of new and interesting results. Even although these hopes have faded more and more people are writing theorem proving programs. Why? Because the computer can extract information from the proofs of even simple t

根除

ANTI

直言不讳

Some Remarks Concerning Logical and Ontological Theories,xplicitly or implicitly, in the work of A. Tarski.. The second part is an experiment in shifting from the logical to the ontological order by searching for physical models of the same metatheory.. The experiment ends up with classical and medieval physics and metaphysics throwing some light on the t

RENIN

Combined Evidence,ame kind, but there has been little study of how different kinds of evidence interact. Yet it is an old problem. Jacques Bernoulli (1654–1705) has a good discussion of it.. One of his solutions was rejected by J.-H. Lambert (1728–1777).. Their disagreement provides a good test case for any theory ab

radiograph

Solution to a Problem Raised by Stig Kanger and a Set Theoretical Statement Equivalent to the Axiomrom the members of the ordinal and/or from the members of the members of the ordinal etc. As an example . is a fragment of an ordinal since it can be obtained in the manner indicated below: Professor Kanger has raised the following problem: Is it true that * . We prove the answer to be affirmative.

exercise

On Characterizing Elementary Logic,ementary logic (.), i.e. first order predicate logic with identity. The characterizations that I have in mind can be described as follows: First I define the very general concept abstract logic (.). Then I define an inclusion relation ⊆ between .s. Intuitively .⊆.′ means that everything that can be