Results 11 to 20 of about 43,809,397 (175)
Two-dimensional semantics and the nesting problem [PDF]
Analysis, 2014 Graeme Forbes (2011) raises some problems for two-dimensional semantic theories. The problems concern nested environments: linguistic environments where sentences are nested under both modal and epistemic operators. Closely related problems involving nested environments have been raised by Scott Soames (2005) and Josh Dever (2007).
Chalmers, David, Rabern, Brian
openaire +5 more sources
, 2009 Abstract Two-dimensional approaches to semantics, broadly understood, recognize two ‘dimensions’ of the meaning or content of linguistic items. On these approaches, expressions and their utterances are associated with two different sorts of semantic values, which play different explanatory roles.
Nimtz, Christian +3 more
core +4 more sources
Two-dimensional Kripke Semantics II: Stability and Completeness [PDF]
Electronic Notes in Theoretical Informatics and Computer ScienceWe revisit the duality between Kripke and algebraic semantics of intuitionistic and intuitionistic modal logic. We find that there is a certain mismatch between the two semantics, which means that not all algebraic models can be embedded into a Kripke model. This leads to an alternative proposal for a relational semantics, the stable semantics. Instead
Kavvos, G. A.
openaire +6 more sources
Two-Dimensional Semantics, Nomic Truth, and Analyticity
Logique et Analyse, 2023 We construct a framework of two-dimensional semantics in which the notions of two-dimensional denotation, satisfaction, and truth are explicated in terms of the operators `means' and `means that', and operators of the form `at w' (where `w', denotes a ...
GRÜNBERG, Teo +2 more
openaire +2 more sources
Indexicals: A Problem for Chalmers' Two-Dimensional Semantics
CríticaAs Chalmers himself notes, his two-dimensional semantics leads to the problem of how scenarios, i.e. epistemically possible worlds, can best represent the information who I am, where I am, and what time it is now.
Stefan Rinner
doaj +2 more sources
Moral Realism and Two-Dimensional Semantics [PDF]
Ethics, 2011 Moral realists can, and should, allow that the truth-conditional content of moral judgments is in part attitudinal. I develop a two-dimensional semantics that embraces attitudinal content while preserving realist convictions about the independence of moral facts from our attitudes.
Henning, Tim, Tim Henning
openaire +2 more sources
Two-dimensional Kripke Semantics I: Presheaves [PDF]
CoRRThe study of modal logic has witnessed tremendous development following the introduction of Kripke semantics. However, recent developments in programming languages and type theory have led to a second way of studying modalities, namely through their categorical semantics. We show how the two correspond.
Kavvos, G. A.
openaire +7 more sources
Two-Dimensional Semantics forPredicate-Functor Languages with Operation Symbols
Logique et Analyse, 2022 We construct a framework of two-dimensional (2D) semantics for predicate-functor languages with operation symbols and free variables. We show how the satisfaction conditions (at a world) of predicates are determined by their meaning specifications (at ...
GRÜNBERG, Teo +2 more
openaire +2 more sources
Two-Dimensional Semantics. The Basics
, 2009 Nimtz C. Two-Dimensional Semantics.
Nimtz, Christian
openaire +2 more sources
Semantics for two-dimensional type theory [PDF]
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022 We propose a general notion of model for two-dimensional type theory, in the form of comprehension bicategories. Examples of comprehension bicategories are plentiful; they include interpretations of directed type theory previously studied in the literature.
Benedikt Ahrens +2 more
openaire +6 more sources