Новосибирский государственный университет Факультет информационных технологий

Словарь-справочник по информатике (онтология информатики)

Логика (Математическая логика)

Логика (др.-греч. λογική — раздел философии, «наука о правильном мышлении», «искусство рассуждения» от λόγος — «речь», «рассуждение», «мысль») — наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это знание получено разумом, логика также определяется как наука о формах и законах правильного мышления. Поскольку мышление оформляется в языке в виде рассуждения, частными случаями которого являются доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений.

Логика как наука изучает способы достижения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знания.

Одна из главных задач логики — определить, как прийти к выводу из предпосылок (правильное рассуждение) и получить истинное знание о предмете размышления, чтобы глубже разобраться в нюансах изучаемого предмета мысли и его соотношениях с другими аспектами рассматриваемого явления.

В любой науке логика служит одним из основных инструментов.

Математическая логика (теоретическая логика, символическая логика) — раздел математики, изучающий доказательства и вопросы оснований математики. Математическая логика изучает логические связи и отношения, лежащие в основе логического (дедуктивного) вывода. Стоит отметить, что на практике множество элементарных логических операций является обязательной частью набора инструкций всех современных микропроцессоров и соответственно входит в языки программирования. Это является одним из важнейших практических приложений методов математической логики.

Ключевые термины, связанные с термином "логика":

1. Теорема Гёделя о неполноте

Литература

Дополнительная:

1. Витгенштейн Л. Логико-философский трактат. М.: Издательство иностранной литературы, 1958.

Факультативная:

1. Бажанов В.А. В.И. Шестаков и К. Шеннон. Разные судьбы творцов одной красивой идеи // Вопросы истории естествознания и техники, 2005, №2. С. 112-121.
2. Бирюков Б.В., Бирюкова Л.Г. Людвиг Витгенштейн и Софья Александровна Яновская. «Кембриджский гений» знакомится с советскими математиками 30-х годов. // Логические исследования. Вып. 11, М., «Наука», 2004. С.46-93.
3. Левин В.И. Виктор Иванович Шестаков и логическое моделирование // Логическое моделирование. Вып. 16, 2010, с. 67-95.

Ссылки на персон:

1. Аристотель
2. Бажанов Валентин Александрович
3. Буль Джордж
4. Витгенштейн Людвиг
5. Гедель Курт Фридрих
6. Гильберт Давид
7. Морган Август де
8. Пирс Чарльз Сандерс
9. Пост Эмиль Леон
10. Рассел Бертран Артур Уильям
11. Шеннон Клод Эльвуд

Ключевые термины:  искусственный интеллект;   яву;   микропроцессор;   математика;

Контекстный поиск: Задайте образец для поиска:
    

Федотова Ольга Анатольевна

НГУ ФИТ НГУ ИВТ СО РАН