CC BY
24
Таким образом, качество является субстанциональной характеристикой, включающей в себя совокупность существенных свойств и определяющей свое содержание, структуру, а также функциональное назначение во взаимодействии с другими структурными элементами системы. Качество образования связано с совокупностью общественных потребностей и мотиваций, выработанных на данном историческом отрезке времени, на основе современных требований и преемственного отношения к наследию прошлого. Кроме того, оно имеет внутреннюю логику своего развития, обоснованную внутренними противоречиями и их разрешением.
Философский подход дает основание определить понятие «качество специалиста». С нашей точки зрения,- это такое философско-социологическое понятие, которое включает в себя высокий уровень профессиональной и мировоззренческой подготовки специалиста, в результате которых специалист способен к быстрой адаптации в изменившихся условиях, реализации своего интеллектуального и духовного потенциала, вхождению в творческий преобразовательный процесс с наибольшим эффектом отдачи. Качество специалиста не ограничивается пространственно-временными рамками.
При таком подходе к качеству специалиста, образовательный процесс должен быть полисодержательным и полифункциональным. То есть специалист любого профиля должен получить, наряду с профессиональными знаниями, которые вбирают в себя достижения мировой и отечественной эмпирической и теоретической мысли, и все возможности для формирования своей личности, как уникального социокультурного феномена. Это возможно при органическом соединении (применительно к техническому университету, академии или институту) естественных, технических и гуманитарных наук, с использованием современных образовательных технологий. К сожалению, особенно в технических университетах, сегодня существует тенденция к сокращению объемов социально-гуманитарных наук. В свое время А. Эйнштейн говорил, что без философии можно обойтись. Но в результате человек становится только ремесленником. Ученый из него не получится. Философия дает возможность подняться над частным, увидеть перспективы, расширить горизонты творческого мышления.
Таким образом. Подготовка специалистов - достаточно сложный, многоаспектный процесс, при котором наличие одной или несколько составных частей, например, развитой материально-технической базы, недостаточно. Необходимо новое осмысление субъектами образовательной деятельности своих задач, а объектам своего назначения, выбора передовых образовательных технологий как средство образовательной деятельности и постановки перспективных целей.
Литература
1. Гуссерль Э. Идеи чистой феноменологии и феноменологической философии. М: Академический проект, 2009. 486 с.
2. Гегель Г. Наука логики. М.: Мысль, 1970. - Т. 1. С. 256.
Беликов А. А.1 Юрина Н. С.2
1Студент, МГУ им. Ломоносова; 2Студентка, МГУ им. Ломоносова ОБОБЩЁННЫЕ ИСТИННОСТНЫЕ ЗНАЧЕНИЯ: РАЗЛИЧНЫЕ ПОДХОДЫ
Аннотация
Целью данного исследования является демонстрация нового направления в современной философской логике, основанного на неклассической интерпретации понятия истинностного значения. Основная задача работы - выявление наиболее эффективного подхода к анализу истинностных значений как сложных сущностей, в частности, подхода обобщённых истинностных значений. Данное исследование является значимым не только в теоретической области, но и в сфере практического применения, связанной с компьютерной обработкой информации и построением коммуникативных стратегий.
Ключевые слова: обобщённые истинностные значения, первоуровневая релевантная логика (FDE), логика Данна - Белнапа, неклассическая трактовка истинности
Belikov A. A.1 Yunna N. S.2
1Student, Lomonosov Moscow State University; 2Student, Lomonosov Moscow State University GENERALIZED TRUTH VALUES: DIFFERENT APPROACHES
Abstract
The purpose of this research is to demonstrate a new trend in the modern philosophical logic, based on the non-classical interpretation of the concept of truth value. The main task of the research is to identify the most effective approach to the analysis of truth values as complex entities, in particular the approach of generalized truth values. This research is significant not only in the theoretical field, but also in practical applications associated with computer processing of information and creating communication strategies.
Keywords: generalized truth values, first degree entailment (FDE), Dunn - Belnap logic, non-classical interpretation of truth Понятие истинностного значения, являющееся одним из ключевых в современной логике, было введено Г отлобом Фреге. Он утверждал, что истинностные значения являются особого рода объектами, выступающими в качестве значений предложений. Фреге трактовал их как атомарные абстрактные логические объекты. Однако сегодня существует несколько подходов к семантическим конструкциям, в рамках которых истинностные значения представлены как производные от более простых компонентов. Рассмотрим подробнее некоторые из них:
1. Означивание формул в мирах Крипке для пропозициональной интуиционистской логики может рассматриваться как приписывание истинностных значения определённого вида. Пустой мир может быть интерпретирован как совокупность ложных высказываний, а максимальный, т.е. множество всех миров в модели, как истинных. Более того, можно рассмотреть непустые подмножества максимального множества как промежуточные истинностные значения. Таким образом, в пропозициональной интуиционистской логике истинностные значения являются производными от некоторых более простых элементов.
2. В качестве примера структурированных истинностных значений можно привести фактор-семантику5 для многозначной логики, где истинностные значения определены как упорядоченные n-ки классических истинностных значений. Например, значение 3/8 может быть интерпретировано, как И-Л последовательность длины восемь, содержащая в точности три вхождения И. В данном случае классические значения И (истина) и Л (ложь) используются как вспомогательные блоки для неклассических истинностных значений.
Идея трактовки истинностных значений как сложных сущностей согласуется с подходом, который рассматривает истинностные значения как некоторые подмножества множества классических истинностных значений. Подобный подход можно встретить в работах Данна и Белнапа:
3. Идея создания логики обобщённых истинностных значений принадлежит Данну, которым впервые была построена обобщённая релевантная логика. Он исходил из идеи пресыщенных оценок и истинностно-значных провалов. В первом случае формула может принять оба значения из множества {и, л}, во втором случае она не принимает ни одного из этих значений. Далее Данн задаёт обобщённую функцию приписывания значений: оценка понимается как функция, значениями которой являются не элементы множества {и, л}, а подмножества этого множества. Тогда произвольной формуле можно приписать следующие значения:
1) { и }; 3) { и, л };
2) { л }; 4) А
5
Подробнее о фактор - семантике см. Karpenko A. “Factor semantics for n-valued logics”
116
Таким образом, происходит обобщение множества классических истинностных значений, а так же обобщение функции приписывания значений.
4. Другой вариант обобщения связан с парадигмой рассуждающего компьютера Белнапа. Белнап рассматривает четыре ситуации, в которых оказывается компьютер, разбирающий поступающую к нему информацию:
1) Компьютеру была сообщена только истина, этому соответствует значение T.
2) Компьютеру была сообщена только ложь, этому соответствует значение F.
3) Компьютеру были сообщены и истина, и ложь одновременно, этому соответствует значение B.
4) Компьютеру не были сообщены ни истина, ни ложь, этому соответствует значение N.
Можно следующим образом проинтерпретировать ситуации, в которых оказывается компьютер Белнапа:
1) Значение T соответствует { и }.
2) Значение F соответствует { л }.
3) Значение B соответствует { и, л }.
4) Значение N соответствует 0
Белнап показал, что четыре обобщённых значения истинности образуют дистрибутивную решётку с дополнением Де Моргана. Логическая решётка соответствует релевантной логике первого уровня, где значение T является максимальным элементом, а F -минимальным. В информационной проекции максимальным элементом является B, минимальным - N. Совмещение этих решёток в одной алгебраической структуре приводит к понятию бирешётки с двумя отношениями порядка: логическим и информационным:
Далее идею обобщённых истинностных значений развили Шрамко и Ванзинг6, которые связали её с понятием мультирешётки, являющимся обобщением бирешётки. Они обобщили логику Белнапа до шестнадцатизначной логики компьютерной сети. Получившаяся логика совпала с системой выводимостей FDE, т. е. с первоуровневой релевантной логикой.
Ещё одним примером развития идеи обобщённых истинностных значений является логика ETL (Exactly True Logic), построенная Ривеччио. Эта система представляет собой первоуровневую релевантную логику (FDE) с одним выделенным значением T. Такой выбор обусловлен желанием устранить противоречивую информацию из класса истинных высказываний FDE.
5. Новое развитие четырёхзначная логика Белнапа получила в работе Джозефа Кампа, который развивает идею семантики запутанной мысли. Суть её в следующем: существует рациональный субъект, который перепутал очень похожие объекты а и b. Он использует для их обозначения одно имя C. Этот субъект делает заявление, например, о том, что C обладает некоторым свойством. Возникает вопрос: как оценить это заявление, если объект a обладает этим свойством, а b - нет. Камп выступает против приписывания истинностных значений такого рода утверждениям и выдвигает семантику, где характеристиками суждений являются "полезность" и "высокая цена". Утверждение S полезно, если можно извлечь выгоду из того, что S. Утверждение S является дорогостоящим, если наличие S вызовет появление издержек, например, неудачи в достижении поставленной цели. Если наш "сомневающийся субъект" задаёт некоторым внешним наблюдателям вопрос: обладает ли C некоторым свойством, то возможны четыре ответа:
1) Да ( обозначаем это утверждение с помощью Y );
2) Нет (обозначаем это утверждение с помощью N );
3) Не могу сказать ( обозначаем это утверждение с помощью ? );
4) Да и нет ( обозначаем это утверждение с помощью Y & N ).
Заметим, что наши внешние наблюдатели, которые отвечают на вопрос, не являются "запутанными". При этом они подразумевают разные объекты под значением C. Камп задумал эти четыре возможных ответа, рассматривая эпистемические свойства высказываний как вариант семантических значений, интерпретируя их следующим образом: значение Y является индикатором полезности, значение N - индикатор издержек, значение ? не является индикатором, значение Y & N включает в себя и выгоду, и издержки. Можно провести аналогию между этой семантикой и четырёхзначной логикой Белнапа. И действительно, как заключает Камп, множество выводимостей в его семантике совпадает с множеством выводимостей FDE.
6. Последний рассматриваемый здесь вариант логики обобщённых истинностных значений был недавно предложен Д. Зайцевым и Я. Шрамко. Этот подход предусматривает разграничение, по крайней мере, двух трактовок истинности: онтологической (истина - значение декларативного предложения, его референциальная характеристика) и эпистемологической (истина -свойство, которое сохраняется при переходе от посылок к заключению в конкретном рассуждении). Таким образом, можно различить два понимания истины: референциальную истину как абстрактный объект, выступающий в качестве значения высказывания, и инференциальную истину как оценку высказывания, которая переносится в правильном рассуждении с посылок на заключение.
6 Подробнее о шестнадцатизначной логике см. Shramko Y. and H. Wansing “Some useful sixteen-valued logics: How a computer network should think”.
117
Если для формул допускаются как референциальные, так и инференциальные истинностные значения, то можно описать общую семантическую структуру, необходимую для их интерпретации. В качестве базиса такой структуры используется множество {t} (^{1}, где t представляет
собой референциальную истину, а 1 - инференциальную. Применяя
процедуру обобщения, получаем следующие значения:
1) < T, 1> - T1 (предложение объективно истинно и принимается);
2) < T, 0> - T0 (предложение объективно истинно, но отвергается);
3) <F, 1> - F1 (предложение объективно ложно, но принимается);
4) <F, 0 > - F0 (предложение объективно ложно и отвергается).
Если задать на множестве этих истинностных значений стандартные теоретико-множественные операции пересечения и объединения, то получается четырёхэлементная решётка:
Подводя итоги, стоит отметить, что работа в области обобщённых истинностных значений открывает широкие перспективы не только в области теоретико-логических исследований (построения семантик, исчислений, использования различных методов доказательств метатеоретических свойств), но и в сфере практической деятельности: анализа информации компьютерными устройствами, а также создания аргументативных стратегий.
Литература
1. Г. Фреге «О смысле и значении».
2. Karpenko A. Factor semantics for n-valued logics // Studia Logica. - 1983. - № 42. - P. 179-185.
3. Belnap N. D. How a computer should think // Contemporary Aspects of Philosophy // Oriel Press. - 1977. - P. 30-50.
4. Pietz A., Rivieccio U. Nothing but the truth // Journal of philosophical logic. - 2013. - Vol. 42, issue 1. - P. 125 - 135.
5. Camp J. Confusion: A study in the Theory of Knowledge // Cambrige, MA: Harvard University Press, 2002.
6. Zaitsev D., Shramko Y. Bi-facial Truth: a Case for Generalized Truth Values // Studia Logica // Kluwer Academic Publishers (Netherlands). - 2013. - Vol. 101, № 6. - P. 1299-1318.
ГЕОГРАФИСЕСКИЕ НАУКИ / GEOGRAPHY Тентюков М.П.
Кандидат географических наук, доцент, Институт биологии Коми НЦ УрО РАН ВЫЯВЛЕНИЕ ПЫЛЕВОГО ЗАГРЯЗНЕНИЯ СНЕЖНОГО ПОКРОВА С ПОМОЩЬЮ ЭПР-СПЕКТРОСКОПИИ
Аннотация
Предложен новый способ определения запыленности снежного покрова, основанный на регистрировании ослабления ультрафиолетового (УФ) компонента солнечного излучения в снежной толще путем ЭПР-регистрации в оксиде магния ЭПР-сигнала линий Mn2+, легко детектируемый в спектре ЭПР по секстету линий Mn2+, и интенсивность которых индуцирована фотокаталитической активностью MgO. На основе данного свойства оксида магния разработан новый способ оценки запыленности снежного покрова, предусматривающий экспонировании высокодисперсного порошка оксида магния в снежной толще и измерение амплитуды характерного ЭПР-сигнала ионов марганца. Апробация способа при сравнительной оценке запыленности снега на двух ключевых участках, один из которых расположен в поле, а другой возле автомобильной дороги, показала, что с глубиной градиент ослабления ЭПР-сигнала на первом участке меньше, чем на втором. Данный способ может быть положен в основу ЭПР-детектирования УФ-прозрачности снежного покрова, что расширяет спектр методик, предназначенных для исследований снежного покрова.
Ключевые слова: Ионы переходных металлов, оптическая прозрачность снега, снежный покров, солнечная радиация, ультрафиолетовое излучение, электронно-парамагнитный резонанс.
Mikhail P.T.
Senior Staff Scientist, Docent, Institute of Biology, Komi Science Centre, Ural Branch, Russian Academy of Sciences DETECTING DUST-CONTAMINATED SNOW COVER BY EPR SPECTROSCOPY
Abstract
A new approach to detecting dust-contaminated snow is proposed, which is based on estimating the attenuation of the ultraviolet (UV) component of solar radiation probed by magnesium oxide (MgO) powder exposed in a snow cover. The presence of contamination is readily detected by monitoring the attenuation of a sextet of Mn2+ impurity ion lines in the electron paramagnetic resonance (EPR) spectrum of powder, the intensity of which is determined by the photocatalytic activity of MgO. Based on this property of MgO, a new method of estimating the dust contamination of snow is developed, according to which fine MgO powder is exposed in the depth of snow and the gradient of attenuation of the characteristic EPR signal of impurity manganese ions is measured. The proposed method was verified by comparative evaluation of the dust contamination of snow cover in two sites, one of which was situated in an open field and the other, near a motor highway. The results showed that the gradient of EPR signal attenuation in the depth of snow in the first site is lower than that in the
118
