2. Рационалистическая традиция в европейской философии и ее влияние на становление на становление современной информатики

1. Древняя греция

У софистов язык и процессы коммуникации становятся об'ектом самостоятельного изучения. В отличие от натурфилософов, они выделили язык в реальность, отдельную от реальности природы. У Гераклита, к примеру, логос — и огонь как первоисточник, и космический закон, и слово (разумное).

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

Софисты выделилил 2 функии языка:

аргументативная

коммуникативная

Протагор стал первым изучать логические доказательства.

Возникла необходимость формирования и описания неких правил интеллектуальной деятельности.

Платон

Познание у Платона — следование правилам. В его диалогах встречаются такие абстракции, как ‘единое’, ‘многое’, ‘подобное’. Их применение и соотнесение между собой невозможно без использования формальных законов построения суждений и умозаключений, т.е. законов логики. По словам Хьюго Дрейфуса, Платон был протокибернетиком.

Аристотель

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

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

Простое категорическое суждение — суждение вида S—P (суб'ект/подлежащее - связка - предикат/сказуемое).

Вывод: M — P S — M S — P

Вывод основан на отношениях между классами.

нужно ли тут про 4 фигуры и модусы?

Аристотель выделял 4 вида суждений:

общеутвердительные (‘все’)

частноутвердительные (‘некоторые’)

общеотрицательные (‘ни один’)

частноотрицательные (‘некоторые’)

2. Р. Луллий

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

Луллий занимался построением машины для механической обработки информации. Цель — механическим путем получать выводы по набору аксиом. В основе машины лежал комбинаторный принцип.

3. Новое время

В этом вопросе сходились точки зрения как сторонников эмпиризма, так и сторонников рационализма. Т. Гоббс:

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

Декарт

В своих работах выражал схожее мнение на процесс мышления. Он полагал, что существует

всеобщий метод решения всех научных проблем (аналогия с первыми исследователями в области AI).

идея построения точного и семантически однозначного языка науки.

Как пример применения его метода, Декарт считал свои его геометрические исследования. Однако, у Декарта мы находим только замыслы, а реалищация проекта впервые была осуществлена Лейбницем.

Лейбниц:

идея искусственного языка науки

зарождение исчисления умозаключений - т.е. мы рассматриваем интеллектульную деятельность как процесс вычислений

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

4. Логический позитивизм

Логический позитивизм – направление неопозитивизма, возникшее в 1920-х гг. Оно попыталось сочетать эмпиризм, основанный на принципе верификации, с методом логического анализа научного знания с целью сведения последнего к «непосредственно данному», т.е. к эмпирически проверяемому содержанию научных понятий и утверждений. Были сформулированы некоторые революционные тезисы:

Все осмысленные рассуждения состоят либо

из формальных положений логики и математики, либо

из фактуальных высказываний отдельных наук

Любое утверждение, претендующее на фактуальность, имеет смысл только в том случае, если известен способ его верификации

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

Основные идеи логического позитивизма:

Отрицание философии как учения о первых принципах

Аналитические и синтетические предложения.

Истинность аналит. предложения определяется его собственным содержанием.

Истинность синтетического устанавливается эмпирическим путем.

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

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