Перечисленные предложения разбить на группы по принципу одинаковой структуры.

а) Винни-Пух идет в гости, если рассчитывает, что там его угостят медом, а Пятачок, если рассчитывает на выпивку.

б) Если у тебя высокий IQ, то ты сдашь логику с первого раза, а если ты не сдашь логику с первого раза, значит у тебя IQ невысокий.

в) Москва больше Праги.

г) Наступил октябрь, и у меня депрессия.

д) Опыт всегда хорош, если обошелся недорого.

е) Хотели как лучше, а получилось как всегда.

ж) Если ты не любишь А.С.Пушкина, ты мне не друг, если не уважаешь Ж.Дантеса – не враг, а Карфаген должен быть разрушен.

з) Если данное число делится на 4, то оно делится на 2, и если данное число делится на 12, то оно делится на 3.

и) Любишь кататься, люби и саночки возить.

к) Любишь кататься, люби и саночки возить, а если не любишь возить саночки, так и не катайся.

л) Если ты мне не поможешь, я провалю и латынь, и древнегреческий.

м) Сегодня холодно и морозно.

н) Если некто не угощает гостей медом, то Винни-Пух не пойдет к нему в гости, и если кто-то не пьет, то к нему не затащишь Пятачка, но Кролик в любом случае пойдет.

о) 2 строго меньше 3.

п) Москва больше Праги, а Карфаген должен быть разрушен.

р) Если на прошлой неделе я выиграл большую сумму, то на этой только 100 руб.

с) Если выпить из бутылочки с надписью "яд", то рано или поздно почувствуешь легкое недомогание. (Л.Кэррол)

т) На следующей неделе я побываю Риме и Неаполе, разве что случится что-то непредвиденное.

Что вам подсказывает интуиция: следующие предложения

(а) истинны или ложны;

(б) они истинны/ложны в силу фактов или только в силу своей структуры (структура предложения такова, что она может породить только истинные предложения (или только ложные))?

а) Москва – столица России или Португалии.

б) Если верно, что Москва – столица Португалии, тогда верно, что она столица Португалии или России.

в) Сегодня четверг, в том и только в том случае если сегодня не четверг.

г) ⁺ Есть такой человек, что если он дурак, то и я дурак.

д) Есть такой человек, что если он – негр, то все – негры.

е) Если есть человек, который любит всех, то для всякого человека найдется такой, который его любит.

ж) Если для всякого человека найдется такой, который его любит, то есть человек, который любит всех.

з) Все бессмертные люди умеют летать.

и) Ни один бессмертный человек не умеет летать.

к) Если самый тупой человек существует и ты его тупее, то тебя не существует.

Глава 2

Логический анализ языка

Основные понятия, которые необходимо усвоить: · типы нелогических выражений: имя, функтор, предикат · местность (валентность, арность) функторов и предикатов

Пояснения и определения

Логическая правильность рассуждения определяется его структурой, поэтому для того чтобы понять, является ли данное рассуждение логически корректным, необходимо (хотя, конечно, недостаточно) сначала выявить его логическую форму и уже затем проверять последнюю на логическую приемлемость. Отсюда необходимость определения структурной информации. Вопрос в том, как ее определять. Общий ход действий таков: логическая информация оставляется, нелогическая заменяется параметрами (параметризуется). Для ответа на этот вопрос надо уметь отличать логическую информацию от нелогической, и тогда выражения из первой группы сохранять при определении логической формы. Далее, сама нелогическая информация неоднородна, выражения языка разбиваются на различные классы по типу обозначаемых ими сущностей и для разных типов выражений вводят разные типы параметров (разные типы символов), так чтобы по виду параметра уже кое-что было известно о выражении, на которое его заменили.

Здесь мы не будем сколько-нибудь подробно обсуждать, какого рода выражения и на каких основаниях следует относить к логическим. Основная идея отнесения выражения к группе логических состоит в том, что выражения, относящиеся к структуре, могут использоваться в любой области исследования, при описании любых объектов и ситуаций. К таким относятся, например, выражения неверно, что, и, или, если – то, эквивалентно, все, некоторые, необходимо, возможно, вероятно, разрешено, запрещено.

В качестве логической информации, т.е. выражений, относящихся к структуре какого-либо текстового фрагмента, в логических теориях, изучаемых в этом пособии, рассматриваются следующие:

(1)