Логика

ОТРИЦАНИЕ — определенный момент процесса развития, выражающий диалектическую связь двух последовательных стадий развивающегося объекта. Суть отрицания состоит в том, что утверждение последующей стадии развития предполагает в качестве своего условия исчезновение, разрушение предыдущей и вместе с тем сохранение, удержание некоторых ее существенных элементов, составляющих.

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 299.

ОПРЕДЕЛЕНИЕ, дефиниция— логический прием, позволяющий: 1) формулировать критерии отличия изучаемого объекта от других объектов, специфические способы его отыскания, построения, употребления; 2) формировать значение вновь вводимого знакового выражения или уточнять значение имеющегося выражения в каком-либо языке. Поскольку результаты изучения объекта отображаются в соответствующих понятиях, определение можно рассматривать как формулирование содержания этих понятий.

ОБЩАЯ ТЕОРИЯ СИСТЕМ — специально-научная и логико-методологическая концепция, предложенная австрийским биологом Л. Берталанфи (1901-1972). Основная цель Общей теории систем — разработка аппарата понятий, позволяющего анализировать объекты как системы. Общая теория систем возникла у Берталанфи в русле защищаемого им «организмического» мировоззрения как известное обобщение разработанной им в 30-х годы XX века теории открытых систем, в рамках которой живые организмы рассматривались как системы, постоянно обменивающиеся со средой веществом и энергией.

НЕПОЛНАЯ ИНДУКЦИЯ, проблематическая, обобщающая, расширяющая индукция — основной вид индуктивных умозаключений. Важнейшая особенность Неполной индукции в том, что заключение в ней всегда содержит большую информацию, чем посылки, именно поэтому ее нередко называют расширяющей индукцией. Поскольку связь между посылками и заключением Неполной индукции носит вероятностный или проблематический характер, в современной логике ее часто называют проблематической индукцией.

МЫШЛЕНИЯ ЗАКОНЫ, логические — законы связи между суждениями и понятиями, законы формирования и развития мысли, определяющие правильные формы и методы познания действительности на ступени абстрактного мышления. Целью изучения Мышления законов является выяснение объективных условий истинности познания. Мышления законы определяются исключительно содержанием мысли, однако не конкретным содержанием отдельных мыслей, а тем общим, что имеется в содержании различных мыслей, т. е., в конечном счете, некоторыми общими чертами отражаемых в мышлении предметов и отношений действительности.

МОДЕЛЬ [фр. modele, от лат. modus — образец] — условный образ (изображение, схема, описание и т. п.) какого-либо объекта (или системы объектов). Служит для выражения отношения между человеческими знаниями об объектах и этими объектами; понятие модели широко применяется в семантике, логике, математике, физике, химии, кибернетике, лингвистике и других науках (главным образом технических) и их приложениях в различных, хотя и тесно связанных между собой, смыслах.

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

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 236.

МЕТАЯЗЫК — понятие современной логики, используемое при исследовании языков различных логико-математических исчислений и естественнонаучных языков, при описании взаимоотношений языков различного «уровня» и при характеристике отношения между рассматриваемыми языками и описываемыми с их помощью предметными областями. Метаязык называется язык, на котором происходит рассмотрение какого-либо другого языка, изучение строения выражений этого языка, доказательство теорем о его дедуктивных свойствах и об отношении его к другим языкам и т. д.

ПРИНЦИП (PRINCIP). Теоретическое начало; точка отсчета рассуждения. Природа принципа предполагает его недоказуемость (в противном случае это будет уже не принцип, а теорема или закон), как природа доказательства предполагает опору на какой-либо недоказуемый принцип. Чем принцип отличается от аксиомы или постулата? Тем, что последние употребляются в рамках каких-либо формальных или гипотетически-дедуктивных систем. Принцип же с равным успехом используется в экспериментальных науках, морали и политике. Почему устанавливается тот или иной принцип?

ПРИЗНАК (INDICE). Знак, основанный на отношении каузальности; доступный к восприятию факт, отсылающий к другому, обычно не доступному к восприятию, который он включает в себя или о котором сообщает, так что в результате мы используем первый в качестве знака второго. Симптом есть признак заболевания; тяжелые черные тучи могут быть признаком надвигающейся грозы. Однако ни высокая температура, ни тучи сами по себе ни о чем не говорят; их заставляет «говорить» наша интерпретация.