منابع مشابه
Semantic Pollution and Syntactic purity
Logical inferentialism claims that the meaning of the logical constants should be given, not model-theoretically, but by the rules of inference of a suitable calculus. It has been claimed that certain proof-theoretical systems, most particularly, labelled deductive systems for modal logic, are unsuitable, on the grounds that they are semantically polluted and suffer from an untoward intrusion o...
متن کاملLogical and Semantic Purity
Many mathematicians have sought ‘pure’ proofs of theorems. There are different takes on what a ‘pure’ proof is, though, and it’s important to be clear on their differences, because they can easily be conflated. In this paper I want to distinguish between two of them. I want to begin with a classical formulation of purity, due to Hilbert: In modern mathematics one strives to preserve the purity ...
متن کاملSyntactic And Semantic Parsability
This paper surveys some issues that arise in the study of the syntax and semantics of natural languages (NL's) and have potential relevance to the automatic recognition, parsing, and translation of NL's. An attempt is made to take into account the fact that parsing is scarcely ever thought about with reference to syntax alone; semantic ulterior motives always underly the assignment of a syntact...
متن کاملVerbs in Applied Linguistics Research Article Introductions: Semantic and syntactic analysis
This study aims to investigate the semantic and syntactic features of verbs used in the introduction section of Applied Linguistics research articles published in Iranian and international journals. A corpus of 20 research article introductions (10 from each journal) was used. The corpus was analysed for the syntactic features (tense, aspect and voice) and semantic meaning of verbs. The finding...
متن کاملIncremental Syntactic and Semantic Processing
The construction of the semantic representation for a natural language sentence or a piece of discourse cannot be covered by the so-called "compositional semantics" alone. In the general case, the non-compositional construction steps of generating quantifier scop-ing and of anaphora resolution have to be included. In order to filter out unnecessary information as soon as possible it is desirabl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Review of Symbolic Logic
سال: 2015
ISSN: 1755-0203,1755-0211
DOI: 10.1017/s1755020315000210