کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4662993 | 1345218 | 2013 | 9 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Confirmation as partial entailment: A representation theorem in inductive logic
ترجمه فارسی عنوان
تأیید به عنوان استلزام جزئی: یک قضیه بازنمایی در منطق استقرایی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
احتمال؛ تایید؛ منطق استقرایی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
The most prominent research program in inductive logic – here just labeled The Program, for simplicity – relies on probability theory as its main building block and aims at a proper generalization of deductive-logical relations by a theory of partial entailment. We prove a representation theorem by which a class of ordinally equivalent measures of inductive support or confirmation is singled out as providing a uniquely coherent way to work out these two major sources of inspiration of The Program.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 11, Issue 4, December 2013, Pages 364–372
Journal: Journal of Applied Logic - Volume 11, Issue 4, December 2013, Pages 364–372
نویسندگان
Vincenzo Crupi, Katya Tentori,