← Октябрь 2011 → | ||||||
1
|
2
|
|||||
---|---|---|---|---|---|---|
3
|
4
|
5
|
7
|
8
|
9
|
|
10
|
11
|
12
|
14
|
15
|
16
|
|
17
|
18
|
19
|
21
|
22
|
23
|
|
24
|
26
|
27
|
28
|
29
|
||
31
|
За последние 60 дней ни разу не выходила
Сайт рассылки:
http://shtirov.narod.ru
Открыта:
08-09-2009
Статистика
0 за неделю
Философия Заметки по философии логики. Статья 3
Заметки по философии логики. Статья 3 L3a3 Отражение операторов в множества P.S. Всякое
рассуждение человека есть рассуждение относительно чувственного образа
реальности, который им создан.
Каков образ, таково и рассуждение. P.S. Рекомендация. Читать текст следует с карандашом в руке и проверять или, что лучше, самим выводить утверждения. Это - не художественная литература, и для "просто чтения" характерен "низкий коэффициент полезного действия".
Мы
с вами собирались заняться отражением операторов в множества. Какой порядок изложения
оптимальный, мы не знаем. Мы могли бы заняться отражением последовательно,
начиная с первого оператора и кончая 16-м. Наверное, есть лучшие способы
изложения, так как по ходу отражения могут возникать вопросы, на которые уже
нужно знать ответы,
которые, тем не
менее, еще не получены. С другой стороны, нас интересует не только позитивное
знание, но и ход мысли по его получению. И поэтому не остается ничего
другого, как просто следовать за мыслью со всеми её переходами. И лишь после
того, как движение мысли истощит себя, можно рассмотреть результаты движения
мысли как параллельно существующие объекты и задать вопросы,
какая и для чего
существует каждая из частей полученного объекта. А так же какие части
относятся к поставленной задаче, а какие если и связаны с нею,
то лишь
опосредованно.
Пусть
A<I, B<I , A∩B=0 (рис.
1.3 статьи 1). Это - внеположные множества. 1. Какой основной принцип рассмотрения отношений между множествами? Тот, что в качестве точки отсчета берется какое-то одно множество, и по отношению к нему рассматриваются
все остальные множества. И тем самым задается общая картина отношений между множествами, такая, которая позволяет из
полученной картины выявить отношения множеств с точки зрения всех тех, которые присутствуют в рассмотрении.
Когда нами рассматривается какой-то материал,
то нам нужно, чтобы было движение, а для того, чтобы было движение, нужен
двигатель. А движущая сила определяется величиной рассогласования. Это значит,
что нужно исходить не из того, где
находится шайба в данный момент, а из того, где она окажется, и бежать туда.
Другими словами, мы должны знать, что мы делаем, то есть у нас должна
существовать цель. Рассогласованием между точкой, в которой мы находимся, и
точкой, в которой мы должны оказаться, определяется вектор нашего движения.
И, применив к операторам высказываний (1), (2) оператор конъюнкции,
получим в результате оператор отрицания конъюнкции. Отсюда получаем, что
оператор отрицания конъюнкции состоит из двух импликаций, таких, что переменные
в них занимают противоположные места. А это как раз и является необходимым, но
не достаточным признаком симметричной операции. Достаточным признаком
симметричной операции является при применении к импликациям оператора
эквивалентности и получение тождественно-истинной функции высказывания, то есть
оператора 1. Из одинаковости таблиц
истинности (1),(2) следует, что если истинна либо ложна
одна из переменных, то, соответственно, будет истинна либо ложна другая, что как раз и
является основанием для применения понятия симметричных операторов, когда
доказательство истинности одного отношения позволяет сделать вывод об истинности симметричного ему.
6.2. И, наконец, Все –А суть В и Все –В суть А. (-А берутся 3,4 строки, а –В берутся 2 и 4 строки). Т.о., что мы получили? Мы получили, что отношения между множествами ОТИЗи выводятся из трех посылок, так как набор ил 3,3 строк для дизъюнкции заключается в том, что в нём из одной посылки выводится другая. 6.3. Мы с вами описали метод получения отношений между множествами для оператора посредством перехода от оператора 1 к данному путем устранения из него лишних возможностей. Второй метод - метод секторов. Третий способ заключается в отсутствии всякого способа. Мы рассматриваем, во-первых, отношение ложное и выводим его из рассмотрения, и затем рассматриваем суждения с квантором «некоторые», или наборы истинности, другими словами для А либо –А, если они принимают для В и –В значение «истина». И затем, наоборот, мы берем В или –В с квантором "некоторые", когда они дают для А и –А значения «и». И этого оказывается достаточно. Четвертую посылку мы можем использовать просто для того, чтобы показать, что решение нами найдено правильное. Например, берем отрицание конъюнкции. Здесь мы имеем пересечение –А с В и –В, -В с А и –А, так как это- симметричный оператор, и выводится из I (т.е. за пределы I) АВ. Выводя из I АВ, мы получили в качестве оставшихся все возможные варианты. Нарисуем прямоугольник и в нём черту, делящую его на А и –А. Так как –А содержит в себе В и –В, то между А и В содержатся элементы –А,-В. Поэтому черту с В нарисуем с противоположной стороны на некотором расстоянии от черты А. Теперь проверяем и убеждаемся, что некоторые –А суть В, некоторые - -В, некоторые -В суть А, некоторые–А, Наконец, все А суть –В, все В суть –А. 6.4. Теперь возьмём не симметричный оператор, импликацию. В импликации отсутствует пересечение множеств А,-В. В силу отсутствия симметрии, отношения не являются прозрачными. Поэтому берем второе, включенное отношение Все А суть В. Строим эти отношения и проверяем. Берем 3, 4 строки и видим, что некоторые –А суть В, некоторые –А суть –В. Но –В для этих же строк мы не можем брать с квантором "некоторые", так как один из наборов падает на запрещенную строку. Но тогда получаем общее суждение Все –В суть –А, что также соответствует отношению множеств. Мы видим, что рассмотрение не симметричного оператора отличается от симметричного тем, что в обратном отношении должны браться истинностные значения В, противоположные истинностным значениям А. Действительно, некоторые В суть А, некоторые В суть –А. Проверяем схему и убеждаемся, что это так. 6.5. Рассмотрим обратную импликацию. В обратной импликации для А исключается третья строка –АВ. Отсюда получаем 4 строку, для которой Все –А суть –В. Рисуем это отношение. Первые две строки дают: некоторые А суть В, некоторые –В, и это так. Берем в качестве субъекта В. Получаем вывод относительно первой строки Все В суть А, и это так, 2,4 строки дают некоторые В суть А, некоторые –А. Что также соответствует чертежу. 6.6. Т.о., мы с вами видим, что уже после исключения из I ложной строки, задание уже одного отношения определяет и все остальные отношения множества. Для импликации достаточно было взять формулу Все А суть В. Можно было также взять неявно содержащееся в формуле противоположное отношение Все –В суть –А. 6.7. Что касается эквивалентности и строгой дизъюнкции, то эквивалентность имеет место при равенстве А, В. При нарушении равенства происходит переход либо к прямой, либо обратной импликации. Аналогично со строгой дизъюнкцией, характеризующейся общей границей двух дополняющих друг друга множеств. Если множества начинают пересекаться, то строгая дизъюнкция переходит в дизъюнкцию, если их границы расходятся, то строгая дизъюнкция переходит в отрицание конъюнкции. Статья четвертая будет посвящена выражению операторов через операторы. 13.11.12 г. |
В избранное | ||