Научный метод. Часть 1: логика

В серии лекций подробно рассказывается об устройстве и философии научного метода — при помощи раскрытия содержания его основных положений и составных частей. Речь также заходит о популярных заблуждениях.

В первой части освещается устройство формальной логики и её использование в научном методе.

Лектор — редактор сайта «XX2 Век», публицист, программист, выпускник МФТИ Лекс Кравецкий.

Лекции организованы первой научно-популярной библиотекой «Научка» и сайтом «XX2 Век».

[AllEXE]

Создателям ролика - мое почтение! Само содержание очень полезное, в наши дни упадка образования просто жизненно необходимое. Очень понравилось, как сняли и смонтировали видео - все четко, грамотно и.. ЛОГИЧНО! ) Отличная работа. Молодцы!.

[Леонид-сз]

5:34
8:13 Первый закон логики (закон тождества)
9:40 Определение понятия "отрицание"
10:44 Второй и третий законы логики
11:43 Логические множество
13:04 Логическое "И"
14:38 Логическое "ИЛИ"
15:48 Переформулирование законов логики при помощи символьного языка
16:19 Исключающее "ИЛИ"
16:47 Другие операции
16:57 Операция "Следование" (в виде вложенных кругов)
18:08 Символьное обозначение и графическое представление в виде пересекающихся кругов
19:31 Что мы можем сказать про !А?
21:06 Отрицание логических операций

[АлександрЕсаков-иц]

Очень интересно и познавательно, однако, хотелось бы, чтобы ведущий был более последователен: сначала в повествовании фигурировало понятие "суждение" и ведущий дал ему определение, потом появились понятия "тезис" и "случай", которым ведущий определение не дал.Следует ли понимать, что эти понятие равны суждению? Если это другие понятия, то что они обозначают, и почему ведущий стал использовать именно их?

[homovespertilio]

В разговорном "Позови Васю или Петю" допустимо, потому что не явлется утверждением. А разхговорное "Пельмень съел Вася или Петя" вполне себе логично

[vsss]

Поясните, пожалуйста. Объяснение операций Вы начинаете с матриц True-False. А откуда берутся эти матрицы? Если для операций &, |, XOR я могу представить, как они получаются из кругов, т.е. из множества существующих суждений, то для операции следования уже не получается. В & мы тоже можем попасть в точку за пределами круга А, но это автоматически значит False, а в следовании – это почему-то True. Почему? Или это договор такой, типа давайте будем понимать следование, как вот такую матрицу?

[Аргентинскоетанго.Справочник]

2:40 мне кажется назвать лучше не формальная, а нормальная логика.
Потому что есть ещё дибильная логика - диалектика.

[Леонид-сз]

19:31 Из !А может также следовать B || !B

[АлександрЕсаков-иц]

Ведущий сказал, что склонен считать, что логика только одна, однако для понимания зрителя сделал приписку, что речь пойдёт о формальной логике. Как автор видео относится к диалектической логике (Гегель, диа. мат.)?

[boottlerr]

"Медведь зелёный" не только отрицание суждения "медведь красный", это отрицание всех иных, возможных цветовых характеристик медведя, кроме зелёного. Отрицание же суждения "медведь красный" звучит как "медведь не красный". И если обозначить Медведь красный=А то !А есть "медведь не красный". Суждение же "медведь зеленый" не имеет права обозначаться !А поскольку содержит суждение В=медведь зелёный из которого уже следует !А и обозначать его было бы правильно В!А.

[alexandrdeveloper]

лекция навела на мысль, что виной увеличения количества "идеалистов" как раз является отсутствие преподавания логики и культуры мат. доказательств в средней школе... Вот и приходится людям объяснять очевидные вещи. Только это бесполезно - они продолжат мыслить по каким то неведомым субъективным алгоритмам т к момент закладки базиса упущен. А после 25 уже хорошо если более простые вещи усваиваются. И вот это вот проблема - этих людей подавляющее большинство и одномоментно они не рассосуться в ничто.

[nanoqsh]

Мне всегда казалось, что "либо - либо" в русском языке это как раз и есть эквивалент исключающего "или".
А с употреблением "или" в языке, как раз могут быть неоднозначности в трактовек, какое именно это "или".
Тем более, когда мы решаем логическую задачу, выражение "либо одно, либо другое" как раз и используется для того, чтобы указать на исключающее "или", иначе, как ещё можно выразить этот логический оператор на естественном языке?

[boottlerr]

ВУГЛУСКРебёт мышь! Для тех кто всё ещё не знает кто такой вуглускр)

[МАйкЛжец-юу]

Так если
(A&!A)|(B&!A) = true
при условии, что A = true и !A = true, получается, то
A&!A = true