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