5,187 Hits in 2.0 sec

A Higher-Order, Fine-Grained Intensional Logic [chapter]

Foundations of Intensional Semantics  
Fine Grained Intensional Logic (FIL): A Conservative Revision of Montague Semantics • FIL is a higher-order logic with fine-grained intensionality. • Intensionality is basic rather than derived through  ...  serve as logical translations of words in a natural language whose semantic structure is being represented.  ...  of intension entails identity of extension, but that the converse does not hold. • Given the semantics that we have specified for FIL, its proof procedure is sound. • The distinction between provably  ... 
doi:10.1002/9780470773543.ch4 fatcat:bali463oungx7g2nnfz4tdjfta

Property Theory with Curry Typing [chapter]

Foundations of Intensional Semantics  
The rules for intensional identity are essentially those of the λαβη-calculus. • It is necessary to type the intensional identity predicate to avoid semantic paradoxes. • It is represented in the language  ...  terms by t∼ =T s Identity There are two equivalence notions in this theory: intensional identity and extensional equivalence. t = T s states that two terms are intensionally identical in type T . •  ...  Conclusions • We have constructed a first-order fine-grained intensional logic with flexible Curry typing, PTCT, for the semantic representation of natural languages. • PTCT contains general typed predicates  ... 
doi:10.1002/9780470773543.ch5 fatcat:6aqovgb3gjb3rlxo6yxdfyaehy

Intensionality in mathematics: problems and prospects

Marianna Antonutti Marfori, Paula Quinon
2021 Synthese  
This is done by analysing syntactic and semantic aspects of the notions of identity available in Univalent Foundations, in order to clarify the notions of intensionality and extensionality that are relevant  ...  For example, in the case of semantics, a detailed analysis is carried out of Homotopy Type Theory (HoTT), which provides a topological semantics for the type theory used in Univalent Foundations, in contrast  ... 
doi:10.1007/s11229-021-03060-4 fatcat:dy7qsxi5nba7fo23swag2fsjxi

Page 27 of Mathematical Reviews Vol. , Issue 91A [page]

1991 Mathematical Reviews  
Finally, she discusses the implications of some foundational problems in possible worlds semantics.  ...  She first takes the reader through the history of intensional logic, beginning with R. Carnap, to the mathematical foundations by J. Hintikka, S. Kanger and S.  ... 

An approach to the interpretation on intensional contexts

Е.Д. Смирнова
2013 Logical Investigations  
The paper introduces a non-standard analysis of intensional contexts on the ground of generalized approach to semantics construction. The principles of building such kind semantics are consider.  ...  As far as I can see it is an idea on domains and anti-domains that lays in the ground a semantics of intensional contexts.  ...  This work is supported by Russian Foundation for Humanities, grant № 11-03-00143.  ... 
doi:10.21146/2074-1472-2013-19-0-238-245 fatcat:uuray6qacjb3jixnmosd5bmxfu

Page 4710 of Mathematical Reviews Vol. , Issue 87i [page]

1987 Mathematical Reviews  
Ruzha [Imre Ruzsa], Intensional logic without intensional variables (pp. 220-245); E. D. Smirnova, An approach to the semantics of first-order intensional logic (pp. 245- 248); E.  ...  Popov, Se- mantic and syntactic analysis of the negation-implication fragment MATHEMATICAL LOGIC AND FOUNDATIONS 4710 of the system RM (pp. 192-198); V.  ... 

Semantic Value [chapter]

J. Dever
2006 Encyclopedia of Language & Linguistics  
Semantic values are entities assigned to expressions by  ...  Second, the Fregean use of truth as the foundational semantic value is expanded to a notion of indexed truth suitable for intensional and context-sensitive languages.  ...  Context-sensitive semantic theories thus extend the Fregean framework further in the direction begun by intensional semantics, by extending the indexing of truth at the foundation of the type hierarchy  ... 
doi:10.1016/b0-08-044854-2/04469-2 fatcat:wsff25xgdjgjfoktvh2s3a44gu

Meinongian Semantics and Artificial Intelligence

William J. Rapaport
2013 Humana.Mente: Journal of Philosophical Studies  
In particular, propositional semantic networks (exemplified by SNePS) are discussed; it is argued that only a fully intensional, Meinongian semantics is appropriate for them; and several Meinongian systems  ...  This essay describes computational semantic networks for a philosophical audience and surveys several approaches to semantic-network semantics.  ...  The essay has benefited from discussions with Shapiro, Castañeda, and members of the SNePS Research Group.  ... 
doaj:0394f3e6a8d44f53b514ffa280060be5 fatcat:orged3zyhnbe3fpvf6euvxwwye

Semantics and truth relative to a world

Michael Glanzberg
2007 Synthese  
aspect of semantic theory.  ...  Empirical work in semantics is done not only against a background of the metatheory of formal languages, but also of philosophical ideas about content.  ...  This may help to explain one of the more puzzling features of semantic theory, and its relation to the foundational study of content. Many approaches to semantics seem to have two tiers.  ... 
doi:10.1007/s11229-007-9285-3 fatcat:gatajzcpfffivhvb2xfots63pq


Branislav BEDNAR, Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Kosice, Letna 9, 042 00 Kosice, Slovakia, Zuzana BILANOVA, Adrian PEKAR, Department of Networked Systems and Services, Budapest University of Technology and Economics 1111 Budapest, Megyetem rkp. 3., Hungary
2020 Acta Electrotechnica et Informatica  
This paper describes the theoretical design and implementation of the semantic machine of transparent intensional logic.  ...  Transparent intensional logic is used for the logical-semantic analysis of natural language, which is performed in three steps -type analysis, creation of construction, and type control (last step is optional  ...  INTRODUCTION Czech logician Pavel Tichý created foundations of transparent intensional logic (TIL) in 1961 [1] .  ... 
doi:10.15546/aeei-2019-0023 fatcat:ck5ka5e4zvgvbdadqpdzjzxnay

Page 5632 of Mathematical Reviews Vol. , Issue 88k [page]

1988 Mathematical Reviews  
The author introduces a semantic system of tensed intensional logic with factual value gaps.  ...  Maksimova (Novosibirsk) 88k:03036 03B45 Ruzsa, Imre (H-EOTVO) Intensional logic and semantic value gaps. Logique et Anal. (N.S.) 29 (1986), no. 114, 187-203.  ... 

Book review of Yoad Winter's Elements of formal semantics (2016)

Jessica Rett
2016 Glossa  
semantics for intensional expressions (Chapter 6).  ...  the modern, lambda-calculus introduction to intensional semantics in von Fintel and Heim's (2011) Intensional semantics lecture notes.  ...  Art. 42, page 3 of 3 Abbreviations efs = Elements of formal semantics, by Yoad Winter; sgg = Semantics in generative grammar, by Irene Heim and Angelika Kratzer Competing interests The author declares  ... 
doi:10.5334/gjgl.231 fatcat:na47vsz2qvgqfgviwtfnpf7gym

Page 5987 of Mathematical Reviews Vol. , Issue 94j [page]

1994 Mathematical Reviews  
Summary: “We present a category-theoretic framework for pro- viding intensional semantics of programming languages and estab- lishing connections between semantics given at different levels of intensional  ...  We define an intensional semantics in Alg for the simply typed /-calculus, and relate it to the standard extensional semantics in Cont.”  ... 

Foundations and applications of montague grammar; part 1: philosophy, framework, computer science

Jan Goossenaerts
1988 Journal of Computational and Applied Mathematics  
semantics of programming languages.  ...  It is observed that the assignment statements exhibit the same phenomena as intensional operators in natural languages and that the traditional ways of treating the semantics of programming languages,  ... 
doi:10.1016/0377-0427(88)90308-1 fatcat:glcupwiy5ncopkarhnl2qflj7a

A Calculus of Coroutines [chapter]

J. Laird
2004 Lecture Notes in Computer Science  
Game semantics is a way of characterizing programming languages and logical calculi intensionally by interpreting proofs or programs as strategies for interacting with the environment; this process of  ...  A possible basis for connecting the intensional world of games with the extensional world of domains was the remarkable observation of Cartwright and Felleisen [8] that intensional properties can become  ...  semantic setting, and the investigation of connections between these extensional models and intensional, game-like models (game semantics, sequential algorithms etc.).  ... 
doi:10.1007/978-3-540-27836-8_74 fatcat:hrcyftg22bcc3mw52qs3vbyr5y
« Previous Showing results 1 — 15 out of 5,187 results