Category theory, logic and formal linguistics: Some connections, old and new
نویسندگان
چکیده
We seize the opportunity of the publication of selected papers from the Logic, categories, semantics workshop in the Journal of Applied Logic to survey some current trends in logic, namely intuitionistic and linear type theories, that interweave categorical, geometrical and computational considerations. We thereafter present how these rich logical frameworks can model the way language conveys meaning.
منابع مشابه
Deriving Category Theory from Type Theory
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics for given type theories. It is intended for someone who has some knowledge of category theory and type theory, but who does not fully understand some of the intimate connections between the two topics. We begin by showi...
متن کاملFormalization of Coercions in Lexical Semantics
Originally developed for use in programming languages with simple type systems (see, for example, [22]), coercions between types, including many subtypes of the type of entities (eventualities, physical objects, informational objects, etc.), have been widely employed in linguistic semantics [26, 30, 28, 3]. There are, however, two problems with coercions. First, it has been unclear how coercion...
متن کاملCategory Theory and Structuralism
The term structuralism occurred in several branches of the humanities and the sciences in the period 1929 – 1970: in Linguistics (Ferdinand de Saussure, Roman Jakobson), Anthropology (Claude Lévi-Strauss), Developmental psychology (Jean Piaget), Literature (Workshop for potential literature, Raymond Queneau) and in Mathematics (Nicolas Bourbaki). To the layman the structuralist movement in math...
متن کامل?Logic and Formal Ontology: Is the Final Formal Ontology Possible
Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...
متن کاملEQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Applied Logic
دوره 12 شماره
صفحات -
تاریخ انتشار 2014