Виды вопросов

Логика

Вопрос № 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. Атрибутивные (суждения свойства) – это суждения, в которых выражается принадлежность предметам свойств или отсутствие у предметов каких-либо свойств. Это суждения о полном или частичном включении или невключении одного множества предметов в другое или как суждения о принадлежности или непринадлежности предмета классу предметов.

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

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

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

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

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

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

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

2. Суждения об отношениях (реляционные суждения) – в них говорится о том, что определенное отношение имеет место между элементами пар, троек и т.д. предметов.

Суждения об отношениях делятся по качеству на утвердительные – предметы находятся в определенном отношении;

отрицательные – предметы не находятся в определенном отношении. Суждения о двухместных отношениях делятся по количеству на единично-единичные (Иванов выше Петрова);

обще-общие (каждый студент нашей группы знает каждого преподавателя кафедры ОГД);

частно-частные (некоторые студенты нашей группы знают некоторых чемпионов мира);

единично-общие (Иванов знает каждого студента первого курса экономического факультета);

единично-частные (Иванов изучает некоторые науки); обще-единичные (все студенты нашей группы изучают логику);

частно-единичные (некоторые студенты нашего курса изучают французский язык); обще-частные (каждый студент нашей группы знает какого-нибудь академика);

частно-общие (некоторые студенты нашей группы знают каждого футболиста «Спартака»).

Кроме атрибутивных суждений и суждений об отношениях выделяют:

- суждения существования (типа «инопланетяне существуют»)

- суждения тождества (равенства) (типа 2=1+1).

- суждения действительности – констатация фактов

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

Вопрос №16

Виды суждений Атрибутивные суждения

Рассмотрим виды суждений Всю множество суждений можно разделить на два подмножества: простые и сложные суждения

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

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

Вопрос №17

Логический квадрат

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

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

Отношения противоречия (контрадикторности): А—О, Е—I. Эти суждения не могут быть одновременно истинными и ложными. Из истинности одного суждения следует ложность другого, из ложности одного — истинность другого. Выводы строятся по схемам: Аи — Ол, Ал — Ои, Еи — Iл, Ел — Iи.

Отношения противоположности (контрарности): А — Е. Противоположные суждения не могут быть одновременно истинными, но могут быть одновременно ложными. Из ложности одного суждения следует истинность другого, но из истинности одного из них может следовать как истинность, так и ложность другого суждения.

Выводы строятся по схемам: Аи—Ел, Еи—Ал, Ал—Е?, Ел — А?

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

Отношение подчинения: А—I, Е—О. Из истинности подчиняющего суждения следует истинность подчиненного суждения, но не наоборот: из истинности подчиненного суждения истинность подчиняющего суждения не следует, оно может быть истинным, но может быть и ложным. Из ложности подчиненного суждения следует ложность подчиняющего суждения, но не наоборот: из ложности подчиненного суждения следует ложность подчиняющего суждения.

Вопрос №18

Сложным называют суждение, состоящее из нескольких простых, связанных логическими связками. Различают следующие виды сложных суждений: 1) соединительные, 2) разделительные, 3) услов-| ные, 4) эквивалентные. Истинность таких сложных суждений определяется истинностью составляющих их простых.

Соединительным, или конъюнктивным называют суждение, со' стоящее из нескольких простых, связанных логической связкой «и». Например, суждение «Кража и мошенничество относятся к умышленным преступлениям» является соединительным суждением, состоящим из двух простых: «Кража относится к умышленным преступлениям», «Мошенничество относится к умышленным преступлениям».

Разделительным, или дизъюнктивным, называют суждение, ее стоящее из нескольких простых, связанных логической связкой «или». Например, суждение «Договор купли-продажи может быт заключен в устной или письменной форме» является разделительным суждением, состоящим из двух простых: «Договор купли-продажи может быть заключен в устной форме»; «Договор купли-прода? может быть заключен в письменной форме».

Вопрос №19

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

Виды вопросов

Обычно различают два вида (типа) вопросов:

I тип – уточняющие

Уточняющие вопросы могут быть простыми или сложными. Про­стые вопросы в свою очередь делятся на условные и безусловные.

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

II тип вопросов - восполняющие (неопределенные, непря­мые или “к”-вопросы). Эти вопросы включают в свой состав вопросительные слова: “где?”, “когда?”, “кто?”, “что?”, “поче­му?”, “какие?” и др. Невольно вспоминается телепередача “Клу­ба знатоков”: “Что? Где? Когда?”. Эти вопросы также делятся на простые и сложные. Например, вопросы: “Какие простые числа лежат между 10 и 20?”, “Какой город является столицей Португалии?”, “Что означает слово “спонсор”?” - являются простыми.

Сложные восполняющие вопросы можно разбить на два или несколько простых восполняющих вопроса, например: “Где, ког­да, в какой семье родился Джеймс Фенимор Купер?”, или “Как при увеличении стороны равностороннего треугольника в 2 раза изменяется его периметр или площадь?”, или “Кто является ав­тором романа “Красное и черное” и романа “Пармская обитель”?”.