|
|
Пишет blackpost (![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} blackpost)@ 2010-09-08 15:18:00 |
 |
|
 |
|
|
|
|
|
|
 |
|
 |
Логика. 7.
История Логики насчитывает около двух с половиной тысячелетий и разделяется на два основных этапа.
Первый начался с трудов Аристотеля (384-322 до н. э.) и продолжался до второй половины XIX — начала XX в., второй — с этого времени до наших дней.
На первом этапе Логика развивалась очень медленно, это дало И. Канту повод заявить, что она является с самого начала завершенной наукой, не продвинувшейся после Аристотеля ни на один шаг.
Ошибочность такого представления была ясно показана в последние сто с небольшим лет, когда в Логику произошла научная революция и на смену традиционной Логике пришла современная Логика, называемая также математической или символической Логикой.
В основе последней — идеи Г. Лейбница (1646-1716) о возможности представить доказательство как математическое вычисление.
Д. Буль (1815-1864) истолковал умозаключение как результат решения логических равенств, в результате чего теория умозаключения приняла вид своеобразной алгебры, отличающейся от обычной алгебры лишь отсутствием численных коэффициентов и степеней.
С работ Г. Фреге (1848-1925) начинается применение Логики для исследования оснований математики.
Значительный вклад в развитие Логики в дальнейшем внесли Б. Рассел (1872-1970), А. Н. Уайтхед (1861-1947), Д. Гильберт (1862-1943) и др.
В 30-е годы фундаментальные результаты получили К. Гёдель (1906-1978), А. Тарский (1901-1983), А.Чёрч(р. 1903).
На первых порах современная Логика ориентировалась почти всецело на анализ только математических рассуждений.
Это поддерживало иллюзию, что развитие Логики не зависит от эволюции теоретического мышления и не является в к.-л. смысле отображением последней.
История Логики насчитывает около двух с половиной тысячелетий и разделяется на два основных этапа.
Первый начался с трудов Аристотеля (384-322 до н. э.) и продолжался до второй половины XIX — начала XX в., второй — с этого времени до наших дней.
На первом этапе Логика развивалась очень медленно, это дало И. Канту повод заявить, что она является с самого начала завершенной наукой, не продвинувшейся после Аристотеля ни на один шаг.
Ошибочность такого представления была ясно показана в последние сто с небольшим лет, когда в Логику произошла научная революция и на смену традиционной Логике пришла современная Логика, называемая также математической или символической Логикой.
В основе последней — идеи Г. Лейбница (1646-1716) о возможности представить доказательство как математическое вычисление.
Д. Буль (1815-1864) истолковал умозаключение как результат решения логических равенств, в результате чего теория умозаключения приняла вид своеобразной алгебры, отличающейся от обычной алгебры лишь отсутствием численных коэффициентов и степеней.
С работ Г. Фреге (1848-1925) начинается применение Логики для исследования оснований математики.
Значительный вклад в развитие Логики в дальнейшем внесли Б. Рассел (1872-1970), А. Н. Уайтхед (1861-1947), Д. Гильберт (1862-1943) и др.
В 30-е годы фундаментальные результаты получили К. Гёдель (1906-1978), А. Тарский (1901-1983), А.Чёрч(р. 1903).
На первых порах современная Логика ориентировалась почти всецело на анализ только математических рассуждений.
Это поддерживало иллюзию, что развитие Логики не зависит от эволюции теоретического мышления и не является в к.-л. смысле отображением последней.
