Последние обновления понятий

КОНСТИТУТИВНЫЕ И РЕГУЛЯТИВНЫЕ ОСНОВОПОЛОЖЕНИЯ (лат. constitutivus — определяющий, и regulare — направлять) — термины кантовской философии. Кант называет таковыми положения, которые, будучи субъективными принципами познания, в то же время определяют формы предметности, подчиняя вещи своим предписаниям. Любое конститутивное основоположение является в силу этого онтологическим принципом, отражающим законосообразные формы сущего. Действенность конститутивных основоположений простирается не далее предметов возможного опыта.

ЛОГИКА ВЫСКАЗЫВАНИЙ - раздел символической логики, изучающий рассуждения и другие языковые контексты без учета внутренней структуры входящих в них простых высказываний. В связи с этим, язык Л.в. содержит нелогические символы лишь одного типа — пропозициональные переменные, которые выступают в роли параметров простых высказываний естественного языка. Логические символы в Л.в. также принадлежат одному типу. Это пропозициональные связки, образующие из менее сложных формул (предложений) более сложные.

ГЕРМЕНЕВТИЧЕСКИЙ МЕТОДОЛОГИЧЕСКИЙ СТАНДАРТ. С методологической точки зрения специфика любой науки зависит от двух важнейших моментов: предмета науки и методов его исследования. Причем второй момент обусловлен первым, т.к. своеобразие предмета накладывает отпечаток на метод исследования. В гуманитарных науках специфическим предметом исследования, отличающим их как от естественных наук, так и от общественных, являются специфические знаковые системы, которые можно условно назвать текстами. Тогда гуманитарное познание является вторичным отражением действительности.

ГЕРМЕНЕВТИЧЕСКАЯ ЛОГИКА - дисциплина, в которой исследуются логические основания, методы и правила понимания смысла текстов (знаково-символических систем). Она основана на принципе зависимости логического метода от предмета рассуждения, на интерпретационной природе рассуждений в области герменевтики, на принципе диалогичности герменевтического мышления. В ее базис заложены также герменевтический круг, синтез феноменологических теорий выявления смысла с герменевтическими методами его понимания и принцип диалектического взаимодействия между объяснением, интерпретацией и пониманием, когда интерпретация поставляет материал для объяснения, для работы герменевтического аппарата (логики рассуждения), приводящего к постижению смысла (пониманию). Концептуальное содержание современной Г. л. есть результат долгого исторического процесса, в ходе которого она приобрела свое подлинное лицо, по крупицам собирая идейный материал. Безусловно, становление герменевтического метода в определенной степени влияло на конституирование Г.л. И все же, первый прорыв логического метода в герменевтические сферы был осуществлен X. Вольфом, философом, который непосредственно герменевтикой не занимался. Можно сказать, что он создал теоретические предпосылки для этого важного шага вперед...

ГЕНЕТИЧЕСКАЯ ЭПИСТЕМОЛОГИЯ - направление в эпистемологии, исследующее формирование когнитивных структур у человека в онтогенезе. Г.э. исходит из принципиальной установки сочетания эмпирических данных психологии развития и логического подхода, с помощью которого формализуются этапы или периоды когнитивного развития. Основоположником Г.э. является швейцарский психолог и философ Ж. Пиаже. Пиаже солидарен с Кантом по поводу активной конструирующей роли субъекта, но отрицает статичность когнитивных структур.

ВРЕМЕННАЯ ЛОГИКА (темпоральная логика, логика времени) - раздел современной неклассической логики, исследующий логические свойства высказываний, которые содержат временной параметр (ссылку на момент или интервал времени, в который имеет место некоторая ситуация) или временного характеристику (указание на отношение одной или нескольких ситуаций ко временному ряду). Учет фактора времени позволяет при построении теории дедуктивных рассуждений реализовать важнейший методологический принцип — принцип конкретности истины.

ВЗАИМОСВЯЗЬ ЭНТРОПИИ И ИНФОРМАЦИИ. Первое строгое определение информации дал американский ученый К. Шеннон в 1948 г. Он определил ее как меру уменьшения неопределенности, т.е. отбора необходимых элементов из некоторой их совокупности. При этом имелась в виду как неопределенность знаний об объектах, так и неопределенность самого объекта. Иными словами, в этом понимании информация — это сведения, снимающие неопределенность, которая существовала до их получения. Наряду с вероятностно-статистическим подходом можно дать и другое определение информации, основанное на комбинаторике.

ВЕРИФИКАЦИЯ (лат. verificatio - доказательство, подтверждение) — 1) процедура проверки теоретических (научных) утверждений, заключающаяся в выведении из них следствий, непосредственно соотносимых с эмпирической действительностью. Если все такие следствия соответствуют действительности (т.е. являются истинными), то утверждение считается верифицированным (подтвержденным). Первоначально в рамках доктрины логического позитивизма принцип В. вместе с условием осмысленности предложений представлял собой критерий научности фактического знания. Согласно этому принципу, осмысленным является только такое предложение, которое допускает возможность эмпирической проверки. В современной логике и методологии научного познания В. является составной частью гипотетико-дедуктивного метода. Пусть для объяснения некоторых фактов в рамках научной теории G выдвигается гипотеза Н. Вопрос о приемлемости этой гипотезы решается на основании процедуры В. Из теории G и гипотезы Н дедуктивно выводится множество факто-фиксирующих утверждений с1, с2,... с3. Затем эти утверждения подвергаются эмпирической проверке...

АЛГЕБРА ЛОГИКИ - один из основных разделов математической логики, основанный на алгебраическом способе представления и решения логических проблем. Современная символическая логика, начало которой было положено исследованиями Г. Лейбница и особенно Дж. Буля, развивалась ими и их непосредственными последователями (У. Джевонс, А. Венн, Э. Шредер, П.С. Порецкий) в форме алгебраических построений. Именно в исследованиях этих ученых впервые был использован термин «А.л.» Однако после работ Г. Фреге логические теории начали строиться в форме исчислений, а А.л.