'

О трояком корне закона непротиворечия

Понравилась презентация – покажи это...





Слайд 0

О трояком корне закона непротиворечия Горбатов В.В.


Слайд 1

Содержание Закон непротиворечия Воображаемая логика Васильева Двухуровневая логика Смирнова Прагматика языка как элемент эмпирической детерминации мышления Трехуровневая логика Закон обратного отношения Три смысла закона непротиворечия


Слайд 2

Закон непротиворечия Аристотель: «невозможно, чтобы одно и то же в одно и то же время было и не было присуще одному и тому же в одном и том же отношении» «Два противоречащих друг другу суждения не могут быть оба истинными» «Высказывание и его отрицание не могут быть одновременно истинными»


Слайд 3

Воображаемая логика (1911) «Воображаемая логика позволяет нам глубже проникнуть в природу нашей логики, разделить в ней эмпирические (устранимые) элементы от неэмпирических, которые устранить нельзя. Все внеэмпирические элементы и отношения в логике составляют металогику.» Н.А. Васильев (1880-1940)


Слайд 4

Воображаемая логика Необходим способ проверить, какие из законов логики суть законы мысли, т.е. зависят от мыслящего субъекта, и какие суть законы реальности, т.е. зависят от познаваемых объектов Если какое-нибудь логическое основоположение может быть отброшено и заменено воображаемым без того, чтобы вместе с этим исчезла возможность логического рассуждения, то это будет служить верным признаком того, что данное логическое основоположение покоится на эмпирической основе и зависит от познаваемых объектов


Слайд 5

Воображаемая логика «Возможность воображаемой логики подкрепляется еще и тем обстоятельством, что возможна воображаемая геометрия. Лобачевский отбросил 5-й постулат Эвклида об обязательном пересечении двух прямых, если они при пересечении с третьей дают сумму внутренних углов меньше двух прямых, и получил воображаемую геометрию без этого постулата.» Н.И. Лобачевский (1792-1856)


Слайд 6

Два смысла закона непротиворечия Закон несамопротиворечия: Нельзя объявлять одно и то же суждение истинным и ложным Этот закон есть закон мысли, а не реальности: потому, что в реальности есть предметы и их качества, есть события, перемены, но нет суждения потому, что если отбросить этот закон, то исчезает логика, ибо тогда исчезает различие между истиной и ложностью, без которого невозможна логика


Слайд 7

Два смысла закона непротиворечия Закон (материального) непротиворечия: Нельзя утверждать и отрицать наличие одного и того же признака у одного и того же предмета Этот закон является эмпирическим, т.к. он предполагает существование определяемой вещи реальность отрицания, т.е. существование несовместимых предикатов


Слайд 8

Комбинированное исчисление высказываний и событий (1989) «Будем различать два акта: акт предикации — синтез свойства с объектом (или отношения с объектами) и акт утверждения — акт соотнесения мыслимого содержания с реальностью. Эти акты будут различаться и формой записи.» P(a) – акт предикации ?P(a) – акт утверждения В.А. Смирнов (1931-1996)


Слайд 9

Как сделать логику неклассической? (В.А. Смирнов) Абстрактная часть логики (логика истинности) не варьируется, она остается классической; но внутренняя, онтологическая, часть может быть изменена Меняется сама абстрактная часть, но онтологическая часть остается прежней. В этом случае пересматриваются гносеологические предпосылки Возможна комбинация этих двух подходов, когда неклассичность появляется за счет пересмотра как онтологических, так и гносеологических предпосылок


Слайд 10

Объем и антиобъем событийных термов В качестве моделей для событий используются алгебры пар классов: М = <W, П?П, ?>, где W – множество возможных миров, П – семейство всех его подмножеств, ? – функция, сопоставляющая каждому событийному терму пару элементов из П: ?(?) = <?1(?), ?2(?)>, которые интерпретируются как его объем и антиобъем


Слайд 11

Объем и антиобъем рассматриваются как независимые, т.е. не постулируется ?1(?) ? ?2(?) = W ?1(?) ? ?2(?) = ? Понятия истинности и ложности для высказываний задаются отдельно: w???? ?? ? w ? ?1(?) w ?????? ? w ? ?2(?) Объем и антиобъем событийных термов


Слайд 12

Традиционная интерпретация событийных термов a ~a W


Слайд 13

Интерпретация событийных термов на парах W a ~a


Слайд 14

Неразрешенные вопросы Почему мы должны сопоставлять событийному терму объем и антиобъем одновременно? Объясняется ли паранепротиворечивый характер внутренней логики только свойствами познаваемой действительности, или еще и свойствами нашего языка?


Слайд 15

Прагматика языка как элемент эмпирической детерминации мышления Для естественного языка, в отличие от формальных языков, свойственна чувствительность контексту Выведение семантических понятий из-под власти контекста, как правило, осуществляется искусственным образом – путем предельной универсализации последнего


Слайд 16

Смыслополагание Пару <объем, антиобъем> мы трактуем как значение Выражения приобретают значение через акт смыслополагания Смыслополагание есть позиционирование одного события в контексте другого Что в устройстве реальности делает возможными акты смыслополагания? Как структура этого акта влияет на характер получаемой логики?


Слайд 17

Трехуровневая логика


Слайд 18

Онтологический уровень Это базовый уровень нашей системы, отображающий логическую структуру реальности независимо от специфики интенциональных актов человеческого сознания – прежде всего, смыслополагания и утверждения. Так, например, победа греков над персами при Платеях – это событие, или положение дел. Оно имело место, независимо от того, известно ли это познающему субъекту, имеет ли он вообще мысль об этом событии, и если да, то в каком контексте эта мысль позиционируется в его сознании


Слайд 19

Прагматический уровень Невозможно утверждать события, утверждать можно только мысли (пропозиции) Для того чтобы объективное содержание познавательной деятельности могло состояться собственно как мысль, необходим особый интенциональный акт Основное содержание такого смыслополагающего акта представляет собой определенного рода позиционирование, а именно – позиционирование в контексте Контекстом может выступать любое событие, на «фоне» которого позиционируется другое событие


Слайд 20

Акт позиционирования События ничего не значат сами по себе, но начинают значить размещении одного из них в контексте другого В частности, победа греков над персами при Платеях может рассматриваться в различных контекстах – в том числе, контрфактических В контексте недавнего поражения под Фермопилами В контексте произошедшей в тот же день битвы при Микале В возможных мирах, где не было битвы при Фермопилах или неудачей закончилась высадка при Микале, победа при Платеях, очевидно, приобрела бы другое значение


Слайд 21

Акт позиционирования Акт позиционирования представляет собой операцию, подготавливающую объективное содержание мысли к утверждению В акте утверждения происходит утверждение мысли, то есть соотнесение её с действительностью, результатом которого является истинностная оценка В акте позиционирования осуществляется предварительная поляризация мыслительного содержания, выделение в нем, как говорил Витгенштейн (ЛФТ, 4.41) «возможностей истинности» Здесь происходит различение того, что значит для данного содержания быть истинным, и того, что значит для него быть ложным


Слайд 22

Акт позиционирования Если бы человеческое мышление было более сложным и многомерным, акт позиционирования мог бы предполагать выделение в утверждаемом содержании мысли не двух, а в общем случае n возможных «направлений», что давало бы n видов атомарных предложений Идея многомерной логики (Н.А. Васильев, В.А. Смирнов) a’ a a’’


Слайд 23

Гносеологический уровень Здесь происходит соотнесение мыслей с реальностью. Это выражается в способности мыслей при определенных условиях нести «утверждающую силу», позволяющую квалифицировать их в качестве истинных или ложных При этом истинность и ложность мыслей не просто разделяются как две равноценные возможности, а противопоставляются с точки зрения их роли в познании В каждом акте утверждения утверждается не только определенная мысль, но еще и безусловный эпистемический приоритет истины над ложью


Слайд 24

Алфавит TLL а, b, c … – событийные переменные 1, 0 – событийные константы ~, ?, ? – событийные операторы ? – оператор позиционирования в контексте (превращает событийные термы в пропозициональные) ?, ? , ? – пропозициональные операторы ? – оператор утверждения (превращает пропозициональные термы в утвердительные предложения) ?, &, ?, ? – сентенциальные связки


Слайд 25

Аксиоматика TLL A0. Схемы аксиом КЛВ В1. ?(1?1) В2. ?? (0?1) B3. ?(x?x) ? ?(x?1) В4. ?(x?(y?z)) ? ?((x?z)?y) В5. ?((x?x)?(y?y)) ? ?((y?y)?(x?x))


Слайд 26

В6. ?((x?y)?z) ? ?(x?z ? у?z) ? ?(x?z) & ? (у?z) В7. ?((x?y)?z) ? ?(x?z + у?z) ? ?(x?z) ? ? (у?z) В8. ?(~x?y) ? ?(x?y)? ? ?Q(x?y) B9. ?(x?(y?z)) ? ?(x?y + x?z) ? ?(x?y) ? ? (у?z) B10. ?(x?(y?z)) ? ?(x?y ? x?z) ? ?(x?y) & ? (у?z) B11. ?(x?~(y?z)) ? ?(x?~y ? x?~z) ? ?(x?~y) & ? (у?~z) B12. ?(x?~(y?z)) ? ?(x?~y + x?~z) ? ?(x?~y) ? ? (у?~z) B13. ?(x?~~y) ? ?(x?y) Аксиоматика трехуровневой логики (TLL)


Слайд 27

С1. ?(? ? ?) ? ?? ? ?? С2. ?(? ? ?) ? ?? ? ?? С3. ?(? ? ?)? ? ??? ? ??? С4. ?(? ? ?)? ? ??? ? ??? С5. ???? ? ?? Аксиоматика трехуровневой логики (TLL)


Слайд 28

Закон обратного отношения Чем шире (уже) класс миров, в контексте которого позиционируется некое событие, тем уже (шире) объем и антиобъем соответствующего пропозиционального терма (?(x?1) ? ?(у?1)) ? (?(z?y) ? ?(z?x)) Деуниверсализация как причина пресыщенных оценок (онтологических противоречий)


Слайд 29

Деуниверсализация контекста W a?1 ~a?1


Слайд 30

Деуниверсализация контекста W a?b ~a?b b


Слайд 31

Три смысла закона непротиворечия Нельзя одновременно утверждать и не утверждать одно и то же событие в одном и том же контексте ?(?(x?y) & ??(x?y)) Нельзя утверждать событие и его противоположность в одном и том же контексте ?(?(x?y) & ?(~x?y)) Нельзя утверждать одно и то же событие в противоположных контекстах ?(?(x?y) & ?(x?~y))


×

HTML:





Ссылка: