СУЭБ ИВТ СО РАН

А.М.Федотов

Словарные статьи в коллекции: (public_cat = Thesaurus of Information Technology: Dictionary Articles )

Логика

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

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

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

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

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

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

1. Искусственный интеллект [ru]
2. Математика [ru]
3. Микропроцессор [ru]
4. Теорема о неполноте [ru]

Литература

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

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

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

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

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

1. Аристотель
2. Буль Джордж
3. Гильберт Давид
4. Морган Август де
5. Пирс Чарльз Сандерс
6. Пост Эмиль Леон
7. Рассел Бертран Артур Уильям
8. Шеннон Клод Эльвуд

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

© 2013-2024, Евразийский национальный университет им. Л.Н.Гумилева, Астана © 2007-2024, Новосибирский государственный университет, Новосибирск © 1998-2024, Институт вычислительных технологий СО РАН, Новосибирск © 1998-2024, Федотов А.М.

ФИТ НГУ       НГУ ЕНУ им.Гумилева ИВТ СО РАН