1. ПРЕДМЕТ И ЗНАЧЕНИЕ ЛОГИКИ.

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

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

Мышление как предмет науки.

Предмет логики– человеческое мышление. Сам термин «мышление» является достаточно широким и не дает возможности определить специфику логики по отношению к другим наукам.

Значение логики состоит в следующем:

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

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

3) традиционная формальная логика остается важнейшим средством в сфере всех видов образования. Она является основой организации всех видов знания для его подачи в процессе обучения;

4) логика является важнейшим и незаменимым инструментом развития культуры. Без логики не может обойтись никакая культурная деятельность вообще, поскольку в ней присутствуют и играют принципиальную роль рациональные элементы.

2. Формы мышления.

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

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

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

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

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

4. Понятия принято делить на следующие виды:

1) единичные и общие,

2) собирательные и несобирательные,

3) конкретные и абстрактные,

4) положительные и отрицательные,

5) безотносительные и соотносительные.

Понятия делятся на единичные и общие в зависимости от того, мыслится в них один элемент или множество элементов. Понятие, в котором мыслится один элемент, называется единичным (например, «Москва», «Л.Н. Толстой», «Российская Федерация»). Понятие, в котором мыслится множество элементов, называется общим (например, «столица», «писатель», «федерация»).

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

Понятие, в котором мыслятся признаки, относящиеся к каждому его элементу, называется несобирательным. Таковы, например, понятия «звезда», «командир полка», «государство».

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

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

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

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

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

Понятия, отражающие предметы, существующие раздельно и мыслящиеся вне их отношения к другим предметам, называются безотносительными. Таковы понятия «студент», «государство», «место преступления» и др. Соотносительные понятия содержат признаки, указывающие на отношение одного понятия к другому понятию. Например: «родители» (по отношению к понятию «дети»)

5. Логические приемы образования понятий.

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

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

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

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

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

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

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

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

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

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

По способу раскрытия признаков определяемого предмета определения делятся на: явные и неявные. Явными называются определения, в которых указываются признаки, присущие определяемому предмету. Внеявных определениях выявляются связи, в которых находится определяемый предмет с другим предметами.

Операции сложения и умножения.

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

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

7. Суждение как форма мышления.

Суждение (высказывание) – это форма мышления, в которой что-либо утверждается или отрицается. Например: «Все сосны являются деревьями», «Некоторые люди – это спортсмены» уждение – это более сложная форма мышления по сравнению с понятием. Неудивительно поэтому, что суждение имеет определённую структуру, в которой можно выделить четыре части:

1. Субъект (обозначается латинской буквой S) – это то, о чём идёт речь в суждении. Например, в суждении: «Все учебники являются книгами», – речь идёт об учебниках, поэтому субъектом данного суждения выступает понятие «учебники».

2. Предикат (обозначается латинской буквой Р) – это то, что говорится о субъекте. Например, в том же суждении: «Все учебники являются книгами», – о субъекте (об учебниках) говорится, что они – книги, поэтому предикатом данного суждения выступает понятие «книги».

3. Связка – это то, что соединяет субъект и предикат. В роли связки могут быть слова «есть», «является», «это» и т. п.

4. Квантор – это указатель на объём субъекта. В роли квантора могут быть слова «все», «некоторые», «ни один» и т. п.

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

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

Уточняющие вопросы направлены на установление истинности предпосылки. Как правило, в них присутствует частица «ли», поэтому иногда такие вопросы называют «ли-вопросы». Пример. «Является ли чугун металлом?»; «Все ли теплокровные – позвоночные?»; Ответами на уточняющие вопросы могут служить просто слова «да» или «нет» или в сочетании с высказываниями, которые представляют знание того, что не было известно.Пример. «Является ли Марс звездой?» - «Нет, Марс не является звездой».

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

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

а) хорошо; б) плохо; в) удовлетворительно.

9. Виды ответов в логике.

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

Среди ответов различают: 1) истинные и ложные; 2) прямые и косвенные; 3) краткие и развернутые; 4) полные и неполные; 5) точные (определенные) и неточные (неопределенные).

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

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

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

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

Краткие — это односложные утвердительные или отрицательные ответы: «да» или «нет».

Развернутые — это ответы, в каждом из которых повторяются все элементы вопроса. Полный ответ включает информацию по всем элементам или составным частям вопроса. Неполный ответ включает информацию относительно отдельных элементов или составных частей вопроса. Под точностью и определенностью имеется в виду логическая, т.е. понятийно-структурная характеристика вопроса, т.е: каков вопрос, таков и ответ.

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

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

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

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

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

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

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

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

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

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

11. Аналогия

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

15. Язык логики.

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

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

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

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

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

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

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

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

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

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

Различают:

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

*сложные

*единичные

*общее имя

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

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

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

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

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

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

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

16. Отношения между понятиями. Круги Эйлера.

Понятия бывают совместимыми и несовместимыми.

Совместимыми называются понятия, объёмы которых имеют общие элементы, каким-либо образом соприкасаются. Например, понятия «спортсмен» и «американец» совместимые, т. к. их объёмы имеют общие элементы или объекты: есть такие спортсмены, которые являются американцами, и наоборот, есть такие американцы, которые являются спортсменами.

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

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

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

Соподчиненные понятия — это виды родового понятия.

*Противоположность

* Противоречие.

17. Простой категорический силлогизм

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

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

Большим термином силлогизма называется понятие, которое в заключении является предикатом. Меньший и больший термины называются крайними и обозначаются соответственно S и P. Каждый из крайних терминов входит не только в заключение, но и в одну из посылок. Посылка, в которую входит меньший термин называется меньшей посылкой; посылка, в которую входит больший термин называется большей посылкой.

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

Планеты (М) – шарообразны (Р)

Земля (S) – планета (М)

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

Аксиома силлогизма: «Все, что утверждается (или отрицается) относительно всех предметов класса, утверждается (или отрицается) относительно каждого предмета (или любой части предметов) этого класса».

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

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

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

Условные (импликативные) – это сложные суждения, образованные из двух простых с помощью логической связки «если…, то…» (символ ®).

Эквивалентные – это сложные суждения, образованные из двух простых, связанных двойной (прямой и обратной) условной зависимостью, выражаемой связкой «если и только если…, то…» (символ º).

19. Логика как наука.

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

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

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

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

20. Гипотеза. Виды. Сущность.

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

Виды гипотез.

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

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

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

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

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

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