Простое (атрибутивное) суждение

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

Субъект суждения — это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее).

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

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

Квантор — указывает, относится ли суждение ко всему объёму понятия, выражающего субъект, или только к его части: «некоторые», «все» и т. п.

Виды и состав простых суждений:

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

2. Суждением с отношением называется суждение об отношении между предметами. Это могут быть отношения равенства, неравенства, родства, пространственные, временные, причинно-следственные и другие отношения.

3.Суждения существования (экзистенциальные). В них утверждается или отрицается существование предметов (материальных или идеальных) в действительности. Категорические суждения и их виды (деление по количеству и качеству)

Аналогия

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

Строгая аналогия находит применение в научных исследованиях, а также в математических доказательствах. На свойствах умозаключения по строгой аналогии основан метод моделирования.Моделирование– это разновидность аналогии, при которой один из аналогичных объектов подвергается исследованию в качестве имитации другого.

Нестрогая аналогия дает не достоверное, а лишь вероятностное заключение.

Закон мышления

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

Закон тождества формулируется следующим образом: всякая мысль тождественна сама себе, а есть а (или а=а), где а обозначает любую мысль. Из сущности этого закона вытекает важное требование: нельзя отождествлять различные мысли, нельзя тождественные мысли принимать за нетождественные.

Требование закона тождества очевидно, однако нередки случаи, когда оно нарушатся.

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

Закон исключенного третьего. Закон непротиворечия указывает, что из двух противоположных суждений одно необходимо ложно. Но поскольку он распространяется и на противные, и на противоречащие суждения, вопрос о втором суждении остается открытым: оно может быть как истинным, так и ложным. Отношения между двумя пртиворечащими суждениями выражает закон исключенного третьего: два противоречащих суждения не могут быть одновременно ложными: одно из них необходимо истинно; другое - необходимо ложно; третье суждение исключено.

* Закон достаточного основания.Наши мысли о каком-либо факте, явлении, событии могут быть истинными и ложными. Высказывая истинную мысль, мы должны обосновывать ее истинность, т. е. доказать ее соответствие с действительностью. Требование доказательности мышления, обоснованности суждений выражает закон достаточного основания, который формулируется следующим образом: всякая истинная мысль имеет достаточное основание. Достаточным, т. е. действительным, невымышленным основанием наших мыслей может являться личный опыт, индивидуальная практика. Истинность некоторых суждений подтверждается путем их непосредственного сопоставления с фактами действительности. Но личный опыт ограничен. Поэтому человеку в своей деятельности приходится опираться на опыт других людей.

Объединённая классификация простых суждений.

1) Общеутвердительные суждения – общие по количеству и утвердительные по качеству. Схема: Все S есть Р

2) Общеотрицательные суждения – общее по количеству и отрицательное по качеству. Схема: Ни одно S не суть Р; Все S не есть Р.

3) Частноутвердительное суждение – частное по количеству и утвердительное по качеству. Схема: Некоторые S есть Р.

4) Частноотрицательное суждение – частное по количеству и отрицательное по качеству. Схема: Некоторые S не есть Р. Общие схемы: А – общеутвердительные: А (Все S есть Р); Е – общеотрицательные: Е (ни одно S не есть Р); I – частноутвердительные: I (некоторые S не суть Р); О – частноотрицательные: О (некоторые S не суть Р).

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

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

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

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

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

С практической точки зрения наиболее существенными можно считать следующие виды делений:

· Деление понятия по видоизменению признака

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

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

Язык логики.

Именно искусственный язык успешно используются и логикой для точного теоретического и практического анализа мыслительных структур. Специально созданный для целей логики язык получил название формализованного. Формализованный язык логики существует в двух вариантах:

*язык логики предикатов

*язык логики высказываний.

Структура языка логики предикатов отражает смысловые характеристики естественного языка.

Логику предикатов рассматривают через теорию семантических категории.

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

1) предложения: повествовательные, побудительные, вопросительные;

2) выражения, играющие определенную роль в составе предложений: дескриптивные и логические термины.

К дескриптивным (описательным) семантическим категориям языка относятся: имена (знаки предметов), nредикаторы (знаки свойств и отношений), функциональные знаки.

1. Имена - это слова или словосочетания, обозначающие какой-либо предмет.

Различают:

*простые имена

*сложные

*единичные

*общее имя

2. Предикаторы - слова и словосочетания, обозначающие свойства предметов или отношения между предметами (например, “порядочный”, “синий”)

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

Иногда выделяют экспрессивное значение:

· Предметное значение (денотат, десигнат, номинат) — совокупность обозначаемых знаком предметов.

· Смысловое значение (концепт) — это информация о предметах, обозначенных знаком.

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

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

Не нашли, что искали? Воспользуйтесь поиском по сайту: