Заведующий кафедрой: Карпов Глеб Викторович
Комната: 104б
Телефон: 328-94-21, доб.: 1844
Электронная почта: Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.
Публикационная активность научно-педагогических сотрудников кафедры в системе Pure
Приветствуем вас на странице кафедры логики Санкт-Петербургского государственного университета!
Наша кафедра занимается педагогической и исследовательской деятельностью в области науки о законах и формах мысли — логики. Мы учим тому, как из одних мыслей, которые приняты в качестве истинных, выводить другие мысли, тоже истинные.
Например, если нам дадут такие утверждения:
- Траляля не существует,
- Труляля не существует,
- по крайней мере одно из утверждений 1-3 ложно,
то, хотя мы и не сможем вывести отсюда, что, например, именно Траляля существует, мы все же сможем показать, что, действительно, существует хотя бы один из двух братцев, Траляля или Труляля. Такой вывод и логика называются пропозициональными (от английского proposition — высказывание). Вот как этот вывод делает логик Рэймонд Смаллиан в своей книге «Как же называется эта книга?» (Изображение 1).
Или, скажем, если у нас есть, что, во-первых, «возможно, что φ» и, что, во-вторых, есть «необходимо, что если φ, то ψ», то мы можем вывести отсюда, что «возможно, что ψ». Такой вывод называется выводом в логике алетических модальностей («возможно» и «необходимо» — это алетические модальности, от греческого ἀλήθεια — истина), и вот как он выглядит у логика Йохана ван Бентема в книге «Modal Logic for Open Minds» [Модальная логика для тех, кто мыслит широко] (Изображение 2).
Или, наконец, из «все люди — животные» мы можем вывести, что «голова человека есть голова животного». Вывести — значит показать, что второе утверждение обязательно следует из первого по некоторому логическому закону, справедливому для всех и на все времена. В данном случае — по закону логики предикатов первого порядка. Вот как такой вывод предлагает записывать на языке логики предикатов первого порядка логик Эллиотт Мендельсон в своем «Введении в математическую логику». (Изображение 3)
Но логика, а поэтому и наша кафедра, занимается не только логическим выводом, правильными рассуждениями. В круг логических проблем входят также проблемы, связанные с применением естественного языка для описания и познания окружающей действительности, проблемы познавательных методов, метатеоретические проблемы — когда нужно обосновывать то, что само логическое знание устроено надлежащим образом и не содержит изъяна. Помимо этого, нас привлекают и прикладные вопросы, средоточием которых в области логики являются теория аргументации и риторика, ее мы понимаем не как искусство красноречия, а как искусство находить убедительные доводы, работающие не в книгах, а «на земле». Область научных интересов кафедры обширна, она простирается от истории логики с периода классической древности и до новейшего времени и затрагивает все отделы логического знания: классические логические теории и неклассические, содержательные и формальные, отделы традиционной логики и логики математической...
У кафедры логики есть: научный журнал, посвященный логическим вопросам — Логико-философские штудии; всероссийская логическая конференция — Современная логика; научно-теоретический семинар, и плеяды выпускников кафедры и ее друзей — в России и по всему миру.
Всех учащихся (как известно: все студенты — учащиеся, но не все учащиеся — студенты, и, значит, речь не только о них, студентах; учиться же человеку полагается всю жизнь, на то — сначала университет, а потом книги) мы ждем в часы консультаций в кабинете № 104 littera Б и даже за пределами этих часов — для консультаций и просто разговоров о логике — о дисциплине и о науке, которую мы не только преподаем и изучаем, но и любим.
Глеб Викторович Карпов и сотрудники кафедры логики СПбГУ
Метки: Кафедра логики