Горбатова Ю.В.НИУ ВШЭ

Логика имеет дело с рассуждениями. У всякого рассуждения есть посылки и

заключение.Стандартная форма умозаключения:

А1, А2, …, А

В

Что мы хотим от правильного рассуждения?• Чтобы при истинных посылкахгарантированно получалось истинноезаключение

Означает ли это, что в правильномрассуждении посылки всегда истинные?• Нет, не означает• Означает только то, что при истинных посылках

мы совершенно точно получим истинноезаключение.

Все металлы – твердыетела.

Ртуть – металл.

Ртуть – твердое тело.

Основная идея:Рассуждение не интересуется истинностью

(ложностью) посылок (и/или заключения)в каждом конкретном случае – это запределами рассуждения.

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

В обычной жизни мыимеем дело с конкретнымипримерами рассуждений. Как упроститьпонимание структурырассуждения?

Ответ: выявить его логическую

форму.

выражение, фиксирующее ту часть содержания контекста,

которая остается в результате отвлечения

от конкретных содержаний нелогических терминов или же

от содержаний простых высказываний, входящих в данный контекст

Выражения языка делятся на классы в зависимости от типов выражаемых ими смыслов, а также от типов объектов, которые они обозначают.

Выражения языка разбиваются на непересекающиеся классы — категории значения.

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

Языки построены таким образом, что их выражения “неравноправны” и взаимозависимы так, что сложные выражения членятся на составляющие по схеме: функтор и его аргументы.

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

Теория восходит к идеям Г.Фреге и Э.Гуссерля

Особое развитие получила среди представителей польской логической школы (Львовско-Вашршавская Школа):• А. Тарского

• Ст. Лесневского

• К. Айдукевича

2 основные категории: Имена (n) Предложения (s)

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

• числом и категориями аргументных выражений

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

Kazimierz Ajdukiewicz (1890-1963)

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

над чертой —категория выражения, полученного в результате приложения функтора к его аргументам

Kazimierz Ajdukiewicz (1890-1963)

Анализ рассуждения можно проводить двумя способами:• Синтаксически

• Семантически

Анализ рассуждения можно проводить двумя способами:• Синтаксически

В таком случае рассуждение предстает как игра, где из посылок по определенным правиламследует заключение (если посылки это позволяют).

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

Анализ рассуждения можно проводить двумя способами:• СемантическиВ этом случае внимание уделяется не столько

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

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

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

Бочаров В.А., Маркин В.И. «Введение в

логику»

Новая философская энциклопедия: В 4 тт.

М.: Мысль. Под редакцией В. С. Стёпина.

2001.

D. Papineau “Philosophical Devices”. Oxford,

2012