Архитектурный словарь | Бизнес словарь | Биографический словарь | Даля словарь | Джинсы | Логический словарь | Медицинский словарь
Морской словарь | Ожегова Словарь | Религиозный словарь | Сексологический словарь | Словарь имён | Словарь мер | Словарь нумизмата
Словарь по психологии | Словарь символов | Строительный словарь | Финансовый словарь | Этнографический словарь |


Логический словарь

В начало  Логика, реферат
А Б В Г Д З И К Л М Н О П Р С Т У Ф Ц Ч Э Ю Я

Последние запрашиваемые слова

Дистрибутивные И Коллективные Свойства. Д..
с.  - об­щие свойства, принадлежащие каждому элементу множества (со­вокупности предметов, коллективу), которое они определяют. Так, свойство «быть русским поэтом» принадлежит каждому из эле­ментов множества «русские поэты» (Пушкину, Есенину и др.). Таковы же свойства «быть космонавтом», «быть птицей», «быть хи­мическим элементом» и т. п. К. с. — свойства, которые не принадлежат каждому элементу некоторого множества, но принадлежат множеству в целом (со­вокупности, коллективу) как особому предмету. Так, в предложе­нии «Наше собрание было многочисленным» свойство «быть мно­гочисленным» является коллективным, т. к. относится не к каждому присутствовавшему на собрании, а ко всему коллективу в целом. Процентные характеристики некоторых коллективов, множеств также представляют собой К. с. Так, в предложении «Мужчины на данном заводе составляют 40%» свойство «составлять 40%» относится не к каждому лицу. мужского пола, а характеризует коллектив завода в целом с точки зрения наличия в нем лиц мужского пола. При статистических методах анализа частота исследуемого свой­ства в некоторой выборке из большого коллектива переносится на весь коллектив в целом и рассматривается как К. с. Так, если мы убедились, что в выборке в 1000 человек из взрослого мужско­го населения в большом городе 800 человек бреются электробрит- вой, то свойство, «относительная частота» бреющихся электро­бритвой в выборке равна 0,8 и характеризует исследованную часть населения города в целом. При переносе этого свойства на все население данного города оно также остается коллективным. подробнее >>

Высказывание (Предложение) Контрфактическое.
(от лат. contra — против, factum — событие)  — сложное высказывание, в котором с помощью союза «если бы..., то бы...» объединяются два высказывания A и В. В естественном языке ему соответствуют пред­ложения, имеющие форму условно-сослагательного наклонения. Примером такого высказывания может быть: «Если бы А. П. Чехов дожил до 1917 г., то он был бы свидетелем Октябрьской револю­ции» (1). Структуру таких высказываний в логике часто выражают в виде формулы: «А->В» («Если бы имело место А, то имело бы место и В»). Основная проблема в логике по отношению к В. к. состоит в том, чтобы сформулировать для них в общей форме критерий ис- тинности. Для достижения этой цели иногда предлагалось отожде­ствить В. к. с импликацией материальной (А->В), которая, в частно­сти, является истинной, когда антецедент А ложен, а консеквент В может быть как истинным, так и ложным (см.: Условное высказыва­ние). Но это означало бы, что истинным является не только выс­казывание (1), но и такое: «Если бы А. П. Чехов дожил до 1917 г., то он не был бы свидетелем Октябрьской революции» (2). Одна­ко это не соответствует нашей интуиции, согласно которой выс­казывание (2) вряд ли может оцениваться как истинное. Для выработки общего критерия истинности В. к. обсуждался и такой критерий. Предлагалось A и В считать дескриптивными пред­ложениями и стремиться вывести В из A, а также из некоторой относящейся к существу дела информации (дополнительные ус­ловия), используя при этом некоторые общие предложения зако­номерного характера. Но в таком случае нужно иметь достаточно строгий критерий выделения общих законов из числа общих пред­ложений вообще, среди которых могут встретиться и случайные обобщения. Такой общий строгий формальный критерий в логи­ке не выработан. Сказанное не исключает, однако, таких конкрет­ных случаев, когда нам удается из предложения A, дополнитель­ных условий и законов вывести предложение В и тем самым обосновать истинность предложения «А->В», при этом А и В ис­толковываются как дескриптивные предложения. Допустим, дано предложение: «Если бы вода в колбе была нагрета до 100 °С, то она закипела бы». Из антецедента этого предложения («Вода в колбе нагретадо 100 °С»), некоторых дополнительных условий (напр., вода лишена примесей, находится при нормальном давлении и т. п.), а также из общего закона: «Всякая вода при 100 °С кипит» можно по законам логики вывести и консеквент («Вода в колбе кипит»). подробнее >>

Объектный (Предметный) Язык.
 - язык, выражения ко­торого относятся к некоторой области объектов, их свойств и отношений. Напр., язык механики описывает свойства механического движения материальных тел и взаимодействия между ними; язык арифметики говорит о числах, об их свойствах, операциях над числа­ми; язык химии — о химических веществах и реакциях и т. д. Вообще любой язык обычно используется прежде всего для того, чтобы говорить о каких-то внеязыковых объектах, и в этом смысле каж­дый язык является объектным. Однако в семантическом анализе приходится говорить о самом языке, и тогда мы вынуждены про­водить различие между двумя языками — О. я. и метаязыком, с помощью которого мы говорим о терминах и выражениях О. я. Конечно, в естественном языке О. я. и метаязык соединены: мы говорим на этом языке как о предметах, так и о самих выражениях языка. Такой язык называется семантически замкнутым. Языковая интуиция обычно помогает нам избегать парадоксов, к которым приводит семантическая замкнутость естественного языка. Но при построении формализованных языков тщательно следят за тем, чтобы О. я. был четко отделен от метаязыка. подробнее >>

Прагматика.
 — раздел семиотики, изучающий отношения между знаковыми системами и теми, кто воспринимает, интерпрети­рует и использует их. Для исследования прагматических свойств и отношений, существенных для адекватного восприятия и понимания текстов, чисто лингвистических и логических методов часто оказы­вается недостаточно и приходится прибегать также к методам пси­хологии, психолингвистики, этологии. подробнее >>

Формализация.
(от лат. forma — вид, образ)  — отображение результатов мышления в точных понятиях и утверждениях. При Ф. изучаемым объектам, их свойствам и отношениям ставятся в соот­ветствие некоторые устойчивые, хорошо обозримые и отождествимые материальные конструкции, дающие возможность выявить и зафиксировать существенные стороны объектов. Ф. уточняет содер­жание путем выявления его формы и может осуществляться с раз­ной степенью полноты. Выражение мышления в естественном языке можно считать пер­вым шагом Ф. Дальнейшее ее углубление достигается введением в обычный язык разного рода специальных знаков и созданием час­тично искусственных и искусственных языков. Логическая Ф. направлена на выявление и фиксацию логической формы выводов и доказательств. Полная Ф. теории имеет место тог­да, когда совершенно отвлекаются от содержательного смысла ее исходных понятий и положений и перечисляют все правила логи­ческого вывода, используемые в доказательствах. Такая Ф. включает в себя три момента: 1) обозначение всех исходных, неопределяе­мых терминов; 2) перечисление принимаемых без доказательства формул (аксиом); 3) введение правил преобразования данных фор­мул для получения из них новых формул (теорем). В формализованной теории доказательство не требует обращения к содержанию используемых понятий, их смыслу. Доказательство является здесь последовательностью формул, каждая из которых либо есть аксиома, либо получается из аксиом по правилам вывода. Про­верка такого доказательства (но не его отыскание) превращается в чисто механическую процедуру, которая может быть передана вы­числительной машине. Ф. играет существенную роль в уточнении научных понятий. Мно­гие проблемы не могут быть не только решены, но даже сформули-   рованы, пока не будут формализованы связанные с ними рассуж­дения. Так обстоит дело, в частности, с широко используемым по­нятием алгоритма и вопросом о том, существуют ли алгоритмичес­ки неразрешимые проблемы. Только с Ф. арифметики появилась возможность поставить воп­рос, охватывает ли формализованная арифметика всю содержатель­ную арифметику. Как показал К. Гёдель, достаточно богатая содер­жанием теория (охватывающая арифметику натуральных чисел) не может быть полностью отображена в ее формализованной версии; как бы ни пополнялась дополнительными утверждениями после­дняя, в теории всегда останется невыявленный, неформализованный остаток (см.: Гёделя теорема). подробнее >>


Архитектурный словарь | Бизнес словарь | Биографический словарь | Даля словарь | Джинсы | Логический словарь | Медицинский словарь
Морской словарь | Ожегова Словарь | Религиозный словарь | Сексологический словарь | Словарь имён | Словарь мер | Словарь нумизмата
Словарь по психологии | Словарь символов | Строительный словарь | Финансовый словарь | Этнографический словарь |


Словари - Логический словарь

0.0095469951629639