AI & ChatGPT searches , social queries for SENTENCE FUNCTION
Search references for SENTENCE FUNCTION. Phrases containing SENTENCE FUNCTION
See searches and references containing SENTENCE FUNCTION!
Search references for SENTENCE FUNCTION. Phrases containing SENTENCE FUNCTION
See searches and references containing SENTENCE FUNCTION!SENTENCE FUNCTION
Intended purpose of spoken speech
In linguistics, a sentence function refers to a speaker's purpose in uttering a specific sentence, clause, or phrase. Whether a listener is present or
Sentence_function
Words expressing a complete thought
Constituent Discourse Periodic sentence Sentence arrangement Sentence function Syntax T-unit Utterance Conditional sentence Halliday, M. A. K. and Matthiessen
Sentence_(linguistics)
How clauses compose sentences in grammar and syntax
In grammar, sentence and clause structure, commonly known as sentence composition, is the classification of sentences based on the number and kind of
Sentence_clause_structure
Term in logic
truth of the sentence "John is Greek and John is happy" is a function of the meaning of "and", and the truth values of the atomic sentences "John is Greek"
Atomic_sentence
Linguistic sentence with null subject
pro-sentence is a function word or expression that substitutes for a whole sentence whose content is recoverable from the context. A pro-sentence is a
Pro-sentence
Words supplying mainly grammatical information, rather than content information
the glue that holds sentences together. Thus they form important elements in the structures of sentences. Words that are not function words are called content
Function_word
Decree of punishment in law
A sentence may consist of imprisonment, a fine, or other sanctions. Sentences for multiple crimes may be a concurrent sentence, where sentences of imprisonment
Sentence_(law)
Expression in propositional calculus
propositional function or a predicate is a sentence expressed in a way that would assume the value of true or false, except that within the sentence there is
Propositional_function
Sentence that starts in a way that a reader's likely interpretation will be wrong
A garden-path sentence is a grammatically correct sentence that starts in such a way that a reader's most likely interpretation will be incorrect; the
Garden-path_sentence
Request for information
Inquisitive semantics Leading question Question under discussion Sentence function Squiggle operator Confusion Who Asked the First Question?, a book
Question
Complex sentence that could be expressed in a simpler way
cleft sentence is a complex sentence (one having a main clause and a dependent clause) that has a meaning that could be expressed by a simple sentence. Clefts
Cleft_sentence
Term in mathematical logic
logic, the spectrum of a sentence is the set of natural numbers occurring as the size of a finite model in which a given sentence is true. By a result in
Spectrum_of_a_sentence
Function in logic
function. On the other hand, modal logic is non-truth-functional. A logical connective is truth-functional if the truth-value of a compound sentence is
Truth_function
Japanese light novel series
Sentenced to Be a Hero: The Prison Records of Penal Hero Unit 9004 (Japanese: 勇者刑に処す 懲罰勇者9004隊刑務記録, Hepburn: Yūsha-kei ni Shosu: Chōbatsu Yūsha Kyūmarumaruyon-tai
Sentenced_to_Be_a_Hero
Consecutive life sentences given to a felon
unconstitutional due to imposing an in effect irrevocable life sentence, contrary to the function of parole after a minimum period, which would be "grossly
Back-to-back_life_sentences
Assignment of meaning to the symbols of a formal language
truth value of the compound sentence is defined as a certain truth function of the truth values of the simpler sentences. The connectives are usually
Interpretation_(logic)
Formula that contains at least one free variable
propositional variable Proof Quantifier ∃ ! ∀ rank Sentence atomic spectrum Signature String Substitution Symbol function logical/constant non-logical variable Term
Open_formula
Type of logical system
variable assignment function (μ above) before truth values for even atomic formulas can be defined. Then the truth value of a sentence is defined to be its
First-order_logic
System responsible for combining morphemes into complex structures
a function (equivalent to the VP) which is (NP\S), which in turn represents a function that searches to the left for an NP and produces a sentence." Tree-adjoining
Syntax
English grammatical structure
from" or "separated") part of a sentence, functioning as a sentence modifier, usually at the beginning or end of the sentence. It provides additional information
Nominative_absolute
Rules for sentencing convicts in the U.S. federal courts system
States Federal Sentencing Guidelines are rules published by the U.S. Sentencing Commission that set out a uniform policy for sentencing individuals and
United States Federal Sentencing Guidelines
United_States_Federal_Sentencing_Guidelines
First sentence of a literary work
The opening sentence or opening line stands at the beginning of a written work. The opening line is part or all of the opening sentence that may start
Opening_sentence
Proposed parameter in linguistics
different positions within a sentence. Because Turkish uses a case-marking system to denote how each word functions in a sentence in relation to the rest,
Head-directionality_parameter
Function that preserves distinctness
In mathematics, an injective function (also known as injection, or one-to-one function) is a function f that maps distinct elements of its domain to distinct
Injective_function
Process of repeating items in a self-similar way
and, for example, can be construed as a function that can apply to sentence meanings to create new sentences, and likewise for noun phrase meanings, verb
Recursion
Representation in natural language processing
In natural language processing, a sentence embedding (or document embedding) is a representation of a natural language text as a vector of numbers which
Sentence_embedding
Set of all things that may be the input of a mathematical function
In mathematics, the domain of a function is the set of inputs accepted by the function. It is sometimes denoted by dom ( f ) {\displaystyle \operatorname
Domain_of_a_function
Meta-ethical view
view that claims that, rather than expressing propositions, ethical sentences function similarly to imperatives which are universalizable—whoever makes a
Universal_prescriptivism
Limitative results in mathematical logic
could be expressed purely in terms of arithmetical functions that operate on Gödel numbers of sentences of the system. Therefore, the system, which can prove
Gödel's incompleteness theorems
Gödel's_incompleteness_theorems
Horizontal space between sentences in typeset text
Sentence spacing concerns how spaces are inserted between sentences in typeset text and is a matter of typographical convention. Since the introduction
Sentence_spacing
into a transitive one or a bivalent transitive into a trivalent one. In a sentence with a monovalent intransitive verb, there is no direct object, and the
Circassian_verb_transitivity
Mathematical function such that every output has at least one input
surjective function (also known as surjection, or onto function /ˈɒn.tuː/) is a function f such that, for every element y of the function's codomain, there
Surjective_function
Symbol representing a mathematical concept
systems particularly mathematical logic, a function symbol is a non-logical symbol which represents a function or mapping on the domain of discourse, though
Function_symbol
Tree in formal language theory
abstract syntax trees used in computer programming. Unlike Reed-Kellogg sentence diagrams used for teaching grammar, parse trees do not use distinct symbol
Parse_tree
Form of logic that allows quantification over predicates
every surjective function from the domain to itself is injective. To say that the domain has countable cardinality, use the sentence that says that there
Second-order_logic
Term that does not contain any variables
with constant symbols a {\displaystyle a} and b {\displaystyle b} , the sentence Q ( a ) ∨ P ( b ) {\displaystyle Q(a)\lor P(b)} is a ground formula. A
Ground_expression
Function computable with bounded loops
In computability theory, a primitive recursive function is, roughly speaking, a function that can be computed by a computer program whose loops are all
Primitive_recursive_function
In mathematical logic, a well-formed formula with no free variables
mathematical logic, a sentence (or closed formula) of a predicate logic is a Boolean-valued well-formed formula with no free variables. A sentence can be viewed
Sentence_(mathematical_logic)
Paradoxical assertion
the liar is telling the truth, which means the liar just lied. In "this sentence is a lie", the paradox is strengthened in order to make it amenable to
Liar_paradox
Single word that forms a full sentence
A sentence word (also called a one-word sentence) is a single word that forms a full sentence. Henry Sweet described sentence words as 'an area under
Sentence_word
Group of one or more words
phrase in some theories, which functions as the object of the sentence. Many theories of syntax and grammar illustrate sentence structure using phrase 'trees'
Phrase
Systems capable of proving their own consistency
of these. Here, one cannot prove the Π 2 0 {\displaystyle \Pi _{2}^{0}} sentence expressing totality of multiplication: ( ∀ x , y ) ( ∃ z ) m u l t
Self-verifying_theories
Quadruple stabbing in Moscow, Idaho, U.S.
to avoid the death penalty. Three weeks later, he was sentenced to four consecutive life sentences in prison without the possibility of parole, plus ten
2022_Idaho_student_murders
Study of relations between psychology and language
in the field. A modular view of sentence processing assumes that the stages involved in reading a sentence function independently as separate modules
Psycholinguistics
Functional programming language
the right hand side. A sentence is terminated with a semicolon. For example, the pattern of the second sentence of the function is "s.1" and the expression
Refal
Quantum state of the entire universe
The universal wave function or the wave function of the universe is the wavefunction or quantum state of the entire universe. It is regarded as the basic
Universal_wave_function
Functions of an angle
mathematics, the trigonometric functions (also called circular functions, angle functions or goniometric functions) are real functions which relate an angle of
Trigonometric_functions
Symbols requiring interpretation
interpretation. Consequently, a sentence containing a non-logical symbol lacks meaning except under an interpretation, so a sentence is said to be true or false
Non-logical_symbol
Variable that can either be true or false
called a sentence letter, sentential variable, or sentential letter) is an input variable (that can either be true or false) of a truth function. Propositional
Propositional_variable
Semantic feature - Semantic property - Semiotics - Semivowel - Sentence - Sentence function - Shall - Sign - Sign language - Sociolinguistics - Sociolect
Index_of_linguistics_articles
Cryptographic hash function
Skein is a cryptographic hash function and one of five finalists in the NIST hash function competition. Entered as a candidate to become the SHA-3 standard
Skein_(hash_function)
England and Wales public body
2010 it became the Sentencing Council (combining also the functions of the Sentencing Advisory Panel). In March 2025 the Sentencing Council was forced
Sentencing_Council
Mathematical use of "there exists"
and as \exists in LaTeX and related formula editors. Consider the formal sentence For some natural number n {\displaystyle n} , n × n = 25 {\displaystyle
Existential_quantification
Mathematical function that can be computed by a program
Computable functions are the basic objects of study in computability theory. Informally, a function is computable if there is an algorithm that computes
Computable_function
Punctuation mark (;)
English language, a semicolon is most commonly used to link (in a single sentence) two independent clauses that are closely related in thought, such as when
Semicolon
Word or group of words that modify a verb
closely defines the sentence or the verb. (The word adverbial itself is also used as an adjective, meaning "having the same function as an adverb".) Look
Adverbial
Sentence, idea or formula that refers to itself
occurs when a sentence, idea or formula refers to itself. The reference may be expressed either directly—through some intermediate sentence or formula—or
Self-reference
encountered mathematical objects include numbers, expressions, shapes, functions, and sets. Mathematical objects can be very complex; for example, theorems
Mathematical_object
Theorem that arithmetical truth cannot be defined in arithmetic
numbers. For various syntactic properties (such as being a formula, being a sentence, etc.), these sets are computable. Moreover, any computable set of numbers
Tarski's undefinability theorem
Tarski's_undefinability_theorem
Complete, somewhat self-contained statement within musical composition
In Western music theory, the term sentence is analogous to the way the term is used in linguistics, in that it usually refers to a complete, somewhat self-contained
Sentence_(music)
Uppercase or lowercase
uppercase is reserved for special purposes, such as the first letter of a sentence or of a proper noun (called capitalisation, or capitalised words), which
Letter_case
Study of the languages of Europe
grammatical/sentence functions are expressed through affixes, with one affix expressing exactly one function) and inflecting (i.e. grammatical/sentence functions
Eurolinguistics
Description of non-logical symbols
} which assigns a natural number called arity to every function or relation symbol. A function or relation symbol is called n {\displaystyle n} -ary if
Signature_(logic)
Controlled language
the second sentence refer to a new tie of the first sentence, while his and the man of the second sentence refer to a man of the first sentence. Thus an
Attempto_Controlled_English
Function that outputs either true or false
A Boolean-valued function (sometimes called a predicate or a proposition) is a function of the type f : X → B, where X is an arbitrary set and where B
Boolean-valued_function
Set of all true first-order statements about the arithmetic of natural numbers
partial orders. In particular, there are computable functions S and T such that: For each sentence φ in the signature of first-order arithmetic, φ is in
True_arithmetic
Punctuation to signal the end of a sentence (.)
used for several purposes, most often to mark the end of a declarative sentence (as distinguished from a question or exclamation). A full stop is frequently
Full_stop
Theory of truth in the philosophy of language
in the philosophy of language which holds that truth is a property of sentences. The semantic conception of truth, which is related in different ways
Semantic_theory_of_truth
first-order language of the real numbers is the set of all well-formed sentences of first-order logic that involve universal and existential quantifiers
Decidability of first-order theories of the real numbers
Decidability_of_first-order_theories_of_the_real_numbers
Type of infinite structure
for the exponential function by Wilkie's theorem. More generally, the complete theory of the real numbers with Pfaffian functions added. The last two
O-minimal_theory
Symbolic description of a mathematical object
natural language, where a noun phrase refers to an object, and a whole sentence refers to a fact. For example, 8 x − 5 {\displaystyle 8x-5} and 3 {\displaystyle
Expression_(mathematics)
Target set of a mathematical function
mathematics, a codomain or set of destination of a function is a set into which all of the outputs of the function are constrained to fall. It is the set Y in
Codomain
Japonic language
subject–object–verb with particles marking the grammatical function of words, and sentence structure is topic–comment. Sentence-final particles are used to add emotional
Japanese_language
Function returning one of only two values
switching function, used especially in older computer science literature, and truth function (or logical function), used in logic. Boolean functions are the
Boolean_function
Method in mathematical logic
\neg \phi } . The negation function may take any value whatsoever for inputs that are not codes of formulas. The Gödel sentence of the theory T {\displaystyle
Rosser's_trick
About mathematical functions
these variables by constants becomes a sentence, is called a SENTENTIAL [i.e., propositional cf his index] FUNCTION. But mathematicians, by the way, are
History of the function concept
History_of_the_function_concept
Class of words
(certainly modifies the sentence as a whole) Adverbs thus perform a wide range of modifying functions. The major exception is the function of modifier of nouns
Adverb
Number of integers coprime to and less than n
( x ) {\displaystyle \log _{e}(x)} . In number theory, Euler's totient function counts the positive integers up to a given integer n {\displaystyle n}
Euler's_totient_function
Bearer of truth values
the meanings of declarative sentences, objects of beliefs, and bearers of truth values. They explain how different sentences, such as the English "Snow
Proposition
Words that indicate a question is being asked, as a grammatical category
begin with the stressed syllable "ki-". Five Ws Indeterminate pronoun Sentence function Finnish and Turkish have vowel harmony, see more here Pensalfini,
Interrogative_word
Symbol representing a property or relation in logic
predicates are understood to be characteristic functions or set indicator functions (i.e., functions from a set element to a truth value). Set-builder
Predicate_(logic)
Statement that is taken to be true
show that its claims can be derived from a small, well-understood set of sentences (the axioms), and there are typically many ways to axiomatize a given
Axiom
Structure of sentences in the German language
German sentence structure is the syntactical structure to which the German language adheres. The basic sentence in German can be seen following the subject–verb–object
German_sentence_structure
Impossible task in computing
of deciding whether a given first-order sentence is a logical consequence of a given finite set of sentences, but validity in first-order theories with
Entscheidungsproblem
Symbol representing a mathematical object
arguments of the functions. This is typically the case in sentences like "function of a real variable", "x is the variable of the function f : x ↦ f(x)"
Variable_(mathematics)
Sense or significance of an entity
Philosophical inquiry usually centers on linguistic meaning, studying how words, sentences, and utterances acquire content and convey information. It examines how
Meaning_(philosophy)
Yes/no problem in computer science
function problem can be turned into a decision problem; the decision problem is just the graph of the associated function. (The graph of a function f
Decision_problem
Theorem for proving more complex theorems
Often, a theorem is broken into multiple cases (for example, a quadratic function may have no real roots, one double root, or two distinct roots), and each
Lemma_(mathematics)
Machine learning technique
importance is represented by "soft" weights assigned to each word in a sentence. More generally, attention encodes vectors called token embeddings across
Attention_(machine_learning)
Syntactic category
passive sentence, the agent is a chômeur, having been "demoted" from the central or nuclear function of subject. For instance, by changing the sentence Dogs
Chômeur
Formal study of linguistic meaning
expressions. Type theory is another approach utilized to describe sentences as nested functions with precisely defined input and output types. Various theoretical
Formal semantics (natural language)
Formal_semantics_(natural_language)
Concept in mathematics
definitions are conservative. Extensions by unconstrained predicate or function symbols are conservative. IΣ1 (a subsystem of Peano arithmetic with induction
Conservative_extension
Mapping of mathematical formulas to a particular meaning
in model theory, a structure is called a model if it satisfies all the sentences of that theory. Logicians sometimes refer to structures as "interpretations"
Structure (mathematical logic)
Structure_(mathematical_logic)
Area of mathematical logic
the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about a mathematical structure)
Model_theory
Mathematical construction
are defined pointwise (for example, if + {\displaystyle +} is a binary function then a i + b i = ( a + b ) i {\displaystyle a_{i}+b_{i}=(a+b)_{i}} ). Other
Ultraproduct
Study of computable functions and Turing degrees
computation that originated in the 1930s with the study of computable functions and Turing degrees. The field has since expanded to include the study
Computability_theory
Words that qualify sentences
inappropriate without the particle. As such, sentence-final particles in this sense often perform an interpersonal function, rather than a grammatical one. Nevertheless
Sentence-final_particle
Act of the Parliament of the United Kingdom
within 28 days of the sentence, decide to refer sentences for certain offences to the Court of Appeal if they consider that the sentence might be unduly lenient
Criminal_Justice_Act_1988
Thesis on the nature of computability
Church–Turing thesis is a thesis about the nature of computable functions. It states that a function on the natural numbers can be calculated by an effective
Church–Turing_thesis
2025 murder in Frisco, Texas, U.S.
self-defense. On June 9, 2026, Anthony was found guilty of murder at trial and sentenced to 35 years in prison by the jury. The case was the subject of national
Murder_of_Austin_Metcalf
SENTENCE FUNCTION
SENTENCE FUNCTION
SENTENCE FUNCTION
SENTENCE FUNCTION
SENTENCE FUNCTION
SENTENCE FUNCTION
SENTENCE FUNCTION
SENTENCE FUNCTION
SENTENCE FUNCTION