Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории......

В монографии рассматривается соотношение дедуктивных логических процедур и человеческого мышления в аспекте моделирования эвристических процессов....

Цель курса - обучить приемам и навыкам логического мышления. В книге дается нетрадиционное изложение курса традиционной формальной логики. Учебник написан в диалоговой форме: автор - два студента....

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