68
правок
Экзистенциальный граф: различия между версиями
Материал из WikiGrapp
нет описания правки
Tanya (обсуждение | вклад) (Новая страница: «'''Экзистенциальные графы''' (''Existential graphs (EGs)'') – это графический (диаграмматич…») |
Tanya (обсуждение | вклад) Нет описания правки |
||
| Строка 5: | Строка 5: | ||
'''Альфа''' | '''Альфа''' | ||
На альфа уровне мы работаем с плоскостью и разрезами, правила преобразования которых позволяют построить теорию, дедуктивно эквивалентную логике высказываний. Два [[ | На альфа уровне мы работаем с плоскостью и разрезами, правила преобразования которых позволяют построить теорию, дедуктивно эквивалентную логике высказываний. Два [[граф]]а на плоскости соответствуют булевой конъюнкции, а круговой разрез — булеву отрицанию (пример на рис. 1). | ||
[[Файл:Ris1.JPG]] | |||
Рис. 1. «Если человек смотрит олимпиаду (ЧСО), то он любит спорт (ЧЛС)» или «Неверно, что человек смотрит олимпиаду (ЧСО), и он не любит спорт (ЧЛС)» | Рис. 1. «Если человек смотрит олимпиаду (ЧСО), то он любит спорт (ЧЛС)» или «Неверно, что человек смотрит олимпиаду (ЧСО), и он не любит спорт (ЧЛС)» | ||
| Строка 12: | Строка 14: | ||
На бета уровне разрезы дополняются линией тождества, которая является диаграмматическим аналогом равенства, предикации, экзистенциальной квантификации (пример на рис. 2). Ее пустые концы указывают на местность отношений. По своим дедуктивным возможностям раздел сопоставим с исчислением первого порядка с равенством. | На бета уровне разрезы дополняются линией тождества, которая является диаграмматическим аналогом равенства, предикации, экзистенциальной квантификации (пример на рис. 2). Ее пустые концы указывают на местность отношений. По своим дедуктивным возможностям раздел сопоставим с исчислением первого порядка с равенством. | ||
[[Файл:Ris2.JPG]] | |||
Рис. 2. «Всякий, кто смотрит олимпиаду, любит спорт» | Рис. 2. «Всякий, кто смотрит олимпиаду, любит спорт» | ||
| Строка 18: | Строка 22: | ||
С последним разделом ситуация не столь однозначна: «Раздел гамма находится в состоянии младенчества. Пройдут годы, прежде чем мои последователи смогут привести его в состояние, в которое приведены части альфа и бета». По задумке он должен был предложить современную теорию модальностей, а также теорию высших порядков. Для достижения этой цели Пирс вводит пунктирную круговую схему (сломанный разрез), позволяющую вводить модальность возможности «возможно не». | С последним разделом ситуация не столь однозначна: «Раздел гамма находится в состоянии младенчества. Пройдут годы, прежде чем мои последователи смогут привести его в состояние, в которое приведены части альфа и бета». По задумке он должен был предложить современную теорию модальностей, а также теорию высших порядков. Для достижения этой цели Пирс вводит пунктирную круговую схему (сломанный разрез), позволяющую вводить модальность возможности «возможно не». | ||
[[Файл:Ris3.JPG]] | |||
Рис. 3. «Возможно, что Саша любит спорт (СЛС)» | Рис. 3. «Возможно, что Саша любит спорт (СЛС)» | ||
| Строка 44: | Строка 50: | ||
Примеры: бета-граф — граф 1 представляет собой утверждение «Некоторые черные птицы вороваты», а граф 2 представляет собой утверждение «Все саламандры живут в огне». Здесь места отмечены лингвистическими ремами (linguistic rhemas), такими как «____является саламандрой», у которых на одном изгибе расположена линия тождества. Граф 3 очень удобен для изображения обобщающей квантификации в высказывании «Никакие два человека не любят друг друга», в то время как граф 4, в котором линия тождества, выражающая рефлексивную конструкцию, разрезана, утверждает, что «Никто не любит того, кто не любит кого-то другого». | Примеры: бета-граф — граф 1 представляет собой утверждение «Некоторые черные птицы вороваты», а граф 2 представляет собой утверждение «Все саламандры живут в огне». Здесь места отмечены лингвистическими ремами (linguistic rhemas), такими как «____является саламандрой», у которых на одном изгибе расположена линия тождества. Граф 3 очень удобен для изображения обобщающей квантификации в высказывании «Никакие два человека не любят друг друга», в то время как граф 4, в котором линия тождества, выражающая рефлексивную конструкцию, разрезана, утверждает, что «Никто не любит того, кто не любит кого-то другого». | ||
[[Файл:Egs.JPG]] | |||
Правила вывода представляют собой хирургические операции в смысле полного набора переходов, выражающих выведение заключений: | Правила вывода представляют собой хирургические операции в смысле полного набора переходов, выражающих выведение заключений: | ||
