Главная Термины на русском Логическое доказательство

Вопрос-ответ

Каково решение проблемы роста знания в концепции К. Поппера Карл Поппер (1902—1994) рассматривает знание (в любой его форме) не только как готовую,...
В чем состоит роль науки в преодолении глобальных кризисов Усиление техногенного влияния на окружающую среду привело человечество к порогу глобальных...
Что такое социальное познание и каковы его основные модели Говоря о понятии «социальное познание», следует иметь в виду два его основных аспекта: а)...
Что такое научный закон В самом общем виде закон можно определить как связь (отношение) между явлениями, процессами, которая...

Разместить рекламу на сайте

Логическое доказательство

Рейтинг пользователей: / 0
ХудшийЛучший 
Материал из категории  Термины на русском
28.06.2013 19:29

Логическое доказательство

1) последовательность высказываний, часть которых является ее исходными утверждениями — аксиомами, а все другие выводятся из них по четко указанным правилам вывода (основные из которых — дедукция, математическая индукция, правило подстановки).

Основное применение логические доказательства имеют в логических и математических науках, а также на теоретическом уровне познания в других науках. В последних логическое доказательство является лишь одним из фрагментов научной теории. Методологическая ценность логического доказательства состоит в том, что сколь бы длинным оно ни было (с увеличением длины его методологическая ценность только возрастает), оно всегда гарантирует истинность любого своего следствия (теоремы), если посылки (аксиомы) были истинными. Однако, как показал в 30-х годах XX в. К. Гёдель, все же имеются определенные ограничения на мощность логических доказательств для научных теорий. Даже самая простая в содержательном отношении математическая теория — арифметика натуральных чисел, не может быть полностью формализована и представлена в виде одного логического доказательства. Множество ее истинных утверждений всегда будет больше множества ее доказанных утверждений. Поэтому для любой научной теории всегда будет иметь место дополнение ее логически доказанной части соображениями содержательного характера, принимаемыми обычно на эмпирической или интуитивной основе.

Источник: Лебедев С.А. Философия науки: Терминологический словарь. — М.: Академический Проект, 2011. — С. 83-84 (269 с.)




Подобные материалы:
  • Доказательство научное - 22/06/2013 11:40
    Доказательство научное 1) логическое, эмпирическое (экспериментальное) или теоретическое обоснование различных единиц научного знания (фактов, законо…
Последние похожие материалы:
  • Математика - 29/06/2013 04:52
    Математика 1) область научного знания, предметом которой является исследование количественных отношений, пространственных форм или структур в чистом …
  • Макромир - 29/06/2013 04:51
    Макромир 1) множество объектов, размеры которых сопоставимы с масштабами человеческого опыта, возможностью их непосредственного восприятия и практиче…
  • Ложь - 28/06/2013 19:33
    Ложь 1) отсутствие соответствия между содержанием суждения (отдельного высказывания или их совокупности) и предметом суждения (объектом познания). Кр…
  • Логицизм - 28/06/2013 19:32
    Логицизм 1) направление в философии математики начала XX в. (Г. Фреге, Б. Рассел и др.), выдвинувшего программу обоснования наиболее фундаментальных …
  • Логическое противоречие - 28/06/2013 19:31
    Логическое противоречие 1) наличие или возникновение формальной конструкции «А и не-А» в любой системе знания. Такие конструкции запрещаются законами…
Более поздние похожие материалы:
  • Логический эмпиризм - 28/06/2013 19:28
    Логический эмпиризм 1) одно из направлений неопозитивизма, в основе которого лежало принятие гипотетико-дедуктивной модели научного познания.
  • Логический позитивизм - 28/06/2013 19:27
    Логический позитивизм 1) направление философии и методологии науки XX в., представители которого (М. Шлик, Б. Рассел, Р. Карнап, Г. Рейхенбах и др.) …
  • Логические основания науки - 28/06/2013 19:26
    Логические основания науки 1) совокупность логических правил рассуждения и логических систем, которые использует та или иная область науки или научна…
  • Логические законы - 28/06/2013 16:44
    Логические законы 1) правила преобразования и развития содержания мышления (знания), которые гарантировали бы сохранение истинности знания при движен…
  • Логико-математическая рациональность - 28/06/2013 16:43
    Логико-математическая рациональность 1) тип научной рациональности, включающий в себя требования, которым должно подчиняться логическое и математичес…

 

Случаные тэги (tags)

Результаты тестов

Последние результаты
(ПДТСіОС) Тема 10.2 Характеристика мови прогр. R і RStudio (7 тест.завдань) 57.14 %
(ПДТСіОС) Тема 14.0 Основи кореляц. і регресійн. методів (30 тест.завдань) 60.00 %
(ПДТСіОС) Тема 14.0 Основи кореляц. і регресійн. методів (30 тест.завдань) 70.00 %
Перейти к тестам
Английские меры объёма 1) К ним относятся баррель, бушель, галлон, драхма, кварта, пинта,...
Технология 1) последовательность материальных процессов и операций, реализация которых приводит к появлению продукта (потребительной стоимости) с...
Система 1) совокупность элементов с определенным набором связей между ними, делающих ее целостной. Системы бывают простыми и сложными, аддитивными и...
Гипотетико-дедуктивный метод 1) метод объяснения наблюдаемых явлений («фактов») путем выдвижения такого общего предположения (гипотезы), из которого эти...
Авторское свидетельство 1) документ, удостоверяющий авторское право на изобретение. Если автор изобретения сохраняет за собой исключительное право на его...
Знание как ценностная функция Знание - центральное понятие эпистемологии, т. е. науки о знании. В частности, эпистемология изучает объективные критерии...
Концепция науки И. Лакатоса Лакатос (1922-1974) - третья по счету фамилия этого ученого. Во время Второй мировой войны он вынужден был сменить еврейскую...
Ценность сложившаяся в условиях цивилизации и непосредственно переживаемая людьми форма их отношения к общезначимым образцам культуры и к тем предельным...
Классификация (от лат. classis - группа, facio - делаю) - система иерархически взаимосвязанных понятий (классов, объектов, явлений) в прикладных и...
Оксфордская школа опытного естествознания интеллектуальное движение преподавателей Оксфордского университета XIII-XIV вв. Оксфордская школа представляет...

Научные исследования в логистике и на транспорте Copyright © 2011-2018. При использовании материалов сайта - гиперссылка обязательна. All Rights Reserved.

Бесплатный анализ сайта