StalnakerLewis
StalnakerLewis is a term used to describe the influence of Robert Stalnaker and David Lewis on the possible-worlds analysis of conditionals and related modal notions. Their work provides a formal framework for evaluating counterfactuals by comparing the actual world to nearby possible worlds, treating worlds as concrete alternatives for linguistic and philosophical discussions.
Robert Stalnaker developed an early nearest-world semantics for counterfactuals. In his account, a counterfactual “If A,
David Lewis expanded this program by introducing a rigorous similarity ordering on possible worlds and by
Together, the Stalnaker-Lewis tradition has been influential in philosophy of language, logic, and cognitive science. It