Прикладная логика: рассуждения, доказательства, опровержения

С одной стороны, этот курс можно рассматривать, как посвященный искусству рассуждать, доказывать и опровергать, с другой — как основополагающий для более глубоких занятий наукой. Курс включает в себя рассмотрение классической (аристотелевской) логики и формальной логики, разработанной в XIX веке. Слушатель курса овладеет различными способами доказательств и опровержений утверждений, получит представление о современном взгляде на доказуемость и непротиворечивость, овладеет различными методами формальной записи рассуждений. Курс будет полезен всем, кто рассуждает и — особенно! — рассуждает о рассуждениях. Рекомендуется студентам естественнонаучных, лингвистических, философских и когнитивистских направлений.