Definition of the word formalism

Pronunciation of vocabulary formalism

formalismnoun

chủ nghĩa hình thức

/ˈfɔːməlɪzəm//ˈfɔːrməlɪzəm/

Origin of the word formalism

The term "formalism" originated in the early 20th century in the context of literature and art criticism. It refers to a critical approach that emphasizes the formal elements of a work, such as structure, syntax, and composition, over its content or meaning. Formalism emerged as a reaction to the growing emphasis on the psychological and emotional aspects of art and literature during the late 19th and early 20th centuries. Formalists believed that works of art and literature should be analyzed and appreciated based on their formal qualities rather than their social, historical, or cultural contexts. In literary criticism, formalism is commonly associated with the Russian Formalist School, which was active from the 1910s to the 1930s. Formalist critics, such as Viktor Shklovsky and Roman Jakobson, sought to develop a systematic, objective method for analyzing literary texts based on their formal properties, such as rhetorical devices, grammatical structures, and literary forms. In art criticism, the term "formalism" is often used to describe an abstract or geometric form of art, such as Minimalism or Conceptual Art, that prioritizes geometric forms, color relationships, and other formal elements over representational or expressive elements. Overall, the concept of formalism reflects a specific ideology and critical perspective that prioritizes the formal properties of art and literature over their content, meaning, or context.

Vocabulary summary formalism

typenoun

meaningformalism

typeDefault

meaning(logic) formalism, formal system

Example of vocabulary formalismnamespace

  • In mathematics, formalism refers to the use of symbolic language and logical rules to create precise and unambiguous statements. For instance, formal arithmetic is a branch of mathematical formalism that employs symbols and formulas to represent numerical operations.

    Trong toán học, chủ nghĩa hình thức đề cập đến việc sử dụng ngôn ngữ ký hiệu và các quy tắc logic để tạo ra các tuyên bố chính xác và rõ ràng. Ví dụ, số học hình thức là một nhánh của chủ nghĩa hình thức toán học sử dụng các ký hiệu và công thức để biểu diễn các phép toán số.

  • Formalist philosophers argue that the concepts and laws of science should be studied exclusively through their formal frameworks, rather than from an interpretive perspective. For example, the physical theories of quantum mechanics are characterized by complex mathematical formalisms that describe the behavior of subatomic particles.

    Các nhà triết học hình thức cho rằng các khái niệm và định luật khoa học nên được nghiên cứu độc quyền thông qua khuôn khổ hình thức của chúng, thay vì từ góc độ diễn giải. Ví dụ, các lý thuyết vật lý của cơ học lượng tử được đặc trưng bởi các hình thức toán học phức tạp mô tả hành vi của các hạt hạ nguyên tử.

  • In computer science, software engineers make use of formalism to describe the functional requirements and behavioral specifications of programs. For instance, the Unified Modeling Language (UMLis a formalism that utilizes diagrams and notations to model object-oriented software systems.

    Trong khoa học máy tính, các kỹ sư phần mềm sử dụng hình thức để mô tả các yêu cầu chức năng và thông số kỹ thuật về hành vi của chương trình. Ví dụ, Ngôn ngữ mô hình thống nhất (UML) là hình thức sử dụng sơ đồ và ký hiệu để mô hình hóa các hệ thống phần mềm hướng đối tượng.

  • The formalism of game theory is a mathematical model that analyzes strategic decision-making in economic, political, and social situations. For example, the Nash equilibrium, a fundamental concept in game theory, is a formal solution to a non-cooperative game where no player has an incentive to unilaterally deviate from their strategy.

    Hình thức của lý thuyết trò chơi là một mô hình toán học phân tích việc ra quyết định chiến lược trong các tình huống kinh tế, chính trị và xã hội. Ví dụ, cân bằng Nash, một khái niệm cơ bản trong lý thuyết trò chơi, là một giải pháp hình thức cho một trò chơi không hợp tác, trong đó không có người chơi nào có động cơ đơn phương đi chệch khỏi chiến lược của họ.

  • Formal logic, a sub-discipline of logic, employs mathematical symbols and rules to represent propositions and arguments. For example, the logical formula p ∧ q represents the conjunction of two propositions, p and q.

    Logic hình thức, một phân ngành của logic, sử dụng các ký hiệu và quy tắc toán học để biểu diễn các mệnh đề và lập luận. Ví dụ, công thức logic p ∧ q biểu diễn phép hợp của hai mệnh đề p và q.

  • In linguistics, generative grammar, a formal theory of language, accounts for the syntactic structure and underlying principles governing the formation of sentences. For instance, the production of complex sentences relies on formal operations like transformational rules.

    Trong ngôn ngữ học, ngữ pháp tạo thành, một lý thuyết chính thức về ngôn ngữ, giải thích cấu trúc cú pháp và các nguyên tắc cơ bản chi phối việc hình thành câu. Ví dụ, việc tạo ra các câu phức tạp dựa trên các hoạt động chính thức như các quy tắc chuyển đổi.

  • Mathematical proofs offer formal demonstrations of the validity of mathematical statements. For example, the proof by mathematical induction is a formal method employed to show the correctness of complex mathematical assertions.

    Chứng minh toán học cung cấp các minh chứng chính thức về tính hợp lệ của các phát biểu toán học. Ví dụ, chứng minh bằng quy nạp toán học là một phương pháp chính thức được sử dụng để chứng minh tính đúng đắn của các khẳng định toán học phức tạp.

  • The formalism of differential equations, a branch of mathematics, deals with relationships between changing quantities and their derivatives. For example, the differential equation dy/dx = 3x² represents the rate of change of y with respect to x.

    Hình thức của phương trình vi phân, một nhánh của toán học, xử lý mối quan hệ giữa các đại lượng thay đổi và đạo hàm của chúng. Ví dụ, phương trình vi phân dy/dx = 3x² biểu diễn tốc độ thay đổi của y theo x.

  • Statistical inference, a scientific method used to analyze data, incorporates mathematical formalism to draw conclusions from empirical evidence. For example, hypothesis testing is a statistical technique that uses formal

    Suy luận thống kê, một phương pháp khoa học được sử dụng để phân tích dữ liệu, kết hợp hình thức toán học để rút ra kết luận từ bằng chứng thực nghiệm. Ví dụ, kiểm định giả thuyết là một kỹ thuật thống kê sử dụng hình thức

Words, synonyms, related vocabulary formalism

Comment ()