соотношение логики предикатов и логики высказываний

Логика — одна из древнейших наук. Точно установить, кто, когда и где впервые обратился к тем аспектам мышления, которые составляют
предмет логики, в настоящее время не представляется возможным. Отдельные истоки логического учения можно обнаружить еще в
Индии, в конце II тысячелетия до н. э. Однако если говорить о возникновении логики как науки, то есть о более или менее
систематизированной совокупности знаний, то справедливым будет считать родиной логики великую цивилизацию Древней Греции.
Именно здесь в V—IV веках до н. э. в период бурного развития демократии и связанного с ним небывалого оживления общественно-
политической жизни трудами Демокрита, Сократа и Платона были заложены основы этой науки. Родоначальником же, «отцом» логики, по
праву считается величайший мыслитель древности, ученик Платона — Аристотель(384—322 гг. до н. э.). Именно он в своих трудах,
объединенных общим названием «Органон» (орудие познания), впервые обстоятельно проанализировал и описал основные логические
формы и правила рассуждений, а именно: формы выводов из так называемых категорических суждений — категорический силлогизм
(«Первая аналитика»), сформулировал основные принципы научных доказательств («Вторая аналитика»), дал анализ смысла некоторых
видов высказываний («Об истолковании»), наметил основные подходы к разработке учения о понятии («Категории»). Серьезное внимание
Аристотель уделял также разоблачению различного рода логических ошибок и софистических приемов в спорах («О софистических
опровержениях»).
Целью данной работы является изучение соотношения логики предикатов и логики высказываний. Задачами работы являются:
- изучение возникновения и этапов развития символической логики,
- определение соотношения логики высказываний и логики предикатов.

Вопросами логики занимались и внесли определенный вклад в ее развитие многие видные ученые Нового времени: Р. Декарт, Г. Лейбниц,
И. Кант и другие. Примечательно, что Г. Лейбниц выдвинул ряд идей фундаментального характера, получивших интенсивное развитие в
современной логике. Начало нового этапа в развитии логики было положено трудами Дж. Буля, О. де Моргана, русского логика П. С.
Порецкого. Принципиальное отличие этого этапа состояло в применении методов математики к исследованию логических связей, что
привело к созданию специального раздела логики — алгебры логики, получившей завершение в трудах Э. Шредера. В дальнейшем усилиями
Г. Фреге, Б. Рассела — А. Уайтхэда сложился особый метод исследования логических отношений и форм выводов — метод
формализации. Суть этого метода состоит в употреблении для описания структур высказываний, законов логики и правил вывода
специально созданного в рамках логики формализованного языка. Применение этого метода открыло новые возможности этой науки и
положило начало ее интенсивному развитию под названием «символическая логика».
В настоящее время логика представляет собой весьма разветвленную и многоплановую науку, результаты и методы которой активно
используются во многих областях теоретического познания, в том числе и непосредственно связанных с рядом современных
направлений практической деятельности. Она находит применение в философии, математике, психологии, кибернетике, лингвистике и др.
С самой общей точки зрения в современной логике, как мы уже говорили, выделяют три больших раздела: символическую
(«формальную») логику, логическую семиотику и методологию.