Search results

{{Short description|Approach to the semantics of logic}} ...ut in the role that the proposition or logical connective plays within a [[Formal system|system of inference]]. ...

...last=Beth|first=Evert Willem|year=1955}}</ref> For instance, the [[English language|English]] sentence "Pat is a fluffy cat" entails the sentence "Pat is a cat ...ar.org/c42d/20aa9d0ca853ca449a13b7a0fe3b34d05893.pdf |journal=Language and Language Teaching Journal |volume=18 |issue=01 |pages=27–38 |doi=10.24071/llt.2015.1 ...

...he Syntax-Semantics Interface in Western Formal Linguistics|journal=Syntax-Semantics Interface|volume=1|pages=1–21}}</ref> {{formal semantics}} ...

...itle=Nominal reference, temporal constitution, and quantification in event semantics|year=1989 |publisher=Foris |pages=75–115}}</ref> ...Manfred Krifka]] as part of his [[mereology|mereological]] approach to the semantics of nominals. It has since been applied to other phenomena such as [[telicit ...

{{Short description|Study of the semantics, or interpretations, of formal and natural languages}} ...mantics]]. For other uses, see [[Semantics (disambiguation)]] and [[Formal semantics (disambiguation)]].}} ...

...bridge Dictionary of Philosophy, ''deduction''</ref><ref>{{Cite book|title=Language, Proof and Logic|last=Barwise|first=Jon|last2=Etchemendy|first2=John Etchem ...t be the result of applying a rule of the [[deductive apparatus]] (of some formal system) to the previous well-formed formulas in the proof sequence. ...

...particular apt for the logical analysis of [[natural language]]. From the formal point of view, TIL is a hyperintensional, partial, [[typed lambda calculus] ...guage]], [[epistemic logic]], [[philosophical logic|philosophical]], and [[formal logic]]. TIL provides an overarching semantic framework for all sorts of di ...

{{Short description|Truth-based approach to semantics}} ...vidson|first=Donald|date=1967|title=Truth and meaning|journal=[[Synthese]]|language=en|volume=17|issue=3|pages=304–323|doi= 10.1007/BF00485035|s2cid=14720789 } ...

In [[semantics|linguistic semantics]], an expression X is said to have '''cumulative reference''' if and only i ...In [[Renate Bartsch]], Johan van Benthem and Peter van Emde Boas (eds.), ''Semantics and Contextual Expressions'' 75–115. Dordrecht: [[Foris]]. ...

{{Short description|View emphasising importance of language in philosophy}} ...e being [[logical atomism]]. The latter is the view defended in [[ordinary language philosophy]].<ref>Rorty 1967.</ref> ...

An '''opaque context''' or '''referentially opaque context''' is a [[context (language use)|linguistic context]] in which it is not always possible to substitute ...s://books.google.com/books?id=kK0cBQAAQBAJ |first=Kate |last=Kearns |title=Semantics |date=11 May 2011 |isbn=978-0-230-23229-7 |page=[https://books.google.com/b ...

...or expression is its strictly literal meaning. For instance, the [[English language|English]] word "warm" denotes the [[Property (philosophy)|property]] of hav ...computational system which assigns denotations to expressions of [[natural language]]s. ...

{{Short description|Documentation defining a programming language}} ...uage reference]], which is intended expressly for users, and a programming language rationale, which explains why the specification is written as it is; these ...

In [[natural language]]s, an '''indicative conditional''' is a [[conditional sentence]] such as " Indicatives are a major topic of research in [[philosophy of language]], [[philosophical logic]], and [[linguistics]]. Open questions include whi ...

{{Short description|Term used in Philosophy of Language & Modal Logic}} {{refimprove|date=March 2016}}In the [[philosophy of language]] and [[modal logic]], a term is said to be a '''non-rigid designator''' (o ...

{{short description|Subset of a natural language}} '''Controlled natural languages''' ('''CNLs''') are subsets of [[natural language]]s that are obtained by restricting the grammar and vocabulary in order to ...

{{Short description|Language as naturally spoken by humans}} ...ake it regulated enough to be called a constructed or [[controlled natural language]]. ...

'''''Studies in Natural Language Processing''''' is the book series of the ...2.124.177/~churenhuang/ Chu-Ren Huang], Chair Professor of Applied Chinese Language Studies in the Department of Chinese and Bilingual Studies and the Dean of ...

...entation]] paradigm and a language for meaning representation of [[natural language]] expressions that has been developed by Prof. Dr. Hermann Helbig on the ba ...ysis, for logical answer finding, as well as for the generation of natural language answers. ...

...), [[philosophical logic]], [[philosophy of mathematics]], [[philosophy of language]] | notable_ideas = [[Formal semantics (linguistics)|Formal semantics]], [[Montague grammar]] ...