Abstract

Among the most important of Sten Lindström’s achievements in philosophy and logic is that he was the first researcher to realise that the theory of rational choice can be brought to bear in the domain of logic and reasoning. The new conception was that a sentence α is a consequence of a set of sentences Γ just in case α is true in all selected ("best", "most plausible") possible worlds in which all sentences in Γ are true (rather than in all possible worlds in which all sentences in Γ are true). And the selection of possible worlds should conform to the constraints on rational choices. Sten worked out this idea in stunning depth, detail and precision in his seminal paper "A semantic approach to nonmonotonic reasoning: Inference operations and choice." The paper was ready in draft form in April 1991 and presented in two talks later that year. It was included, in almost the same form, in the report series Uppsala Prints and Preprints in Philosophy in 1994, but it was never regularly published. The 2022 publication in Theoria seeks to compensate for this omission.