27 found
Order:
See also
Sten Lindström
Uppsala University
  1.  93
    DDL Unlimited: Dynamic Doxastic Logic for Introspective Agents.Sten Lindström & Wlodek Rabinowicz - 1999 - Erkenntnis 50 (2-3):353-385.
    The theories of belief change developed within the AGM-tradition are not logics in the proper sense, but rather informal axiomatic theories of belief change. Instead of characterizing the models of belief and belief change in a formalized object language, the AGM-approach uses a natural language — ordinary mathematical English — to characterize the mathematical structures that are under study. Recently, however, various authors such as Johan van Benthem and Maarten de Rijke have suggested representing doxastic change within a formal logical (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  2.  94
    Extending Dynamic Doxastic Logic: Accommodating Iterated Beliefs And Ramsey Conditionals Within DDL.Sten Lindström & Wiodek Rabinowicz - 1997 - In Lars Lindahl, Paul Needham & Ryszard Sliwinski (eds.), For Good Measure. Uppsala, Sverige:
    In this paper we distinguish between various kinds of doxastic theories. One distinction is between informal and formal doxastic theories. AGM-type theories of belief change are of the former kind, while Hintikka’s logic of knowledge and belief is of the latter. Then we distinguish between static theories that study the unchanging beliefs of a certain agent and dynamic theories that investigate not only the constraints that can reasonably be imposed on the doxastic states of a rational agent but also rationality (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  84
    Epistemic Entrenchment with Incomparabilities and Relational Belief Revision.Sten Lindström & Wlodek Rabinowicz - 1991 - In André Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change. Springer. pp. 93--126.
    In earlier papers (Lindström & Rabinowicz, 1989. 1990), we proposed a generalization of the AGM approach to belief revision. Our proposal was to view belief revision as a relation rather thanas a function on theories (or belief sets). The idea was to allow for there being several equally reasonable revisions of a theory with a given proposition. In the present paper, we show that the relational approach is the natural result of generalizing in a certain way an approach to belief (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  4.  49
    Church-Fitchs argument än en gång, eller: vem är rädd för vetbarhetsparadoxen?Sten Lindström - 2017 - In George Masterton, Keizo Matsubara & Kim Solin (eds.), Från Skaradjäkne till Uppsalaprofessor: festskrift till Lars-Göran Johansson i samband med hans pensionering. Uppsala: Department of Philosophy, Uppsala university, Sweden. pp. 160-171.
    Enligt ett realistiskt synsätt kan ett påstående vara sant trots att det inte ens i princip är möjligt att veta att det är sant. En sanningsteoretisk antirealist kan inte godta denna möjlighet utan accepterar en eller annan version av Dummetts vetbarhetsprincip: (K) Om ett påstående är sant, så måste det i princip vara möjligt att veta att det är sant. Det kan dock förefalla rimligt, även för en antirealist, att gå̊ med på̊ att det kan finnas sanningar som ingen faktiskt (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  68
    On Probabilistic Representation of Non-Probabilistic Belief Revision.Sten Lindström & Wlodek Rabinowicz - 1989 - Journal of Philosophical Logic 18 (1):69 - 101.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  6. Possible Worlds Semantics and the Liar: Reflections on a Problem Posed by Kaplan.Sten Lindström - 2009 - In Joseph Almog & Paolo Leonardi (eds.), The Philosophy of David Kaplan. Oxford University Press.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  7. Quine's Interpretation Problem and the Early Development of Possible Worlds Semantics.Sten Lindström - 2001 - In Ondrey Majer (ed.), The Logica Yearbook 2000. Filosofia.
    In this paper, I shall consider the challenge that Quine posed in 1947 to the advocates of quantified modal logic to provide an explanation, or interpretation, of modal notions that is intuitively clear, allows “quantifying in”, and does not presuppose, mysterious, intensional entities. The modal concepts that Quine and his contemporaries, e.g. Carnap and Ruth Barcan Marcus, were primarily concerned with in the 1940’s were the notions of (broadly) logical, or analytical, necessity and possibility, rather than the metaphysical modalities that (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  8.  36
    A Semantic Approach to Nonmonotonic Reasoning: Inference Operations and Choice, Uppsala Prints and Preprints in Philosophy, 1994, No 10.Sten Lindström - manuscript
    This paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences from infinite sets of premises. The semantics is formulated in terms of selection functions and is a generalization of the preferential semantics of Shoham (1987), (1988), Kraus, Lehman, and Magidor (1990) and Makinson (1989), (1993). A selection function picks out from a given set of possible states (worlds, situations, models) a subset consisting of those states that are, in some sense, the most preferred ones. A (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Modal Logic and Philosophy.Sten Lindström & Krister Segerberg - 2007 - In Patrick Blackburn, Johan van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Amsterdam, the Netherlands: Elsevier. pp. 1149-1214.
    Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the work going on in our field—a (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  10. Horwich's Minimalist Conception of Truth: Some Logical Difficulties.Sten Lindström - 2001 - Logic and Logical Philosophy 9:161-181.
    Aristotle’s words in the Metaphysics: “to say of what is that it is, or of what is not that it is not, is true” are often understood as indicating a correspondence view of truth: a statement is true if it corresponds to something in the world that makes it true. Aristotle’s words can also be interpreted in a deflationary, i.e., metaphysically less loaded, way. According to the latter view, the concept of truth is contained in platitudes like: ‘It is true (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  11. Situations, Truth and Knowability: A Situation-Theoretic Analysis of a Paradox by Fitch.Sten Lindström - 1997 - In Eva Ejerhed & Sten Lindström (eds.), Logic, Action and Cognition: Essays in Philosophical Logic. Kluwer Academic Publishers.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  12.  38
    Thinking Impossible Things.Sten Lindström - 2002 - In Sten Lindström & Pär Sundström (eds.), Physicalism, Consciousness, and Modality: Essays in the Philosophy of Mind. Umeå, Sverige: pp. 125-132.
    “There is no use in trying,” said Alice; “one can’t believe impossible things.” “I dare say you haven’t had much practice,” said the Queen. “When I was your age, I always did it for half an hour a day. Why, sometimes I’ve believed as many as six impossible things before breakfast”. Lewis Carroll, Through the Looking Glass. -/- It is a rather common view among philosophers that one cannot, properly speaking, be said to believe, conceive, imagine, hope for, or seek (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Frege's Paradise and the Paradoxes.Sten Lindström - 2003 - In Krister Segerberg & Rysiek Sliwinski (eds.), A Philosophical Smorgasbord: Essays on Action, Truth and Other Things in Honour of Fredrick Stoutland. Uppsala Philosophical Studies 52.
    The main objective of this paper is to examine how theories of truth and reference that are in a broad sense Fregean in character are threatened by antinomies; in particular by the Epimenides paradox and versions of the so-called Russell-Myhill antinomy, an intensional analogue of Russell’s more well-known paradox for extensions. Frege’s ontology of propositions and senses has recently received renewed interest in connection with minimalist theories that take propositions (thoughts) and senses (concepts) as the primary bearers of truth and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  14. The Ramsey Test and the Indexicality of Conditionals: A Proposed Resolution of Gärdenfors' Paradox.Sten Lindström - 1996 - In André Fuhrmann & Hans Rott (eds.), Logic, Action and Information. de Gruyter.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  15.  58
    The Ramsey Test Revisited.Sten Lindström & Wlodek Rabinowicz - 1995 - In G. Crocco, L. Fariñas del Cerro & A. Herzig (eds.), Conditionals: From Philosophy to Computer Science. Oxford University Press. pp. 131-182.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  16.  25
    Føllesdal i Uppsala.Sten Lindström & Wlodek Rabinowicz - 1987 - Filosofisk Tidskrift 8 (4).
    Årets Hägerströmföreläsningar i Uppsala gavs i februari av den norske filosofen Dagfinn Føllesdal. Ämnet var "Mening og Erfaring". Dagfinn Føllesdal doktorerade 1961 vid Harvard med Willard Van Quine som handledare på en avhandling om kvantifierad modallogik. Han blev internationellt känd främst för studier om Husserls fenomenologi och dess förhållande till Frege samt för sina arbeten om Quines språkfilosofi. Allt sedan 60-talet har Føllesdal delat sin tid mellan Oslouniversitetet och Stanforduniversitetet i Kalifornien. I sina föreläsningar diskuterade Føllesdal meningsbegreppet med anknytning till (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  22
    Sanningens paradoxer: om ändliga och oändliga lögnare.Sten Lindström - 2000 - Filosofisk Tidskrift 3.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  21
    Paradoxes of Demonstrability.Sten Lindström - 2009 - In Lars-Göran Johansson, Jan Österberg & Ryszard Sliwinski (eds.), Logic, Ethics and all that Jazz: Essays in Honour of Jordan Howard Sobel. Uppsala, Sverige: pp. 177-185.
    In this paper I consider two paradoxes that arise in connection with the concept of demonstrability, or absolute provability. I assume—for the sake of the argument—that there is an intuitive notion of demonstrability, which should not be conflated with the concept of formal deducibility in a (formal) system or the relativized concept of provability from certain axioms. Demonstrability is an epistemic concept: the rough idea is that a sentence is demonstrable if it is provable from knowable basic (“self-evident”) premises by (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. On the Proper Treatment of Quantification in Contexts of Logical and Metaphysical Modalities.Sten Lindström - 2006 - In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala, Sweden: Uppsala Philosophical Studies 53. pp. 305-323.
    Download  
     
    Export citation  
     
    Bookmark  
  20.  51
    Belief Change for Introspective Agents.Sten Lindström & Wlodek Rabinowicz - 1999 - Spinning Ideas, Electronic Essays Dedicated to Peter Gärdenfors on His Fiftieth Birthday.
    We discuss various possibilities for developing a dynamic doxastic logic (DDL) for introspective agents: agents who have the ability to form higher-order beliefs. Such agents can reflect upon and change their minds about their own beliefs. The project of constructing such a logic, full DDL or DDL unlimited, is ridden with difficulties due to the fact that the agent's own doxastic state now becomes a part of the reality he is trying to explore. When an introspective agent learns more about (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  21. Semantics and the Justification of Deductive Inference.Ebba Gullberg & Sten Lindström - 2007 - Hommage À Wlodek: Philosophical Papers Dedicated to Wlodek Rabinowicz.
    Is it possible to give a justification of our own practice of deductive inference? The purpose of this paper is to explain what such a justification might consist in and what its purpose could be. On the conception that we are going to pursue, to give a justification for a deductive practice means to explain in terms of an intuitively satisfactory notion of validity why the inferences that conform to the practice coincide with the valid ones. That is, a justification (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  17
    A Semantic Analysis of Russellian Simple Type Theory.Sten Lindström - 1986 - In Paul Needham & Jan Odelstad (eds.), Changing Positions, Essays Dedicated to Lars Lindahl on the Occassion of His Fiftieth Birthday. Uppsala:
    As emphasized by Alonzo Church and David Kaplan (Church 1974, Kaplan 1975), the philosophies of language of Frege and Russell incorporate quite different methods of semantic analysis with different basic concepts and different ontologies. Accordingly we distinguish between a Fregean and a Russellian tradition in intensional semantics. The purpose of this paper is to pursue the Russellian alternative and to provide a language of intensional logic with a model-theoretic semantics. We also discuss the so-called Russell-Myhill paradox that threatens simple Russellian (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23.  32
    An Exposition and Development of Kanger's Early Semantics for Modal Logic.Sten Lindström - 1998 - In J. H. Fetzer & P. Humphreys (eds.), The New Theory of Reference: Kripke, Marcus, and its origins. Kluwer Academic Publishers.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  24.  15
    Måste det vara något fel på modus ponens?Sten Lindström - 1994 - Filosofisk Tidskrift 4:39-42.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  14
    Kaplan i Uppsala.Sten Lindström & Wlodek Rabinowicz - 1988 - Filosofisk Tidskrift 9 (4):24-41.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  88
    Critical Study: Jon Barwise & John Perry, Situations and Attitudes. [REVIEW]Sten Lindström - 1991 - Noûs (5):743-770.
    The present essay is a critical study of Barwise and Perry’s book, emphasizing the logical and model-theoretical aspects of their work. I begin by presenting the authors’ criticism of the classical view of logic and semantics within the tradition of Frege, Russell and Tarski. In this connection, I discuss the so-called Frege argument (“the slingshot”). I try to show that the argument appears inconclusive, not only from a situation-theoretic perspective, but also from such alternative perspectives as orthodox Fregean semantics or (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  23
    Rationality in Flux–Formal Representations of Methodological Change.Jonas Nilsson & Sten Lindström - 2011 - In Erik J. Olson Sebastian Enqvist (ed.), Belief Revision Meets Philosophy of Science. Springer. pp. 347--356.
    A central aim for philosophers of science has been to understand scientific theory change, or more specifically the rationality of theory change. Philosophers and historians of science have suggested that not only theories but also scientific methods and standards of rational inquiry have changed through the history of science. The topic here is methodological change, and what kind of theory of rational methodological change is appropriate. The modest ambition of this paper is to discuss in what ways results in formal (...)
    Download  
     
    Export citation  
     
    Bookmark