Предмет изучения логики. Предмет, объект и значение логики

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

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

Этимология логики

Этимология - это раздел языкознания, основной целью которого является происхождение слова, его изучение с точки зрения семантики (значения). «Логос» в переводе с греческого означает «слово», «мысль», «знание». Таким образом, можно сказать, что логика - предмет, который изучает мышление (рассуждение). Однако психология, философия и физиология нервной деятельности, так или иначе, также изучают мышление, но разве можно сказать, что эти науки изучают одно и то же? Скорее наоборот - в некоторым смысле они противоположны. Разница между этими науками состоит в способе мышления. Древние философы считали, что мышление человека многообразно, ведь он способен анализировать ситуации и создавать алгоритм выполнения тех или иных задач для достижения определенной цели. К примеру, философия как предмет - это скорее просто рассуждения о жизни, о смысле бытия, в то время как логика помимо праздных размышлений приводит к определенному результату.

Справочный метод

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

Принцип логики

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

  1. «Все звезды имеют собственное излучение. Солнце - это звезда. Оно имеет собственное излучение».
  2. Любой свидетель обязан говорить правду. Мой друг является свидетелем. Мой друг обязан говорить правду.

Если проанализировать можно увидеть, что в каждом из них двумя рассуждениями объясняется третье. Хоть каждый из примеров и принадлежит к различным областям знаний, способ связи составных частей содержания в каждом из них одинаковый. А именно: если предмет имеет определенное свойство, то все, что касается этого качества, имеет другое свойство. Результат: предмет, о котором идет речь, также имеет это второе свойство. Эти причинно-следственные связи и принято называть логикой. Такую взаимосвязь можно наблюдать во многих жизненных ситуациях.

Обратимся к истории

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

В Древнем Китае логика возникла в период золотого века китайской философии или, как еще его называли, период «борющихся государств». Подобно ситуации в Древней Греции, тут также разгорелась борьба между обеспеченными слоями населения и властью. Первые хотели изменить устрой государства и отменить передачу власти наследственным способом. Во время такой борьбы, чтобы победить, необходимо было собрать вокруг себя как можно больше сторонников. Однако если в Древней Греции это послужило дополнительным стимулом для развития логики, то в Древнем Китае - совсем наоборот. После того как царство Цинь все же стало главенствующим, и произошла так называемая культурная революция, развитие логики на этом этап

е остановилось.

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

Основной предмет логики

Сложно выделить одно определенное значение, которое бы в целом могло охарактеризовать такую древнюю науку. К примеру, предметом логики считается исследование законов выведения правильных определенных суждений и утверждений из определенных истинных обстоятельств. Так характеризовал эту древнею науку Фридрих Людвиг Готлоб Фреге. Понятие и предмет логики изучал и Шуман Андрей Николаевич - известный логик современности. Он считал, что это наука о размышлениях, которая исследует различные способы мышления и моделирует их. Кроме того, объект и предмет логики — это, конечно же, речь, ведь логика осуществляется только при помощи разговора или дискуссии, и абсолютно неважно, вслух или «про себя».

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

Процесс поиска истины

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

Дедуктивная логика

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

Для дедуктивной логики очень важно, чтобы отсутствовали противоречия в исходных утверждениях, поскольку в дальнейшем они могут привести к неправильным выводам. Дедуктивная логика очень точна и не терпит допущений. Все постулаты, которые используются, как правило, основаны на проверенных данных. Этот обладает силой убеждения и используется, как правило, в точных науках, таких как математика. Более того, не ставится под сомнение, а изучается сам способ нахождения истины. К примеру, всем известная теорема Пифагора. Разве можно поставить под сомнение ее правильность? Скорее наоборот - необходимо выучить теорему и научится ее доказывать. Предмет "Логика" изучает именно это направление. С её помощью, при знании определенных законов и свойств предмета, появляется возможность вывести новые.

Индуктивная логика

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

  1. Осуществить постоянное наблюдение за объектом, который исследуется, и создать искусственную ситуацию, которая бы чисто теоретически могла бы возникнуть. Это необходимо для изучения свойств определенных предметов, которые невозможно выучить в природных условиях. Это обязательное условие для изучения индуктивной логики.
  2. На основе наблюдений собрать как можно больше фактов про исследуемый объект. Очень важно обратить внимание на то, что поскольку условия были созданы искусственно, факты могут быть искажены, однако это не означает, что они ложные.
  3. Обобщить и систематизировать данные, полученные в ходе экспериментов. Это необходимо для оценки возникшей ситуации. Если данных оказывается недостаточно, то явление либо предмет необходимо снова поместить в другую искусственную ситуацию.
  4. Создать теорию с целью объяснения полученных данных и прогнозировать их дальнейшее развитие. Это завершающий этап, который служит для подведения итогов. Теория может быть составлена без учета фактически полученных данных, однако, тем не менее, она будет точна.

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

Причинно-следственная связь

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

Можно привести такой пример: ученые, которые исследуют космическое пространство и объекты, которые там находятся, обнаружили феномен «черной дыры». Это некое космическое тело, гравитационное поле которого настолько велико, что оно способно поглощать любой другой предмет в космосе. Теперь выясним причинно-следственную связь данного феномена: если любого космического тела очень велико: (1), то оно способно поглотить любое другое (2).

Основные методы логики

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

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

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

Современная логика

Современная логика - это не учение, а отображение мира. Как правило, эта наука имеет два периода формирования. Первый начинается в Древнем мире (Древняя Греция, Древняя Индия, Древний Китай) и заканчивается в 19 столетии. Второй же период начинается во второй половине 19 столетия и продолжается до сих пор. Философы и ученые нашего времени не прекращают изучать эту древнюю науку. Казалось бы, все ее методы и принципы уже давно изучены Аристотелем и его последователями, однако с каждым годом логика как наука, предмет логики, а также ее особенности продолжают исследоваться.

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

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

Другим же примером использования логики в современной науке являются управляющие программы в ЧПУ станках и установках. Здесь также, казалось бы, железный робот выполняет логически-построенные действия. Однако таких примеры лишь формально показывают нам развитие современной логики, ведь таким способом мышления может обладать лишь живое существо, такое как человек. Более того, многие ученые до сих пор спорят, могут ли животные обладать логическими навыками. Все исследования в этой области сводятся к тому, что принцип действий животных основан лишь на их инстинктах. Получить информацию, обработать ее и выдать результат может лишь человек.

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

Логика как наука о мышлении. Предмет и объект логики.

1.Слово «логика» происходит от греческого logos, что означает «мысль», «слово», «разум», «закономерность». В современном языке это слово используется, как правило, в трех значениях:

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

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

3)для обозначения особой науки, которая изучает логические формы, операции с ними и законы мышления.

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

2. Понятие логического закона. Законы и формы мышления.

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

Закон тождества. Всякое высказывание тождественно са­момусебе:А = А

Закон непротиворечия. Высказывание не может быть од­новременно истинным и ложным. Если высказывание А - истинно, то его отрицание не А должно быть ложным. Сле­довательно, логическое произведение высказывания и его отрицания должнобыть ложно: A & A = 0

Закон исключенного третьего. Высказывание может быть либо истинным, либо ложным, третьего не дано. Это означа­ет, что результат логического сложения высказывания и его отрицания всегда принимает значение истина: A v A = 1

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

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

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

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

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

Становление науки логики, этапы ее развития.

1 этап - Аристотель. Он пытался найти ответ на вопрос: "Как мы рассуждаем". Он подверг анализу человеческое мышление, его формы – понятие, суждения, умозаключения. Так возникла формальная логика – наука о законах и формах мышления. АРИСТОТЕЛЬ (лат. Aristotle) (384-322г. до н. э.), древнегреческий ученый, философ
2 этап – появление математической или символической логики. Основы ее заложил немецкий ученый Готфрид Вильгельм Лейбниц.Он сделал попытку заменить простые рассуждения действиями со знаками. Готфрид Вильгельм Лейбниц (1646-1716) немецкий философ, математик, физик, языковед.
3 этап - окончательно развил эту идею англичанин Джордж Буль, он явился основоположником математической логики. В его работах логика пиобрела свой алфавит, орфографию и грамматику. Начальный раздел математической логики назвали алгеброй логики или Булевой алгеброй. Джордж Буль (1815-1864). Английский математик и логик.
Джордж фон Нейман в основу работы компьютера заложил математематический аппарат, использующий законы математической логики.

Пример расширения объёма понятия с одновременным уменьшением содержания

МГУ → Государственный университет → Университет → ВУЗ → Учебное (образовательное) заведение → Учреждение образования → Учреждение → Организация → Субъект публичного права → Субъект права

Закон применим только при вхождении объёма одного понятия в объём другого, например: «животное» - «собака». Закон не работает для несовпадающих понятий, например: «книга» - «кукла».

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

Виды понятий.

Понятия принято делить на следующие виды: 1) единичные и общие, 2) собирательные и несобирательные, 3) конкретные и абстрактные, 4) положительные и отрицательные, 5) безотносительные и соотносительные.

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

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

2. Понятия делятся на собирательные и несобирательные.

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

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

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

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

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

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

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

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

6. Отношения между понятиями. +++++++++++

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

Сравнимые понятия имеют разделение на совместимые и несовместимые.

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

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

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

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

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

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

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

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

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

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

Правда, и такое деление носит в известной мере условный, относительный характер, ибо степень несравнимости тоже может быть различной. Например, что общего между столь, казалось бы, различными понятиями, как «космический корабль» и «авторуч­ка», кроме некоторого, чисто внешнего сходства в форме строе­ния? А между тем и то и другое - творения человеческого гения. Что общего между понятиями «шпион» и «буква Ъ»? Как будто ничего. Но вот какую неожиданную ассоциацию они вызвали у А. Пушкина: «Шпионы подобны букве Ъ. Они нужны в некоторых только случаях, но и тут можно без них обойтиться, а они привык­ли всюду соваться». Значит, общим признаком является «необхо­димые иногда».

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

Классификация суждений.

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

Атрибутивные суждения (от лат. altributum – свойство, признак), или суждения о свойствах чего-либо, раскрывают наличие или отсутствие у предмета мысли тех или иных свойств (или признаков). Например: «Все республики бывшего СССР объявили о своей независимости»; «Содружество Независимых Государств (СНГ) непрочно». Поскольку понятие, выражающее предикат, имеет содержание и объем, атрибутивные суждения могут рассматриваться в двух планах: содержательном и объемном.

Реляционные суждения (от лат. relatio – отношение), или суждения об отношениях чего-либо к чему-то, раскрывают наличие или отсутствие у предмета мысли того или иного отношения к другому предмету (или нескольким предметам). Поэтому они обычно выражаются специальной формулой: х R у, где х и у – предметы мысли, a R (от relatio) – отношение между ними. Например: «СНГ не равно СССР», «Москва больше Санкт-Петербурга».

Примеры. Суждение «Все металлы электропроводны» можно превратить в суждение «Все металлы подобны электропроводным телам». В свою очередь, суждение «Рязань меньше Москвы» можно превратить в суждение «Рязань принадлежит к городам, которые меньше Москвы». Или: «Знания есть то, что подобно деньгам». В современной логике есть тенденция свести реляционные суждения к атрибутивным.

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

По качеству связки

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

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

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

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

По объему субъекта

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

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

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

Частные суждения – те, в которых что-либо высказывается о части какой-то группы предметов. В русском языке они выражаются такими словами, как «некоторые», «не все», «большинство», «часть», «отдельные» и др. В современной логике они носят наименование «квантор существования» и обозначаются символом «$» (от англ. exist – существовать). Формула $ х Р(х) читается так: «Существует х такой, что имеет место свойство Р(х)». В традиционной логике принята следующая формула частных суждений «Некоторые S есть (не есть) Р».

Примеры: «Некоторые войны справедливы», «Некоторые войны несправедливы» или «Некоторые свидетели правдивы», «Некоторые свидетели не правдивы». Кванторное слово здесь тоже может опускаться. Поэтому, чтобы определить, имеется ли налицо частное или общее суждение, надо мысленно подставить соответствующее слово. Например, пословица «Людям свойственно ошибаться» не означает, что это относится к каждому человеку. Здесь понятие «люди» взято в собирательном смысле.

По модальности

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

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

Сложные суждения и их виды.

Сложные суждeния образуются из нескольких простых суждений. Таково, например, высказывание Цицерона: «Ведь если бы даже ознакомление с правом представляло огромную трудность, то и тогда сознание его великой пользы должно было бы побуждать людей к преодолению этой трудности».

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

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

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

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

2 Разделительные (дизъюнктивные) суждения - включают в качестве составных частей суждения - дизъюнкты, объединяемые связкой «или». Например, «Истец вправе увеличить или уменьшить размер исковых требований».

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

Условные (импликативные) суждения образованы из двух простых суждений посредствам логического союза «если [...], то». Например, «Если по истечении срока временной работы с работником не был расторгнут договор, то он считается принятым на постоянную работу». Аргумент, начинающийся в импликативных суждениях словом «если», называется основанием, а составляющая, начинающаяся со слова «то» - следствием.

В условных суждениях отражаются прежде всего объективные причинно-следственные, пространственно-временные, функциональные и другие связи между предметами и явлениями действительности. Однако в практике применения законодательства в форме импликации могут также выражаться права и обязанности людей, связанные с теми или иными условиями. Например, «Военнослужащие воинских частей Российской Федерации, дислоцирующихся за пределами Российской Федерации, за преступления, совершенные на территории иностранного государства, несут уголовную ответственность по настоящему Кодексу, если иное не предусмотрено международным договором Российской Федерации» (п. 2 ст. 12 УК РФ).

При этом необходимо иметь в виду, что грамматическая форма «если [...], то» не является исключительным признаком условного суждения, она может выражать простую последовательность. Например, «Если исполнителем признается лицо, непосредственно совершившее преступление, то подстрекатель - это лицо, склонившее другое лицо к совершению

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

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

1. По степени выраженности в тексте вопросы могут быть явными и скрытыми. Явный вопрос выражается в языке полностью вместе со своими предпосылками и требованием установить неизвестное. Скрытый вопрос выражается лишь своими предпосылками, а требование устранить неизвестное восстанавливается после осмысления предпосылок вопроса. Например, прочитав текст: «Все больше рядовых граждан становятся собственниками акций, и рано или поздно приходит день, когда появляется желание их продать», мы не обнаружим здесь явно сформулированных вопросов. Однако при осмыслении прочитанного может возникнуть желание спросить: «Что такое акция?», «Почему их надо продавать?», «Как правильно продать акции?» и т.д. Текст, таким образом, содержит скрытые вопросы.

2. По своей структуре вопросы подразделяются на простые и сложные. Простой вопрос структурно предполагает только одно суждение. Он не может быть расчленен на элементарные вопросы. Сложный вопрос образуется из простых с помощью логических союзов «и», «или», «если, то» и др. Например, «Кто из присутствующих опознал преступника, и как он на это отреагировал?». Отвечая на сложный вопрос, предпочтительно разбить его на простые вопросы. Вопрос типа: «Если будет хорошая погода, то мы поедем на экскурсию?» - не относится к сложным вопросам, так как его нельзя разбить на два самостоятельных простых вопроса. Это пример простого вопроса. Смысл союзов, образующих сложные вопросы, таким образом, не тождественен смыслу соответствующих логических союзов, при помощи которых образуются сложные истинные или ложные суждения из простых истинных или ложных суждений. Вопросы не бывают истинными или ложными. Они могут быть правильными или неправильными.

3. По способу запроса неизвестного различают уточняющие и восполняющие вопросы. Уточняющие вопросы (или «ли» - вопросы) направлены на выявление истинности выраженных в них суждений. Во всех этих вопросах присутствует частица «ли», включенная в словосочетания «верно ли», «действительно ли», «надо ли» и т.д. Например, «Верно ли, что Семенов успешно защитил дипломную работу?», «Действительно ли в Москве больше жителей, чем в Париже?», «Верно ли, что если он сдаст все экзамены на «отлично», то получит повышенную стипендию?» и др. Восполняющие вопросы (или «к» - вопросы) предназначены для выявления новых свойств у исследуемого объекта, для получения новой информации.Грамматический признак - вопросительное слово типа «Кто?», «Что?», «Почему?», «Когда?», «Где?» и т.п. Например, «Как заключить договор на оказание брокерских услуг?», «Когда было совершено это дорожно-транспортное происшествие?», «Что означает слово «спонсор»?» и др

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

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

6. По правильности постановки вопросы делятся на корректные и некорректные. Корректный (от лат. correctus - вежливый, тактичный, учтивый) вопрос - это вопрос, предпосылкой которого является истинное и непротиворечивое знание. Некорректный вопрос основан на предпосылке ложного или противоречащего суждений или суждения, смысл которого не определен. Различают два вида логически некорректных вопросов: тривиально некорректные и нетривиально некорректные (от лат. trivialis - избитый, пошлый, лишенный свежести и оригинальности). Вопрос является тривиально некорректным, или бессмысленным, если он выражается предложениями, содержащими неясные (неопределенные) слова или словосочетания. Примером может служить следующий вопрос: «Приводят ли критическоеметафизирование абстракциями и дискредитация тенденции церебрального субъективизма к игнорированию системы парадоксальных иллюзий?».

Виды ответов.

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

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

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

Прямым называется ответ, взятый непосредственно из области поиска ответов, при конструировании которого не прибегают к дополнительным сведениям и рассуждениям. Например, прямым ответом на что-вопрос «В каком году закончилась русско-японская война?» будет суждение: «Русско-японская война закончилась в 1904 году». Прямым ответом на ли-вопрос «Является ли кит рыбой?» будет суждение: «Нет, кит не является рыбой».

Косвенным называется ответ, который получают из более широкой области, нежели область поиска ответа, и из которого лишь выводным путем можно получить нужную информацию. Так, для вопроса «В каком году закончилась русско-японская война?» кос­венным будет следующий ответ: «Русско-японская война закончилась за один год до Первой русской революции». На вопрос «Является ли кит рыбой?» косвенным будет ответ: «Кит относится к млекопитающим животным».

3. Краткие и развернутые ответы. По грамматической форме ответы могут быть краткими и развернутыми.

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

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

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

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

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

«Стихотворение «На смерть поэта» написано М.Ю. Лермонтовым в 1837 году в связи с трагической гибелью А.С. Пушкина».

Неполный ответ включает информацию относительно отдельных элементов или составных частей вопроса. Так, на приведенный выше вопрос «Верно ли, что Иванов, Петров и Сидоров являются соучастниками преступления?» - неполным будет ответ: «Нет, неверно, Петров является исполнителем».

5. Точные (определенные) и неточные (неопределенные) ответы! Логическая зависимость между вопросом и ответом означает, что качество ответа во многом определяется качеством вопроса. Не случайно в полемике и в процессе допроса действует правило: каков вопрос, таков и ответ. Это значит, что на расплывчатый и двусмысленный вопрос трудно получить ясный ответ; если хочешь получить точный и определенный ответ, то сформулируй точный и определен­ный вопрос.

Виды дилемм

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

Можно выделить следующие основные виды дилемм:

– простая конструктивная дилемма,

– сложная конструктивная дилемма,

– простая деструктивная дилемма,

– сложная деструктивная дилемма.

Пример простой конструктивной дилеммы (рассуждение Сократа):

«Если смерть – переход в небытие, то она благо. Если смерть – переход в мир иной, то она благо. Смерть – переход в небытие или в мир иной. Следовательно, смерть – благо».

Простая конструктивная (утверждающая) дилемма:

Если А, то С.

Если В, то С.

Пример сложной конструктивной дилеммы:

Молодой афинянин обратился к Сократу за советом: стоит ли ему жениться? Сократ ответил: «Если тебе попадется хорошая жена, то ты будешь счастливым исключением, если плохая, то ты будешь как и я, философом. Но тебе попадется хорошая или плохая жена. Поэтому или быть тебе счастливым исключением, или философом».

Сложная конструктивная дилемма:

Если А, то В.

Если С, то Д.

Пример простой деструктивной дилеммы:

«В современном мире, если вы хотите быть счастливым, нужно иметь много денег. Однако всегда было так, что если вы хотите быть счастливым, то нужно иметь чистую совесть. Но мы знаем, что жизнь устроена так, что невозможно одновременно иметь и деньги, и совесть, т.е. или денег нет, или нет совести. Следовательно, оставьте надежду на счастье».

Простая деструктивная (отрицающая) дилемма:

Если А, то В.

Если А, то С.

Неверно В или неверно С.

Неверно А.

Пример сложной деструктивной дилеммы:

«Если он умен, то он увидит свою ошибку. Если он искренен, то он признается в ней. Но он или не видит своей ошибки, или не признается в ней. Следовательно, он или не умен, или не искренен».

Сложная деструктивная дилемма:

Если А, то В.

Если С, то Д.

Не-В или не-Д.

Не-А или не-С.

Пример полного индуктивного умозаключения.

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

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

Обвинительные приговоры и оправдательные приговоры есть решения суда.

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

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

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

Неполная индукция часто применяется в повседневной жизни человека и научной деятельности, так как позволяет делать заключение на основе анализа определенной части данного класса предметов, экономит время и силы человека. При этом нельзя забывать, что в результате неполной индукции получается вероятностное заключение, которое в зависимости от вида неполной индукции будет колебаться от менее вероятного к более вероятному {11} .

Сказанное выше можно проиллюстрировать следующим примером.

Слово «молоко» изменяется по падежам. Слово «библиотека» изменяется по падежам. Слово «врач» изменяется по падежам. Слово «чернила» изменяется по падежам.

Слова «молоко», «библиотека», «врач», «чернила» - существительные.

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

В зависимости от тог

Библиографическое описание:

Нестерова И.А. Наука логика [Электронный ресурс] // Образовательная энциклопедия сайт

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

Понятие логики

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

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

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

В настоящее время бытует несколько трактовок термина "логика". Нам следует обратиться к определению, предложенному В.И. Кириловым и В.А. Старченко.

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

С.Н. Виноградов и А.Ф. Кузьмин приводят другое определение согласно которому:

Логика есть наука о законах и формах правильного построения мыслей .

Рассмотрев разные подходы к логике как к науке можно выделить единое зерно, объединяющее все подходы, а именно:

Логика – это наука о мышлении.

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

История логики как науки

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

Родиной логики принято считать Древнюю Грецию. Первые упоминания встречаются именно в трудах греческих философов в V-IV вв. до н.э. Логика поминается в работах Демокрита, Сократа и Платона. Родоначальником же логики по праву считается Аристотель (384 – 322 гг. до н.э.).

Средневековая Европа долгое время считала логику проявлением ереси и мракобесия. Однако философы позднего средневековья рассматривали логику как один из инструментов церковной догматики и уделяли ей немало внимания.

Важным трудом, по окончании средневековой эпохи, является работа Френсиса Бэкона "Новый органон", который, по его мнению, должен был заменить аристотелевский "Органон" в качестве орудия познания. Идеи Бэкона были продолжены и усовершенствованы в работах Дж. Фр. Гершеля и Дж. Ст. Милля. Результаты этих разработок вошли в историю логики под названием "Индуктивные методы установления причинных связей" .

Позднее Р. Декарт, Г. Лейбниц, И. Кант и др. Лейбни выдвинули ряд важнейших положений, которые отражены в современной логике.

Новейший этап развития логика ознаменован трудами великих мыслителей Дж. Буля, О. де Моргана и русского логика П.С. Порецкого. В настоящее время логика является одно из важнейших областей знаний. К логике обращаются и естественные и гуманитарные науки.

Наука логика и мышление

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

  • Мышление – это свойство высокоорганизованной материи, а именно – свойство мозга.
  • Мышление не существует и не может существовать само по себе.
  • Мышление является отображением материального мира в человеческой голове .

Наука логика изучает формы мышления. К ним относят:

  • Понятие
  • Умозаключение
  • Суждение

Отдельно следует отметить, что суждения бывают общими, частными и единичными.

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

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

Мышление в рамках науки лежит в основе законов логики. Существует четыре закона логики. Три закона были сформулированы Аристотелем:

  • закон тождества
  • закон противоречия
  • закон исключенного третьего

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

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

Литература

  1. Кириллов В. И., Старченко А. А. Логика: учебник для юридических вузов / под ред. проф. В. И. Кириллова. – М.: Изд-во Проспект, 2008
  2. Виноградов С.Н. Кузмин А.Ф. Логика – М.: Издательство "учпедгиз" 1954год
  3. Войшвилло Е.К., Дегтярев М.Г.Логика: Учеб. для студ. высш. учеб. заведений. – М.: Изд-во ВЛАДОС-ПРЕСС, 2001

Реферат

Выполнила: Абдулова Джюме Сиражутдиновна

1. Предмет логики

2. Возникновение и развитие логики

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

4. Формы и законы мышления

Предмет логики

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

4. Формы и законы мышления

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

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

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

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

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

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

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

Структура логики

В свою очередь, общая логика объектов .

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

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

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

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

Что же изучает логика как наука и почему она называется формальной?

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

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

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

3)для обозначения особой науки, которая изучает логические формы, операции с ними и законы мышления.

Объектом логики как науки является мышление человека. Но мышление - сложный, многосторонний процесс обобщенного отражения человеком вещей, их свойств и отношений окружающего его мира. Этот процесс изучается многими науками, например такими, как философия, психология, генетика, языкознание, кибернетика и др. Философия изучает происхождение и сущность мышления, его отношение к материальному миру и познанию. Психология изучает условия нормального (в соотношении с патологией) функционирования и развития мышления, влияние на него социально-психологической среды. Генетика стремится раскрыть механизм наследования людьми способностей к мыслительной деятельности. Языкознание интересуется взаимосвязью мышления с языком. Ученые-кибернетики пытаются сконструировать технические модели мозга и человеческого мышления. Логика же изучает процесс мышления с точки зрения его структуры мыслей, правильности и неправильности рассуждений, отвлекаясь от конкретного содержания мыслей и их развития.

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

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

1)чувственное познание - с помощью органов чувств и приборов;

2)рациональное (ratio - разум) - познание с помощью абстрактного мышления.

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

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

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

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

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

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

Имея понятия о предметах, человек может судить о них (высказывать суждения) и делать умозаключения. Например, имея понятие о человеке и зная, что все живое рано или поздно умирает, мы мо­жем высказать суждение: «Всякий человек - смертен».

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

Из суждений мы можем получать новые суждения.

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

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

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

Скачать:


Предварительный просмотр:

Реферат

«Логика как наука, ее предмет и структура»

Выполнила: Абдулова Джюме Сиражутдиновна

1. Предмет логики

2. Возникновение и развитие логики

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

4. Формы и законы мышления

Предмет логики

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

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

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

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

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

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

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

2. Возникновение и развитие логики

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

4. Формы и законы мышления

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

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

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

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

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

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

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

Структура логики

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

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

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

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

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

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

Что же изучает логика как наука и почему она называется формальной?

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

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

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

3)для обозначения особой науки, которая изучает логические формы, операции с ними и законы мышления.

Объектом логики как науки является мышление человека. Но мышление - сложный, многосторонний процесс обобщенного отражения человеком вещей, их свойств и отношений окружающего его мира. Этот процесс изучается многими науками, например такими, как философия, психология, генетика, языкознание, кибернетика и др. Философия изучает происхождение и сущность мышления, его отношение к материальному миру и познанию. Психология изучает условия нормального (в соотношении с патологией) функционирования и развития мышления, влияние на него социально-психологической среды. Генетика стремится раскрыть механизм наследования людьми способностей к мыслительной деятельности. Языкознание интересуется взаимосвязью мышления с языком. Ученые- кибернетики пытаются сконструировать технические модели мозга и человеческого мышления. Л огика же изучает процесс мышления с точки зрения его структуры мыслей, правильности и неправильности рассуждений, отвлекаясь от конкретного содержания мыслей и их развития.

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

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

1)чувственное познание - с помощью органов чувств и приборов;

2)рациональное (ratio - разум) - познание с помощью абстрактного мышления.

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

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

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

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

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

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

Имея понятия о предметах, человек может судить о них (высказывать суждения) и делать умозаключения. Например, имея понятие о человеке и зная, что все живое рано или поздно умирает, мы можем высказать суждение: «Всякий человек - смертен».

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

Из суждений мы можем получать новые суждения.

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

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

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


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

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

В историческом процессе взаимодействия логики и конкретных наук определился предмет исследования логики науки. Итак, это:

Специфика объекта науки (эмпирические и абстрактные объекты, теоретические конструкты);

Особенности научного познания (уровни и структура научного познания);

Научное знание (структура научного знания, критерии научности знания, формальная построение систем научного знания);

Типология научного знания;

Научная речь (объектный язык науки и метаязык, формализованная и неформализованная речь, фундаментальная и прикладная);

Научная теория (принципы и структура построения научных теорий, функции, типология);

Поиск оснований конкретных наук.

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

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

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

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

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

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

Сущность научной индукции:

Осуществить наблюдение за объектами, которые исследуются, и проводить эксперименты (создать искусственную ситуацию для изучения свойств определенных объектов, которые нельзя изучить в естественных условиях);

На основании наблюдений и экспериментов собрать как можно больше фактов (фактических данных) об объекте исследования;

Обобщить и систематизировать факты;

Определить общее, существенное, повторяющаяся в явлениях, процессах и вывести закон;

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

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

Научную индукцию (индуктивную логику) Ф. Бекон трактовал также как метод научного познания причинно-следственных связей и метод научного открытия. Итак, определим, что такое причинно-следственная связь.

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

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

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

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

Схема вывода заключения на основании этого метода:

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

Метод единственного различия имеет другое название - "метод нахождения различия в подобном". Схема вывода заключения на основании этого метода:

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

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

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

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

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

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

На современном этапе методологическая функция науки логики в сфере конкретных наук реализуется в следующих направлениях:

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

Логический анализ научного языка, на основании которого експлікуються термины современной науки "эмпирический объект", "абстрактный объект", "научный закон", "научный факт", "научная проблема", "гипотеза", "теория", "истинность", "ложь", "верифікованість", "фальсифицированность" и т.п.;

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

Построение формальных моделей в различных науках методом формализации;

Разработка логических критериев истинности научного знания;

Обоснования оснований конкретных наук;

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

Средство научного открытия.

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

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

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

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

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

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

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

3. Новейшие открытия в области физики, космологии, биологии, генетики, возникновение нанотехнологий в конце XX - начале XXI в. требуют построения нового типа научного знания, анализ которого логическими методами приведет к необходимости создания нового типа логики.