Search references for DYNAMIC SEMANTICS. Phrases containing DYNAMIC SEMANTICS
See searches and references containing DYNAMIC SEMANTICS!DYNAMIC SEMANTICS
Framework in logic and natural language semantics
Dynamic semantics is a framework in logic and natural language semantics that treats the meaning of a sentence as its potential to update a context. In
Dynamic_semantics
Language for controlling a computer
structures conditionally execute statements. The dynamic semantics (also known as execution semantics) of a language defines how and when the various constructs
Programming_language
Study of meaning in language
Semantics is the study of linguistic meaning. It examines what meaning is, how words get their meaning, and how the meaning of a complex expression depends
Semantics
Phenomenon whereby language is used to discuss possible situations
Recent work has departed from this picture in a variety of ways. In dynamic semantics, modals are analyzed as tests which check whether their prejacent
Modality_(semantics)
Formal study of linguistic meaning
systems. Possible world semantics and situation semantics evaluate truth across different hypothetical scenarios. Dynamic semantics analyzes the meaning
Formal semantics (natural language)
Formal_semantics_(natural_language)
Study of the semantics, or interpretations, of formal and natural languages
In logic, the semantics or formal semantics is the study of the meaning and interpretation of formal languages, formal systems, and (idealizations of)
Semantics_(logic)
Scientific study of language
linguistic analysis are syntax (rules governing the structure of sentences), semantics (meaning), morphology (structure of words), phonetics (speech sounds and
Linguistics
Philanthropy conception of meaning
things they intend, express, or signify". It is studied in the fields of semantics and philosophy of language. Meanings can be categorised in relation to
Meaning_(philosophy)
Truth-based approach to semantics
pragmatics' instead of semantics. Formal semantics Montague grammar Proof-theoretic semantics Dynamic semantics Inquisitive semantics Alfred Tarski Davidson
Truth-conditional_semantics
Structured system of communication
[is y]]" or "[x [does y]]". Recently, this model of semantics has been complemented with more dynamic models of meaning that incorporate shared knowledge
Language
Bearer of truth values
associated with propositions, such as the liar paradox. Possible worlds semantics proposes a reductive realism that analyzes propositions as sets of possible
Proposition
Entity whose presence indicates the probable existence of something else
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Sign
Ancient Greek philosopher and polymath (384–322 BC)
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Aristotle
Sentence that resists simple formalization
semanticists have proposed a variety of formalisms including systems of dynamic semantics such as Discourse representation theory. Their name comes from the
Donkey_sentence
Fundamental unit of cognition
Semantics". Semantics. De Gruyter Mouton. doi:10.1515/9783110226614.688. ISBN 978-3-110-22661-4. Jacobson, Pauline I. (2014). Compositional Semantics:
Concept
Linguistic term for jargon of a group
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Cant_(language)
Words expressing a complete thought
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Sentence_(linguistics)
Something that exists in some identified universe of discourse
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Entity
English philosopher and political theorist (1588–1679)
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Thomas_Hobbes
Words and contextual actions which provide a complete meaning
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Language_game_(philosophy)
Property or quality connoted by a word, phrase, or another symbol
treat the use of signs—for example, in linguistics, logic, mathematics, semantics, semiotics, and philosophy of language—an intension is any property or
Intension
Extent to which a programming language discourages type errors
be "well typed" or to "go wrong" are properties of its static and dynamic semantics, which are specific to each programming language. Consequently, a
Type_safety
Chinese philosopher (c. 551 – c. 479 BCE)
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Confucius
System of names or terms in a particular field of arts or sciences
as well as the relationship between names, their referents, meanings (semantics), and the structure of language. Modern scientific taxonomy has been described
Nomenclature
Hypothesis of language influencing thought
"The Semiotic Aspect of Alfred Korzybski's General Semantics" (PDF). ETC: A Review of General Semantics. 1. 40 (1). JSTOR: 16–21. doi:10.5840/cpsem19828
Linguistic_relativity
Field of theory which examines elements of conversation
exchange and was one of the major motivations for the framework of dynamic semantics. In these expressions, denotations are equated with their ability
Discourse
Soviet psychologist (1896–1934)
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Lev_Vygotsky
Cant used by various peoples in English-speaking countries
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Thieves'_cant
French philosopher (1859–1941)
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Henri_Bergson
Distinction between using a word and mentioning it
1992, Revised 21 October 1993, Published in ETC: A Review of General Semantics, Vol. 51 No 1, Spring 1994. (accessed: 26 August 2006). "The evolution
Use–mention_distinction
How clauses compose sentences in grammar and syntax
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Sentence_clause_structure
Swiss linguist and philosopher (1857–1913)
conceptualisation, and later by the post-structuralists to criticise it. Cognitive semantics also diverges from Saussure on this point, emphasizing the importance
Ferdinand_de_Saussure
American philosopher (1917–2003)
Suppes and Sidney Siegel. Stanford: Stanford University Press. 1957. Semantics of Natural Language, co-edited with Gilbert Harman, 2nd ed. New York:
Donald_Davidson_(philosopher)
Interaction between syntax and semantics
syntax–semantics interface is the interaction between syntax and semantics. Its study encompasses phenomena that pertain to both syntax and semantics, with
Syntax–semantics_interface
American linguist and philosopher
of America. Beaver, David. 2001. Presupposition and Assertion in Dynamic Semantics. Stanford: CSLI Publications. Beaver, David and Brady Clark. 2008
David_Beaver
Differentiating and characterizing feature
paradox Identity of indiscernibles (or "Leibniz's law") Intension Opposite (semantics) Property (mathematics) Russell's paradox Similarity (philosophy) "Properties"
Property_(philosophy)
Principle in linguistics about meaning
In semantics, mathematical logic and related disciplines, the principle of compositionality (also known as semantic compositionalism) is the principle
Principle_of_compositionality
1921 philosophical work by Ludwig Wittgenstein
Introduction to Non-Aristotelian Systems and General Semantics". The Institute of General Semantics Store. Archived from the original on 2011-08-11. Retrieved
Tractatus Logico-Philosophicus
Tractatus_Logico-Philosophicus
Movement in Western philosophy
interpretations to those that are true interpretations. By reconstructing the semantics of scientific language, Carnap's thesis builds upon earlier research in
Logical_positivism
Approach to formal semantics
Game semantics is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a
Game_semantics
French philosopher (1930–2004)
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Jacques_Derrida
Phenomenon in natural language
within nonclassical frameworks such as dynamic semantics, linear logic, alternative semantics, and inquisitive semantics. Others have proposed ways of deriving
Free_choice_inference
Branch of philosophy
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Philosophy_of_information
Austrian philosopher and logician (1889–1951)
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Ludwig_Wittgenstein
Approach to semantics in analytic philosophy
Two-dimensionalism is an approach to semantics in analytic philosophy. It is a theory of how to determine the sense and reference of a word and the truth-value
Two-dimensionalism
German polymath (1646–1716)
Haym; Han, Seon Mi; Nagurka, Mark (2 May 2013). Probabilistic Models for Dynamical Systems. CRC Press. ISBN 978-1-4398-5015-2. Bishop, Steve (30 January
Gottfried_Wilhelm_Leibniz
Utterance that serves a performative function
propositional content (given with classical semantics) and illocutionary force (given by intuitionistic semantics). Up to now, the main basic formal applications
Speech_act
sentences are addressed in the field of linguistics of syntax. Philosophical semantics tends to focus on the principle of compositionality to explain the relationship
Philosophy_of_language
English philosopher and logician (1872–1970)
September 2024. Retrieved 6 December 2016. Wettstein, Howard, "Frege-Russell Semantics?", Dialectica 44(1–2), 1990, pp. 113–135, esp. 115: "Russell maintains
Bertrand_Russell
Ancient Greek school of philosophical skepticism
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Pyrrhonism
Branch of linguistics and semiotics relating context to meaning
pragmatics – The study of context-dependent meaning using formal tools (dynamic semantics, game theory, decision theory), psycholinguistic and neuroscientific
Pragmatics
Philosophy emphasizing names and labels
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Nominalism
Context representation used in formal pragmatics
variants of the scoreboard framework have played an important role in dynamic semantics, formal pragmatics and recent work in social and political philosophy
Conversational_scoreboard
Topics referred to by the same term
investigated by Leonid Perlovsky In linguistics and philosophy of language, dynamic semantics is a formal framework in which meaning is understood as the ability
Dynamic_logic
Approach to understanding the relationship between text and meaning
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Deconstruction
Formal systems of logic that significantly differ from standard logical systems
formal logic was hotly debated within the Soviet Union and China. Dynamic semantics interprets formulas as update functions, opening the door to a variety
Non-classical_logic
Precisely specified semantic version of a statement
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Logical_form
1953 work by Ludwig Wittgenstein
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Philosophical_Investigations
Art of persuasion
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Rhetoric
Medieval school of philosophy
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Scholasticism
Intellectual current and methodological approach in the social science
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Structuralism
Dutch logician, linguist and philosopher
van Benthem. He was also an important figure in the development of dynamic semantics (together with Stokhof, Veltman and others, following earlier work
Jeroen_Groenendijk
Philosophical belief that principles depend on societal agreements, not external reality
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Conventionalism
Idea of language as the principal framework in dictating human thought
to Non-Aristotelian Systems and General Semantics. Institute of General Semantics, 2005. "General semantics | philosophy". Encyclopedia Britannica. Archived
Linguistic_determinism
American philosopher (1941–2001)
is most famous for his work in metaphysics, philosophy of language and semantics, in which his books On the Plurality of Worlds (1986) and Counterfactuals
David_Lewis_(philosopher)
Machine instruction that indicates to a computer to do nothing
Archived (PDF) from the original on 5 March 2016. Ada Reference Manual. Dynamic Semantics. The execution of a null_statement has no effect. "Empty statement"
NOP_(code)
Chinese philosopher (c.369 – c.286 BC)
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Zhuang_Zhou
Type of formal logic
logic Doxastic logic Dynamic logic Enthymeme Free choice inference Hybrid logic Interior algebra Interpretability logic Kripke semantics Metaphysical necessity
Modal_logic
British analytic philosopher (1919–2001)
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
G._E._M._Anscombe
Finnish and American philosopher and logician (1929–2015)
Hintikka is regarded as the founder of formal epistemic logic and of game semantics for logic. He was awarded the Rolf Schock Prize for philosophy in 2005
Jaakko_Hintikka
English philosopher (1911–1960)
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
J._L._Austin
Literal meaning of an expression
Rick; Brasoveanu, Adrian; van Eijck, Jan; Visser, Albert (2016). "Dynamic Semantics". In Zalta, Edward (ed.). The Stanford Encyclopedia of Philosophy
Denotation
Hypothetical internal cognitive symbol that represents external reality
natural languages but on a much more abstract level, possess a syntax and semantics very much like those of natural languages. For the Portuguese logician
Mental_representation
German-American philosopher (1891–1970)
model-theoretic method of semantics. Rose Rand, another philosopher in the Vienna Circle, noted, "Carnap's conception of semantics starts from the basis given
Rudolf_Carnap
Philosophical theory by Bertrand Russell
MIT Press. ISBN 0262140454. Lepore, Ernie (2004). "Abuse of Context in Semantics". In Reimer, Marga; Bezuidenhout, Anne (eds.). Descriptions and Beyond
Theory_of_descriptions
Meta-ethical theory
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Non-cognitivism
German philosopher, theologian, poet (1744–1803)
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Johann_Gottfried_Herder
Conditionals that discuss what would have been if things were otherwise
Malte Willer (2019) has formalized this idea in the framework of dynamic semantics, and given a number of linguistic arguments in favor. One argument
Counterfactual_conditional
American linguist (1897–1941)
insight. One of these was Polish philosopher Alfred Korzybski's General semantics, which was espoused in the US by Stuart Chase. Chase admired Whorf's work
Benjamin_Lee_Whorf
Analysis of computer programs without executing them
mathematical techniques used include denotational semantics, axiomatic semantics, operational semantics, and abstract interpretation. By a straightforward
Static_program_analysis
Entities that are said to be either true or false
meaningful-declarative-sentence-token. See e.g. Grice, Meaning, 1957 http://semantics.uchicago.edu/kennedy/classes/f09/semprag1/grice57.pdf Eternal Sentence:
Truth-bearer
Theory that terms acquire referents via a chain of usage events
Identifying Descriptions." In Donald Davidson; Gilbert Harman (eds.). Semantics of Natural Language. Dordrecht: D. Reidel. pp. 356–379. Kripke, S. "A
Causal_theory_of_reference
Branch of medieval logic
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Supposition_theory
German philosopher (1900–2002)
understanding one another. Ultimately, for Gadamer, the most important dynamic of conversation as a model for the interpretation of a text is "the give-and-take
Hans-Georg_Gadamer
20th-century tradition of Western philosophy
possibility in her treatment of the Barcan formula. Kripke provided a semantics for modal logic; he and Barcan both argued identity is a necessary relation
Analytic_philosophy
Prussian philosopher (1767–1835)
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Wilhelm_von_Humboldt
Mathematical operation
in category theory, as well as the notation for dynamic conjunction within linguistic dynamic semantics. A small circle ( R ∘ S ) {\displaystyle (R\circ
Composition_of_relations
English philosopher (1910–1989)
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
A._J._Ayer
American philosopher and logician (1940–2022)
now-standard Kripke semantics (also known as relational semantics or frame semantics) for modal logics. Kripke semantics is a formal semantics for non-classical
Saul_Kripke
Principle of classical logic
This problematic conclusion can be avoided within the framework of dynamic semantics, whose expressive power allows one to define a non-material conditional
Import–export_(logic)
Field of philosophical and mathematical logic studying agency and action
representation, planning, and multi-agent systems in AI, and with dynamic and update semantics in linguistics. Despite their diversity, most agentive logics
Agentive_logic
Analysis of software performed when running a program
Dynamic program analysis is the act of analyzing software that involves executing a program – as opposed to static program analysis, which does not execute
Dynamic_program_analysis
British philosopher of language (1913–1988)
pragmatics. His work on meaning has also influenced the philosophical study of semantics. Born in Birmingham, Grice was educated at Clifton College and then at
Paul_Grice
British philosopher (1900–1976)
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Gilbert_Ryle
American philosopher and logician (1908–2000)
quantification, a battle he largely lost when Saul Kripke's relational semantics became canonical for modal logics. Quine wrote three undergraduate texts
Willard_Van_Orman_Quine
German philosopher, logician, and mathematician (1848–1925)
essays by philosophers, grouped under three headings: 1. Ontology; 2. Semantics; and 3. Logic and Philosophy of Mathematics. Rosado Haddock, Guillermo
Gottlob_Frege
Chinese Confucian philosopher (c. 310 – after 238 BCE)
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Xunzi_(philosopher)
Canadian-born American philosopher
Descriptivism Direct reference theory Dramatism Dynamic semantics Expressivism Inquisitive semantics Linguistic determinism Mediated reference theory
Stephen_Yablo
American philosopher (born 1945)
Necessity' (2002). He is also a major critic of two-dimensionalist theories of semantics—see his Reference and Description: The Case against Two-Dimensionalism
Scott_Soames
Set of propositions that interlocutors agree is true
approaches are typically construed as pragmatic, the framework of dynamic semantics treats the semantic denotations of sentences as functions which update
Common_ground_(linguistics)
DYNAMIC SEMANTICS
DYNAMIC SEMANTICS
Boy/Male
Hindu
Kind, Explosive, A dynamic person
Boy/Male
Hindu
Kind, Explosive, A dynamic person
Boy/Male
Hindu, Indian, Sanskrit
Intelligent; Dynamic; Ruler
Boy/Male
Indian, Marathi
Dynamic Personality
Girl/Female
Arabic
Looking out for Someone
Boy/Male
Muslim
Energetic, Dynamic, Lively, Active
Boy/Male
Indian
Energetic, Dynamic, Lively, Active
Boy/Male
Arabic, Muslim
Energetic; Dynamic; Lively; Fresh; Vigorous
Boy/Male
Tamil
Ruthwik Sai | à®°à¯à®¤à¯à®µà¯€à®•à¯à®¸à®¾à®ˆÂ     Â
Dynamic hero
Ruthwik Sai | à®°à¯à®¤à¯à®µà¯€à®•à¯à®¸à®¾à®ˆÂ     Â
Boy/Male
Tamil
Kind, Explosive, A dynamic person
Boy/Male
Arthurian Legend
A knight.
Boy/Male
Bengali, Hindu, Indian, Jain, Kannada, Marathi, Parsi, Sanskrit, Telugu
Fire; Splendor; Explosive; Dynamic
Boy/Male
Tamil
Dynamic
Girl/Female
Muslim
Dynamic, Moving
Boy/Male
Arabic, Muslim
Dynamic; Bright
Boy/Male
Muslim
Energetic, Dynamic, Lively, Active
Girl/Female
Arabic, Muslim
Dynamic; Moving
Boy/Male
Indian
Energetic, Dynamic, Lively, Active
Boy/Male
Hindu
Dynamic hero
Boy/Male
Hindu
Dynamic
DYNAMIC SEMANTICS
DYNAMIC SEMANTICS
Boy/Male
Muslim
Servant of the capable, Servant of the powerful (Allah)
Boy/Male
Arabic, French, Hindu, Indian, Lebanese, Muslim
Small; Humble
Boy/Male
Hindu, Indian, Marathi
Guarding Divine Truth
Girl/Female
Indian
Male
Hebrew
(מָרְדְּכַי) Hebrew name of Persian origin, MORDEKAY means "devotee of Marduk (Mars)" or "little man." In the bible, this is the name of a cousin of Queen Esther.
Boy/Male
Tamil
Brahmani Lal | பà¯à®°à®¹à¯à®®à®¾à®¨à¯€à®²à®¾à®²Â
An Avatar of Durga (Son of Goddess Brahmani)
Male
English
Pet form of English Neal, NEELY means "champion."
Female
Finnish
Finnish form of Greek Magdalēnē, MATLEENA means "of Magdala."
Surname or Lastname
English
English : variant of Robertshaw.
Surname or Lastname
English
English : variant spelling of Hilliard.
DYNAMIC SEMANTICS
DYNAMIC SEMANTICS
DYNAMIC SEMANTICS
DYNAMIC SEMANTICS
DYNAMIC SEMANTICS
n.
Destroying by dynamite, for political ends.
n.
See Dynamics.
adv.
In accordance with the principles of dynamics or moving forces.
n.
The moving moral, as well as physical, forces of any kind, or the laws which relate to them.
a.
Of or pertaining to dynamics; belonging to energy or power; characterized by energy or production of force.
n.
Adynamia.
n.
That branch of mechanics which treats of the motion of bodies (kinematics) and the action of forces in producing or changing their motion (kinetics). Dynamics is held by some recent writers to include statics and not kinematics.
n.
A dynamo-electric machine.
a.
Alt. of Dynamical
a.
Characterized by the absence of power or force.
a.
Alt. of Electro-dynamical
n.
One who accounts for material phenomena by a theory of dynamics.
a.
Pertaining to, or characterized by, debility of the vital powers; weak.
a.
Relating to physical forces, effects, or laws; as, dynamical geology.
n.
The branch of science which treats of the properties of electric currents; dynamical electricity.
a.
Dynastic.
n.
A unit of measure for dynamical effect or work; a foot pound. See Foot pound.
n.
That department of musical science which relates to, or treats of, the power of tones.
n.
A kind of dynamite used in blasting.
n.
An instrument for measuring the strength of electro-dynamic currents.