Парадигма развития науки. Идеологическое обеспечение (стр. 49 )

3) применение разработанных алгоритмов и методов к динами­ческой организации и реорганизации в реальном масштабе вре­мени больших текстуальных баз данных.

4) дальнейшее развитие теоретических результатов (в частно­сти, в области представления выборочных данных).

4. Суждения

4.1. Понятие истины

Каждый человек в своей повседневной деятельности постоянно находится в процессе познания и созидания. Он стремится познать определенное природное явление, какое-то событие или дело, хочет знать что-то о других людях, познает глубины наук. И всегда человек хочет знать то, что есть в действительности, что соответствует действительности, т. е. хочет иметь истинные знания о предметах познания. Знания (соответственно и утверждения, выражаюшие эти знания), которые адекватно отражают действительность, считаются истинными, в противном случае, - ложными.
Путь к истине сложный. Во всех этот путь начинается с веры. Ребенок начинает познавать окружающий мир с веры в слово, утверждение взрослого, из ответов на постоянные вопросы: почему? откуда? чего? кто? где? когда? Позже человек верит в уже доказанные истины, изложенные в учебниках, справочниках, переданных словесно, и на основе этого, ведет поиск других истин. Без веры не было бы движения вперед.
Для поиска человек создал много разных приборов, устройств (микроскопы, телескопы, термометры, спидометры и др.)., которые помогают ему глубже и быстрее проникнуть в сущность исследуемого
предмета, явления. Но приборы и устройства лишь обостряют, усиливают человеческие чувства, а поэтому не всегда с их помощью можно познать то, что нас интересует. С помощью органов чувств глубоких знаний получить нельзя, органы чувств человека могут и подвести. То, что кажется понятным, очевидным, может оказаться ошибкой. Часто такие ошибки возникают при оценке расстояния, размеров объектов, цвета предметов, интервалов времени и т. д.. Поэтому не всегда «очевидное» (глазам видно) является на самом деле очевидным. Часто то, что на первый взгляд кажется простым, таковым не является, и его надо уметь доказать.
Только благодаря мышлению человеку удается объяснить, уточнить, обобщить факты, являющиеся следствием наблюдений, исследований, экспериментов. Великий английский ученый Ньютон (1643-1727), осмыслив факт падения яблока с яблони на землю, открыл универсальный закон природы - закон всемирного тяготения.
В процессе познания истины человек встречает много различных проблем. Среди них можно выделить две основные группы: первая - большая сложность и бесконечное разнообразие мира, вторая - разнообразие взглядов разных людей при познании одних и тех же явлений, событий, предметов. Если первые из них являются объективными, не зависящими от человека, то вторые - субъективными, зависящие исключительно от человека. Вторые причины могут нанести большой ущерб не только отдельным людям, группам людей, но и целым поколениям. История показывает, как некоторые люди пытаются выдать фальшь за истину, как одна и та же истина бывает выгодной одной группе людей и невыгодной другой. Отдельные люди пытаются не раскрыть, не разгласить истины, а наоборот, скрыть или исказить ее для своих личных интересов. Естественно, что преступник будет пытаться скрыть истину, и суд - установить ее.
Разделение утверждений на истинные и ложные не является абсолютным. Например, утверждение «зима - лучшее время года» - может быть для одного человека истинным, а для второй - ложным. Утверждение «вчера была суббота» будет истинным еженедельно, а в остальные дни - ложным. Кроме того предметы, явления находятся в постоянном изменении и некоторые утверждения, которые их характеризуют сегодня, со временем могут изменить значение истинности.
В формальной логике абстрагируются от абсолютного и относительного в истине, здесь каждое из утверждений рассматривается либо как истинное, либо как ложное.

4.2. Общая характеристика простого суждения

Хотя наше мышление является понятийным, однако мыслить отдельными, изолированными понятиями человек не может. Познавая определенные предметы, он мыслит о связи между понятиями, о связи предметов с определенными признаками, утверждая или отрицая их, о взаимоотношения между самими предметами. Простой формой мышления, которая выражает подобные связи является простое суждение (высказывание): «этот сбор является акцизным», «гривна не является всемирной валютной единицей», «цена товара и стоимость денежной единицы находятся в обратно пропорциональном отношении».
Суждения (высказывания) - это форма мышления, выраженная повествовательным предложением и в которой что-небудь утверждается или отрицается либо речь идет об отношении между предметами.
Не существует однозначности в подходах к определению понятия «суждение» и «высказывание» и в оперировании ими.
Приведем некоторые определения суждений: «Суждение - это мысль, выраженная повествовательным предложением и являющаяся истинной или ложной», «Суждение - это мысль, в которой утверждается наличие или отсутствие свойств у предметов, отношений между предметами, связей между ситуациями»; «Суждение - это форма мышления, выражающая собой связь понятий».
Некоторые исследователи отличают термины «высказывание» и «суждение», некоторые употребляют термины «суждение» и «высказывание» как синонимы, некоторые пользуются только термином «высказывание».
Мы будем пользоваться термином «суждение» и термином «высказывание», но рассматривать их как синонимы. В каких случаях будем пользоваться термином «суждение», а в каких термином «высказывание», остановимся позже.
В двухзначной (традиционной) логике каждое суждение является либо истинным, либо ложным. Истинным будем называть суждение, в котором отображается то и так, как это есть на самом деле, в реальной действительности между этими предметами или свойствами, о которых мыслится в суждении. В других случаях суждение будет считаться ложным.

Значения истинности суждения называются его логичными значениями.
Вопрос же истинности или ложности конкретного суждения логикой не решается, этот вопрос решается наукой познания и созидания и подтверждается практикой.
Раскроем некоторые различия и взаимосвязи между суждением и понятием. Важными отличительными признаками суждения являются: в суждении что-то или утверждается, или отрицается, или речь идет об отношениях, в понятии же выделяется только сам предмет мысли; суждение является или истинным, или ложным, чего нельзя утверждать о понятии. Взаимосвязь между понятием и суждением заключается в том, что каждое суждение включает в себя понятие, а понятия формируются благодаря суждениям.
Простым суждением будем называть суждение, которое нельзя разложить на части, которые выражали бы собой также суждения.
Исходя из определения суждения, все суждения можно разделить на те, в которых что-либо утверждается или отрицается, и на те, в которых говорится об отношениях.
Суждения, в которых утверждается или отрицается наличие признака (свойства) у того или иного предмета, называются суждениями свойств (атрибутивными суждениями). Они еще называются категоричными суждениями. Примерами таких суждений будут суждение: «Все понятия имеют объем», «Черкассы не является столицей Украины», «Некоторые служащие совершают преступления», «Много людей не являются менеджерами», «Ни один двигатель не вечно».
Суждения, в которых отражается отношение между двумя или более предметами, называются суждениями отношений (релятивными суждениями). Примерами таких суждений будут суждения. «В 1990 году рождаемость в Украине было больше, чем в 1996 году», «Текущий контроль предшествует заключительному»,«Прямая а параллельна прямой b».
Приведенные примеры категоричных суждений и суждений отношений являются простыми.
Далее будем рассматривать только категоричные суждения.

4.3. Логическая структура простого категоричного суждениям

Рассмотрим вышеприведенные примеры категоричных суждений: 1) «Все понятия имеют объем», 2) «Черкассы не является столицей Украины», 3) «Некоторые служащие совершают преступления», 4) «Многие люди не являются менеджерами», 5) «Ни один двигатель не является вечным ». Проанализировав эти суждения, в каждом из них мы можем выделить:
• понятие, отражающее предмет мысли: «понятия» (1), «Черкассы» (2), «служащие» (3), «люди» (4), «двигатель» (5);
• понятие, отражающее свойства (признаки) предмета мысли: «объем» (1), «столица Украины» (2), «совершают преступления» (3), «менеджер» (4), «вечный» (5);
• слово, которое отображает отношения между предметом мысли и определенным его свойством: «должны» (или тоже самое, что «есть») (1), «не есть» (2), «есть» (3), «не есть» (4), «не есть» (5);
• слово, что указывает на количество предметов, имеющих либо не имеющих то или иное свойство: «все» (1); такое слово явно не выражено, но имеется в виду весь единичный предмет «Черкассы» (2), «некоторые» (3), «много» (4), «ни один» (5).
В логике называются и обозначаются:
• предмет мысли называется субъектом и обозначается буквой S;
• понятие о свойстве (признаке) предмета называется предикатом и обозначается буквой Р. Субъект и предикат называются терминами категоричного суждения;
• слова, которые связывают субъект и предикат в суждениях называются связями и выражаются словами или «есть», или «не есть». Благодаря связям либо утверждается, либо отрицается наличие признака Р у предмета мысли S;
• слова («все» или «некоторые» или другие слова, которые могут их заменить), указывающие на количество предметов называются кванторами. Слово «все» - квантор всеобщности, слово «некоторые» - квантор существования.
В любом суждении всегда явно выражены два понятия, субъект (логическое подлежащее) и предикат (логическое сказуемое). Связь и квантор могут выражаться неявно.
В категоричных суждениях всегда или утверждается, или отрицается наличие признака или всех предметов, или части предметов, или у одного предмета. Это количество указывают кванторы. Когда в суждении речь идет о единичный предмет, то квантор не употребляется, но подразумевается, что речь идет обо всем предмете мысли, а не только о какой-то его части. Поэтому будем считать, что в единичных суждениях квантор всеобщности, как правило, употребляется в неявной форме.
Итак, логическая структура любого простого категоричного суждения состоит из квантора, субъекта, предиката и связи.
В обозначениях приведенные выше примеры суждений запишутся.
1) Все S есть Р, 2) Данное (Все) S не есть Р, 3) Некоторые S есть Р; 4) Некоторые S не есть Р, 5) Ни один S не есть Р.
Следует заметить, что в некоторых случаях слово «все» имеет собирательный смысл, т. е. объединяет предметы в одну группу, которая рассматривается в суждении как одно целое. Например, в суждении «Все акции стоят сто тысяч гривен» группа слов «все акции» выражает единичный предмет, который состоит из всех акций о которых идет речь. Такое суждение не будет общим, а будет единичным. Чтобы безошибочно определить количество суждения необходимо заменить слово «все» словом «любой». Если при этом окажется, что смысл высказывания относится к каждому предмету, взятого в отдельности, то суждение будет общим, если нет, то - единичным. Сделав такую ​​замену в приведенном примере, получим выражение «Любая акция стоит сто тысяч гривен». Понятно, что в нашем примере цена акции «сто тысяч гривен» не относится к любой отдельно взятой акции.