Alfred Habdank Skarbek Korzybski was a Polish-American independent scholar who developed a field called general semantics, which he viewed as both distinct from, and more encompassing than, the field of semantics. He argued that human knowledge of the world is limited both by the human nervous system and the languages humans have developed, and thus no one can have direct access to reality, given that the most we can know is that which is filtered through the brain's responses to reality. His best known dictum is "The map is not the territory".
E-Prime denotes a restricted form of English in which authors avoid all forms of the verb to be.
A programming language is a system of notation for writing computer programs. Most programming languages are text-based formal languages, but they may also be graphical. They are a kind of computer language.
In computer science, denotational semantics is an approach of formalizing the meanings of programming languages by constructing mathematical objects that describe the meanings of expressions from the languages. Other approaches providing formal semantics of programming languages include axiomatic semantics and operational semantics.
General semantics is concerned with how events translate to perceptions, how they are further modified by the names and labels we apply to them, and how we might gain a measure of control over our own cognitive, emotional, and behavioral responses. Proponents characterize general semantics as an antidote to certain kinds of delusional thought patterns in which incomplete and possibly warped mental constructs are projected onto the world and treated as reality itself. After partial launches under the names human engineering and humanology, Polish-American originator Alfred Korzybski (1879–1950) fully launched the program as general semantics in 1933 with the publication of Science and Sanity: An Introduction to Non-Aristotelian Systems and General Semantics.
Alan Wilson Watts was an English writer, speaker and self-styled "philosophical entertainer", known for interpreting and popularising Japanese, Chinese and Indian traditions of Buddhist, Taoist, and Hindu philosophy for a Western audience. Born in Chislehurst, England, he moved to the United States in 1938 and began Zen training in New York. He received a master's degree in theology from Seabury-Western Theological Seminary and became an Episcopal priest in 1945. He left the ministry in 1950 and moved to California, where he joined the faculty of the American Academy of Asian Studies.
Action semantics is a framework for the formal specification of semantics of programming languages invented by David Watt and Peter D. Mosses in the 1990s. It is a mixture of denotational, operational and algebraic semantics.
Counterfactual conditionals are conditional sentences which discuss what would have been true under different circumstances, e.g. "If Peter believed in ghosts, he would be afraid to be here." Counterfactuals are contrasted with indicatives, which are generally restricted to discussing open possibilities. Counterfactuals are characterized grammatically by their use of fake tense morphology, which some languages use in combination with other kinds of morphology including aspect and mood.
Richard Merritt Montague was an American mathematician and philosopher who made contributions to mathematical logic and the philosophy of language. He is known for proposing Montague grammar to formalize the semantics of natural language. As a student of Alfred Tarski, he also contributed early developments to axiomatic set theory (ZFC). For the latter half of his life, he was a professor at the University of California, Los Angeles until his early death, believed to be a homicide, at age 40.
HyTime is a markup language that is an application of SGML. HyTime defines a set of hypertext-oriented element types that, in effect, supplement SGML and allow SGML document authors to build hypertext and multimedia presentations in a standardized way.
Epistemic modality is a sub-type of linguistic modality that encompasses knowledge, belief, or credence in a proposition. Epistemic modality is exemplified by the English modals may, might, must. However, it occurs cross-linguistically, encoded in a wide variety of lexical items and grammatical structures. Epistemic modality has been studied from many perspectives within linguistics and philosophy. It is one of the most studied phenomena in formal semantics.
John Rupert Firth, commonly known as J. R. Firth, was an English linguist and a leading figure in British linguistics during the 1950s.
Peter David Mosses is a British computer scientist.
David Roach Dowty is a linguist known primarily for his work in semantic and syntactic theory, and especially in Montague grammar and Categorial grammar. Dowty is a professor emeritus of linguistics at the Ohio State University, and his research interests mainly lie in Semantic and Syntactic Theory, Lexical semantics and Thematic roles, Categorial grammar, and Semantics of Tense and Aspect.
Donkey sentences are sentences that contain a pronoun with clear meaning but whose syntactical role in the sentence poses challenges to grammarians. Such sentences defy straightforward attempts to generate their formal language equivalents. The difficulty is with understanding how English speakers parse such sentences.
Quantificational variability effect (QVE) is the intuitive equivalence of certain sentences with quantificational adverbs (Q-adverbs) and sentences without these, but with quantificational determiner phrases (DP) in argument position instead.
The watt is the unit of power or radiant flux in the International System of Units (SI), equal to 1 joule per second or 1 kg⋅m2⋅s−3. It is used to quantify the rate of energy transfer. The watt is named in honor of James Watt (1736–1819), an 18th-century Scottish inventor, mechanical engineer, and chemist who improved the Newcomen engine with his own steam engine in 1776. Watt's invention was fundamental for the Industrial Revolution.
Robert Bruce Findler, colloquially known as "Robby", is an American computer scientist, currently, a professor of computer science at Northwestern University. He is also a member of the PLT group and, as such, responsible for the creation and maintenance of DrRacket. In addition to DrRacket, Findler has contributed numerous components to Racket and supervises its Web-based software library, called PLaneT. Findler is also a leading team member of the ProgramByDesign project.
In formal semantics and pragmatics, modal subordination is the phenomenon whereby a modal expression is interpreted relative to another modal expression to which it is not syntactically subordinate. For instance, the following example does not assert that the birds will in fact be hungry, but rather that hungry birds would be a consequence of Joan forgetting to fill the birdfeeder. This interpretation was unexpected in early theories of the syntax-semantics interface since the content concerning the birds' hunger occurs in a separate sentence from the if-clause.
- If Joan forgets to fill the birdfeeder, she will feel very bad. The birds will get hungry.
In semantics, pragmatics, and philosophy of language, a question under discussion (QUD) is a question which the interlocutors in a discourse are attempting to answer. In many formal and computational theories of discourse, the QUD (or an ordered set of QUD's) is among the elements of a tuple called the conversational scoreboard which represents the current state of the conversation. Craige Roberts introduced the concept of a QUD in 1996 in order to formalize conversational relevance and explain its consequences for information structure and focus marking. It has subsequently become a staple of work in semantics and pragmatics, playing a role in analyses of disparate phenomena including donkey anaphora and presupposition projection.
