Логика и система философии.

Логика

Логика и система философии.

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

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

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

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

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

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

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

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

«У Аристотеля,—т писал Ленин,— везде объективная логика смешивается с субъективной и так притом, что везде видна объективная. Логика Аристотеля была в основном метафизической. Он вёл борьбу с учением Гераклита о противоречивости вещей. Однако и самой аристотелевской логике не были чужды элементы диалектики.

Логика Аристотеля широко использовалась в средневековой философии; схоласты средневековья превратили её в средство доказательства богословских истин.

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

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

Логика Канта — это формалистическая и метафизическая логика, основанная на противопоставлении якобы алогичной, т.

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

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

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

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

В трудах классиков марксизма-ленинизма глубоко разработана диалектическая логика, являющаяся мощным орудием человеческого познания. Классики марксизма-ленинизма прежде всего ясно и исчерпывающе определили место и значение старой, формальной логики, соотношение между формальной (элементарной) логикой и логикой диалектической. Марксизм не только не отрицает необходимость формальной логики, очищенной от идеалистических и схоластических извращений, но подчёркивает большое значение формальной логики в процессе выработки элементарных правил научного мышления. Однако формальная логика есть низшая ступень логики или, как говорил Энгельс, «низшая математика» логики. Формальная логика берёт явления и вещи вне их взаимной связи и взаимозависимости. Она рассматривает их не как развивающиеся и изменяющиеся, а как находящиеся в состоянии покоя и неподвижности, она не вскрывает внутренних противоречий предметов и т. д. Формулируемые ею законы мышления отражают не процессы, совершающиеся в предметах, а предметы вне этих процессов. Исторически такой подход к природе был необходим. «Надо было,— указывает Энгельс, — исследовать вещи, прежде чем можно было приступить к исследованию процессов. Надо сначала знать, что такое данная вещь, чтобы можно было заняться теми изменениями, которые в ней происходят». Но такой подход необходим также и в процессе умственного развития отдельного человека, Ребёнок, например, но может сразу понять предметы как процессы, не познав их сначала как нечто устойчивое, неизменное. Кроме того, в своей повседневной жизни человек имеет дело с простыми вещами и отношениями, для познания которых вполне достаточно элементарных правил формальной логики. Но то, что достаточно для познания простых вещей и отношений, недостаточно для научного познания сложных явлений и отношений. В этом смысле формальная логика имеет свои границы, за которыми как метод познания она непригодна. Логика формальная, указывает Ленин, «берет формальные определения, руководясь тем, что наиболее обычно или что чаще всего бросается в глаза, и ограничивается этим… Логика диалектическая требует того, чтобы мы шли дальше. Чтобы действительно знать предмет, надо охватить, изучить все его стороны, все связи и «опосредствования». Мы никогда не достигнем этого полностью, но требование всесторонности предостережет нас от ошибок и от омертвения. Это во-1-х. Во-2-х, диалектическая логика требует, чтобы брать предмет в его развитии, «самодвижении» (как говорит иногда Гегель), изменении». Поэтому диалектическая логика есть как бы «высшая математика» логики. Только она даёт в руки исследователя верное, а потому мощное орудие познания объективного мира во всей его сложности, в его развитии и изменении, в переходах одних форм в другие, низших в высшие и т. д. Марксизм навсегда покончил с характерным для буржуазной философии разрывом между учением о бытии и учением о познании, о законах мышления. Ленин подчёркивает, что диалектика, логика и теория познания — это одно и то же, ибо логика не может создавать какие-то особые законы мышления, не согласованные с законами самого бытия. Материалистическая диалектика, вскрывающая наиболее общие законы развития природы и общества, есть вместе с тем и высшая логика мышления. Законы диалектики являются и законами мышления, субъективная диалектика выражает объективную диалектику. Поэтому важнейшее положение диалектической логики гласит, что создаваемые логикой понятия, категории — не пособие человека, а выражение закономерности развития природы и человека.Диалектическая логика, далее, формулирует свои понятия и категории не как мёртвые, неподвижные, не изменяющиеся, а как понятия гибкие, подвижные, адекватно отражающие процессы, происходящие в объективной действительности. Она требует, чтобы понятия и категории были между собой так же связаны, находились в таком же взаимодействии, как и объективные явления, отражаемые ими. Отвечая на вопрос, в чём состоит диалектика понятий, Ленин подчёркивает, что это связь, взаимозависимость всех понятий без исключения, переходы всех понятий из одного в другое.Важнейшей отличительной особенностью марксистской диалектической логики по сравнению со всеми идеалистическими и метафизическими логическими теориями является включение практики в логику. Логические понятия и категории могут создаваться лишь на основе практической деятельности как её результат, и лишь в практике проверяется их истинность. Ленин указывает, что «практическая деятельность человека миллиарды раз должна была приводить сознание человека к повторению разных логических фигур, дабы эти. фигуры могли получить значение аксиом). Диалектическая логика марксизма неопровержима, ибо она есть выражение объективной логики развития самой жизни. Современная буржуазная философия, стремясь исказить эту объективную логику жизни, закономерно ведущую к гибели капитализма и торжеству коммунизма, выступает против научной логики. Характерной чертой современных школ и школок буржуазной философии является стремление утвердить в познании принципы алогизма, иррационализма, интуитивизма, т. е. подменить логическое мышление хаосом субъективных впечатлений, переживаний человека, слепым повиновением «стихии» и т. п. В этом отрицании логики сказывается реакционность нынешней буржуазной философии, видящей свою единственную цель в том, чтобы ставить на пути познания одно препятствие за другим. Марксистская философия разоблачает этих новоявленных «ниспровергателей» научной логики как ярых врагов человеческого познания.

Источник: https://filslov.ru/219-logika.html

§1.Логика и философия

Логика и система философии.

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

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

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

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

https://www.youtube.com/watch?v=IVTY6FqX8Gk

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

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

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

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

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

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

  • Дедукция (латинское deductio – выведение) – логический метод получения частного вывода из общих данных. Например, все камни твёрдые, а гранит камень, значит, гранит твёрдый;
  • Индукция (латинское inductio – наведение) – логический метод получения общего вывода из частных данных. Например, Ингвар маленького роста, Альгирдас маленького роста, Ян маленького роста и все они дети, значит все дети маленького роста.

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

Упрошённый пример: Ингвар маленького роста и ему пять лет, Альгирдас маленького роста и ему восемь лет, Ян маленького роста и ему семь лет, Степан маленького роста и ему двадцать лет, значит Ингвар, Альгирдас и Ян дети и дети маленького роста, а Степан карлик и карлики маленького роста, но дети не карлики.

Дедуктивный и индуктивный подходы совпадают с способами выполнения исследовательских операций не только в мыслительном плане это анализ и синтез:

  • Анализ (греческое analysis – разложение, расчленение) – процедура мыслительного и не только расчленения процесса, явления и предмета, а также их свойств и связей с другими процессами, явлениями и предметами на составные части. Противоположной анализу процедурой является синтез;
  • Синтез (греческое synthesis – соединение, составление) – соединение частей явлений, предметов и процессов в единую систему с фактуальной информацией либо без оной. Синтез имеет множество форм, в том числе как междисциплинарный метод систематизации.

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

  • Само понятие, которое суть есть осознаваемая совокупность отражаемых психикой общих и специфических признаков какого-либо явления или предмета;
  • Признак в свою очередь это нечто необходимое как условие утверждения существования конкретного явления, которому оно характерно (признак явления, признак чего-либо);
  • Дефиниция или логическое определение (латинское defenitio – ограничение) – операция описывающая содержание понятия путём перечисления его признаков и установления между ними связей;
  • Операция противоположная ограничению или определению это обобщение – операция логического приращения понятий путём объединения их по видовому или классовому признаку;
  • Суждение – мысль выражающая подтверждение или отрицание чего-либо. Точное и конкретное суждение называется тезисом или суждение-тезис и обосновывается аргументацией (аргументом);
  • Аргумент – суждение или совокупность суждений доказывающих и подтверждающих суждение-тезис;
  • Опровержение – суждение или суждения направленные против тезиса с целью выявления его ложности; антитезис это опровержение;
  • Гипотеза или гипотетический тезис – суждение с предполагаемой истинностью и требующее доказательства;
  • Доказательство – операция установления истинности суждения;
  • Истинность – соответствие мысли (суждения, знания и так далее) действительности, мысль отражающая реальность;

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

  • Закон достаточного основания утверждает, что всякое суждение для того, чтобы приниматься как достоверное, должно быть объяснено, обосновано, доказано. То есть закон в-первых, выдвигает степени достоверности указывающие на доказанность и близость к истине, и в-вторых, исключает суждения апеллирующие к вере без оснований избегающие обоснования и доказательства. Закон отражает фундаментальный принцип логики в её поиске близости к истине – необходимость обоснованности суждения. Важным нюансом закона достаточного основания является отсутствие символической формулировки, так как характер доказательства может быть разным в зависимости от выбранных методов и так далее;
  • Закон противоречия утверждает, что два суждения о одном и том же противоречащие друг другу не могут быть одновременно истинными, либо одно из них или оба ложны;
  • Закон исключения третьего утверждает, что из двух суждений одно является истинным, если одно из них является отрицанием другого. Не могут являться ложными одновременно суждения, например, «небо голубое» и «небо не голубое», одно из них истинно;
  • Закон тождества предполагает, что в процессе постановки умозаключения каждое суждение и понятие должно использоваться в одном и том же смысле. Закон имеет символьную формулировку «А=А», где А – любое понятие или суждение;
  • Закон импликации отрицания утверждает, что если в ходе отрицания суждения логическое построение приходит к этому же суждению, то оно истинно. Другими словами если необходимым условием ложности суждения является его истинность, то это суждение истинно.

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

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

Так что закончив с логикой можно вернуться к сатанизму в свете сказанного и задаться вопросом его научности.

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

Источник: http://sargelas.com/ks-logika-i-filosofiya

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

Логика и система философии.

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

 Логика символическая), а также применение логического аппарата неклассических логик (см. Логики неклассические) к анализу и реконструкции различных философских проблем (см. Философия). Следует отметить, что термин «философская логика» весьма неопределён, разноречив и единого применения не имеет.

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

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

Термин «философская логика» появился в англоязычной логико-философской литературе и наиболее широкое применение получил в 50–60-е годы XX века. С одной стороны, кризис в основаниях математики (обнаружение парадоксов в теории множеств и ограничительные теоремы А. Тарского и К. Гёделя) потребовал глубокого осмысления самого концептуального аппарата логики.

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

Обнаружение парадоксов в теории множеств и в особенности парадокса Рассела поставило вопрос о природе самой математики. Логицизм пытался определить основные понятия математики в логических терминах (Г. Фреге в 1884 году и Б. Рассел в 1903 году). Это уже не только техническая, но и философская проблема. В этом смысле грандиозное построение, предпринятое Н.

 Уайтхедом и Б. Расселом в работе «Principia Mathematica», оказалось неуспешным. И хотя в их логико-математической теории не обнаружено парадоксов, из чисто логических аксиом оказалось невозможным вывести существование бесконечных множеств. Интуиционизм (см.

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

Формалистическая программа Д. Гилберта тоже вызвала оживлённую философскую дискуссию, в особенности проблема финитизма.

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

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

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

К этому можно добавить также философскую дискуссию относительно тезиса Чёрча — Тьюринга. Следует отметить, что философией логики занялись математики, получившие в ней глубокие результаты (Г. Фреге, Б. Рассел, У. Куайн, Р. Карнап и другие).

У. Куайн в 1940 году публикует книгу под названием «Математическая логика», а в 1970 — под названием «Философия логики», в которой под логикой понимается систематическое изучение логических истин, а под философией логики — инструмент для анализа естественного языка.

Книга содержит следующие разделы, которые Куайн относит к философии логики: «Значение и истина» (проблема высказываний и предложений, высказывания как информация, теория смысла языковых выражений, истина и семантическое согласие); «Грамматика» (рекурсивное задание грамматики, категории, пересмотр цели грамматики, имена и функторы, критерий лексики; время, события, глаголы, пропозициональные установки и модальность); «Истина» (определение истины по А. Тарскому, парадоксы в объектном языке, связь между семантическими и логическими парадоксами); «Логическая истина» (в терминах структуры, в терминах модели, в терминах подстановки, в терминах доказательства, в терминах грамматики); «Сфера (scope) логики» (проблема тождества, теория множеств, квантификация); «Девиант (deviant) логики» (под этим понимаются неклассические логики, в первую очередь многозначная логика (см. Многозначная логика), интуиционистская логика, ветвящиеся кванторы); «Основания логической истины». Таким образом, Куайн сконцентрировал свой труд вокруг главной проблемы в философии логики: что есть истина? Этот сакраментальный вопрос повседневно звучит уже более двух тысяч лет, однако только с развитием символической логики, а именно начиная с работ Тарского (1936), было впервые дано семантическое определение истины для большой группы формализованных языков и одновременно указаны границы такого определения.

Вместе с тем, сфера философии логики значительно шире.

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

В отличие от философии логики, первоначально философской логикой называлась модальная логика (см. Модальная логика), то есть логический анализ таких философских понятий, как «возможность» и «необходимость».

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

То же самое случилось с такими философскими понятиями, как «будущее» и «прошлое».

С развитием модальной логики в сферу логических исследований стали попадать все новые виды модальностей: временные, модально-временные (не механическое соединение, а синтез модальных и временных операторов), физические или причинные, деонтические, эпистемические и другие.

С выходом на английском языке в 1980-е годы фундаментального «Справочника по философской логике» (в четырёх томах) подведён некоторый итог её развития. Второй и третий тома есть не что иное, как рассмотрение различных неклассических логик, таких как модальная логика, временная, многозначная, интуиционистская, релевантная и другие.

Наряду с этим, возникает целый ряд новых логических теорий, таких, как логические теории квантовой механики, логика существования, логики, свободные от экзистенциональных допущений, логика обязательности и позволения (правовые и этические контексты), логика действий, команд, намерений и предпочтений, логика знания, веры, убеждения, сомнения, восприятия, предвидения, логика вопросов, формальная онтология и так далее. Однако только с появлением семантики возможных миров в середине 1950-х годов (С. Кангер, С. Крипке, А. Прайор, Я. Хинтикка) стало возможным провести логический анализ многих центральных философских понятий: наряду с указанными модальностями также и других, таких как «знание», «вера», «восприятие», «обязательства» и тому подобных. При этом в каждой из этих логик возникает своя философия логики, а следовательно, и указанные философские проблемы, потому что определение истинности формулы, логического следования, понятия высказывания и смысл логических операций в большинстве логик различные. Кроме этого в каждой философской логике возникает своя дополнительная философская проблематика. Например, в модальных логиках таковыми являются проблема референции, кроссидентификации, то есть идентификации объектов в различных возможных мирах, и в связи с этим возникает проблема квантификации. В многозначных логиках стоит сложнейшая философская проблема интерпретации множества истинностных значений, обычно выраженного числами: рациональными, натуральными, целыми, действительными. Много философских проблем ставит интуиционистская логика, например, наличие у неё двух разнородных и несводимых друг к другу классов семантик: реализуемостей и моделей Крипке.

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

В то же время, понятие философской логики во многом остаётся противоречивым. С одной стороны, к ней относятся все те логические исследования, которые не являются чисто математическими и как бы не имеют отношение к символической логике, понимаемой многими логиками-философами как «игра в символы».

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

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

Вместе с тем, существует то, что объединяет такие направления в современной логике, как символическая логика, философская логика, философия логики, неклассические логики. Имеется в виду фундаментальный философский вопрос конца XX века: что есть логика? Наконец, в середине 1990-х годов появился ещё один термин — «логическая философия».

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

Источник: https://gtmarket.ru/concepts/7202

Book for ucheba
Добавить комментарий