логика

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

Очерки по основаниям логики, Шалак В.И., 2017.
    
   Книга, очерков посвящена логико-философскому анализу оснований логики и ее места в системе наук. Важность владения методами логики иллюстрируется в первом очерке на примере анализа известной апории Зенона «Стрела». Во втором очерке обращается внимание на неявные предпосылки, которые принимаются в логике и тем самым могут оказывать влияние на формирование научной картины мира. Третий очерк посвящен анализу программы логицизма. Приведено доказательство теоремы о существовании критерия для разграничения логических и математических теорий. В четвертом очерке приводятся аргументы в пользу пересмотра некоторых общепринятых положений теории знаков и высказываются предположения, как это может отразиться на наших представлениях о природе и основаниях логики.

Основы логики, Бочаров В.А., Маркин В.И., 1998.
    
   Этот учебник представляет собой основное содержание курса лекций по логике, который авторы в течение ряда лет читали на философском и психологическом факультетах Московского университета им. М.В. Ломоносова.
Рекомендуется для студентам гуманитарных и естественных факультетов университетов, а также всем, желающим изучать логику самостоятельно или усовершенствоваться в ее знании.

Прикладная логика, Попов С.В., Брошкова Н.Л., 2011.

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

Логика Древнего Китая, Крушинский А.А., 2013.

   Проблема китайской логики должна быть поставлена заново. В пользу этого говорят, с одной стороны, уникальность, а с другой — крайне слабая изученность китайского логико-методологического наследия. Устоявшиеся историко-научные стереотипы, блокирующие его изучение, серьезно искажают общемировую панораму возникновения и типологии логических учений — без упорно игнорируемой ввиду ее необычности и самобытности китайской логики мировая история логики оказывается существенно неполной. Между тем, именно в существовании и характере логики многие видят один из главнейших, так сказать «межевых камней», отграничивающих цивилизацию Запада от цивилизации Востока.

Логика в лицах и символах, Жоль К.К., 2006.

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

Символическая логика, Слинин Я.А., Караваев Э.Ф., Мигунов А.И., 2005.

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

Развиваем мышление и логику, Полушкина В., 2011.

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