quantifier

Advanced Vocabulary Word British ★★★☆☆ Moderate Formal
Practica con tarjetas, cuestionarios y audio en WordLoci

Significado: In logic and linguistics, a word or expression that indicates the quantity of instances to which a predicate applies, such as 'all,' 'some,' 'none,' or 'most.'

量词,在逻辑学和语言学中,指表示谓词适用的实例数量的词或表达式,如'所有'、'一些'、'没有'或'大多数'。
En lógica y lingüística, una palabra o expresión que indica la cantidad de casos a los que se aplica un predicado, como «todos», «algunos», «ninguno» o «la mayoría».
論理学と言語学において、述語が適用される事例の数量を示す語または表現のこと。「すべて」「いくつか」「何も〜ない」「ほとんど」などがあります。
논리학과 언어학에서, 술어가 적용되는 사례의 수량을 나타내는 단어 또는 표현. '모든', '일부', '아무것도 ~않다', '대부분' 등이 있습니다.

In formal logic, the two principal quantifiers are the universal quantifier (∀, 'for all') and the existential quantifier (∃, 'there exists'). Together they form the backbone of predicate logic and mathematical proof. In linguistics, quantifiers are determiners or pronouns that specify quantity — words like 'every,' 'several,' 'few,' and 'many.' Understanding quantifier scope (which quantifier applies to what) is essential for avoiding ambiguity in legal, scientific, and philosophical writing.

在形式逻辑中,两个主要的量词是全称量词(∀,'对于所有')和存在量词(∃,'存在')。它们共同构成了谓词逻辑和数学证明的基础。在语言学中,量词是指定数量的限定词或代词——如'every'、'several'、'few'和'many'等词。理解量词辖域(即哪个量词作用于什么范围)对于避免法律、科学和哲学写作中的歧义至关重要。
En lógica formal, los dos cuantificadores principales son el cuantificador universal (∀, «para todo») y el cuantificador existencial (∃, «existe»). Juntos constituyen la columna vertebral de la lógica de predicados y la demostración matemática. En lingüística, los cuantificadores son determinantes o pronombres que especifican cantidad — palabras como «every», «several», «few» y «many». Comprender el alcance de los cuantificadores (qué cuantificador se aplica a qué) es esencial para evitar ambigüedades en la redacción jurídica, científica y filosófica.
形式論理学では、二つの主要な量化子は全称量化子(∀、「すべてについて」)と存在量化子(∃、「〜が存在する」)である。この二つが述語論理学と数学的証明の骨格を成す。言語学では、量化子は数量を特定する限定詞や代名詞であり、「every」「several」「few」「many」などがこれにあたる。量化子のスコープ(どの量化子が何に作用するか)を理解することは、法律、科学、哲学の文章における曖昧さを回避するために不可欠である。
형식 논리학에서 두 가지 주요 양화사는 전칭 양화사(∀, '모든 것에 대해')와 존재 양화사(∃, '존재한다')입니다. 이 둘이 함께 술어 논리와 수학적 증명의 근간을 이룹니다. 언어학에서 양화사는 수량을 지정하는 한정사 또는 대명사로, 'every', 'several', 'few', 'many' 같은 단어가 이에 해당합니다. 양화사 범위(어떤 양화사가 무엇에 적용되는지)를 이해하는 것은 법률, 과학, 철학 글쓰기에서 모호성을 피하는 데 필수적입니다.

Ejemplos

  1. The universal quantifier asserts that a property holds for every element in the domain, making it the logical equivalent of saying 'all.
    全称量词断言某个性质对论域中的每个元素都成立,在逻辑上等同于说'所有'。
    El cuantificador universal afirma que una propiedad se cumple para todo elemento del dominio, siendo el equivalente lógico de decir «todos».
    全称量化子は、ある性質が定義域のすべての要素について成り立つことを主張するもので、論理的には「すべて」と言うことに等しい。
    전칭 양화사는 어떤 성질이 정의역의 모든 원소에 대해 성립함을 주장하는 것으로, 논리적으로 '모든'이라고 말하는 것과 동등하다.
  2. Ambiguity over quantifier scope is a frequent source of confusion in statutory interpretation.
    量词辖域的歧义是法规解释中常见的混淆来源。
    La ambigüedad sobre el alcance de los cuantificadores es una fuente frecuente de confusión en la interpretación de textos legales.
    量化子のスコープに関する曖昧さは、法令解釈における頻繁な混乱の原因である。
    양화사 범위에 관한 모호성은 법령 해석에서 빈번한 혼란의 원인이다.
  3. In the sentence 'every student answered some question,' the relative scope of the two quantifiers determines whether all students answered the same question or different ones.
    在'每个学生回答了某个问题'这个句子中,两个量词的相对辖域决定了是所有学生回答了同一个问题还是不同的问题。
    En la oración «every student answered some question», el alcance relativo de los dos cuantificadores determina si todos los estudiantes respondieron la misma pregunta o preguntas diferentes.
    「every student answered some question(すべての学生がある問題に答えた)」という文では、二つの量化子の相対的なスコープによって、全員が同じ問題に答えたのか異なる問題に答えたのかが決まる。
    every student answered some question(모든 학생이 어떤 문제에 답했다)'이라는 문장에서, 두 양화사의 상대적 범위에 따라 모든 학생이 같은 문제에 답했는지 다른 문제에 답했는지가 결정된다.

Pronunciación

Guía de uso

Contexto: academic, scientific

Tono: neutral

Origen e historia

From medieval Latin quantificare (to determine quantity), from Latin quantus (how great, how much) + facere (to make). The logical sense was developed by Frege in the late 19th century.

Contexto cultural

Era: Modern

Generation: All ages

Social background: Universal

Más de este tema

intuitive ★★★★★ Based on or proceeding from instinctive feeling rather th... reckless ★★★★★ Heedless of danger or the consequences of one's actions; ... impulsive ★★★★★ Acting or done without forethought, driven by a sudden ur... spontaneous ★★★★★ Occurring or arising naturally and without external cause... calculated ★★★★★ Done with full awareness and intention; carefully planned... deliberate ★★★★★ Done consciously and intentionally rather than by acciden...
X / Twitter WhatsApp Facebook

More from General Advanced

"quantifier" Practica en WordLoci

Tarjetas, cuestionarios, audio y repetición espaciada — todo gratis