Логика и теория аргументации. Скачков А.С. - 9 стр.

    Традиционной называют формальную логику, изучающую правильное мыш-
ление при широком использовании возможностей естественного языка, т. е.
язык такой логики не до конца формализован.
    Такая логика не устраняет многозначности, неопределённости изучаемых ею
правил построения выражений, придания значений и т. п., чего можно добиться
только за счёт конструирования и использования искусственных (символических)
языков, призванных следовать за логической формой, воспроизводя её даже в
ущерб краткости и лёгкости общения.
    Достаточно универсальные (не включающие слова обычного разговорного
языка) формализованные языки и соответствующие теории логического анализа
стали разрабатываться во второй пол. XIX – первой пол. XX вв., что ознаменова-
ло начало современного этапа в историческом развитии формальной логики.
    Формальную логику современного этапа её исторического развития опреде-
ляют в качестве «символической», поскольку в ней используются только фор-
мализованные языки, и в качестве «математической», поскольку применяемые в
ней методы аналогичны методам, применяемым в математике.
    Математическая логика исследует предмет логики методом построения спе-
циальных формализованных языков – исчислений, позволяющих избегать дву-
смысленностей, неясностей естественного языка. При этом в арсенале аксиом
формальной логики изначально содержался принцип двузначности (бивалентно-
сти), согласно которому всякое осмысленное высказывание либо истинно, либо
ложно.
    Та часть формальной логики (вся традиционная и некоторая часть совре-
менной), которая базируется на принципе двузначности, называется классиче-
ской (двузначной) логикой.
    Родоначальником формальной логики, заложившим принципы её классиче-
ского варианта, является древнегреческий философ Аристотель (384–322 гг. до
н.э.). У истоков современной классической формальной логики стоят, наряду со
многими другими исследователями, Дж. Буль (1815–1864 гг.), А. де Морган
(1806–1871 гг.), Ч.С. Пирс (1839–1914 гг.), постепенно реализовавшие предло-
женную ещё Г.В. Лейбницем (1646–1716 гг.) идею перенесения в логику матема-
тических методов.
    Сомнения в универсальности принципа двузначности были разрешены в рам-
ках современной формальной логики, что породило учитывающую принцип мно-
гозначности логику неклассическую, в том числе – многозначную логику.
    В соотношении разновидностей формальной логики действует следующий
порядок: классическая традиционная формальная логика служит базой для аппа-
рата классической современной формальной логики, последняя считается ядром
современной логики в целом и сохраняет свою теоретическую и практическую
значимость для новейших неклассических логических теорий. Многие из этих
теорий могут быть представлены как расширения классической логики, обога-
щающие её выразительные средства в постижении бесконечно сложного универ-
сума.



                                      9