کد مقاله کد نشریه سال انتشار مقاله انگلیسی ترجمه فارسی نسخه تمام متن
4662884 1345203 2015 10 صفحه PDF ندارد دانلود رایگان
عنوان انگلیسی مقاله
A proof-theoretic universal property of determiners ☆
ترجمه فارسی عنوان
یک ویژگی جهانی اثبات نظری از تعیین کننده
کلمات کلیدی
معناشناسی اثبات نظری؛ تعیین کننده؛ Conservativity؛ هماهنگی و ثبات؛ خلوص (از قوانین)
Proof-theoretic semantics; Determiners; Conservativity; Harmony and stability; Purity (of rules)
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

The paper highlights a difference between Model-Theoretic Semantics (MTS) and Proof-Theoretic Semantics (PTS) regarding the meanings of NL-realisable determiners. While MTS uses conservativity as a major filter on GQs as serving NL-realisable determiners' meanings, conservativity fails in serving as such a filter. According to the PTS rendering of conservativity, all determiners are conservative. Instead of conservativity, PTS methodology focuses on other criteria, originating from the inferential role of determiners as captured by the introduction and elimination rules of a meaning-conferring ND-system. The criteria considered in the paper are harmony, stability and purity of rules. The paper presents two examples of conservative “determiners” that can be excluded by the suggested criteria.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 13, Issue 4, Part 3, December 2015, Pages 799–808
نویسندگان
,