Search results for 'possible world semantics' (try it on Scholar)

1000+ found
Sort by:
  1. Christopher Menzel (1990). Actualism, Ontological Commitment, and Possible World Semantics. Synthese 85 (3):355 - 389.score: 720.0
    Actualism is the doctrine that the only things there are, that have being in any sense, are the things that actually exist. In particular, actualism eschews possibilism, the doctrine that there are merely possible objects. It is widely held that one cannot both be an actualist and at the same time take possible world semantics seriously — that is, take it as the basis for a genuine theory of truth for modal languages, or look to it (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  2. Michael J. Shaffer & Jeremy Morris (2010). The Epistemic Inadequacy of Ersatzer Possible World Semantics. Logique Et Analyse 53:61-76.score: 646.0
    In this paper it is argued that the conjunction of linguistic ersatzism, the ontologically deflationary view that possible worlds are maximal and consistent sets of sentences, and possible world semantics, the view that the meaning of a sentence is the set of possible worlds at which it is true, implies that no actual speaker can effectively use virtually any language to successfully communicate information. This result is based on complexity issues that relate to our finite (...)
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  3. Michael J. Shaffer & Jeremy Morris (2006). A Paradox for Possible World Semantics. Logique Et Analyse 49 (195):307-317.score: 624.0
    The development of possible worlds semantics for modal claims has led to a more general application of that theory as a complete semantics for various formal and natural languages, and this view is widely held to be an adequate (philosophical) interpretation of the model theory for such languages. We argue here that this view generates a self-referential inconsistency that indicates either the falsity or the incompleteness of PWS.
     
    My bibliography  
     
    Export citation  
  4. John-Michael Kuczynski (2007). Does Possible World Semantics Turn All Propositions Into Necessary Ones? Journal of Pragmatics 39 (5):972-916.score: 594.0
    "Jim would still be alive if he hadn't jumped" means that Jim's death was a consequence of his jumping. "x wouldn't be a triangle if it didn't have three sides" means that x's having a three sides is a consequence its being a triangle. Lewis takes the first sentence to mean that Jim is still alive in some alternative universe where he didn't jump, and he takes the second to mean that x is a non-triangle in every alternative universe where (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  5. Wlodek Rabinowicz (2010). Analyticity and Possible-World Semantics. Erkenntnis 72 (3):295 - 314.score: 540.0
    Standard approaches to possible-world semantics allow us to define necessity and logical truth, but analyticity is considerably more difficult to account for. The source of this difficulty lies in the received model-theoretical conception of a language interpretation. In intuitive terms, analyticity amounts to truth in virtue of meaning alone, i.e. solely in virtue of the interpretation of linguistic expressions. In other words, an analytic sentence should remain true under all variations of ‘extralinguistic reality’ as long as the (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  6. R. Bradley (2012). Multidimensional Possible-World Semantics for Conditionals. Philosophical Review 121 (4):539-571.score: 540.0
    Adams’s Thesis, the claim that the probabilities of indicative conditionals equal the conditional probabilities of their consequents given their antecedents, has proven impossible to accommodate within orthodox possible-world semantics. This essay proposes a modification to the orthodoxy that removes this impossibility. The starting point is a proposal by Jeffrey and Stalnaker that conditionals take semantic values in the unit interval, interpreting these (à la McGee) as their expected truth-values at a world. Their theories imply a false (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  7. Cheng-Chih Tsai (2012). The Genesis of Hi-Worlds: Towards a Principle-Based Possible World Semantics. Erkenntnis 76 (1):101-114.score: 540.0
    A Leibnizian semantics proposed by Becker in 1952 for the modal operators has recently been reviewed in Copeland’s paper The Genesis of Possible World Semantics (Copeland in J Philos Logic 31:99–137, 2002 ), with a remark that “neither the binary relation nor the idea of proving completeness was present in Becker’s work”. In light of Frege’s celebrated Sense-Determines-Reference principle, we find, however, that it is Becker’s semantics, rather than Kripke’s semantics, that has captured the (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  8. Nobu-Yuki Suzuki (1997). Kripke Frame with Graded Accessibility and Fuzzy Possible World Semantics. Studia Logica 59 (2):249-269.score: 540.0
    A possible world structure consist of a set W of possible worlds and an accessibility relation R. We take a partial function r(·,·) to the unit interval [0, 1] instead of R and obtain a Kripke frame with graded accessibility r Intuitively, r(x, y) can be regarded as the reliability factor of y from x We deal with multimodal logics corresponding to Kripke frames with graded accessibility in a fairly general setting. This setting provides us with a (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  9. Tapio Korte, Ari Maunu & Tuomo Aho (2009). Modal Logic From Kant to Possible Worlds Semantics. In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.score: 496.0
    This chapter begins with a discussion of Kant's theory of judgment-forms. It argues that it is not true in Kant's logic that assertoric or apodeictic judgments imply problematic ones, in the manner in which necessity and truth imply possibility in even the weakest systems of modern modal logic. The chapter then discusses theories of judgment-form after Kant, the theory of quantification, Frege's Begriffsschrift, C. I. Lewis and the beginnings of modern modal logic, the proof-theoretic approach to modal logic, possible (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. Lee Walters (forthcoming). Possible Worlds Semantics and True-True Counterfactuals. Pacific Philosophical Quarterly.score: 479.0
    The standard semantics for counterfactuals ensures that any counterfactual with a true antecedent and true consequent is itself true. There have been many recent attempts to amend the standard semantics to avoid this result. I show that these proposals invalidate a number of further principles of the standard logic of counterfactuals. The case against the automatic truth of counterfactuals with true components does not extend to these further principles, however, so it is not clear that rejecting the latter (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. L. Wiesenthal (1983). Visual Space From the Perspective of Possible-Worlds Semantics, I. Synthese 56 (August):199-238.score: 470.0
  12. David Lewis (1977). Possible-World Semantics for Counterfactual Logics: A Rejoinder. [REVIEW] Journal of Philosophical Logic 6 (1):359-363.score: 450.0
  13. Brian Ellis, Frank Jackson & Robert Pargetter (1977). An Objection to Possible-World Semantics for Counterfactual Logics. Journal of Philosophical Logic 6 (1):355 - 357.score: 450.0
  14. Melvin Fitting, Possible World Semantics for First Order Lp.score: 450.0
    First we have individual variables, as usual in first-order logics. (We do not have individual constants, but this is a minor point.) The propositional logic LP has justification constants, but in FOLP these are generalized to allow individual variables as arguments. Thus we have as justification constants c, c(x), c(x, y), . . . . Similarly LP has justification variables, but in FOLP these can be parametrized with individual variables p, p(x), p(x, y), . . . . To keep terminology (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  15. L. Wiesenthal (1985). Visual Space From the Perspective of Possible World Semantics II. Synthese 64 (2):241 - 270.score: 450.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  16. C. Anthony Anderson (2009). The Lesson of Kaplan's Paradox About Possible World Semantics. In Joseph Almog & Paolo Leonardi (eds.), The Philosophy of David Kaplan. Oxford University Press. 85.score: 450.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. G. W. R. (1982). The Logic of Inconsistency. A Study in Non-Standard Possible-World Semantics and Ontology. Review of Metaphysics 35 (3):627-629.score: 450.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. Melvin Fitting (2014). Possible World Semantics for First-Order Logic of Proofs. Annals of Pure and Applied Logic 165 (1):225-240.score: 450.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. Wlodek Rabinowicz, Analyticity: An Unfinished Business in Possible-World Semantics.score: 450.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. Jean-Pascal Alcantara (2012). Leibniz, Modal Logic and Possible World Semantics: The Apulean Square as a Procrustean Bed for His Modal Metaphysics. In. In J.-Y. Beziau & Dale Jacquette (eds.), Around and Beyond the Square of Opposition. Birkhäuser. 53--71.score: 450.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  21. Robert Brandom & N. Rescher (1979). The Logic of Inconsistency: A Study in Nonstandard Possible-World Semantics and Ontology. American Philosophical Quarterly, Library of Philosophy 5.score: 450.0
    No categories
     
    My bibliography  
     
    Export citation  
  22. Sven Danielsson (2006). Moorean Possible World Semantics for Supervenience. In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. 53--117.score: 450.0
    No categories
     
    My bibliography  
     
    Export citation  
  23. David Makinson (1982). Review: Nicholas Rescher, Robert Brandom, The Logic of Inconsistency. A Study in Non-Standard Possible-World Semantics and Ontology. [REVIEW] Journal of Symbolic Logic 47 (1):233-236.score: 450.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. Javier Vilanova (1995). A Possible World Semantics for Conditional Logic Based in Similarity Relations. Bulletin of the Section of Logic 3:132-139.score: 450.0
    No categories
     
    My bibliography  
     
    Export citation  
  25. Rabinowicz Wlodek (2006). Analyticity-An Unfinished Business in Possible World Semantics. In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. 345--358.score: 450.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. Dale Jacquette (2005). Nonstandard Semantics for Modal Logic and the Concept of a Logically Possible World. Philosophia Scientiae 9 (2):239-258.score: 435.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  27. Volker Halbach, Hannes Leitgeb & Philip Welch (2003). Possible-Worlds Semantics for Modal Notions Conceived as Predicates. Journal of Philosophical Logic 32 (2):179-223.score: 418.0
    If □ is conceived as an operator, i.e., an expression that gives applied to a formula another formula, the expressive power of the language is severely restricted when compared to a language where □ is conceived as a predicate, i.e., an expression that yields a formula if it is applied to a term. This consideration favours the predicate approach. The predicate view, however, is threatened mainly by two problems: Some obvious predicate systems are inconsistent, and possible-worlds semantics for (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  28. B. Jack Copeland (2002). The Genesis of Possible Worlds Semantics. Journal of Philosophical Logic 31 (2):99-137.score: 389.3
    This article traces the development of possible worlds semantics through the work of: Wittgenstein, 1913-1921; Feys, 1924; McKinsey, 1945; Carnap, 1945-1947; McKinsey, Tarski and Jónsson, 1947-1952; von Wright, 1951; Becker, 1952; Prior, 1953-1954; Montague, 1955; Meredith and Prior, 1956; Geach, 1960; Smiley, 1955-1957; Kanger, 1957; Hintikka, 1957; Guillaume, 1958; Binkley, 1958; Bayart, 1958-1959; Drake, 1959-1961; Kripke, 1958-1965.
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  29. Matthias Gerner (2009). Assessing the Modality Particles of the Yi Group in Fuzzy Possible-Worlds Semantics. Linguistics and Philosophy 32 (2):143-184.score: 389.3
    Of late, evidentiality has received great attention in formal semantics. In this paper I develop ‘evidentiality-informed’ truth conditions for modal operators such as must and may . With language data drawn from Luoping Nase (a Tibeto-Burman language spoken in the P.R. of China and belonging to the Yi Nationality), I illustrate that epistemic modals clash with clauses articulating first-hand information. I then demonstrate that existing models such as Kratzer’s graded possible-worlds semantics fail to provide accurate truth conditions (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  30. Peter Hutcheson (1987). Transcendental Phenomenology and Possible Worlds Semantics. Husserl Studies 4 (3):225-242.score: 389.3
    Are transcendental phenomenology and possible worlds semantics, two seemingly disparate, perhaps even incompatible philosophical traditions, actually complementary? Have two well-known representatives of each tradition, J.N. Mohanty and J. Hintikka, misinterpreted the other's philosophical "program" in such a way that they did not recognize the complementarity? Charles Harvey 1 has recently argued that the answer to both questions is "yes." Here I intend to argue that the answer to the first is unclear, whereas the answer to the second is (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  31. Ahti-Veikko Pietarinen (2006). Peirce's Contributions to Possible-Worlds Semantics. Studia Logica 82 (3):345 - 369.score: 389.3
    A century ago, Charles S. Peirce proposed a logical approach to modalities that came close to possible-worlds semantics. This paper investigates his views on modalities through his diagrammatic logic of Existential Graphs (EGs). The contribution of the gamma part of EGs to the study of modalities is examined. Some ramifications of Peirce’s remarks are presented and placed into a contemporary perspective. An appendix is included that provides a transcription with commentary of Peirce’s unpublished manuscript on modality from 1901.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  32. Maurício D. L. Reis & Eduardo Fermé (2012). Possible Worlds Semantics for Partial Meet Multiple Contraction. Journal of Philosophical Logic 41 (1):7-28.score: 389.3
    In the logic of theory change, the standard model is AGM, proposed by Alchourrón et al. (J Symb Log 50:510–530, 1985 ). This paper focuses on the extension of AGM that accounts for contractions of a theory by a set of sentences instead of only by a single sentence. Hansson (Theoria 55:114–132, 1989 ), Fuhrmann and Hansson (J Logic Lang Inf 3:39–74, 1994 ) generalized Partial Meet Contraction to the case of contractions by (possibly non-singleton) sets of sentences. In this (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  33. Javier Vilanova (1999). Un Análisis Dei Concepto de Cognoscibilidad Desde la Semántica de Mundos Posibles (an Analysis of the Notion of Knowability in the F Ield of Possible Worlds Semantics). Theoria 14 (3):413-429.score: 380.0
    Las nociones epistémicas modales se definen como aquellos conceptos epistémicos que, como el de cognoscibilidad o el de indudabilidad, incluyen una nota modal. Segun se defiende en este trabajo, la semántica de mundos posibles y algunas de sus extensiones (especialmente las llevadas a cabo para logica temporal, logica epistemica y logica condicional) son instrumentos adecuados para deshacer el nudo de las intensionalidades superpuestas en estas nociones especialmente esquivas al análisis. Para mostrarlo, se proporcionan una serie de análisis sucesivos de la (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34. John Divers (2006). Possible-Worlds Semantics Without Possible Worlds: The Agnostic Approach. Mind 115 (458):187-226.score: 378.0
    If a possible-worlds semantic theory for modal logics is pure, then the assertion of the theory, taken at face-value, can bring no commitment to the existence of a plurality of possible worlds (genuine or ersatz). But if we consider an applied theory (an application of the pure theory) in which the elements of the models are required to be possible worlds, then assertion of such a theory, taken at face-value, does appear to bring commitment to the existence (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  35. Alberto Zanardo (2006). Quantification Over Sets of Possible Worlds in Branching-Time Semantics. Studia Logica 82 (3):379 - 400.score: 355.0
    Temporal logic is one of the many areas in which a possible world semantics is adopted. Prior's Ockhamist and Peircean semantics for branching-time, though, depart from the genuine Kripke semantics in that they involve a quantification over histories, which is a second-order quantification over sets of possible worlds. In the paper, variants of the original Prior's semantics will be considered and it will be shown that all of them can be viewed as first-order (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  36. John Perry, U039 Semantics, Possible-Worlds.score: 353.0
    Possible worlds semantics (PWS) is a family of methods that have been used to analyze a wide variety of intensional phenomena, including modality, conditionals, tense and temporal adverbs, obligation, and reports of informational and cognitive content. PWS spurred the development of philosophical logic and led to new applications of logic in computer science and artificial intelligence. It revolutionized the study of the semantics of natural languages. PWS has inspired analyses of many concepts of philosophical importance, and the (...)
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  37. Diane Proudfoot (2006). Possible Worlds Semantics and Fiction. Journal of Philosophical Logic 35 (1):9 - 40.score: 328.0
    The canonical version of possible worlds semantics for story prefixes is due to David Lewis. This paper reassesses Lewis's theory and draws attention to some novel problems for his account.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  38. Brian Embry (2014). Counterfactuals Without Possible Worlds? A Difficulty for Fine’s Exact Semantics for Counterfactuals. Journal of Philosophy (5).score: 322.3
  39. Michael Glanzberg (2009). Semantics and Truth Relative to a World. Synthese 166 (2):281 - 307.score: 304.0
    This paper argues that relativity of truth to a world plays no significant role in empirical semantic theory, even as it is done in the model-theoretic tradition relying on intensional type theory. Some philosophical views of content provide an important notion of truth at a world, but they do not constrain the empirical domain of semantic theory in a way that makes this notion empirically significant. As an application of this conclusion, this paper shows that a potential motivation (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  40. Andrzej Indrzejczak (2011). Possible Worlds in Use. Studia Logica 99 (1-3):229-248.score: 296.0
    The paper is a brief survey of the most important semantic constructions founded on the concept of possible world. It is impossible to capture in one short paper the whole variety of the problems connected with manifold applications of possible worlds. Hence, after a brief explanation of some philosophical matters I take a look at possible worlds from rather technical standpoint of logic and focus on the applications in formal semantics. In particular, I would like (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  41. Johan Benthem (1984). Possible Worlds Semantics: A Research Program That Cannot Fail? Studia Logica 43 (4):379 - 393.score: 292.0
    Providing a possible worlds semantics for a logic involves choosing a class of possible worlds models, and setting up a truth definition connecting formulas of the logic with statements about these models. This scheme is so flexible that a danger arises: perhaps, any (reasonable) logic whatsoever can be modelled in this way. Thus, the enterprise would lose its essential tension. Fortunately, it may be shown that the so-called incompleteness-examples from modal logic resist possible worlds modelling, even (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  42. Nicole Wyatt (2000). Did Duns Scotus Invent Possible Worlds Semantics? Australasian Journal of Philosophy 78 (2):196 – 212.score: 292.0
    I argue that, contra the claims of Knuuttila and Dumont, Scotus can not be credited with the invention of possible worlds semantics.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  43. B. Jack Copeland (2006). Meredith, Prior, and the History of Possible Worlds Semantics. Synthese 150 (3):373 - 397.score: 292.0
    This paper charts some early history of the possible worlds semantics for modal logic, starting with the pioneering work of Prior and Meredith. The contributions of Geach, Hintikka, Kanger, Kripke, Montague, and Smiley are also discussed.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  44. Joe Lau (1997). Possible Worlds Semantics for Belief Sentences. In Logica Yearbook.score: 292.0
    This paper is about possible worlds semantics for propositional attitude sentences. In particular I shall focus on belief reports in English such as "Lusina believes that tofu is nutritious." It is well-known that possible worlds semantics for such reports suffers from the so-called _problem of equivalence_ . In this paper I shall examine some attempts to deal with this problem and argue that they are unsatisfactory.
    Direct download  
     
    My bibliography  
     
    Export citation  
  45. Barbara Vetter (2013). 'Can' Without Possible Worlds: Semantics for Anti-Humeans. Philosophers' Imprint 13 (16).score: 288.3
    Metaphysicians of modality are increasingly critical of possible-worlds talk, and increasingly happy to accept irreducibly modal properties – and in particular, irreducible dispositions – in nature. The aim of this paper is to provide the beginnings of a modal semantics which uses, instead of possible-worlds talk, the resources of such an 'anti-Humean' metaphysics. One central challenge to an anti-Humean view is the context-sensitivity of modal language. I show how that challenge can be met and a systematic modal (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. Wojciech Krysztofiak (2007). The Phenonenological Idealism Controversy in Light of Possible Worlds Semantics. Axiomathes 17 (1):75-97.score: 282.3
    In the paper there is presented the semantic interpretation of idealism/ realism controversy which is one of the most essential issues in Ingarden’s phenomenological project of ontology. The procedure of semantic paraphrase which is contemporary developed by Wolen´ ski, is the main interpretative tool. In the central part of the paper, there is formulated the formal theory of the semantic framework underlying idealism/realism discourse. Finally, there are formulated some notes showing that intentional conception of negation may be used for defending (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  47. Robert Stalnaker (2001). On Considering a Possible World as Actual. Aristotelian Society Supplementary Volume 75 (75):141-156.score: 277.3
    [Robert Stalnaker] Saul Kripke made a convincing case that there are necessary truths that are knowable only a posteriori as well as contingent truths that are knowable a priori. A number of philosophers have used a two-dimensional model semantic apparatus to represent and clarify the phenomena that Kripke pointed to. According to this analysis, statements have truth-conditions in two different ways depending on whether one considers a possible world 'as actual' or 'as counterfactual' in determining the truth-value of (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  48. Gerhard Schurz & Paul Weingartner (2010). Zwart and Franssen's Impossibility Theorem Holds for Possible-World-Accounts but Not for Consequence-Accounts to Verisimilitude. Synthese 172 (3):415 - 436.score: 276.3
    Zwart and Franssen’s impossibility theorem reveals a conflict between the possible-world-based content-definition and the possible-world-based likeness-definition of verisimilitude. In Sect. 2 we show that the possible-world-based content-definition violates four basic intuitions of Popper’s consequence-based content-account to verisimilitude, and therefore cannot be said to be in the spirit of Popper’s account, although this is the opinion of some prominent authors. In Sect. 3 we argue that in consequence-accounts , content-aspects and likeness-aspects of verisimilitude are not (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  49. Martin Smith (2007). Ceteris Paribus Conditionals and Comparative Normalcy. Journal of Philosophical Logic 36 (1):97 - 121.score: 270.0
    Our understanding of subjunctive conditionals has been greatly enhanced through the use of possible world semantics and, more precisely, by the idea that they involve variably strict quantification over possible worlds. I propose to extend this treatment to ceteris paribus conditionals - that is, conditionals that incorporate a ceteris paribus or 'other things being equal' clause. Although such conditionals are commonly invoked in scientific theorising, they traditionally arouse suspicion and apprehensiveness amongst philosophers. By treating ceteris paribus (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  50. Alessandro Torza (2013). How to Lewis a Kripke-Hintikka. Synthese 190 (4):743-779.score: 270.0
    It has been argued that a combination of game-theoretic semantics and independence-friendly (IF) languages can provide a novel approach to the conceptual foundations of mathematics and the sciences. I introduce and motivate an IF first-order modal language endowed with a game-theoretic semantics of perfect information. The resulting interpretive independence-friendly logic (IIF) allows to formulate some basic model-theoretic notions that are inexpressible in the ordinary quantified modal logic. Moreover, I argue that some key concepts of Kripke’s new theory of (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000