русс | укр

Языки программирования

ПаскальСиАссемблерJavaMatlabPhpHtmlJavaScriptCSSC#DelphiТурбо Пролог

Компьютерные сетиСистемное программное обеспечениеИнформационные технологииПрограммирование

Все о программировании


Linux Unix Алгоритмические языки Аналоговые и гибридные вычислительные устройства Архитектура микроконтроллеров Введение в разработку распределенных информационных систем Введение в численные методы Дискретная математика Информационное обслуживание пользователей Информация и моделирование в управлении производством Компьютерная графика Математическое и компьютерное моделирование Моделирование Нейрокомпьютеры Проектирование программ диагностики компьютерных систем и сетей Проектирование системных программ Системы счисления Теория статистики Теория оптимизации Уроки AutoCAD 3D Уроки базы данных Access Уроки Orcad Цифровые автоматы Шпаргалки по компьютеру Шпаргалки по программированию Экспертные системы Элементы теории информации

Основные этапы развития науки логики.


Дата добавления: 2013-12-24; просмотров: 748; Нарушение авторских прав


В развитии логики выделяют два этапа. Они следующие – до 1910-х гг. и после. До – это традиционная логика, а второй этап – современная формальная логика. С чем это связано? Еще Лейбниц, известный немецкий математик, разработавший теорию математического анализа. Он высказал идею – свести рассуждение к вычислению. Фактически, высказал идею математической логики. Сам пытался разрабатывать символическую логику – не очень получилось, но все же. Прав он был частично – многие рассуждения сводятся к рассуждению, но некоторые – нет.

I век – начало логики Средние века – в основном богословская логика XIX век – символическая логика начинает разрабатываться XX – XXI века – современная логика (после 1910 года – Лейбниц)

Традиционная логика Современная логика à

Логика возникла примерно в VI – IV веке до нашей эры в Древней Греции и Риме. Однако есть предположения, что греки использовали учения, которые использовались ранее. Но наиболее известна Древнегреческая логика. Почему она стала развиваться? Наука отвечает на запросы какой-то стороны жизни. На это влияло развитие общественной жизни. Там проходили судебные заседания, политические дискуссии. Это было стимулом развития логики. Ее разрабатывали Демокрит, его труды до нас не дошли, но есть термин «свидетельства» - кто-то его критиковал, кто-то излагал его взгляды. По этим работам его взгляды восстановлены. Далее – Сократ. Это V-VI вв. до наше эры. Он не писал трудов, Платон описал его беседы. Собрание сочинений начинается с апологии Сократа – защитной речи в суде, его приговорили к смертной казни. Затем следует Аристотель – ученик Платона (384 – 322 гг. до н.э.) Он систематизировал то, что написано до него и написал ряд оригинальных произведений. Они объединены в «Органон» - инструмент познания, разработал учение о категорических силлогизмах и многое другое. В Древне Греции логика разрабатывалась и после Аристотеля. Потом – в Древнем Риме. Это Цицерон (I в. До н.э.), Квинтилиан (I в. н.э.). Они разработали терминологию. Логика разрабатывалась и в Средние века, но, в основном, это были богословские дискуссии. Дискуссии интересные, но не были разработаны теоретические понятия.



В новое время в XIX веке была символическая логика – но не все понятия были проработаны, а уже в 1910 году с идей Лейбница начинается символическая формальная логика, которая все более и более развивается при помощи развития техники. Вначале преподавали традиционную логику, а символическую было сложно преподавать из-за недоразвитости техники. После революции логику не любили как буржуазную науку, после ВОВ стали преподавать традиционную логику, но учебников и т.д. не хватало, поэтому стали писать новые учебники по символической математической логике, переводили тексты. Стали решать проблемы традиционной логики путем логики символической.



<== предыдущая лекция | следующая лекция ==>
Предмет и значение логики. | Стремление употреблять выражения, имеющие точное значение.


Карта сайта Карта сайта укр


Уроки php mysql Программирование

Онлайн система счисления Калькулятор онлайн обычный Инженерный калькулятор онлайн Замена русских букв на английские для вебмастеров Замена русских букв на английские

Аппаратное и программное обеспечение Графика и компьютерная сфера Интегрированная геоинформационная система Интернет Компьютер Комплектующие компьютера Лекции Методы и средства измерений неэлектрических величин Обслуживание компьютерных и периферийных устройств Операционные системы Параллельное программирование Проектирование электронных средств Периферийные устройства Полезные ресурсы для программистов Программы для программистов Статьи для программистов Cтруктура и организация данных


 


Не нашли то, что искали? Google вам в помощь!

 
 

© life-prog.ru При использовании материалов прямая ссылка на сайт обязательна.

Генерация страницы за: 1.371 сек.