1.Логика (от логос -понятие, разум, рассуждение): объективная логика- закономерности в изменении и развитии вещей объективного мира; субъективная логика - особые закономерности в связях и развитии мыслей; логика как наука - наука о закономерностях в связях и развитии мыслей.

Абстрактное мышление - опосредованное и обобщенное отражение мира в сознании человека.

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

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

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

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

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

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

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

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

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

2.Формальная логика создавалась в Древней Греции в 6-4 вв до н.э, немного позже фрагменты логической науки возникли независимо в Древней Индии. Греческая логика > Западная и Восточная Европа, Ближний Восток. Индийская > Китай, Япония, Тибет, Монголия, Цейлон, Индонезия.

Первоначально логика разрабатывалась в связи с запросами практики ораторского искусства и судопроизводства. Политические и судебные дискуссии были распространены в Древней Индии, Греции и Риме. Для четкого определения победителя дискуссии нужны были определенные логические нормы рассуждения, которые позволяли избегать разногласий среди судей и приходить к единому мнению.(+ требования математики, где необходимы строгие доказательства).

Древняя Греция: Пармеид, Зенон Элейский, Демокрит, Сократ, Платон, Аристотель (4 век до н.э).

1)Аристотель впервые обстоятельно систематизировал логические формы и правила мышления. Сочинения - “Категории”, “Об истолковании”, “Первая аналитика”, “Вторая аналитика”, “Топика”, “О софистических опровержениях”. Впоследствии были объединены под общим названием “Органон” (орудие познания).

2)Стоики (4 - 2 вв до н.э) в Др Греции.

В Риме - Цицерон, Квинтилиан.

Арабы - Аль Фараби.

Средневековая логика - схоластичекая. Расцвет - 14 век, Уильям Оккама, Уолтер Берли, Альберт Саксонский.

Эпоха Возрождения и Новое Время. Труд Фрэнсиса Бэкона “Новый Органон” - основы индуктивных методов, усовершенствованных позже Джоном Стюартом Миллем. > методы установления причинных связей между явлениями (методы Бэкона-Милля).

“Логика Пор-Рояля” - Николь, Арно создали логическое учение, основанное на методологических принципах ученого Декарта.

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

В начале 20 века произошла своеобразная научная революция, связанная с широким применением для исследования отношений между мыслями по логическим формам методов так называемой символической (математической) логики > идеи немецкого ученого Лейбница (17 век). Первым капитальным трудом по символической логике Рассела и Уайтхеда “Principia Mathematica”. В России символическую логику развивали Бочвар, Гливенко, Жегалкин, Колмогоров, Марков, Новиков, Шестаков и пр.

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

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

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

Предметное значение знака - объект, который представляется или обозначается знаком (значение). Смысловое значение - характеристика объекта (смысл). Некоторые знаки не имеют значения (вечный двигатель), а некоторые не имеют смыла (не несут определенной информации об объекте). Три типа знаков: 1)знаки-индексы (температура человека), 2)знаки-образы (карта местности, картина), 3)знаки-символы (не связаны материально и не сходны с представляемыми ими объектами).

Три аспекта языка: синтаксис, семантика, прагматика.

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

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

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

Особая область отношений, регулируемых правом, обуславливает специфику языка права. Эта специфика заключается в употреблении терминов, которые должны пониматься единообразно разными людьми в различных случаях и ситуациях > юридические термины. Чтобы избежать неопределенности, взамен выражений обыденного языка, вводят юридические термины посредством определений. Другой способ введения юридических терминов - придание выражению еще и некоторого дополнительного смысла по сравнению с общепринятым. Также можно вводить в качестве юридических терминов выражения, которых нет в обыденном языке. И наконец, кроме юридических терминов в языке права используются и не уточняемые в нем выражения.

4.Одним из видов знаков являются имена. Учение об именах - теория именования (разработано нем ученым Готлобом Фреге).

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

Поскольку имя является знаком, оно имеет значение или смысл (или и то и другое). Единичные имена - обозначают единственный предмет (Россия, столица США и тп); общие имена - имена, являющиеся общими для предмета определенного класса (студент, сельская школа). Значением единичного имени является единственный предмет, значениями общего имени являются предметы некоторого класса, содержащего более одного элемента. Класс, который составляют предметы, являющиеся значениями имени, называется объемом имени. (Объем единичного имени - класс, состоящий из одного предмета).

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

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

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

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

Не все имена имеют смысл. Имена, имеющие собственный смысл - описательные имена (самый большой город России). Неописательные имена (Россия) не имеют своего смысла, они могут получить смысл лишь посредством присоединения описательных имен. (всё это по мнению Войшвилло).

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

Семантические категории - основные классы выражений (категории), выделяемые на основе значений выражений.

Предложения делятся на классы:

1)предложения, выражающие суждения

2)выражающие вопросы

3)выражающие нормы

4)выражающие приказы и тд

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

А.Дескриптивными терминами являются имена, знаки свойств и отношений, знаки признаков, знаки предметных функций.

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

Знаки признаков. Признак предмета - это наличие или отсутствие у него какого-либо свойства. Признак пары (тройки и тд) предметов - это наличие или отсутствие какого-либо отношения между ее элементами.

Знаки предметных функций. Предметная функция сопоставляет предметы (материальные объекты, обладающие массой) с другими предметами (величинами массы). Примеры предметных функций: sin, log, масса, трудовой стаж, размер ежемесячного дохода, вес. “масса” + “Земля”= масса земли.

Б.Логические термины.

1)Глагол-связка есть, суть или не есть, не суть

2)Логические союзы и, или; если,то; если и только если,то

3)Знаки отрицания не, неверно что

4)Количественные (кванторные) слова всякий, каждый,все, некоторый, тот,который.

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

Атрибутивные суждения делятся на виды по качеству и количеству. По качеству: утвердительные и отрицательные. По количеству: общие, частные и единичные. Объединенное деление атрибутивных суждений по качеству и количеству на общеутвердительные (A), общеотрицательные (E), частноутвердительные (I), частноотрицательные (O). S распределен в общих суждениях, P распределен в отрицательных суждениях. Термин распределен, если он мыслится во всем объеме.

Суждения об отношениях - утверждается наличие или отсутствие определенного отношения между несколькими предметами. Суждения об отношениях делятся по качеству на утвердительные (наличие отношения) или отрицательные (отсутствие отношения). Делятся на виды по количеству. Суждения о двухместных отношениях делятся на единично-единичные, обще-общие, частно-частные, единично-общие, единично-частные, обще-частные. (То же самое с суждениями о трех- и четырехместных отношениях).

Суждения существования - Инопланетяне существуют.

Суждения тождества - а=б

7.Сложные суждения образуются из простых, а также из других сложных суждений.

Соединительные - суждения, в которых утверждается наличие двух или более ситуаций. Неопределенно конъюктивные суждения - “и” - “&”.

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

Одновременно-конъюктивные суждения - утверждается одновременное существование двух ситуаций: “Идет дождь, и светит солнце.” (&=)

Разделительные суждения - суждения, в которых утверждается наличие одной из двух или нескольких ситуаций. Дизъюнктивные (нестрого-разделительные или соединительно-разделительные) - “или” в значении “и” (наличие по крайней мере одной ситуации) - “v”. Строго-дизъюнктивные (строго-разделительные суждения) - утверждается наличие ровно одной из нескольких ситуаций - “или” в разъединительном смысле. (.................)

Условные - утверждается, что наличие одной ситуации обуславливает наличие другой - “если..,то”. В условном суждении выделяют основание и следствие.

Контрфактические - ситуация, описываемая основанием, не имеет места, но если бы она существовала, то существовало бы следствие. (а все остальное как у условных суждений) “стрелочка” - контрфактическая импликация.

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

Суждения с внешним отрицанием - “неверно, что” (знак отрицания: буква с черточкой сверху либо перед ней).

Алетические модальные суждения - суждения, образованные из других суждений путем характеристики описываемых в них ситуаций в качестве необходимых (не необходимых), случайных (не случайных) и возможных (невозможных). >> Человек смертен. > Возможно, что человек смертен. Алетические модальные понятия делятся на логические и онтологические. Логически возможно то, что не противоречит законам логики. Онтологически возможно то, что не противоречит законам природы и общественной жизни.