https://www.vigyanwiki.in/index.php?action=history&feed=atom&title=Template%3AFormal_semantics 2026-05-13T02:41:20Z Revision history for this page on the wiki MediaWiki 1.39.3 https://www.vigyanwiki.in/index.php?title=Template:Formal_semantics&diff=90289&oldid=prev 2023-02-17T13:25:53Z

<p>1 revision imported from <a href="https://alpha.indicwiki.in/index.php?title=Template:Formal_semantics" class="extiw" title="alpha:Template:Formal semantics">alpha:Template:Formal_semantics</a></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="en-GB"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 18:55, 17 February 2023</td> </tr><tr><td colspan="2" class="diff-notice" lang="en-GB"><div class="mw-diff-empty">(No difference)</div> </td></tr></table>

Indicwiki https://www.vigyanwiki.in/index.php?title=Template:Formal_semantics&diff=90288&oldid=prev 2023-02-03T18:01:00Z

<p>Created page with &quot;{{Navbox | name = Formal semantics | title = <a href="/index.php?title=Formal_semantics_(natural_language)&amp;action=edit&amp;redlink=1" class="new" title="Formal semantics (natural language) (page does not exist)">Formal semantics (natural language)</a> | listclass = hlist | group1 = Central concepts | list1 = * Compo...&quot;</p> <p><b>New page</b></p><div>{{Navbox<br /> | name = Formal semantics<br /> | title = [[Formal semantics (natural language)]]<br /> | listclass = hlist<br /> <br /> | group1 = Central concepts<br /> | list1 = <br /> * [[Compositionality]]<br /> * [[Denotation]]<br /> * [[Entailment]]<br /> * [[Extension (semantics)|Extension]]<br /> * [[Generalized quantifier]]<br /> * [[Intension]]<br /> * [[Logical form (linguistics)|Logical form]]<br /> * [[Presupposition]]<br /> * [[Proposition]]<br /> * [[Reference]]<br /> * [[Scope (formal semantics)|Scope]]<br /> * [[Speech act]]<br /> * [[Syntax–semantics interface]]<br /> * [[Truth-conditional_semantics|Truth conditions]]<br /> <br /> | group2 = Topics<br /> | list2 = <br /> <br /> {{navbox|subgroup<br /> |group1 = Areas<br /> |list1 = <br /> * [[Anaphora (linguistics)|Anaphora]]<br /> * [[Ambiguity]]<br /> * [[Binding (linguistics)|Binding]]<br /> * [[Conditional sentence|Conditionals]]<br /> * [[Definiteness]]<br /> * [[Disjunction]]<br /> * [[Evidentiality]]<br /> * [[Focus (linguistics)|Focus]]<br /> * [[Indexicality]]<br /> * [[Lexical semantics]]<br /> * [[Linguistic modality|Modality]]<br /> * [[Negation]]<br /> * [[Propositional attitudes]]<br /> * [[Tense–aspect–mood]]<br /> * [[Quantifier (logic)|Quantification]]<br /> * [[Vagueness]]<br /> <br /> | group2 = Phenomena<br /> | list2 = <br /> * [[Antecedent-contained deletion]]<br /> * [[Cataphora]]<br /> * [[Coercion (linguistics)|Coercion]]<br /> * [[Conservativity]]<br /> * [[Counterfactuals]]<br /> * [[Cumulativity_(linguistics)|Cumulativity]]<br /> * [[De dicto and de re]]<br /> * [[De se]]<br /> * [[Deontic modality]]<br /> * [[Discourse relation]]s<br /> * [[Donkey anaphora]]<br /> * [[Epistemic modality]]<br /> * [[Faultless disagreement]]<br /> * [[Free choice inference]]s<br /> * [[Givenness]]<br /> * [[Crossover effects]]<br /> * [[Hurford disjunction]]<br /> * [[Inalienable possession]]<br /> * [[Intersective modifier|Intersective modification]]<br /> * [[Logophoricity]]<br /> * [[Mirativity]]<br /> * [[Modal subordination]]<br /> * [[Opaque context]]s<br /> * [[Performative utterance|Performative]]s<br /> * [[Polarity item]]s<br /> * [[Privative adjective]]s<br /> * [[Quantificational variability effect]]<br /> * [[Responsive predicate]]<br /> * [[Rising declarative]]s<br /> * [[Scalar implicature]]<br /> * [[Sloppy identity]]<br /> * [[Subsective modifier|Subsective modification]]<br /> * [[Subtrigging]]<br /> * [[Telicity]]<br /> * [[Temperature paradox]]<br /> * [[Veridicality]]<br /> }}<br /> <br /> | group4 = Formalism<br /> | list4 = <br /> {{navbox|subgroup<br /> |group1 = Formal systems<br /> |list1 = <br /> * [[Alternative semantics]]<br /> * [[Categorial grammar]]<br /> * [[Combinatory categorial grammar]]<br /> * [[Discourse representation theory]]<br /> * [[Dynamic semantics]]<br /> * [[Frame semantics (linguistics)|Frame semantics]]<br /> * [[Generative grammar]]<br /> * [[Glue semantics]]<br /> * [[Inquisitive semantics]]<br /> * [[Intensional logic]]<br /> * [[Lambda calculus]]<br /> * [[Mereology]]<br /> * [[Montague grammar]]<br /> * [[Segmented discourse representation theory]]<br /> * [[Situation semantics]]<br /> * [[Supervaluationism]]<br /> * [[Type theory]]<br /> * [[Type theory with records|TTR]]<br /> <br /> |group2 = Concepts<br /> |list2 = <br /> * [[Autonomy of syntax]]<br /> * [[Context set]]<br /> * [[Continuation]]<br /> * [[Conversational scoreboard]]<br /> * [[Existential closure]]<br /> * [[Function application]]<br /> * [[Meaning postulate]]<br /> * [[Monad (functional programming)|Monad]]s<br /> * [[Possible world]]<br /> * [[Quantifier raising]]<br /> * [[Quantization (linguistics)|Quantization]]<br /> * [[Question under discussion]]<br /> * [[Squiggle operator]]<br /> * [[Strict conditional]]<br /> * [[Type shifter]]<br /> * [[Universal grinder]]<br /> }}<br /> <br /> | group5 = See also<br /> | list5 =<br /> * [[Cognitive semantics]]<br /> * [[Computational semantics]]<br /> * [[Distributional semantics]]<br /> * [[Formal grammar]]<br /> * [[Inferentialism]]<br /> * [[Linguistics wars]]<br /> * [[Term logic]]<br /> * [[Philosophy of language]]<br /> * [[Pragmatics]]<br /> ** [[Context (language use)|Context]]<br /> ** [[Deixis]]<br /> * [[Semantics of logic]]<br /> }}&lt;noinclude&gt;<br /> [[Category:Logic templates]]<br /> &lt;/noinclude&gt;</div>

alpha>Indicwiki