Как совместить логику и семантику в одной алгебраической системе В данной статье речь, в основном, пойдет о логике, которая необходима каждому человеку хотя бы потому, что с ее помощью можно проверить правильность обоснования разных точек зрения, мнений, теорий и т. д. Также важно и то, что в наше непростое время логика очень нужна для того, чтобы противостоять интенсивно развивающимся технологиям интеллектуальных манипуляций, с помощью которых часто вторгаются в наше сознание многочисленные мошенники, аферисты, предвзятые СМИ и, разумеется, агитаторы и политтехнологи. Ситуация усугубляется тем, что логика не является общеобразовательным предметом, а современные методики обучения логике не выдерживают критики.С логикой тесно связана разработанная сравнительно недавно алгебра кортежей (АК). Здесь будет показано, как с ее помощью решаются непростые логические задачи, а также обоснована связь между АК и семантикой. Более подробные сведения по теме данной статьи можно найти на сайте.В основе АК лежат свойства Декартова (прямого) произведения множеств (ДП). Многие из этих свойств были впервые сформулированы и обоснованы в публикациях по АК. Для более понятного изложения свойств ДП и основных понятий АК будем использовать в качестве иллюстрации ПРИМЕР логической задачи.ПРИМЕРВ данном ПРИМЕРе используются сюжеты некоторых задач из книги известного специалиста и популяризатора математической логики Раймонда Смаллиана «Принцесса или тигр?». В некотором царстве король заставлял узников решать логические задачи. В данном эпизоде (он отсутствует в книге Смаллиана) перед узником были три комнаты, в каждой из которых могла находиться одна из принцесс, либо поджидал свою добычу один из тигров. Могли быть и пустые комнаты. С помощью подсказок узник должен был решить, в какой комнате принцесса, и войти в нее. В этом случае он получал свободу и мог жениться на принцессе. Если он ошибался, то мог попасть в комнату с тигром. В данном случае в помощь ему были даны три подсказки, и также было известно, что одна из первых двух подсказок ложная (какая именно, неизвестно), а остальные две – истинные.Подсказка 1: Во второй комнате нет тигра, а третья комната не пуста.Подсказка 2: Первая комната не пуста, а во второй нет тигра.Подсказка 3: Принцесса находится, по крайней мере, в одной из комнат. То же самое известно и о тиграх. Читать далее https://habr.com/ru/articles/750790/?utm_source=habrahabr&utm_medium=rss&utm_campaign=750790
4 года назад
Логическая семантика. Феноменология. Структурализм.
Логическая семантика. эволюцие неопозитивизма связанна с логической семантикой. Идеи рассела были использованны для создания метаязыка,языка о языке. Тарский создает формулу, ответ на вопрос "когда р истинно","р истинно если р". она сыграла большую роль в последущей эволюции взглядов на познание. некоторые эмперисты пытались решить другой вопрос рассматривая математику как формальную систему.однако уже в физике избежать абстрактных обьектов становится труднее. такова проблема,Карнап пытался решить ее посредством анализа языка. он вводит понятие о языковых каркасах,тоесть если кто то хочет говорить на своем языке то должен ввести систему способов речи...