Логика. 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).
На первых порах современная Логика ориентировалась почти всецело на анализ только математических рассуждений.
Это поддерживало иллюзию, что развитие Логики не зависит от эволюции теоретического мышления и не является в к.-л. смысле отображением последней.