Повний текст доступний у читальному залі "Фонду Президентів України"

Настоящий том включает труды Бертрана Рассела, посвященные логике и основаниям математики. "Математическая логика, основанная на теории типов" - самая известная и наиболее цитируемая работа Рассела в области математической логики. Во "Введении в математическую философию" Бертран Рассел в популярной форме пересказывает Principia Mathematica (базовый труд Рассела, написанный совместно с А.Уайтхедом), особо акцентируя внимание на философской значимости достигнутых результатов. В этой работе также нашли отражение взгляды Рассела на природу математики.

Кл.слова:
математика -- філософія -- логіка

  Повний текст доступний у читальному залі "Фонду Президентів України"

This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area.

Кл.слова:
логіка -- семантика -- філософія

  Повний текст доступний у читальному залі "Фонду Президентів України"

Эта книга посвящена логике — науке о законах правильного мышления. Логика — одна из самых старых наук. Ее богатая событиями история началась еще в Древней Греции и насчитывает две с половиной тысячи лет. Эта книга не претендует, конечно, на то, чтобы дать полное описание многообразной и сложной проблематики современной логики. Это дело специальных и в общем-то не особенно понятных неспециалисту работ. Задача книги в ином: дать общее и доступное каждому представление о законах нашего мышления и о науке, изучающей их, показать логический анализ в действии, в применении к содержательно интересным проблемам, встречающимся в повседневной практике. Здесь не излагаются некие «чистые» и «окончательные» итоги, достигнутые логикой. Даже самые важные результаты, изолированные от истории своего развития и споров вокруг них, являются, как выразился Гегель, «трупом, оставившим позади себя тенденцию». Лет триста назад авторы книг по логике обычно считали своим долгом предостеречь читателя от торопливости при чтении: «В водах логики не следует плыть с полными парусами». С тех пор логика сделала гигантский шаг вперед. Ее содержание и расширилось и углубилось. И старый этот совет кажется теперь особенно полезным. Объекты и проблемы, рассматриваемые в логике, являются довольно своеобразными и абстрактными. У них нет эмоционального оттенка, они должны быть схвачены не чувством, а разумом. С ними не удается связать какие-то образы и представления о встречавшихся ранее ситуациях, обычно помогающие понять, хотя бы в первом приближении, что-то новое и необычное. Многие положения, гипотезы и выводы логики далеко не так легко воспринимаются, как, скажем, описания осеннего леса или картинки из жизни других цивилизаций. Чтобы уяснить тот или иной логический парадокс или закон, одно и то же место, оставшееся непонятным при первом чтении, нужно прочесть дважды, а то и трижды и лишь потом двигаться дальше. Только понимание каждого шага проводимого рассуждения может дать понимание рассуждения в целом, а с ним и интеллектуальное удовлетворение от познания.

Кл.слова:
логічне мислення -- діалектична логіка -- доказ