Логика

Вопрос № 1

Ло́гика— раздел философии, нормативная[неизвестный термин][1] наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это знание получено разумом, логика также определяется как наука о формах и законах правильного мышления. Так как мышление оформляется в языке в виде рассуждения, частными случаями которого являются доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений. Логика, как наука, изучает методы достижения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знания.

Одна из главных задач логики — определить, как прийти к выводу из предпосылок (правильное рассуждение) и получить истинное знание о предмете размышления, чтобы глубже разобраться в нюансах изучаемого предмета мысли и его соотношениях с другими аспектами рассматриваемого явления.

В любой науке логика служит одним из основных инструментов.

Мышление — это процесс, в ходе которого человек сопоставляет мысли, т. е. рассуждает, умозаключает, из одних мыслей выводит другие, содержащие новое знание.

Мыслительный процесс имеет внутреннюю структуру и реализуется в таких естественно сложившихся формах, как понятие, суждение, умозаключение. Оперирование понятиями, суждениями и получение нового знания в умозаключениях составляют формально-логический аппарат мышления. Логическая форма представляет собой исторически установившиеся способы связи составных элементов мысли.

Каждая простая мысль, как правило, состоит из двух основных элементов:

• отображение предмета, которое называется субъектом (обозначается латинской буквой S);

• отображение того или иного свойства предмета, которое называется предикатом (обозначается латинской буквой Р).

Например, в мысли "Лекция была очень интересной" такие элементы имеются:

• субъект — знание о прослушанной лекции;

• предикат — знание о качестве этой лекции: она была очень интересной.

Содержание мыслей может быть различным, но их логическая форма, тем не менее, одинакова. Так, мысль "Неправильная квалификация преступления — это ошибка не только судебная, но и логическая" по содержанию отличается от мысли об интересной лекции, но по структуре они сходны: и в последней мысли есть субъект (знание о квалификации преступления) и предикат (знание об ошибке не только судебной, но и логической).

Указанные элементы мысли — субъект и предикат — выражают отношение между предметом и его свойством. Это отношение фиксируется в мысли словами "есть", "суть", "являются" (часто эти слова-связки только подразумеваются).

В зависимости от характера сочетания элементов мысли различают несколько основных устойчивых форм мысли:

понятие, суждение, умозаключение.

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

Вопрос № 2

ЛОГИКА И ЯЗЫК

Предметом изучения логики являются формы и законы правильного мышления. Мышление есть функция человеческого мозга, которая неразрывно связана с языком.

Функции естественного языка многочисленны и многогранны. Язык – средство повседневного общения людей, средство общения в практической и научной деятельности. Языку свойственны и такие функции: хранить информацию, быть средством выражения эмоций, быть средством познания. Язык является знаковой информационной системой, продуктом духовной деятельности человека. Накопленная информация передается с помощью знаков (слов) языка.

Речь может быть устной или письменной, звуковой или незвуковой, внешней или внутренней, выраженной с помощью естественного или искусственного языка, в основе которых лежит естественный язык, сформулированы положения всех наук.

На базе естественных наук возникли искусственные языки науки. К ним принадлежат языки математики, символической логики, химии, физики, а также алго-метрические языки программирования для ЭВМ, которые получили широкое применение в современных вычислительных машинах и системах.

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

Имена делятся на:

1) простые (книга, снегирь);

2) сложные или описательные (самый большой водопад в Канаде и США);

3 ) собственные, т. е. имена отдельных людей, предметов или событий (П. И. Чайковский);

4) общие (действующие вулканы).

Каждое имя имеет значение или смысл. Значением или смыслом имени является способ, которым имя обозначает предмет, т. е. информация о предмете, содержащаяся в имени.

В логике различают выражения, которые являются именными функциями, и выражения, являющиеся пропозициональными функциями.

Именная функция – это выражение, которое при замене переменных постоянными превращается в обозначение предмета. Возьмем именную функцию «отец y». Подставим вместо «y» имя «писатель Жюль Верн», получим «отец писателя Жюля Верна» – имя предмета.

Пропозициональной функцией называется выражение, содержащее переменную и превращающееся в истинное или ложное высказывание при постановке вместо переменной имени предмета из определенной системной области.

Понятие пропозициональной функции широко используется в математике. Все уравнения с одним неизвестным представляют собой одноместные пропозициональные функции.

При логическом анализе язык рассматривается как знаковая система.

Знак – это материальный объект, используемый в процессе познания или общения в качестве представителя какого-либо объекта.

Можно выделить знаки следующего вида:

1) знаки-индексы;

2) знаки-образцы;

3) знаки-символы.

Логика исследует знаки последнего вида. Знаки-символы не связаны причинно и не сходны с представляемыми ими объектами.

Вопрос №3

Семио́тика — наука, исследующая свойства знаков и знаковых систем.

Согласно Ю. М. Лотману, под семиотикой следует понимать науку о коммуникативных системах и знаках, используемых в процессе общения.

Семиотика выделяет три основных аспекта изучения знака и знаковой системы:

синтаксис (синтактика) изучает внутренние свойства систем знаков безотносительно к интерпретации;

семантика рассматривает отношение знаков к обозначаемому;

прагматика исследует связь знаков с «адресатом», то есть проблемы интерпретации знаков теми, кто их использует, их полезности и ценности для интерпретатора.

Языкова́я игра́ — термин Людвига Витгенштейна, введённый им в «Философских исследованиях» 1945 года для описания языка как системы конвенциональных правил, в которых участвует говорящий. Понятие языковой игры подразумевает плюрализм смыслов. Концепция языковой игры приходит на смену концепции метаязыка.

В отечественном языкознании термин вошел в широкий научный обиход после публикации одноимённой работы Е. А. Земской, М. В. Китайгородской и Н. Н. Розановой, хотя сами лингвистические явления, обозначаемые данным термином, имеют достаточно длительную историю изучения. Как указывается в данной работе, это «те явления, когда говорящий „играет“ с формой речи, когда свободное отношение к форме речи получает эстетическое задание, пусть даже самое скромное. Это может быть и незатейливая шутка, и более или менее удачная острота, и каламбур, и разные виды тропов (сравнения, метафоры, перифразы и т. д.)». Исследователи изучают факты языковой игры в разговорной речи и считают, что языковую игру следует рассматривать как реализацию поэтической функции языка.

Язык права более других репрессирован в Украине. У него нет влиятельных политических носителей в стране. Его отстаивают представители общественных неприбыльных институтов, так называемый третий сектор. Однако, в силу их грантового финансирования, существует проблема доверия к аутентичности их целей. Когда власть говорит, что они представляют агентов внешнего влияния, в значительной степени это правда, хотя при этом сама власть является публичным агентом влияния России. И ее юридический язык (например, договор по ЕЭП относительно общих интересов Украины с Россией) опирается на сильные ностальгические представления электората и реальные интересы олигархов. Таким образом, язык права, в одно и то же время являясь языком внешнего управления Запада, имеет более значительную преграду недоверия для широкого распространения, нежели юридический язык или язык масс-медиа.

Столкновение этих языков хорошо видно на примере интерпретации голосования 24 декабря 2003 года по поводу изменений в Конституцию. Власть считает, что голосование состоялось, поскольку его можно проинтерпретировать в юридическом языке. Масс-медиа считают, что некое событие 24 декабря произошло, оно было противоречивым, и власть и оппозиция действовали не по процедуре, а окончательно мы поймем происшедшее только после победы в политическом противостоянии: кто выиграет, тот и расскажет, что и как было. Запад дал понять, что право власти проводить конституционные изменения накануне выборов спорно, если при этом не учитываются права других политических групп, а главное – права украинских граждан.

Вопрос №4

1 этап - Аристотель . Он пытался найти ответ на вопрос: "Как мы рассуждаем". Он подверг анализу  человеческое мышление, его формы – понятие, суждения, умозаключения. Так возникла формальная логика – наука о законах и формах мышления.

2 этап – появление математической или символической логики. Основы ее заложил немецкий ученый Готфрид Вильгельм Лейбниц .Он сделал попытку заменить простые рассуждения действиями со знаками.

3 этап - окончательно развил эту идею англичанин Джордж Буль , он явился основоположником математической логики. В его работах логика пиобрела свой алфавит, орфографию и грамматику. Начальный раздел математической логики назвали алгеброй логики или Булевой алгеброй.

Джордж фон Нейман в основу работы компьютера заложил математематический аппарат, использующий законы математической логики.

Вопрос №5

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

Имена делятся на:

1) простые (“книга”, “снегирь”, “опера”) и сложные, или описательные (“самый большой водопад в Канаде и США”, “планета Солнечной системы”). В простом имени нет частей, имеющих самостоятельный смысл, в сложном они имеются;

2) собственные, т.е. имена отдельных людей, предметов, со­бытий (“П. И. Чайковский”, “Обь”), и общие - название класса однородных предметов, (например, “дом”, “действующий вулкан”).

Предиктор (от англ. predictor «предсказатель») — прогностический параметр; средство прогнозирования. Термин употребляется в различных областях:

экстраполяционная функция (матем.);

Конечно-разностная схема предиктор-корректор для решения дифференциальных уравнений.

показатель, прогностический фактор (мед.);

независимая переменная; прогнозирующее устройство; экстраполятор; прогнозирующий параметр (техн.);

структурно организованная система, функцией которой является прогнозирование (экон.).

Поня́тие — отображённое в мышлении единство существенных свойств, связей и отношений предметов или явлений; мысль или система мыслей, выделяющая и обобщающая предметы некоторого класса по общим и в своей совокупности специфическим для них признакам.

Понятие в его отвлеченности противостоит конкретности восприятия. Также понятие противостоит слову, которое можно трактовать как знак понятия

Вопрос №6

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

1. Регистрирующие и нерегистрирующие.

Основанием для этого деления является наличие или отсутствие в содержании понятия признаков, отвечающих на вопросы «где?», «когда?», «какого рода индивидуум?». Если эти признаки есть, понятия называются регистрирующими, если нет – нерегистрирующими.

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

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

2 Пустые и непустые понятия.

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

3 Конкретные и абстрактные.

Конкретными являются понятия о предметах, а абстрактными – о свойствах и отношениях. Например, конкретными являются понятия: «машина», «дом», «дорога», «деньги» и т.п.; абстрактными понятиями являются: «стойкость», «красота», «надежность», «сила», «координация», «субординация» и т.п.

4 Абсолютные и относительные.

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

5 Положительные и отрицательные понятия.

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

Таким образом, в отрицательных понятиях мыслится не отрицание признаков соотносительного положительного понятия, а только отличие видового признака первого от видового признака второго при наличии одного и того же родового признака у обоих понятий.

Положительные понятия с учетом этого принято обозначать символом Аавс, а отрицательные – символом Авсх, где верхняя черта означает отрицание видового отличия авс, а х – неопределенное видовое отличие.

Классификация видов понятий может быть представлена в виде схемы, которая охватывает не все, а только основные и наиболее разработанные виды.

Вопрос № 7

Отношения между объемами понятий

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

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

Совместимыми называются понятия, объемы которых имеют общие элементы, т.е. существуют предметы, которые включаются в объем как одного, так и другого понятия.

Вопрос №8

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

Вопрос №9

Определе́ние, дефини́ция — логическая процедура придания строго фиксированного смысла терминам языка. Термин, над которым проводится операция дефиниции, называется дефидентом.

Виды

Интенсиональное определение

Должно содержать:

описание свойств, характеристик объектов, выделяющих определяемое в сравнении с другими объектами соответственно;

пояснения смысла термина указанием правил выделения его среди прочего;

указание ближайшего понятия и отличительных признаков по сравнению с другими определениями других понятий.

К интенсиональному виду определений относятся собирательное и представительное определения.

Реальное определение

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

Аксиоматическое определение

Является фундаментальным, строится из суждений (логических выражений) как (конъюнктивная) совокупность утверждений, содержащих определяемое и определяющие понятия в этих утверждениях.

Номинальное определение

Определяет термин, обозначающий понятие, с помощью номинальных определений вводятся новые термины, вводятся знаки, обозначающие термины.

Явное определение

Когда даны дефидент и дефиниция, и между ними устанавливается отношение равенства. Родовой признак указывает на тот круг предметов, из числа которых надо выделить определяемый предмет «прибор». (напр. «барометр — это прибор для измерения атмосферного давления»)

Неявное определение

На место дефиниции подставляется контекст или набор аксиом.

Генетическое определение

Определение предмета путем указания на способ, которым образуется только данный предмет и никакой другой. Пример: «кислоты — это вещества, образующиеся из кислотных остатков и атомов водорода».

Контекстуальное определение

Позволяет понять незнакомое слово через контекст (уравнение).

Индуктивное (рекурсивное) определение

Дефидент используется в выражении понятия, которое ему приписывается в качестве его смысла (см.: «натуральное число»).

Остенсивное «определение»

Основная статья: Остенсивное определение

Определение предмета путём указания на него, или демонстрации самого предмета. Однако стоит заметить, что остенсивные «определения» определениями вовсе и не являются, поскольку совершаются на дологическом уровне.

Вопрос №10

1. Определение должно быть соразмерным, т.е. объем определяемого понятия должен совпадать с объемом определяющего, они должны быть равнозначащими понятиями.

2. Нельзя допускать круга в определении, т.е. когда определяющее само разъясняется через определяемое понятие. Нарушение этого правила ведет к логической ошибке – тавтологии.

3. Определение не должно быть только отрицательным. Ведь целью определения является ответ на вопрос: чем является данный предмет, отображенный в понятии. Для этого необходимо выявить и перечислить в утвердительной форме его существенные признаки.

4. Определение должно быть кратким, точным и ясным.

Точность определения предполагает его однозначность на протяжении всего рассуждения (выступления перед аудиторией, письменного текста, процесса и вывода). Этого требует логический закон тождества. В практике нередко возникает необходимость изменить определение, но при этом обязательно должна быть сделана специальная оговорка. Ясность определения зависит от его краткости и точности.

Вопрос №11

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

Логические операции с понятиями — такие мыслительные действия, результатом которых является изменение содержания или объёма понятий, а также образование новых понятий.

К операциям, которые связаны преимущественно с изменением содержания понятий, относятся:

отрицание;

ограничение;

обобщение;

деление.

К операциям, которые связаны преимущественно с объёмами понятий, относятся:

сложение;

умножение;

вычитание.

Данные операции могут быть записаны математически с помощью теории множеств.

Переход же к математической логике связан с понятием суждений и установлением операций над ними с целью получения сложных суждений.

Вопрос №12

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

Структура деления:

Делимое понятие — понятие, в объеме которого необходимо выделить новые понятия.

Основание деления — признак, по которому будет производиться деление.

Члены деления — понятия, полученные в результате деления.

Условия правильности деления понятий

Чтобы деление было правильным, необходимо выполнять ряд условий.

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

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

неполное деление, когда перечисляются не все виды данного родового понятия;

избыточное деление, с лишними членами деления (например, когда сделки делятся на односторонние, многосторонние и недействительные; или пошлины делятся на таможенные, вывозные, ввозные и импортные).

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

Четвертое условие — состоит в том, чтобы деление было непрерывным. Нельзя делать скачки в делении. Не верно, если мы скажем: «Торговля делится на оптовую, государственную и частную розничную». Правильным будет разделить торговлю на оптовую и розничную, а затем уже, например, розничную торговлю разделить на государственную и частную.

Деление, свободное от ошибок, — дело нелегкое. Оно осуществимо, если признак, по которому производится распределение рода на виды, точен и отчетлив, а все возможные изменения признаков легко обозримы и могут быть установлены исчерпывающим образом.

Вопрос №13

Ограничение - логическая операция перехода от родового понятия к видовому (например, “поэт”, “великий поэт”, “великий английский поэт”, “великий английский поэт Джордж Ноэл Гордон Байрон”). При ограничении мы переходим от понятия с большим объемом к понятию с меньшим объемом. Пределом ограничения является единичное понятие (в данном примере это “великий английский поэт Джордж Ноэл Гордон Байрон”).

Обобщение — логическая операция, обратная ограничению, когда осуществляется переход от видового понятия к родовому путем отбрасывания от первого его видообразующего признака или признаков. Пример обобщения: “Опера П. И. Чайковского “Евгений Онегин”, “опера П. И. Чайковского”, “опера русского композитора XIX в.”, “опера русского композитора”, “опера”, “произведение музыкального искусства”, “произведение искус­ства”. При обобщении мы переходим от понятия с меньшим объ­емом к понятию с большим объемом. Обобщение применяется во всех определениях понятий, которые даются через род и ви­довое отличие. Пределом обобщения являются категории (фи­лософские, общенаучные, категории конкретных наук).

Вопрос №14

Выска́зывание — предложение, выражающее суждение. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказывание, которое является выражением ложного суждения. Истинность и ложность называются логическими, или истинностными, значениями высказываний.

Высказывание должно быть повествовательным предложением. Высказывания обычно противопоставляются повелительным, вопросительным и любым другим предложениям, оценка истинности или ложности которых невозможна.

Модальное высказывание — это сложное высказывание, слагающееся из какого-то высказывания и его модальной характеристики. Модальное высказывание даёт оценку входящего в него более простого высказывания или описываемой в последнем ситуации с той или иной точки зрения.

Например, модальное высказывание «Физически необходимо, что планеты Солнечной системы движутся по эллипсам» оценивает движение планет с точки зрения законов физики. Модальное высказывание «Доказано, что планеты Солнечной системы движутся по эллипсам» оценивает это движение с теоретико-познавательной точки зрения. Данное высказывание истинно с того времён, как И. Кеплер доказал, что траектории движения планет Солнечной системы имеют форму эллипса, а не круга.

Высказывание дескриптивное – (дескрипция) – высказывание, главной функцией которого является описание действительности. Понятие дескрипции может быть прояснено путем противопоставления оценочному высказыванию. Эти два вида высказываний являются выражением двух противоположных отношений мысли к действительности: истинностного и ценностного. Классическая логика исследует в первую очередь именно дескриптивные высказывания, признавая в качестве аксиомы положение о том, что высказывания всегда либо истинны, либо ложны (принцип двузначности). Дескриптивное высказывание признается истинным тогда и только тогда, когда описываемое в нем положение дел имеет место в действительности, в противном случае оно ложно.

Вопрос №15

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

ВИДЫ ПРОСТОГО СУЖДЕНИЯ

Суждения, в которых один субъект и предикат называются ассеротическими. Простые суждения бывают нескольких видов:

1. Атрибутивные (суждения свойства) – это суждения, в которых выражается принадлежность предметам свойств или отсутствие у предметов каких-либо свойств. Это суждения о полном или частичном включении или невключении одного множества предметов в другое или как суждения о принадлежности или непринадлежности предмета классу предметов.

Атрибутивные суждения делятся на виды по качеству и по количеству. По качеству делятся на:

– утвердительные, в которых выражается полное или частичное включение класса предметов в класс предметов или же принадлежность некоторого предмета классу предметов

– отрицательные – невключение класса предметов, части класса, предмета в некоторый класс предметов

По количеству делятся на общие – это включение или невключение класса предметов в класс;

единичные – это принадлежность или непринадлежность предмета классу предметов;

частные – частичное включение или невключение класса предметов в класс предметов.

Здесь слово «некоторые» употребляется в смысле «по крайней мере, один, а может быть и все».