کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4662993 1345218 2013 9 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Confirmation as partial entailment: A representation theorem in inductive logic
ترجمه فارسی عنوان
تأیید به عنوان استلزام جزئی: یک قضیه بازنمایی در منطق استقرایی
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

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
نویسندگان
, ,