psilogic | Проект "логика для чайников" :))

Хороших книжек по логике - много. Но рассчитаны они на продвинутый народ, который уже неплохо сечет в высшей математике. А между авторами уровня Клини и Гильберта и повседневностью - зияет пропасть. Можно найти разные неплохие книжки. Лучшее, что я видел - это "Искусство спора" Поварнина. Жаль, что книжка была издана аж в 1923 году, а написана, соответственно, еще раньше. То есть, книжки такие есть, но их мало. Мне кажется, в России спрос такого рода все еще остается неудовлетворенным.

Моя идея состоит в том, чтобы попытаться написать очередной подобный учебник коллективными усилиями :) Я представляю себе это так: сам пишу главку за главкой небольшими кусками. Когда какая-то глава устаканится, я ее выкладываю на обсуждение. Все желающие вносят свои поправки, предложения, дополнения. В конечном счете получается некий продукт коллективного творчества.

Что именно я хотел бы от этой книги.

1. Грамотность. Чтобы не было явных ляпов, противоречий с нынешним состоянием математической логики.
2. Популярность. Чтобы все неясные моменты были разжеваны. Целевая аудитория - выпускники средних школ или старшеклассники, а значит, и обычные взрослые, не имеющие дополнительного математического образования. Неизбежно, что при этом придется разжевывать очевидные истины. Только это разжевывание тоже должно быть грамотным: кратким, но понятным неискушенному читателю.
3. Практичность. Книжка должна показывать прямую связь между логикой и повседневной жизнью. Примеры из математики - да, но обязательно и примеры из обычной жизни, на инх акцент. При этом неизбежно придется вносить элементы психологии и лингвистики.
4. Незанудность. Книжку должно быть интересно читать. Придется лавировать между желанием добавить парочку хитрых формул и желанием увлечь читателя :)

Для пробы выкладываю первый параграф.