1.4. Логика и философия.

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

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

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

Первые общие схемы правильных рассуждений систематически были изложены уже в древности греческим философом Аристотелем (384—322 г. до н. э.). Независимо от него несколько иными видами схем правильных умо-заключений занимались стоики, например, Хризипп (род.

ок. 280 г. до н. э.) и другие. Затем в средние века были несколько развиты и пополнены древние схемы умозаключений. Позже, в новое время, некоторый прогресс в логике наступил благодаря философу и математику Г. В. Лейбницу (1646—1716). Но только со второй половины XIX и в XX вв. благодаря работам Дж. Буля (1815—1864), Г. Фреге (1848—1925) и других ученых в логике начался период интенсивного развития, приведшего к тому, что логика стала самостоятельной, содержательной научной дисциплиной. Этот последний период бурного развития логики имеет своим источником разработку вопросов обоснования математики. 1. В самом деле, математика представляет собой такую науку, в которой умозаключение играет более важную роль по сравнению с другими науками. Все математические теоремы опираются на точные доказательства, основанные на выводе следствий из общепринятых общих мате- матических аксиом или постулатов. Поэтому неудивительно, что ученые при анализе математических рассуждений открыли в этих рассуждениях больше всего схем (способов) правильного умозаключения. В силу этого современная логика носит название математической логики, так как она изучает прежде всего математические рассуждения.

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

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

Из послевоенных книг по логике назовем:

И. С. Градштейн, Прямая и обратная теоремы (Элементы алгебры логики), «Наука», 1965.

А. Т а р с к и й, Введение в логику и методологию дедуктивных наук, ИЛ, 1948.

Д.

Гильберт и В. Аккерман, Основы теоретической логики, ИЛ, 1947.

П. С. Новиков, Элементы математической логики, Физматгиз, 1973.

Э. Беркли, Символическая логика и разумные машины, ИЛ, 1962.

Р. Л. Г у д с т е й н, Математическая логика, ИЛ, 1961.

С. К. Клини, Введение в метаматематику, ИЛ, 1957.

А. Ч ё р ч, Введение в математическую логику, ИЛ, 1960.

Л. А. К а л у ж н и н, Что такое математическая логика?, «Наука», 1964.

Е. Слупецкий, Л. Борковский, Эле-менты математической логики и теория множеств, «Прогресс», 1965.

P. J!индон, Заметки по логике, «Мир», 1968.

X. Фрейденталь, Язык логики, «Наука», 1969.

X. Карри, Основания математической логики, «Мир», 1969.

Э.Мендельсон, Введение в математическую логику, «Наука», 1976.

Р. Р. Столл, Множества. Логика. Аксиоматические теории, «Просвещение», 1968.

Дж. Т. Калбертсон, Математика и логика цифровых устройств, «Просвещение», 1965.

И. М. Яглом, Необыкновенная алгебра, «Наука», 1968.

М. Кац, С. У лам, Математика и логика. Ретроспектива и перспектива, «Мир», 1971.

С. К. Клини, Математическая логика, «Мир», 1973.

Дж. Шенфилд, Математическая логика, «Наука», 1975.

Ю. Л. Ершов, Е. А. Палютин, Математическая логика, «Наука», 1979.

<< | >>

↑

Источник: А. ГЖЕГОРЧИК. ПОПУЛЯРНАЯ ЛОГИКА. ОБЩЕДОСТУПНЫЙ ОЧЕРК ЛОГИКИ ПРЕДЛОЖЕНИЙ. ИЗДАНИЕ ТРЕТЬЕ, СТЕРЕОТИПНОЕ. МОСКВА «НАУКА», 517с. 1979

Еще по теме 1.4. Логика и философия.:

- Популярная логика -

- Бизнес, экономика, финансы - Внешне экономическая деятельность - Горнодобывающие дисциплины - Журналистика, Филология - Логика - Медицина - Педагогика - Право - Право зарубежных стран - Право и другие науки - Психология - Религия - Философия - Эзотерика, непознанное - Электрика, Бытовые приборы - Языкознание -