Обзор: В логике задача о чумазых
В логике задача о чумазых детях демонстрирует важность объявления во всеуслышание.
Ло́гика (др.-греч. λογική — «наука о правильном мышлении»; «способность к рассуждению»; от λόγος «учение, наука») — философская дисциплина и нормативная наука о законах, формах и приёмах интеллектуальной деятельности.
Задача о чумазых детях, также известная как задача о неверных жёнах, задача о голубоглазых островитянах или парадокс голубоглазых островитян, — классическая иллюстрация к идее общего знания. Относится к области динамической эпистемической логики, решается с помощью математической индукции.
Общее знание имеет место в ситуации, когда каждому индивиду из некоторой группы известно о наступлении некого события, о наличии этого знания у других представителей группы, о наличии знания о наличии знания и так далее ad infinitum. Концепция общего знания впервые возникла в философской литературе у Дэвида Келлогга Льюиса (1969). Определение общего знания было дано тогда же социологом Моррисом Фриделлом. Математическая (теоретико-множественная) интерпретация осуществлена в 1976 году Робертом Ауманном, который занимался построением эпистемической теории игр. С 1980-х годов концепцией заинтересовались исследователи в области информатики. Общее знание лежит в основе многих логических головоломок, изучением который, в частности, занимался Джон Хортон Конвей.
Теги: Логика Задача о чумазых детях Общее знание логике задача детях демонстрирует объявления