http://slovarchik.ru Объяснение логических терминов Tue, 10 Mar 2009 07:14:33 +0000 http://backend.userland.com/rss092 en ЭФФЕКТИВНЫЙ ПРОЦЕСС, или ЭФФЕКТИВНАЯ ПРОЦЕДУРА (лат. effectivus — действенный) — предписание, намечающее последовательность преобразований, которые надо применять одно за другим к каждому элементу какой-то данной операции, чтобы прийти к единственно правильному решению. В качестве примера эффективных процессов американский логик X. Карри приводит нормальные алгоритмы (см.) А. А. Маркова. Эффективный процесс ... http://slovarchik.ru/1149/ ЧИЧЕРИН Борис Николаевич (1823—1903) — русский философ права, объективный идеалист-гегельянец, историк и логик. Считал, что логика есть первая и основная наука, которая дает законы всем остальным наукам. Подвергнув критике логические труды Милля, Бэна, Тренделенбурга, Зигварта и Вундта, он пытался разработать новую логику, основанную на таких четырех началах, как соединение и ... http://slovarchik.ru/1109/ ФОРМАЛИЗОВАННАЯ ТЕОРИЯ — теория, изучающая объекты (материальные и идеальные) с помощью операций, совершающихся по правилам, которые определяются только формой принятых в данной теории знаков, представляющих объекты и их связи, отвлекаясь от внутренних закономерностей развития и изменения содержания исследуемых объектов. В отличие от неформализованной теории (интуитивной) в формализованной теории свойства элементарных ... http://slovarchik.ru/1089/ СПИНОЗА (Spinoza) Барух (Бенедикт) (1632— 1677) — голландский философ-материалист. Отвергнув бога как творца мира, он создал монистическую теорию, в которой мышление и протяженность являются атрибутами (неотъемлемыми существенными свойствами) единой субстанции — природы, которая есть причина самой себя. В учении о соотношении субстанции, атрибутов и модусов Спиноза указал по сути дела ... http://slovarchik.ru/1022/ СКЕПТИЦИЗМ (греч. skepesthai — смотреть на все выискивающе) — идеалистическое направление в философии, выставляющее в качество принципа сомнение (см.) в возможности познания реального мира и достижения объективной истины. Скептические школы в философии возникли еще в Древней Греции (Пиррон, Ти-мон, Аркесилай, Карнеад, Энесидем, Секст Эмпирик и др.). Сомнительность, недостоверность всякого познания ... http://slovarchik.ru/986/ РАЗДЕЛИТЕЛЬНОЕ КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО — один из видов косвенного доказательства (см.). Применяется в тех случаях, когда известно, что доказываемый тезис входит в число альтернатив, которые полностью исчерпывают все возможные альтернативы данной области. Доказательство ведется следующим образом: последовательно исключаются все члены разделительного суждения, кроме одного, который и является доказываемым тезисом. Так, ... http://slovarchik.ru/935/ ПОВАРНИН Сергей Иннокентьевич (1870—1952) — русский философ и логик, профессор Ленинградского университета. Одним из первых русских логиков он начал разрабатывать логику отношений (см.). Традиционная формальная логика с ее определением суждения и классификацией умозаключений была не в состоянии, по Поварнину, объяснить многие виды умозаключений (см.), применяющихся и в повседневном обиходе и ... http://slovarchik.ru/847/ ПАРАДОКС ЛЖЕЦА — один из семантических парадоксов, который излагается так: Некто говорит: «Я лгу». Если он при этом лжет, то сказанное им есть ложь, и, следовательно, он не лжет. Если же он при этом не лжет, то сказанное им есть истина, и, следовательно, он лжет. В любом случае оказывается, что ... http://slovarchik.ru/819/ ОБЪЕКТИВНАЯ ИСТИНА — такое содержание наших знаний, которое соответствует действительности, объективному миру и не зависит от воли и желаний познающего субъекта. Напр., объективной истиной является утверждение науки, что Земля существовала до человечества, что народ — творец истории и т. п. «Быть материалистом,— говорил В. И. Ленин,— значит признавать объективную истину, ... http://slovarchik.ru/768/ ОБОСНОВАННОСТЬ — такое качество правильного логического мышления, которое свидетельствует о том, что в рассуждении все мысли опираются на другие мысли, истинность которых доказана (см. Достаточного основания закон). Необоснованность мыслей (суждений), из которых строится то или иное умозаключение, ведет к ложным выводам. Не случайно великие русские писатели в своих произведениях ... http://slovarchik.ru/756/