Материальная Суппозиция

(от греч. Episteme - знание) - раз­дел модальной логики, исследующий логические связи высказыва­ний, включающих такие понятия, как «полагает» («убежден»), «со­мневается», «отвергает», «знает», «доказуемо», «неразрешимо», «опровержимо» т. П. Знание отличается от убеждения, или веры. Знание всегда истинно, убеждение же может быть как истинным, так и ложным. Этому различию соответствует различие между двумя вариантами Л. Э. Логикой знания и логикой убеждений. Каждая из этих «логик» слагается из лог..

— одно из названий современной формальной логики, пришедшей во второй половине XIX — на­чале XX в. На смену традиционной логике. В качестве другого назва­ния современного этапа в развитии науки логики используется также термин логика символическая. Определение «математичес­кая» подчеркивает сходство новой логики с математикой, осно­вывающееся прежде всего на применении особого символическо­го языка, аксиоматического метода, формализации. М. Л. Исследует предмет формальной логики методом построе­..

— раздел математической логики, изучаю­щий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. М. Рассматривает формализованную теорию как множество не­которых конечных последовательностей символов, называемых фор-  . Мулами и термами, к которым добавляется множество операций, производимых над этими последовательностями. Формулы и тер­мы, получаемые с помощью простых правил, служат заменой пред­ложениям и функциям содержательной ..

(от греч. Meta - после, за, позади) - теория, изу­чающая язык, структуру и свойства некоторой другой теории. Тео­рия, свойства которой исследуются в М., называется предмет­ной, или объектной, теорией. Наиболее развиты М. Логики и математики (в металогике и метаматематике). Объектом исследова­ния М. Обычно оказывается не содержание объектной теории, а ее формальные свойства, поэтому она предварительно формализуется и представляется в виде формального исчисления. В М. Можно вы­делить две части. Си..