Ответ
Многие понятия/методы/проблемы информатики были продуманы довольно давно, в том числе и философами.
1. Древняя греция
У софистов язык и процессы коммуникации становятся об'ектом самостоятельного изучения. В отличие от натурфилософов, они выделили язык в реальность, отдельную от реальности природы. У Гераклита, к примеру, логос — и огонь как первоисточник, и космический закон, и слово (разумное).
Для софистов речь не обязательно должна передавать истинное знание. Она используется для трансляции информации, для убеждения других. Отношения между словами и вещами софистов не интересуют. А потому их можно считать первыми филологами.
Софисты выделилил 2 функии языка:
- аргументативная
- коммуникативная
Протагор стал первым изучать логические доказательства.
Возникла необходимость формирования и описания неких правил интеллектуальной деятельности.
Платон
Познание у Платона — следование правилам. В его диалогах встречаются такие абстракции, как ‘единое’, ‘многое’, ‘подобное’. Их применение и соотнесение между собой невозможно без использования формальных законов построения суждений и умозаключений, т.е. законов логики. По словам Хьюго Дрейфуса, Платон был протокибернетиком.
Аристотель
У Аристотеля логика уже присутствует как самостоятельная наука. Он сформулировал цели, задачи, предмет науки, описал и обосновал некие правильные способы рассуждения, в рамках которых должна осуществляться обработка информации.
Силлогизм — утверждение, состоящее из двух простых категорических суждений, из которых выводится третье простое категорическое суждение.
Простое категорическое суждение — суждение вида S—P (суб'ект/подлежащее - связка - предикат/сказуемое).
Вывод:
M — P
S — M
S — P
Вывод основан на отношениях между классами.
нужно ли тут про 4 фигуры и модусы?
Аристотель выделял 4 вида суждений:
- общеутвердительные (‘все’)
- частноутвердительные (‘некоторые’)
- общеотрицательные (‘ни один’)
- частноотрицательные (‘некоторые’)
2. Р. Луллий
Идея о том, что мышление может быть представлено как некоторый процесс механического рода.
Луллий занимался построением машины для механической обработки информации. Цель — механическим путем получать выводы по набору аксиом. В основе машины лежал комбинаторный принцип.
3. Новое время
В этом вопросе сходились точки зрения как сторонников эмпиризма, так и сторонников рационализма.
Т. Гоббс:
Когда человек рассуждает, он лишь образует в уме итоговую сумму путем сложения частей, … ибо рассуждения … есть ни что иное, как подсчитываение
Декарт
В своих работах выражал схожее мнение на процесс мышления. Он полагал, что существует
- всеобщий метод решения всех научных проблем (аналогия с первыми исследователями в области AI).
- идея построения точного и семантически однозначного языка науки.
Как пример применения его метода, Декарт считал свои его геометрические исследования.
Однако, у Декарта мы находим только замыслы, а реалищация проекта впервые была осуществлена Лейбницем.
Лейбниц:
- идея искусственного языка науки
- зарождение исчисления умозаключений - т.е. мы рассматриваем интеллектульную деятельность как процесс вычислений
Искусственный язык науки должен быть способен выражать любые мысли и устранять недопонимания, вводимые естественными языками. Язык может использоваться для решения любых проблем путем логического анализа. Рассуждения — вычисления. Идея символьной обработки информации.
4. Логический позитивизм
Логический позитивизм – направление неопозитивизма, возникшее в 1920-х гг. Оно попыталось
сочетать эмпиризм, основанный на принципе верификации, с методом логического анализа
научного знания с целью сведения последнего к «непосредственно данному», т.е. к эмпирически
проверяемому содержанию научных понятий и утверждений. Были сформулированы некоторые
революционные тезисы:
- Все осмысленные рассуждения состоят либо
-
- из формальных положений логики и математики, либо
- из фактуальных высказываний отдельных наук
-
- Любое утверждение, претендующее на фактуальность, имеет смысл только в том случае, если известен способ его верификации
- Метафизические утверждения, включая утверждения религии, не принадлежат ни одному из двух классов, указанных в 1) и следовательно, являются бессмысленными.
Основные идеи логического позитивизма:
- Отрицание философии как учения о первых принципах
- Аналитические и синтетические предложения.
-
- Истинность аналит. предложения определяется его собственным содержанием.
- Истинность синтетического устанавливается эмпирическим путем.
-
Все предложения науки являются либо синтетическими, либо аналитическими. В соответствие с этим можно разделить все науки на экспериментальные (физика, химия, психология) и не экспериментальные (логика, математика).
Предложения философии не являются ни аналитическими, ни синтетическими, следовательно, они бессмысленны. Однако, главный принцип «все проверяй фактами» нельзя проверить фактами, таким образом, в основе научного понимания всё же лежат философские принципы.
