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


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

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

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

Верификация.
(от лат. verificatio — доказательство, подтвер­ждение)  - понятие, используемое в логике и методологии науч­ного познания для обозначения процесса установления истинно­сти научных утверждений посредством их эмпирической проверки. Проверка заключается в соотнесении утверждения с реальным по­ложением дел с помощью наблюдения, измерения или экспери­мента. Различают непосредственную и косвенную В. При непосредственной В. эмпирической проверке подвергается само ут­верждение, говорящее о фактах действительности или эксперимен­тальных данных. Однако далеко не каждое утверждение может быть   непосредственно соотнесено с фактами, ибо большая часть науч­ных утверждений относится к идеальным, или абстракт­ным, объектам. Такие утверждения верифицируются косвенным путем. Из данного утверждения мы выводим следствие, относя­щееся к таким объектам, которые можно наблюдать или изме­рять. Это следствие верифицируется непосредственно. В. след­ствия рассматривается как косвенная В. того утверждения, из которого данное следствие было получено. Напр., пусть нам нуж­но верифицировать утверждение «Температура в комнате равна 20°С». Его нельзя верифицировать непосредственно, ибо нет в реальности объектов, которым соответствуют термины «темпера­тура» и «20°С». Из данного утверждения мы можем вывести след­ствие, говорящее о том, что если в комнату внести термометр, то столбик ртути остановится у отметки «20». Мы приносим термо­метр и непосредственным наблюдением верифицируем утвержде­ние «Столбик ртути находится у отметки "20"». Это служит кос­венной В. первоначального утверждения. Верифицируемость, т. е. эмпирическая проверяемость, научных утверждений и теорий считается одним из важных признаков на­учности. Утверждения и теории, которые в принципе не могут быть верифицированы, как правило, не считаются научными. подробнее >>

Прескриптивное Высказывание.
см.: Нормативное выс­казывание. подробнее >>

Равнозначность.
(равносильность, эквивалентность)  - от­ношение между высказываниями или формулами, когда они при­нимают одни и те же истинностные значения. Напр., при любых значениях элементарных высказываний формулы (A v B) и (B v A), (A v (A & В)) и A принимают одни и те же значения, т. е. если одна из них истинна, то и другая истинна, если одна из них ложна, то и другая также ложна. Если два высказывания A и В равнозначны, то формулы А -> В и B -> А будут тождественно истинными. подробнее >>

Гёделя Теорема.
 - важнейший результат, полученный авст­рийским логиком и математиком К. Гёделем (1906-1978). В 1931 г. в статье «О формально неразрешимых предложениях Principia Mathematica и родственных систем» Гёдель доказал теорему о неполноте: если система Z (содержащая арифметику натуральных чисел) непротиворечива, то в ней существует такое предложение А, что ни само А, ни его отрицание не могут быть доказаны сред­ствами Z На примере анализа формальной системы, сформулиро­ванной в фундаментальном трехтомном труде англ. математиков и логиков А. Уайтхеда и Б. Рассела «Principia Mathematica», Гёдель показал, что в достаточно богатых содержательных нормальных системах имеются неразрешимые предложения, т. е. предло­жения, которые недоказуемы и одновременно неопровержимы. Значение Г. т. состоит в том, что она показала неосуществимость программы формализации математики, выдвинутой немецким ма­тематиком Д. Гильбертом. Как показывает Г. т., даже арифметику натуральных чисел невозможно формализовать полностью, ибо в формализованной арифметике существуют истинные предложе­ния, которые оказываются неразрешимыми. С философско-мето-дологической точки зрения значение Г. т. заключается в том, что она показывает невозможность полной формализации человечес­кого знания. подробнее >>

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


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


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

0.0072348117828369