Логика Вопрос № 1 Основные этапы развития логики как науки. Принципы (законы) логического мышления.

Логика (древне греч. «логис») – слово, истинное слово, разумное слово, правила.

VI в. до н.э. – Древне греч. Мыслитель Парменид : «Быть – значит быть лишенным противоречий»; Гераклид считал, что мир соткан из противоречий (день / ночь)

V в. До н.э. Софисты- учителя мудрости (оппонент Сократ, Платон)

VI до н.э. Аристотель – создатель первого логического учения, которое не менялось до XX в.

От софистов появился термин Софизм – преднамеренное нарушение логики.

Логика – наука о формах и приемах рационального познания.

Аристотель сформулировал 3 принципа логического мышления

Законы Логики

1. Закон тождества

Предмет рассуждения должен оставаться одним и тем же на всем протяжении рассуждения

Пример: «Того, что ты не терял у тебя нет, а что не потерял - есть».

2. Закон непротиворечия

Нельзя в одном и том же рассуждении, об одном и том же предмете, в одном и том же отношении утверждать нечто и отрицать тоже самое.

3. Закон исключенного третьего

Из 2-х осмысленных и отрицающих друг друга утверждений, одно истинно, другое ложно – третьего не дано.

XVII в. Немецкий мыслитель Готфрид Лейбниц

4. Закон достаточного основания

Каждое утверждение должно вводиться в процессе логического рассуждения или исключаться из него, только при наличии достаточного основания.

XVIII-XIX вв. Имнуил Кант философ. Он различает 2 познательные способности человека: разум и рассудок.

Рассудок – способность рассуждать, т.е. мыслить в соответствии с правилами логики. (как?)

Разум – способность ставить цель, делать выбор в пользу того или иного решения

После Канта логика постепенно превращается в самостоятельную дисциплинуотделяется от философии и психологии. ПРИНЦИПИАЛЬНО МЕНЯЕТСЯ ВЗГЛЯД НА ЛОГИКУ

Начало XX века Б. Россал обнаружил парадокс в теории множественного парадокса.

Вопрос № 2 Особенности современного этапа развития логики. Классическая и символическая логика. Виды неклассических логик.

Начало XX века Б. Россал обнаружил парадокс в теории множественного парадокса.

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

Логика классическая

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

У истоков Л. к. стоят, наряду со многими другими исследователями, Д. Буль (1815-1864), А. де Морган (1806-1871), Ч. Пирс (1839-1914).

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

Символи́ческая ло́гика — направление в математической логике, изучающее формальные системы: «логика по предмету, математика по методу» (П. С. Порецкий), или «логика, изучаемая посредством построения формализованных языков» (А. Чёрч). Термин «символическая логика» акцентирует внимание на том обстоятельстве, что основными элементами формализованных языков, служащих «математическим методом» изучения предмета логики, являются в данном случае не слова обычных разговорных языков (хотя бы и употребляемые в каких-либо специальных значениях), а некоторые символы, выбираемые (или конструируемые из выбранных ранее символов) и интерпретируемые (истолковываемые) определённым образом, специфическим именно для данной логической ситуации и, вообще говоря, не связанным ни с каким «традиционным» употреблением, пониманием и функциями таких же символов в других контекстах.

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

Виды неклассической логики

• многозначная логика

• модальная логика

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

• интуиционистская логика