کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9517934 | 1345238 | 2005 | 35 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
On negation: Pure local rules
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
This is an initial systematic study of the properties of negation from the point of view of abstract deductive systems. A unifying framework of multiple-conclusion consequence relations is adopted so as to allow us to explore symmetry in exposing and matching a great number of positive contextual sub-classical rules involving this logical constant-among others, well-known forms of proof by cases, consequentia mirabilis and reductio ad absurdum. Finer definitions of paraconsistency and the dual paracompleteness can thus be formulated, allowing for pseudo-scotus and ex contradictione to be differentiated and for a comprehensive version of the Principle of Non-Triviality to be presented. A final proposal is made to the effect that-pure positive rules involving negation being often fallible-a characterization of what most negations in the literature have in common should rather involve, in fact, a reduced set of negative rules.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 3, Issue 1, March 2005, Pages 185-219
Journal: Journal of Applied Logic - Volume 3, Issue 1, March 2005, Pages 185-219
نویسندگان
João Marcos,