Suchergebnisse
Suchergebnisse:
Vor einem Tag · Formal semantics is a subfield of logic, linguistics, and the philosophy of language. The discipline of semantics studies the meaning of language. Formal semantics uses formal tools from the fields of symbolic logic and mathematics to give precise theories of the meaning of natural language expressions.
7. Mai 2024 · This volume contains Carnap's Studies in Semantics, a series of three interlocking books: Introduction to Semantics (1942), Formalization of Logic (1942), and Meaning and Necessity (1947). They were extremely influential in their time, especially the third, and shaped the direction of analytic philosophy during the 1950s and 1960s. They ...
25. Apr. 2024 · 1 Introduction; 2 What Is a Possible Human Language? 3 Syntactic Metatheory; 4 The Science of Semantics; 5 Context and Pragmatics; 6 Signs, Sounds, Action! 7 Computational Approaches to Language; 8 Language and Evolution; 9 Conclusion; References; Index
Vor 19 Stunden · 1.1 The Logical Clarification of Language. Although Frege’s first book, Begriffsschrift, is not considered to mark the beginnings of the philosophy of language, its verdict on natural languages and the interest of its formalism were at the foundation of the idea that the grammatical form of sentences was often misleading, so that they had to be analyzed through their logical form.
14. Mai 2024 · semantics, the philosophical and scientific study of meaning in natural and artificial languages. The term is one of a group of English words formed from the various derivatives of the Greek verb sēmainō (“to mean” or “to signify”).
Vor 4 Tagen · Magnus, P. D.; forall x: an introduction to formal logic. Covers formal semantics and proof theory for first-order logic. Metamath: an ongoing online project to reconstruct mathematics as a huge first-order theory, using first-order logic and the axiomatic set theory ZFC. Principia Mathematica modernized.
9. Mai 2024 · Formal logic, the abstract study of propositions, statements, or assertively used sentences and of deductive arguments. The discipline abstracts from the content of these elements the structures or logical forms that they embody. The logician customarily uses a symbolic notation to express such.
